CAT(3182,1)

Sparse6:

:~?pm_?O?G?CAc@P?g_SOJoDSAe@V?h_ToIgGGB?@h?p?XOJoE[Ao@`?l?WoJ_D{Ao@d?m?YOJOE[Cs@X?m_UoVoICDEAd@O_hOSWICDIAb@m?m?VgJgDyAw@\_q?TGKODUBE@R_q_TgJ?E]Am@e_h_WWJwDUAg@__k?WGJwDYAm@`_p?UWK_DmBE@Y_k_XWJWE]As@e_hoTGIkD]Ap@U_loUWJSDyAz@[`H?bwQKHAC^AP`GOcWP{HAC{AW`LOeWRKHiCpAR`IOcgQkH]ClAd`ROhGTCIeDNAc@NOh_SCISC~Af@OoiOS[I_DDA\@NoeoSCHoC|AZ@Oof?S[HsDDAZ`MofGWOJqD|A|`]OnWVsJID`Ap`XolWUcJYDnAw`[omwVSIiDVAk`UojwTsLQElBT`jouWZCKcElBI@ioq?YcKkEpBL@kor?Y{K_E\BI@fos?XKLCEVBR@eos_XcL?EFBM@aOo_X{KSEbBF@hop_YSKCEFB?@aOnoWSKSD~BF@_op_WCOgC\AK`EobGPsGuCFAD`AO`wPCGYCFAD`AO`gPCG]CTAH`DoaWP[GiBf@q_wo\gMcFUBn@x_{O^GNSFmBz@~_~O_WOSGAB\@o_voYWLSEaBV@l_uPO?cWQyHGCoaP@JweGQ]HeCeaQ`Kgd?QmHSClaS`JGa?NmGcB|`}@CWaWN}F{CTaI@?GaoNmFyCW`}@Dw^oPeF}CZa?@EgbgNaG{By`{`FGbwNaHABxaO?}gcOPAGcCcaP`CWaWQ]GiCdaI@Hgd?PYHSCVaS`EGdWPeHYCYaU@EwdoPqG{CnaM`KGbwREHeC`aO@Kg`?OmGQCKaB`Ag`?OuGQCNaB`BgegOqHkCJaY@Age_OuHkCNaY`Bg[?RaFACxaZ_wgfOMMHwBda\_xG]SNQFfBt`zo|g_GMqGEBma@?zW\wOUFaCEaA?{G\?OEFMCB`r@?g\GOUFUCE`t@@GewLiEwCx`l`MGZwRiEyC{`n@Mwt_CyAZ@N_fORwHkCiAX@J_dOQwHcBU@n?u_[OMWFSBm@z?{_^oOGFsCQAL@D_cOQWG{CEAF@A`}o}w^cOAF|B~aCPAW_{HQCfAQ`JodWQsIiDXAj`UojwTsLiEvB[`movwZs^CNPFibspzo|c^?NVFmBupxo|K]SNTFeBsPv?{S]OM|FbBmpxOz{][NBFeBoPv?ys\_M|F\BjpuOz{\kNBFYBoPuOys\_MtFZBjpzoyK^?MdFmBgP{?tS]wLVFnBSphoykYWMfEgBiPr_skYKM^FLBQPs?t[\GLTFPBSplO{S]OLlEvBppk_y[ZOMjErBiPj?|[YsNZEmBuPjo|[ZCNZEoBuPp?xS[WMXFDBdppoxS[cMXFGBdph_uSY[LhEgBXpjOwcYwMLEkBapjow{ZCMREoBcPTgi{TUIpDYakphOh{YOI`EbAgpS_sCYGIfDSBOpo_h[SgMFDHB_pR?vsSwM@DLB^py?qcXWNRFiBIpcOukZ[KfEQBZP]?r{VWK|DvBMpmom[VSLzE{AyP[?rsVGK~DpBMpZovkUwLvDlB]Pf?lKXkJNEYAsPY_q{UoKrDjBKPX?sCYGJLE`AqpUowK[GIzFBAmPn_jsU?M@D^B^pm?kKZgJFExApPO_rSSCKxD?BLpdog[XcIJEWAaPm?gsZgIPExAbpr_fkR{M^C}Bep`On{WCKNE?BBP__pCWOKTEBBCpaonKWsJvEKA|Pb_ncX?J|ENA}q`oCSAQ@FIO?RoHgCkhcBR@i_sOYgLKEaBV@l_uOYwLkEqHzC~a^QfpQ{iCSpI_DJQd`S[h_THIVDPQcpRShSSvISDKqcpRchwSjISDMp{`Sk^KTNFpDRQ^pS[g?THH}DPQ]pRcfsS|H{DMq]XNSfaRjHvczQQ@RKcgSvHHDLQfpGkc[TBHEDOQb`D{gsPZINCVQKPQKbGSdGoDGQbPCcaWS\GdDFqHpQCacSdGgDGqa`C[goPDIJCOqC`Sk`OTNGRDRQ@`O{g_OPIHCBq?pO{_SSRGCDCQ?@Oc_GSLG@DAp~POK^{SFF}D@P}`Oc^oSLFzDAp}PO[gCNpIABzqa_}cgoNlIJByqZ@K[esRJHmCqQYPKCekRBHiCpQVPL{d{RbH]CwQR@H{csQ`HJCfQ\@GCfGQBHrC^qMPKsbkRPHfC\QL`JSdoPpGvClqLPI{bOQpGrCkqSPB[dKOzHQCMQI`BC`gPXGjCKqD`GS`[QHGTC`qBpIc`CQjGOCjQF`@ca?O\G^CEqN@@KbwOVG|CDRH_HSCqAV?t_ZoLgEkB]@l?w_[oMgFCBi@r?z_]oNGF[Bu@x?~__ONgF{CA@|C@a@p?g_cOYGJFqbxp{XcWrmXIK|eQBNHcWryXIL?eQBNxegqAXCKveZBGXf?qAXCKye[bGXdwpuXaK]eWBFxeOpuXgK^eXbFhbOqeWwKjeLbIhdopqWsKkeUbExe?pMXaKPeVbChf?oyXsKOe[bBxcooaXOKIeRbAX_{oUWLKAeAR?x^wqqWAKmeUb?H^_sAX{J|e^a~h^OrQVuKqd{bKx]oqeVoKjdzbIhfWnMXyJte]A|H]?rUVcKvdwbLhZ?s]UqLGdlBQXhGkYYOJGebapxWWqYUGKgeRapXW?sEYEJAd_bOhg_juT}LEeaanhVOsEYEI{d\bOhg_j]YKIxeaamHTsjAT^IpdXqkhTCiiTRIjdUqjHawmuWqJneKAzhUomiTiJkdYAyx[womWYJheEAyH[_lyV?Jedqavx[GlmVEJ\dpAvHXwlIUaJSdgAsxa_keUSKUddbDXYgkuUmJMdjArGCSAQ@F?a_QOGwCsA]@J?d_RoHhxoX]KpEXbLPfGr[XyK~E\bOPggsKYULHEbbRPhwtCYiLVEha]pNgf{zo]PM}FdRnPxK{_\~NIF_rqPwC{G]ZNJF`rr@wc{o]JNFFerqpws|sZDLcFnrv`k[zc]JNFF\rm`ws}G\pN_FZRwPu{zK]FMsF`RlPwcz{\`MqF_RkPwKzo\ZM}FVrnPts|s\TN^FURv`t[yc^FMfFqri@{c|[\HMeFkru@skw}[bMOfERbhpkwS]xNYF@rupocw?]\MAFgR_Px{vs]bNRE~rs`nsvg]nL{Fkr]pzC|WZnNTE{Rt@nKvW^JLsFqR\P{[vC]tLrFmR[`z[{wZ\LnFgR[@x{uk]bNREurs`lc|OZPNUEtRtPlKuS^@LfFpRX`{KtqY|L\eoRWXj{taYlLVekrUxjStAYdLPehrTXicsiYXLJeerRxhsxS\BMVFPrd`sSxk[dM\FIRf@q[wc[rMJFKRa`rSwW[|MGFOR`pr{gESFIAdAQ`hOkgiSXIJdEqbxPtAm`ZOkgSSIiDL?ga|OKGoSAqJ|D__NOHGlSUQ@DDk_HP\GBSVA?lD__BPYG@sUQ?S~wavO?Gmr~qJdEC^vPbF}sW`~dEK^rP`F|SW`~C~Sa|NvGoR|aJ{}Y^PNffsryx|S}u^\Nkfvr{X}DBg^dNsG]R{qF\CK`bPDGXsPAETAwadOoGiSJqI\B[`JOxGRsMACtAOaRPJGPsGaHTAC`|O^G^sGAFl@o`hOuGNSLQBl@caLOZGcSEaG|C?_lPAGKSOQA|@OalOTGjsCqIlC{_`PPGHSSAALCo_ZPMGFsRQ@tI}dbQohUSjiTlIKbHQdGrShAKlIccnQXHTseATTHschQ^HIsfaQtF{cVQLH?s_APdHCbxQQG}scqNtFccPPzHDS]aPLGSblPwHBS\qO|GGbfQCGys_qMdGwb`QOGxSbqMLEsctPnHMSZaR\I?bTPkHPSgQL\IWbNQgGsshqLChMSjISdJQeHQ{yM\BMafORfhr{xm[zM[fKrehrDM[e~ReHosxQ[DMCfHR^HpswA[TLofZR]HtsvQ\dLofPR]HtSvQ\LJadtQxhksuyZTJwfVR?Husnq\dMSdvRfH]sxaVdM_djRiHZsyQUtJOfHQqHpskq[TLKeZRNHistAXtL?eTRQHeSsQX\KWePRCHcspQW|LWeBRWH`stqWTPwWtK[eLrFxbspuX@KaeOrGxckqQaRPJgdSPiHDC]aFPCgasOIGTCE`|O~g]sMiFdBm`nOxg[SLIEtBUhMSliSdJyd@QyhMSiiSdJId@QmheSciYdHie`QUhGSoiRDKYePQUhASxiPdMycPRihkSai[DGycHR]g{S~iODOYbxSAg{S{i^DGIfhP}hYRyh}DJy^XQyh}STi_dDyg@PYhcSSiHdKIaPREhqSNiGdMyfPPAhSSKiUDBidXOugRSJiDT@i`DO]gES{i^D@YfhOQhkS?i[D?iexOEheR|iYC~iehN}fmSZiMc}Yb`NafgSZiMC|YbhNYfaSWhxdEi]PPegoRnhwDEibHMyk_NGfdRqXx[{u]XQLhDsbIPDGecTQDhBs`iOTGQcFUXJHtdQrTXkkhUTJJteAq\XWkhUOJNtgQqTY?kbUOJMTcartXCkzTYimTUym|VUjlTeJNtgQlDY?jNTbJMTXQrlUOk|T_JKtWar\UCktUVImtVqrDTwklULIjtbqjLWwipTSJEtTap|TSk\UKIgtSqpTWkidUIIfTbAiDWki^TKJBtRQpLSkkPTIJCtQQo|S_kPUCIat`Qg|WWiLTAJAT`QgdSKkLT{IxT\An\VsjfUAIvt_qmLWCj`TkI{TZanTUsjrThI~T_Al\V{jTViJotwy{T\yn@V^jTdxyt`]elYVgjrdiI|@YinQUhjqDhY{pY]nIUejqDgysP]UlGVejVDtYyxZAl]VUjkDpizP[amqVFjldoIwP\umAV[j`dnYwhZ}mGU}jedmixpZqmWUzjZdqYvH[mloVIjhDlIup\QmeUtjfdkyyHZIm_UpiKTEibLPmgzS[j}T~Y~t`MobWQk@eDJAh_IoGWUk?eDzBH^}o?WWjueDzBH]}n[WWkIDyjAp]qoiVjj|EAI~X_inqWHkAd|i~@_]oKVvkFD{z@x^Qo_VtjwEAy}P_unaWKjAT`iolW]kRUGjDTbIp\Wuk^UMkLEMJFP`qouWxk^ELZG@b]p}WukXEMJFPbQpeWxkVeOZEHcMp_XAk\eJZFhaypwWkkSuIjD\aYpPWfk^EGzChcApGW~kOEOzGPaIqAW`k]EFjFh`}puW\jqTxi{l]]nRVgkaUPjGleArBX^khEXJIHeIq_XbkpERZK`c}rEXMkdEXZKxcqrKXJkbeXZKxcerKXGkjEUZJXdaqmXYkmESzJpdUqyXSkze]jN`feroXzksE\JLPfYrQXtkxE^zNhfMraX}kueZjL`fArUXnlCe`jOxgisOYJl?E_zOPgUsAYC`^ooWWCV}KBE?b@P`Go[kAUDJ@d^qnXVt@A_dOPgEsBy@tJUdnQuhXSlIU\Uqj\TlistYylT]un^VmjtTzI|\dYqpXVkhuTJIljWtxY}L[UlrVljKtrYtL\ulBVTjWt`YwLXUlrULjKtZYtLVulBTtigtbYjLWUjBUTistNYhLVuiBTtigtHYjLQujBStiCtNYhLPuiBSTh{tHY]LQugBStiCsvY\LPugbRdhwspY_LLUfrRLhSsvY\LJudbRdhKsrYQLKUdBRThKsjYQLJudBQtjws\YKL]ubRVdjcs^YzLGumbQDnG?l?W_JoEWB[@iv{?[_NOFZ__@}@B?_`{O}W^SbYPpGvcXqLXEcuyZ`LnetrZXldEQbLPdgrsYYLDNqftRzh}s~y^tYyl^UojWtkiu\`ioxWZkMuFzBtearTXhktuZZLdqsxd[rMTvJBeLqwxP[oMTVJrdLqSxV[lMRvJBctqGxP[cMTVGrdLqCxN[dMOVHbb|qGwz[cMMVGrbtpcw~[`MLvEbcDpWwz[VMMVEBbtpWwf[WMIvDradpkwb[YMHVERaDoswf[NMIVBbalp?wT[KMHVAraLo{wP[LMCvBb_|okwP[KMCv@r`ToQwL[DmAV@j_lj{wF[AL_v?RWDmox\ZmMWUzRd|rCvRZjMXuybeTmWv|[?LsUxr^|mKv|[?LquxB^|m?vvZaL}uwR^dl{vpZyLnU}RZllgvvZ[L}uur^dl[vpZXL|UuB^LlOvjZULzutR]tlCvdZRLyUsb]\nSu\ZvLgU|bX|kkvdZLLyUrB]\m{uPZILwuqR]DoGuN[@LbV?rWlkGv^ZCLwuor]Dxg?T?K_DoBW@{?y|K?O_HOCZt_@Q?f?TnUVjjtlyu|X]mnSfLJtXrY|S[tnIFVjqpuA{i\^nIFWZkXxY{i\anRFUzt@tu|M\[mkfhzjPyayo]enPfTzshtUyk]cmhFgJi`yIye]`mffgzshtEy_]cnOFRJhhyIy[]`nMfQZrxsm{{\InLFPzr`sY{u\Gm`ffZghx}yG]]nLFOJgPxq{u\@m]feZfxx]x{]Wm\fiZf`ymxs]imZfeZfHx]xo]WnCFbjq@wi{]]HnAfazoxwu{K]Km}F_jo`vyzy]Bm{f^znXwEzs]?mwF\jmPvaza\vmxfZZlxvUz[\snGfXzqXue{c\gmqfZJkpuizG\jo??DgBC@]?l?W_JoEgBK@m?r?Z_LWC_Bc@y?z?[_NOFZqdxY{j_WOHWDCBU@L?r_TOKWDsBU@X?r_?OEW?c@u?D?Z_KO@wBc?m?t?H_NOBWACAE@D?N_JOFwASAM?h?`]wn\VmZv\zu|x^sOIv|cA|~T?l^pOHV{sAd~H?f_HNvWAr}E?g~^^jO@vzS?l}p?H^gOBvyc?u?_~R_?Nqvxs?U?C~L^|NVvkR~|z?~|]qN~v~bud~s|f^vNpV}R{d~_~F^^NkvwRz\}?}t^[NjVvbzD|s}n^LNgVsbx||C}\^RNdVtRxd|O}V^FN_vqRw\{_}D]}NaVpbwDz{}J]tN|Vlr~dzW~v?N_EoBg@k?}?\?I_EOAw@S?q?V`t?HOCGAK@A?d?Pn}v~j~|m}vbZol{U}j^LnmvzZ{m@V?Z_]F\Bz`{Oyw\cN]FhBz`wO|w]SNeETB``cOwwWsL}F@BP`eOwwZsK}FHBR`jOxw\CLUEpBd`lOyWZcM]E@CN`aPCWWSPMF`Az`yOnw]SJuDhBj`vOmW\cJ]EpAn`mOkwZSJEEXAh`UOsWTSK}EPAb`dOhwWsIUCxBR`jOgWRsLUClB|`LP?WRCN}CVAN`EocWQkHMCHCN`CPCwOsPEB|B|`@P?WOCN}GD@xaBO^W_cFmGP@raEO\w`SFUGD@laBO[W_cE}GP@f_tPBWLCOmAF@F_aoQWHkCmAf@P_foTwJKDUB@?v_qOMwKSBe@x@Z__OVwFsDtx]{r]WnOVgjsLyM|J]cnSviztUM\CxbgPMwySRuJDE~arPoWkcZuIxFNaoPswjs\EItF@b]PUWvsT]I`FBaiPpwiS[UMPDJbdPRWxcS}IPFFaaPowgs[UMPC~bePOwxSSEHBCdaPpIWd[Q]HZCnaWpKwe{RULlERb\PdwvCXUKXEpbYPcWuSW}KLEjbDPjwpCYuK|E@bPP`WsCWMLHDzbSP^wssVuJhEXbMP]WmsXmGhDnaKP[WmSP]GxDhaLPZWbsUmPtFTc^PuXFc\]PDGncRQKxCcbEPPG\cOQJXDS`}N|HFc?QQx?SceNtHDb}QOW~CcMOlFrbzQEw}c`eOTFlcFP{X@c]}NTGHbsQ@W{s_]N@GPbpQDW{c`MMtGtbnQMXEs\uS[?~?`_OOFwCKAAy|\_mnvWZk\uJ@Z_noVWKKEUBFIkdOqhHUKiyTFIedLqihR{iaSzISdOqhHRKhYTFIMdLqchR{hASzIMdCqchPkhASVISdCqeHPkhYSVIeckqihJkiaQvHQdUqThUKdQT^HKc}qSHOKcyR~IAczq]hO{faSJHccwqYHMkeYRfHicnqWhL{eqRBKK?S_HoDWA[@Q?j_KoFWB[AM?~?`]nnWvkJuTzQ|fbTpjwtkYULREfbNpgwsKXeKzEZaspZWl[U}JfDpeTRRxdstMXXLPecRHXdCsuYTKfeNRLxcCreXDKzeWRFxecqMXdK`e`REXgspuYHKZeKRNXgCpuX|KZeHRIxasquWhKneERHXdCpEW\KfeCRBX`SpEWLKNeHR@xasomWhKHdXQ}x^sj]VxItecQ|XhcneYTJvdvRSX]CtMVdLNdsRLx\crmVTKxe`Qwx[ss]YHJddmRNXgCmEX|J^djRKXZSrUUpKrdgqtXY[kmU^JLe?QpX_ckeWDJFd~QoxVsnmVxJ@e?QmXVcoUTtKBfwOwW[[L}FJBh`rqDxB[`eObGTcHqBX@{_mOJGHcBr|i?\?Y^vOCf{r|h~k~i_BNwf~r{I@{~Q_fNqgGr{i@l?a^jNogDriI?[yq_NOCfTrgiAL?y\JOQfRsAhsKxq_ZOGfNrdh~kxi_BMWf~raxp{wu[JMHfBryhn{}y[FM?furxHnK}aZzNee|rvhm[}IZnN_eyrZHz{vA^FLmforuHk{|qZRLiflruHkK|qZJNYeprUh|[}yY~L[furTH{kta^NLUfsrphwK{Q]VNAfcrrhv[|A\~NKf]rlHy[za]nMufirjhqKzI[jMofHshIO|GmcRQ@hAs_yRtAmdDOhhOSHySDAUdDObhNSGYBTHe_|Q\gMSeyAdHe_pQ\gJSeyPdEec`PjhFSZYKTAu``PfgqSJyJdHMb@QVgnSdYHTDEa\PTgeSSyItCUaPPZgbSUYMdB}bpPBgzSOYFDFm`xP~g\S^YETE}bdOvgYS[X^[n}VzK@eAr?y^tKeeTS@heT?y[LMUfFRZhnsvY^DLUfxRXh|Sty^tImgDQni?SjY^DIUfxQhh|ShyXtKMedRFhgSpY[tJufTR@hsSnyUtNMflQzh[S|Y\dJEdhRphvSkxzK|u]vN^fprwX{k}]^RNjfvrzYgDOUiHSHi`T@yfTSui`S~ifTNYgDRUhpTDi`TLyiTQ}ilSriiTKYdDS]hXTJiTTQYc\Q]hJS`iMtFyatS]gtTJiKTQYaDTMghTViHTTY`TSui\SNiETSYRLHucvQ^hPsgYp|XMkbUHjEtayqdVEkpTtjJT[yqdUmkpTnjJTZYkdX}jPUZirTfYrTT}k|TbjMTWYntTejxT\j?TUyoTV]jtUFjAT]YvtYEm@Udj`TgywdZelxVHjbTmytd[ml`VNjVTrYstZMlTUvjSTlYzd]Mn@VfjnTxYzT\EmhVXjhTtxPKguSVNDf_roxv[z}\zQlhVsiySlIedNT|j?t^ym|VmjrWWkEuFJAL`io^WEkHuDj@\`QoRW?kEu@JAL_Io^V}kBuAi~l_anvW?jyu@I~L_InnVsj}t|i~\^ynrVgkKtzJBl]iovVmkHuDi}\`QnbXY?F_COA[o]WRKJgdsRyHlCUaRPFiGtDYa\Omg^SLjOthYs\Y]lVUhk{U^zOTfurtY@lAU[zPDf]sLXtkuU]ZMDfur\XzkxUXzMtemrhXhkuUWZLteUr`XbkpUXzKDemrHXhkNURzCTdMp@XPkcU^zOTcuqTY@k`U`ZGtgeqHYFk_UVzJTbuqxW~klULzJdbmq|WxkWUTZJDbUqlWrkTURzDtdMpXXPkQUTZJDaeqlWflt?AO@g?mvTYjlUUzzTDmutDZjlQUzzStmusxZdlOUyZRtm]u|YVlLUwzRDmEvHYPlsUdZ[thMu|YJlpUbz[DguuLZRldUtzXDlUuXZ@lgUozWdk}t\YzlXUnzUDjuthZXlmUmZZTj[?]?R?G_Co@w@Ex|[wmVvNJeLrixZ[qm[vLjflrQxv[qmLvFje|pqxj[SmUvEJeLpYx^[MmRvCjd\pAxR[GmOvBJcloixFZom?u|J^lnIv~Zum@v@j^\nawI?H?E_Ao@G?s?V]?kfuSzILdUqrXVm~VZzndvMzt\pmyV^znDvuzl\zmjV`zpTtmyp]HmyVYZnDuuzl\jmpVZzktvMzH\pn?VVZkDwUy|]BmhV_zidwUy`]@mdV`zpTs}yX]Hm_vNzg\sUyR\Flnuwz[Lm]vRZdnKVqZxdxu{t^JnfVjzyTym}`]lnfVhZyTye}`]fncVfzxdyM|@^JnFvbZqLxM{n]TnZVozvT{]|p^Dn]VkZwDzU||]rn{VtZ~d|e~t^VnrV{z|T~]~P^tnvVwZ{d}u~D^pn~Vu{?T|~?@^\oGWD{Ae@n?d_XoAWA{@u?f?L_Lm[vMzfl{M}N^Dn]voZv}Ab@r_koYwIkE}Ab@^_koWwIkE]@r@j_]oZwGKFMAz@F_eoXwHKEMDazz\~m|v{z}|~U~b^nnuwVKKmEbAr`eolwUKKMDrBF`YonwSkF}BrAj_yojwVkHmEBA^`OopwXkG}EbAV`GoqwOKI}DJAJ`So`wdKMeG~Cd`rowWc[QUEnB\aNouWc[OUFfCL`vpAW]{NeGfC@aLo~Wa{QeI^DTaXpSWd{ReIFC|adpLWg{I}DVAfakp[wjkVmJBDvaqp\wlkVmJRDraNpHwc[Vo?JEVb??BWr{WO?REY?CpaWqo?UKbE]?EpbWr^