CAT(2678,2)
Sparse6:
:~?hu_?O?G?CCWAF@D_aOPOGCCGAF@@?aOM_GCCG@x@@?\oO_FkCC@~?}?_OOoFkCS@|@C?^oJ?D{Ak@`?l?VOJ_EKB?@f?n?XOKOEcBG@j?u?XoLoEcBW@r?w?YoLoFSBc@v?w?]OJ?DKAs@T?j?SO\_CsA]@J?k_UoIwECAy@^?p_XoKgEcBY@j?v_[oMGFSBm@x?g_TOIWDKAi@PAS@B?aWOgGaCMAI`@_`gO_G]CIAA`@__GO_GEB}AA_}?_GNoGEBy@~`F?]WQ?FmC]@y_|_^GNGFyBs@|_xo\WMcEsCV@n@EOZ_PkF?CV@q@Eo[OPcH?B`AM?xOboMKDSBV@V?tOT_LcEwBH@n?qoZOKsD_BT@X?uOU_L[DkBl@w?moV?M{DwBl@_?zo]?J{EGBR@b?sOXoKKDIAh@R_e?XwHoEeAY@g_foSWICG_ARAI?dOaOH[CWBf@G?yoPoMcL{@D?c_PoZwLkEyAL@G_boyoZcLyEzB[`nOvWZWMIEqBc`p_ugQGMICeBc`H?ww[oK}FMBL`f?xWT{JED`Ah@lOuoTSIkErAk`VOjW[wIaFKAf`R?xWYwIMDIBW`Q?tgYwIEEoAa`j?gGRgL}C}B``N?wGROL}CwB``L_wGYWH]CqBT`i?eGYWHQEiAT`i?dgXGKiEOBK`b_qwY?KQEKBQ`a_sWW?KED{BB`^_ogVWJaDsA|`]?mWUOJUDgAv`X_lgdgLqE|B\_QoHgC{A]@L?d`GocwQSIaDLAfac@M_fcRwHvCxA]pJWd{QyHYC{a^@JwdoRuHSCzaU@MgdWReHOCqaS`KGeGQ]HgCfaS`LWd?RMHgC`aY`GweWQIG{CoaO@KgbwREGvC\aMPEGbKPiHSCCaU@@WdWOMFaCu`x`MG]OR]F\Bo`voyofcRwFZBkA]oy?esMgHnBhA[O|?csNWHJBtAQPC_`{POGbCRAGPB?_sO_G\CFAEo~o_SNsG@B}A?pAO^SNoGVCI@|pDO]{P[FrCU@{PcoCSAQ@F?c_POGwLCEeBN@i_uOYwM[FUBhBi`soyG\CMiFREnBU@jWt_YyLYEmbQ`iWsoYmLMEibG@iWqOYmKaEibU@bWtoW}LYEMbP@agp_YQKUEbbD`hwp_YULKEIbC`dWowXMKOESbJ@aGr?WeKmEFbS@PgggYaLODFa_@bWfwW}IAEMa`@cgq?SQIEEPb?p_woSVyJ~E?bJ@^Gr?VuKmDza{@cwnOXUJqESay`fGmwXyJkE\ax@iWmWYmLSDsawP[Wl{UkLDEcAspY_s[XcJFEZAqpe_kcYCJDD_BNpWOsCXcI|D^BLpe_jkTgKxD[BNPUorkTQIlDTajpUWjCX{IPDHBOPgOhSWOJLEEAsP`Ok{SwIdDOAhpRoiKSkJXDLAvPR?lk_oEfBT`iOtgZCL]ErBZ`lOcWQ[HIIJDFabPPggkS]IVDLaeQExBk`qO{GHcOAAxBw_iOMGWcLAAH?o`eOuGGcBAFXB__]OQGBcAaAx?__iO{G?cOA?hBw_ENyGKb~aBg~o_uNVFkbupyg|C]eNIGQbraDG{o`MOiF^cJ`wXAo]AMwGTbnADwzg`YMqGKblaBgzO_uO]FUbkACXA?\]OcFRcI@tHAW\UOaFOcF`shA?\EMMGWcL@qWx?`eMDFBb_ppGws[UL|E~b_PnWvcZmLpExb\PlWu{ZYNaFvb{`{w}O^aN[Fsbw@|g|w^UNEF{bq@}g~W]IM]Esbf@kgxgZML]FIbW`rGu?[mHXCiaTqJXD{ayQ\HNcgQRHH[cuPeHucYa\xMgbQP_HtcXA\xEGfYPTGkcTqIHDKa]PHGecQq[`KSfOR@HrCoqZpJSdoRbHoClqQ@I{cgQrHHCkQT@Gkc[QlHECiqO`Kse_QHHfC`qNpK[cCRJH?CqQN@J{dwP|H\C]qMpL[ecPtHiC[qZ@EsewPpHlCZqSPCKdKPFHQCPPNwgCSEIFDAaaPZGlsUuPBGbcPQlpUKjcTfIwDXQl@TsjWT`ItDVqk@QSiwSbInDGQiHTSieTJIfdRQcpUKhSTfISDXQlpO{gcTrIGD[Ql@NCjWRtItC{qfpRchwTBI_DMqipPcggTZIJDUQbpOsgsSHIMDAq_PRKgKSvIADLQ^`Scg?TFH~DPQd`Nch_RvH|DJpHwdKQaFZBj`uOzg]CM}NnFxb{P|W}s^QNDFcbpqy@]cmcVjJfDxqy@\SmoVRJjDrqx@]CmWVdJdDwqzP[cm{VLJmDqqwX[[mIU|J_dnqzPYSm{UhJmDhq{@WsnGUPJpDbqop]kkSVfJCDyQnP\Sj{VXJjD^Qu@Z[lgUzJXDmQoPX{kGUbJ?DgQr@XKkkU\JIDeqtPVSl[TxJUD\rH_pCWeKNEJbDPbGpkWyK^EObHPcWf{SAIBDCa`POxK[eURHH_cpQWXJkd}Q|HYcmQUxI{deQpHScjQTXf?q}XsKpe[bKHdwrUXaKveWBLhfWqqX[K|eUbNHeWqqX[KqeUbLHdGsEYEKjeTBOhfoqeY?Kje^bIhcoseYMKgeRbQHg_qYYKKgeabHx_OsQWGLEe@bPXbgr]W}KteNBLhbOsEYEK[eLbOhawrmWqK|eKBNHgwpQYOKTecbDhaGrIWeKseHBKxaCo}W\KJeErBHf?oaXsKIe[bAX_gryWML?eBBNxcWn}WAKdeQB?HcWnqXIJ}eQA~X^GqAXCJzd|BGX]oqAXCJwdzbGXr?_aONGEcCqAx@Sg}S\ILdDQbHP[g]SRIGc{Q]hNKxk\NM\FSrf@tCxk\@M\FNrf@rsx_\HMYFQrh`rKyC[pMbFLRg`rKuIZHLbe}r^xnsxwZ\LoFORZpr{y[ZVMhEuri@lcu_\HMeEtRYPskuW\BLfFPrXPsSxSY~MVEord`kCtw[nL\FJRV@qktc[dLZFHrU`qcxGYlMREkRd@i{tK[^MOEiRcPikt?[^MPEhRc@iKwoYZLNFFRR`pksg[XLKFFRQppkvg[@L{F@R]poKv[[FMDE{r]@ocwcZhMJEzRa`mkwWZbMGExr`pmS~G^LNgfrrwx{k}Q\eNnfYb{Xu_~A^]MofXB{XuG~A^WMlfubjh|oy}\SNkfUBzhtW}u]yN_fnbwhzo}E^QNTftbthy_}i]OMufdBmHxGz]]sNDfbbvHzW{Y]CNPfhbpHyO{M\}NVf_buXw?|a\wNKf^Bqxvg{u][MxfgBmxxwziX@KaeOrGxckqQ_}OCgOc@iC@?U_rOYgLsAi@d?m_wOFgMcAI@H@y_}NtgOb|yC?~Y^gO]gMB{h}X@u_AORgIc?yA`?I^{OWg?CDh~x@]__NzgGb~X~`@I_YNwgFb}i@o~e[XMMfErbxqKxA[dMSfHrdXq{xYa?Oag`CHIGHAMa?O|g`CNyGHBy`sPEg]CQIFXC]`mPHgdcMIFHCiaEOsgZCPYEhCQ`bOqgXsJiEDA}`YPBgTcPYD`CQ`OPHgTCQyDHCi`IPEgRcQICpC]^XNmfurzx}K~AbNPhgsSXIKtEUaoPiguCUiJHEmbSPTguCTyIpEmbYPQgvcTILpDMbYPNgvcSYLpDAaWP]gfCWIHhD}bAPZgpcVYKPDqcCP~hAC_YOXGAb_P{gxC^iMHFucIPug{C`yMxGYbqPrg|c\YNPFQc[QPhGCcyPxHIcOQJhEcaiPHGq@z?~_^OqgX[KqEHBE`apWwkkUQJ@DaaoqMxFSbePlGwcZqphXCk]UFJDdaR\xnKvaZjLueyR|X}{~Y^hNqfxsViKDD}avP\gmSpAVtKSe@REH^smqWLJseFQ{H`SoAVDJgd~QxH^SmqUlJsdnQ{HZSkqVDJgdhQxHXSjqUlJCdnQoHZSkqTlIwdhQqHUSjqTLJCdVQoHTSiATlIwdLQfHUShQT\IKdTQcHSshaSDI_dDQfHOsgqRlISc~QcHNSeqSTHodBQYHOSeqR|Hoc|QYHMspAQdKWclRDHIsoQQ|HceFQWH`T?oAs@a?n?X_LoEgBk@q?|?`_OOFwMCFIBbC?a@P?W^SNqFvFTbhptGyC\IMbH}d?Q^xN[fuRxKAeAR?x_ko]WLMuf[RlxvSzm\rOggTSIYClA]`LPogxS[YM\FUbhSrIZTLQfDROhnSxIWTKaf\RghbStIVTLAdlRKh^SiIWTKaddQkhbSfIVtIAdtQchZSiIQTJActQkhJS`IQtGqcdQGhLSfINTIQcDQ_g~S`ILtFAc\PshDS_IKtFabTP{gpSTILtFQa|PoglSQILTDAbDPKgrSTIFtCQa|PWg`SQIFtCQadPKg`SLiFTBI`dOygZRFI?SqA_TKcgBRsIZS|afDNShnRpI[s{qf\NGhtSHHvS{A`\Ogf^SHHttAq\lOgfXRgH~s~Q\TNwfRReH|S~A[|MSfvR|HqS~q[\NwfDR^H|S~A[LNkf@SEHmTAAZtO[ezSBHksuq_lLggHSEHjTAAZDO[enRRI@stQ_lLOgHROH{Ssa]|LCfrSAHesrq_DOCe\RIH{S|qXdKkfrUa?DOAw@c?u?^?MjV?CWAC@Ilg?R_IoDIudZYljUujYTlYfhZEleS{i^Dkir`UYk{TgjMdXylHXyjUU[itDfYtpUMl_TdjVdXIk@YyjCUoiodjytXT}lYT\inDjIjPYaiwUiildiYtXT]lYTWjUDUYi`YaikUhiidiisxTEieUdjRDSisXSylGTOjPDRysPSmlETLieDhIhHYUiOUfidDhighX}lATFjODPigPZEiGUri`dkifxX}lAT@jODOIqpXAkoUQjJdcYphXMkiUNjFDdIpPWQkWUEjDd`YoHW]kEUHj@DaInxVik?Txi{D^imxVqjiT|izD]yrHU}kuTpjLD[Il`VIjgTmiud[z@pXqkzU]_KODwAs@a?l?V_KoEgB[@e?v?Y_MOFgBk@q?z?]kGEFz@p`uo]W]kFEGJ@xaIo_W`kEEEJBH_uoUWVkLEAzB`_qouWLkHEAZ@@`MoaWIkIEAj@H`YoOWTj_ToiwL[MmJVCj}EGI~paInyW`j{eFY~X`}nsW]kLD|i~@`qouVvjxeDY}h`YogVsjxEEJBH^En_WVjveCi|h`Mn[WPjZe@Yv@_]lqWEj\E@z?hZmoKU{jtE?j?`]qoEVjjrdwY{X]enCVgjqDvi{p]AnIV^jjdvYzX\UmwVUjkdtIzP\ImoVRjfdqYyH[mm_VIjfDqIx`[]mYVEj]e?Z?@Z}n}U}_DOBG@[?i?V?Kkze@Z?|_Y?Z?N_FOBW@{?y?b?O_HOCGAS@EfnRxh{S}i^dNmfzR~h~T?I_TOEsAXvl@E]JO@fermYBk{e`ZN@gQrgXyk}E\jMhfmryXsk~e\jNpfUrcXjkxeZZMHeqrcXmkxeZzMHfArOYElCEYjOxeesEXdkre`ZKpgQs?Xal@EXJOHeMryX^k~eWZNpeAqwXmknE[JJhe}rUXXkleZZL`diqkXyk}EUJIxfmqeYNkiecZI`hAqZXNkfUSjIDdEqSYNkeEcZHXhAqMYElCEQZOxcasQXCkbEazGhgisWX@lFEOzPhcIsQW~lDeOJPPbypuYKk]ebjF`gup^WpkWULJE\bIpRWjkTUJJDtaupoWbkQEMjChbepKWtkSELzCxbYk~U`jOTiitDYelXUljTtkYu\ZIv]Yclwehj]@iUtqZel\eyJVPm]tkZnl[E{ZUxnAteZelYeyJU`m]t_ZhltekZ\PjIvWYllvEjz\hiyvSYiltejJTXmevWYflSezjT@mus|Y_lNugZS\iIspYYlKuezRlhqvEZPlqesz[`lIv?ZMloesJ[Pk}uUZ\lnerZX`lyumZGldEuJXHleusZDlmEpzZXkYugZAljEpJYhkMscZ@l^edJQXkAsiY{l^EdzQpjuxCZqmQE|JcXnMwq[^mOfEzbPqAwk[[mKFFjaxpuwM[jmUfAZd`oawK[imAfIJ_`qewA[Rm@fDZ_PpQwYZ}m?FBz`pn}vu[ImEE~Z`Xnqvo[Ol|FCj^HpEvi[dlzfHz]pqYy]?__OoFwCKAA?~TeisTXylLUmjTWtkZuLjFDbipr\WMnVUbkDtcy~\ZMivVRi|toyl\XMhvUbidt_yd\NMivSRi|t?yl\MMgvRRiDs{yX\RMeVRbidssyd\ZMYVVRettoxj[pMnVKbkDrKy~[mMbVKBhDq{yN\BMcvPRh\sOyT[yM_VObf\royB[vM]vMRf|r_x|]MKCUAj@L_moZWK_HoDWAc@U?f?SjZtmYvDZilvU{lmuvzZtliuxZZljuuZZDlQulZTl]UnjVlkAuBY~nMfjzuHx}|_]]nLFjJrXyy{w]lnNfdzrhxe{{]WnLFdJr`xY{u]TnHfgzshxE{c]cnGfgJqPyI{e]`nGFiZtPwy{]]jnRFbjq@ya{]]fnIfazqpwu{g]KnDfdzp`xa{Y]Xmpf`zopuE{I\anUF_jo`yy|Y]Bm~fjzuHwE|_]?m}FiZnpymzy]im{fgzshvmzs]cnRF\jt@va|M\vmxfgJmhyIzg]`mwV[jmLu}zZ\mnCFYjpPuq{Q\jnBfXzopue{I\gmqFaJkpwizI]Ho?E[jM\fErhXukyvCzalpQw`[QmGvBZ`|oywT[KmDwAS?]?l?J_IOAW@C?}?`?J_BOBW?C@}?H?b_@OGW?C@e?H?\_@OEvvC@L|x?V^\ODWBrzM@C}v_ONlWBByu?w}p_LNjvss?u?_}j^SOBvrzxl{y}T^Kndv~RxD{[~~^}Ncv~Rwd~{}J^EN~Vor~T{C~v^AN}Vnb~T{?~x]~N|vnR}|zo~r]zN{V|BvD~W|t^tN[vlR~Dz[~r^vNZVkb}l~O|f]sNzVyR|l}g~X^gNtvzb{l}[~`^nNrVwb}L~K~H^qNpvsRz||G~B^_NgWUcHeCnAZ`GodWQ[Iy@nAq_\okGFKIy@bAq_YokGE[Iq@VAi_VoJGTKIi@J?g`UoHgTKBqBf@?_zoNgMkEyCz@o`OoZGR{IQBJ@_`RoggK[DiBr@]_|oVGNkGAAr@S`@o^gI{GQA^@Q`Co`gIKCaCVAK_eoQgP{CIBN@i_boYGGjolw]{L]GnDVa[NUFfBp`voyw\kOiFNCK`spAG[kLyG^BaaHowGaKPAD~AyaHpBgVkOaDjCK`[pAgU{LaEfBU`mougYkNYE^By`gorG^KOIENCE`dp@GXKKAFzBCa?oog^z}d~Y~j^vn{V}Z~T~q~v^|n~v~kTQGnDOaIpEGi[SiIjDMagpRGi[SQJFDGarpPgkkTiIBDUa`pNgjKTyHvD_a]pVGfKR]HfCtaVpKWdkTyHVD_aRpVGdKQAJFCcarpGgkkPiIrDYaNpFGi{IeDZAj`VokwUKUeJZDjbPpgWr{YQKBEgbAphgo[YQJvEga~phgnkVQLVDwbVp\gtkYiJ^DqbVp[GtkXAKfEKbJpbgqkWYKrE[bDpaGr[[yLbEsbhpkgyK[aMvF]bepqgzkZqMjF?bkpngy{ZaMFEybaplgw{]qNfFsbwp|g|{]ANNFcbtpwg|JhdsyyZ^gntVyZ{l}Y~N`\onwVkJ]DrAtbEpcWp{W]KVEHcSQFXCCauPTG^cRQExCc`ePDGVcGQFXCC`UOdG^cFQDx@S`mOXGXcGQ@XAc_]OdGHcDQ@X@c_eO\GFcRP~XCS^mNpGdcSP~xDc_MPTG@ctNEvbJp[?a?R?FoVWJ{DmAj@X_jpDwbKPUGzC^aLpkWukZMLnEzb[qdHPKhYSZIWdDqbhO[hASNIQdAq^HO[gASNH}dAq\hPkfiSRHwdDq^HL[gAR^H}cuq]hL{faRVHkczqJhJ{eIPfGocoqbhJKhIQzIOclqShQkdQSnHUdKqSHM[cqRjHMcwqPhMkfAQVHqccqXhGKeaQFHccaqMhJ{eIP~G{coqYHEkbaRNGucqq}_@G?k?ZIyd|qnH^{nqTrIqd|q~hU{nqTjIod{qjH]kiyVnIedvqih]KiaVfJmdOq{hS[iQVbIYdzqfh^KhqVjJUdpqxhZ[laVJJQdnqtH[KlAUzJgddqzHX{miUZI}daqohXKkAUNLA?F_CoAG?{?e?Pe`RNXgCs]X|LDe^RQxgCsuYPK|eURRXdssmXTLHe`RHXdCs]YHKfeWRFxecqMXdK`eKRLxbcrmWtKxe?RBX_cpEWDKNeHR@xasomWhKHfAQVxK[eERJHhcr_AO@g?k?Q?J?Erchn{wI[jM?fGr_Hq{wI[rMYe~rbhlKui[VMKerrdhnKxiZzMWe|r\hq[vQ[jLqfGrZHokvA[RLmfBr`HkKwaZJMEeprVHp{ty[ZLYfDrRxi[tEYjLXejqzx][nEVjJvd{rvhtKyq^BNafTruHv[|q\~NYf]rvhuk}I\rN_fZruHt{|i\fMofmrfXsKx}\FMffQrphy[{i]nNGfirrHwK{Q]bNAffsAH{l?q^NOIfsr|i?\?Y^rOCf|r{H~k~Q_BNqf~sBh|[}y_fOOfusGIAlAQ_rOagJsEiC|@y`VO[gSrNXgKr}]fNVfirrXyK{}`pPDgcSNYGtBm`tP@g]SNyFDCM`|OlgWSOyGDA}`dPDgcSLyGtBUbPL~f@r_Y?\?]_JN|g?r~yMdEebpPlgzSYyMTEebXPngtS[YHTE]a\PdgeSWyJdE}bdP`gnS[YNDDmblPXgySTyKdDEbLPTgpSSySdHycFQ_hAsgiOLIIbvQ]g}sgIN|HIcrQUhMsdIR\GqcNQIhGsaIP|JYdJQyhSsmIS|IqdbQshVsiiU\E]bJPbh]SqYXdKEeTQ~hdSoyXdK]eHRHhNsgySG?Ie\RZhg?@iZw?QedR\?AStIZW?IepR^?BStiZn