CAT(2496,4)

Sparse6:

:~?f?_?O?G?C@s?m?[_K_EgB?@m@o?T_IODgAc@Y?j?S_JODWAC?y?^?R_HOCW@O?q?U?G_E_AWJw?q?Z?J_FoBgAC@E?f?Q_HOCWA[@u?~?]`B_KwEcBI@n?u_YoJwEKBAB\@o_voG?LsAGB^?`?wOZgMCE}Bb@p_wo[wMkFQBd@q_xOJ?NcAsBv?m?}o]ONcF_Bz@y?|oYwLkEqBV@l_uOYWLSEaBI@v_r_\wKoF]Aj@S_hoUOCsDk@P@Y?RoVGJsDuAz@]_mOU?DKAgAl?j?joUoMsDgBl@X?zORoMkCwBf@L?yOS_McDCBj@O?xo]?IsD_Bt@V?{o]?HSFcAV@K?|OXOI[E[Aj@e?iOY?HSEgAV@K?soW_ICEOAb@b?hOROJ{C{BB@M?oOW_HKEOAP@b?boGoFsAS@~?c?_O^?GsCOBz@z?aoOOJ{CKBB@A?oOMOFkBg@v?w?]OGGCKAI@F?d_QOHwDCAYGa?h_ToIgawAu@X?m_VoKGEKBI@h?r_ZOLwEkDqA|@\_jOUGI{CuA^@M_goSgICDeAv@Y_^OOGF{Bm@x?|_`oOWGS?U?N?E_Ao@w?sTWI\DLafpSgiKTAIfDTaiPTOfKTOHtCwAhpLWesR]HFCdaQPHWccQMHLCgaRpIgd[QeHZCkaVPQ_eCSkH^DKAWpKOeSROH^CrAWPI_dsQkHZChAUPGGcKQIISC`aO@RGhWQIGyDOaN`SgboTEHOC[aL@HwbWQYGmCqaY@EWeWPaGXCLaDpBwaCOyGbCRaHPDGasPUG?DDa?`PG^wSYGCDDaA@Pgg_OMGIDGaB`QWgwOYGQDGaC@PwhGOiIACUaI`Owa_SIFwDI`~@RG^gSmIgBy`{`SwigNmGOCwaD@Mg`GReF{CY`}@FG^gPmG}BuaM_}GboN]FiBo`x?{w]GNQFeCPaH_|WaONQFYCNaF?zw\oPADADE`N`PWg_IACsDG`K`QWRWS]CwCC`N@?wRgOIGUAUaE_dw`_HaFSDO`u@Sg\WTEFKBq`q_{G]GMQIYBaaf_wwhoMEE|B_`nouo_kLoGLCF@mp?OZSN{EpC?@kotWY{LYI?BJa^?qWfwKiIABB`a`OwgOKQEBBA`_OnGVSJmD|A|`^pLOU{R[DrCu@[Ol_bKJOGpCV@YokOhkJGI^ArAfO|_TsJ?FpAn@zoiGTSIeDVAl`UPOOSSIOIFDA@Po`OfcGWHzACA\o_ogCRwCBC~@@O^_\kG?F^@~@vObWPsG}CUC{`E@NWPORmCQBx`B_}wP?NiFMAR`s_dW\?HQEcBN`g_tGY?LMEKAO`G_qGWwHIDIBK`R_rgSoKuQECMaGPBwasPUGh?I_CoAG@s?}?`AX`LoegRsHqCzA^`OOgWUkJYDhAn`WOjgNsGAB~A@`@o_gOcGYCJAJ`EOagP{GuC\HxCxq\XMcfYRnHwctA[HMOeqRUHpcoaZXKWe}RCHmcuaUxJge}QwHmcxATHIWfEQcHocwASHIGfERcHNcsAQXLGcmRMHIcbAWHH?dyQMH^ckAOxJOcUQqHCc]qNhF{cIQ@H@cyaLxMWbeRgGwc{AMhF_fYPuHvcWaXHEWeYPcHdcYAXHEoeUPiHecnaJxE?dyR?GmckAJXDWdiPWHXcTAPHDGcUPOHBaqpXwksUiJPDhcKqExBSdSOlHVCKQT`A{`AOdGPcEqBx@s_[QXGGCfQAPHk^uNvF{b~Q?G~{aSNjGfBzqH_}sa[NdGeByQHO}[]}NbFocx`yXMg]iRgFjbvA]HMw]qRkFlbpaGg{gaQNGGbbpASHIG]EN?HNcc@vXGw\}QKF]blAMhF_\qPuFZc_@twzGcIMoH@cu@thLW\QRSFTcT`qwxgauPWFKbaaTHIO[]QeFEb`ARGw_cyMEHLb]PnWvse[LrHhB\qY?vSZWPHEwCPplpCSb{LfG}BYQNOukZ?PnEqC[pkPFCdSLTEkCjqT_t[X_RBEYCppePKSdsK`EPClqV?p{esKhHmBHpc`L{WWP^GoBCP`pDsWKPlGsBAp`@EkVMJdDpcS@]xDOVqPQDycW`UGiobMPcDVcc`VHHWTyQSD\b{`rw~O\AM[FwcM@nxBo[EOyF?cD@fWr__qKuGJbd@fwx?YAMQE]bOa@GsW_YLCGDbJaGGqoaEO}ETbR`aWpWYeLOEIat`sWlg\MJWFQb@@bgo?WqKAELbQ@^WsoV}LID}avACwlw`UOgDoa{@xgnG]]JmFgap@\GmgUQJkDban`jWkGYyJ?Enaka?WjW_MIsGA_RoIGCsAA@D?`_QoGwCcu?PPGicSqKXESbM@\?l_UOKwEcBI@^?o_WoTWI[DQ@p?y_[oPGGsCU?J?E_BoEwBc@i?n?X_KOEGBK@]?x?Z_LQBh@{_uNTFjbspzG|k]yMhFUbipbGpsWuK^EPbGPdgq{XUJXDlatp[GlsU}JbDraxPWgkcUMIlDWajpUwjSTeI|D[amrkHtsy}\JMffRRexrSxe[lMWfJrg`ocwW\HMDFPraPoSw[[FMGF?rXPlcuKZ\LcEurVHj[tiY|L^emri`jCtc\PMhEjrVppstw[^L\FErV@pStk[XLYFDqkhUcjMTlIvdYr]@hkvgYVLKE{rQ@k[uOYRLdEdRX`f{u_Y@LfE_rN@t[rw\ZK|FURMPmkrgZnKzEzRTpe{tcXlKwEkRJPlSqwZVKnEsrfpc{yCXRM_ESRH@k{qWZPLeEQr[`b{vOX@LrENREpnsps[@K[E~rB`tSos\RKKFSRZP`[ocZ\LkEDQ}`rKxkVxJzFLQ}Pr{n_\BJvFORc@]cnW[bMQDyq{pistOVdJpEiqz`m{m{ZjJoEzQypq[ms[hJkFIqx@lKmGZVJbEtQw@scmC\DMbDnqt`sky[UpMeDjquPqslk[nJYFKRipY[lS\ZMkDiQrPmSk{ZhJMExqq`p{ko[ZJJFFRapXCwoURMIDbr]pWcvsULL{Darc@Vsk?[dI~FGqmpt{js\`I{FVRf`VKxsTpM[D\Qj@q[is[hImFIrS`S[tKTJLPDQRW@Ssi[ZDL`DSRSPRkhwYfI^EhQg@iciGYlI`Eir[@RKvCSnLnDKQe`nCvgSvI[E{qd@o{hW[RITFCR[@QKhKZbLnDHQa@kCggZDIHEorf@OkxwSNM\DBR^`OSw?SHL~D@r]pN{vsSBL{D?Q]PoKfk[FHyF@R``Ncfw[HH|FArR`gkt?YNLNEbRE@eSpgXbKXEWROp`{sOWbKOE`Q~Pakp[V~J}EJQxP_sm[WPJeEBrKpZcrSU|KsDmrCpYSl?WhKQDgqopdckCXVJAETR?`UKi{W@K@DWRGpT[igXBIhEPR?pQCoOS\KDDFqap\CgsVTIKDssf_]sNaFnBx`|O}w^cNyFzB~a?p?G_SOMGHCDaBp@g`SOeGPCJaEpBG@C?i?R?J_EoBGQCHICbAU`KOdwVSJqDvA|`^ongTCIiDRAl`TojGOCFyB~AA`@o_WOsGUCHAF`CoaH^Kn]VpJSdhqtXW{keUPJIdeQqxVsj}U@Iwd\QmXNKfmRtH}c}Q^Y^@NIffRshys|y]tNAfbRnhuSzi\lLsfDR^HoSva[LMSexRZHpsua[dJOdpQtHZSkqU|JGdnQpH[SkAUtIwfJQnHpsjQ[dK{dBQbHgSgaXtJodBQbH^SnQSTHwf@Q_HpSfq[LH_fhQYHxseQ]THkfjQ\HzsfA]tHSf^RpHJs{AQtHOf\QRHusca\dG{fRQPHtscA\TGwfLRgHESbQ[|HKeXQSHescaX\K_cjRIHJSqQQ|GwdNQLHSsiAPdG{dJQeHGshAQC|[eVNTHeRtaXlK_]rRIFlSqPzDGWd~QGH_s`qWDGKebQDHhs`AYTI[c@QAHSsiAOLFweBQ~G~s^QWDJcbtQzG}SmaN\IObhQdGzShaMlLKbbRPGxssaMTEcerRVGtSYAZDEKcvPaHMsXARdH_a~P`HLSeQKDLOaxRUGnStQJlDWe\ROGkSrqI|D?dhQrGhSSQUlIw`|P?HUsjqF|KS`pRFG\SpaFLJk`fQyGYSmQETNS`ROjHzsIa]tNK`PRsGRs{aCtAKc|OdHOSHAR|AA`BOagICuiApLq_iRZgFCoiW`@A_]RBhXCAI@PJA_QQpgBs@i?l?GenOCHks?qZC~oeDN}HaR~QW[~cdTNzHUR}aT[~?dVNpHUSi`}TLO^HRUFrStP{lLs^BNaHnsv`{[|weJN_HbrvqWtJo]xQ}FlrvQVk|GcRNRHDRtAP\Gc]`QJFgrrqPTMc]XRjFfSy`xk{a]NNEfdRqxxLMW]FRgFasxpwdCgbVPKGusQqLdESaNPfGcsXaHDDc`vPZG]sUaFd@_ahOXGisDqI\CS_fPEGGsPAAT?k`XOlGEsBADs~{_zO^G?s?ABs~[a^NuGfSRP~C}g_tNkGMRyqB[}caFPAFrryAGLB[]BOtF`SL`wCz{`^M}GWrnQEDF[\tPwF\rnANK~O\rNtF[R{pu{zOb`PmFZSZpukzK^\MpFvrk`|l]_@T?j_St{QRLHicpQZhMsfHCSaMPHGecRqHXDcauPVGmcWQJxEcbYPjGvc[qMHFSbqPvG}c^qNXGCcIQB?t_ZoLgHSCqAV?C_AO@GkkU]JLDgatPYW~[^uNxF~c?P~g{s]aNNF^bmpvgqcXMKdD|a~p^hyk|]]lNWfkruhw{{a]LNHfdrqhu{ze\pMpfXRkzHXcIqHXBk^uOZGDbypzW{k\uMjFLagpZWnKUUIrDtb?pPWqKSuKRC|cWopXDKLUERG|`cqPWYKcuQbBD`CpfWNKYUCBEl_wpnWwKEuLb@db?o@WqK@UKR?L^cpVWkJzt}BDT]wo|VoKNtzrCD`knVVlKMuFA|d`On@WRJouCaz|`GmzWSJnTvBA\\cojVZKJtubAt`SmlVWKJttrAtbSmhWrJiuLAy\\GppVPKZTsBE|[snnVxJft}AxtZwo@W@J_Tnr?T^oljUvJ|tla~T_KldWDJYU@Au\Y{nTUpJstkA|DYWnPUgJtThq|LYKqPUcKdUQQslY?qJUaKbtgRGt^gktV{JMT}qr\X[nzUWJ~teQ~tXOpFUTKOtdbCTaWkfWcJGuHQqTWwoRUOKDtbr@TWkoHUKKAu?qplWGqDUCK`t_rGd^{j|V|I}T~anlVSn`VmIxt\A||V?nXVlIxT[Q|\UKp~T`K_tWbGDTwoNT^KCTWB?t]SizVfIltxajd]SipVfIlTxajLTSnhTUJytTq}tTOnlTRJyt|AiTacibWgIfuHqiDSonbTLJxt{ahtSgpFTJKOtQRCTS_p\WnIbUJQg|^GiFVrIat{QgdaOi@WdI_uHagTc[hbSqKatKrGtc_h\XIIWUQQd|a?hLSfKNUFqcl`khDW\IQUFAc\PwoRS[KDtFR@T_[hBS^KCU@acD]OgnVaIJTwqbDPKoXWMIItDB@l_{gZWPIFuCA`t]OgTVaIETwq`\bkgPWyICt@rFLOWp|W{IAuNQ_dNaftRxh|s~Y^d[[mTVKJctqAx\[OlvVEJ]tpQvdRolTUjI\tMatLVgkPUII{t]qpLV{jlU@I{T_Am|UskNTnJAtZaotUgjNThIuTYqlDRwl\UkI^tNQtlR[jHSxIrTMAklROkzSuJNtLQrtZcgrUyILtmAbTPCmFV@IHToaaDQ_gDSiI@tIQ_LO?hXR}IUs~qd\rkYtL[elrVhj{tuThIrdXQlXU{jYWpKYeKqoXW[kISrIWdJqexRchikJUFjBT]Yn\VifpRxh|S}y^lNqyz\[mnVUjjLtmrk\Qmge\zi@fUxK\FmSFQZcxsaxI\KmPfQjc`smxo[_mPFMZcHrixo[Pm\FCzfHpIv_\UmkE{j]Ht]vY\RlvfTZ\ptQv?\JlnFRJZxsiuo\RllFTZZHtQui\FljFQJYxseu]\UmkEsZY@t]ti\?lZFNzU`ryxuYam]ehJf`iMyGYUmbEeJghh]yEYTlIFOZgPhMs_\@m`EcZQPsMyKYNmaEbZghgyr{[}l?FOJNxr}yYXzk}FRjNhs}xyXym]E]JfXferK\XksFUzKxtiywXbmnEXZjheQqu[tmZeVJJPrYqm[tmZeUZJ@rYycXUmgETZI`tEyYXRkhFRzIHsyvw[SmJE~j^hpUwsZsmME{z]hpmvS[GluFAZ\XoiwIZfmBeyZ_pmaxWZQliFJjdhlMuU[ilcfIzXPqeu?Zxl`E}zWHnit{Z\l^euzZ`juvGYylrEnJ[hjmvAYvlpemZ[PjauWYplXerjXhjIt[Z~m?ekJ_@i}vmYjl{EjZ]piqtS[NlSfCJT@oywUYdmEehz``iYs}[AlOf@JS@oMs{ZClaefJRhkMsqZElLeqJRPk]wmYCmKe`jb@gUsA[\l@fFzOPpyx]XkmWeZje@eurQ[sktfKjLPrMrcX_kyEWjMXeEqyXnkweVzJpfAsMXNlCeRjI@gasSXJlEERZPXcr?GQKhFSbYQDHEc^QQhIScyQlH]clMyf]RmxuczY\jXMkfuSJHdcuqV_XNrVyCB\}\?t_UNpwDr{m@_~H_MNkvuC@}?s}n^ROBVsS?l|H?H^MnfvsJx\{q}Z^GOBwABxU?c}R_INavps@d{X?V_UN`WEBwe@[}F]~OKvoSB\{@?t]{O?vnc?\zt?D]zO@w?bvM?C|t_RNGVcSAlw|?h]KOGVbcATwt?b_RN@v`SAlwP?h\}OGv^sATvt?`\xmzv]JmdvYzj_IMtwBBlm?kzX\hOFwBRlTu`?\\bOBwARkU?_zH\`OBW@BkDt|?J^rNpV|B{D~G~B^SNvvtb}L|S~`]oNXvkbulzC|h]wNVvlbttz[|Z\dNTVXrtduW|V]^NvVgB|lxw~X]ZNSVfRtLxo|N]YNtvybrL}c{p^\NIvvrq||w{l]QNlVvBqdxK}v]HN|v~Rp\wg~x^}NBW?BpD~{{N]dN@VhboDwC|H\yNOv^Bs\vk|D\pN{V[r~TvG~r\mNyv[B}|u{~lVajqTwy|\]qnZVmjwTzytdYylZUijTtiY_LOMgDR}i?S~{RQHvCwa]pLgf{QyIBCoa`pPGe[KYHRBAaTopGdkQIDzB?aQpHgV{QaCfASaUodgd[GqHNCa`GpHGP{GYIFAIa_pPGPKGAHvACa^o_gfkPyBBC__mpFGJ{DYHr@WaZpLGJ[DIHfCo_gpJgIkQAA^C[_epFgH[Li@r?{`novGF[OiE^CM`gpBGY[OQERCG`ep@gX[JYEjBW`[otgV[JIFBAs`qokG[[IiFfAm`zojG]kMqDJBo`SozgS{HyFzAa`|ogG^KHiGBCA`MoeG^{PiBz@}aKo]ga{PABr@uaIo\Ga[EyBJ@q_ro[GK[EaAJ@k_coYgG{ByFN@A`toOG\Jelr]xl[ym[vMIP\GecT[HmDVAJ_lo]wLXSkjUTZILdMqd`NogwSKHuCvAX_loTwJKDEAj@Rb|Q?W~s_UNxGBbyQ@x@S^eNlGHb~Pzw~c^MNtFpb{Pzw}c^MNlFpbjQ@x@S\eMtGHbgQ?Wyc_UMdGBbdQFxCS[}P@FLbaQFWxC`eOtFFbpPoW{s[MNHE~bpPmW{sZuNHEzbNPyW|cXmKxFjbuPeW|SXUNPEVbCQDWpS`]KXGRb@QFwosaMP@EDa}QEWoC`uJ|GZcEP]xACVeO\DvaeQCwiC`]I\GTabQBX@sSmIPGPawPgWmcYUJdEbbRPYwtSU}LPDlbXPXWusUeLhDfanPjWkSZEJ@EnbFPUWjcXEItERahPvW{CT]M|DT_@o@w?i{t]]nJ\bmqVWjj|uEz@d`QjxWcjMU@IpdSQqxTck]TTJHdLQlxQsjeSpItdGQlxQcjeSdItd]QaxPsj}TtILd\Q`XVsgeTxIFc{QpxNckmRtJHd_Q[xWSfUUHHvc]QZxGCfEP|HlcrQgxSsemTHHhdMQWXKSiERHI^d?QOxOSc]R|HDc\QSxFCc}PlHPcWQQXHcbUPdHJcTQUxDsd}PXH\cQQUXDCdUPLHVeSQrXXsq]U`Kjd~Q}x_Cn]VxJxeHQ{X]So}VhKPeIQyxasm}VXKXeLQxX\Cp}VLK\e@Qvx_smEWHJbdkRAXZcouUtKJdjRGXYcqUUdKbeURPXeCseX\LFe^RTxgStmY@LXe[RSXicruXtLReXRQxess}XhLL?@RZhjg?YZdL`?AR[Hjw?QZDLheu?@hk{ug?DLd