CAT(3042,2)
Sparse6:
:~?na_?O?G?C?[?G?D?BO@G?k?Q?L?D_BOP?@C?e?T?K_DoBW@??e?S?L_D_BGG_CYAI@F_c?QWJOD]Ar@W_lOUgJ[DmAx@[_jOTgIsDIAb@O_hoTWIcE{BL@g_sOXgK{E]BY@c_p_ZGKWEyBG@k_v?XWLgEUAy@h_n?YWJwEiBC@j_t_WWLOEACSAF`BoaWPKGaCP@q@?oZoOKF?CDAB?yO_oM[FCCD@z_}o^GOCF}B|@w@AO`?MkGWBnAE?zO]_OkFcCJ@R_ioSwIcDUAhAj@?o_gO[I_DDAc@SOh_TSISDRAi@PohoTKHACbAQ`IodGQ[IED@A[`NofWRsHkDNAU@POdoS[IOCpAX@ROe_SkGgDVAk@EoioP[IoCXAN@Uob_TkLGDPAi`SoZGLsEuEcBL`h?rgYWK}EaBS`g?swY_KqE@B@``oogWcKUD{BV`]?tWVgLUD}BU`\_twVOLYEaAr`e_jgTwKyD_BN`W_rGY?JIEKAs`c?lWXGJYEMAv`d_mWXOJaAZ@M_fo`wPKGaF`Bp`xo{g]kNQFOBx`{_xG^OMUFKBy`r_}w\GNmEyBv`{?uW^?LaEwBu`z?ugZWN]FEBm`n?ygZwMmF?Bk`o_zw[OMuAL@H_boQGGcCUAT@K_doagP[GqC^AL`FPEObSP_GtCTAMPD?bcP[GvCUALo~?bkP{F~C@APO~ObsNwHBC_A?PBg`{PAGbCQaHpA?bKOcGnCIAIpAobCPWGZCSAEP@ocSPsGDC]A@pFo_cQCGJC_ABPP?XcKyEZBN`gosGOkGYCHAy`\ongVcJuD~DKAfpR?iCSkIdDJAgpQ_hkSgI\ChaTpJGdkQyHTDLA\pR_fcS{HzC}AgPO?iSR{IbCtAaPQOfCRWIJCvAbPM_g{RcIPDCAVpK?hCSSHdCsAbpKohKSWHbD@AQpOOcsSGHNCgA`POoccSKHF@@_`oOgl[UuJ`DmavpZGmwTaJmDVa{@SwioVeIiDxai@]GkwVMJaDgax@YWlOVQJkDday`XgkGTmJCD]aq@VGkWTuJ?DXan`UgnWWYJwEFbC`^wngWaKUD}a|@agp_WIKYEDbA@bwoWWyKAEPb?@cGGKCEAF@B_`OOgswSMIDD@bQ@fws_XyLKE_bO`hgsWYULCEdbJ`hwqoY]KcEgbH`iWtGXULOESbM`fwr?YALAEXbP`ewsOXiKwE]b`?SWICDEA`@Q_hO[gL{FEB`@s_xolGUkJ]DlAx`[O~G^kNyF~C@a?PUWj[TyIxDYampu_yc\kMjF\BjPv?y{\cM~FWBnPr_yc[{MjFOBjPu?yS\cMfFPBjpr_xC[{MRFOBdPsOx[[sMfFQBePpoxK[SMTFABePrOwc[KMVFEBcPpov{[WL~FDB_poowK[OM@FAB_Pn?uSZsLfE{BYpnOucZCL|EoB^Pu_usZkM|EvBlpm?zcZgM~ExBmpjgtcYiLVElbVqD_F[BqA@?|_^ONxBwD]An@W_koUGJKDuA|@^_ooWGKSHmClAV`KoegRCMME|B^`oowg[CQ}HhCoaWpKge[VyJvD{a~p]gnkcCPnHAC[QO@FKb{PtG{C]qMpFsbCPnGrC\QK`FKboPhGzCZQLPFCbKPXGqCTqL@DkbCP^GoCZQLPDsaSPXGoCRQHpDka_P^GiCTqIPDsagPFGdCNqH`CCa_PBGfCPQIPCc`wPFG[CNqF`CK`sPDG\CQQF@CC`WN@FdCKqDo{K]KOvGWBpQE_{cbwN|G~B~qO`?Kc?O@H@C@qNP?S^eNtF{b|p~W~C`?NdGPBzqC_}[`KNjGTBzQD?}c`?NZGPBuPz`AS^COhFnCIp{@A[]WOlFfCJpy@BC]cOrGZBtqE_|S_OOXGDCEq@`@[_[O\GHCDQBp@CB]@j?w_ZOMgFKiKQEI\cbAfxS?cQTCHDcbagXRocaS{HldNaZhSOfAT?HncxAgXMGhuRDHecoqWxKkeQQwIVdLaUxK?hqQyIXcnAeHJwhiQiIVclAfHIwhiQkIXdKAUHJGhmQ]IQdHaSHIGhYQcIPdIaTHQ_dMQQIPcdAchQgcySeHJdJARHQ_cuS?IDc~a`hOGg]SOIAdDA`HPGgMRoHxcxa]hM_fmR{Hvcya^HNgfYRMIJcsAbHLGguRSIMcuAcHLWg}@v?|_^ONGF{CA@v?|_]OOGFsB}VaE}b]PnX[_nAVUJ^doAzH[GmuVCJndpazh\wm]VUJdduAxh\gmeV[JidwAyH[_lyVCJZdkavx[?liVEJ[doavXY[lQUjJUdjquHXgmUU[JfdfayHY?mYUcJidgayXTonETYJpdSa{hTOnMTWJrdTa{hSWk]TGJGdQaqXXOiYUWIgddahxWGjmUKI}d_AohWWjuT}JCdaanHUgi}TqIqdZAkXV?jATgIydZakwEKBA@^?v_YoLgFKBi@p?u_ZoLWFCBi@rK~?XOLGE[`AObGQcIqCxAcYULLEccDQAx@c_uO^GMecBQxhGsqYSLLefBQhhwsaY_LHe_rOHf{sEX~L?eVBMXdwriXYKzeWBNHeOryXaK|e[bLXfOrMXoK{e\bLHforYXyKvedb?H_GsqWCLLefB?xhwoUY_KCeQRHXc{qaXLKheNBLXcOrQXeK^e[BGXcWr]X?KueUbEHdopeWsKpeLbKhe?puX]K[eIBIhagqmWmKieTbDhaWqqWcKkeEbOh`_sMW]LFeaBBhgopEYIKOeBBOhgWo]YKKIebbAXg_oaYIKJdyq|H^Cn]VrJud|Q}x^cn}VzJ}fQ_JGDsAuSnIWdKqehRchmTBI\dNQfxSSiA\JMdfRRhxs{yY[\MLfGRcXqSw}[AMofWb_huWwQ\cMBfBBjxogyyZuMnfWb^Hnwyy\eL|f?BkHuOvy\OLtfSb\htOv]\ULwe|BjXt_veZ]Mgewbihm?yeZcMjexbjXm_yqY~L\enRWHkSuEZJLbeqRXhlCu]YsMafPBTxj_yQYqMbfQBUHjWyMYaM_ehBgXsGtY[}LRfNbTHs?tU[gLhfIbYhqWum[mLmeuBeHqouu[MMXfCBehrWwe[wMIfNBbHrgwm@^?n_WoKGECBE[~M_fOrghscyM_IN{gAb~X~p?]_AOFf~c@i?@?Y^JNcfrrxh|K}a]dNRfiRtXy{|Y]IN{faB~X~o{A^}N@g?boy??{I\gOAfYc?hup?M\mOCg@bmY?_za^mMyf]B}H}ozm\yNxf^b}xvo~i^gNmftB{H|W~E^YNqfybzx}W}q]}NKfoBrh{G{u]{NNfpBsX{W|A]ONZfkBphxO|i]MNXfmbqxxG|q`POegRsIYD\Ai`?OngOcJICPAu`EOmgQcKYC`BA`oOYg[cEyFP@q`uO\gNcNYF`@y`iOVgICKiAhBM_kOsgZcEYEp@a_[OGgCcBy@P@A_WOPgEcCy@X@IVVJnduQzX]Cmy[tMZfKrfXrsxq[fMWfIRdXq{xYawPggtCWIJhEma{PhgucVyKHEqbEP]gqCVYKhD}bAPegrcWIKPDqaGPggacYYGpEiaMPjgucQYL`CaabPOghSSyIdDUbCO~g_CWyK`ByaAPfg`cXYGPEYakPIgdcTyH`DaaYPXgfcUyHpDicu?m_UOJGDkAy@ZK{e[rMhfkryXvN]fnrwH{K}M^DNZfkRuhzK|u]xMsfYrlhu{ze\pQ`HUskASTIwdLQbHVshAUTISdbQfHOsiASTIKdRQcHUShaTTISdVQ\HXsfAUdHkdjQ]HZSgAVDH{dnQXHNseARtH_d@QXHLseaRlHgcxPyHXs]qUdFodjP|HZS^qVDFwdnQKHUsbQTtGwd^QNHWScQUTH?dbQGhBS`yP\GecTQfH?siAODGGdRQBHTS`QTdGOdVQQGySdQMlFccfPwHIS\aQ|F[clPpHHSZaQ\E{chPoHIs[qQtFGcnS@?XoLGESBI@f?shKseiRCt]YpLXemRUhj\?y_^OOgHsCYATPOgZSTIFtAaaDPCg\SRIDtCa`dOOg^SII?tAq_TOogFSEIEtBa_lO[gJSFI?tAQ_\OcgHSEICTAA_TMMfPRdhqSxi[|L[g`SPHkTCaZLLgghR[IIsuqa\K{fvROH}S~qX\O?eXR}Hes~QXtNkeJR{HbS~QW|K_g@R~HdS~aXLNSd~RuH_S|qWLN_eDRCH|S}QW\JcfjQzH{snA]|JgflQ}H|SnQ^DN?ebRQHvs{QY\NGehRsHjS{qYlLwfVRhHnsvQ\TM?f\RaHuswQ\dTwifTSijtTYiTTYh?TXiMDUycHTqgyTYiNdVYbpTagoTYiKdVIbXTugkTXikDEiaxTmhOT?iTdOYdPSIhQTCiUdOyd`SUiWSyiedMyhpRqhyTNi^dSYfpTAh[TEiVdPyh@RAiQSpiXdQyePSihmSdiZDGicXRehoSciRdLIehQYcdQThHsdIQ|HYjbToixt[imlVQjmUGjDD\ipXVajqUHjED]yphVii{UGjDDWijxWekUT_iodbYp`UMjST{itd^Yl`Vyj}Tlj?dZyo@UyjQUEjADXyoPUUkETeiqD`yohUafjRxhzs|i^TNafvR{h}t?I^|NylWUNjFDjytpXEl_UOjWdcythXIlKUqjXdiisxZQlOUtjTdlyupYel?UkjOdjYsPYylIUpjQDkIsXY}kvUYjMTfYrtX}kiUqjJdlYuXXQkkUsjZdeYupXaitT[imtUIj\TelpU|j\TmYvdZmmGVUjjdpYz@[YmqVFjldqYzP[amqU}jldnyw@\YmAVYjjdoywP\am_VIjeDsYyP[mmYVRjfdtYxp\QnaVijxDzI|h^Mn[Vgjvdyy}@]enCV[jpdvY{`\ynIV_jrdwY{p\}nsVsj|d|Y~`^YnyVvj{d~y~@^yL~F@b_Q]HM[fQRjHvczR@h_{omWPKHeDRmxvSzu\|M~f]SNiF|CAaBPBg`SvyZlLyfBRahoTWij|TyjBT_iptrYx|[ymTVKjduKBC|bCpPWqKSuJrDTaop\WjKUuIRCLaSpXWgKPUHrC\aWpTWcKTuFRCL`opFWZKPUHBBtaWp@WdKNuEbBl`kojW[KJUFbA|a?opWXKNuERAd_{ojWOKJUCRBD`gofWQKJuBr@L`?oTWQKDuDB@d_wobWRKEu@b@L_WoTWMKBu@r@\__oXWGKEu?BDl_Cp\WnK@U@BET_SpbWBKWOGWC[AA@H?d_PUZoCsA]@PXw?SoIgD[`qO|G\dVqkHUSjQTfIpevr[XmcvAZdLrgISDyAl@a_rOUh?S_YOdGIcJQBiTtIIdLQihZSkjFTbyqDXEkfUQjmTvYzt\}nBV_lQefJS@i]syYalNEhjSHiMs}YclJEfJRhh]s{YWlNeeZSHhmt?YYlJecZQPhaskYOlHeeZQhhmsgYYlDecZQPgysSYOlHebJQhg}sgYLlCEazPHgysSYClEE`ZOxg}sYYEk~E`JNxgUsMY?lCE_ZPHgMsCYEk}E_zNpfmr}Xzk}E_JNhgEryYAk{U]ZNTfirrXwkzEMJM`b]riWukxELZEXf]reWskmegjJpiMq}YckoEhZKPi]rAYekjeZzJ@e}qqXokweVJJXfEqsXokiEYzIHeeqcXkkheZZIpeyrSXTkvERzLXcmrQXKkuERZI@eurSXMkaeWzKxciqMXckbEXZL@carKXHk^eWzG@eQrMXCk_eXZL@cIrKXBkxEMZF`f]psXsk\e[zFpfYpyXtmF?DGAk@Y?n?X_KVE_BS@q?v[_?MoFwBtqAxD[`mPVGJcLoktT[KLUVBRTli_wPYjMCuiR`Tpwud[\Lhutbbll[w|ZTMNutBb|kowvZLMMUrbbdpku^[YLgvEbYDkcwhZIMIvDbWtp[uNZJMKvEBXDk?whZ@MIvDbWTp[uF[XLavEBWdowtt[OL\vBrVdpCtzY~MHunbaTjOw\YuMFulRaDj[wbYxMHumBaTokt^YmMCUkB`LostbYrMDVBBUToSv~[AL}V?r^loOv|[@MBv?B_tnWv`ZvLwu}B]\ncvdZtL|u}b]dmovJZnLrUzR\LmkvHZiLsUzb[|l_u|Z^LkuwBZTmCuvZbLmuwbZdvO@D?__QOGWC[AU@J?`_POGwCCAQ{K?e_ROHwC{Aa@P[\mNvFjpPwy{K]KnBfbJp@wu{U]MnCfbZm`wAzq]Amyf_ZmpwM{I\vnAF]Jn`wA{I\zm|F_jnpwEz}]BnAF^ZopuazI]FmrFaJkxwezQ]JnDFYjnpuIzE\~m|fVznPuAzG\{m}fWZjPv]yq\tmlf]JnHtqy{\smmf\jd|rAxh[pmXVKzc`vIxE\pmxfIJchvMzc[emwfHzdHumxS\kmTfZZd`uyx[\omUfZzhhtMy[\SmffTZi@tYyo\QmgfTzgxsEyE\Hm`FQJghsmyK\KmaFQjfPrmxq[~mZfNjfhrYxo\?m]FLWAc@U?l?V_KoEGAk@Q?l?X_KODz|G@i?t?Z_MOEwBdvEzf\qksuZJLTemr\XlkzU\JMlfIrnXrnsf{Z|P~E~[^ontfzz|h}}~W^onkFwzz`}Q}s^dnjfxj|@|m~M^Xnmfwzzp}Y~M^^nsFwJ{H}Q~C^dnRF|j}PyE~e]anyFgz}xyQ|I^tngfyZyP}i}e^jniFzZyp}y}i^knnFqzzh{q}}^Lnofrj{P|A~?^NnjfpZwp|a}M^XncFujz`{i}Q^Zn^f}Jw@~e}A^yn`F}z~h{Q}E^{n^VnZvLzi|x]znUf}zuH~a~y]mnVf~JuP~i|_^xnSf|j}hyi~c]fnzfiz}Xyq~g]gnKvejqlx]{p]UnMVfjsDxu{v]^nFfkzqHzQ{_]unHFlZq`za{e]vmDvBJ`loewP[ImIVEZatpUwn[WohGIKDIDN@S`SoigJKIqAnAm_lojGG{IyAZ@C`QoigHKCyDN@I`SokGFKJQ@v?{`ZoNgU[CIDv@?`[oJGUKAyDfAu_YoKGVKBYDvAs_XoAW@[?u?^?R_GoDwAk@e?~?Z_MoeGCKAiDFA[_PoegCkAaDB?e`No\GPkFYCf@w`FodGN[FyCnAO_}oYgOkFICV@k`BoYGOKGIB^@o`Cn~GKJ~yA~?A_po?GK{?YBJ?C_mpFGVkPyD~BCaPopgckKAHNBAaOp@GaKPaG^CGaIp@ga[PiGVCKaJowGdKMIHVCm`qoxgdkRIFVCo`so}GYkLYFvBW`}p?gZ[LyF~B[a?o{gXkNYEbBk`cozgX[NAEfBs`fp\_IWDKAi@V?j_TUsjY|lMuhZUlivkzudzU|l]vn[WpsWMKLEPbCPcwpSXUKXEXbJP`WmsWMJpEDbCP^WosVmKTE@bEP^wmCV]J`DxayP^WmcV}JdE@axP]wpsSEIHETacPcWqSSMITEXabPdwecUUHlDfa[PYWfSUmH|Dna]PZWjSTUI|DNaePUWjcTEJDDVaoPSw}_Bk@u?|?]_NoFzolwQ{@]@n@V_zc|qYxH[bmSVH[HUCZAN`GodwQ[GUCVA@`@o`wPKDuA~@`_poXwKk_qPbGMcXqCHEkbaOjGycJqLhA[aaOBGic@qHH?kaqONGIcVqHh@K`aOJG?cLq?hB{_YOzGIcOqGh@K^QOZFucHp}HAK_yNvF}cIp~HA{^QN^Fubvp}G}K^iNbF}bxp~G}[]aKvE_brpfG|[XyNZFcbQpwgs[\YPbFWcXpuhEkbaMzF]c\qLg{K[iPJFKcRprhDK\APVFScVpshDkZyOvF?cMpohB{aAMJFGcPqEGw{ZMLrEzb]plWu{YYNRFcbSpig|k]iLZFabWpxgt{l`}M~H^enrvyJ{mFvCB`{o~W_KN}FfBv`uozw]KNUUpJtdlQ|x]CluU|JzdxQwX[SneUpJddrQux\CluVTJ^dvQwx\cmES`JpdHQ{xQcnUSlJvdLQ}xRCneSHJddrQ`x\CgeVTIJdFQzx\cguRZHncxq[XM{fUUXH`crQrxYCeURDJVdhQYxYceeQhJDd_QTxWSdeQtJJdbQVxXCduQXJDchQpxWCceUDHJcfQqxICkePxJLc^QrxYCcEUhHBdjQPxYScUTxIjdWQlxVsiuTPItdXQmXVSi}RpI\c|QfxNciER|IbdRQ_xScgE[XLhetrZxm[vEZZM?eCr_h`[wYWZMCeFrChp[waWbK?fBr@Hp[nq[BJ}f@raH_{wQWFKSegrDhi[tQWrLUeLrUhb{taWzLCe}rRHn{syZvLEeyrQHnKsiZnKke[rNhd{rAXvKqe]rOhe{sAXjL[eOrVhc[uAXJLaeRrIhk{qaZJFbbqpxw|k]eNVNHffrrXyK|M]VNAfsrpH|[}A\zNaf^rph{k}Y]BN_fErwhp{xY^JMOfsrch|[}Y[jMofQrkhs{zQ\RMufTrjhv[yq\rMWfirehy{|a[zNYfNrvhs[|q\BJDdbqoXW[kmURJLdfqsXY{lUUfOsfur{IE{}y`rNug\r|IF{~I`zO[gYsFiE|AA`rOag]sHiF|AQ`vOOgSsCiD\@Q`ZOUgVsEiE\BA_rOJgEs@Y?|?}_RNwgUr}iD{~q`RN}gTsKi?\BA_BMFfDraXoKwM[JP@g`sPYG|CeaVP{gks^iJ\DqcFP]hAsWiO|EAcBPKh@sRiOlDAbzPQhBs_II|FyajPsgss\iL\EQbbPqgrs]iL|FabZQKhQscIT\GadBQIhPsbiTLIYcfQShUsdiT|HadbQYhXsfiU|JQczQwhasmiW|JqeRRIh^sriW\KqeBDpayp[xT[jETRIndXqjXpkw}[bMRfJrdYLLEmb^PdgrsZY^TM}fxRpi?S{y_TNUfpSDhzS~y\DNUflRlhpSzy[dNEfpRjhrS{y[tLufHR\hpSvy\TL}f@RlhoSyY^TLEfxRRhiT?YYtOMgHRZh~SuYgOAK@I?fbvp{W}[quX^KreWrLxek}u^^Npfxr|x}lGucbQHhDsbyQ\UiivTkintXijlUQjRToiotZik\SyivTOiptSijlTQi~TciktTikLSyiRTOictUIhlTYiZTQidtTIh\OYhnS}iCtOI`\OqhrSOi]tBif\UYhVTgiUtYid|UqhbToiYtZie\QaiNSeibtGig\QQiFTCiOtPIb|RagfS{iItDie|RygrT?iMtMibW@{@A?\jkTpip\XQmVUQjdtpiplXAmRVGjFt^ix|WQmZVQj?t_iyL\YkRVSjBt\iyL\QjrTqjft\Ixl\IjzTyjjtniu\[AlnUmj\toivL[QljU{jWtdis\XalJUejLtiIrlYqlBUijN_GoCwAK@M?d?QuHjBtaUoxWdkIUGzAtaEotW`kKUGzAd^un|W^k?UDz?T`uotWFkKU@Y}D_endWJjyUBY}t_}ntWRj{UCY|T\umpVdjsTvy|d]En\VbjlTxoBg@{@A?`?N_FZLDR]h~S|i[tOYf\eArFXUkpuUJK|dqrJX]kruUjKleap~X?ktuZjGlcIrbXqkcuZJG|eAqjXUkduUJHldyq^X[khuUjILbIrRWsktuZjE|fAprXqk]uZJF\aupVWpkVuIZC|\EmjVLjftsyy|jAsBYAlXu`JUlgYtnYIl\uaJVLjQsZYolFuljQLjasfYylJukjQlf]rrXtk~u]zNlhatNYmlLufJSliItVY_lSufjTlmAtzZal^uxJWLmiuFZElsupJ[|kiujZ[lhuqJZLkqunZ]lfuujYLnavZZol}u}j\|nIv~Zum@u|J_LaEpJWblRuhZT\i}tRYlmGVEZaDpmw|[TmOVCzadp]wx[RmJV@Z_tpewx[HmDVGZbto}wX[Zm_UWzK|eUujZXlmutzZ|lmy@\FmcVOZhdsMyT\DmgVPZhtsMxx[jm\VJZfTqexD[~mQVNzctrux\\FmcVKZets}xd\Jm[VSZedsuzx\umhv\jilvayz\wmjv]jj\viyr\]mtvXJlluaz^\_mwv\Jk\uYzf\{nCvajn|wq{B]QnAvcJo\wy{N[|m^vMzsDxU|D]VnQVfzsdxu|@]XnPVezm|vmzq?AnRVko?dya|e?CnWVlZuo?Y|Z]u?@Vjo?tyi|j