CAT(2808,4)

Sparse6:

:~?jw_?O?G?C?[?H?D_BOC?@k?y?^?M_FoBWBG@Y?n?W_KODgA{Ag@H?e_QoGOCkAK@H?a?ROKoCKAM@D?x?YOLWE[BM@j?s_WOKgEKBG@R?p?RoK?DCAu@^?m_TOJGD[CMAH@A_^oOGGKBa@l?v_]?QGFoCi@y@H_[_PWFWCY@s@F_POGwCKEKAv@[_lOUgJcDmAn@X_kOTGIsDUAb@Q_hoR_H[CsA`@K?fo]?JsD}Az@__pOWWMSFQBf@p_vo[GLsEuBX@i_toYWK_EaBI@f_p_XgR_@}?~?^_OOGGCCAU@L?c_]ONgFkB}AB@?_ZOMGE{E}Bb@o_uOZWLsEeBV@i`_?lGUkJYDlAt`YOkWUSJMD\An`WOhgSkI]DDAb`QOeWRSHmCrAZ`LOdwQsHaCkAm`W?eGTwH]C_Aj`G_jGQOIuCgAj`H_jGQgIuDOAR`S_dWQ_IiDIA^`R_gWSoIAC}Ab`Q?gWS?IICcA\`G?fgQGHqCwAL`F_fgPoHuBt@x_{O]wNcFuDeAJ`W_bGUOGiCPAF`Co`WOsGQCFAA`?oi?OCFwDTAh?~ob_MkG{Bn@u@EoEgB[@e?r?Z_LPFOBs@q?zCb?MoFgBcQc@d?o_WoHwDCAe@N?h_SOIgDcAmAV@L_eO]GNSFeBv@|_}O`wPKGaB|A?_~o\WM{FYIeDIaePQwh[SiIXDHAdpQ_hCSoINDBAaPO_gsSCIJCxa[PMgf[RuHxD@A\pOofcSGHzCkAWpJ_d{QsH`CfaSPHgc{QaHLC_aPPGWc[QQHJC^A_PN_bsPsH~C^A[PFOfSPwHrCtALPL_b[R[GxCVAXPL?bKRKGpChALPI_b[QkGxCRAJPDOaKPGGhCVAFPEOaCP_G^CTAPpD_ckPOHHA~AaonOgsJwIHAyA^On?gCJkH~Ca@[pG?VCQCDnCHAWpA?eCOgH^CFAcpPo_sOSIPCAAbpQO_cOKIPB~ADp?O`kO?GXBxAXPL?^[RKFtCh@wO{Od[NGHTCt@upLo\{RWF\B_AVOv_dkL{HXCK@fosO`kL?GVBKAFOr_aCKsG^BHAGpCoX[PGETB}@tO~O\cNoFVBu@qOx_^CN[FJBT@poto[SLWFBB[@iOs_ZkLkEfBs@kO|OZKNKEtBh@aOpO\CM[EFBE@`Oq?WKK[E@F_AGpCwaSPmGtC[_\oMWFSC]AJ@E_ZOMGE{EMBJ@c_rOYGK{JaDnAx`\onGVSJqDvAy`]onwVsLeEpBY`fosWYCKyEXBL`bOqGW{aGOzG[cNQGHB{aEOkGXcLaEHBO`]OeG`cIaGHA_`}O_GGcHAAXAG_]OIGOcAACh?o`EOiGBcIA?XAW_IOsG?b~aEXBW^yNvF|b}P~G~k^mO_FtcG`|xAO^YOSFubyaAx@_^]OOFsbxAAX?w^MOGFncB@{X?g^ANMFjbs@yg{o]eNEGLcF`xW{__yNqF_b|@wW{O^aO]F]bmaBWzw_yMsGVbmAEGzW`YOsFVbkaEWz?`mMoF_bj`wgzG]EIYFQaf@swyGS}IaFUag@tWy_TIMwFKbe`ugzW[mNcFGbx`qg}_[eO]FBbaABWwO_yNaEzbw@mg|wZeO}Eub[AGWuwaANKErbs@lW{wZQL_FhbX@yguG]mLYG[bVaFWto`yLAFwb|@gw~GYIOwEZcM`fXBoXqKMFSbC@tgoo\UKGFlbv@`WoW]qK?FRb@@sWoG\IM[D~bg@^WxwVyJsGWa}ADgnW`]JnDwa{pvOmK\{JfF]AxQ?OmcVWOFDtC@PY_yC[wJRFNAsPVp@SUCOXD_CDpz_kcUGNXDbBupVGjsTuOeDXcI`UxA_TiImF}ajA?Gj?^}NEDRai`xWi_]QLwEfb^@iWvgYaKoE]bL@gGrGX}MIETbJ`pwqo[YLIESbR@cgs_XMK]F@bG`nwq?[AKWDmbF@[GpgU}JUEHau`agpWUqJMEjbU@XWkoYiUkF[blpugzk\}M|AQ`GOcWP{GyCZ@P_hOSwHsC}A`AC`BO`WOKGMCD@t_zo\ghsS}IZDOagpSgm[VEJdDsazP\X]wnmVqJ{d{A}h]knYVhJudyQ|X]KnIVfJrdwq{h\omQVCJodpazx[GmUV?JfdrAvx[gluVMJ]drAvH[OleVGJZdpauhYoniUoJ{dja}xKGmaREJicpAyXVglMUiI{d\atH[?jAVAIndWavx^?iqVmImd{ajXROlIU_I[dgaex\ogyV_IOdvabx\WeQVYHeduAXXMolMRoJSdia\x\?fARcJidsa[XJ_liQyJXdlaUxIOlIQeJPciAsHHwlyQaJ\dmASHXocqUYHLdfaRhHOkyQQJLcdarx\Wb]VYGxduAMHXObQUUGtdeALhYoayP_JWdjaJxXOaaUWGiddaIXCcaIPFGecQqHxUgjITgIvdZAkxTGiMTUIddTAhHP?hyS}IIdCafXQwgUSoIFdKa`hNwjaSAIyd?AmXWwfqRyJGc~AqXS?feTCHzdOa]hMWhERiIQdHa\HO_e}SEHmd@AZXLOgmRWILctabHKwkQRQJEcsApXIwi]QkIgciahhGohQQOIUcbadXJwcUR?HBcnAPHWGcAUEHAd`AOXFwdeP{HYc]aUHEGbiPwGrc\aKhW?auPWI}d^aIxr_@]?p?UfQasHYKlIUfJTdiPGGcKQIAR@I_cOVwJsDuAz@]_noWGKSEEB@@a_oolwVKJaDzA~`^P@G_SOMF~C@a?O~G^sNuFfBt`yO|g^CN]EfBS`hOtWY{LYERBJ`dOoGWSKEEHBD``qhhTCi]ShIUdIqGhC[aQPJGfcRRtXy{|Y]hNRfhRsHyK{}]XNMfero@zC{G]tN@Fkrmxvczi\sNff]ByX|?zm\mNCf`bmXv?{U\hMufYry`uczS^XNjFZRppuS{_\fMpFbRv`uC}?\\N^FVrqpuC{c\^NIFVRipzCys]tMkFkrihtKya\JMffRRfxsKyA[~M_fOrghscyM\FMcfPRf@z[|s[|M\FmRf@vsxw\~M|FMrmPrSxk\nMwFKrk`rCzK[lMpFJrEp{cps^LK[FqrdPp[xK[XMSFDRv`o{}?[RN^FCRipocwW\ZMDFUR^p{sw?^HL}FqrZpqkvC[fLoFIRcPlsxGZXMOEurY@psuW[^LfFErX@qSx?ZJMPEprwPj{tw^FL\FpRUPp{wsYnMMEkRR`vkt?\~LNF^RqPh[{kYZNIEeRupgS|sYHLBFmRN@wCrw]DK|F_rr@esr_]\NLEZrJP{Kq{^FKmFpRs@dcqg]bNNETrs`cc|OXLNREQrtPcKqK]nKaFjREPws{_WtNFEKRCpwk{KWhKQFaRBp{{}cWbNgEGRi@`SygWRMhEDr@`qso_[pKFFJr@Psky[WFMeEAR?PrKxkWDK?FLRy`^k}oV~NjD~R[`lKvOZVLrEtRV@kKtgZDLZEoRQ@nCvgYTLHE{r]pf{vsYBL{E_RMPmkrkZnKyEzRK`ecr?XjKpEXrPpdKsSXPLEERrF`oKq?[FK^F@RT@akp[YjLUEJRB@i[owYbKLEhSkpp{wu[\MOfHRcXrCxY[nMXfLregxs\AM^FPbhPswys\QMjFVbkpuGQkHQCfAV`KOdghsS}IZDOahPSWl[UuJXDoavpZgj{UEJ@DbaqPWgicTUIfDUakPTy\xLievR[hkstyZDLOfDRUHostQ[DLCezRRHnssaZtMWe\ROHsSrq[|MSeZRKHpsqq[dK_e\ROHdSrqXLKUeNREh`SpIW\J{eVR@HesoAXdJqdzQ}h\SmYV\JkdpQxHZsmaUtJodfQ}HYsnQUdIqdVQihUsjyTtJIdbQohWSkYUTBSdnOvH[SLaUtIOfLQeHsShQ[|IKfHRdHOswqSTI_c~QhHOShqRtHofXQ\HvSeq\lHgfVQXHsseA\TIccnQgHJShqQlGwf\QLHuSzQPdMkcVRiHDSyQPLGKd^QDHUsjaOdF{dVP|HUS^aTTKCblR?GysnqMdKcbdRIGxsqAMLJKbNPeHYSXQUlDoeFP]H`SpAJlDWeNRDGkSTqWtC?evR[G^SuaF|BkenO|HkSNAZLMg`hRhGXsyqETA{fXOpHvSKA\lLO`LRUGSStQC|A?edO`HhssQCTLw_fR^GHSvQAL?e_TOGf~s?Y?C~cf@NzHpR}a[LDKa~PTGoSWQIdF_a`PxGhS\qILCsarPNGlsRaJTCob`PJGvSZqHTEsaRPGGtsZAG|CObPPEGtSPQLLCCcLPBHCSOaO|EG`pPcG\SWqFLAo_tOmGMSJQB\@[`ROjGKSIaBL@OcBQAGJSDQODFg_\PzGGS^A@|?kcdOLHISBAQ\@{_NODGNS@aBlG{_DQPGAScA?\AK^zN}GQsH@~c~W^bNwFxR|p}C~O^ZNtFvr{p|tZGUVJKddQrXX{kyGjCUaIPDwbCPePxGzc\QNhF{bu_~O]gMsGICTAE`FOdgQSHiDDA]_JOFgBR~H~s~u^lNvf{R{x}k~Q^`NqfwrzX|{}ynOVLjftriw|[emPU|J^TmqwDZol~VAJ[ToqvT[ClrUvJ]tnAulZWlvUyJXtmQudZ_ldUljUTjit|ZEl`V^JStiq{L]?lTV\JTTiqzt\olRUnJhtkQylZ?mhUkJgTjayLYsmdVQIRTHqyD\ChJUaJrtgA{lYCnLVaJLTxArd]KkvVAJGToqpt[Ck^UJJ^TbQwDWol~VaJCtaa{d]KkPUDJjTuAo|\[kLUAJqt`A{|WKnLU@JqTwaoDV{nFVfI}txQnt]WjxTvJltuanDVWmrToJXTkqmTVClhTfJYtYQutZ[jPTeJjTuAkl\[jHVZIptuQkTUCmtT]JfTrQkDT{m^VFIltqQjl[_ixTKJhtRaylSsmhTDiaTOygTSAiBSjJmTJQztQomzSgJntIa{LQcn@VCILtpQbL[WgtS]JdtrAblPomTVKIPTGqxTQOmVS^JaTGQwtQ?mJUUJKTeQqdXSknURJNtcarlXCk|S|I{tNqn\RwjtSyIxt\QfdVOhvSvIhTTAfLTKhpSuIlTLQjDROirSrIitTqeLRGilSnIgTKAiLQwi^SPJQTCaslYKg`UeIEtiA`|Y[g\SIIJTBAa|OkgpSRI?tDQ_\POgDS?IvS~ql|NwjZRzIts~QldNojTTHH{TQq^TSgfrRtIbTQA]|NWiNSFHxTAQ]dO_ffRoIAt@a]LOOf^YRJUTjitlY}lbUofHrdXqcHiCvAXejRTXictEYdLReBRAH_{oeWVKIe?R?X_SoMWJKCivtZillUijXTjiBtAY`DOQgLSDhxs|I]TM}fbRolcejjT|jAtYZFlTeqJT`kYtPYilSupBSlkKtNZDLRUfbSdhstDYbLMUgRRdhws~Y\LOUdjRDh]shYRlIuoBQLhGuDZ@LGUcBVlhGt~Y}LGu_RRLgKsvYALLU^bRLg?svX~LLUfrN\fstBX{LOU]BSdiKrtYaK{uorL|fCuJZCKwUZBW|esuPXmLbUYRW\ekuJXiLaUXrWte_uPXeLbuVRVTd{tvX]L]UlrJTdktrX[L[USZI\dIq`XMkfuPrULcStfXELXUlBGTjWqHYtK`udbEth_ppYVKZudRElhOphYRKXuoBBD`guDWXL_uDRVlj{onY}KJUCjA\`Qo^WPkGUlr@\_ctrYwKDU@rVT_WtvWGL]U?rUd_StlWCLYu?BUTjKoDW@LWt}bS|^otLVzLQuiq~tionzYlJ~t{RTt^Kt`VqLVtzrTTicn`YgJvU[bI|fOqrXrKkUTBMldWrnXTKzUKB@d_wpdWpKEuNrDla{qBX?KVUIbK\aorJWjKqUaRDDg[pRYGKRuHROtaWsHWcLAuQbC\ccpBXGKPUFbKLa?rDX_KNuFBH\`kqZW\KeT|rFL^cpvVwK\UNa}tbonjW|JyUaa|\gknXVlLETyBPl]gs^VhLFVY?AC@I?b?S_HoDYT\IqdTQlhVsjiUDJIdbQfhSsiGcsQaHNOYgMSEyA|@e_p\{N?v]roTvg{@\zM~V^Bn|vgzz\pmxv[jmDuyz^\jMpVWrlluOzX\gMoVYbkLucy~\\N@VVboDto{B\XM}vUrnttgz~\sMjVUBmtvSyn\PMzVSbmdt?zj[wMzv]RfTrczp[tMzvLrnLrWzp[qMuvLBl\rKzX[pMtVKBlDq{zR\pMRV[rdDvGxN\mMPv[Bclu{xH\dMCvXb`Tu[wP\dMAvXr_|uWwLZQlhutJXdkyuZ[|LrvNB\LrkvP\LMFVRr`|sww`[JMdVBBh\osyX[CMiv?bidoKyf[@McvQB^|o?yN[YL}VEr^tpovzZxM_vOr^\sGvt\CL{U|bgln[yL[VLyU|RbLp_vfZoMGu{ba\nCwdZlMIVDb\|mwwjZiM^UzBgDmkx~[hLnUvrd\m?xT[lLmVJBZ\qwuzZWMMuubb|lcw|ZTMOVGRY|qGulZNLrUxRYLmOu`ZHLpuqb[LkkvD?N_EoBj~ox}\BM_fPRgxsdk}ubZOlcuqzXU?L?N_HO?wAC?T~|?L_?OAV~c?m?C~v^|O@w?b~d~w~p_?N|V~r~L~S}r^vNkV|by||P?N_HNjWAByl|L?H^QOBVsS?l~W}`^vNfV|Rx|yk~t^wNUVib~Ly[~v]gN}V~RtL{C~Z^?NvVnr|d}c~D^_Ntvyb{L{[}Z^KNavpbx\{_}D^INaVqRw\zW~L^gN[Vxru|zK~F]tNqvlB{d|o|@]^NlVfbz\xk}z]\NnvfBztys{p]YNVvjbrLz?{j]qNJvkRqtxO|F]QNPVcrsLxC|H]NNRVhRqDwo~^]MNwvbR}D~K{R^sNDV{bp\zo{L]}NCVnRo|zc{F]zNAv`BvS?m?T?K_DoAg@dc]qLXDkaUOjG]D`A^`YOgwUSIECpAv`MOmWRSJmEH@|``O]wNsK]E@@t_{OnWMsJ}D`@J`YORwUSCuAHAv_cOmwGsJe@LBB_TOpwDCKU@@A|`_OHWCSJ}?v?^_MoDwBK@UClAl`IOjwTSHMC\Af`GOiWPcIUBP@P_iOZWISEmAl@n_lO[wJCFE@|A@_`O`WGCGMBD?x_]OXwKcBmAx?r_oOLwJsBU@XAF_WOawDsGdYelVUiiGtCiaDOug^SMmOVGjcLpywz[^pPggKSQIVDGa`pRGfkTAH~DMa\pLGhkRaI^CuagpPgekSiHrDGaZpIGgKQqIFDCaTpGgf[QYH~Cca]o{w]{NUFZBp`voxw\[MeFBBd`poqG`[KqG^BIaEp?gcKPyGBC[`~pKG^kRIFrCm`|ouga{PiE~CW`mpCGYkLaGjBUaHp@GX{OaEfCE`gpmEcJQThEntV{j|t~Y~|^ynXVljttyY|T]a|x]}n]vmZv\zjCB`~p?W^[NuFrFlbspyw{{]MNJFQbkptGy{\AMvFKbmpwGx{\yMVFabapqG{k]YMNFgb^pzGw[]iMBEwbmpwGv[\yLzEybjpmGz[ZqMrFOatptGl{\IJZEsbTplgs{ZILREsbPpkgskYALnEHbDpbWo{WUKFDobdp\Gx{VIMZE}akpVGwKTiMFDQbapqGi{TQMNEUbWpjGrKXQL^EMbLpfGq[XyKbDyarp\glKVaJJD]a}pWgoKUAJ~Hk?G_Co@w@C?]?RSXiLtEibdPygzS^iOtGIcTQQhF[GmDVAZ_|oYwJZ]loUvzZdlmuzdFQhxScgmSXIbdAQfXPCiESLI^cuq[XL{fMRnHtdJQ[xRCf]StHtdGQZXQcfESdHndDQWXKcguRDINdBQVxJcgeSHHZcrQUXIcemRPHVcfQXxISeeQ`Hjc]QfXGCiEP|I^c[Q^XEsfeRtGzc~QKXOCbMSDGtdQQFxCSi]P@IbcEQcXAChUO\IRcDQexQs_]SpGHc}Q?xNS_URpG@b}Q_W~sgMNtH~cUQQxHca}PTHHcQQOxDCc]PLHDcHPzxAs^MOhFpbyQEW~C`uNlGZ?O_HOCWA[@U?h^yn{v}J~\~u~x]KnFVbZpLwm{TeZRRxeSsuXhLJeURPXdsseX`LFeSRJXdSrEX\KfeXRGXesqUXhKbe@r@X_{n}VzK@eeQ|xhsnmYTJxeaQxX\CseVLLFdYRNXfSjeXpIvd^ROxfsjuTtL@dVRMXUSruT`Kze^QiXgSiuY@IjeIQ{XbCnUWlJrdtREx\sp}VXK\dnRBxaSmMV@KPdlRAxZcouUpKHdbQrXYCkmUPJNdhQoXYskUUhJBf`Pkwu{ZTuUzN\epaWpkWmKFEFbAp_WnkV}JnDza{rqH{[}A]ZNIfqruhxk{a]~N[fdrnHykzy]nNWf_rshwK{y\zNOf^rVHx{uA]fL]fgrohq[xY]NNCfIrpHpk{I[bNEfFruhn{|yZvN[e}rwhm{}AZrLsfqruHkkuI]nLefirfhu{yI\vM_f[rfHukxa\fMYfWr`hskwi\RMGfRr`Ht[wA\^Mkf@rThl{tiZfLWewrSHlKtQZZLiehsU?@G?s?U?H?E_AoBG@[?jM~f]roXK{emRRFnbxp{XE{bmPrGrcWqLW}k^eNnLnexr[XlKuuZVQGgssbIKlGibNP]h@sWiO|EAcJP{glsVIOLFyarPugqs]iLLFabNPigjsSiL|DQbZPQgtsTIL|DYbZPMglsSIJLDqaZP]gesWIILEIa^P?gws\IGlFIaFPsg]sNiMLFI`vPEgSsQiDlCa`VPGgQsQiC\CY`NQGgJsEiPlGi_rPugGs]iAlFa_fOIhFsBiQ\?qcbOChJs@iRL?acjNwhIr~IRK~icnNqhFr|iQ[~QcbP{fur{IOK}yb~Neh@ryiO{}acJOsf~sMI?\BY_BO[gVsKiCLBA_~PFgdsQYHlDEa^PRgjsTXVKjUTnIzd^qnYcdPehPS\iRTEydDPUhLSRiQTDy_DP}hDSDi@TGY^TP}hDR~h}TGYdTKUh\RFiUSqYdTJ}h\RBiUSoYVDR]htQ|i[SmyeDJMdlSthYTKyTdREd\SrhWTLYRdR]c|Szi[Sey_tNUfpSJhzTAY`dM}g`RriFS{Y\DLuf@RlhtSvy[TL]fLRZhqSuYYDI]ehQjhhSiYXTIEe\QdheSgygDWuh|UNi]TayqDVMkhTvjHT\YrDVEjXUZjJTZyktVejxTji|TYYoDUMkDT`iqT^yiTTui\T^igTUyidSeilTJikTRYgTWUiLUHiaT`ywtZUmTUxjcTlyttXuldU`jWTfytD[ElXVDjTToysTZmlLU~j]ThO?T\ymY?EjpTsO?d]Am^VQ?@TuYyo?YmzVS?ATu~