CAT(2720,1)
Sparse6:
:~?i__?O?G?C?W?H?C_Ao@W?k?Q?Y?K_EOBG?s?m?T?F_CoAG?s?]?V?H_DOAGDGAA@D?\_NOGWB{@q?x?[_QOGwCsAa@J?f_]_DgBK@a?n?Z_LODWA[@I?`?P_IODgBK@a?t?Z_JoCWAC@I?f?T_IOGGCKAI?z?]_NoMWFCBi@D?]_NoGWCC@uBS?M_EoBW@{?}?\@|?x_\wNGFIBu@s_|?\gN_FUBo@p_}_^gNwGACAAA`E?aGPKGmCTAF`BO_wOkGQCaAQ`G?cgQWGuC]AS`I?bGPoHMDAAW`JoegRKHUCl@o_wO[GU?G]CPAI`BOawPKKGDfAt`WokgUcJAD`Ap`XOkwUkJQDTAn`TojgTcIuDMAj`S?jGSwIuDQAm`V_iGTGIiCwA``L_ggRoIMDGA^`Q_gGSoHuGYC?`~O}w^{NuFxBz`~O~G^kOAF~B``pOww[CMQFJBd`oowG[[MIFHBh`sOxw[sMiFVBv`xo|g]cNIFjB}@{p??^CN{FpBy@|o~O^SNoFrBu@vO|?\kN[F^Bq@wO{O]kNKFXAv`[OlgVSJmDrA{`]ongV{KEE@BY`novgZ[LqEzBe@iOxoYkMkElBg@kOyOZKMgEnBM`gOswYKK}EdBH`cOqgX[KuEXBE@vOo_\{MoEHBF@uo{OW[KSF`@e_qoXGK{EeBP@Z_mOVWJkDmAx@^_oOWWJsEMBD@j_uOYgL{EuB\@__nOWwJ{EEBDEG?rOXGKkE]BR@g_^OOGGSB}@z@@_boOwGkCYAP@CbO?YgL[EqBZ@m_voQWHcCmAZ@I_fOTWJSD]Al@W_koRwISDEAf@S_gPn_^CNiFr@v_{O]WNcFmBt@x_zo]gNcFmBpAE`BoaGP[GeCTA}`]onGV{KEE@BM`gorwYCLMEdBG`coqgX[KuEXGJB{p~g~S^qNvF|b}P~g~K^iNzFzbppwW{c\}NDF_boPwW{[]INHF^blPuWz[\qM|F\bk`|GzO^UMwFvbl`|gzo^aMyFrbf`{Wxo^IN]FQbg`zW}?\AMYFmbd`zGxO]mMMFkbc@yw|_[qMQFjbh`oWwW\UMCFUba@tGz?[UMKFVauPYwlKUaJNDiaspXwl[UaJTDkaupZgmSVEJ`DnawP[WmSUyJZDnayp\Gm[V]JlDwa}p]WnSVqJ|Dzb?P_WoSWQKFD~br@kw|?ZYLcFhbt@lGuw]]NIEtb[@yG{oZmNIE|b[`xwvO]iLwFhbU@yGtg]YL[FdbV`xwuG]eL_Fibw`hgt?]uN[Ehbx@iw|wY]N_Eibx`gGsG^]LCFtbP`|gsg^aLGFsb|`fw~OXmNwE[b}`fWrO^yNqE]b^@dGrGZ}L{ETbJ@nwqw[AKoF?bF@gGsGW}LCEObQ@cWsWXMLIEQbX@aGpGZYLeEIbD`lGuwWuKWEtb\@aWvGWiLuEGbE@mGpgZqKUE|bU@dGtoXeLYETbJ@jwr?ZEKmEoaP@|gbw^aH?FraO`|W}_QQHEFvbe`EgxoPmM]C[aM`sGbo\IMaCXao``WkWWUJCEEar@`wk_W]JIEEanPVWj{TqIvD_ai`rGiw[iIsFJaj@pwj?[eIqFGaT@bwd?WyHQEPbH`HwqOQYK_Cdbx@SG}GTMI]Flai@{G|oTEN]DQa]`oWfw[QH{FAb``OGgO[YIAFDaa@hwt?SaIIEiab@iwgWYYLQDFaU@^wo?QuKCCmbA@JwoWRAKACja[PMwe{RiHrC{aH`tGa_\UGiFRaJ@tgz?P]GoFVaG@fw`wXyKsCPaH@fGrWOuG[E\aA`[w_oVQJoCBay`@GmoOIJmC@aE@]g_wVeGODzaC`^G`WVyGSD|aY@RghGREHkDKae`KgegSmHeDIeG?MGFCBe@t?x_\OMwFcBq@v?z_]OKwEcBY@j?q_ZrHOokW]KLAj`UOjWT{IiD\AO`GobWP{GqC\AZ`NOfGRkIAC~A``POhWSsIMDHD[alpVWjsUAI~DWakpTWisTiInCdaRPHwdKQiHPC}a^pOWgCSIHzDGaaPPWgsSMINCDaBP?w_KOIGHCFaCPAg`KOqGVCFaDPAG`KOqGVM?E~R^xn{v}Z|L}enrWHkKuMZDL]elRUXjktaYvL[e`ROxgCsEYHLDe`b]HgGveZsL?e|bOhggvuYGL{e}bNHnOrmZuK}e}BNxfgveXsLweSBZHlOqiXQLjeTbZXdgu}XWLmeQbYhcgumXMLmevbHhcouqXMLlePRHHccqIXFKbeMB\hmwqAZmK`eNb\xbovYWyLueYBDhawrUWoKueKbLxf?pmXqKYcebUHIGtuYqHMelASHj_c}QcLZcjbTxJ?tYQeLQcibSxI_tQQkLTccBPhHWsaQMLHccbQhHOsmYMHKeIBAhagomW_KFeGbAH`_pMWcKHeyAWhJwvIZaH_exaWxKGvUZ_Hce@BNXf_oYWAKye@bNh__r}XuKDd|BWH]ot}Y{JtdzbWX^?uMVqLaewAzxmGnAZcJpexa{hmgnQZgJrehAyX\_tMYgJidvBTX\Wt]VYLUeYAvXZorYU}Kve[awh[?rUXoJ`e}AtHYoveZyJRdgb]HYgviZuJQeFarh`gk}UUKNdeBBh`glAW[JLdaqphW{kaUTJHd`BDHVwpAU?KQd`bDXW_pEUAKRexAmxmgjqZaI|ewAmXmWjyZgIydUbDhawiyWqIoeLakXb?jIWsIndSbIxTWqiXYIidUBIXSwqqXOIgeqagXk_iIZKIcerahXSWueZOIedOBGXbghmW{I\dNBFxRwpqSwK_eba_xh?gQSILJebA`hP?siYQIFctbRHL_suY[HlegaZxhwfAY_HmeVa]HdofeXeHzeWa]heOfqX_HveVAIXe?auXeGkeVaIheGayXcGjcRbYHCguQZMGbcSBYXCouYZIGccGbRHAOsuY[GRegADHiG`YY]GTcmAkxU_dmTiHYcmalhV?deQ{Ivc}a}xNonqR}J|d@B?HOGn}S?J}cyaXXL?fMRMHscrA[XLOfYRcHhc\aaXF_guPyIIc^AaxG?gyP}IKdraMX[WbUVGGuc[AyH[obiVIGvdjaJxEGlePeJYcXAuxE_lqP_JWdHaGHCGhIOyIPcNAbxQ_aIO}IOcGAFH@W`aOsGKcJaBh@g`eO]GZcAaOX?ocQOMHBcDAOhGo_aOQHDdI`~xRG_EOGIWdJA?HRO_ISmGBhJ_GwCcA]@J?g_ROQWHSCuAV@M_eOHwCkAY@F?g_QSj?DsAi@V?k_SoJYUgDUAn@U_koUgJCEeBL@g_roXWKcBuAD@@_^oNgGDKgAP@D_`oPgG{CQ@R?j_UOJgDkAiAb@Q_iORwI[DA@`?n_WoKGEKA}WZKNeFRGxccqIF@Ba`powW[kMQFLBf`sOyW\[MiFlBq`yo|G]{NMBb@q_xo\GMsFUBf@s_yo\gMKFIDlAv`\omGVSJeDnAy`ZOmGV[JeD|B?`_onwVkJqEDBB`aOpWW{KYQHH@c`QOxGkcYQNHGccqQhHccmQZHMcfqSHISdEQfHSciqTxJCdYQrHYclqVhJkdqQ~HbcqQWHKKeIVRJidtqzH\smuRLHdcrqYXLSeaUHJ@d`QoxV{kAPHGbcRqIHCsaUOnGWcKqEhBc`mO|G`cMqGHCS`}OVGMcEqBxAC_qObGUcIQDXAS`MOBG?c@Q@H?[^}O@G@c@P~x?[_QOPGDcBq@h@S_eONGDcDQ@h@C_ek{U[JHtcarlXkkhUVJKTdarLXSktUXJBTfAo|XkkPUWJATeapLWSkzToI|tZandVCjzTkI{T]Ql|UsjtUPIsTcAktX?jNThJGTYqqLUgkbTyIqtWAnDUCjrTaI|tWqnlUOjxTViiTTiilTairTGIgtSqh\SoidTLIfTQQiDSgi^S~IetQagDSciBS}IeTQqfdRsiPSQIQTCqclPOhLSfIItIAa|QcglT~IET_A`lWCg\SNI~TCQo\WGg`UIIATaq_LWogJULI@Tba_\O?k^S]H|S~qc\Nkg~R|IPS~acDNohBSsH{s|AeDRSfpRtIWtKq]|RGflRlIatOa\\M_iFRhIaSzAg|MgiLReIzSxQmTM[jnRdIxt\Q[|VOfLR^hoSvYZdMEe|RZJJstaq\L[khUQHkSuaqlXWerT~Hht_AYlLCkDROI~T_qYdWCedTsHeSrQmTKgjfTtHdsrqm|VWe\RUIwTZQZLL[jbRYIvSuqldU{epSuHdTLqX\R_eXRNI\tMaXtRceZR[IZSvQe|LwhpR^I[swQf\M?htShHcspqcdK_hJRGIRTHqXLQ_eNQzIKSnAbLJsgtQ}ILtFAV|Pse@SWH_tEQWTPgeFRCILtFQWtPoeJSUHZsmaa|JcghSTHZTCaVDPKdjSEHYt@qUtO_dnSHH[Sma`\JcgTSIH`T@aWLKOgNSHH`spa`\KSgPQqHUskAUdIwdfQpHYSjqUTJKdXNAHIRoqQc{OclQTFarpqQtHS]LQMH]SnQQ\G{d~QOH_ScaVtJkcbQAI]TNQO\RwcHS~HAtOQO|S?cLPoIlS[Qj\FGixPrImtVqMlTwbhPmHTsZAT\IcbTQiGtsZQTTE{dRUWGqsXArLEWktPfJLsYQrlE_kxQcGnsgqKTISa|PbHRSiAKDECdNPWJAsUQodDgkLPZJBsVQpLDokPPNHMsRARtCsd@PMHOsSASTDCc~PEJHSPqq\X[aRPGJISQqqlXWaTP?ITSOQd\CGhXPBIVSPQd|COhZSKGSTBqDLAggbOjIEsJQ`tAog`UIGPTaqC\Wo`HULGQtbqCtWw`NTMGMTSqCDS{_zTOGNSGQiL@{idOUHvSDq\|N?_pRpGKs{qB\NG_tQ\GGSfaALH{_dQ_GHsDQST@OdBOIHysAq]|?ofpOLHySBq]t?wfrT]GBS@AjTT{_POHImtUq?|?SixN}IWR~qeLRG_@SrG?tLQ?TRO_FNuIqR{qkK~[jDTdFxR|Qk[~Oj@TTFuTT`|lT[^\TWFvtT@}LTc^`NhITryAdTQw^NNjIVryaddQs^LN_HJse@{LHg^JQXFpSf@{dHk^FS?FlT?Pz\OG]xN\I@rvq_k|wgHNSHvRtQ\|N?]lRpFjs{pzLNG]pQbFfRsaS|IO]^QeFgRsqTDIS]bNGH|S}pxLNo]TR|Fds~`xlN{]XM{IarnQgSzwiFM~IaRoQg{{?iLMuHURlqTlIw\pQnF\SkPv\J?\rMoHJrkQRDHk\jMqHLRlARdHc\fTeFQRhak{y[jPMgIttYPtLUg\JM]HpRfq[Sy?fFMbHqRga[cyCfFS^FKTG@rLQC[tMZIPRfAbsxshFROFHSsPq\LG[hRRFIstPq|LO[lUIFETapplWo[\ULFFrcQpsx?k^RgF?syPoDMg[DRjF@r`Q\lMo[HP{HCs^QPTG_b~Q?HDsbQOLFwcXPQGYSLQI\B_ajOuGiSTqFLDW`nOmGzS\qD|F_``PxGWs]qE\Fg`dNwFUR}Ptk~g\\MjF|rjp~kyg^xMGG\RaQF[w[`zMIG]RaqFswW`~\G?XOKwEcBU@l?vhISdYQtImdTQhhXSlIU\KaeNRHbLPewrkXyK~E[b[PmWvkZmLxEy`LofgSCHuCxA^aLPFgbKPqGzCZaPPGwb{QAHBCcafPRWhKSiIXDJaTpJGdsRAH^ClaFPBwaCPIGbCLaHpDWasPQGnCWa?p?g_[OQGJCEgDSAy@d?u_^OMfYRkHukzM\bMqfIRcxq{xI[lMTfERbxpkxE[\MOfBR`xpCwe[VMIf?R_ho[wE[JMCn^FlBsTzS|F]dNZvhbvDy[|r]uNQVfrtdy_|@]`NUvfBtLxs|V]]NTVhRq|xg|F]UNPVhbrDy[{r]ZNQVjBoTy_z|]hM~viroDwC|Z]iN@v[bptvK{T]NMzv\Bp\vS{Z\uNEVcBidxCyj]QMjVcridxSyj]SMjVPBf|sGyB\AM]VPBgDsKxz\BM^VSRdLtCxP[cMhVHbi\q[yf[dMhVEBjTpcyv[YMmVErjlpsy~[[MnVDbiDswwj\MMHVRra\s{wh[VMgU}bnDvcvv\yL}V]r^lvsv~\{L~VXr[dugvN\gLqvYR[tmGzV\eLpuqbhDkkyRZKMdUrRh\ssu^ZMMeUnbqDj{{bZ?NHUoRq\kG{hZBNIvQBUTjKyRYsMdUlRh\sstnYuMeUjRl\iozPYnMtVXrTtuWtb\hLWVUBR|tcsxY]MjufRjDtcstYZMjvPRQDsSsb\ELFUcrg|hGyN\ELFu_bllgKzX\mLAVZrOlg[zb\oLBU]bptwgrv]NK{U\rp\fc{XXuNEvWBMDuOrj\bKyU[RkLfGzJXrMpVnBLTzorV]|KuVnBLlzsr^]|KvVZrKDdwzX\oKnvZbKLvCrFXaMuvlBGDz[qH]uK_uPRvLzSqD]wK`v`BDDwSpR]EKTVaBDlwcpV]FKUVjbDta{|^]oKWVkRELzKpf]qKXV]RCDvgpB\zKMV^BBlvso~W]M{VUbAttkon\[KKUERj|`ky|WYMmuAbqt_k{nWKNKUBRrL_{{vWMNLVaA}Twcnf]CJyV`Q}lw[nn]EJzTzRn|]{{DVmN?V^a|d^?{FVpN?txbvTzknN]zJsvmq|D]k|tViN\TwbmtvGn@VbMytxBm\]Szn\sJotuRr|xsmh]_JivgQyt\[{|VWNMTobttzGmLVBNVvkAwdzKmN]pJatkBkDuSljUpMovWqu\uOldUsMpVJR`lowx^[PMTVBBd\qww^[kMGU{Re\m{xjZoMXUzbeDnGxh[pLxutbbtl[w~ZWMOVGRZLqKuv[aLlUbBWdg_uJYHLbUabW|kcsZYJLcUsBKdlCrJXeLhUXrY\lSrRZSKsUSbHtdKqZXSKfuSBIldCqnXUKeUPbQdc[sjXGLJUQRQ|cksrXILKUMb_DbkwBW{M@UNR_\b{wJW}MAULB_tbSwNWuMCVArE|bcwTWwMCugBCTiCpFWcLPUHRS\a[tJWeLQUCB]dn[ofZtKGu}BAlncohZuKHU@BSt_StNYgKBUir@LigoNYhKCT~bJD^{qrW?KlUUr?L_KqzX[K@UzQ~l^_vPVxLsuya~TmknxZkJ|u^Qzdfwm|X~Jmu^Az|\gs@VZL?traxD[{mRVOJdTsQx\[smfVKJhTmawD[ClvUuJ]tmQv|Z[l|UwJ]UmAtTYktrUkL\TjRV\Y{tzUmL]ThBetr[lJ[wJRVMQs|rklR[yJSTgR[LY?v@UaLnUvArtl{lFZ\JNvOzgdsIyJ\FmbOzG\kMyF^Bp`wT}i~L^anxV|j|tnIvlZyl~V?j_xEscUPpHHc\QOxFcc]P|HJc_QLXCC_}OTG`cAQFX?s`uOXG^cCQFxEsYUPpEfbSQLXFSYmP|Enc]PjXDcJ}PPAtcTOlxECJuDpGrcVOmxCSAU@LGfcQOJwDCaM@TGfcQOJVuscmQC}r^UQOVtscUQK}t^WQQXEBx|{hGh^JQIxDbxl{xGr^KQJw|cZENhEzbzPmWuS]}LhFrbZP{WmSQUHPDnaOPYWcSUmHTDlawPHw`c[EG\FBb^PCwaC[UGTFFaCPnWmcNuJlB~a{P?W_SVmGLD~aAP^WpcMUK\BfbGOyWqSMmF\EV`uPdWiSLUE\DV`ePSWYCTeElDZaiOswoSIeKPAp`TP`wTcWUDdE@`VPawRcReC|Cz`OPNWSSR}DLDB`QPOWxCHEMTAR`IPrWQs[}CtFR`KPsWsCG}CTEZ`APeWrsGuLDAFbMOaWNsLmEp@x`mO]wZsFuCDBb`?OwWLc\UB\FV_wPuWMS\mM|@v_yPvW]CEEFd@b`yOXW]sE]BTBz_sO}WWSCeEH@L`_OSWISKmEL@J`cORwFc^e@|Fz_aP~wGC^uALGB_`Q?W{CBENT?vbpOKw|CBmNH?xbrOLW?C@e?D?Z_AOFW?s@}?T?b_COGVxr~l}G~t^bN|v~b{t~{~H^dN}Wjb}eI{~japN{wkB}t~\DfaqN{VzcQuH[~^aWNwWeR}L~LCv^qPLWgb|MIO~VaeNuWgr|l}hDJ^gPRvvC`D|tGR^]QDVvs`\}DGZ^_QEWabyD|DCVaKNhWbRy]G{}jaMNiWIbweAk}J^EOUVpsDl{d@^^GOVVnc?tz|?N_GN_WARwM?k}F_IN`XqCye[dMjfURdXqsy}[tMrfKRkXlciEZ\IbdQR[XSsvMTTLtdSR\xic{E]DLVfaRUXwstm]PL^emRqxrcruX|M^e_RgXgsyMYHMfe`RhXdsqMXXK^eORHXdSpmWxKfeSREXacv}[@KVe{RBXnSo}[DKPeHR^X\CrEVTKrduRLX\sr]VdKzdwRMXhCluYTJ^eeQwXhsmMVLLRegQxX]cjeTtJvd]Q}XVsnmV|JBd}QoXWsj]TXJDdWQrxTskeTdJLdYQqxochU[LIVfCQeXpShm[\I^fEQfXYCgeUdIJdFQtxYcguSdJZdGQuXNcfER|Hrd?Q\XOSf]RtIFc{Q`XLszmRHMtcrRlxLCzeRXM~ctRnX_CdeWDHZeAQVX_sd}RDKJeCQWXHcuEQ\LbcgRXXISu]ZTHVciRYYNtD]btPZg}SUYMdDEbpPRgzSTYMTC}aXPjgdSZYLDCUaPPngbS[YCC{u`DNNgQRsYCs|M`TNVgSRtYJd@Ua|OVgoSEYBTEM_|PfgMSXX~dGE^|QBg?S`Y?dGe_LQJg@S`x}D?e^dOJfySBX}t?}^tORf{SCYEc}e`lNdfrSJX|TA}^\OpgXRzXzDBe]tOzfmSNX{TCE]|PBfoSNy[DLUfTRXhpSvy\DLmfHR\hrStyXdHMcXRHhdSbyXtHEedQThgSdyStJEdpQlhQSmyTTJMdhQnhZSiYVdHed|QZh_SfYRtKMdDRFhOSpYaDOUgdSFiITAYatOmg\SZiETEY^DMuftRnh}S{Y^tNMflSBi?S|O?TQagy?CiTTFo?tQqhBSa?@TJyco?QhfSc?BTK^