CAT(2688,1)
Sparse6:
:~?i?_?O?G?C?S?H?C_AO@W?{?Y?L?F_AoF_@c?u?V?G_DOAW@C?e?T?L_DoBGDgAA?|?^_W_IWDCA]@m?c_ROHWC[AE@D@@?_OOGGCBm@t?{_]oNwFsB]@r?w_]?NgFOB}@u?|_Z_LGEoBe@o?t_XOKwEKBA@`?o_UoJgD{Am@X?i_s?LGEsBUC?@j_uOZWL[EuBX@]_mOVWJ{EEB@@c_pOWwKkE]BL@Y?toUOLcEsAv@g_soYgJCD]Al@U_kOTwJOEaAu@i_k_YWG{CaAR@O_goSgHcCiAV@d?aoP?K{EWAL@a?iOX?IkEKAf@L?noRoKKCwB@@@?mOOoJsCGAz?f_SoIGWOAQ@L?d`f?FgCC@}Es?`_PoGgKkE]BL@K_dOQw\wMYFNBg`sOxg[{LuE~B]`ZOlwVCJiDvAx`^OnWVcJ}EBB?`dOqWXCLUEhBU`j_wwZGMUEoBc`l_xGZ_MUFEBY`g_wgYWMAEcB``i?wGYoMIEiB``d_rwY?KuEWBM`b?rGWgKmEMBL`c?rgY?KiEQBN`a_ugZWK]EKB[`g_twYOLeEeBW_}o^wNsFgFH@z@qo^?[[FcED@w@aOooM{I]DPAh`POgwSKMWC|Bg@OOxoR{L{CnB]@IovOQsHGD~AS@_ocoWCGWEDAG@aO`oW[GiCVAH`EobgPcHCD|AN@]Oc?VkJWCBA?@[OloOSGKDtAz@Ao`?VKJKBlAs?yolOMcJ?DZAn@XOkOTsFGDT@p@UO[oT[EwCz@n@MOeoMCHcDHAY@ROhORCUC?v?\_MPY_DkAy@^?\_MOEwnwJ}EBB?_^oNgFkBQ@l?t_WoKwESF]Bp@x_}o^wNsIMDBAa`DoagPKYcKxEYbLpfgrkX}KnEWbKpe_rkXoK|EZBNpcgq[XEK\ENbGPbGp[WuKREIbCPeOosX[KJEWBBp[wmkVQJpDvazP]wnKViJzD}a}P[OrkV?K~DqBNPd_mKV?KhDqBIpb_lsU{K`DlBFpY_pkWoJXEJAtp_oncWOJ|EAA}p_?nKWCJtDzA~pX?k{UWJRDdAsPZ?l{UgJ\DjAupWOm{V_JFDuApO}G^SNeFwEF`}``WooNmIuERbG`VWqOTqIpDYakpTwikTYJADQai@WgkWTMIbDNagPQWh[SiI\DLaeO~w_CNyINDGabP_OgSSCJ~E?A_P__fkR{KHC}B@p?ojsU?GBD^A@PMgfcRmHnCxa[PKWe[RIH^CoaVPIok{QsJRCkAsPHopSQWKRCdBCPGWb{QAGLCCaApEOjsU?GvD^ALPd?bcXWG|C\BIpDgbCP]GNCHaCPX?aCUSGbCQArPCwakPQGVCKaDPB_mcVSG^CLAxo|G]SNMKwBo`w`egrWM}KmBkbK_zWr?MyHOCsaT@LgdGRUHCDBaQ@PWcWSQFQBt`t?|w\WNYRWDoaxP[WmkVMJhD{a~P^WJ{EABB@a_poXGGcCUAL@F_coQGI[DQAj@@_`oOg^CNiFrB|`}O}w^sOAF~DCaapOw_KOMGDCCaBP@W]kN]FlBn`wo{G]SNQFfBh`toyg\cMyFZIpDSQihTKiuTXIjdTaexTgheTWIYdHadhQghaSgIVdGQchQKguS^IMdBQ`XOchKSBITD@qd@OSfoSNH|DCqa@N[goRnIICyqapMsfKSzI]CyQ[`RcfORtHqC{q[pNCfER`HndNaZxSGfET?HocrQXxLCemRTHhcpaehRGeURGIZcoAbHPWeISSH`cma^hJwgAQ{H~buPyw|kdORVHhCjQY`IkcsQtHJClqV@HccSSdHFDGqP`QCbwRlG{CyqNPM{bmPrGycXAUxE?dqPaHYcpaJXKga}RGGmcSa]hD?faPMHxdNaHHCoiEPII_cOqGxCS`WTPIhCIqi`A{`IOfGScEQBh@kgcOTGJDBqa@@K_WTDGGDQQ@pS[_?QpG@CkqTp?S^yN~F|b|ajXTW^qNsIkco@|w~GeERCFwbxaUG}GdeNcHVbqaZG{weyNKHlbpa_W{_gMSCFabnaiHTO]ETQF_bmabWzog}MwIMbkA`hO_\YSIFVbhafHRo\QMiI\bgAhWyOi]MaIecm`qXJo[aQ}FFdQ`qhSw[qTKFJbea]wxwfqRyFMc~@oWwWgAMCH~dJ`nWvWhaSkE{dP@lWuwiQTEEucs@kgu_eYRMErbUPjgtkYMLJEcbSPhwsseoL@E`CvPg`LkbWQDGwCaQLpG[cgPTHHCUQQ@D[`kQ\G\CgQF@H{^?PhFnCYpz`E[]_OpGYBtPyPBK_OMtFXCApup?[[WQBFCC^ppPGC`wL|G^B_QG?v{_{LpGPB\QC?vKdKLVHPBTQS_tKY{NhEpBzPk?}k@E?f?QfE?BgAC?}?h?T_JODwA{@][u?W_KOEGDcAi@V?i_UOIwB[@u?x?P_HoChuo@Q?l?T_KoEWBK@i?t?YckQUXI{diQxHZcrqYHKsJiDvAx`]OngVkKmEZBK`bOpwWkKaETBH`goswYSLUElBS`kouGY{FAB\@n_xO[wMKFEBd@r_zO\WMcFaBr@v_|O^GN[FqBt@z_}o^wNsIeDPAf`ROhGSkHaCtAX`LofWRcHUClAV`BO`wPCGyCZAK`GocGP{GEC@AA`AO`WO[]qNZFjcbqPhGkcAQBG~c]QNhFkbYPnGwcXqLXEcaqPVGicRqIXDCaAO|G^cMqExBc`UOnGUcDQAx@K_MOJGCc?Q?h?K^eNpFvbbpqWxC[yM^FLb^poGvsZiLpExbYplwusY}LbEobPphWscYMLJEcbRPiGs{YYLPEfgwCXyLDEeaFPDgaSZqFlEs`~PmG^SMIE|Bea{OsgZCVyEhEA`iOvgZCMIFHBQ`bOrgXSGAJDACatO^GksZaBdE{_|PlGMsEaIlD[_rPUGLsIqBLAo_vOlGLSDYAd@Ma?OMg`CByGH?u_]OOgEcCi@p@E_SP[gECUy@XDu_SPDgDcPI@`CM`EOFgCcHICP?aaoO@glC?yJH?I`sNzg]B~YFW~q_mN|gKB~IAo~m_ENyg@B}I?G~e`CNqfyCHH}XAM^oNnf|B{X~G~A^QOPftcCh|P@A^OP_gnBxx{pD}aYNdgfBwyH_}Q^APifoCYyL_}I]~N\fnSK@zTA{]xOmFlsSPzK|[a`PNFkSZPyc|Sb^PmFjRsqK|Ec]bNQGsRsaGTC?]fP@Fgr|Pxs~W]`NvFfryPxs}k]`NiFfrqP}K{g^`NGFvrpXw{{Y_oNAgJbpIAo{M]CNbfaBxXwW}QbGN@f^cXhw@EU\}NJf_brXw?{q\lMwfZrmhvKzm\zM}f]RlAIlD[\jPUFXsUpuCzGazMpGmSS`tsy{ahMlGhriqIKyga^POFURhqHSy_aRPJFSrnAG{zwaPM|GbRlQFszK`~MsG]sM`vLBo\vOzF\SJ`scyW``OnFQreqD[xs`ZM[GUSH`uCzG`JMpGRsGPrT@{[pO_FKsAPq{xW_PMTGBrgQ?cyK_LMaGArcp|cxG^\MSFurhp{Cyc^DMgFortpp{xC]pMOFkrt@pc|W[\NTFErqpqs{s[nMTFeRbPscyW[\MKFQra`sCx{[VM]FCqz@~|??VTJjF~SR@nlCsZ~PME~R^@|svk^XLyFusXpm|EcZrPgE{SI`mcvW`RLtGSSX@lsv?bLLnGqrYpt{ysZZLkFVRYABsug_zLhGMRXPtcuW\TLfFTrW`wsuO]NNDEprV@zStw]xL\FlrTp}S~KYpNsEjRUPsKtk\FLYFPRSHiStE]yLLefbvxho|yYKMweaBlhggz]bGK~grBNiKgsA[KKzfCBNXowrqXoPHgdbMhfHCi_GKseXc@heP?UX]MBfAbKHeGwQaOKkeVCPxdhCY[UKhfDBIxpGqiXKM?eSB_hcwwEXCP`gpbGYKOqAbAKYgpbFIKOpm[EKUfAbDXa_wQWaOpeHCKxaXBI[?KJeEB_h`gwE[KKDfBb@xp?oYWCPiguB@H_XEm[}J~e?bgHrooAVwPiguA~X^pEmbAJxgpa}yKOniVmPSd{CSh]pDMVfJsdyrep]CxsVbM[DxRc`[{xKVRMSDsQvQC|ASUxJZGRQwADDAgU|J^GSqs`rSx_UhJRFKqqhXKkmUEORgIapYA_kQ^{J?f~aoY??kITsMNfGanHq?jm]QIvfdAmXx?jaTiNudZB|xU_~UT[NffsAkHTw}YYeLIeibRHi_smYEKue_bLxegsIYMK\ecbFxh?pyZaKGexBAhmWoeW[JdeGAxh`wmQVAL`dpbVx[OuAWmJUdibEXb?l]UWJWdeauXXoliV[JEdvaqH\gk]XEI|eQanhVwqQU]IpdgakxY?jInSMBfAr`HpCwY[NMHfDrahqsx][jMifURixuCzI\bMrfYrlGjsUAI~DfaspYGmsV]JpDxa|p]ggCSIIBCqaXpKWdsRAH^CeaRpHW_{OeGPBi`toyW\cMyFZJkdtqyhi{tYYpLXelRUxiktMYhK^eMrFh`spAW^KGeDRAX^[niVrJZdmqvHZsmAU~JTdjQtxWckUUFJAd_QoXV{juT|IsdZQlXUCiyT^XbKoeRzK@curCXMkceVzH@d}qMX^k^EQjG@cmp}XKknELzJpbUq{WukVeUzEHdup_X[k^EIZDPcAp}WjkXEIJCpbQpMWrkPEGzC`aApIW`kLeLzB`bUosWukWeDZE@`Yp]WSkGeUZAXdiocXWk\eAJFh_ipwWHkBeFj?h`}oKW\k_e?j?`cMoEXAj~eTzIx_EqmW?j}ETi~pdYnyXUj{eTI~XdMnsXTkgD|i~@dIqaVvkJDzJAh]iogVjjleTZIX\uqgV[kkDtYyxdiqqVUjheWjK@\QmcX`jfeFJBP\EouVOjeD|i~@[ymYVvjbEDzBH[amMWWkFDojA@[AmAWNj~Dny~`ZynyU|jZeFYv@`}lqW]jrdlIup]enOUtjrdkY|HZMnOUqjxDhi}HY]n_UdjPEHisXaapMUck[DfzFPYEl?WxjKeOyrPcIkuX@kgDbIpPdIkUXPkGd`zAXWeocUGj@D}y~PWMnqU@kkD^io@dej}XYixdzIm`]ijcVjioDxI{hUIjAVekbdVYjxcei{XGiiD|Iip^UiiVrkXDSYiXbQpeTQideJIhhayiWWli`EBYgX_qiGWJkldMZJhRiqwSziZEGIf@aIhmW`iWE?j?`REhcWBkhdGZIhQMqgSaiMEPZGpPmgyXCiGeJIa@ayg]WlkQDBJChOug[WbjqC}i^`]YfuVdhzeAy^@_qfqWLjxcwi}hMMngRchjEEJBHLaemWVk]ctZF`LMpuRShgEIyYPaeeaWijvcrYXx]un[RMjvcrI|pKinYRJkAcnz?xJyoKR?kgCkjIHJQqcQrhTsiYTTIWqZQgKfShrH|cgd@XKHPUQqSLHsppWyHNsfbFLHooBQZK?Sea~|__cnQXKDSeB@LeGcjX`HJUWAQd_{cRWOHDUBaPDGSn`QFJxS`a}LGGqHXEHAUPQO\dkbrX\G|uVANTX?mRUQJdtcQxTV_l`UnI|TjanLVSj^TvIwT\amLXWjXUWIvTdqllWOitUEImT`Qj\XoiJU\IbtPartXShhStJHtKqqdQsnBVbIVtwadtQgbbSkGxS[Ad\P[gpSTILTDabLPOhLSRIQTCaclOWmpSGJlT@qzLOKhxS}IAtNQ_dYkfzUlH~tjA^tNOgBRuI@S|Q_DSgf\RoIcTQQ\|NGk\RrJFs{QplMSjPRfIrSxak|UKfBR_IqsvqkdLoerRZHnSuaZlPweNS_HctFqXDUceJREItspAlTSCeBT?H`tNqWTQ[dpQyISsmQdDOcdjSJHZtAaUtI{lPQpJTSkAtLIwfRRiHUSyATlIKjvQdI}shAndHGirTWHHscQi|GwdvQOH]sbqVdSwcVQLIgTRqPd[Kb~VDH?tpAODFofVP|Hus^a\d\wblPwJoS\qz|ZgbhU{GxtmqMk@E?f?Q_FOCG@{@Q?l?T_FoCG@t]enPVfjqTxi{kduQ~H]coQWhKKeMRJHcctQYxLK`eOtGWcBQAH?{^uN~F}byP|g}k[QMLFDbdprGxSZqLzEzbSpiwtSYqL\ElbOpggsCYIL@E`jVTkIt|MmfZRkhvSzy]DNIffRph_soyWTHEcfQQh@S`IO\FebvPyoAF{b|L~O~V^rNtVvr{d|s~J^]NpvsRzT|o}f^QNlvtRxl{k}l^SNeVqR~D{_~t^IN{vobx|{w}H^BNgVsrwD|C}B^QN^w?RvM?K|t]zO@V|Rut~W|p^vNZvkB~tzH?@]pN~vprsD{W{|]^Navwbpt}?{Z^`NEV`bv|w_}B]FN_V_B{t}_{D^fN?v^r}Lvs~`\}Nvv^B{lvk~F\yNqVybml}czl^jMyV[butvK|p\pNZvZb{t}_z`^fMvvYrzL|_zZ^VMuVXRxtu[}`\eNfvkBkTuO|d\bNWvVBvLzky|\\N\VTbwdt_}F^AMjvtBid|Syf^UMiv~biE??yd^~MgvRR||sw~`\NNwvzBhT}wyX^lMdv~bge??yL^~MavMB}lrg~n[xNzVqBd|{cxb[oNdVGr~\~sxJ[cN}VGb~T~cx@[`N{VEb|dpo~\[ZNuvABtlog|^[HNVVvb_||{wJ^\MBVnB_doG||]|M@vnb^|oC|z[?N]U|btln_|^ZvNVW?RZ]?Kuz_ALmVpbYl{[unZUNavirYTlO|X]iLhvwBWt}GuP^`LbvhrULjK|R]gLXUiru\is|jYkNYViRSty_tN]fLQubRzT|os^YMNluabtTgo|VYJNUVlBOdzKsL]tLAu_Ry|gK}rYANkV}rN\~srzX{N}U\BxlfG}XXrNdu[S?]?Cr^_AKwV{bK\~OrJ^rKqVgRRdhs|DY]NPvaRj|wkzB]IMoVHbadpWxP[fMIvBbdLp?xV[NMTVLr`looxj[JMZVNB^trsvx[zL}u}RaLngwfZzMHU{rrDnS{tZsNKuzBqdmg{fZjNHVer[|xsvR][LsUwRbLp_vF[VLpUxBZtm?vLZ^LqvPrX|scub\GLgUqR\lkkv^ZILvUorblkSw~ZCMNUobZLk?utZ@LkVcRVdx?tt]NL\ulrq|jc{jYwNJUlB]DjWvdYtLwujbsdyWt`]dLVuhBlTu_tFYaMsufrRLiCstY_LLudbVlj{spY}LJuiBQ\igsjYhLIVJBQDhGx\[lLGu`rm|vcsRYGM{V`BN|wSs@X}N@vLBNTf_xf[qK{u\Rftf[y@XuM^urBLdkwrZZLKvUYRj\tcrV\YKtUXrgLsKrPXeM`ReHrSxe\^MmfUpXGksUUWbKReHQkXUSjMT^IodVVFZb|pzGc_aqIGHKaYANGabVpkHB{aALZDscTp[HD{VIPZDOcYpRHE[SyPbGSaJpEhA{PaOfGM`tqCG\K_qFNGi`iouHDkLYP^BQcXorhEkLAPbBAcKopHBkKYOvGc`[qIGU{aYDvAEcHoaHA{`QCV@_cMoVhB[DqOr@OcNoTHC[DIPBGK_OqCGCk_y@FEubmplG{KZIM~Fya}p~goK^qJ~GIazp]h@KVaONDgbJpXgrKUQKjDYa]pVGf{RiIrE_aSphGdkYIHVCabRpHgt[QQLRCCavpAGlkOYJVFm`~p?g}[^AGBD]`{pWg^kUAFvBsb^o|gwKNIMFDG`ppQg[kSYFBBYbgovgy[LqMjFw`dp|gXk^QERFU`]ooGz[\aD~AobapqGU[JQMNAiaiojGi[IyInGC`Sq?gSk_ADNAWaDofG`{HiGZBk`Hodg]KHQF^AAbHo`GqKGAK^@ya_o^ggkFqIF@m`No[gS[FADB@gb@p`gLkEiKJ@s_po]GKkFYBN@U`EoUgQKDaC^Cm_dpKGH{RIAZ@?aGoOgakByGf?{bfprGFK[i@v?sbLpfgE{Xq@f?kaYoKGfKAyHn?eb[oIgvkAaLvC[_LpGGB{Py?z?SbsoEG|k@YNVFa_FoCG{k@INNEG_CpbG@kWi?UB\@o_vo\GMsFUb`PpgxTfIrtXuivT[ilSvIZtLubfPtgyXlsgmS\LpexQbXdSuUZLKfeSRWxkSqMXHLfeORXXmcp}WtLxeMR\x`CvuWXLzeDR^x_SvUWLLxeAR\x]svmVtL~d{R^XlsnEZdJtewQ{x\SueZXJnetQzXlcl]ZTJRdiRYXoCeu[HHpf@QZxosdU[PHXcjRaxoCdE[HHRcfR_xFswm[LH@c]RaXesruXhKxeXRMxjco}WdL`enRCXWsl}UTJbdcQwXVSnuT|K@d]Q~xisjUYtIxekQlxTCkuU`IldTQrxTsiMTLIrdQQkXach]WpIZeJQeXfsgUYDIHe_Q`xQCf}ShIBdHQ_XNCsmRxLNc|RRXRcfMT@HvdNQ\XKstEYhHjcsRSxgceERHLHcpRPxZCdmUxH^dlQVXHCmUQXJhdrQQxWcc]U@HDd`QOxEsquPtKpc[RJyFC}U`hNbgZRwX~tCE_@PBg@SPX}T@E^hOTfzSCyGs}]aPNjgdRyXzTA}`dN^gWRvYCC|]]pO^gMRtXwdAu]LOhf`SIx~Czu^xN@f|Rnxus}u^`MzfvRmXuC{}\hNRfXRsXxCym\\NLfURqy@SyU_\MhgERhy?cx}_PM`gBRgxrDAM[xOffLSHXqT@][lOZfISEYFSwu`|MPg]RbyQTIec`QjhFShyPDFucXP~hDS_YNDG]blQDg|S_yMdHebdQThJS[YHdEUa`PfgfSYYJtIEbDQdgoSgyJDHmaxQ^glSfYITEmalPngiSZYYtIuetQphkSjyVtKUeDRHh_SpyXTJee\Q|heSmyYDJMdlRThYSso?TMaezR_?ASzO?tMie~Ra?@Szy[o?YffRc?AS{^