CAT(2480,2)

Sparse6:

:~?eo_?O?G?CBW@j?s_[_MGDsA}@`?p_XoKgGOCEAG@?_`o[oK_EeBI@f_r?YGKOEiBE@m_v_WWLgD}B?@k_n?YwNgFqB}@}`?__GPoDMAh@Q_jOTwIkDaAt@Z_mOVWJKGwCDAC@Fo`OQCGKCbAF@HO`_Q[G_ClAI@Jod?P[HSCZAX@EOaORCCwCIAJ_f_`oPCCoCEAL_e_`_PSDCCWAA`A?S?PKFCBw@F_x?^_HKFGC?@I_w_P_OKF?By@G_w?^oH[KgENBC`cOqWWsKUEkBP`hOsGY[LUEhBa@novgZcMAEzB`aE?y?\sMoF^Bh@wO{_\kNKFVBp@tO|?^{N[FvB{@{O|O^SNsFlB}@{p?g_KOUG@CBaAP@gboOiGNCGAOPAw`GQIGzC[aK@HGb[PcHNCYAQoLWE{Ba@l?x_YOPGGCCUAB@A_`oOgGCCEAF@D_aOQ?[kMWAR@E@poxoG{MGAV@I@qOQ?^SCWFvB{?co~oH[NsATB}?boR?fKCwHl@LAZoSOfSC{Hv@OA[OYgL[EqB\@n_uoV_\sEGF^Bp?oO{oJ{NGBB@b@wOn_LSK?BXB@?toZOV{E{EF@m@`OTGIsDUAd@V_hoUgJCDeAv@\_mO_gO[GQCJAF`BOaGPKGiCVAL`EOgwSCVcDBAa`Q`]wS_VaCnAU`KodGRCHUJW@v_{@ZWNWVAJ[@u_|@[WNGU}@F?f_QOHgCSAU@R?g_UOIwDkAi?`?SbJ?CWAkXc?dEV?HoEwAs@]?r?W_LPgOB{A?L@E[?MOFOr{ACKzE]?NOA_kK?kJJD_?EOBOkSUK?^?MAqOv?BcLw?|B`?MovoB{ACEz?_@oO|_@CNO?NBt?Bo}O@KN[?RBw?COLoFsBk@j?u?\OMOF{B_@z?{?YOKoB{A?@^?[?XOJ_BkAC@`?p?NO@?DSAo?H?j?AoJO?s?W@R?D?SOA_C{AG?Z?K?QoBoCs?k@F?M?QPJWdsQ}HTCkaTpw?z{\yNEFabt@yW|C]]NHFebqp|_}K^QNjFobxP{we[RUHhCqaWpKGZCLeEtBU`jouw\SMmFXBg`sozW_{OmGLCGaDPAWUSJQDfAt`ZolgVKJiDzAw`\onGVkJmDtAx`[OnGVsKME@A~``OoWFSBm@z?{_^oNgLCEQBN@e_soXWKcEUBL@f_soYGJCDeAt@Z_moVGNcFyB~A@_}o_GAC@E?j?Q_IOCwAC@E?d?R_IoDGAs@a?n?Y_KoEwAs@e?n?Y_LoEGDCAm@T?h_UoJG@S?u?X?M_FoAxPOgaSRIGdCqaHPKQ{RLCiCpPIpK[QoRHHfAUpJ`KkeMRNHdcrQXHKSgGQHIBCaqP`OcccSLHGDBqPpOkb{RxH~C`QN`OCfsQBI@C_Q^`G[aWPpGfC[qI@FSbsPRGzCTqN@DSagPHGhCPQHPD[a[PFGgCOqH`CC`EO^GMcHqChACfgOFGEC{Q@PMs_[RrGCCzq?`N[^[R`FwCwp}`Mc^cRdHtBzQ[o~[]kSJIABuq_o|c]wSHFnDBpy`OsdoM~H\BnQW?{CdwNBFbCoqVo{S`sM|FbCLQEo{S`oM~G^BoQF_{K_{NRGPBrPxPA[]_O\GOBrpx@AS\sNZFmBlpzoz[\sNVF[BtPv?|c^?MPFpBdp{_xK^KMTFFByPp_}k[?Q`HPB_po`IS[KQfFCCiPpPIkYILFEcbRPhwskV_NxF|A|P]O~sVkN~D|C?p^@?CU[OrDeCJqD?lK`SJPDjCJPY`BCbOIvGqAlQLOjcbWI|D^CZqKojkf{I\H}AgQ^Oh{TCRxI@AhQ_?i[R_OTGJA\pM`@cR[OPCxCEpL`@KSKQlDACkPP@I{dcINDDClpP`JSKgQ`HP@eQS_XkdKEVHT@fqT?XsLKR\BSCvosPLsLSR^BQCvos@LsLWQZHI@kQQoY{LkQXBXCfqR_ZSLoJXB\Auov_lsU{FBB_AwovomCbOFFGr@pQLO[cM[PnGu@qox`ESM_L\En@tOyOuCMkLbBlBXoz?uSNwOBB~B~p~?^S^sFvB{C?O~O~sbwGLCGC`PAPF{OgQ@CJC`p@pGKOsJdCKAxpB_mcVSG^DvAGp\_aCKcDrAy@aop_VCJkENA|@aOn?XCuGRfHqepA[XMkuSR`HsEpq[xMkfARbHscxQ\hM{fmRrHwc|Q]xM{faRrHuc|Q^xOKfqS@H|c~Q_hO[gQSNIEdAqYHL[eeRTHlcuQYHLKeuRXHictqUHJ[dYQnHYckqWXKCdqQ|H^cmqQxHsc}QTHKceqPhG{cQQPHDccqN@oCwCPpG|F@QMPo[wSPtGzFAQKXDcauP\GncWQJ@nKbCZhGoE{R\`Dkv[P^LtCVQEhB[`qOzG]cNqGHCKaUPFGacQQEHAs`QOjGXcJr[p@[vGOTLoCER[P@Cu{OZGHEvQ@PqcxSODMQC@q@@qs_W[nGFFHpxG{g|iNLFfFmPyXzo]aN`Fqbxp{W}k^QZwFue~@}G~Wv}NqLyb|B^XnW^]MfFSbjPtwyk\IMpFWbkpugzK\iY{FSem@shjg\UMeL^eo@thkG\]MZFKbfprgyK\ALtE}b\pnwvcZuLhEwbYplgvKZ]\aEjfX`iXugYiLWMqbUblGt?zAKnEUbKPewrKXi[WE^bMBbXpoYA[aE]bObcGrgw}K\EIbFpbWp[WqK_LibGbYxl_XUKcLles@cxlGXQKGMcbAbhXsoWY\MEFfS`aXt?WaKEMXb?BehrWWEKCM\fM@^hr?V}J@DdaopWgkcUMIgNkaibzWio}yImNnakb{Wj?~AH`CpaXPLWecRM`sDGaccMwh`B}ISO{aecNWhXBy^{C{f~`NWfx?AH{O@a_c?wg@?IF\Bn`wO{g][NE\wBsf_?}XvgNU\{Buf__}HvwN]GAMIfB@@XpGOQ[OC?fD`?xowOIGcNaaIbxGao}UGeN`fo@Dwa_}MHLCfaSPHGdKQUGpC\aKpEgbcPmG{OcaOCGgcHAUG}ObaPCHwcXAYDhAq`YokwU{JYD{Nqfx_oX}oKI^gB?fz_ox}gJ}cHQAhBs_yOlGYblPwg{s]yM|Fib_PEgwcPyMPCabiPIgdc[yM`Ce_qP\gkCEiJH@m_kPYgKCVIAxDmc[OChFc@YQ@?YcaOFgCccyQP?a]ONAfcboxxO{Q]YNDfbbqxx_{Y[{OKfNcBy@gyE_[MbgDBgi@WyAcgLWejCdXjHHYYsQVhKBTyRGtmKdEPbHpdGqkXAJ|EAa~p_Go[WEJhDqaxp\Wm{VYEVBL`foqgXcKyEbBO`hOtGYkLMDdAr`YolgU{JQA|@^_oOWWK[EIAn@Q_jOTGI[DUCtAZ`MOfWR{HyC\AP`FocGQ[HI?P?H_BrThi{taYtLXelrVHjktyY~L`eoQ{H]KnIVjJsdxqexQshiSpIXdJqbXPSg}S\IJdETBq^TNkg`R{IHTCQ^dPOftRzIHtBq\|Mwg`RqIHtCQ]LN?gdRrIISvA^lLwg@R\H~S~qZ|MCgDR_I?svAXTL{eXR]HfSvQX\K{fBR_Hesw`kTMKZFLcHqSxPklM[ZNReErSka[TJKfFQsHqSxQUlM[dnReHZTAAO|O[cJSEHAS_a_lGKgHQEI@s|QN|NWb|RsH?s^A]|FsfrRwH?S[A_\FKgHSEGys[Q_lO_bhSFGxSYa\tEkf^PkHwSZQ]LEwffRqGvtAaEDOo`bSHGXtBQETA{gVOmIFTDQDDPW`ROjIJsIabDAsgtOkIKtEAC|AOgrOaIIsGqatASgtSVGRSEqWL@Wd|OVH^sEAWD@geFOXH`Ss@{tLC^NNgHhRyqYc}cejNiHhrxX{C}E^DNcfpsn`xtJ{]^R?FgSoPyK|KeFNQH`RrQ^K{cfnNGHyRqa]k{ofpNJHzRna\CzofRM|HtRnq\k{CfVN?HuSp@uCzKeRMpHarkaWszSePMsHbss@rtLC[~M`Hiss`s\LK\DM_HiSy@pdMc[ZRjFFSzPp{xCfTMOHuRSQZCtOelLTHksupi\LgYdLOHjsp@cDKWXBKaHarGqW{qSePKcHcsXAStESdNPeHSSXqTLEcdVPgHTSUAMtF[arPwGlS]QJ\FkazPyGmSR@lDDCZXPNEusS@lTCsZVPMEssLp}s~K`hOtFxR|AEs~S`pNvG[rmPwczW]DMvF`rm@wkzk]LNFF\ReqQKxocfQOFLSbprDGw[zQQFKrca?cxK_LMSGCSAPqkx[_JMUGBrT`lsu{YnLoEkRUPmKtkZfLYExRV@mctsZjL`E{RV`mst{ZrL_EzrRpt{sg\ZMiEdrj@hcywYZLMFTrPAGKsWaJLFGaSO@hDCGYRLDG`rNaTcr{dZQpE_sj`gCsKd^QoE`RMAVKrcdxKyH]rMqVDJgXzQzE]Rz`ecrW^bNkEXRzPe[}{XnKtFwRtPakp[]nNUEIRt@aspc]rKWFkRB`dcqsW^KmEGRJpaKrCWdKoEHr~``C~{WRO?EDRBQ?\?GWVKKG?r?aJsoKa~KCGoSWP_lEKWNPaEBSe`^dHkVzQ[D~SfP^|HwW@K@HNq{@oCnC[BJqF@R`P][nS[HJsF@sQp\|CWVTJjGbqzAHCmsaTJmGcqxaACmO_bJdGHQxqA\@SVROSDsSd@ZtHcVDQTDnqwQQsmKcnJ_HKQ|`ZCn[UrJxDlq}@ZSnkUzJyDmQs`zSlK]vJSFmQtPzkl[]~JUFnQrASCksdBJOHPSgpYLISU^QcDfSM`WtBoUPJJG\qqaFkk[`~O}Dcqm`scjk\JMeD]Ri@Vsj{\RMfD]ql`Tsj[T^IxDWQl@UKjSTfIwDXRE`SSpkTFK[DQRFPSkp{TNK]DRSA`QD?oSbOLDHQcq@{hS_\ISGDqd`TCicSnIiDKQipRKisSvIkDLQa`RcgkSzI]DEQfpPsi?S^I`DEtAY`TOmg\SKiEs~i^|Nug@SAi?stiY|LaerRZhlSryXlKqeVRMhdSayPDGucTQHhESSbO\DKsJPULBU`qIdg_ajPVLAU^QBlA?r|X~GNSFrOTACs@Y@GMR~BN[~_rrX{F|r}RM|fg^zNyK{U[Pp[wWrdMFKxraBMtfS[TXsFCr]hn[vqZzL}e~rHbS|i_XNYhETui`dDikXRYkETQpRPsk?sTJ@LDqobPdgcUFJCLEun?zK\iMpF[bmpuwpSWmKXELbFpbgksU]JPDhatpYgiCSyI^DQahpSWWkKaENBE`copG_COQGBCBaAp?gEKBI@\?n_XoKGH{CqAZ@M_gOSWM[FUBh?a_PoHgCcA]@JTyizt\YmtVajrZuLxu}b]dnSv^ZwLxU}R]Dn[vbYrLcUlBXlkctjZILZUqrVDkotnZ^LVujRZTiwuvYoLmUkbZtjCuzYTLhudrXth_u^YULgUebYThcubZSLFutRQDhOupZXLGucrY|hGulXxLbUobM|kKrpZFK|u^BWdkSrtXpLoU\R[lfGvBXrLpu\b[dfOvDZIKpuVrXDksrDZJKouqRKdkor@XRL[uTBVTdStvXUL\umbJDjcqnWeLxUHB]LaSvfZnKPuIB]da[v`ZcJxuwA}|mKnhZaJzT}B[lmCnjZ^JxT{RZ\^?uzVlLlTzbZt]{uxZ@JoUoAztkCm~Y~Jlunqzdk?mzVVLvUzAylmomlVWLvTub\l\cvZUvL`TmBW\ZcuHUyLatnBW|ZkuLULL]TbbVljwk^Y}JGTcbVdXCtzZyIvu|amDn[jbZwIxT\B]lncjfTKLftRRYTkwi\TJLgTSBY\S{ubSiLrUyadLQkvRSfLttJB[|Q_vPWnKquXbEDe[pbXgKXUYbEdecpfXAKVUIRGLagqHWjK`uPbDdcSpZXjKJuZBBD`crZWYKvUFBMD`kr^WPJruCa|D`KnRWUJuUDA|\`SnTVbK_UMq{d]Gp|VeK^uNA{lbsnBUjJ`tjAwdYsmJUmJbTjqw|Z?mPXFJ]tobHdc_l|XHJ^uQqwD[CqTUpJTThQuTYWlfUfJYTlatDYcljYHJKubartggktYJJLubQrdgokzVPJCTbAyT[{kNUJJhttApLWgm`UVJ@t_Qq\X_kLUAJITdaodXSkJU?IzT^qnTV[jvTwI}T]QnlVSj|TlKNUFQltUko~TkKPTYbCDUcpBWDIpu@akd_[jJWGIrUAalD_cjNTaK?tVb?\^{izT^K@U@AkDUCo@YbIguhAiTTKtJTSLRTTbSTTStBTIKGTPR@\SWoXTFKEtQB@|_wiRSxLLtMbRdhshvY]I]TNbSDRss~SrLRuiAedichjYiIZUjAfDikhnX|IUu^adtf{h^SqL?U_aeDgChbS`KktGbJTdkhFX[IQUVactdshJWuILtFBFDPwprS_KYuMablP{pnZelruyJ\LmmvTZSljUtzYlleupYBn}e`JOl~{sLYGlBg?ZHm?Kq\XNkgG@ZITdD?NVxNwv|A~d~Gnt^rJ|v|Q~t~Wnz^vJcv}AxT~cmVVKN|Trb~d[s~vU^jOGDYsLYH?nUcjPgEYi|TairTYimTUyfy@mi?_[i_gF[BpSJ@?TCoNdOzVLjmtt@o_xO[W?c?Y?JIsdYqlhVCjeTn_GOSw@CDE?T@P_BORwIS?uA\?N]qOTvkSD]Ag|^]oOTVksDeAo|h_lNFWJrpeAs{V_mNEvcCD|w|@\]DOWV`cELw\@d_tNCWLBpLwh@fZzOWWKb^|np@bZ|OXv?CEmBOv|^YMuv[Rz\|ozd\nNkv[Bztuw}z^@Nqvob{t}[}F^gNaVpb|T}c}J]\NevfbxtyG}`]^NfvsbsL|C|@^GM}v]RxLvw}V\zNeV]bxT{[zx\fNzvYB~Duc~r\jN|vZB~dug~t_TMowDbkTuL?n\cOKVXcBTuT?r_KMoWARj]?gyx_JMmvVc@u?sy~\WN]vUbvtzkyj]{MjVoBi|tc|~\MNpvvrhd}GyT^cMdvRR{D}CyR\BM~vPBoDsS{B\EN@VPro\wOyP[|OFvOcATrx?`_RM_WDBgLr|?b[vOOvMCCTrd@F[yOQVNCCtrl@J][MWVJbrDxgx^]VMTvJRr\qo{r[dOLvHcBdq\?z_]MSWGBdU@{xR]hMNvibcDqC|V[aNUVHBttqK|Z\NMHVBRiDowyb[NMhVCRidp?yf]PMBvdB`Doo{f]QMCvdb`Tok{j[@Mxv@RnDoWzn[CMzV?rmdoGzj^|n~W?K?M?I~~^ppbF|j}d~U~ebHnxGqJ|\}q~Z^mnwVzzyqKA}gb@nhgokWX|VEI^WpaFtzvTzVEq]unZwurvLz`Ep]bnQVhZs|ya|Lb_MZVKSZtrHE~[rPpvLS[TrPFB[XPeVEcXmKwwvbNMMWsRbuL?wz[RpwFEJaeNGwj[UmJg|K[aKZFIbGprGq[\IKnFMbFpsGqkVQLJDubSp]Gt[ViL^D}bUphgnkUaKrDibLpfGlkVILFE_avp[Gr{]aJNFcappWG|[TqNBFeaqpVg{[RaLzCyb^pNGwKRyMFDAbbpOGwkIaHZAiaVojGeKJAHnCq`XojgekTiG~DOaIpSga{PaIjCYakpFGi{SYGbDCaCpQG`[SiGZDMaHpRG`{\yGJCAbkptg_K\QFzCEblo~gzkNAKBBqb@pag]{WaFjBybAp`g^KKqFJBM`rosG\KLIFVBU`vozGYkHqLbEq`NplGSKZYDFEy`RpmGSkQACbCa`HodGckHYHNAYaToeGdKKACJBI`EoogO{KQCRBG`FopgP[LaBrBY_|ovGNkFyE~AA`po_G[KFYDz@k`YoZgU{FADr@s`^o[gV[gYQ~Hac}q_HJ[fyQrIAcoq`HJkcqRJHMcrqSHLKdIRVHUcvqTHLkcASRHAdDqPHPkgyQNIQcdqcHHKfaPzG}cyqMHM{fiPvGucwq[hEk^QPNFkcMpzhB{aANbFucPqHG}[`APRGQcTqDHDk`YP^GWcWqEhE[_qSrGCdNqdH?{hYORGMdLqAhRk^aTBFydPqhG~kiYN~Iic@qiH?KmYWJKGdpr?HZkoIVBKEdnrAh[klAVRJQdtquh][lQVZJWdvqth]KkQVjJEdzqqH^KnqU^JId|q~hXkkATjJAdZqjHVKjiT^I}dXqnHUKrAXJKqeRrIHekqiXnKme\rJHfKpaWZKYeFrFHaKpIW~KUePrDHcG?IYPK|e^??hh[s??HLLe`?@Hhw?YYLLRea?@hiN