CAT(2496,2)

Sparse6:

:~?f?_?O?G?C@[?d?P_HoDgAk@Q@??^_NOFWEOAI@@?`_\_JWDcAy@b?o_VoI?DKAk@L?f?TOGoESAS@h?c?XoT_A{@e?p?[_LOEwL?EIBH@b_pOXGK[EABB@^_p?VGK_DyBE@\_coPwHCCiAX@J_eoRwHsDEAd@O_hoTWIcDsAf@[?ioV_IcD?BB@Q?oOSOJ{DiAv@X_l_WGJGD}As@`_j_RwHgDaA[@U_[_VGFODy@o@\_Z?QgH_BU@m@J_b?QWG_C]AI@G__oOwGSCA@~?}_\_TgJ?BqAm?|`R_CWA[@I@t?w_[ok?TSImDXAf`SoiGScIYDJA\`LofGRCHiCrAQ`IOcwNWI]BsAh_}?iGQCHEC^AL`FObGN{FyBzAG`Bo`gOgIYCGAd`@_hGMSFMBb@j_uoZGLsFAB^@d@ToXoTcEWDTA`?zo]?S[FcDDA]@Doa_SCGcC~@s@?O\_OSFSCB@h@JodOLSE_ClC@?KOEWA{@i?v?[_NOFwBkAe@V?i_PoHWCcAq@\?l`OOfwRsF]Br@w_wOZgL{EUBN@ea^@JgdcQuHUCmaS`JGdOQuGxC]aMpH_bcQ_G|C\ARpEOckQSGvCYAQpCobKPSGvCSALPBOccQKG^CaAFPBOcsQ_G^CMARpIO`SQgGVCjAEPB?aCPGGTCJAGp@oa[OcGjCGAIPGO_KQCGFC`A@PFo^[NoG~B|ANo~ocCQ?G@B}AOO}?csNgHNCg@{pIO]kQgFnCj@zO|?dsNGHZBrAUO{_aCPGFhBrAGo~_]CNCF~C?@voz?^KMwFtBl@{PD_VKJgGnAzAKOyW\[MiFKBn`w_xw\?NAFFBd`qOwG[SMEE}Ca`n@HGZgQMFkBW`z_uW]gL]GOBTaC_tg_wLQEdBR`gp@?X{L?GLBMAAoq?cSKcHHBIAPopoasKSGpBEAJoowWSKQD}Bk`__zWW?MyDwCC`^@@gVgOUDkBz`}_mG^_J]DjAs`XokgUCJEGCAm`V`?w_GIuEUBY`m?rWZWKqMUBw`|O}W^sOAF~Bs`xO{w]KNAF^Bz`}o~G]kN]FlBk`vOzWAc@Y?j?U_IODWHcCiAV@L_fORwICDIAb?t_ZoLgY{LeEpBM`gOrwXcKuEVBE`bopWUsJaDnAl`VojgTkI}D\GUCDQBH@[_qOVGIcFQBx@k_yOZGNc@q?X?S_QOLGDcC`|X@?^]OMFubv`}w}G^uN_F{b~`yw~o]iNQG?bpaAW{g_]NGGGbnpvWzs_OMtGEBmQ@Oz[^OMnFXBxpu?}S\ONZFUBuPz_yk[_NpFyBdP}OxK[SNdFFByPp_}[[KNPFCBrPo_{{ZoN@E}BpPnO{K]?M@F@BpPno{K]KLtFdB\px?vK\KLlEwBgployS[[MfFEBgppOySZcMzEzBnpm_zs^wH^G?AWp~oeCRkNpFyA]p}OfcR_MhCyBjPMOykZKL~EtB_pl?wCZ?LlEvBXPm?uKYoNLFgBTpxotS[KLRFCBSPo_s{YCM\EbBfpg_yCXkNRE\Btpf?|SXiKpEXbJ@zWqw]qN[ETbFpcWqC[_KREJBdPqOpSW_OBEEC@p`p?SWUKFECb?ABX@wWEKCGMa~P^wnkV]JrDwb]@\GmgZyJkE|cD`[h@_VMOSDpat`twzGUuMoDkbf`YGlO\AM[Dham@qwjo[qMYD\b}`Ug~WTmNwDXbv`Tg}GTaN_DVcB`Swig_eIgGGag@|WiG^YIcFvac`qwxgS]IOFKbl@OWzWSIMwDBaZ@gGewX}HiE]bE@Kge_WuHeEMaw@cwloXQJ]EQbQ@XWsoU]LIDeap`^Gk_ViJCDzbV`RwtoSuLYDMad`PWhOSQIWDEan`Nwk?SAH{D`dg?BgAC?}VOExb\pmgwKZ}M@FAb`ppGxS[aMRAc`ROhWBs@}?z?e_SOHwC{Aa@L?h_ToIgC[AU@H?k_VOJWECA}@b?n_WOKWESBM@h@u_yO\WR[HqCz@y_}O]wNkF}B|A?`@O_WL[EuBX@d_rOXwd{REH`CsaXPKwe{RYHjCwa\PMWf[RuHxE]bOPfwgcSYIJKhEURI@dSq[XVKUeIrDxaOqaXQKSeRbCxaCo}WbKNELrCPbkp?WxKLE[rB`f[ooXtKAEOrGp_CoCXDKoD~RK`^krCV~KYD}rEP^{p_V|JyECq~@`SnkWVJvETQ}@d[ncXXKVDyQ|`aspSVjJuDxq{`]knCVhJjEZRM@\kmoXnJgEOrG`\SqKVRKzDrrMP[krgVLJbENQx@cCmGW~KKDnqwP`sm?WZJ[ECR@`Zso[UzJmDmQ{@Zkm{U|JcDwQwp\smGV^JTDlquPY[lgUhJWDlqtpZSlWUrKFClqV@`CdsWLK@Dcr?`W{k_W@KBDaR@PWsoOUJKnD^Qo@dsj{XZKrD\rL@VkjoXjJpDXQ{pU[jOVdKWDVrE`UKpcT`IkELqj`bkisWxJODMqfpYShwUbKdDLRH@RcqWSvISEZRM@QshSXnIGEQQa`csgcXJJlD@QypOcmoSFH~DgQ_PYSg?UbHoDnq[`[Km?RbJwCuQY`^Kn[RVJdCqQx`Ksm[RJH_EOQV`b{d{W|KqCjrK@IsdSXbHREHQT@acdGWfJLCgQSPX{kwQ^HJccqQhHkcyQXHGECqP``[c[WTHDcaQOxFgkuP}JNc^ArhF[bqPtKBCYr@@EcoSPlKlCTrJpDkqwPXGgEYQI`e[acXjJhCQQy@C[aGVTGfD|qHP^caWVtJUCKqEpY{`gUpJTCNqGPY[a?UhGODdqr@ASkgObJICIqqpA[koOhIhD_qipW[igUDIxDKqm@RCh[TtIeDGqcpTCi[SdIMC{qc@N[g{RtHtDZq\@UsfKTjIbCuqhPL{iOR\HfDOQYPSSe_TBH`Czq]@K[fWRDH?DAqO`OscCSNGpC}Q^`E[fsPdIJCVQK@PkgoP^G[CkQF`JS`sQrGUCZqE@FK`[PpOYDeQqhX[leUvJY_GoCwASC]AP@H_hoTWIcAA@D?`_YoLwEsBa@t?x_\oNWFcByA@?~`[omwVSLmExBY`iOtgYkKaETBH`^ooWWCJuD|A{cYQLhEkaUPNGegacPyG`CaaKPHgYcQiEpCqaUOvgUCRYDpC}`YPMgQCMyChBu`EO{gNSFyBl@}_zO]gLcKyBPBI_wOsgLCHiB`Aa_uOfgecDyB@C}a[OXgICQiH`@YaUOTf?r_xoTA?^xOaF}r~aCLB_^rOyF|sMP~S~WaNNwGcr|qHC~K`vNtG]r|AFdAo^`OmFxSJP}L@S^XNiGJSD@|\@[^NNhGKRyABK|w`|P?FoRvqF{|s`JOcFlsGpzc|GaBNSG`rsqGS{g`pNHG\RqqFLA{]LNGGWrpqEC{?`ROjF`SI`wLCS\pPEF[sP@u{zQ\lMtfRcLxspBU`kMdfQRgxsSyE\@M^fGCIYDWxI`SMPe|cOXnhCMZwPAe~CNiG?wAZ}O~exR\Hm[uqZ\LleiCHxipAaYiOeegCKhhxBQY[OreacJxgpBEYMOogOBNyCGsE`CL?f~bry?G|E_?NOf`bmhv_{Q]IMzfWbjhuWzA\cMnfTbzXtg}}\WNmfMCAI@Oxy_QM\fKbbxrWwu[[MYfDCCXp`@M[UOQfBbrHpG{y[ONLfAcBXop?m_WMCfIb\XqWv][gLuesbdhlOx]ZUMWerB]HnOuaZMLxg@BWxkh?QZGOBevbWHmGuIZ_L`embwXjw}MY{NaemCBhjP@AYuONf^bTxjGzu\{LWehC@hiX?]YaODfkBQxzOsu]qLKecBxHhO}YYQNdfSBOhg_yiYEMhfibNHywry]kK|iD?BgAC?}?\?O_FplgvCZ]LxE}b]ppWw{[YCRAJ`DOYWLSEaHbCnaWPKgecRMHlCvaYpMWfCRiHvC{a]pjWt{YyLTEkbTpcgqcXMKNEGbBPOGf{Ry]RNIfdrohwC{EYJLFebROHf{sEi]TJictQihtSqiZT?ITtJAgTSChZS~IOtNacDRsg~S[IbTQAblPwiNTCILtPQbTSKgrTJIDtQQ`TSggXTMIEtRQ`|Sog\SFI_TAQgLO_iDSEI^tNQ_dRwgJPmIWtKqMDRGb^S@I\T?qfdOGhvS[H~TFa_DPsf~SiH{TIQ^TQ_frRuI[tLq]|NShpSsHvs{QetN?hjRhIJSyqbDMggnReINsxqcDM_hBSgHpsxQdTQcfHSRHoTDQ[TPOfBR\I]Svqf\LwhtRZIYsvAetLghhRSIZstafLLShpRQILssqbLLCgtSjHfSsAdlK{hXQrI`slQglJOiHQoIbTQAULJGiNQfIGTCaTLPCdPQ]IPSfqc\I?hHQZIVSfQeDHoh^QWIEsea`|Hcg\QQIQtHqQdHKhLTHHESbah\GsiTQHIWtKaP\RKcTTLHCS`ahtSocNSfG}s^qclFwhLPyIDS^A`dFkgVPvIVS]Qd|F_h`SPGzTCaMdFSg`PpIPs[qcdFGhDPkIHsZQalPObVSUGsTEALTP[bRP`IAT@aJ|E?gJSFGnTAAJdOcazPWgjsTiIlDMahRzHes~AX\NseXRGHuSqa\tKcfZQyHasmqW|JceLRCHZsoaVDJWeFQeHxshA]TISfhRVHPSgqZLICepQBH^s`QWLGOe@Q{H?S_aVtJscBPdHIsXqQ|EWclPaHFsXAQLEKc`PXHUsjqJ\IwatPOHTSSaTdDCdV?L_EoBZ?WkuU^JMdmQvhZkmEV@J^dpqwh[cm]VLJd`YOlWU[JIDbAodFQcHP{gmSZIKdAq`hO{fqR|H|c{Q\xMsaMPHGacJQEHA{`yOzG[kZEKJETbEpfWtkYUGJBt`}ozWZkMUKr@l_wpjWsKEUKb?|bCoPWoKBT~Y~|^ynzV~j~TZyltUupiVskYD|jEX^Up_VpkXD{zEH^InEW[jqEFY{P`mo{V^kODwZBx]AoGV\k@dvj?h\qoEVXkAduz?`\imXVJjdTpyxD[emGWijbEIywhaql{WbkOdoIvxaIluWWkLDnZBHZqlqW?j[E?YvP_IogUtjZeCyup`IpIUskRDkjC`ZMl]WTjWeDiu@`]lWWlkVdjithaypOUhjTeIZCxYilPUejRthR?TYKo@UcK?tdrAL_{krWOJKTdb@LXSoVWIJITcR@l_wkfUQKETarATWsohUKKHuHQpDWgpLWcJCt`RAlW[onUEKJT_b@LWOoVUBKDT_RCLV{pDU?KPu@qnt__jxWEI}uEam|V_opWXIzUBqm\VSobTsKGUHqmDacjdWgIwtYbDTUopXTjKTtXrDtUcp^WlIsTWYk\UIjHTdirTUIjTTeijTVijTyA}|^cnTVwJst}a{l^onNVzJrToQyl[KmfVAJiTgAyt\[lDU`JkTba|\]sk`UNJuTzanL^?jvVnI|TVayDT{mbT_JhTrQj\[{ixVMImtTAr|TKk|U\IhTRqrdXgibUZIgUwOo[WUKHD|a~p^hyC{}]bNBfarpJTXm]tWZhlUeyJ\PiUvWYfltehj\PiIvWYcltegzRplyu}Y[lMewJ[xhAsaZhlHEyJPPlyv?YKlneazOHmQsEZel@ExZ[PfAvAXnkwewzI`mMvAXUlpETZIHmUqeZekhExJHDceqTXKkeuQzXXkuuQZMldErJY@kauKZPlfepzWXc}q_ZDlaERjU`h}tkY`lYegJQxjetoYWlJElzOxhesQYYlCEezW@gUuCYCl_e`jYhfaumXyljE]ZMPhMrgYTkxedJY`eyrYZQkuEszKpgurOYNkrebjT@eQtSXdlSeWzVxeAt{XakoenZJhjiq}Y{knEmzLHdiqwXjkleYjNpd]s?XXk~eUJGhiyqMYokbEjzGPjEteXCk`ekjMhcArmX@k^e\jNhbup{Xzk}ENJEplquuWvk[EvZZ@bepuZYk\EuW?c?Y?J?F_CoAG?{?e?P?K_DOAw@c?i?V?K_DoAg@C?e?NJRdiqtHZClYUnGXcLqEhB{aEP@GOcHQCXAC`IObGScIqCxAc`MOjPmgwSZyU\JUdhQohXSkYSdIYdJQ`hPsgiRlHmcxP[gnSVYKLEAa~XMkgURzVLj]tpYslZUlZOdgUsLXeksUXzK\eUrHXIkcUQZH\cuqXW~k_uOJFtbqpz]^NQVhRrtyW|@]\NSVfBtLxk|N\|NUv^rt|vw|\]GM~v`bnlw[z|]iMzvirnDvc|X\xNAV`Rm|v_{F\pNQVhbm\ySzd\mNRv[BtLu{|P]_Muvfbldx{zV]?MuV_blluk{B][MsvfRlTxkzP]NMsVcRlTx?zR\dmrVXzklu]zL\^movWJkTuQzF]rMmVlRjtzOyz]oMmVkbjtzCyz\XNOvUrs\tg|D\UNKVUBrLxgyn\cNIvWrq|xWzD]QMnvcrkLxOz@\XM|VUrndtgzv\tMjv\Bitt_zl]rMGvlRa\zOwd\ONTVSbtdtC|V\LNUvRrt|sw|\\{MdV]bhdvkyV\FMyVQRmts_zj\DMiVPbilsOyf\RM_vObidsKyj]EM^VaBgDw[x~[|N@v`Rf\wOxx\nMTv[BdLuwxT[aMxv[RcDqCzd[\NEVFrptpw{Z[YNCvFBp\pk{T]oMIVDbuLzGwj[KNJVBRq|ok{j[MNHVCBqdo{{f]YMDVARrDo_{r[ENPV@rs\oS|BZzN?u}RoTng{@]NLxu|RqDxCvhZoNEU{bptnC{ZZnNDUzRp\mw{R[kM[VJbfTqsxr[eMYvLrdDq[xl[bMXVHRedqOxf[VMVvEReLp_x`[AL}V?r^toOvz[?L{U|r^|nWwB`TK?u?j?D@Y_jOSgJsEYBD\amlVVjhttYydS}ibTOihtTIiTomwZ[KmFVCJ`|z`Ad]vOiVlcI]C|Av`POmwSCJeCxAr`KOlWRSJEClBN`hOcwQcLEETAP`cObwXcGuED@z_~OpwWcFuE@@t_zOnWNCJ}DT@n`VO[wTcFEBPAn`UOZWTSEmApBP_lOrwIsLMEP@P_hOqwIcKuED?l`bOKWWcA}@PA|_ROnwWCAmDl?``\OHWVCAMDd?Z`YOFwUC@uEs~v^|OvwZb~eEk~p^yOtWZB~MEw~B`lNpVwCL|}LBT`jNqWZB{mDG|r]zOiWSrvU@x@N_dOMwHcBe?l@D_IOPwBCCe@|?N_GOOwASCE?@?t^}OLv~sBL~T@b^vOXv|cET~H@\^sOWV{sD}C?~^`ANwWOR}L}pAJ`CNuwOr|t}[}n^XNrVyBzD|X?L^TOAVtC?l|K~V^QNtVsR|M?C}\_ANfw?ryD{W}T^FNcvqBwl|s}D^^NaVvbw\z{}V^@NevoBxdzo}v^[N^VnRzS?Q?J?E_AO@g?mDNAh`QlnUwJZ|OYgJSCiBtAY`Djut~Y}l\UnJV\bYppWvk[uMjF\|i}x^Znmvvzzt}I~B^_npvxZ{eMPFzb~PpW~c[]NhFDbcP}W}s[]L|GFcDPowwC_eLxGDb[Q?WvS_MFDFV`qPuw[C\eLtElb]PkWvCY}L@E~bQPowsS[EO@EZbNQ@Wrc_MK`GHcDPcwps_]NPDjbuPZw|SUuMTDdbfPYWxcU]MTD^bfPWwxcUEN\DXamP{wjS^EM`DRbiPTwySTUNtDLb~PSW~cS}NhDFb{PQw}sSeIHFna_P{w}CSMNPCzbuPNw|SRuM`CTbiPCWySPMGTFVaFPuw`c\eGHF\boPAWzsO]GDFbbrO~w{cOENDBxbrO~W{cNmFdF\boO|wzsNULdETbZPeWucX]KPEfbEPiwpSYeJ`ChayPJWmSQmJlCba|PHwnCQUH@CxaMPLwbsRUH\CVaLPKwbCREFXD|`wP_W\sV}FLEBbBOyw\CWUSlIbdRQexScheShI^dGQgXQShuR|Ipd?QkxOSi}RtIlc}QiXNCimPPHrcRQ\xCcfURXHZcvQVXMCd}QhIDckQaXIsg]QHIJdFQPxGSguPxJFc_QqxFskePlJ@c\QpXFCkMP`HHceQLXEScmQ\GjchQJxICauRLG^cPQYxCCeeOxH`cqQEXKS`mOdItcIQmXAsj]TtGLd^QCXVc_}U`KPdeRBxaSk}VxJvd~Q}X_CnmWHJpe@Q|X_snMV\K^dtRFX\cpmWhJddsREX[sp]VDKdeOQwXZsqMUpKfeTQvXdClmUdKHdiRAxYsouXXLDeWRQXdss]X|LVe`RUxgCteXpLPeiRNXfStMXdLJeZRRxecss?DLmem_@hmSuC?HLoen_?hkSueZW?CerrY_?suV