CAT(2744,4)

Sparse6:

:~?iw_?O?G?CAC?W?O?GoBO@o?}?m?Q?HoDOAo@Q@??]?NoE?BO@m?q?[?MoNOA[@Q?d?T_JoDgAS@]?j?R_IODg@c?u?^?M_GoCG@c?u?^?M_GoCGBC@i?x?X_MoEwCC@y?|?^_OOFwBK@m?t?\_KOFGHgCQAI@I_`_RgGoCeAW@G_b_QwHwDAAc@R_g_TGK_B}AC@d_]_WWKOByAA@e_p_OGJWDUAw@U_j_VWJ?DyAs@__k_VwDWC]@W@G_U_OwDoCYAG?o_V_PWHoAeAQ?i_S?QgHgAa@S@J_e?IWHwBE@e@S_g?LGEODM@k@Q_g_LWGGBE@c?~_]_KwFoBQ@k@?_`?LWDWDU@W@U_j_JgJ?AuAs?n_k_KGEwDq@o@^_\?VWF_EA@u@]_[_UwEwEEBC?w_p_MwK_Bq@q@e_q_MgDcAm@\?l_WOJwDCAi@R?p_XOKwEcBY@j?y_\oLwFCBq@rBO@]?nwVWKADuB@`]?ngVgKMDyBA`^?pGWgJ}EMB@`c?ogXGKMEKB?`e_pGWoKmEIBI`b_rgXGK}EOBK`d?qwXoK}EWBL`^ooGW[JyEDB@`aopGWsK]EPBH`dOrwX[KuEXBM`]OnWV[QCFRBd`rOyg\CM]FJBe`royg\CMeF^Bk`uo{G\[MyFVBk`uozg]CM}FfBs`xO|W]KNYFnBw`{o}W^CN]FbBq`xo|G]sNUEbBQ`iOsGY[LUFDBc`potgY{LaErBZ`lOvGZ{MEEzB_`nPCw`{PEGhCQaGPBwaCPQGdCPaHpDga{PeGpCTaLPEWa{PUGtCUaKPFgbkPmG~C_aMPGGbcPuG~CZaNPGOjSQGIzD^APpH?jsQSIxDZARPU_c{Q_IvChAmPI_jkQoI|D^ATpRofkSoHrDOA\pN_h[SsHxDMA\PUOeSTOHZDTAVpT_eCT_HbDVAVPM?jKRKIhCsAipLOisT[HnCuAkPO_iKSOIdC~AgpO?iSSKIfD@AhpS?hCSkIJDKAbPR_g{SgI^DHAeo~ockNoHFB}AOo~OcSQOFtCe@|p@?c{Q_GFChAAp@odcO_HVCiABPMo_sO_HxC}AAp@ofSOKHzCxAAPJo^SNwH`B{AXO~oeKNsH\Cl@|pLO_SRKGDCsA?PLo_KO?HpCuA?pNo`[S?GXDAAEpAOgKOgIHDBAFPA_gkOoILCHAbpAohCSgG\DHAEqB_UkJYDnAw`\OmWTCIYDNAh`ToigTSIaDLAh`TohwT{JIDbAo`YOkwT{JEDfAs`XOkGTcIyD\Ak`UojWVSJ]DpAx`ZOlWNcGABz@~`?o^gOkGYCDAB`Bo`GQcHUClAV`KoeGPCGiCVAK`EoaWP{HACbAM`HocgRsHiC~A[`LofWS[IED@Ad`QOggMCFEBd@r_yo\GMsFeBn@w_|o]gK{EaBR@i_uOYwLkE}B\By`~O}w^{NqFzC?a@P?W_[OQGJCEaCP@w`KOiGVCKaFPBWaKO}G`CSaHpCgbCPYGnCYaKpDWb[PqGzC]aOPFx@k_aORGJcDQBH@K_qOZGJcCQAh?OgYOEIFcAAaHPG_YOMIJcAaahPo`eSWGSdFaEHAghAOkIPdEaDxBOhiOwI[cLaeHBwhmO{I\cMaeXEWhePiIYcXAeHEwhmPgI\cZAfHQoa}PWIQdHaJXQ_ayPaIVcWAdXDOhEPKIMcSAbxDGhASYGjcRabHCGhISiGcdJAGxQWaIPIISdJaGHM_baRgGxc]a\hMgbiPwHuc\a\XJ_eyQyHncnA[HMWeERcH^coA[XIoeIQmHbckaXHJ?eUQuHecraUhI_eiQeHkchAYHLGdAQiHlcgaYxMOciQUHmceAZxHgfAReHNcfA[XH?euQQHkctaPHGweiQKHgcsaPXFoeIP}Hbc`aXXG?eQRMH@c`AXg~w_yO]G?cHA?XAW_AO_F~cGa?XIo`UOkHXcKAUhBGdmOgHWcjaDxBOciOwHMcLaRxBwcmOyHKcNARXEWd}QwGucYAWHEgeEQ{GvcmaKhD_dAQcGncWASxEGdQQiGlcgaJhCGcQQKGacbaGxH?aAPIHHcQAPXCob}PQH@c^AIhD?cAPUHBcRaOhF?_yO]GycHaMXFW`IO_G|c]ACW~GW]NsECb|`aG~_WUN{EHb}``g}WWiKUFtbE@|gpg^QK]FwbF@|w}GYmN[Egbv`iWt_]uN_EibU`{gsg]iLKFhbP@xws_]qLMFjbP`yG{oXmKkFebJ`xG{_XaNIEXbq`egs?]IKwF]bM`vw{?X}LAF`bp`fgzGXAMsEPbl`dGzgXUMwERbk@cgzGY}MsEpbm@kwto\mMoEqbW@vWwO]IMGF]bn`oG{W[UMEF_bo`oW~g[mNwFGb{`pg~W[]N{FIb|@qWvO]iNME{b]`zG|?ZyL}Fjb\`yW|o\AM]Fqbv`rGxg]uN_FPbf@{W}o\]MiFvbh@|Wyo^aNeFSbh`|Gu__ILiGBcB`lguw_QLqGEb[A@XMwUYRoDfc{`YHNOUeJUHzatA^HMwVIRqDrc{@\GmofqJiHzaza]gk?gAJCI@aqa`WkWgIJAIBaqA`HO?VyKCI@d@`^woGgIK?IDb@a`HNgUqRyDlc~@ZhNwVER}Doc~@ZwnOgYJwIFdC@]XPGVuSUDzdD@]Hy??e?R?J_DoAg@S]AM|F^bppwW{S^qNtF|b{p~g~[_EO@F~cBQ?x?S_UONGCcCQAX@S_mOZGKaopWwkcUIJ@DdatPXgk{UeJVDgawPZGlkVEJ\Dnayp[gmsVQJnDra{P]Wn[VuJtD{a~p_GoKWMKDD}gOc?y?d?U_LOGgBs?h~k~y^~O?g?r}h~K~a^nN{f|r|H}k~Y^bNrfxSAP{l?g^LOJFrryA@c}g_\NhGEruhz[|]]lNWfkru@{k}_]lNVFrrup{s}c]rNiFlRshyC|E]fNTfiRv`yk|C]xNSFnrsp{C}C]`NQFmrrxxs{}]ZNMferqXw{{a]TNJfeRpp{K|s]RN]FdRq@{C|{]XNJFmRip_{ycWJMgEARhp`KyWWPMiEBRI@wS{KXXKhFbRJPwc{CXTKjFarG`|[qK^XKcFurHP|sq[^`KeFvrGPv[zoW|M|EMRo@bkz{W~M}EOSE@aspc_tKWGIrEqBL@WWtKVGJrlpacpK\pMxEIrC`vSp?\jKPFZRA`t{os\`KKFXrk``[o{\hMpEFR?QAd?{V|OOD~sCP_CoG_dKBGHrkp^kzGVxMsD|q}@uCnc\^MpD|SDP]T@WVfOVDySE@]kn[_tJuGKqzPwSmw]FJnFaQz@wKnC]LJoFaqx`tcyoVRJfFUqyptsm_\\MlDtQw@v[zoVBM|DpQwpwCzwVJM~DqRi@ZSy[U|MeDlri`Z{ykUzMhDmRlPYclS\lJUFZqtpvClc\tJWF[qk@~k~wTbN~DXS?@U[jS_BIsG@Qra?ck{_LJOGBqsQ@D?KUfODDhSAPXD?gURJIGDqqq@sks_ZJKGEQo`}K~KUFNsDaQpP}S~WULNtDbqm`|sjW^VIvFuQmp|{j_^`IxFur}@Vc~cTzNvD^Qnp~SkC^vJ?F}Qi`{Sik^FIkFpqjP{ci{^HImFpSE`TCic_pOTDQSD`Sl@[TLOXDRqga@{i?_`IbGGqfaAT@OS~I`GHrg@msyCZnMaE{RgpnKvk\JLyFQR[@psxGZfLpFFrc@mSxCZjMREyRa@lSwcZVMIEuRaplsu{[ZMKEurXpoSuO[FLdFAR`PkswWZRMFEsRd@jsx_ZFMTEnrd`kCuG[rMVEorU`rStc[vM[ElrV@r{xwYpM\Emr^@gswCYVL|Ebr^`hCv{YTLHF?RS`gCtKYBLTE`ROpissSYnLCEiRM@iCrOYXKxEfrLPhkswXlLPEZrJpfSqwXvKpE^RNPe[r?X~K{EXTMpvkzm\xM}f_Rnw?s?]?P?G_BO@xTCiUTLIfdSqhIhLSmiXTFicTQigHS]iOTAicdOyhPSQiWTEiddPYflRqh~Szi_TNifhSUiAS{i_DPifpSIiESzi^dPIdHRUhkSkiTDLydhRah[SyiTdMYc@RihiS`iNdLybhRYhCSwiNDMY\lMyf^RohxS{Y]pOyfeSJhyDBI]hOufmSNh{DCIZXM]ewRghnczIZhMefSR_hnCyyXHEibYRKhdCYyL`Kmb[RMgscrYVhJ]d{Qwh[cnyVPKAduR@h]CoiShJEdcQghRClISxJMdSQuhSclYSXHqcqQ^hLCgIRXIEdGQ]hMcgiPhHMccQVhGCdYPpHQcoQPhFcdiP@KMeGQHhacaiWpGqeOQFhbcayXxGEcCROhACsYOpLQcERQhAcsyNhLUemQ?g}CtiNpLaesP~g|cuYTpFadUPtgzCjYMxIqd]Pyg{ckILxMEbaRagxCwyM@MQfKPshqc[yaXEYgaPciHCXYapEabESSiIcXyIHQMhMPRghDHId@DUakSdgiDHiH`CUa_PEgfCPyHxCiaUPGgecQYG@Q}aCSogaDKYePB}aASsiXcOyFHDy`sP\g\cVyKPBqbAO}g]cWIEXNe`gRygYc}yEpNq`oR}gZc~YE@P]`aSWgVdEYDhPigwOqgVDEyCxOUgSOgiBCIYDPOa`WSHgTd@yCHN}`CS?gPd?YCpOQ`GSAgQd?yJP@yawO\gOCUyJH@qamOZgNcUJ?G\aMrFYblpvWzc]QNLFdbspxw|C]iNXFjbupzg|{^ANdFpbzp}G}s^QNjFrgZsLiFDBM`hOtgXSJYDtA}`bOogUSIIDLAm`TOfgPSHYCLAM`HOekXUKJELaypfWnkSuIJDlaipXWjkLEAJBH_]oMWWkLeAJ@H`YoQWVize?YnH_IoETykAD]J?pVqoITzjyt|i}|^antVxjveDi}@`]naWWkKd{jBX^QosVrkGDyZAH]in[WQjueCzAh]mogVkjrEBZ@p]]nOWKjpeAz@x]QnIWIjgeAyyP_qmeWIjiEBZ@x\Yo[VTjfEGIy@`}owVJjeEFYxh`ym]W`kADpywh_EmKWAk@dqJ?h[ioKVHj[eIIvPaeluWij]EJZDXZylyWkj|dlIux_AnwUtj[D~Yup^}n{UrkXDhIsHbAp]UakWdgzEXYYlIWmjLeGir`aMpGU\kQdfis@aYpMU^jLD~yqh^mkkV{jJd~YrH^ykoW?kMD`iohaEkEW\jAEFjC@Wao}UFkIdXzA@UUjSWPkHDXjA`UajQWRikTTIi|TUilTRieeGzC`S}i_WakQdRjCxTIpKTPjkdkIyxY}moUqjUduiz`ZEl[VZj?doynp[AjyU~j@DpIwHWAj}VAjFd[Yq@VIkeTriyDdImpXIjiUPitdvYl`\yj_V_ivDwY{PU}jYV^jFDWyk@WekST^jDdXIp`UIjAULikdhyjPYaiuUhimDiitXTui{UklpBhhs{ya\RMjfTRjHtsyu\`MqfVrkxuczE\jMufZrmXvCzi]BNAf`rpXws{Q]\NLffrpxxS{e]XNJfcO@G?c?U?J?C_AqfhR{iATBIbdPTVIjLTiizTZinVFbbDpmwz[[mLVEZbdpuwt[WmLvEZatpMwh[QmJvDZ``pIwY[SmFFDZapo}wm[OmGfCz`\oYwN[GmDVAZ_pnuwMZ}l~fAj`XnywOZ~l}fAZ\PmqvSZmlteyJ\hmav]ZhlwEyZ_HlqwGZ\lof?j[@oUw?Z]lnf?zYhceugXJkbEsJH@lIqMZRkdEsZ[PkQvEZDlqEpj[hk]uQZflrEqJV@nEtqZqlxenZV`nQvkYylyemz[PiqvEYllqEjj[hi}vMYplrEkJb@iEwsYalOFFZbXiMwqYcmMEhZYphmsyZZllEfJYxhis}ZWlNEuZQ`nEsiZqlJE{zQxnQvkYXlyeeJ^PhAvuYPlzebj^@g}scZxlHe~J^XgMvsYDl{E`j]xgIvwYClBe}Z\hfivWXvlvE]z\XfYv]XwlwE]Z_@fAra[BkxF?ZMhoUre[Cm@E\JLPlqrUZ\kuEvj[He}v?XmlneZZKxlAuaXckqeszKplUugXhksEsj``dywYX^mFEWJ`xeEwaXbmGEWjH|cyqXXLkguSJGhliukXCljeOJZHcEuoXAlleOzXPjIteZJlYErJUhkutmZNlZErjN`garyYHk~EajO@gmsAYLk~ebJJ@iYqqYflSEUjJXieqyYjkmEijFPdIpwXRk]eTjFpdQp}XVk\eTZVpbYt}Wtl_ELzWHbepgZBl`EMJyhlQu`ZRliusZYTl]ulZWlkuuzZTRUhlSvi[tMifDDyazP^gpSWIKLCma^PLgeSSIHtCQ`~P?g`SOyGL@m_xO\gNSGIB|dAqXXLkfUSZH|b}pxW}k\UNZF\bQpjWukZuMZFE@d?b_QoHwD[Au@R?p_VoKWEKA}@^?U^loEFzk@h}~?_^onxGB{@p~E~?_QoGfuzza@M}y_SnnGDkAh|}~O^TnsfuZ|P|Y~U^VnuFuj{x|a}w^UnmfuJzp|i~?^VnnftZzH|n?i^NoGfsJyI@M}g_UnhGCkA`|M}K^rnbf|JxX~]}O^uncf}J}h{i}I^en_FwZ{X{Q}E^dn_fxJ{P{I|g_DnYg@k@Pz^?O]un[g@{@Hza{s^anpfdz{HxY~G]WnLfxj{hxe{]^wnxfaj}xwy~g]JnzFbJ}hwu{G_JnAgBJoq?u{Q_MnBgCJpA?}~q\wm{f}jnX~qzs^zn~F^Z~hvq~W\untf\z{xvI~O\rnsf\Z|PvQzK_FoCFX{@PuazQ_Emtg@[@Hui~}\_o?FW[?HuIzE_Amqg@Jka?Mys_?mnG?zjy?Qyw_An~fVZjY?EyS^NmdfsJhh|E}c\GniFQZyXsqyC^xm`f}jg`~myI^{n~FPz~hsYxm^Km[FrZfH{qxu^Lm\FrjxprYxG^lmQf{Jcx}}xO^pmRFzj}Pqe|_\RmfFjjhxy}|a\OnXfSjuPtE|O]yn\fiZv`yi|y]jn^fjZvpyq{_\}nGf^zqPwA{e]@nIf_zq`wI{w\knMfZZlpxyz]]^mwfgZm@yAx_]bmYfhJshrExc]anRfKzsprQyg[imifIzd`tYxY\VmkfJzj@qyxw[^mOfNZcXsEx{[]m^fGJcPsA}d^SnfvsJy\|E}X^Mnet}y~d^un|W?j~t[YmtVIjfTsiytRihlS}i`TPihVLje|rixp[zm[vIzddqux\[nmTVFjcDqIxF[^mOwzs\EMlF\boPuW{c\UNLFRbpPuwwc\uN@FFbePxwxC\}M\FdbdPwwwC\]MDFZb]PuWvC\EMdE~b\PtWnCYuLdE@bYP^wusVuJtEpazPjwqsQmK`ClbFPGwcsXeKdChaQPdWsCN}LDC@a@PhW_cY]GPEjaBPiWWSYEEHEb`bPhWXSYmLLBL`cPiWRsYuLdAdbYOhwSCY}LlAh`PPkWRc[MLpAR`IPnWQsZ}CtEz`KPoWMcXmKx@rbMO[WLsXmK|@vbNO]WqSCmK\@LbGORwIcXeAdETbJOSWGC[]M\@D_^PpWxcCMMT@HbcOPwgsUmJdDNadPZwmCSeJhDPaePZWiSP]GpDTaLPTwbcTeIxC`alPFw^CSEFdCz`yPNW]sR}IHB|`|POwOsM]CPBh`DOyw\cGuF\AP`wObwZSK}ExBP`nOsw[CLUEpBd`jOwwdsJ]H`AxaXOmwecJuE@CxaZOnwTSOmDXCL`VPBwUCPEDhCT`XPCwNsWMCDEL_|P`WosFuKTAD`?PaWIsT}JH@`_kPWWJSUMA|Dh_mPXwESEM@h@f_sOLwLcBm@x@j_[OXUvJZllyu~Z`loOAW@[?ianPWgksUiJdDm_vO[gNSFYCD@}t@Y`lPUgzSliR@@_`oPWF{CeANKfeSrJxdkrEXVKmderIHYklYXNJOeWqshd[qqU^IgeGqih`{paTbKUdXrDHTkpIT^J{dMqhh^{oAS~J{dOr?HS[iQV~KAcur@HL{oYRbKIczrBHMkoaRfHSdwqTh][daVjHYdzqVh^[dqVrGod{q{HE[nIPjGudyqMH^[biVnKYcKrFHB[pyOzK_cNqGhckaAXFGKeLqBhbk`AW~GQeOqDhck`QXFKAc?r@H?[oYOJKGcBqAh`koiORFseFp|haKpQNrKWb~rCg~[pYNzI?dcq^hWkfaUNHyd_q_hX[fqUFIWdpqehZ{hAUrIQdlqdH[KhYUzIIdqqyHOkmqSNJmdEqbh[{miSRIsccqShU{ciTrHKd\qSHV{cyTzG{coqWhF{eQQBHec`qYhG{eaQJGcbsqHg|[aaNZGibvqJg}[aqNa?L?F_CVhzsTyY|H]bnQvHzdLqUxH[gmRX{s~}^PO@ftS?X|d?M^\N~fwS?xzt?m_\NdgARuy@c}M_LN`fmSAXut@U\pOXgLRmxvd@]_dN@gGRny?sym\XOHfVSAy?czU\dONfWSBYACuM_dLdgLRXxlT@eZXOTgJRYX}S{}^hNPfzRsx~C|U]pN|f|RtxnSxM[HMZe}RdXqsv}[@M\f@ReXgsveX|Lne_R[XgSvMYPLteaR\xisx}YpM`eoRiXjSyMY|MfemRhXwSsm]HLLfbRRxxCtEYhNLfdRSxosrM[PKtfDRLxpcre[`K|fFRMwF[BM@j?v_]oMXe[r]XjKze[rNYVdJad^QyhWsmIU\JadZQuh\slIV\IAbZQagqshIK|IYbRQigvsiIL\IAaZQagfshIILIYafQigjsiIIlIyaFPEhYsQITlCAdbQugasQiU\HQarQUglsVIRLDycvQ]gpsWIRlGa`jQIgZsbIFLGy`vQQg^scIFlFq`RP}gTs_IDlGI`^OqhBsKIOl@qbbPygRs[iB|FQ`BPwgPs\iClNYgBRki@s~i]\NqfjRyhvs}I]LMAgJRaiBsxI`LMYgVSMhttBI\LPAeRRIiLssIbLKqgfRMiJssialLYeNQ{hisniZLKIezRChnsoIZ\SAhjTAiZtMIglRiiNS}idtNIhLQagzSiiNtJIcLQIh^SeiXtHIeG?IipTLif?@Ij\T??HT\ih?@ijw?YilTb?@TTIkN