CAT(2234,1)

Sparse6:

:~?ay_?O?G?CAW@H?b_QoJ?C{AY@P?q?ToIWDSAq@Z?m___IWD[AiA_@J_eOQgGwCmAW@H_c?QgGKCIAF@B?aoOOGsCGAH@E?]oP?FcCS@v@C?^OP_GCCS@~?x?boM?HKBgAP?y?dOR?FCBcAV?z?^oNOGCBo@|?s_XoKgEkB]@l?n?boKOHKB?AP?a_POGgNgByA@?~_XOLGE[BE@^?o_VoKWECG{CWAL`F?bWPoGqCOAI`B?awOwGeBz@~_~O^WN{FyBt@z_}O]wNcFiBqAC`A_\wN?GMCO@v_{?`wNGGYBgA?_y__WMoGIA[AJ_f_aWHgGiBaAJ_x_agMOGeB^@m_wOZOMcFWBX@t?toYGLKEiBJ@e_roXGKSEMA|@\_mOU_OSDkC@@X@?o`?I[GSAjAB?iOb_IKDGCZ@O@EOToJ{D_BB@_?jORWHsC}A`@Q_gorgX{LADTAk`TopOYKK[EfBE@hOkWUSJADHAe`QogWS[IICvA\`MOfwSCHyCcBM`g?dGQWK}C]BP`G_swQ?LIEABA`^_pGW?KMDsBG`\_qgXGJeDyAl`V_ngV_IyDeAh`R_lWT?JQEUAW`L?rWRGKqDmAV`I_mGUoHYGBCBa@P?G^{NyFLBf`sOyw\SMeEmBw`{_uWZ?NiFcBz`}?|G^gNMFmBn`w_|W]oNAF?Bk`p?zW[GMyFEBY`m?xWZWMQEgB^`m_tgZoLUH[?b_QoHGDKAm@T@j_uoZGIsDaAnCvAWpMOeSRKHpCuAWpKoecRSHdCmaWPJwd_RAHYCnaT`Jgd?QMHSCcaS`Ggd?QUHSCfaS`HgdWQUHYCfaU@HgaSPAGbCTAZPCoekROGhCLAPpB_ccQGG^CFA[PAOfKO_HnC^AKpGOb[Q?GtCUAMPF_bCPsGnCIAAPB?_sOkGJDiAQpHwcsQaHTChaUpJGd[Bm@z?{_\OMWFCAY@P?f_ZoLWEsJ}EBB?`^OnWVcJeDvAy`ZomGUsJADdApbD`^Gp_VyKYD|a|`^WnGVyJsD{az``gn?W]JkEDb@@]GmoWQJmEBax`agmgWeKODsax`^wmgWEK?Dsat@[glWVAJWDpat@ZWl_U}JUDmar@NGk_RiJICzao`aGkWWiJCEHbA`Vgk?W]I}EEbD`UwpgTuKWD[akPUgjKT[J^DTAupT_lsW?IfDSB?pS_n{WGIbECAfp_oiCSoJNDMAspROlCSaILDFac`XwhWUeISDga{`OwnWSUJsDCa_@[ggOVAIADpa^@XgfwUUJGC|bm?]WNCF]Bv@{_|Oxg\CM]FRBj`tOww[kMQF@Ba`opxo{K]SN@FeBnpwoz{]CNDFcBoPv_|[\oNZF\BuPv?|C\sNTF]BsprGxS[mLxE|b\px_usZ[NNFdBYpjo|[ZCNZEoBuPj_|SYoNPElBspiO{S]KLVFcBTPuOs[\kLJFYBQPg_zSYCMvFXBOPu?r{XsMnE]BjPu?rcXkMlEYBjpeOykX[MhEWBhptOqcXWMfFSBIps?q[\GKdFPBGpb_yCW{MdFPBGPo_wc[KMLFDB_pq?vs[cM@FFB^pm?xs[{LtFLB[ph_uSY_LhEfBXqL`Dka}P\GecQQHW~GbMPiFvcY@}HEW^QPgFucY`|XEO^MPaFpcW@{hEG^AN]GqbvAKHCwaAPQG^cSAFhAWamOgGkcHAIh@w^iO_F{b|aCX@G`UOUGVcDADhBW_YOyGGcMA@xCG_MOIGbcAAGh??_qOCGMc?aBXBO^uN}GXb~AEGkcUYJJDfaspYHH?eMQSHdccaXHJkd}Q|HMcgQRxK?cmRCHLcoaRHK_bePuHdcpaMhKGbYRCGwcoALxJOcUQwHFcbAUxIWcMQaHCchAOhFwd]QAHXc_AUHFgdYP{HSc]ATWyC\IMbFRbiptGy{\aMlFXblpuhL?gUSKHecra`HOGg]SOIAdCa_xNogQS?IEc~a`XP_fmRyIIdDa^HPgfaS]HydFA]XM{fURlHqcyQ[xPOe}SWHpdDa[HL_g}S[HmdEaZXLGg]SQHjdCAYhEKbIP`GtcYQKxT[iqTZIgdTQiXTohqS{IodVafXU?hmT[IXdVaehR?jESkIrdJakhQWjESiIrdIAkhSOhATGIQdPacXRwiUTAIfdOAhhU_kMTkJDdYapHW?kYUCJGd_apxXWjyT}JHddAnXV?jiTmI{d[amxYglIUmJSdjAsxX_k}U[JPdeasGcSQMHHA\`LofGSCH}C|AT`JOdwRKHaCtCIaEPAw`{OuG\CFaCpAG_cOYGJF@b`poguSZQLfGxc\qMhEsbaPnIadQQgxSKiAS~KAECr@@`SoKWPKDD~r?P_{oWW@KCD~R?`^coKVzJxD~r?P^[ngW@J{Dxq~`]knsVhJuDuq}@\{n[V\JrDtQz@]kmkVhJuDsq|p[{n_VPJjDrqz@\Km_VTJcDxQx`]KmSV`JaDuqwP\{mKV\JbDrQw`[cmCVJJxDnQ}pZ{m?VtJoDnQw@]SnCU~JYEDQu@`KlcWPKDDlr@pZkoWUxK}?KODgA{sO?v?Y_KrQ_Bc@u?|LO?NoGWCCAM@J?c_UOJgDkC}AZ@M_vO[GL{LaErBV`movwZsLQElBTafpSWiCSAIDD@b|P~G~[^uN~F}cuQZhLkeeRTHjdYQlhUkj]TpIxe|B\xn_veZuLwe}b\HnovYZ}Ltewb\xmOveZeLweyBZhm?vYZ]LtewBYxlguyZ]LkewbYHmWuiZcLheqbWxk_u]ZKLaesBVxlGuAZSL`enBWxk_tuYwLaelbXxjOuUYqLeelBVxjWuEYqL_emBThjot]YyLWehbYxiguuYgLkehbThigtaYgLVegRShiKtAYdLPeEBRX`gs}Y[KJe[B]hfOvqXqLze}bLXnwr]Z{KueXBQhe_sqXeLJeVbQheGsmX_LKeUbQXdos]YOKkeaBIXggqiYKKjebbIHcwsaXKLHeQBOXgWqUXELAeOBOXcGsIXCLBeMbNhbwsAW{K~eaBEhgopqYIKZeKBNxbGsAWmK}e\bDHfgpYXwKTeGbRXhwpMY[KQeFBMxa?ruW]K{fr?Ag@c?m?Z?N_FRzoAC@I?bNw?HoDGAk~a^tNxf{R}h~K~S[@NvF@R|`oKyg^DN_FURwPt[}G\ZN_FVrwPtsy[^dNsFSR{ptK}{\HMeFwr{@sk~K\DM`FxR|@s[x{^\NkFORf`|kxk^\M\FuRf@|k}c[pNjFLRy`rKxS^LNgFJrd`{{}g[fNjFIRyPqS}W[^MOFsRcP{{ww^bMKFvrbP}Cwc^FMJFqra`{cwW^jMGFzr`p}s}K[FNcFAR`P{k|O]tNUFmRtPz[{k]bNRFers`xc{g]^NGFgRqPxsz{]DN@FaRo@w[zo]nM}FkrnPzCzc]JNFF\rm`ws|s\fN^FYrv`uczW\`MqF[RkPu|Co?l?W_JoEGA{@Y?|?[_MoFGBk@ya{?Y_LoEWBK@i?vN_fpRwYKpD}bGP_gqcViKHEQbEPegpCXYHhDea[PYgeCUIJ@DEaqPNglCSIJ`DMayPSglcSiIxDmakP\gmCTY?l?Y_HOGgCs@yG@DUamPAgjCOYFhDMagO~ghCNiKXBibCO{gocMyF@DE`qPNgZcSIJxBQ`kP_gYcViH`BEa[OrgecKh~XCeaUN|f}CQh~pCeaUO?f~cQiDpCY`_PGgVcPyDPAY`MOggQcIYDXAI`YOcgUCGyBx@Y`AOWgOCDyAh@q_gO]gMcCyBH@A_uOQgLCCY@P?u_UONgECBi?HCM_EPDg@CPG@S?q?V?I_EOAwAC@I?b?O_HOCYWG?u?^?M_EoBw@tCeaVPIe\rNXfcsEYDLBebrQHhKsuY^LMhcCoiXHKMeMR@haCpyWpKeeIRGhWCmyUHJud]Q{h]CkiVhJQduQrhYcoIVpJ]d}Quh_CmIVPJydqQ~hdCjITpKqeUQlhScmIVPImdqQihbCiIW`IYeIQfhPckiShJQdGQrhPCoyS@KIeAQ`hVcfYUHH}d_Q]hLClYR`J]cuQuhhcdyRHLUcoRShGscyQTHYcjQShGCtYPpLMc]RShDcrYPhK}cWRMhfcaYPPKycORLhgc`yY@GYcIRQh@CqiO`KqcERJhgC^yYPGEeaQ?gusZyLtFIb`PpgyS\YM\F]bpPugrc^YNpEebwPgg{cYiL`FmbsPjfqRxX{[}u^\NkfxR|H}[~U^nNuiXcyIehMihgRhh~DIi^xQmfySkiTC}i^`QqfuSjiYc}YeXN]hgRwhyDJy]hQyfkSlhwdJY]XQ}fcSmiXCzy]@REf[SohtdKI\hREhcRkhmSviZlL}fBR_hpsxI[TMYfNRdiJdGyapQEgiSaiHDGIbpPQgeS^iRdByaHQehOSOiMdBIb`OygYSZiCdHI`XQYgSSdiBDEI`@PigMSXhjD@IZ@OUemSBi?CuYZXOIesS@iqdXykXUajGTeinDLyjxRahkT\ioDUikPTqjATZijdRYhXTeiWTWicDZyhPVEiQToiadSYiXS]iKTQiudPIgPUyjWTBi^dRigHTAi?TNijDNIfhTUh{TSisdMYlXRmjSSyjH_FwCCAE@@?`_NrjHt[yi\^MmfUs]YN\FibxP}g}tgardYKk|UcJMteQr|Y?kvU`JLTdarlX_k|UVJMTeqq\XSkrUYJITcaq\X?khUTJGtdaqDX_kdUVJGtgamTYKjfTsJQT]Ar|YCjtU_I{taaplWok^UJJFT_QodWGkLUBJAt]qntW?jzT~I}T\Qo|V[kRTuJCTs_A[@U?h?R_IODYJTDaarP\glsVH~[~u^xN~g?R~icLQMhDS]iOTFyb\PugxSWiLTEY_DOIgBSDiAT?y}h]EnEVrjpD|I}@\yncV_jwdvyzX]]mwVhjmdyI{h\qnKV\jqDuyzH]}nYVYjkDzizH]qmsVjjkDyiyx]EnEVTjpDtiyP\ymgV^jhdwIxx\Im_VRjgdtIxx\UmmVOjgdtish[ilMVJjRDqYwp]]mOVhjbdyIwX^AmIVqjaD{Y}X[AmCVtj_d|I|hZun]U~jvDni{hZinGUzjrDnIux]ilqVkj[DyyudZYljUqjXtkYx`Y}m[UojedjitX[mlYVIjUDqYx`Yam[UijediZG`JmdzQ{h^SoIV|T]irTWiiTTiilTIibTRifTSIh|c[qZXHKfuQBHtc[qTXHKeUQBH\dKqHXEKiuPRIdd?qHXDKhUPbILaCq^XLKPUGBHtdCozXQKNuSBBt`gqTW[KeUErH\dKonWXKiuTBBD`EofWQkGUBj@|cGoZWJK`uOR@dbwoRX?KDUABF|bkoJW|KBuNB?tbkoDWCK]u?rFdbgo@W@K[T~rFL^oppWyJ~T~RFL^cqFVzK_t}bGT^_q@W~JzUNa}|a{pZWpKVUKBDdbOpVWrKTUKbDLaWohWgKJUHrAlbSpFWdKZuHBEthws^YPlGUbJPtguq}YZkoefJRheAqwYZlMeVjJhhqsoXXkleejRHdiqkYWkkEejIxhesiYAl?edzO@hYr{Xbk~eXJNheIrwYRlIE]jQPfmreXskwe\jMPfUrmXmk{e[JN@e}rUYBkue`ZL`gQrOYElCEYjOxeerMYIlDeXZKpgemRVJjdTrIxt[uuWYpleekjXXjAtxY}l]umzVLjitkZGldEmJXHj]uUY`leegzX`iIs{ZGldEgJXHh}teYllYejzU`iytSZAlUEpJTXkMt}YflSeoZT@kAtGZDlREpzShkYppWyk[uNJFlbmp|W~k_UOzGLcIvWZMlvEsJ\hk}veZhltE|J\XnIvWZelvEyJ\hm]viZblzexZ]pmQv?ZolpEzz[HnEuzZ^lnUuzZdliumZnlke{ZZ@nAuiZvlzEtjY`nUuaZqlxeszYPnQspYYlKuezRlhqwf[TmIVCjaLpAwk[CmKF@jaxoUwk[@mKF?zaxoIwqZ}m?FEzbPn}wqZzmLe~ZbPnqwUZwl|FAj``newY[FmFfAZ`poaxW[[mNFIzdhpux[[gmWFIjdxqexC[qmQFKZcXrMxI[^mOfHzcpqAxs[|m]FNzfXryxq[sm[FLjexrUk`UQjGuJJDlaypRWjkTUgzSLiIs|Y_lNvAj`domwR[GmBvUbiTtcyh\WMhvRriltCyn\OMjVTBhdswyf\LMhVRrh\tCyR\OMdVPbhdswyP\LMbvPbhLs_yT\FMdvUBgDsGyt\XM_vOrilsSyn\CMjV]O?{?a?RVNjgtsJMLfIrfXmkwUZzYdlUulZPlhusjbdpywz[^mOvGJp@wm{S]LnCfbJq@w]{I]MnFf`jp@wI{G]InCf_zopwE{M\~nAf_Jn`wIz{]BnAF^ZnpwEzw]?m}f^zj`vMyu\tmmf\Jm@wmzc]LmwfbJlhwyz[]NmvfcJnXuqzq\im|FYznHu]zu\hm|FYJk`vYzK\wmqf\zmXuEzE\tmyFWjjpvYz?\wmnf\zwG?Q?L?Dn_fgZsP{M|?^AnMfoZrx{M{{^AnLfnjr`{A{s]~n\fdzvhxa|w]Xn^FdJw@xU|}]Un\fcZv`xM|y]QnYfjzuHz]|_]unXFjJu`yu|e]mnTfgzshye|S]cnRFmJt@zi|M]x_BoAG@K?e?N?GntfyB{d}g~F^hNpVyB{l}[~T^hNrVuR{l}[}v^YNrVtb{T|_~H^VNpvsrz||S~B^SNoVvByD|G}|^PNmvqrwd{W}X^INavprxl{c}^^GNfO@G?k?Y?H?E_AwBBm\vUzh\um{V\{@Y?N?S_DoCg@K@Y?Z?O_HoDG@z}y?}~q_Pn{GCK?A?Z?O_Ao?g@z~i?M~{_Dn~g@K@`~j?[^{oEf}z}q?y~i_LnyGBK@x~E~e_PnxGCJ|d}m~Z^mnwVzzv\zu|x^?n^vnkBABB?s_poKgKkCQBN@i_`oYGG{BqBN@i__oYGF{EA@n@c_\oWgFKA]@J?h_ToJWD{DiA^@Q_noVGIKDQAR@W_eoTgH[EqCbAS_woZgQ[FyCVA?`Fo_gPkGYBrAC_}oaGN[HYBfAY_zoeGMkIyDRAk`XoigUKHqDFA_`RofgSj|D}e~T_loVwJkDUAr@V`_OsWWcKuEDBN`_OpwWcKeEDBJ`YOrWUsK}DpBP`bOmwXSJ}EPA|`wODWA{@MCVAN`EoaWO{GUFhB|`wP?W]SN}F`Bx`yO}w]SN]ElBj`uOtW\sLMFlBd`{Oxw^SMeE|B~`pP?W[CNuEpBn`mOyw\cLmHXCKaRpAgd[OaHRCAaTp@gc{OQHRCYaGpFg`{PqGfC_aIpEGckQIGnC}aUpKGg[QyIBCsa[pLgfkRIHvBn`uoywgcTEILDTacPSwhSTMI\DTaePSWc{QmHQ?AapPTo?sUYIrDY?APXWj_?QJE?AaoPXwjo?YJJ