CAT(2880,1)

Sparse6:

:~?l?_?O?G?C?o?L?G_Bo@G?k?U?J?C_AOAW@[?i@E?a_POGgD_AY@N?h_TOIwDCBA@X?p_VOJWD{AM@H?d_PoHWCcCO@|@@__ONwG[CIAH@D_bOPwHKCaAk@R_goSGISDUAh@I_eORgH[C}AZ@c?moVgKKDqA~@__p_VWKODqBE@__p_VwKODyBC@`_kOTwJ[DeAl@Y_sOXGKkEYBR@f_w?YgMOEmB[@r_y?ZGLgFUB]@p`F?]wMsF]Bp@x_|O_GNcFuB|A@_~oh_OkGICHAB`Bo`gPKGaCZAJ`EOagRCH]ChAX`IodgQSG}CbAR`FOcGFsCIA@?~__oOwIKDIAf@O_ioTGYoK]EHBE`coqGWkK]EHBG`aoqWWsJyD~B?`_oowWSJyEDBB`_OoWV{IYDRAg`RoiwTSJEDXAm`WOjwTkJiDpAx`]OnWV[JIDnAs`XolgUkHuCxA^`LOfgR[IQDBAa`PohWSCRW@t?{_[OMWFkBm@z?w_[oMgF[Bq@f?t_YOLwEsBIDBAa`OOgwSkIQIgDGacpQwhSSuIXC]aOpGgcCP}HFCrAhpR_eKRSI`CsAgpRoeCTGHdCiAePIohCScHXDLAUpQ_d{SkH\DBAfpPoi[SOI`DDAhPO_hsSWIbCya[PLgfKR]HvD@a]POGf{RuH|CbAQPIOcSQ_G|C^ARPGOc{Q?HJC\AYpKobCPcHdCpAMPL?bSR?GvCUA]PC_fsR{GjCSA]pO?a{PKIBBN`eOrWX[KiE\BR`hOtGYKLAEjC?AfPRo_[T?GJC@Ahp?_iKOOIdCi@|PIo^[NsHXB{AVo~_dsN{HZBs`zo}G]sNeFjCR@vPDO\{PGF`BpAIO{oasNGGnBgA`oyOgcMgIJBjAbPO_\kMoINCw@pPLo[[RWFHCx@qoxof[MWHtB[AKov_bSL{GvB_AKPFO[KLsGxBVAQPI?ZSL_HJBUAROuodKLcHNCJAEpA_`{OcGXCOABP@o`sO_GbFT?MOFwCCAE?z?]_MOFWBs@}@B?_bz?JGDkAy@^?p_WPDwakPYGhCQaHpFgb{QAHBCbaPPIWc{QaHHCdaROOwFsCI@~@@__OSGIKDIAf@T_iO`GOSGUCFAF`BObGPCGiCVAL`CosGYKLIEhBR`ioswYCLUEdBP`iO}w^kN}FxBy`~OxG[kM]FLBa`poyg\[MqFZBh`sOtgY{LaErBY`lovWZ{MAFBB]`mQY`ICdIQjHPchqTHICdIQbHSciqSxJSdaQvHUckqTxKCdqRBH]cmqVxL?eQRQHdcsAWhLGeYRMHhcsAWxFkbqPpGyc[qMxE{bIPfGtcZQLHJ_bIQyGrcnALHKGbYQ}GvcoALXECbEPXGlcVQJxCobyPMG~cSAOHDGcEPUHBcTAOhCcaMP@G`cQqGhC?cQPAHDcbAGhGwaMPIHHccAHHBOd]OwHXcLaUHBgdiO}HZcNATh@s_}O`GPcHqCh@k_iOVGHcCQBHCo_aPMGHcTaBXD?_iPSGJcSaBG~__INyGBcA@~h?g^}OKG?cBa?W}obeNmGyc\`}hF_^mPyFwb{aMG}k^EN`Fqbxp|HJO]uNSHXck@yw|wd]N[HUbuAUxHO]aNMHJbsaRG{wcuNQHNbsARhHO]qQWFlbvAQw|Wc}NSHLbvaRhH?^QQKFtbwAPW}GcQQQFqcb`{xGG]ENEHAc``wg{gcANKG}bqANxD_]INEGmbqAKW{gauNKGncW@wWz_`UMuGSbmaDgzo`]N?GXbnaEGyo_yO]FVbkaCWz?`IOeFTcG@ugyg_IMkGBbkA@GzG_UOMFVblA@gyW^]MeFubi@}G~G\INuFQb|@tHBOTiOuD]cM@VXBgTmI}G^cN@VGvOeQL{Hdb\aWgv_eYRME~b]aWwtcYuLVEhbSPigsOeILEHbbQAXGsgeURMEfbRAXgrcXuK|E`bOPfwq[XUKbEObIPcgrCXmKrEYbJPdwo_dAQaEDch@`xI_WeQiEEch`aGnsV}K@E@b@p_hJ_VMQ{DsazAVWmwd}JiH`co@[gn?`QJuGUa{aDWn_`aJyGVa|AEWlg_EJ[F|aw@~w~oVENwDnauA?Gz_UYJSF]ar`wGlW\}MyDgbl`YWkkUAJBDaaqPWwjKTQIjDWajpTgvG[}LgFKb[@sGxgZUMaEubZ`rgu?[eL[FFbX@qwuG[aL]FEbX`qgw?WiKWF@b`@bWpW[MMIENba@bgAk@U?l?V_JoDhqo@a?p?X_KoEWBC@i?v?Z_LoEgBSy_MdFSbhpxW{c]ENFFebpPxw|C]eN^FibvPzW|c]mNfFpbyP{g}k^A@V?i_RoHgDKAa@N?e_SOIWD[Ai@d?t_XoLGE{BYAr@W_jOTwJ[DiDXAl`VOjwUKJADpAy`[onGVkJmDlAs`YokgU[J]C|AZ`LOfwRcHuLPEhbTPiwtcYuKdERbIPcGqkXEJdDrazP\wmcVUJtD|a{p]wnCVqIhDTajPUWi{Ta`KO_GLSGaB\AK_xO`GMsFqClAO_|OSGDsEA@D?c_jOIGJSBQBL?o_nOSG@SDQ?d@[_LOUG@sEQ?|@__JNuGFr}QAC~k_bNyGHr|qAS~__\NmGBryq?[}o_HOAFurzq?s}g_JNdF}Rxp~k~{^HNgG?r~`|L??^LNQF}Rsp~k~w]hN~Fis?Py|??]lNKGFSBpxt@?]^NLGGrsQA[|?_dO`FbSG`x[{[`HNGGORqaC[{c`JMyGCSBPv\?c\zM{GDSApv{zw_XN]FTrwPuC|{\ZN_FVRw`tc}K\^OSFPSDPs[y[_rMeGJsD`sl@_\HM]GLRfABsx{_zM_GMSFpsKxs_vO`FQSG@sTAG\FObFQrhqCkyW`HMUFkRu`rKx[]rMZFlrvPrCxg]xNRFKrtprS|G[nNUFJRepyk|O[pMRF`Rc@wcxC]FMTFarc`wCxO]BL{FMr^Pr{vk\@M[E{RgPnKvg[|M~Ezr\`vSzsZjLqF\rn`m[zoZhMKEurZppkvC[\LmFFraplcv?[TLeFYrYpvKu_\lLfF[Rl@lKug\nMgEoRi@kKycZDLdFTRX@tSycZFL[FDrVpp{tw[ZL\FFRU`pctk[TLSFURTPtkykYlMmEjrUPuCy{YpLGF|r}Ph[~WYZNyEeR}@hK~[YTKoeWrLHekrIXfMQETRc@d[xCXXKnFIrJ`q[qs[hMpE?R?PuKoG\fMqE@rkp_kzGWHJ{GGQ~aA[ng_^OMD~q~QAKnk_dJmFwR{p]Km{^bJoFxR|P][~OVdN]DmQwPz{}?UzNbDnRw`Z{m?^BNHDlqt`xS{[UnNGDlQu@x[lc]LJIFeQqpxkk{]`JKFfQrPyKkw]^J@GNSFpWD@gT|I~GLqoaBckK_zN?C{roPN[f[]JNAC|Q]@wcfW]FNcDXRxPU[jO^LItFrryPU{}_TlIeFAR`PS{wWTPIiFCqippCic[NI_FYQgPukiG\lIbFZqh@vCiS\rIYFwQf@}Khk^dNrDMqfp}khw^hISFkQdPzKhW]tIVFlrvPRKh_]xNiDFrzpQK}oS`NjDFRzPQShK^\IAFAR`PO[wWSHMHDAra@O{w[SLM@E_RN@nsrsZ~K}F?ROPo[r{[DKxEQRM`csr_XNKhEZrMpdCqSXlKWCwq[`bKfKWtHsELrFPMCfSWxKQE`ROpa[p[YLLDEJRPpaksOWhJuEhRRp]kswVhJvEgQ}Pi[n_YbKKDsRBP\KowVTJjEFqzPaKmoW`HiDqQwpLsekVLJaCuQxpL{mSRZJTEDr@`YCo[UbKGDhRA`YcocUfIwENRG`VKjgW~I|EOQmpcKqKTxInC}Q_PUCfsT\H~DUq_@UKfwTXIGDaQaPWkggULIJDbqbPXKgoUPTi?CoAW@S?i?V?Ji{_FwCKAA?x?]_MoBg@k?q?\?K_EoBwAC@I?b?R_ITb_@{@A?h?Q_HoCXpSwy[ZMNfDrbHqcxA[bMQfIrcxssy]\DMdfQRgwbCPqGtCXaMpEwdsQiHVClaVpJGeCREHdCraYpLGHcCiAV@N_eoRgKsEQBN@d_soYGMCFIBf@p_yo\GOSGMCLAF`Ao`GPkGaCRAJ`DObGQcHaCjAU`KodwPsG}CbAR`HOcGX[KiEXBL`forg_{OYGVCGaDPAWaKOyGXCLaFpCG\sM}F`Bq`xo{W^CNQFjBu`{o|xLSeqRVHlcvqZhMCfIRfHscyq[XlcuuZ`LmewrZxksu]ZPLhetrYhhKsaYVLIeerRHfcr}Y@K|e_rNhesr]XpKxe\rMheCrEXdKreYRLXccqUXLKfeSrIHYslaUnJXdlquhVskEUDJBd_QnxVkjaTrIyd\qnHTSiYTVIhdRqiHR{hmSxI\dLQfhNcfyRzI?c~q_XPsg}S`IPdHqchPCgiSXILdDqaZM@eirLXjksUYZK|dorHX\KquWBJTdkrFX^KouVbKTc]qJXCk`UOzGtboqhW|KiuNbItb{qrX@KkUOBI|bYpnWwk[uMzFTa[r\WcKvUHbL|acr^WgKvuHRLt`wqtXZKNuVBCDdspBX^KPuVbCT`kpdWXKWUKRBD`gpfW\KYuFBEdc_odXHKHuQbAdckojXLKJuRBAt]SqXVbKcTxBH\][qTVaKctxbHl\oopW\JmuEQzt`gm~WZJouFA{DcwmlXPJltuRIT\_qfVYKfttrID\?rXVPKutsbLl\KrZXkJiuZAydeWmTXfJduYAx|[orRVMKttrRLTbSl~VBKXuKAwDbCl|V@KYTobET_OlxWBJ]tmB?DZgoBUxK@U@Qv\YooLUlKBtjb@DZCoVUnKDTkB@L\{lTV[JRTiqztY[n@UhJotvQtDYKrVU`KsUXqsTYOrTXhJQtgBKtY?qhUdKjtgrJLYGqjUcKjTgRJDXkkhUTJMTdarlX[k|UWJNteQrTWyk^UOjGtcyqTWkpxUJK]tbRFtWoqBULK^tbBGDagkNWnJCT`bD\Wgp\UDKUUJQpLV{oLUCKDT_B?|WCoPUAKDt_r@L^kjtV{I|t~Qnd^wjzTxJ~t}ant^SjfTsJzt\Q}tVWnhVxI{T}Am|^?j`VpIwt{qmT]wjdVnIwT{amLUgn\TjJvtZq}\Uon`TmJxTZQ}LWWnRUIJttyApDW[nTVlJAtaQ|dWCmdT~JiT_ayL\?kHUBJit_Ay\[OjrVDI~Tpan\[[jzTyJctqAndWwktUZJHtbqrdXCkzUQJNtcArtagcXQLKTsbbDdG{pZWnHGscBDtT_ldTXJXtUaudTkljUvImtlajdZwidTSJ^tTQwD[CinTRJ`toaitSomlVXIetuaht\_i^VZIgttqiD^OiNTIJztQA}lScnlVxIbT}Ah\S?oXT@KEuBqgT`CiFWMIauCAgdUghtTjI\tZafdRsjXS~IutNal|^gglVzIJt~AbD^sgrV~ILt~abTPCl^UkIGTCauLPKl`UmIItjQadOkjJSIIrTBQk|OojHThIFtBalDOCrJR}Kos~rKTO?rFX_I@t?bKd]GfdVbHxtxA]d]SfjVfHztxa]tMoplRlK[ULq\tM{prRpK\s{BFTUce|RYIqsvqktLkjNR[IsSvQkd_oe\RNKEuBaYDLGobWNHhssRADdGeRXOHeSqBHtKgq^XRHeuSQX\J?qFQpKaUPQUTc[dfQtK`UPaUdIgjfTsHTt\QTdVWdZQnI{Sjam|H_odQXKHsebAdHkojQ\KJsfBAtG[pBW]HCSaRCDGWpFW^HDsabCTEGnPPbJssXA|TEWnVVlGqsXq|dDwo@P^K@U?qJlDooBP`KAU@QKDDWldPVJXsUQulD_lhUvGltlaJTY[aTPJJSSRAtLCslLUjGfsRatTCOkrUUGbtdqGtCSkhUWGctdQHDB_mTOxJdtrAFd[w`zVLG\trqFT[S`hOuJbtpAETBSmLOvJctqAE\Zc`\UwGVtmaELZk``OkJ]sJQvdaO`LWdGRuHaDDa[`ROjKSsIbDDQ_hDSkIPtIacdQkhJSfIUtIQctMSfxR_H{SwQ^LMGftR|HqS}q[\LOeDRTH`spAYtKSenRFHkspaZDPodlS\HZtFaVDJcg~QzIOsmacDHGh\QRIVsdAeDHShbSrHJtKaQtTwc@T^H?s`AkTGGj@QDIps_qkLOcbxP|IAs]a_dOWbvSFG~tAANtF_fLPvHssyaMlMkblPxHrsyAMdIOb\QdGvshaMDFCdRQgGxshqMTHwbPQ^GssZAS\I?bTPlHPSgQL\Joa`Q}GhSnqI\K?ajR@GiSnQILRO`|P?IYtLaF|CChnPBI[sOafC?a?N?F_CO@g?tUQjJTeirtYIlLVEj`Tqixt\ImlVYjnTwjDtbYpcCYAH@F_aoQWHCF]Bp@x_|O]wMsIYDVAf`SOigTKHiC~A[`MoewRsIADHA``POhWS[TiIvD[ampVwjsXYKnEYbLpeGrLKEd|Q~h]soIVeE|@v`?Oww[CFmB|B\`rO^W[cFeApAx_lOnWJcJmA|A~``OWwWCEEAXBP_fOswICLUAdBV_jOuwIcLe?x@v_NO]WCCFm@D@|_RO_WNsAUCS~J^hOcWPB{d}\AR^gObwPb{tzP@d]tOXwLBuuBW|r_vNZwLRvDy`@p]hO[wMbteB_|T_yNUwMRt\xhAT`KNJwRRrMCw{p`NNJVesH\vdBX`gM{WYrn\vhBR`lM}v^CLUAszX_nMuvZsDtv@@b\pOUVZcEDtXAP\WOcvUSG}CSyj`CMjvTCGuCGyb`BMhwOriTt@AD\MO_vRsGME[yV`aMcVRSKuEKyR`cMeWXRhUDSyL\BOiVPsILsHA`\DOhVPCI]D?w|`PMNwSbcDqDAf`TMPvGcIdlPBd`mLgW[rYUFCubZTOvw[BY]Cgtp`JL[wRBV]Cstx`NL]wRbVUBOtb_uLWWLrT|ix@f_tLUUjSETilAt`ULRWTrS|idApYgOluicJME?s~`]LMUfcKLhlA~Y\OmUecJlhPBDYTOpudcKdh\BJYXOrueCKuDWs\YQOlUcsI}D_sb`XLGWUrP||t@D_cNlvvCCD|`@J_`NkwGrzT{X?h^FOIvqCAt{d?n^JOKvqcBE?_|t]zOCvnC@Tzt?V]~OEvnc@dyw~x^|NVvkB~tzC~~]rO?vkc?Dx?{x]PNMvcbrtxK{~]TNOvdBsD~?{\]NNyVab}L~G{V^tNEV{rpl|wzL^^MrvwBlD}CzR^bMtvwblTwOz@\bNAv`rkLwczD\dNCVXBot|Gxl[wNiVLry\rg}j[xNjvMrytqozj\qMTVJrmdvKxV[lMzvJbmttgxH\ZMQvHrj|toxL\\MSvVbdD{owd^LMHvrbad{{wj^PMJvDbyD~WwL^vMBv}B`D~cwR^zMDVAr~TngxxZzM]u~bgDrwvzZ~M_u~Bf}@wvnZwOLWEr]dnT?x_^L{u|cBlfCvPXqLsuybM\mkrhZlKwUzBMlmGv\ZbLvuxB]DmSvbZfLxuxb]To?ux[@Lmv?bZtl{wFZ`MAuwB_dlWx`ZVMWuuBeTlcxfZZMYuubedkh?DZJO@urC?dkt?JZNOBurc?tvwuH]?LbV^rWlwCuNZHN@v_bXDjw|DZ?NRunrs\kC|H]eL`vhRWT}gtdYuNvukr|\jO~XYvNuulR|tg_t@YHLOuabSlgktDYLLPubBSdoosD[OL@vBrOdg[w\[PLAvBROtfw}DX~N_U_RwLfo}FX|Nau_Bwdp_rl[XKzvEbNDpkrr[\K|vFBNSKiEVBL`forgXcOAGBCAa@p@W_cfYRnHwc{q]xNTfMrhXokxU\ZMLm}v`Zplxuzj]TgasRYIlDubZPdfyrxY@k}u^zOE[XLueqr]Hk{vIZRLieyrZhn[uqZbMCenrUHn{wIYvL[e}r`hk[wAZBKseerLhh{raYbK}ehrThf[tQXzLKbwrRg}[^QYbFuehrTg~[tQNrLIeQrPhc[saXBL?eRrOhb{sQWzMGdMraHRKwiTFMIdNrahSKwaSvH{exr]hMkfaZrHyezr\HM{fyZbHOe}qShn{wAQjMAcjr`hJ[wQQrFceqpxhk{]aZRLibtrZg|{uqNZL?berOgx{sQMbLEbhrQgy{saMjL[bGrVgr[tiKnLWbHrWgrKuAKjCme^pHHf[QYXrKsaSrLgdkQiXzHadqqXH\KmYRNH[doqyhJ{mIRBHKdxqRh\knYQRJscdq{HGkmyQNGkdcqsHEKbYUVJQcXqrHEkayU^IAcKq_HBk`QSNICcNqEhPK`YSVF?eGrCgw[paMNKSbapqhb[[aWnEsbkplgz[ZaMzF]b\pwGvk]IL~KCbVpih`[oYLZEgeCrBGuKZIW^E[d{pfh^[oILJJ{bOr?Gs{nyLFECcCp`h@[WiO^EGcEqCGp{WqOfDycwqYGnKeiJzHka~qZgo[WARfF{aup~gl{VQONDoc?p\h?[VIOJKgaorIgk[qqJJKmarrKgl[rAJRD]dSpVHTkiQIjIeajqjgjKTiTVGeagqHGi[aAIRDIcTqIGh{aIIZIoa]qkgf{jQIBIua`qmgg{SQTrCod]pKhV{RQUBCud`pMhW{RaUJCWdEqbgb[hAGzIQaNqdgc[hQHBJSaEqtg`{laGbJYaHqvga{lqGjBsa?p?g]{OQFrCE`|pAg^{OaFzGw`tozHF[MyPzBoc^qOg\KNIQBO[i?sFi_\AAgJOaiBsHi`\AQgRR{hvs}I]LNYfZRihys}i]\Maf~Qwg}smiN|JqcBQ}h@soiO|KAcJQ_gqsgiK|IQbRQegtsiiL|IabZPKhUsRiT|DAdbQsgjsliI\DQdfP?hasOiW|CQeRPEhdsQiX|CaeZQGgYsciF|Gi`nQKg[sbiFlHA`vOggksIiJ\Dq`ZP]gVsKiK\BAbBOMgJsBIBL?Q_bOEgHsEi@\?a_jNwfir}hy{|a^zNYf~rvi?[|q_BNGgws[hx\FQ]fPyfgs\hx|Fa]ZNCfurzhvk~A\~Nqf_rph}{{I^jMoforkh{[zQ^JMufrrmh|[za^RQSfQsdhs|Ha\RQYfTsfht{yqczRefNreIZkxie~R_fMswhs\MQ\BMUhgsshp|LQ[jMKhjsuhq\La[bUiiItiIa\OqlZSMjVtDiu\PAlbVCjMtoisl[YlFVGjNthiwL[ilBU}jFtnIo|WQljUKj[taIv\WilnUOiitcii|XQirUUilteij|XaizS{iutNil|SYjnT?iwtPIm\SIjjSoiotKik\UQhjTeiZtMil\RajRSci{t]ic|VqhRT}iTt_id|WAhZSWictEih\PqiZTMiNtGii\TAhBW[kEuDJ@|`yofWUkCuEJ@\`iobVojet}iyL\QnjVqjftti~L\InnVkkBtxI~l^ynNWAjvtyJ?l]ioBVWkOtujC\\qpJV]kRuIi{\]ApRWkkguJjI\bAqjXUkXuUjE|dapjXCk[uPjF\capzXIk^uOjH|cAqY?AkmUYO?TdyrVXk?AUWZLo?QrFXq?BUXzM??YrJ