CAT(2774,2)
Sparse6:
:~?jU_?O?G?CB[@\?o_VoIoDsAs@`?k?VoMgFcBm@n?x_[OL_ESBK@j?p?YOLGEsBU@n?w_[oRoHgCiA[@J_e?QWGsCaAN@L?bOR_HCCoAN?~?dON_H[BsAR@C_aoOwH_CAAA@M_`?RWJ{EAA|@W_lOUWJ_DUAm@\_l_TgHwDIAa@S_g?SwKWEaBQ@`_p?XwK_EiBK@k_q_YwLkE}B\@p_xO[GN_BE@f?q_WoKgE[BQ@l?t_hOTGI[DuAx@Z`A__gO_G]CEAE_}?aWNgGiCO@}_~__gO_GECEA?_|?^gNWFuBq@{_{_^wNWGEBsA?`C?[wPOFUCQ@s_{?`WOwFYCK@v_|o]gNKIcDBAa`OOgGSSIEC\AO`FofWR{HyCtA[`LodwRKHaCjAU`IOcwQKHICVAL`EOlGU[JIE?BB`^_oWVoKID_A|`\_kWTwJqD}Aw`\?oGVoJeD_At`W_lwTwJYDcB@`Y?owUWKIDuAk`]_jgV_IuDSAw`\?iwTGJeDMAj`R?igT?IeDMAk`S?jgSoIuDiAb`Q_lwS_JYF[?h_TOIGECA}@\?j_UoJGD[Au@X?|_^oNgGCCIAB@a_poWWKcEYBJ@r_yo\GMsFaBnAd`PohGS[IUDHCKaFPBW`cOyGZCNaGpCG`GOQGUCDaD@?w_GOYGOC?aB`?g^gOEF}CA`~@?G^_OQFsCDa@_}w]wNiFwBx`{?}w]ON}FyBr`w_~g]WNQFcBu`w_|W]_MmFkBl`y_zG\WN]FYBx`u?}GX?M}EQBo`b_zg[OOYGOBcaB_ww[KMAE~B[`nOvW\GLiEuBi`s?uWYoMUFMBV`r?uGYgNAEgBm`h_zwY?O}EcCP`g`CG\?KuFSBN`s_rg[wKiFKBK`d_xW`GKQEICJ`b@AgjgAQ@D?b_QoHwCsKUEHBEappXWkcTOIzD^AjPTOjsUKIPDIAqpQOkcRMHjCsaWPKgeKQsItCnAmPJ_j[QkItCkAmPI_j[Q_IrChAjpU?c{TcHHDVARPU?ckUGHDD`APpW?cKPwJ@C_ApPFokKPkIzC\AnpF?jsPSGtCUAKpDobCSkIbDLAhpR?iSR{IDD@AaPO?g[RoINC}AapP_fkPOHrCQA\pCofSRWI\CwAgPLoh{YG@T?h_SOIGDSAeGpCYaKpkOtGX}LAEgbT@gGsOXuLGE[bP`fgsgXqLME]bR@fWsOXeLGEZbP`egq[XUKhEObHPcWpgYaK]EibF@iWrwWiLAEKbD`gGl_YUJ[Efau`hgqoWQKoEEbJ``WowVyK?EHbC@^woGViJoEBb@@]WmgVIJmDsaz@[wlwVuJuDpaw@^Gl?UeJSDfat`Xg|OAI@H?b_QOGwCSA]@L?d_QoHwCsMYFNBd`sOyg\KUaJNDeb}P~g~k]QNLFdbrpyW|C^CNDFqBopwo}C^KNBFtBpPwo}c\{NXFiBoPv_|[\wNZFnBoPz_z{^cLtFzB]P}_v[\kNZFnBmpz_zc\aMrFYbiptwys^OMhFQByp{oy[\CNXFNBtps?|S[wNbFqBePrO}C^wMRF|Bdp~?xS[YMPFFba`}Gw_^YMEFvb`@}W~W[ANsF@b]`|gvw^aL{FvbZPlWucZ]LrEwbWpkwuS]OLVElBrPj?{kY{NREmBsPk?{{csNHFebqpxw|K]aInDXakPUgjcTmGdCSaHpDWa{PYLVElbUPkGtsY}Q~H`coQWhK[eQQwHXcnAUxJgdiQaHcchAWxKOdAR?HMcnaRXKGc}QUHOchARHIGciQOHNccaRXGwcyQLHCcaqOXG[cIPjGucZqKhE[bQQwGkcnAJXJgayPKHXcSAUxCwdiQgGccQaTXIWaMQkGacOaUHC?d]OyHUcNaUHBod]OsHTcMASxBWdQO\GOcFqCXA[`IOPGIcCqBX@[_qQMGBcca?h?_caOMHKcBAQh?gcmOgGycJAMXAgbaP{GncWaOHE?b}PuGhc]aIxF_aiN}GVc?aEX??`aOJGEcBq?h?[_QN~G@c?Qr@XWkUUUJFddaphX?keUSJGddAqXW_juUCI}d`anHVwjiUAIzd_AmXUokaUSIwdZaqXUofiToH{dZa]xNwjiR{Izc}amXU?jyTcI|dWanHSciYTJIfdSqiHQkhYSnISdHQcxVwgYSOJ@d_A`xMsfQRjHvc{Q]XW_eyUCHod`aZxMWk]RcJDdbA[XVwemUAHld_AZHWgeURMJEdbaXhL?kIRSJCcsaoxRWjMTiI\dYAfHSGhETEIOdPAbxPghiSoIMdEAeXRogeT?IJdNaahTOgMTWICdTa`XO?i}SCImd?ajXbCpeWnKSeJRDXaGn}WAKReHB?H^GnMVuJtd|A|H]onqVoJ}dza~X]?lyV?Jqdwavx`_m}VYKJeEazh`omiVWKOdtbBx[GoUVEKFdpB@hYgmQUmJedjAxXZOmeUoJgdkaxxYOoiWOJSeCasx_OkuWGJMdeB?xXwlmU_J[dgavWrsXqKzE^bOpgHGCbyP~Gzc]qNHFCbiPrGkcVQJXhGtUYMLRecBTHhGsqYMLJecBQhggtIYKLPeaBSHhwsYYILLefBPHeOsuY]KsefBKxd{rEX`KkeVRJXiWqeYgKjeibIhiOpyY_K^egbFXb_sqWuLJeLBQhcoryXOL?eRbNxcWrmXIK|eQBNHf?sEYEKye[bOhegqAXCKveZBGXoo\}N@F]bpPww{KYuLXEjbWPjwtsfyR~H|c|Q]xNciMTDI`dNQgHR{hqSzIZdKQehRKeURNHecsqYhLCyW[ZMKFQrb`scxC\NMhFFrc@tCxK[XMSFFRc`pkxS[^MPFJrc@qsxk[RM\FDRf@p[wg[tMHFKRaprKwW\BMGFPr`psSwW[|MGFOR`pr{uO\NMhEpRi@k[xkZzM\E~rf@nsvg[jL{FJr]pqsxwZnM_E{rfpnCvO\HMeEzR\PskvEZfLqevRZxmCxOZZMREtrc`lcu_[pLiFLRYPrKuS\DLeFOrXps[u?[FMDEorVpocto[FMDEnRVPoctc[@LZF@RU`oKw?YlM@Ejr_`jC~_QNHHccQQhH[cqVfJtdyQ}H]{nYVHJedqqyH\Km]^uOGgCb~X~`?]^oOCf|C@h~H?U_ANwg@b}i?O~e^{Nzg?B~H~w~u]|N^fmruhz[|q_ANNg@bri?O|A^{NJg?BrX~w{q]OOGgCbqhxH?]_GNDfbc@i?g{Y^iM~fzboX}o{A\wNtf^B|xvg~Y^eMxfyBmxvO~I\kNqfyBmH}Wz]\aNpfXB{H|wzA\eNkfYbzhu_}u\SNofUB{XtW}}^YMlfvBjx|_yy^ANAfpBpH{?{M^QNVftbuX|O|a]gNbfjBxXyg}Q^KNPfsBsxyO}]acPHgdsQiGtCaaNPNGHsDQID@OabPKGGSRaATCs_bPKGEsRa@|Cs_\OIGfsBAIL?ka`P?G]sOaF|CC`|PBGYSLaGlBSaHOjGJSDqDlAo_pOdGWsHqE\AW`dOvGPSMQCdB_`FO^GSSIaCLA?`ROyGMSNABtBk_zOXGWSJaBTA{_vM?f?r_ho[wU[HPdG~sXaOLEOc@Pzg{s]iLTEmbXP{Grs^aLLFsbPP~GisTqOLDWc@P{GhS^aI\FsahP`GwSWqMTEGbbPlGnSZqKDEwa~PZGzS]AJlF[axPWGxsUaMlDcbhNkfvRzX}C~E^^NqfyR{x}k~Y^nQAHOS`ASTGKdBQ\HSsfaT\H{dTQbHLShQRdIOcvQeHJseQTDH_dNQSHOSdaSTHSdBQPhHsciPtHAc^QcHDsbQSlIKcXQGHSsaaT\GcdTQeHBS`qTDGSdNPKgfSRYH|DEa`RGhcspyWdKYeJRLH[SrqVTJce\RIHYsrAU|KkdlQqHdSlAXdJKeVQnHesrqULJ?e\Q}HUSjaWDJ{dZQzH_snQW\JoeDReHmSxqZtMSezRQHkssAZ\LgebRUHpSuA[dL[fFRRHnstQ[LLOf@RpHvS{A]\NGf^RgHtsya\lMcfXAe`RoiGf{SEI@C{a^PNWwS[AMBE|b^pnhO[gUSHI?d@Q_Xbsp}WzKYeMRExyc|Y]jNPfhrsiIlD]alPQghsTIVtKAd~Qzh]snIbpQQh?SeiNdHYcHPmgySbiMDGibpPag}SYiODEYahPmgySViMDDiaPPiggSXiHdEIahO}gmSOiGdDiaPOuggSMiHdBI`PO}gaSHiDdCI`@OugMSMiBDBI`HOMgUSCiDD@Y_pOAgOSAiBd?Y^hOQf}SDh~D?y^`OIfuS@i?C}i^`N}f{Ryh|c~Y]`QEfkSbhydGi^HQYfmSdh{DHIjO@Y?p?V_KoEwBTUW?x?]_MtZ?B{AE@@Bj`uozGmSVQJfDnawp[HBk`yO~GYcLqFH\km}V\JiduQyxlCuiZRLderrXiAt@a_nOZgKsEiPDGicRQDhBs`iYDLIebRRhistIqhX]koURjJDdIrHXAkuUQjLDcYphXMk]USjIdbipPXAkWUQjDdcYpPWekWUGjDd`yppWQkYUEjFd`YoXWekCUGj?d`yo@WYkIT}i~d`IoHVmkET|j@D^InxVik?Twi{d^imhVmjmT|izD^In@VIjgTxi|D[ympVAjmTpiydZylxVIjgTpiwD[yldUyjZTkivTZYcxUihQTjisdIIi`XYikUWiiddyrHTEieUZjLDSihpUYi]TgigDXyhXUYiYTgieDXyhHUQiSTdicDWyk@SYjCTDiodPyk`SQiCTdipdOyfxUAiATai_DWYf`TuhyT^inDNifHTihuT[i\DUyepTui}SwinDLyeXTihiT[iYDUyixRAhcTXikDKYlXQyjSSlisdJydPT]hWTXiTdUJ?O?i?X?J_EoBw@t_w?`?P_HUD?Ac@M?jWSkJUDZAl`QolWPJMUCqrt`GkzV{JbT~axD^smNV{Jct~ax\^smTWMJatorAD_{mHWMJ_TobAD[Co^WJJ^tnb@lZsoXWGJ]Tmb@TZkoRUvKDtmR@lZ_oXWHJYuAaudZWoPWDJXu@quT_WlbUmK@U@AuD_Kl^UjKAtjR?|YooLUgK@U@AtT_KlRUdK?thq~|YWo@WPJQTgrA\YGodW@JNtgQ~|Y?o@VoJzT}A}T^CnnVlJxtzq}l]wnhVcJtTxa|d]SnVVfJotwq|L]GnPVWJnTua{D\cm~VZJittqzl\omlVxJhT}qyd^gmfVLJgtrax|[om`Xg?JOEGA{@Y?p?V_LOEwBK@e?v?Yk|?FGBs@u?x?]_Mt~I~t^us?Xyk}E_jOHfmryY?k~e_jNpgErOXsktE\jLHfUrgXjkzEZZMheqrmXmk{e[JN@e}reXvkwe]ZMPfap@WakOuGzClaQqwX|knE^zJhfyqqXykle^JJPfmraXUkxeUJMPd]qeXjkieZZI`eqq_XokhEZjIHe}rOXLktERzLHcyomXdkKeXzKp`aosXfkrEFJBXeUq}XIkoeRJK@cmqAXCkbEOzGhcIqMW}kceOJH@b}puWtk]eLzF`bYpcWwk\ELJEXbep]WhkWeIzE@aipKWkkReJjD@auoyXakNeXJBpeM?X?I_DoAg@c?m?Z?N_FOBW@{?yuy?O_GoCgAC@I?bXdkruXii|TeipT_ipTWYkdUUjFTjitTYZZxmQvIZ]lpevZ[@mMvCZdloexJXhlauWZXldetzZ@lAu[ZXljerzZPlEuwZRllesjY`liukZ[lieuz\xkauSZplce{J[@kUvCZFloepjWPluu}ZCl`evjY`j}ukZ@lieoJXpjqt{ZOlfenZVHlEtuZRl\EsjUpkquYYwldelzUXmYtiZglYExzTli}t\YolXUkZTPm}tWZplTe{J[pi]tQZglSExzS`mevUYeltEhZ\`iEv[YbluegjRpmevUY_ltEfz\`hmsyZmluefJPLgmsTYKlFUbZQDhEs^YRlIUcjR@gMssYDlKe`JQhgYsOYVlBedi~|_Eo@WHkDUAJ@\_uoXWPkHuCjhxoQya[EmgF@ZbHs]wu\GmLFPjb@sawm\EmJFPzhxpMya[TmgFDJa@sewc\JmGfQj`hsqy[[NmefBjhXoiwW\HmDfQj_xsqy[[HmefAJ^DnivrZ{l}u}z^toAv~[@m@v?jgXrEyI[rmaFKjdpsAyC[omVfOZfhqmxY[~mUFNjexqaxq[im[FIZfPqUxw[fm\fHjcPrQxG[umPfLZ]Pp}vg[_mOe{z]hpqvm[]lzFFZohtI{M\SnBFSznHv}zu]@m|F_Jn`vYz{\wm}f\zkxwmzQ]LmsFbJkhwizK]GmqFaZmXuEzE\tmyFWjjpuuz]\_mvFVzm@tmzc\\mwfVJjPuqyq\imkFYzihwI{G\VmjF_ztw@}@B?__NoGWCD[YmPVFjctqyxThUsnYUlKUejRLzw|p^?N\VnrvLzk|j]|NZvnButzG|p]sN\VkrvLzS|^]pNZvkButyo|^]pNVVkBtlzG|X]sNVVkrtlzk{h]|NJVnBqlxC||]RN_Vcbv|yW|R]gNTvhrtTyK{\]dNGVbrsdxg|@][NPVersLxs{n]^NKvfbrD}w?h?R_IoCwAc@UrhXukyu]ZM|faonWXkKUEjBd`mxz[~m^VMjfdrmxn[xm[VLJetrUwx[]mMvFzcLqA~y_Nn~gCZ~q@B?W^yoFF~K@h~m~m_Bn{G@J~I?V??^vo@F}[?H~b?Q^soDf|k@P~U~g_EoCF|j}i?]~y^pnxf~j}P~}~[^ynwF~J|x~m~W^mnuf{J|X}}~U^pnxfzZ}P}q}A^dnrfozwP}Z?W^aoFFxK@h}M}}_OnoGCZ{I?}}w_HnnGAzzi?j?E^XoAfu{?`|i}k_EoCFuJyy?]}e_?nig?jya?E}`^QngvrZx|{y~O^IntFrJ|H{m~M^HnbfxZx@}Y~O^CnbFyj|H{VB?ZWlkutzZTlquv\rmyv\JmDvIzb\mmvvZZlTuqzV`bOswYsKmEPBT`bOrWXSLEEPBN`_OvwWcMMEDB```OvWZCKUE@BZ`oO]WZsFmFD@|_xOswYsF]BhBT`lO[WLcLuEp@n`eOXwLSLEBPBN_loVwJkDUAr@V`\ORwISJ}Dx@P`YOQWVCCuDl@J`VOOwUSC]D`@D_]OjwGCJM@|Ap_ZOiWTcBeDT?z_WOiWTcBUDT?r_TOmwDsJ}@XA|`YOHWDCJ]@LAx`JOcWQcHmCpAR`NOawSCG}CxAL`AOgwPCI]CLAd_~OWWOSEUC@@bayPTwj[TeIbDTaho}gl{VIFrDo`zp[G]kVIFfBoavpYG\[MyJZBkatoxGlKMaJZBeato~Gf{OAIFB}a_pVGfKUAHvD]a]pWgdkRAJNCmaqpEgcKPyHJC[aPpHgakPaHVCgaJpPG`{SaGfDEaGpAGh[OqI^CIaep?ge[OYHnCCaYnqvxz{t}a~T^hpkWukZMLVEnbUpqGsk[qLRFIbRpfgx{YAMbEabhprgn[\IJ~FOa}pqGmk[qJrFIazpcgw[XYMNESbaplgpkZiKbEwbFp`grKXqKVEGbLpnGoK[AKJE}b@oiWTkImD^Ar`WolWU{JeDvA~`]ptHBk\aO~G_bjqAhBkaAO^GKcNqCH?k`QORGQcBqGg~{aYOFGcc?p}HA{^qOvFycKp{w}{^UNbFlbvqCG{{`QNVGQbspwHA{]QOvFacKqGgz[\yPNGcbmpYWlkUmJ^DrawqIXDkamQ~HbcoqXHGKeaQJHec`qXHF[eaP~Hec]qZhEkbaRVGucuqYhD{eyPfHkcWqRhI[cqQnHOciqUHG{dqQVHYccqbhMKhARjIQcxqdHPKhaSZIUdDq^HR[gAS~H}dMq_hM{fiSNHwdAqjHU[jATnImdYqihSKiQTRIedPnUVjjtmCjAP`HoawP{GuJzD~a|p\WnKV]QZHPcfqPxH[ceVPJ\duQwX\Sl}UlJbdrQuxZCmUU`J\diQwXYSl}UlJNdlQrXZCkmU`JDdiQqXYSk]UHJLdbQqxXCk}VPIxd]QzXVSmmT|JbdrQoxWCmUXS?N?G_Cvyz|d}vCZaNpFWakPeGnFTbkptwz[\}MzHpcyq[xM{fmRrLSecrUHhktYYVLAefrPhi[sQYbLAe]rOHg{ryYJLGeZrRHf[siXrKoe]rNheksAXfKqeZrKHf[rQXrJmeNq{hc[nAXBKWefrFHi[piYbKQeirDhjKpQYnKmeGrIh`kqqW^KieBrJH`[qyWRK?eQrIH_koIXNK]d|q~hc[nqXBJseQrIH^KnYXNMy?C_BO@[ziZvL{f^r]HvkvI\vLsf^r\hvkuq\jLof[rZhu{yyZNLifXrkHlKyyZBMqeqrkHk[ti\jL]f[rVHu{xY\FMYfRreHskxq[bM_fHrfhqkwiZ~MAfFr_HpkwQ\RMkfCr`htW?{?e?P?H_BoAL?y_PN~gES?Y@S~u_POBgBSBY?d?m^TOBfvS@y?c}u^HN|fsS?X{s~}^`N^fyRwx}S}E]pNvfmR}xzS~e]`N@faRrXwS{}]LNRfdRtxxC|S?Q?L?D_AO@g?ma`K^ePrGXckqeXNPMg^sRIG\CiaBPMgasQIHlCYaVPOgRsTID\DI`ROwgasQIFlCY`vOqg^sLiG\BQaBPUgUsKIJ\Da`^OaghsHIIlAAabOYgjsFiJ\@qarOPgFsCyAl@e_nMnfXrkXu{ze\jQ]gusgiLLIAbVPyhKs^iRlFqcvQ]gysgiNLIAbnQWgvs[iRlHibbP^gmsWYK\E]bJQQhBsaiQ|GacjQKh?scIOlGycFRMhQssiTLLAdNQuh`smiW|JaeJQ}hWslIVlKAdfQihcsrIT|KidZR_hisxIZLMIenRehlsyiZ|MaezOHgDsBYQ\H]cjQLhGsby^DOefxSDh|T@y^DN}fxS@h|T?y\dOUf\SFhwTAY^tNMflSBi?S|YdDCua^PJh`spyWlKEd~Q|iUTLYfDQehTSviSTKYddRMhTSniPTBy`dQUhLSJiVTFYeDP}hdS`iJTLyfDPmgpStiGTHycTPUhHSRiqTPIj|SIjFT?iotMik\Ryi~S{iotSihLTYiNTSidtUIhlTAizTMiltXIm|VijRTei{tZImLUyjjTiixtHyclQMjxUHi~TbYoDWmkDUJjBTbYodWei~Tbio_?irTW}k_?EjNtc_?dXukg?CjL_?irDX}kk?EjM