CAT(2280,2)
Sparse6:
:~?bg_?O?G?C?S?H?C_AOC_@C?a?R?H_DOAgBO?U?N?E_Bo@W?sAK?P?H_DOJODKAa@V?i_RoJGDoA}@Y?q_W?KWCsAY@L@G?b_NWG_ByAE?{_b?NwGGCIAI@?_eoQgHKCmAP@K_q_UgJ[DyAz@[_noUwJcDuAt@]_noWGKKEIBD@`_oOTGI{DeAj@W_jOTGIkD]Al@X_kOX?I[EKA^@c?goX?ISEKA\@b?gOboE{BY@l?v_[OMGF[Bm@r?x_\OMgE[BU@h@Z_nOVWJSDqA~@a_ooWGVGHyDDA_`OogwR{IQDHAd`QohgSsHIC`AP`FodGQ[HmCzAZ`MofGRcHUCrAV`JOegRCHwCXA^@EOg?PkGwDBAL@Pob_SSGkClAH@JoeOPKGkCpAY@DOa_QkEyBV@k_uo[GL{FmBn@w_{o^GNSFuC@A@_~o_gNsHGBdAN?wod?McHCBlAR?yoc?M[GKBJAC?ro`OKsG_BPAF?so`_LSOs@F?d_PoHGCcAUGk?a_OOGWcOAu@\?p_VoKGESQgG~C^aOpGWcCQAGvC[aLPFgbkPeGkCaaJ@Hgb?Q]GmCcaK@HWawQMGeCNaH`CGagOyGcCSaI@BWagPEGOCYaD`EW_wPmGWC[aN@AgbgOeHOAsaS?lgd?JaHQAraS_lWdGJ]DUCE`S@@WSwOMDQCAa?_jGTOOQD_CIaC_kg`?IyGUAl`W`BGTwO]G@Bz`}O~g^kN}FrBy`yo}G]sN]FfBo`xO{W]cM}FSCL`t`Bg\_O}FQCOaH?zW\oPEFFBg`qoxg[{MQFACc`m`GgcWMIE{Cd`n`Hw[?QYDzAy`^OmwVKJqD}CA``@@GW?OYEACBa?_pGWWOUEaBV`i?uGYgLeEkBY`m?swZWLIEMBL`a_rgXOK}E_BH`b?qwX?KqL[?Y_LoFwBc@u?|?^_LOFWB[@q?|C@a@P@G_[OYGJ@S_ioUGI{DeAl@A_`oPGGkC]ALAh`TOiwTCI]DXAl`VOkWT{JADdAm`UojwUSJADbAs`ZOmGU{JUDfBd`rOww[cM]FPBE`aoqGW{KiERFwBwp{G}[^INjFsbw@|g}O^]NeFvbw`|w}g^YNgFubtPyw|s]qN^FlbsPxG{{]UNRFebkPuwzK\qMzFYbq@rGxg]UM_Fgbf@xgyG]eM]Ffbk@rwzG\AM[FYbl`rGxg\uMaF[bw@pg}O[]NaFGbx`qW}_[iNiFJba@vgzw[EM?F`b`@wwwg]AMEFab]PmgvsZmLzE~bWpkwtsY}LdEobYplGvKZaLlEvbY@yw|OZUNWEubZ`zW|wZeN[Ewbh@iWyWYaMiEjbU`tGtO\]LWFUbP@igsWYaLGEhbQ`iwtgYYLWEfbV@fwtwX}LAEobW`gGuWYALAEqb``SGwgTMMGDPaf@oGiO[EMCDNbN@agpWXqK[E]bE@fWpwXqKYE\bBP`wpKWQKPEDbJ@WWqwUMKoDabL`XWrGUQJ?EYbJ@VWqwTiKoDZan`eWrWTyKsD[ai@mgigZmImE|ak`ngj?ZqIkE~ac`sgh_\YIUFVbh`QGhg\QISFTa`@vggW\}IGF_aa`wW{WS]IKFabP@NGsWRuH{Eca^`hggGY]I?EdaZ`pwfG[mHsFIaZ@pgx?RmHoFHa{@[gmgVuJkDxa|@\GmwVmJwDrat`_WlOVyKEDfar@^woOUeK?DgaT@ZGdWVEJYCkav@JWlwQ}H[DoaY@dGqOREK_CqaY`cWe?XMHeET_HODGAk@Y?n?R_EOBG@k?y?\?Ld\_CG@{?}?`?P_GqpoBC@e?r?W_KoEGAS@]?l?R_IoDH[gAE@@?`_POGGCSnsKxE]bMpfwsKYALDEcbPphWs{YYLZEhbSPigt[YqCZAM`EOYwLcEuB\@o_vo\WMKFQBd@u_xo\wNSFaBx@z_{o^WN{GEC@AA_~P^gn{WAKBEBb@PYWksUiJNDjasPWgkCUMJBDdaqPUwj{TqItD\anPIwdkQ}HXCiaVPKWecRMHjCqaWRU`jKtUYnLUekRTHi_r]YiKue[BThfGt]XuLWekbMhborYW}Kve[BGHfGqEXEKzePBMhb?ryWqK|eMbOHbWrqWwK~eLBOX_wtUYqKGe@bTh_gt]WKLSeABUH]cnUVlJqdwq{x^Sn]VvJ{d{Q}X^WtMVsLQefA~H]wtEY]JwegA}X\OsIYEJdeaAxhggm]YKJgebayXgWnAVWLFdtbOhg_muYIJmebAzx\_rqV]L?dubNX\oryV_L@dtbNx[?rAXiJ^dobKX[OrMVGKqdpbLHZGqiX[J[dmbIxZWqqX]JYeUavhc_lQUoKedjbHxYgqUXQJRdjBIHYwpQUiKUeIatHZ?pMUkKQeJasx`oleWYJ]dmBAXZgomWWJYdlbAhXgoQUaKGe@arxXooUU_KFeBAshWGk]UCJGd`aqXXOkQUWJEddapXXgjmU[I{dfanXY?jyU?JQd^asW~GmiVKFwb|Axw~WmaNyJdb}AyXhoiYY]IgdSbSHTOtIYeIfdTbSXS?jaTCIxd[AgxVGiUTAIydQAmhROjqSuI|dMAnhVWhuS}J?dNAnxQ_l}VAIUdoAdXQwmQVCIXdpaeHdohIS[KidFbIxQ?qqXYIPdHbJxPOjMSOIsdCalxUogmTiILdEAkheGgYX_IAeXA_xeWgQXiIFeYA`XN{gERxH|d?Q^hc_fYXIHveRA]HcwfmRqKheSA]h`wfERcKOcybCXM_pEReKOeFa[Hi?d}YeHbefAVhhweAYcH`egaWhJ?k]QqJGclAqXXOdmQyJKcmAqxIosiQeLGciBQXIOsmQmLLcibRHU?cyQWIpdUaRXT_c}QaImdVaSHHWkYQSJCcbAohGwkUQOJBd_aQXTocETYH?dVaOhT_cMTaHDdWAPH^gbiPwJ|c^A~xFgnyP}J~c\a~hEOpmPaK\cXbFHbGa}WoGmcWBEhDOjITgGldZAIxD?jMTmGkdYaIXC_nUVcGacRa{x]oaMPIJscRA{XB_saOyLHcNBQhBwsmPALLcOBRHAooiWWGWcJbAx`o`eOuKHcLBBXAGoAO_K?e@ADX_G`MWCGSe?aChcW_]XCGGcBBFx@GqAOGK`cAbFhaw_EN{KQb~bCx??pQWiGBc@BDhLObQPiHkcuaLxLWbePoHncZAZhKw_iRQGKcqABh@weaOUHdcEaXiNOjeTtIwd_qpHWSkYUFJDdhqtXYsl]UpJSdlQuxZKlqU|J\doqwx[cmAVDJ^duqzx\smqVVJodwq{h][nQVjJud{q}x^cn]VtJwaEPAW`[OaGTCFaHpDWacAi@P?h_ToJGC{Aq@V?g_SoIgC{Bq@z?}_^oOWGCBuAB?}_]ONwGCC]AD@D_`oPGGsDIA\@N_gOSwIKImDNAi`SOjGTKMeF\Bi`tozG\kM}F`Bp`xO|G][LEEdBR`iOtgYkKmEZBN`gOrgXcJiDzA}`\onGVKKEEDBC``ooGV{^mNpFxb|P~W~ceQRJHecrqYXLCbUPnGsc[qLhFCbiPvG|c]QNxFsayP^GocXqKXES`AOdGTcHqCXAc_QOJGEcCQAX?|QwhUSViSDEidHPYhSSZiUdEId`PegySCiMD@Y_pPygMS^iCdGY`@QAhOR}h~dIydHOEhSSBiUd?i_@QqfySNiFC}Y``NifwSLh|dAi`XNafcSahxdGy]hQQfmSehzDHYcxNQfKRGhtCrY\XKmfMRHhsCrI\HKidkSOiGclyaPJadqSRh\dDIVPPUdSRxhUC}i^hIedORwh|chy^`ImfSQjhtcii[pI]fMQghscjI\@IegwQZiMcfIbpHug}Q]iOcgIc@H}esQThmCdiZhH]coR^hLCviRHLmcKR^hACvYZpG]ewQGhlC`YOXLmcARXg}ctYYpF}egP}h@CuIYxGAcYQ@g~CaYNxGicCQMg}cbIO@Gmd_PzhXC^INXJUbsQpg|CkyN`JQbrPvgzs]INDFeb[QTgvcdiR@FAbaQVhLC[yRHFIbCSgiScXIKXQibISjgrdJYKpQqawQlgmcjYTpDybAQnhVcWITpD}eKPRhbcTYWhDIagRAhaCSIIHKMaUQbgdCgiH`IQaYQ`hRCRyShCycEPChAcPYOxC]cGPEhCCQYOpCa`{SCg^d@YG@OYaASFg`dAYGPOa`oSOiGcMYaPBigeOziIcNYa`BqfeOqhyCKy]pBQ`iRvgZc{iEpNU`YR`gVcxI[hAy`_RbgWcwiD`MA`?SIgOdBICPOu`ESJgQdByC`OygEO\gNd?I_P@yf}OYh~CFI_H@m_gQ`gIcgiSh@]dEOUhRCEIS`@ed_OGgDclI@HJE_YQqgEClY@PJMeOOFg@cqY?PKueSOEgACrI?hKmgkN{iJb~X~pPi^}SWg?dEy?@Pe^kRkfzczX~HM}f_Nwhwb}h~XMy^_PsgyB{X}hFY^gPufxc\YMg~I^SRkftczh|`M}^YRlhwbzy]?}yegNchibxYYo}Y^QRVfrcuX|@La]eRcfhCwHy`ME]iRahqbtxypMMc]NEfbccHx@HE]QQRfdcchxPHQ\wRBh`BmyW_zi\yRDf^cpxvpKY\mSafYDGxuhQQ\kSdiRbmXv@QY\OQ{h^BjXtHJu\SQ~fTcoXt`KAdwMah]bhYVoyMd}McfRcoHspKE[wQyfMcmyVGxy[}QufOclxs@Ja[kRMhfbdyY?xaeaMXfLcsyYOxi[`MPfHRcxqkxQcQMCfAcahopGm[MQKhFBaYPgwaZcQZexcfHm`HuZiQ]ezcgHmpH}ZOQRescdHkpHIc_LihGbYyPwu]YwRMhfbUxjPLAeaL\hhbVyYOty]WPgfecYXxpEi]]PjgubsYL_|A]sOgflcIXz@AY]qOffmcIyDO|q]{Mmfnbjx{?zA\aN`fXBwxuW}I_[MJgFbbIA?wu_aMNfFCCxpP@IZ{N?e~boXo?{I]EMAf?bpXw_wMZWLweub]XnOuyZ_Lzewb^HlwvuaqLbgjBWIIwuEaoLaeqCUhkhDm?X?L_FS\IMtFUbnPxg{PeWqsX]KpEYbLoaWP[GiBJ@i_roXgLCEe^|N~g?r~H~l?AZpLxe|R^Xn[vqZ|L~f?R_XoSwMY|L[emrUxj{tisQYWlCEeZOxhYsSYVlEEezPXhisyY@lNE_zOPhqtAYBlOE_ZRxgIkaYOjFEcZQXW}scUOlIdczQ`XIs?Xjk~EYjLHf}rKX}kre_JL@f}pGYDkSE`ZCpgYpMYEkSe`JChgQsiWUlIEDJAPhAoeYPlHeDzQP`UtOWKlSeBZ@piio]YjkGEjZAHiqn[Yajvegy}PiYneYfjwehI}@iUm]YVlJDqjR@[mmWYXjfEeyxhhilkY^jXEfJRhZMs{UsjZegZS@ZUkmYJlBddIqhgakkYHjKebIr@gitEUGjDehJShWekSYfjEegip`iYs]T\lFDUyjPg}sYT[ikEbijHgutQTKlUDRZThSytOTNlTdSZTPTAqgXMkgeTzIXdaqiXNkgETjIPdepsWIkDeMZFX_]oQWwkCELj?pb]roW?kAE^ZNH_ErsWAkAe]z?XfqpSVjjueJy|@amnQWkkUdzI|Paym}Vuj{DwI}h]EnqV]jmD|yzh^QqOVUjjeQYz@cimqXJjleRYzPcqrcVOkxdsZM`\IriVRkzdtZMp\QnsVCj|dpY~`[YnyVFj~dqY~p[apcUgjTeLZE`YipeUfkWDiZEHYYl?X_jOeWYsPeIlEXbjQeXYs`eQkCXkj@eZYo`eykIXnkwd`yopfAmAT}i}DninhZ}j}V?j?doyo@[IjkUwizdmYn@ZijqUzi|dnYnPZqksTojLd[Yr`VIjeU^iydfim`XunCTcjpdXY{`UYnITfisdxi{xUai{W{ineNYk@byjAW~ipeOYkPcAicWWiheEYi``iiiWZijEFZB`T]lWTEjUdPyh@YyiSUniddkYhHZAjST?itdOYl`SIjYTBivdPYlpSQhsXAi\eOyf`cQhyXDi^ePyfpcYhkX^iYEUjJXRUqwSvkmdMZJpRao{SmkNdKJC@REheW`iXEGydxaI?V?J_DpEWbSPmGxC]aMoMWF[BiDfAs`YolgVCJ]OZGMcDQBH@{_mpvWykZULzFDbekXULjCTaypTWe{u]LnMFbjpHxa{S]XnMfazrPwq|I]GnBFiJspwY|M]GnBfiZoxyQzs]Hm|fajn`wmzy]Km~fbjnpwu|E\lmsFgJsPuq{{\hmtFgZrxum{u\dnLFXjkXxq{o\anMfXzk`xewm]RnHFDJq`pUwk]TmKFdzbHxY{a[OnFfBjpxo}{a[PnGFCzq@pIuc]cnQeszY`yYui]fljFiZYxyau?]Ql_fczWPxQuE]VlafdjW`xUtg]_lYfgZUxyM{}YxnNEmJUpyIxo[qm[fKzfPrQxu[tm]fLjexrqwC[_mOf?zcPoQxE[DmQf@zc`oYws\smLf\Zb`vYzq[^mNF]Jbhv]wO\UmCfTzj@oiwW\ZmkfBZ`XtivkZ{lze~Z^@nyw?Zym?e}z^Hn}{GZslwF_J]hwMva]@nAe{j]XwIvS\mltfZz\`vAvY\plvf[z\pvIyYZemfExZ[xsmvG\IlsfRJhxmau}\]lpFWJ[Xt}v?\`lofVJjhlyyGZWlkfQZgplqyIZYmcEvZgxlmxWZKmUerZeHlEx[ZMmWErzdxlAy_ZEmgepziPkauQ\RldfTZXPtQxKYymRemzd@jqxSY|l^fIzVpqeta\@lVFNjTxr}t_\?lXfOzgPjIJdDtaxp\Gm{VZ?Y_}oEGN[Fy?z@s_NoDgNK@QBm}]_}o^fskFP{z@u^OnhgNZyIBr?k_goSgD{DQ@b@U_XoUgEkDa@n?O_doAgH{Cq?^@C_CoCgG{Ca?Y~o_On{gCZ~Q@J?e^zn}gD[A`~q}{^pnuFuj|h|m}w^mnnfzzzh~B@g^SoYft[Ep|Z@m^Vo[fu[F@|a}O_[ncgF[Bp{j?}^JoOfr[C@{q~c^Anxfoz}`{Q~i^Dnbf|zwp~Y|w^enrfnZ|@zy~Q]~ntfoZ|P{B@[]uoVfl{E@zb@a]xn\gK{EPzi|_^_nWfwZuP}I|i^dnYFwzuX}Q~{]in~fi{?@yr?A]lo@fj{?PyyG~C`aOWbcNeH@B|aNO}wbcN}GDC`aNP?W`cPUGtCHaAPCW_sPMG\CVaKPAw\cLUElBn`kO{WZSNME|Bv`mO|WXCJuE\A~`_OsWWSLMEHBJ`bOrW[CIUFDAf`qOiWTSM]D\Bj`UOyWUCGuDdAN`YOcWUsHMClAz`IOmWPSIMC@AX`@OewOcHuCPA^`BOgOBwAK@BDCa{p\gfkVYHvDya^p]Gg[ViIBCqaqpJgj{RaJRCoaopLgk[RQJNDEatpQGlkSiJ^Doaep\GiKVII^CaahpJGjKQQIjDYaSpVGd[QYInEGbOpags[WqLJEMbRpcgt[XALRD{bIp^gq{WAKrEAbLp`gr{XqKI?Ab[PjO?cZiL]?Eb]PkWuO?IL~Eu?BPowu_?QMB