CAT(2274,1)

Sparse6:

:~?ba_?O?G?CBG@D?c_PoHWC{AY@N?d_ROIGDKAiAO@F_boPwF[Bu@x@A?^oOoGCCC@|@D?YoLoGcBWAL?w?bOP?FSBcAJ?s_XoKgJgBA@\?n_p_JgECA}@b?p_WoJgECA}@j?v_ZOMGFSBe@|@?_^oOWG[CIBu@@_`oOgF[Bu@x?j_UoJGOKGMCD@[?nOU_J{DkAz@\?oOW_JsD{BB@d?ooW_K[EOB@@c?voXOMKEKB`@[?soU_L[DkBT@f?uOZ_KsEsBP@p?toZoLSF?BR@e?uOZ_LCEsBN@q?yo\?M{FKBl@x?zo]_MkF_Bl@w?}O]ONkFgBv@|?~O^?OCFkB~@P_hoSgIkDYAh@V_koUGHoFyA]A?_g?^wOGCmAWAB_e__gM_CeBe@I_x?QGCkA]@L?h_TOIGDCAi@RBK?doRWHcCaAT@H`doqgXKKmERBI`b_ogX?KAEKB@`b?pGWgKaEMBB`BoaWPCHQCjAR`DObGP[GuC\AN`L_nwROJyCqA|`M?nWRoJ}CyA}`g_nGVWK}DsBO`Z_owWgJeDoBC`g_gGY?IEC}BN`PohGSSIYDNAd`S?rGTOKyDQBL`Z?oWU_KIDiB?`WokwUSGOEXAE@eo`OXsIkClAl@KOj?Q{HGD\Ao@GOjoQKAm@X?l_^OOGF{PIGbCRaCPAg`KOUGNCEaI@?gagOQGkCB`x`CWaONUGeBsaI?{G]GPUFcCU`kougZCLqEzBZ`hOtGY[LUEnBU`}?~w^oOEFyC?`z?}w^?NeFmBy`s`Bw[wPAFOCM`r?vg[?MUE}BcaD_zg`gMuGWBn`t?ww[GMqFUBaa^POGf{RmHzC{aXPLGe[PuG~C]a_`PGgWSYICDDaY`EgewPmHkC[a[@Hgd?RiHqCfaU`Gwd_QUH[CcaT@GGdWQIHQC`aK@KWbGRAGmCn_aOPgGkIuDVAk`WOjgT{UkJLDlArpZ?kkUSJPDfAspY_ksUgIjDRAspT?lCTYIpDVaepRwhsSgJVDKAupQolcUGIxDcAnPWojkT{IrD`AlpW?jST?INDHAhPSOhCW{@F?a_QOUgJcDmBt@w_{ovg[CL}FxB}`}o}W^[NiFBBb`pOsgYcLMEjBV`jPRWh{SyLkEnBWPjOuKYwLdEoBXpk_ukZCLhErBTPj?ukZOLVEfBTPj?tKY_LVEcBRphOtKYWLPEVBNpd_sCXwKjEVBLpfOqkXWKxE`BHPgoqcYGKfEXBHPe_qcX_KfENbGpcGtgWuKWEnbV@bgtgW}L]EPbV@cGp_ZAK[EqbE`kWmgYIJkEbbO`\Gr?WYKsEGbK``wogYAKGE]b@`fwoOYUK?Eeb?`hGnkV}J|DyBXp^?ukVkLhDvBLp]OrkV_KxDrBCpaomKVGKTDmBCpaomCU{KTGC?YOKwESKaELBF`WokwUSQqH\ClaSpIwdSPuG~C]cHaAhAg_qOgGJcHAAHAG_eO_GFcBaBX@w_eOOGMcAaAx?__iOKGKbZ`}g~GZaLkFwbvp{W}C]qN\FlbsABh@w]]NKGLbqaCg{_`ANEGPcH`wHAg]IOgF`cA@twzG_YMoGDbgA?wxo_EM]GAc?`qwxg_MOCFKb~@qH??[iN}FHba`~gww^}MKG?b`@}ww_^uMEF{b|`nw~g[ENwF?b[`}G~OZmNqEybs`|W|W^]NSFubm`|G}O\}NeF]bg`tGyW\YMcFTbl@nGz_ZyMuE|cnATHI[dIQXHMceqVPCCaCQvH[CNqF`JC`oQtG\CkqU@BK`kQtGYCkqV@BCdsOlGVClqP`Ikc_QnHFCjQSPFcbkQ^GyCgQL@CSbWPHGtCPqKPE{bKPrGqC[QO@Dsb?QDH@CVqIpG[asQJGkCaQI@HKagQVGhCdQHPFka[P~GeC^PaWp[WiKXEMbEqapMCfGSZIKCwq`XO{gYSDICd@qa@MkfOSTHrDCqa@KKggRFIHCpQV`P[e?SZH^DEQZpN[ewRrHlC|QY`NcfsRXH}CtqXpN{ecSBHgD?Q\`Kcf[RLHwCqp}G~S^eNvF|b}P~h?C^}OBGBc@Qb`T{h?TbINDWQipTsicTZIiDUQjpSsjCTPIoDRqgpUSjOTJIcDXqlPSCj[TDIuDOqfXR{hyStI[dLqlPQ{j[SrIuDKQd@TchWT\ITDUqcPUShKThIQDXqUHJSdeQvH[cmqsxYklQUbJQdgQuPWclkULJYDaqt`WKl_UFJVD`Qt`Vsk?UpI~DjquPV[lgTzJZD]Qq`XkkoU^JJDfQm@W{jgURIxDcQ{P\CnKVTJqDsqxPZcm[U|JeDmqw`\smOV`JbDvqypZ{mCVXJ_Duq}`^knoV~JzD~Q|p]cnWVrJwDyoGgC[AQBB@a_oOTwJKDaGJCFaBOxw\CMeFLBc`qpSgiKTAIVDKadPPwhCSeNRFjbtPsWy[\IRBHbcpQVhKCd}UTJKddqpxXKkaX_KieXBJHeGqmXYKfeVbIXdoqaXIKkeRBIhc_qmXMK`ePbIXcOqaWyK`ePbExcOpqWsK]eKBGHbGp}WmK_eNbDhbopUWyKSeMBChbWpMWqKPeFbEhb?pAWWKNeFBCX`gpAWmKHeDbDh`OpUWcKHeIBAxaWoiXKKGeQB@xcgoYWYKEeFBAH`_o]XYK?e@BJx_GqyWEKoeAbKh__rEZK?U_KODwBK@m?tLq?MOFgBkv_@X?l_ToFwCKAAEVBI`co`WOcGYGtCZaMPJweKRAHfCqaYPDwbKPaJtDza}P\wnKVaPRGgcTQHXC{aYShITdJQcXQ[hIUxJ]dmqwX[Cl}[}MafObhHs?yM[wMdfRbfhsoxu[}MXfLbgXs?xi[{MWfMBdxrgxY[eMXfLbdXq_xi[cMWfGBdxqGxY[cMKfGBaxqGwi[QMMfBbbXp?w}[eMCfBBdXogxQ[IM@fBB_xoOwQZ}MIf?BbHnowm[ML}fCb_Hp?v}ZvL{e}r^Xn[vqZsMNfEb]Hpove[ALwf@b]XnOwIXeLteYb\xe_vYZ?MaepBhHkGyM\ML\fRBVxjoyUYuLsemB[xjOvIZgLVekb[hmWtaZ]LTewbThm?tQZaLRevbShm?tEY]LkegBZhhouuYULkeebZhh_uuYOLhedBYxhGuiYILgerbPxkosYYGLee`bYHkwsIZQK~etBOXlWsAXwLbeqbNhk_ruXqLue\b\xfOvUXkLbe[BXXk_r]_[?I_EOAw@k?y?^OY?GOCgALA??j?S_HsGICTAE`DO_gOriA@D?g\TOHFSsFpy{|S_zNUGNRsaB[|O_xNRGLSDpxd@_]\OXFesDpyD@c]bOWFfsDPx[{c_lOSFdRpqAc{__lOTFbSFpwk{O_|NBGMroAAK{G_fN@GHRnQBcz{_vM}GLSB`vSzo_^OOF\sB`u|?{\rMwGGRlAAKzW_fMtGHRkQ@kzK_XMqGDrja@D?g\`OHFVsBPtd?o\ZOJFTr~p~c~w_BO?F}r}P}C~k^dNyFwryp~C~W^XNiFzr{p{{}c^jNgFyS?p{t?O^HOAFqrw`|{}K^\N`Furva?k}?_NN^GBRu@z[|s]tNXFmS\?BS@m?r?X_LoEgBk@y?x?[_NOFYOo@Y?p?V_JODwBD@]_rOWhBCbIPpGacYQFhCcbIPpGicYQJgyc_YOPFYbgQ?g{c_IMxGIboQ@hAc^IOXFmcGPyhAC^yOhFucEP}g|CYiN`EebuPggrC^yKxFubIP}gzcWiNHEQboPbhCcVyKHGmcSP_hBCVIP@DycMP\gkc\iJXFUasPsgYSKiE\BU`nOugPc[YChFM`GPqgwcHyMXAabcOegvCIYDXFA`SPngjCYyIxEubWPWgecSyHxDUa[PSggCQiH`DIaUPPg_cNiG@CIaEO~g\cPyFhCa`wPHg[cPiG`Bi`oPDgUCJyDpBA`YOp_EoBg@{?u?^?M_DoBG@S?i?X?Jhs_CGAK@I?`?Q_Gs[yMLFIZFLdeqRZHlsuuZ^LpewR\Xm{vYf_RjhwcyY\PM}f[RnhwczI]@MuemRbhqcuIZHMQesRbhqcvIZXMQfKR\hsCvi[xL}fKRahsCwY[xMAfiQ`hPc|y]pIIekRkhicziY`MueaRhhhcyyYPMif?RMhgCwiXxMEesRJhmCrYZXKqeOR^hnCqiZhKeeIRVhbcuYWpLafcRAhaC|I]XKMfuQ~h}coY^`KAdrQyh\snIVtJud_RqhXC|IUHNMfiQlhVc|yTpNYdSRwhTc}YT`NidMRwhSc}iT@NefuQch}ChiShNuclQVhIseYRTHaczQ[hLsfiSDH}c]QuhGcmIQ@J]ceQthXcdIQPJQ_POIgCsAy@l?q_hOUgIsFYBt@}hOTQihdIYi`QiikSdiRdTyihQYhCTQihdGyi`QQh?TViidGYbxTYgwT\iNDUybhTqioSXilDEyjHPigmTYikDEIapTegeTZiIdVYa`TqgHSEiAt@y`LOagTSJiETBy`tOuiKSOicDCiaHS]hyTHi^dQyfpSiiESyiadNIg`RmhmTPi[dRyf@TAhgTKiZDRiehSui?SpiXdOiePSEf{Smi?DKI^xQ}hUSBiUd?id`OEkUUGjDDbIphWei{UDioD`yjxWYkCUMjADcIoXW}jgUViydeYr@VMkiTpjJD[im@XQj}Tlj?dZyo@UyjSTxiuD]ylXVijQT}i}DYIkxVujkTci{DXimxUUjAUPipdcykPXIlu?^_OOGWCCAE?~NKffRrXyC|E]^QshYskyUtJadnVCJdTrAwt[SmVV@JbtoqxL[GmPVEJ^TpAwD[Sl~V@J\toqvl[GlxUwJ\tmavlZclxUwJ_Tmav|Zcl|UYJbtfAxLXkmPU_JdTrAsTYCmVUnJYtlquLZWl`UeJStiqtDY[lTUkJPtjaslYslHUqJMtlAr|ZKk|Vy?IoDGA[@M?j?Sh@S_IOLGQcJQBgPsHYCdAY`POfictQyhTSYiPTFi`tPYgdSAiDT@iTtJYddQ}h`SmkLeAZBh_mowWIkBEEJBP_]oqWGk@eBz?h`EoGWOk@eBJ@p_UoGWLkIe?JAp_IoAWVkHE?JA`_IoeW@j}eAY~x_in{WJj|E@i~`_anuWFj{d}y~`^]noVyj}d|y~H^}noV}jed{Yxx^Mm[VqjvEBJ@p^An]WLjteEI|h`ioqVkkMDyJBh]eouVijqeDY{x`]nKWUjpEBy{``EnEWOkHDvzA`]EoeV_jmtvizd\emvVYjyDtiz@^YmmVtjxDsy}X\UnaVSjgD|IyP^YmaVtkuCwy[lMQfLRghrt_IoLV}jxT|i~T]Yn\VijlTwizu\RL|fCrnXuKwU[rL|fCrhXqKwUZBN\fsr\X{KuuZBNDewrtXlK{uQBM|ccrjXIKzUPrM\cSrhXEKxU]BGTfgqHXxK`uNrN\fsqBX{K_UMZF\bippWukZuYRE\bOrVXiKYuXbEDe_pdXfKWuWrDla{rJXcKVUIbK\aorJWjKqUHrKDacrDWgKouHBKDaWrDWdKouYRCLekpFXiKPUXbBte[p@XgKNuTBI|dWqrXTKkUVBI\dGqtXZKguVRHtd?q~X]KfuNBH\bwqZW|KeUpbU|jetpYslZUlZOxkMsQZDlCEpJWXgQuIYElaE`ZW@gEuCYBl_e_jNxkEs?ZAk~EoJTXjut}Yll^EjJPPiUsWYflDehjSPjitGY{lPemzRHhqsyYZlNEejRxhYtAYWlOEdzT@hMtSYTlSedJTphAscYolVecZPhjEteYNlFEki}L^MndVsjzT|ZZ@nAusZqlke{Z[dmYvJZ`lpuwj]XlyviZ_lne|JXHnMviZJldE|J]@kYvcZGlwepzYhlmumZ\ljEvJ\hlIugZnlvEszXxm]uaZhlgEyJ\PkqvWZMlterZKDeIrBXbkquXJKte]rPXhktuYj]ppQwkZwlzfDZaHpuwe[^mHFFj`ppQwk[OmFfDZ`XpiwY[[mEFEzaxoawq[ImKFAZ_lo]wL[Bm@V@Jaxn}wA[Xm?FEJ^`puvy[^mNE~j^HpiwuZzl|FFJWDkIuBZBlaupJf\ruxx[wm\VMZd`sAx[[}mUfNzfpqey?[jm^fIjcpsEyE[gm`FHzcXsEyE[dm`FHJeXrUxm[qmYFLjdxqAxC[pmOfKJjHtAyu\QmlFSZhhsQy[\EmffPZhPtYyo\KmdfTzgxtMyQ\TmcFTJkhtqzM\]mrFVZk`t}zE\`moFWivDZeltXSkiuTjITdMqbZJldUqZWtkauN[qmYVKzd|rEx`\yN?V^BoTvk{B\|Mzv]Rn|vwzp\yMyv^Bmtvkzh\rMzv]RmLvGzp\mMyv[Bmtu{zh\mMwvZrmTv?zf\gN?VYboTuc{B\|Mtv^rllvwzX]`?BoAG@L^]npVxlKuezRThYspYVl}U~j^lnevvZymaVPjgls]yR\GnWFkzuPzU|a]snZFjZv@yy|m]nnWFijuPyq|a]jnRfjZtHy}|O]mnTFhJspym|I]knQfhzspye|O]cnLf_zohxu{G][nXfeJrPzU|g]XnIfljqxza{k]vnIFgzqPyE{e]anFfgZqHyI{_]bnNFbJs@wy{}]LnLfaZrhwm{w]InBFfjp@yA{M]^ns_@G?s?U~Q^Incfyzx@}i~Q^DnbFyzwx}i}C^ensFoz{x{Q|}^bn_fxZw@}Q|w^ensFnj{xzu~E]xn\fxZ{`zi}y^VnnfuZzp|a}g^YnmFtZyp|m}a^JnhfrZyP{q~?^MnpFsJ{H{}?N?H_COAW?{?b?e_JOGWBCAU?h?b_LOGWBsAU?x?b_@OEw?s@}?H?\^}ODW?C@d~|?V^zOBv~S@M?_~x^wOAV}c?t~d?J^sNuV{b|t~K~Z^tNvv|r}L~W~`?C_BO@W?c?Y?J_sNLvfZrdxy|@]^oTgK{DiBJ@W_poVGK{EABJ@]_poNgL{CIBf@?_woVGIKDQBB@Q_noTgH[DiA^@W_eoYGGkEqAR@i_boYgF[BqBZ@g_[oZgE[FI@n@o_YoIWC{Am@Z?p_VnpvxZ{d}]~P^eo_GUKGQDjAA`XodgU{JiCfAS`[olgPkJiCbAw`FokGO{JQCVAq`Co\wMkFeBv@~_}oigR{IyDFAk`OoeGSkHqDRAY`RowGVkKAFJBa`^ougX{LyEfB[`gotgXKKqEjBW`doog[{KYFVBC`so}G^{OIFzBya?ozG][NAFnBm`yoGWC[AUDVAn`UohWTKI]H@CPaMPDWbsPMG`CVaKPDWbSPMGHC\aBPFw`CQEGTCVaLPBwbCOuI@@d_roWwZ[L}EzBX`jotWgcSuI`D@afPOwhCSEIHDJabPOwfSQ]HHC|aPPNwgsRUIPCvadPMWdsS}HdDPaWPRWdCR}HtCla]PIwncTqJnDYa|p]GjKViIfDuajp]GikUAJVD]avpWglkVAJJDsasp[gk{WyJzEQb?pcGn{WaKJEEbEpago[R}HzCzbOPdWscX]LDEXbPPewrsYUKxE`azp]wnKZG?DEfbZ?@gtKZO?HEjbX?@Gtg?ILlEpbY?@gt~