CAT(2976,1)
Sparse6:
:~?m__?O?G?C@W?X?J_DOBg@k?}@m?l_ToJGD[Au@X@N?_OOgGKCEA@@A_]oNwFsBu@~?}_WoKwESBY@h?t_`?KGDwCAAA?m_ZoMWFCBi@x?z`I?HWC{AY@P?h_TONwFkBy@p?x_ZoMgFcBmEAAm`UOjWUKJAD^Ap@Sok?T[I{DTA\`NOfwSSIADBA_`POgWRcHmCt@l_voZgLkE}B\@p_xO[GMSFABb@r_yo\GMkFQBf@v_{O\gMsFaBn@j_uOYgLcEmBT@x_|o]gNsFuBxAD`Bo`gQWIMDGAP`Q_cgSoGmDOAL`R_bGQ?IYC[Af`F_iGP?IqCSAl`C_jgTwGUDaAF`W?`gPwHuC_A^`F?fgROGICEAZ`A?fGP?GqCSAJ`C_bWRGGAB}AW`?_dwNwH]CqA@`??eGNgHQB{AU_}?dWOWHQCkAA`A?dWHKCiAV@L_eORgS_C]DI@G_b?gwGgHIAGAR_`_cWKwIqBQAm_s?jWNOEYBG@z_{_XWKSEMBBAe?nOi?KCI[A~@[@SoUoTSDsDVAd?koU_S[IOApAh?ioToT[IgAl@N_goSGISDQAfDq?POGwCcAI@H?b_QOGwCS@}@B?__NoGGCKFaBl@v_vOZWL{FIB`@p_yO\WM[GUCNAE`COagPKGyC`AN`GocwQSAm@X?l_`oPGGkCMAJ@C_cOPgG{CeAV@I_eORgHkEQBL@d_oOVgJ{DYAn@T_iOSwIS[oM@FAb_ppGw[[UMEE|ba`ngw_Z}LhEubYpkWuSZMLcEgbX`iguGYeLDEcbPpj?sSYOLVElBPpgGsKX}L}E_bO`nWvoX}KrEZbLPeOskXkLNEYBRPcowC[GKjESB_pb_vSW{LvELB]P`WosWQKREFbCPagpcWmKXEJbDPYGk{UYJVDiaspZglkUqJ^DpawPlokKZcJDD_B[Plok[ZcJJEwAqPk?mKYwJ`EnAvpVOt[T{LXElAnPe?jSXWIvEVAmPU?qCTcKdDVBGpT?p{TWK\DTBEp`oiKWcIfEGAhP^goCV}MCD~a~@oGo?[EIoDzak`^WiwVqJkDKaz`RWmgSmJoDLae@]ghWVeJmDOay`RwmoSyJoDNa|@SGnGSyIODsad@[ghGVMJcD\an`\GmWTyElBW`jouWZ[LiLsBjb]?zGvWMuFaER`x`dW]OXQKAB_b@_wWoOL}JGBoap_zgkgM}JwBd`r`^W[oVmJWDCa`@ZglgSMIBC~a_PN?hCRwITDHA]pMOiKRkIfCyAhPL_okWOHpCvBBPLWecRMJABuap?|Wk?NQIsCoam@KgjWREHZCnaVPlodSZcHXEwATpHwdKQaG|C_aNpd_]{X_FrEV@{PhObCY[GtEeAKpDOtCP[LRCUBTPf?`{XwGbE\AGPBG`kOyKwBy`}@fgrgNmIgCBaj@@WigOQEiEs`h`lgY_ZUEdBP`gOr?v{KgLzBJB^Oq?lKUgENDj@cpooWS[SEFFC@_pj_WcKWL`BDBVpn?WCZgD|Ez@^omoqCJsKdA{BGp__VCJgKBEB@[pX_U{JSJPAuArov?[SLsFHB]@poy?ccMgHLBhAQpAObcPsGVCIALpA?cSO[HFC`ABO~OgkNwINB~AbP??XkOGE^C@@fPD?USPGDhCR@Xqx_Bc@y?zDMagPRwicTUIlD`apPWGk[UQJJDiaspYwlcUuJ\Doavp[WCkA]@L?i_SOIWDCAe@T?p_XoKgEkBY@h?u_YoLGECAy@^BV`kOtgZKLmEtB[`nOvW[SMQFFBe`qoxw\CMeFTBj`uozG]KNMFdCraYpLG]sNQFjBy`}O}wYcLUEfBL`forgXSKmEXBD`bOpGUSJQDfAt`ZOlwVCJiDrAx`\OmGV[JuDxAz`]onHk_tqYvL\enrVhkCuEZFLaeibUHjOtYYqLVe\BWxf_uIXuL`eYRLhekrAX\KneSRIXdSqwXRKoETRJpdCqOXbKaEXrGpeSpgYpLYELrUPbKpcXzKZE^rE`fsrsWlKWE^rDpfsqWWlKVERrE@cko]WRKGeBBSx_gtQWGLQelA~h_?taYqJ~d}bTx^_tYVuLTd|b@x^goeVwKGeQa|X]wq]VkKedxQ{x]crgVfK{DxRMp]csSVbLBDwRP@\{moYbLNDurS@\smoYRJmEdqzPhSmKYfJcEiRS`[km?YXLMDpQwPhkm?YLJaEbqwPhCl{YDJ\E_Qv`gKr_UnKxDkqu@e{lgXnKwDmRMPZ[rCUhJUEXqtPeSlCXXKlDhqs`d[lgW~J[EOqupcCkwWzK[DgQrpbsoCUVJKE@r?`XkncUfJwDgq}`YSk_VRJIDtqqP\SmYVPJfbbppgxCmkMVFHDspq`\Sj{WfJ@EIqo@acjWY|IvEoQm@j{toT`L\DXRUpUKiuT^ImdTAqHXOiqTUJHdRqiXTCiQTLIddPAphSWk]TAJDdOBLhRorQS}KtdjaexZGhuUoI[dfAeHY?hiU]IXdIa}HQwniSkJxdIBOHQWsIYAIQdqAcX[gg}VEIOdCbBx`ogmWYIId@bIxdggUSGKkc{q\xNCewZFHnEoq[@kSkGRVJCCuqopLceiRPHhcpBFxKWqERGK_cna~hKGoAR?J~cmBUxJgtqQ{L\ePAUhc_deXEHZchqTXIcc]QRHGejaPXGotUYkHCcXBRHhobQPeLLebAJxEGsaP_LFegAMhiGbaY]GxcYbQxhGb]PkLIcUAvhDol}PYJ\cSbCxDWpUPSKSdwAGh]GaEV]G_cLatHYo`qOsJTenADxk?`eY}GWcIBFHAgpyWyGUdrA?h\?_MOGJfcBAph?wk]OIJDcCqAH@S^gVjJvB|p}P]soCN~KBC?r?`?CoSN|KCB}p~@_s^GUHFoD`p{PWSogNZKKBvpz``[kkNXJLBtQr?|[][W`FhEHPy@aKosMvKNBmrB_zc\_YdFYEiPuPi[pCMnKQBirC?ys\GWTFSEDrB?y[sKMXFMEaPrPgkfSS@HsD@Q\`OKjcRJHfD\qm`KsdWRbHrCkQ[`I{csTfItCfql@HsbwRtH?C}QNpN[bsQ`GzCgqN@ISaWQBGgC`QHpG[`sQTG^CeQF`H[`?SLGMDBqBpPC_kPFGdCEqB@Cc^KNnFtB{P|?}s]OSXFeDFPxPPk`CNBFbCHqC_{SfsM|H~BoQ^_z{[{TxFPD]ps@VtIw?p?V_JOEwBS@e?r?Z_LODwAs@a?f?T_IOCGAS@EUHJAd`qpXWsk]UPJIdcqrHXkkmUhJUdiquHZKl]UzJ^dnOFwCKAABT@k_to^GNsFuCFAC`@OawPcGuAL@F_cOUgJCDeMNFGbbPpgxC[]MRFJbdPqWx[[iSLIGdBq\xNKfaR\HncwQOxGKcIQHHDcbQ?x?S_QNlFwbzp}w~S^eNHFebqprGxs[ugwSXiLtEiaPPmgeSXiGdEi`\OugXR{IKS~abDNsgpRrHos|A[TNSfFRZIFSvQaDLog^SFHjsta_lOWejRTI@Sta_dL[gFRRhhStIXPNYeQRwhdc|y[pKieURchqcqY^XKaeMRxhbC}iaxKAgiRAiJCoY^xKAgAR@i?Coi_HJ]dqS?h~cmIVxKqdyRMh^CrYVHIudWQvhTcmITpIad]QihWCiYUPIadeQihWciYU`IqdkQlhYciy^pI]fwQehQc~YRHPMgcQZiGceiQXMycgRlhIczyVPHIdwQPh\ccIPxPQcYSShFDDIOhJycGQ~hBCnYOXMqfUQ@h@CyiZpFyf?Q?hnc^yZxFIf?PshnC[y\@EifMPjhscYYJDD]arPPH`spQI\KOadRrGgSRa]lC{fhRoGcs{QHTNGaPSGG]TAQFtOg`zR[G\svQFLLk`tOuHkSuaE|B_erOlHYSJqUtAwdjOcH{s}qCtASftO`HbSGqXDAGeNRNGNSGAYL@{e`OTHtsDq\T@WfXRoGHsDA]TNC_dOIHzSAq^D?cfnSGF}r~q`S~wgRNzf}R}h}xOy^oSOf{dBx}`Kq^kRMfycrXzxJE^?QqfockyYO{uegNMhhbrxxXOM]WSCfdD?hvkzm\xMwIKrmab[zcgtRdFWRkQ[sy{fHMeHkSu`tCy[erRgFPSyPsDM[\BM\IJrfqakxwglMVHpReQ[\MC[pMPIERcq`kxGgVQmFDsk@plI{[XMAIAt@`o\O[[HRDF?sp@oCv{eFL{HvR^a\{vsfZSTE{r]qa{vgglLoH\SmpmSvCdxRPEtsrplTL?ZXQ\HESfaPTHocVPwFks]`z\Fc]tPbGmsXQJ|EOa|PmGmSZAJ\EsatQ^GiSTaSLI?ajPJGvsRQMLCob`PBHCSOaO|COcRPfGMsEqLDEW_xPDGFsPqALCW_`OEGysAAMtF[_NPaG@sWQ?l?Ob@OiFtsJ@|lAk^XOKFrsB`{t?s^JO?FpS?`{d?C^FNpFmR{pzs|s^dNRFvRtP}C|O^^NOHPSh@yK|GdFPzFaS^PwtFo]JOXF`roQBT@_]DN?HJrnaQtH_\~NgFZry`uk}c\lMrGRrlADKzG`PMjG^sOPtTC?\RNUFLRf@zCxk]nMGFURa`tswc\ZMDFFr`ppsx?[LLvFPr]@skvW\HLrFIRdPmkvO[lNHEurpplsu{]PLcGYSLPksuS`fLfGWRYAESuc`b?K_DoAg@s?}?ZDeasPXwEKBM@d?n_WOJggSSQIFCaaPpGWccQYHJBO`hOsWWKKIEFAq`XolGWCJ}D|PSgisTiDTAq`VOfgSsIH|C}i^RNUfkRtxpsxA[^Lreyr\JMhe}rmXokwe\jIxdiqwXXkleUJI`eqqkXmkieZZIPeeqeXjkgeYjHHfUqSXvkcE\jGtcUqNXAKeuQrGdcoqFX]KZuVrFDdsplWrKduLRHlbOqXWpKqUKbKlb?rFW`kPUGzBt`}p@WHK`uArGd_gqDWEK^uABGL_[q@XeJ|UYA~de[nvXHJxuQA}L^GqTVVKqtuBK\eOmlVLKuTrrLt[wrZXSJdtrBItdSmTV@KfUSAw\[Gq^UzKfUSAvlZoq^XqJXU\AudfKlfXPJVuSauLdKl`UmKttjBLTYsrRUjjStijJxYUq{UckmdgyrTXqkvUMKotbrKDX?rDXpJEtbBL|Wkr`XqIzU\AnDfKjnTiK^tZBGLUkq@TbKkTWbJLUCqnXDIiuPqi|cWilTJKpTQbKLScr@XeI`uXqgde_iJS~i]tNjJXRYqwSsiYeUicDQEg~WgKUuJrC|acp\WDKRU?rCd_OpJV~KJT~RA|^wojW?Jzt}R?L^_oDWNJyUCQ}t`?njWZJsUFQ|T`onRVbKEuBa{d]GoXTWJmTUaztTcmzVFJntqA{L[cn@WXJaUEawl[WopU_JuTzQsTYCnVWQJMuDAr|`Kk|VOJAtsao|\CkLT~J^T_QwDW?l~UeI}TiAntY[jzTrJIT\QqtVOkjTlIwTZamTU{jbTxIrtYQn\VgjPUwIqTmaktZcjJT]JvTWA}DT{n^TSK]uNaiTTKpxTNK[uMqiLbgi`VdIeTxqht]WiZUAI_tOAodWKiDUVI\TeQfdX_hvSvIltMQjlR_ixVXIWtKqz\RGmtSmJCTaaeDQ{kRSjJGtJQq\QokdSgKTTIbDdQcpVSdJYtHqu|ZWhLSaJhtHAylQKmhS[IbTQAblPwiN?C_BO@W@C?e?NJ_dpQwX[kmQVF@x_|o]gN{GEC@@H_dOQwHsCqAZGecSQHx@[_uOXF{b~P~W~{_EO@FNbgPsYedRUhlSbiQTGibdPug|\ym}V]zm`v]zq\umyf]JmHuaze\imxFYZlXuIzG\lmpfZJlpuAz_\`mvfVzlptqz_\]mvfVZj`umy{\lmmfZJm`tYyo\tmzFTzlPtYyo\gmsfTziXuIzE\SmqFTZiXt}yg\`mifWJi@siyc\KmgfQzexvexk\wmYf\znPrIzw[sm|fKzmHpQwk\qmxfDZkplazMZXmqeujYhteum\ZljFUjhxkuyYZMmfErJjPkayqZEmlepzi@jut}\Ql^FSZUdjYtj\LLUVRbTls{tV\dLEvXrP|uWs\Y@l@u_jNtgAr~Xwk|U]Zd`raxY[ymVFMZcxsEyE[gm`FHjbPsAwu[~mMFNjgxoayQ[ImcFAZ^`n}wAZ}m?E~Z]XqAvi[amOe|J\hqev][jlvFIj^HmQvuZel|ExZ[PpewmZblofEJ[xlyv?ZhlneyJ]plmvoZ\lzevJ_hlIug[FmBEszXHpuuU[^ldFFjW@q}uC[pl_fKJ]HjqtsZqlwEmz\Pj]vWYxltemJ``jAwYYnmDejjT@qMtS[dlSfHJXxiUuaYflgEhjRxiItAYclOEgzRhoQs{[Am@efJfXhexyYZm]Eej`phYw_YWmFedzQXpEsi[RlIFCjPPkMsWZDlDepJOxhAscYHlCEcZO`jEsIYqlXe`jg`fmry\Dk}FPkCg@y?z?[_NOFWBcSmIZDKacPQWhSTEIdDRajpUGjKTyI~D\`nowG[KSUINDE`ZolWUsJyE@A~gLSEYBC~E^fNqfvR{H|{uiZVLklsuxz\DmEvDZblbUqJW|kAuBZAlLuejRLhaslYVoowW{KUDzA~`_ojgUkIiDbAk`XohwSkIeDlAd`\OiWVCI]CTAN`BOcWPCGuC@Ap`AOlWOSJMC@AF`AOawOSGeED@t`bO]WWcF]Ch@r_wOcwQsE}E@@l_sOnWLSJ}Cp@\`MOWWRSD}Cp@X_lOfWIsHmCl@X_lOcwQcD]Af@T_gofgIKDQDF@Q`OoPGK[CaBN@E_qnegHZxYA]}W_eoPGFKBqAR@E_\oQgCKCy@J@K_Po^g@[?aBz?K_|nvgKZ}IBM~__qoNfwKCH}F@?^aoNftKCH|Z@?^Toifh{IxyfAk]gnRGNkFxyQ|I_|nOgPzsYCbAK]anMgMZrYBa{w_voVFeJrQBB@]]XoYfa{Epwf@g]InBGMjpABm{M_{off_zoiDE{G`On?GVKJhwJAu]@oKg@{@I@n?O_YoHf|[Ah~^?g^unuF}z~h}y~Y^{nmgBZzy?}}{_Mnjfwzz@}Q}q^dnggDjyY@a}c_VoDFrk@`|B?U^Nn]G?Zvq?M|y_An\g?J~xze~{]ynZfujz`za|k^ZntflZ|HzQ|e^inWF}JuP~i|a^xnxFjZ}`y}~e]mnTFxj|@yq~M]jnNFnzs@{E{}^?ncFdzxPxY}Q]TnGfojq@{M{]^CnEFpZwxwu}K]MnHf^jq`v}{c\|_AO@g?k?e?N?GoOwF{CEAJ@H_b_HOCGAK@M?j?SdfQsHX{liUxJZ_sOYWK{DqAv@\dHQdHQ[fYRjHsckqUhJ[_UONGEbtPzG|[\yM~F_bkPugzK\YMnFTjYtlyutYMlJUcizT\ynDze|t]zq]HN{fiSFH{d?qYhM{eYRfHgcyqUhKKeQQ~HacmqTHG[daQNHUcaqZHB{aIRbG_cvqRhBKdAOzHQcLqEHHKcqOzGYcdqGHEkbIO~GacWqNH?{byORGIc_qMH?kbiOFGuc?qJh@K_iPVGkcBqHh?kaQOFGgc?p}hM[^yRnF{cyp|HKKeQNrHabzqTG|{daNfHUbwq]G|KfqNZHybtqBGz[`AMrGMbjpqhA[[qOnFMcIqDgt[YYOjGQbSp[HJ[VQQ~DqcmpYhG{cQJ^HAauq^gkkgIJRI?arqXgjKTqRRDYctpPh@kSaObGMadqLgc[biHNGwaQpAhHKcqG^CKcdp@hDKaQGRCCcRp?HEkOIPbB}cXqIg^KayFzGk`|qRg[{dIFVHO`sqNG[KcAFJG}`pqZGYkLaRbBUcvpwGw{[aMzF]bapkgyKZYMjEsbhpwgskYANNEabqpngr[XyMBE[b`pVgqkUIKrD_bJp^GikTIJ~E?ajp\ghkVaI^DyagpjGgKSQLbEma`pbgf[XIH~EOa]p`ge{RaKJCsb@pJgvKRILzCob\pbGdkWaHVEIaSozGcKMyGzBoaNoug][LyFnB[`yorga{PiEfCW`goqGaKKqGjBIaHalPVGj[AU@N?e`vO{G\{N]FpBxflRuXz\?}_bOOfORgXsSviZvLxe{R\xmsuQZLLderrYXlDgasNYHroh{{{Y^VNCfsrtHwK|a\~M{fjruhu{|q\rN]f\rkh{[zQ^JMoforghv[yA\nM]f[reHuKxq\jMYfXrohq[xY]NNCfIrbHyk|a[bMMfjrhHfkri\RKwfRrJHt[yyX^MkeWrrhckqI]fK_fgrEHxKpQ]ZKUfdrAH{{oq^VKIfsr?hvkoY]BKCf^q~Hz[oA]~J}fmrwH]{}QVvNad{qdhskha\RIYfRqcHxKhQ]ZIQfdqaht[gy\ZMmdEq`Hx{ga]fIEfgr`Hj[tY[FM?ekrZhiKtQZfLoehr\Hh[vaY^LueerQHkKsYYzLCenrNh`{pIYFL?eGrEh]KpyVjK[dxqyhc{qiV^KgdurKh[kmaXnJeeYqshW{lYUVJSdcqoHZKkQUzJAdlqmhZ{jyVFI{doqmHX{lATjIudeqjhlKuqTfLidWqiHk[iqZNIieqr`hS[iY[VIcfCqfHn[iAZ~I]e}_GOCWAS@Q?j?RdhQsxYKC}Ab@OcrqXXKs_aOTGHncVqjxL{U}N^En`VpJw\vyz~\|s}iZLNyevR{hjsyIY|MqevRihkssI]lNaejRuhhssi\|LAffRShws@IWl?aeROEhbsPi]|CifjPGh{s{IGlMyaBPAhxs~iFlNi`~R{g\sLi\lBQfVOwhssEiX|Kq_nRIgKsCiXL@QeJOOhbsqi@\Ky_^RKgEswh~|MY_FRcg?swH~K~qezNyhnr|I[|MI^nNqhqr{IZk}ye~R_fushiV|IieBQgh`sgIVLIQdzQah\sjIR\HydbQmhMsdIU\JYcrQshJsViMLFQbFPqgosYiJLDqb^PkglsXII\EYanPggis\iHlFiabPwgfs_iD|BIcNOohAsbiDLHI`ZQOgTsGiNlAYcBOcg~saIBlGq`BQIgNtl?BW@{?y?T?K_DsiyTdIudTQghSwbkQEG~BZ`novWX{LMEbBH`eoqywt\}mTVbjcTwYzD[]mxVJjlTqYyT[Mm@VVjiTpYwD[umHVPj`TryttVMl`TvjXT\YuDVEjXUrjVTZyktYulTTjjSTYYtDUEjHUljTTWyeD[uhhVPiXTryyTQmmlSnjiTJYcd\ehPV\iRTuyztP}hDVbjoTGYaTZml|SVj]TDY`dZUg`UxiFTlyudO]lpSJjZTAY_DZmlxSDj^T?ybDYMlLS\iLThYjTWmi|UNimTbYidWUipUHijT`yiDWMidT~ifT_YhDVejxTLi|TQyqDSMkhTFjHTPYfdXui@U`i^TfyqtR]hpUZi\TeOAG@K?]?H?E_AytlYelVUnjXtkZLtg]rdYJkwUaZOteerXYJlCUYzKTgEsDXflAUXZHDgEsDXFlAUPZNT^mnlX|j{U^y}DfUnhXxjxU\y|Tfmn\X~juU^ZMd]UnPXxkzTxzGTdeqtW~k_UTzKDbmqxWxknUNZETcmplXNkYURZDddEp`XTkVUSzCt^upTW@j~UIZAd_}opWRkJUCZBT_uo|WJkMUAZ?TaEoLWdkAUGz[Tg}v@YPlEUxZUtjuttZ@l[UnzUDkMuLYtlaUkzTtkmuPYlleUizXtietHZRlgUhzRtm]tDZjlOUyZRDlUsxZXlLUtzZThMu|YTlmUdzaDoUwP[TmBVCz`Tn}w\[BmEV?Z^Dmuv`Z|l|Uzz]Tp]vl[ZlyVEZb_?IxR[_?AVJZbo?YxU?CmPVJzeO?YxM?AmQVK^