CAT(2798,1)
Sparse6:
:~?jm_?O?G?C?g?R?F_COD_@c?i?V?N?HOBOAC?w?b?W?IODOA{@W?f?g?NoGWCC@}@B?__KoEgB[@y?x?\_EOAg@[BW@D?c?YoGoEcBC@h?r?YoL_ESAk@J?l?RoJ?CsB?@P?m?TOJoDK?Q?L?D_Z_OwFGCU@o@C__OOgGKCS@~@C?^OOoFkBi@x?z_NoGGCKCwAd@K?iOROI[DGAR@R?doT?HSDCAP@N?boS?GsEOAp@Y_koToJ[DoAl@\?ioV_KKEKB@@a?noX?LKEWBN@d?sO[oAk@M?h?r_WoKgH{DEA`AA?{?]wNOFYBq@v_x_\gN?FUBg@v_wO[gMKFABd@p_y_YwMWEqBg@i_{_ZwLgFmB[@y`J_`OQcG[ClAE@Io`?QsGKChAT@@OcOOCHKCBAQ?~o^?PCFwCT@|@CoboPkH?CVAM@EOiOSCIIDBAY@Mof?R{HkC|AV@PoeOSkIOCp@p_xO[GTwJIDaAs`W?kwTGJQDcAj`X_igSoIqDOAm`R_jWQsHQCjBI@^_lWW?J]D{Au`\_ngVgKADwA~`[OmgVKLWEeBB`i_ogY_KEEeBL`i_rwY_KyEKBG`c_pGWgK]E_BK`h?qgYGKmFIBU`kOtwZsLuExB^@kouo[KM?EtBj@qoxo\kMWFXBg@pOyO[cMgFF@{_~O^WTKImDTBO`hOsW_WN[FtB{@{o}?^[NOFnBu@{o|O^CMwFtB{@wOzo^[NCFhBr@zO{_]kPGG]CEaC@CW_wPAGECNaA`CW__PAG?CKa@@BW_GOyFyCH`~`Aw^oOiHGCQAKPD?bKPKGtCTALpFOa{PWGxC]ARpIOcCQ_G~C`AQPGocsQGHJCNaGpCGdORAHWCqaT`KWdgRAH]CqaV@KWe[RUHhCua[PLwjORcHxC}A\pM_fkRqH|C|a\PMwfKUW@C?F_Q?AWCW?a?G?d_B?Hw?gAY@C?C_Q?@gCW?UJuCaA@P?Oc[O?HBB~AOO~ObsNwG~BF@pOqO[cK_FFAf?~oh_OCI_CBC`AmpVoc[QGI|D_AOPF_kSP{JBBiA@Oy?_CMcGBBf@~ox_^sNsFJ@{@pO^_[cFsFFAf@iOh_Y[I_EjDv?cp\OH[VWAT@c?~oX_OKESC@?P?SOC_DS@?@R?R?ooWoAc@SBD?PAxoC_mc@?JdDn?ooWomKEGJ`@]@DoW?PcD{CZDn?nP[OKCV?A~?LAxOBomc?wJfDt?VP\oECVW@^?d_RoHg@K?a?NDya{P]WwoGaCTAH_FOBw@kVaJtDx`boqWXCKUELBC``oogWKKEEFBA_ToJWDc@Y?p?V`aopgWc^ONaFrbx@{w}?^MKNEHbCPagpcWmKYFRbF`tGpo\IK_FUbH@tWqG\]M]Fibg`zGy?]mMKERbc@dWwwXQKkFWbK@ugqw\eKqE[bL`fgrOXuMuE^bO`vWz_YALCF]bQ@wGsW\}LJEfbRPiGtSYeMKEjbU@qGtg[]L\EnbWPqO|k]{MVFmBdPkwuKZIMUEubY@qgxGZUMYFKbf@rGxg[yNZFnbvPnWv{ZyM]F`bp`sGyG]INGF`bp`xg{g]INcF@bw`oGwO^ALmFZb[`vWv?\qLsF_b\`vgv_\}MoFfbl@yWzG]aMGFib``zGwg]mNKFSbq`sw{_\INOFTbr`tw|G\YJvD|a}P^goCV}KBEBb@P`GosWUN`Fqbwpyg|c]mNZFnbvPnWvsZ}RWFAb_PoWw[[UMHHkcvQZXL{fER`H_CrQXpKSe_RBHhCpqYpKcegRJHkClQV@LkewQvH]CvqVPMKd{R`GwcZQLxFKbiPvG|c^QNHGKb}Q@HCc`QOxGkc]QLHGcdQQXHkcmQXFxCgP|pH{cwNpHPB|QSo~cdGNvF}CgP~pH{^sQ\HPC?QSp?KdGODHSC@q@PIs_OQjGECiQA@Is_[QjGHCjqApJK_gQpHVCEQUP@kd_O\H\CXqVpEcdwPjGgCpQIPKCa[RBGiCpqJ@KkakRHGlCrQXpD{e_P\GoCsqK`L[bCRTFsClQV?}k^WQvGNCIqCPA{`?OlGQCKQE`Ac`KOrGZCNQFPCC`oO~GeCPqGPCcaSPDDvazP\WnCViJrGlcVqJhECbIPbJcDkAvh[?liUqJ^doavH[WluVCJZdiavHYwluUkJZdMQfhRkh}T@I`dWashUWlQTcJRdkAsHZOlEUqJNd^QnxVkkEUDJ?dZatHVGlMToJQdiamhYwjqUkIzc~AvhO?l}V?H~doa_X[WgMVCIAc{Q]XNSfmRzH{cxAvh[?fQReJ^doa\X[Wf]VCHudTarHTgkyTWJLdJAghR?iQSmIbdKahXRWi]SsIedHaiHTOhUTQISdVAcXU?hIT]IOdEAphPOkaSUJFddabhPwkeUSILdCAoxPGkUUGIFdZA`HUggYTgIDeRRIHc{qeXVKidubEh\wpqV[KZdwBFX]Gp}VcK]eJbGHcOpeWoK`eVbAHeGoiX_KHeAbJHdoo]XYKEe@BBh__o}WEKOe?bAx`_n}WYK?dzBCX^?pMVmKQePa{xcgnUXGJseIAyh\_pYVUKTdqA}x^GmYVsJdd}Axx^omeVyJgavp[WmCVMJhDqcIqDxAs`eOtGWcNQGHB{aQPLGdenbYxkGuuZ?LkemBYHjguiY{LhemBXxkgtyZKL\enbWhk_uEZ?Lbe[RMhfKrmXzK{etbRXhwuuY[LkesBNhlOsAZQK~eXBWhk_rQXeLbeqbLXkwr]ZKKuegBQhiOsmYaLKebbSxhGtUYOLSeaBThgot]YILWekbOXgWtmYsLAfN@xG{s]UNRFgbrpoWwS[AMFFDbaQ`HOsgUSPIHdBqcXQShASfITdIQdhRCh]SrIZdLQ\HMSfMRjHvczRhpv{yc]BMgF_Rn`scyW\xM|FQrf`vCy?\nM^FZRgPvKyG\vMbF\RkptKy_\jMfFYRk`sSzC\BMbFWRh@t{yW\ZMmFQrf`tcyg\@M^FTr]`usvo\pLzFZr^PvKv{\vL}F\Ri`qkyo[nMjFJRc`tkxO\^MRFVRnpp{xC]BMOF_Rb@uCzG[\MpFEraxpKwi[LMGfBrkpo[wS\jMsFARnPoCzw[DM{F?repm{xsZrM[E{R\@rCvS[tLuFKr[PrCvK[tLqFKreplsv?[zLnFMSC@KseaRNHhctqYh`spAW^KJeErBH^cnyVzJzd|Q}YAh@y_gO[gMcCyAp@M_iOWgICDyBx@A`AOQgOCCYBH@A_uOQgLCCXzS|m]xNhGKryqB[}g_tOUFrRyAA|@_^NO^FpsGP{lA?^HN_GMRwaBs}C_zN]fnrvY@o|a_]NXgEbty@O|U]gOKgDbti@G|M]aOGfhC@xxp?U_GNOffc@hx@?u]SONfccBhxX?]_QNLfeCAHwx?m_WNDgDBphwP?Q]GOEf`c@X}h?E^mOBfzC?h~o~I^gO?fxb~x~?}}^sNpf{b{H|o~m^WN|fub~ILPEEbFPagnSWIJ|AsbROkGsSIqK|E[`POiGssYADLES`JPcGRSXaC|AKbLPdGQSGaKdD_adPYGhsUQIdCw``PKGVsRQDtDkaRPJGmsVAHTC{`~PPG]sSAFtC?`tPAG]SOQF\B[aFOxGaSMAGlBOajOuGjsLQItCW`bPFGXsKaHCxa[tMXfLrfXrdFocnQXG~SeANlGUcNQEhACdiOXHUcCQSh?s_IN|EscnQXGvseALtHObTPkHJSdQL\FccPPzHDS]aPLGwblPwHGS\qP|FKcVQLGys\APdFCcfQPGxS[AQT?Q_LODgBsAY@D?i_XOJgFSBy@lHge@Q[H^seqVtJkdjQ|HZsnAUtJGd|QsH^skqWDI{dpQyHWsmQUDKCdXRAHUsjaW\IidRQjhRSiIS|IOeFQdH_sgqWTI?dpQyHPSmQSLJkczQ|HNsnARtEQbLPdgsSYYK|L}fBR_hlsuiZLLGfHROHpssQ[TKsfHRNHpswaXtMSeXRfHdSxaX\MSeNRfHcsxaXDKOelREHkSpQY|LoefR]HisvQYdM_fnRiH{syQ^DNOftR{HzS}q]lNCfzRrH~s{a^tMsf\RoHtszA\|OWgRSGIDt@q`TO?gFSAIAt?Q_cUYJPDfaspYwlSUqJ\DlbZpmWvCZqLtEzdDQbHP[g}S\ILeXRLHe[rYXnKtfvr{X}C}y^ZNkgusZyLtEibXPjhjSuIY|LQefRTiZDNIfpRahySviXdMYehRmhgSyiZDKIePR]hoSpiXdJYehQ}hgSmiXDIidXRAhWSpiRdJYdHQ}hOSmiUDHYdPQYhUSciRdGidHQMhOS`iNDHic@QQg}SdiPDEybhQMgwS`iHDEIa`PigeSXiIdEIaxPigkSXiIdEybhP]gwSUiHDFiaXQAggS^iFDNIfhOqh{SLi[dByaHRmhsSOix@SgiKTMIhDUaipUGjKT]kGDYamPUwjkT}I|D_apPWWkkUMJHFvb{p}G~S^qNvJldvqzh]KnAVdLze}R]hn{vuZ|OmgWSJyFlB}`|QbhQshIRlH}c|RghtSyY\\MufXUjJVTjQuDYol^UpJSTkqtLZGlTUjJRTjQs|YolJUaJSThAtTYKlRUdJNtgQs|Y?lLUcJMtgartYKkxUXJNtgQr\Y?ktUWJMTdartX[kzUYJHtdQr\XckhUUJGteAqTX[k`UNjFTbYplW}k\UIJHtdQpdWkkhUQJCtcAo|XCkPUCJBt`QpDWWkRUIJAtbAotWkkHS~J?tOAo\WGiBTkJVTZauDUsl^ThJWtYqu\UgldTeI~T^qlDW?jNTbI|tXQnlUOjxTwImtVqnTTwjrT_I{TWanTUCjrTYI|tVAnlTkjxTVI~T_AjDV{irTSIytTam|TSjlTsIhTSqmTTCjfTtIfT\qiDVWi^TLIxt\Ah\SojdTGIwtQal|Scj`U@Iat_qg|WGiLTAIwtZqgdSKj`WYAapPwgsSaITDHkS`RWh[SqI\DOafuJZDtaqpZWmkUUDaudZWohWTJYuIQ{L]KpVVaKTUIa{D\wpVWhJnuHaz\a_mxWfJmtuBC\aSmtWcJktsbCD\OpBVRKPUGAyt\[pDW`JiuHayDa_mbVNKRtrBC\aSm\WcJeuFqxT`wmVW\JcuFAwt`kmPWYJbtpBB|[SozVBKNTobB\`om@V@KLTnRA|Z{opWXJ^TmbAtZoohUzKItlrA|`clrUwKKUCB@L_woTWNKCU@R@\_[oZWEKET~B?T_On|WBJ}t}Q~|^koBVyK?T{A}t^_ndVpJztzQ}\]wnjVnJyUCQ{|`KnRWQJsTxA|T]WnXVdJtu_?iKTMIdDPahpSgicTUIlDSajPTZQOTaIrDVakPUWi|aIp@W`lIEeJQXhiscYXlJEejQxhasiYXl?EbJOPgusAYMlEE_zPhgUs[YClFe`jP@hEsMYOlCebzPPhEsUYOlHE\JQ`fYseXtkwedZMXh]rcYUlCeZjPXfAsSXnkte`JLhgUrWYBlBeYjL@gYsOXhkrE_jKxgAsAXdkaUPjGlcaqRXFk}eKZE@fyp]X~k}eLJEPf}r{WrkYe\zExfepkXwkpE]jN`eQrEXzkneUZJXeEr?XYkmETjJpdaqyXVkieRzI`cuqeXMkgERJIPciqaXJk\eNjFhcApwW~k\EOzGHbaqCWxaapPwgsSUINDEacpQghCSaITDHly`QwhkSqIVDLaeU^jNlf}j^TpiwT]ynlVqj|U?i~t_Yo\WIviZzlze~Z]pnqvoZzl|E~Z^HnqvGZnlqe{Z[XnAv_ZelweyJ\xm]vSZslxeyZ\XnIvWZqlue|J\pnMwGYlmBEjz_hiyv?ZwlpE}j[HneviZ\lne|z]plyvYZ[lvEuj\`lmumZelkeyJZ@m]ugZhltetj\PlUvIZRlqEsZ[XlIu[[FlgFAZXxoaw?ZLleE~jXXn}uNZDlbUqjXLkawMY{l^FAZ`@jutqZ}m?EmzVPn}to[ElZF@JUxoUte[@lYf?zU`oIwAYom@ekj_PjEtDYblOuhJStiUtNYglSuijT\iqsyZCl`EezWXhqt}Y_lNEoZRxkAohWUkIuDzBL`apHWdkPuHjDDa]y{[smoFLZjxrYxa\`mpfKzePuIx]\^mWFWJdptyzA[jmUFWzdhuIzG[gmrFIjkhqexK\hmrfHzchuaxC\fmQFYZcXuazG[^mOfXjkhqAw`[QmGvCzalpQwl[WmJvEzbLpiyo[[mkfFjjPpuyu\HmmfQzj`siyK\TmcFTzgxtYyG\OmafSZgXs}yg\?m`FSjiXsExy\KmfFNzhhryxs[ImEFNJ`XrmwY[xm[FBzexoy{u\knMFYjrPum{a]SnHfdjqPxU{m]MnGFeZpxxaz}]bnQf_Zo@yQzw]_m~FgjnhyEzs]Km|fbZnHwm{I\unBf]Jopv]ze]InCF\ZpHvQz_]AnAF[jmHwM{y\lmvffzlpxy}MDcaqpWwk[UUJHVQjiTsyyl\YmnY~l_uoJWdkMuD^VNgVsbzD|C}l^RNevtRx||O}\^PNeVsbxT{k}`^FNevqRx|{_}\^ENcvqBwl{[}H^ENdVqrwl{o}H^UNUVuBtt|[|Z^RNSvtRt\|O|T]eN^ViBwDy[|~]zN_vnRw\zo}D]qNYvlBu|zK|l]wNVvkRvTz?|r_EAgPRgh{SyI`DNlEubJPtg}s`YPkVuKZEDbIphWrmivTzittIyh\RmgVSZh|sqy\\Lm[vMJe|rixx[zoSgD[AyA^?k_goRGCkAaAR?e_doFgE{AI@v?__[oKGB{BQ@F?q_OoOgBKCY?z@C_LoNgBKBq?z@?_LoDGD[@Y@^?Q_UoBGCk@A@R?e_Fo@g@k@A?V?G_FoDG?{@Y?V?Q_Cn~Fuz~x|e~y^YoQF}kCp~r@I^znzgH{DH~e~o_gnyGGZ}qAM~i_aoLf{Z}Y@u~c_[oKFzkBP~B?q^noNFy{C@}v?}^knsVyj|L}Y~N^do?Fwk?P}R?A^bn~Fvz~x}E~y^_nmG?Jzq?I}y_@o{Ezz]LnAvfZslxVbJplwm{P]InCv`jolw]{D]Cn@w_cN]GLBza@O}W]sOEFtB|`{O~w]CO}FhCR`xPCW]COeFhCJ`xPBW`sIeDXCR`TPCW_cIMGLAfa@OhWRcNuD@C@`NO~wQsOmCpCL`LPAWP{GmCZAD`Co`wNsMmF\AB`uO_W[cFeFP@|`rO]w[CFUE|@r`pO\wLcL}B`Bb_vOwWZCE]BTB\_sOuwZCEEEx@d`lOWwJSMmF\@^`uOVWIcMUAlBf_kOyWWSK]EHBJ`_OqWXsJ}DtBP`eOnWUcHEChAx`ZOcwTsLMElAr`WOtWscWeKVEFb?p`Wo[XyHNEaaTpgGdKXyHBEaaQpgGc[XqG~CYbLpFGrKPQKvCWbMpeGa{QqJ^CoaxpJgmKXIJREUaupdGl[TqKZD_bGpVgp{SiIbDMaipRGi[SQIrDYacpPgi{VYIFDwa^p\GgKRaJzDya]pMgn{RIJFCuarpLGkj~t~}~z_?o@W?[]UNBFbblpvwzk^aMjF{bkp}gy{[yN~FQc@psH?K^yLVGAbVq?Gtk^iLREcb}p}Gs{[INfFubbp|GwkZyNbF?bupnG|{[aLnFKb\pqgvK]YLbEqbtplG|KLeEzBZ`oowwZ{MUFRBf`vozW\[cyONHKcAqSH@KbiQfG{cjqNhIkcAPjGwcaqLhG[dAPbHKcXqRhD{aaQVGkcbqIhHKa]PFGdcMqGXB{cAOnHCcLqOhBK`AQNGQcdqDHHK_yQjGIcjqBHI[XeKvE\bNpgwsKdeQzHZdGqbxQ[haRfIScyqdhMKhQRVIUcvqZHRKeQSvHgdNqXhRkhiQ~HadNqfHKKfqSFI?dBq^hOkgaRnHwdEq]hP[kQTrI{dcqmhW{iQTnIsdOqkhS[iqUVIodfqjhXkjyTVIed`qiHWKlAVFJediqsh[klYUzJWdnquh[Jwl{Y}H`_opWW[JmD~A|bTpjWt{YULREfc}q_XN{f]RvHxeLRBXbco}WpKPeHR@xasoeWhKJe?RBX_cpEWDKNd}RAx^so]WPJze?Q|x_cneWDJtdyQ}x^sneVxJveHQyXacmmWlJleKQzxbcnMWtJpelAaPOwgU?N?J_CpQwh{SuIRDDabq@X@K_]OVGNcEqhXS[iETVIhdRraHnKwQZzMEe|r_HmkwIZnLqe~rZhm{vAZfLkeyr]Hk{uiZzLyesrZhkkvAZBLkeprWHk{uiZJLaesrGhiKpyY^K_ehrQHn{wIYZM?edrOhoksY[RLCfBrOHj{tiXzK}emrVhe{tiXvL[e[rTHeKtYXjLWeXrIhh{qyYfKkegrUHckqaYjLUeRry`OWf{SBMgftrjH|{yi^ZMafurzhs{yQ^VM[fqrgH|Kxy^NMUfnreh{Kxa^FNafIrvhq[}A[bMKfrrbh|Kwi^JNGfirphy[{i]nNKf_rohx{{Q]bNWf\ruhv{|q\zMmfYrkHu{zI\qIHDAa`pOggcSNO}g[SJyEDBu`tOlgYSMyEtBu`dOxgLSKyBtB]_xOtgISJYED@e_lOngOSByCd@M`DOPgCSHy@dAm_TOhfwR~X}d?E^dN~fzS?y?s~m_HNxD?a^pOWf{SEI@h?RSXi[s}YrLTejs^IL|FybbPqg|s\IN|FabzPug|sTiO|GaavQIgks\ILLFabZPugts[iK\EYb^PcgwsVIOLEAcJP]h@sTIOlDAcFPQh?saIH\Gia^PKhBsNyG\CEaJPHgbrwxz{}E^NNhfqsriRLLIczROhLsiiXLKqd^RIhUshIY\LAdNRMhSsfiX\IAeZQahcsbYQLG}cfQThJsmiW|JaeFQuhaslIWLJydfQ{hWs}IYlNqerRyhjs|i\\MYffRghysxI]LMAf^Rahus~iZ\OIe~S?hmtCI_lPQgNSQiCtDi`\OygvSKiKsMYFlBmeNRDh`soYVlJ}hTSti[TJYdDR]hXSriSTKYdTQ}h\S\iXTGYeDP}hDSti[THYctR]ipP~g}s]y]|NUffRphvszYktTujPTZiqTUYjDUMixT^ilTWYfTTUh|TVi]TSyjtSui`TbifTWYkdS]jPTJirTQYidSUilTBihTOYqdXAjjTojFtcim\Uyk^UQittcIllWIkRUEjEt`Ip\VqjnTyj?t^inLYiknUejKtiIqlXilBU]jQtfIs\TUinTRjUTmyvdZEl\UxjXTmYvdZ]lhUzjFtcyqLZw?HVJj_?@ixw?ImDVL?@TpIxW?QmPVN?BTpixn