CAT(3048,1)
Sparse6:
:~?ng_?O?G?C?[?H?E_AoC?@s?}?Z?L_FOBwC?@e?t?Z_R_HOCsAK@L?c?ROGGCSAEAC?}_]oNGD{Ay@Z?q_WOKWFGBq@s?}_\_NWF?BM@k?t_Z_LGI_CUAN@E_eOQwHkCMAH@A_^oOGGKD?AR@M?dORoHCEo@T?j_UOIgD[Aq@R?g_Ro]?LKEmBT@j_soYgLcEuB\@k_vOZWMKE}B`@b?roXOLCEOBL@q?sOX_M[E[Bh@n?iO[OIsF?Aj@]_moVwIwFIAq@s_k?[wK_DEBI@Q_p_SwJOEABC@[_l_WWB{@}?~Aa?MoFGBsAM@J?c_OoGgCCEUBH@b_roYGKsAu@\?n_XoLWEcBY@p?v_[oMwFSDEAf@Q``_nWVsJ}DnAw`[ojwTsJAD\An`WOm_T[JoDZAz@UOgwSSIQDDAc`PohoUcIWDjAd@ZOhoTcISDZAe@Tok_RkJKC|Ap@MOiOR{IgDBAg@OOfoOKGKD@A`@@Of?NsHwC@A\?~oeWR[HiDyAV`^_eGVoHYC]Ai`S?bWPoIeCSAv`E?mWPWJaDsAF`]?aWVWGaBwAs_|_lWNgJYDc@u`X_\WUGF]CGAO`B?cgOgHEBsAT_{?cwNGHQGO?Y_KoEwBK@i?vA^`OogGQCHICbCVAGpCwaSPEGfCQaFPCG`{PAG\CNaE`@W_wOmGWCEaC@Aw`GOuGSCK`_OogWKNoGPB}ADO~O`KMqFVBi`r`@W\GOYGMBg`qoxg[cN{F`BpA?O{__KOGFZCC@vp?o\sLwFDB_@povo[KNKEjBt@jo|?YsLOEtBQ@kOsoZKNcE^BO@|OsO^[LkEXB\@fOv?XkK[FlBG@{Op_]{KcEHBD@doq_W[T{?l?W_Jp@W_{OY@H?d_PoNgFkBq@^?l_VOMwFSBeAh@U_ioVWJsD}Ab@R_hOtwYkLYEPBF`bOpWWcKMKcEFbCP`goOWYKAEGb?@`wnkV}J|D|a~p^gn[VqJtD{a|P]wlwWaJ_EFav@`glCUiJRDvArP]Ok{V_JJDmArpXOmCU{JLECAqPWookUGKFD[anPVWjkTqI|D^aopWGkKUAI~EBAkp`Oj[WOItDUAyP\_i{VSIpDWAxPTom[TWJbDjAlpZOjSUoIrCwAhpTOfSTOHrDOAsPY_iKTGJRE?AdP__hcWCIVDwAbP]OgkV[IHC}AipT?gCR{IfDlAZpYoekUoHlCsAxp[_eSRKJbCnaWpKGd_VQJkCmay`JWd[QeHTDaAPPGOkcQ?JFC[aLpEga_WQGkEDaI`_whwS]IQDLaf@QGgORuIECza_`NGbgQYHOC^aN@HwawQMGoCdaK`HHA?TUIfDS_cOQgHKCIAH@B_^oOGGKF}C@@}`?o_wOSGYCJAC_|O]WNCFmBx@|_zO\WM{F]Bl@taYpLwesQiHVChc]aLHEkbYP_GacVAHHCWa}O}GjcOaJXC?aqOwGbcNAHHBgaIObGOcHQChAK`AN|G?b~p~h?C^}PgGMcFaLhEg_uOUGlcTaBH@OaqOQGicCAIX?waaOGGdcBAHx?gaYO]GXcLaBhBO_uOIGWcBADh?_`]OQGTcBaCx@?`QK^EPbGQF?~k^oO|FzCMp}PB{a?NpFyCOp|p?[^WODFtC?p{`?K^OOFFrC@P{PDsb?N`FnCVqKO|c]wPfGqBupy`@c_gNVFhCDqK_z{bKM|GpBmpu`BK`kMvGYBmPt@As\WOpFTCJqHOyKa[MfGeBhPr`DC\?PTFNCSpnWvsZqLGGRbRADWsg`QK[F_bE`wgp_]ENIFVbk`xGz?]MMCFfb``yGw_]YMOEubZ`qWv?[iMIErbb`lWwoZQLqE~b\`oWvO[AMYEpbX@qwu?[qLAElbP`jwsOYyLME]bS@gGtGX}KuEibU@fGrgYmKoETbJ`egqoXeKcEHbD`cwq_WiUS?]_MOFWBk@y?xGAc?q?x@S_mOXGMcFqBWECBE@d?r_YoLGFCBY@n@W_joUW\SMqFVBQ`hotGX[KeETBK`fOrWpKWmKTELbEPbgp{XEK`FmbupzGvcZyLzEfbSpiGqSXMKhKQECrAx`SoyWXKLeFrCXaCo{VzKPD~rC@^sn[WLJxECQ}@_{ncVvJwD|Q|p^coKVhKDDyq|`_coCVjJuE?R?`]co{VfKPDwrC@]SmSWLJfECQx`_{mGV\JcDwQwp\{mGVPJcDtQwp\Km?W@KADnr?P[KoKUxKDDnR@@ZkmsU|JkDmqypZclYUpJVdia~x^olQVyJRdgQshYKlAUdJPdfAxXXwm]UYJeddAuXX_lmUUJYdiaqXWwlMUOJSd[ayXVOmiToJgddAlXXWjYUWIvdYAzX\_jIVUIrdWa{x]GjAT]JqdUAzhTgnAV]ImeEAixTOoyTQKLd|Ahh^_iaVuIfeCafHRWomSsKIdkAdxYoheUmIWdHb@h`?hEWMIQdeabhXwhAU[INdDavx[GguV?IKeEA`X`og]WYIEd@BAXO_omSEKIdaa^HNokQRyJEctAuXL_liRUJZcraoXLGkIROJBd_AXHVweYRII}cpAnHKWjuRAIzckAnXV_diTuHXc_ApXW_cIQAJEc]apxFwkeP{JGc\AnhF_kAPuI~d_aLxWWbeUCGwc~afXRwgES{I?dCA\hPOfaSQHvcxadHMghYRgITdPa[HMOiUTGHpdOAZXSOe}TAHmchAVhI_eAQeH^cfaUxIGduQwHOcjA]xIwfeQiHyccARXGwcyQKHKccaPHHWcUQSHBfbAqXW{kaAJ@E_boNwGKCAH^CpaWPFWb{PyH@CaaOpDwbCPeGtC[aLpDGasPUGhCUaIqYhLcemPnGwc[qMhFcbm^VNkftRyx|S}q^NNhfsRxx|K}a]yN`fpbux{O|q]{NKfoBrhzw{u]WNVfjBrhyg{u]UNWfcbuhxO|e]cNHfiBqxyW{i^ANEfcBwxww}IYgNNejBsXig|A\mNZfmbmXv?|q\gNTfZBtxug|Y]GMcfPbpXsO{M\?N@fNbohw?yE^GMXfLbxX{oxi[kNNfKBsXqw|A]cMPfGBtHyWxI]oMLfkbbxzOwy[CNEfcB_xwwwE]CLvf_b\Xw?vYZcNBeyBpHmW{U\{LJf]bRHvwsuXqM|e\bnxfOzyXkMye[BnHewzm\wKseYbmheWzmXKNeeQbxHc_}U]}KZfoBFXzopqWhKQeHrDXasp]\aLze}BkxuOvu\OLhfTBYxtGuiZKLkesBZhkwuuZEMdeqbhxk_yYZ?MmepBkHkGy}YyMCfBBVxogtyYsMjemBjXjWyq[MLVekbaXp?taYcL}ehb_HiGv}ZoLAe|BPHgWveXwLGe^BQhfgseYIKoebbKhgorEXYMReVbdXdoxQX}KieTbOXg?qqZ]KfewbIHm?qe[wK`ePbfhcOxu[SK]fDbGHp_p}Y[KWeKbSHhwpicW?U_JoEGBC@Y?nQWF_RohwK{Q]FND_tOYwLKBA@d?p_mOUgJ[KIE@B@`_OoWWSWeKVEIbEPbgpkW}KbEObsPxw{s]ANDF`bYPlWu[ZYLpEvb[pmwvSX}L@E]bPPgwsKXaKrEYbLpfWrcr}YBL?eHRDHa[pYWjKVeKrEhbDKQeFRAh^soYWDJydzQ{hZSmIU|IidVQkhiCiiYpIqeiQjhRckyTHJQdOQthQcqySpKudGRKhRCjYTxIUd[QchacgYSXKYeMQahWCgYSXJIdaQahNcriY@IAe]Q]hNCqiXHH}eOQ_hMSfYR\HactQXhIScyQTHQcdQRhIsdyQtH]cjQUhGScYP|G{enQPHkscAZDJccXQMH\SbQV\IccTQgHDshqPLGscLQGHESbaO|LgbrPvHmS]AZ\GObjQBGyS`QMtE_eZRJGtSYQXdKSbJRFGrspaKtEGc@QAGpsXAOLLCa~P`HhSsqKDD?b~PPG}sSaNtCwc@QAGfsRQOLFsaTPJG~sRANtGSaRQBGbs`AHDJ?`|P?HXSkQF|K{`tOwHfSsAFLK_`dRIGYSqQE\AWdZQnGSSjaC|AKeDRCGQsHAW\A?dnOaH[SGQUtLk_zO^HmSuaBtLC_tRRGMSsaB\Jo_bQ}GHsnQAT?{eBQ~GGSBaWDJg_POIH\sAQVK~{ehO@HjS?AYlJS^xQsF}r~aU[~cenNzHkr}aZC~WcvNwHMr|qRc~KcRNtHDr|APTH_^`QYFxSeP}LGW^ZQGFvs`p|tFCaxPrGnS[aJlDWbVPlGkSZAI|B[bvOtG}SLaNTEw`^PoGWsZqEDAo`vOmG]sJQFd?k`ROjGEsIa@d@[afOXGisEAId@OarOUGlsDQJTCK_LPAGAsOQ?|?KaLPDGAS?aGdYKcDQ@h?S`IOlGMcLQGhBsayPTGeTvI|d]QoHV{jyUBJAd`qpHWskUIlDWajpUWj[TiQ^HPcgQShIcdMSbIRdHQQXH[ciQXHMceqNXF{byPrGvc[QMxFcbim}VOJiTsQyl\GmfVFJjTuAxL\[mPVDjbTpIwL[MmDU}JdTrAwDZ{mVVLJ\trqvl[wlxUwJ\tmavlZclxUtjZTlyuTZQlfUpJ^tjqwDZ?l|UkjVTjYtLYilVUmJRTjAtDYslNUbJStiqslYOlTUZjLTfIrlX}k|U_jOtgisTYEl@VLJITdax|XSm\UPJdTrAq\XGmVUWJFTeQp|X[k`UJJKTdqplWokrV[JCTaazt\skRVXJAtuqo|\gkLVZI}TuQnt\gjzTyJnTvAn\VcmzTuJMt\qrtV_k~ToJMTeqmTXgjbUwIrtYQvTZcjPT`JVtWquDUGlbTWJRTUatDTclNTTJQTTqslTWlFUuIctlqh\SgljUrIbTQAudZGiNV@IVToqeD[Gh^VCITtpadl[ShXV]IQTGazl\ohFVXINtuqcL\gh@SYiLtEYaX\YmmSTjkDDI`h\Mg]VTiFDtI^X\AfyVQh}DsY]h[]fmVHhzDqI\lMyfXTiIQtHqldUkhLT@ImtOaj\S?ixS|IhTTAf|TKh|TKI\TRafdSshvSxIftLqiLR_i`StIqTLaktROjJT]IWtKqkDRGi~SgI`tIaglQciHS]J?tFAoDV{gzSQIJtDaaDPCgpSBIAt@a_LOGgHSFH~TAA_DOcf~TlH{TZa^LU{ftRqIxt\Q]dVOffUAHvs{QodN?kFSIHtSyq`dMcgVRgHqSxQ[tM[fFR\HoSvq[TLwfBYaF\rnHvSz}\|M|cAQ@X?s_]OPGHebRPxgksaYTLHiDTBI`\Oug\SNiHTCIaLPQgjSRiJTEIa|MmfRRihrsyI[tMUfFRchoSwi[LLye~R\lkEnZV|jytpYxlZujRULjKtVYkLXUibT|i_t`YhLVUirSliotNYlLRUiBSTigtHYhLPufJRthutBY_lNurBRTkwsrZLLLuqRR\kkstZILKugBWliCuFY^LaUoBRdhwuDY\L_urBAlkwonZLKJUtrQDlWsbYQLiu`bUTjKsHYDLWu_bUDiwsFY@LVu_BYTlOr|X~Lhu\RYTlOrnXuLhu\BXDfGuNXrLbU[RYdlGr`XnLhutRLLl[rVZUKtUXbYle_unXfLjUrrK\lCrJZOKqUVbSdd{tFX\LPUhbJTdotNXZLQuTrWtdcuPXWLbuTbYDdSubXSLfulrHtd?trYwKfunrH\cstzY}KeUNBWDbwuDW|L_uorFLbguHWzLauKZEDbIpZWnkVUqRBD`guVWXLdUlB@LjWoTYtKDumb@djooZWML\uCrVT`GtxWSL\uCBUtjOobWNLYu`rPlgcs^YGLFUabN\fssXX{LDuIbLdaor\WjKuuHrNDacrtWgK{uPRClcWpLWcKbuQbC\ccpBXGKPUFbGTa?qHW^K`uErGL`sp~W[K_Udb?Dh_oDYVK?ucq~lhSn~YSJ~T}b?t^ooPVzKBu@Q}\_KndWCJwtzbKT^?rBVnKoTzRILdKnXXQJttyA}d]cnjViJzT}A{t^cnNVdJztwbEt]OppVbKZuLQ{LbKn@WsJnv_rRthqszY_lOufyNlF}b|D[anPVYGtCQaJP@g`sOh}k~M^hNuf{R|x|{}y^ZNpfwR{jKDeIrBXPkhuSi}|^enpVsjzT|Y|D]inRVejqtxzvHyA{|]^nLflzrhzY{w]wnKVejrLzS{n]rNJVlBqlxG{X]SNFVcrplxC{X]ONEvbrptw]{P]En@v`Zodz?{B]qN?VkRoTw?|Z]@NVv_bttvC{R\rNDv[bpTuw{R\oNDvZrpTxGzV]SMuvcrldw{zP]PMtVcBlLzKy~]sMoVlRkLto|p\]NZvVRuttc|l\YNZvUrvDzKyl\WNYvlBi|ss|N\NNSvRbtDygyT]kMeVirh\sIyF\@m^VOJf|r_|H]eM\VhRfLyCxl[vNPVLRs\q[{F]DMSV`BctqK{L[dNCVHBo|oawT[HmAfjZ_xy}wK]mnWF?juPoQ|a[Bl~v?Z_Dy[vt]gL|u}RtLn_|XZvNTU|bt\yCvfZtNPvgb]dn?|H]dLwvhb]Tmg{vZjNMuzBrdm{{jZlNJUzbq|mC{|ZbNNuwbsDm?{rZ^NLVeBZtuSyN\fMcvXbhDsOzD\cMbVWrglrGx@[aMYVGRe\q{wz[pMNvKBbtt?wt\QMMVSRb\pcz~[VM~VEBnlpWv|Z|MIu~Badrswd[zMHvNBaLowyf[OMivBridoozv[LM}VArnTqovN[mLsvJR\DmOxRZeMTuxRdTvOuv\uLmv\RZdl_zn\xLlUuRnED_?`?Q_GoDWA[@QktU[jLtfYr|Xyl@UajOtdyrLXaN~F}c?T@y`LOagHSEiAw[CLUEpBd`jOwwZSLUElB^`kOvWW[K]EJA|`^ooWVSIeDlAd`[OhwUCH}DhAb`XOgWRcMUCpB``LOwwQcLmClB\`nOcwOcKuCDBH`?OqwXCFmB|BL`dO^WXsDEAhBR_hOsWHSK}A\BR_eOsWUSCeAHAt`WOPwFsJ]ADAz__OmWDcJuE@?p_VOnwCsKM@TBF_SOpWTR~ED[~t`UN{wTr}}DW~l`TNyvojwd{M|z]}n]WJby}B?}r_nNkV~cFU?@@x^~O\wPb~\~tAP`FN}V{cG\~PAH^rOawMR|}B[~b_wNwVzCEL}x@f^lOXWLR|\}d@l_sNtWAb{t}\?V^gOEWBr{m?w~F_LNqVwC?L}H?F^`O@VvS?d||?L^]OAwIrzT|p@Z_kNlvrcBe@w}`^NOMvrSBT{p?v^JOKvqC?}?c}T_GNcwCBwl{\?d^EOGvtBv||S}B^?NjVmry\|C|t^QN[oBw@k?zF[QQhIScyQ|HYcj]~n_voJvLzm|tbpPzw{s^MNHFpbsPvWzs]uN@FjbqPuw{s\]NDFXbnPsW{C\UMdF\bdPcwxsXEMXENbePbWpC[}MTEJbwP`Wos^MN\EBbsP^W|SV}NXE@aYPtwfC\mHlFXaVPsWeS\MH`FTaoPmWkSZmI|E|bYPgWusYULdEbazPYwnSU}JpDlawPXWmcUeJdDfaePhwiCYmI\EhabPjWhSZEIPEnaOPewrsP}KxC\bIPDwbCX]GtEXaGPOWgcPUGdDBaDPMw`sR}GXC|aAPHW`CQ]GLCba@PJW^sQmHPC@`{PoW^c[ML|Bz`yPpwxCN]FdFD`uPUWjSM}IxBpahOxwisMmIhBh?I_EOAw@[?q?T[ym[VMZelr]xldGQ^xQcgMSdI@c|QdxNChmRxIXcnQgXJSh}SxH\ciQgxSsdeTHHVdJQIxRSa}SpGldGQHXQSaePLITcBQgx@Si]THGHcAQgX?ShuO@I^b~p}w~k^eNjFvcxQaxPsf]RhILcwQaXLsgURXIFcfQKXISbUQ`Grc\QQxHcbePlHHc`QFxCSc]P@HDc]QEXGC`uP|GZcHQWXKc`]RDGTcEQXxACemO\HhYZlLUeZ?D_IoBV}j~t~[AE@J?b_FoCwAKqaXBKieQrGhc{rAW~KkeMrJhb[qqWrKSeWrDhd{qiWnKWeRrIHakoIWvKCeMr@hb{nqXBK?eQq~hc[lMUnJTdeqsXX{keUNJJd_qpXW[iaVVIkdvqih\koaU~J_eErAh[[laW^J[eGrChZ[jiVnI}d|qnH^KnATjJsd[q{hU{iyVJJgdXqxhUKx`wI{@]@ltUzJ\\muv^ZmlluvZZdliurZWpUwjkTeIfDVaiqwx[Kl}UvJ\dkrqXx[{u]JNFf`rkHv[zQ\rMqfZrjHvkzy\VMmf_rqHsk{q\NNIfSrpHsK{Y\FNAfNreHvkxq]BMYf^rehu{xa\vM[f[rkHh[zQY^Mqeer`hqkxY[RMIfHrdhokwA[jMAfHrYXl[uuZJLfeprSHt[tQ\ZMmehrfhfKyIXzM_e\rKhskrY\RKsfRr\Hpkva[bLufFrZhn[vIZzLoe~rPhjksaZBLCenrOHj[sIYrK}ejsR?AW?{?a?N?G_CuAZ@\_ioXWMkEuBzAL`AodWSkHv}Z~T~a~j^vnzVrzxt|A}V^LneYNdEmb|Pnh?SZYKdGMbPQFgrS`YHlDEa^PRgjsTYMtDMbtPVg{STYMdC}bdPPgeS[YKdCEbLPDgsSOyFTEm`|Png]SZYGtBUaTOxgcSLyHDA}`dPJgWSPyCDG]_xQBgNS`YJt@e_tPbgoSDyADDeaxOTgHSUyNs~}bxOBh?S?YMs}u^`PzfvS]X{tFEbhNjgxRyX{DDeaxNdfpSUxzTD}]|PbfmSWY@dAm_\OlgDSIY@DAU_HOfgBSGx}S|E^lNNfyRsx~C|U]pN|f|RtoCgAC@E?f?S_Iwy[\UMbFXblptw^KNmFzBr`zo|YaTQmglSniITJYcdPEgXShiFTHy`tO]gXSJiGTAYaTOEghSBiJT@Y[|MMfJR\hosvydTL]h\RZiUSuYcdKUhPRHiRSpyQdPecpS\hJTEyRtQEhDQ\hLTFyPtPecdS\hGTEyPDP}hDQLhDTGYYDNUfpRThzSsyXTNmeXR|hfS~yVtM}eDRrh_S{YVTMudxRhh[SyyStJMdlQjhYSiYSDI}dHQphPSjYsSx][jMR`UojwT[uuZVLheprXxkktuZBL^ejrUxjLYamFV?jUtiiwlYqlvU}jTtnItLXqljU_j[tfiu|YylBUqjNtkIrlRqljT?j[tNiu|VIlJUeizt\Is\UqlFTmjQthimLZqi~U}iltVIv\[AirVAijtTIwlSIlfUmibtkIglXIkFT}jItcIoLXYjrT{jKt]ir\UYkJTijCtYIo|WijBTcjFtbIk\SahnSyidtMIhlTIhfTMiYtSIeLb_?Q?L?D_AO@g?k?q?T?JtfYsLX}aNPJgcrrxy[|E_nOZgKsCYAl@M]jNXfjtRyi\TEiVTLicuPJLLeqqRXEktuWjF|cIrNX?kquWJF\dqpzX]k[uTjGldiqRXWkbuLJH\bYqZWqkfuKjH\bYq^WskeuJJF\bApzWmk[uJJF|cApbXAkVuGJILaQqjWakhuEjIL`yqjW[khuBJDLaioRWIkRuIj?|_QpNWAkSt|jLLeqnvVwktuTi}LdinjXWjxtyjMl]yrrVkkzuZi{l]arbXqjrtuJNLfQmzVYkztsjL|\YrfVSkwuWixleYmbXcjfuVIw|eAmVX]jcuDIz|`anFWUjou?JAL^yofWMj}uIzDLa]p^WpkUuLzElbMcjQXhJseyR|Huvp[DmCU~Z_tnmvd[DmBU|z`DnUv@Z~lqV?Z[ToMu|Z~llV?zZdoEwTYdmFUiZ`di]s|[NmEUgz`TiEsp[VlMVEzRTpewdYVmIUdZaDhMsX[PlGVDZPtpMrt[Vk~VEzNdpevLZTltUuZ\Dl]u\ZllwUszYDm}txZBlbUoZWdj}uPYvleUmzXTjet\YJlCUizOtiusHYpl@UlZUTgEwx\dmOVXzbtuezp\Rm|VTzmttUyX\pmfV[zmdtEyp\FmdVVZhDtmy|\BmoVOZkTsUxd[~m\VKZfdq}xh[hm[VJZetqmxD\jmRVZzcduu|L]TnTVeZtDx]{\\|nHV_ZqDv}{t]HnEVfzpTxu|@]BnQV`zsTwS?D]}nU_@JwTzC?L^?nVvm??dzM|k?An]vm_?tzV