CAT(2058,1)
Sparse6:
:~?_I_?O?G?CBg@p?v_[oHoDCAW@T?d?SoIoDCAs@T?k?SoJOECAo@\?j?VoK?EKAw@f?n?XOKoEcBW@b?q?YoL_FCB[@j?x?YOG_C{AO@L?b?QoUoEKBI@f?t_ZOLGE{Ba@r@]?ooWoKCEGA~@Z?noVOKCDoA|@W?ooWoJKEGAt?|?jOToF{BwAj@N_gOSWG?DYAm@A___TWGgDqAG@\_`_UwHCC]AL@Q?coT?H[DKAT@M?hOR?I[CsAh@W?\oUOFcDg@tAJ?\oNGFSGeCPAI`C?bWPOGqCQAJ`AO_wOSGkCBA?@Eo^oPcEiBX@j`B_XwOgEeCK@g_q?`WKoG]BIAE_{_^WNWFyBs@{_x_\gN?FUBg@v_u_[GLwFEB[@q`TOiwTKIMDJAc`S?fwSoHyDMA\`L?gGR_IICuA``H?dWQGHQCeAU`F?dwRGHAC]AW_iOSgI[DUAn@U`GObgP{KUELBC`bOpWWcJKEFAs@_ok_WSJoD~A|@_OmoVsJaDtAx`YolwUsI{D|Ap@_Ok?V{KCDXBB@VOo_TkGUCNAE`DOaWPCM?E\B`@fovoXkLuE|B[`kougZ[L{ElB`@kOw?Y{LKFDBT@qOt?[[KgFHBK@pOqo[[L?ERBP@cOpoYSNQFlBt`wo{w]SMyF`Bn`t_}W]wMuFWBw`t?xW[wMaFKBhaAP@W_[O_GDC@ABP@o_CN{FtB{@}o~_^[K]ERBG`dorGXSNqFtBzaKPEgbKPSGtCVAKpD_bCPGGjCSAJpCoasOuG\CKaGPCW`{POGTCQADpCo`KR?@H?a_Po[gMCFED\Ak`UoyG\SMeH}CwA\pLofSRWHrCtAZpKofCROHlCoaXPKWeWRIHgCpaY`KGd[QqHTCxAQpMocsQOHtC`AUpGod{QGH\C]AUpG?d{P{H\CgAMPFOdKPkHND\ALpFWbcUcJBDaaoPN_j{TsHzC{AnPTwjCTeIiD\ai@VwioTyI`DMafpQ_kCUGIPDHAopW?gkUCINDaAbPP?jSSKIxDAAlpNojcSCItD?AlpQoiKSsIfDKAhPNWfsRqKWEJbDpawpKW]KPEDbBP`Gn[VuJxEFAxPaOmcW_JfDgBDPX_pSU[KTDyA~P_?nCVcJ~DtB@p_Om{VWKDDlAwpZ_mCUoJ^DbAspYokkUgJHClaVpJglKUmJTDeasPXwk[UUJHElBXpj_ucY{LjESBTPj?qSXKLVEdbRPhGsSYMLBEoBLpkOrkXoLdEkBKpe_tSX_LVEUBVpdotkYwKjENBWPc?uSZCKbEKBXpb_ucWsLjEfBNPiOsCY_K~DYamPUwfcRyHzENbGpcGpkWyKXEyb\pmWyG\QMeFUbh@tWxo\uM]F^bg@vgxW\]MYFWbk`rGxC[eMTFYBapv?w{\kMLFABlPp?zc[KMvFSB_Pt_wKZ{MjE{Bjpu?vk\cL|EwBmpvousZ[M|DbaqpXGksUaJNFyb{P}W}{^YNjFqC@P|@?[^KOBFhC?pyp?[]gODFeB~Py@?C][N~FbB~PxP?C]ON~FnBoP{O{S^?NBFzBuPz_~k^oNZGOCKqEpAS`gObGNCBQ@P@k_OO\GICJQB@BC_kOnGRCCqA@Ak_[OhGdCMQHpBsaWOzG^CPQGPCca?PF?d_RoHgDCAi@R?l_ToJGD{BA@\?c_PoGgNKFmBtAn`WokG\[MqFZCJaDPAWh[SuIXDDabpPgqSXQKfEUbJpdW{C]INBFkbupzhIOdaQgHYchaUXIGd]QkHOciaRxI_cqQcHMchaRXIGcmQSHNccaSHGoceQOHJcbaQhGocMQOHDcbaPHG?cMQCHDc_aPHFgcAP}HAc^AOXH_biPuHMc]ARXFobaP}Gxc]aLxEobePiGvcYAMHEGbUPeGucXALHF_a}P_Gyc\aJhEGa}PeGmcWAKhDGdiPOHWcTAUXIgamQmGlcjAJHPo@Y?p?VdI?EgBK@m?x?]_Mqg?B{AE@@@W_lOUWQsHUChA[`LoegYsLaEnBR`iotG_COIGBB~`}o~gc{QeHPCdaRPHGm{VYJjDpavp[Gv{[AMBE|b^PnH?s_QOJGFcCqAHXOk]UWJHddaqHXgkQU]JEdfApXWOk]UEJHd_aqHW_jyU?JEd^apXV_jyU?I|d^amxWOjiUEIxd_amHUwjiTkIwdYamXV_jMTgI|d\akhUoi}TmIpdYakHT_jITgImdUakxTGiuTSImdTajHU?iaTKIpdVahxTWiMTQIddTAhHSWiYTIIfdQAiHSCiITBI_dOqghJ_huQyI^dNAUxPGkqSOJIddaahXggUU]IFdfA`hOOhqSEIZdAAehNwheSAIWd?AdxR_fqR{IYc}aexQofiSgHzdIa]XQ_fYSkHwdIa\xMWh]RiIXcyAeHM?hERcIRcwachLghESeHncvAchLOgyRWIOctabxKwgyRQIOcsAbxP_eYSYHddDaXHKGhuS}HbdNAWhJogmR?ILcnabHeo?i?X?J_EoBw@ssG?d?P_GRQ?Ac@U?fLGedRQXhSsaYRLDDgRP`YKs[UdKoD|RK`^crCVvKpD~rK`^sr?VzJvE`ROp^CsOVrJsE`Q|`gcsKVjJpE^q{pgCnGYBK{DwQz`fsm{XzJlE^QypfcmoXzJhE_rNp\Sm_Y@KxDqrMp[{rgVLJaEZRM@[cmKXnKuDnqwPe{m?XpKxDmRMpZsrgUzJXEXqupeklgXhJUEaqu@g{l[YLKrDhqtPekrOUhKcERrH`dKqSXPK]EOrGpcCqGW~KWETRE`dcpcXVKZEJRDpbkpoWjKNEHRCPacp?WfKMEDrB@`KosWTKlE@rJp_kqwWHKEE?R?``CoCWNM[?JODwBC@]?l?W_MoFGBs@q?z?]fV?EWB[@i?r?Y_LrKHeSrE\kMnfYBkHugyy\eMufWblXuOzQ[yMgfNBihr_ye\OM^fTBgXtGyA\CMlfTbhHt_yM\WMdfRbixsoyuYhLUeirTxjKta[_MdfRBcXswxI\cMNfXbbXuGwy[SMnfEBkHpWyy[MMbfCbghp?yQ\?MCfBBfxogyE[wM@fNB_hrgwM[uLLeeBehhWxeY]MXfLbSHhoxiZ{MUf?BeHnwx]ZiLwe|B\xmoveZuLqe}b\Hn_vMZ]LhewbYxm?uiZKLkesBZhkwuuZIL]embWxk_t}YsLaemBWHjWuE[eLQegbdXq_tM?T?J_EOAg@c?m?Z?N_FOBW@s?}_a?O_HOCWAC@E?dMXfLrehP[guSXIPdHqchRShqSvI\dNqfiAx@E_qORgKCCiA`@]_kOWgIcEX~x?m_?OLg?cBI@X?I_YOCgEC?y@p?U_]OFgGC@i@P@A_[OGgCcByBO~q^{O[gLb~YAo~e_iNzgIB}h}p@E^oORfzcCh}X?a_QNtfyCAi?O~A_GNqg@b{X~w}u_ANng?Bzh|P?U^WOFftc@iCW}]^QOdfsCHH{[}E^DNcfrRxX{@@m]{O[fncEhzX@u]yO^fmCFiCW|a`INYgQBuXyh@u_}NVfjCFhyPAA]gOafhcGYC?{}`CNPgObsHvkz}\|N?f_rohwk{Q]FNEfcRpxx_z]][MxfebmHv_{e]UMzfdBmhe[rUXhK}e]rNHgKsAX~LDebrPiOXBi`oQDhACMYHhFia]P{gfC]yNPCiaWP{gdc]yOXC]cIPHhACQIG`GAaKQ@h@CPYGHFuaCP~g`c^iNpBya?P~g}cNyOPBu`uQ?g]C_YDdAu`\OpgVsKIETBQ`fOugZsLYKhFEbMPqgrC[yMxEIbqPcg{CWyM`D}bAPugycWILpDqb_P]gvcVYLhDeauPjguCUiIpEaaoPigjcYYCpDM`OPTgRcTII@Ae`UPQgTCSYVHGYduQGh\C`yU@JYdcQwhWclyTPIud]QkhVCiyRXJ}cwR@hMcoIRPJycoQ{hKcnYSxHUdQQVhSCdiSXHQccQahHcgYPxHycaQ_hGCfyS`Gqc[QehEchYUXGediQJhYCai[W@}@B?__OoFwCCniVxJzd~q~X^s{e]VNIfeRrhxlNGfXRrHvS|A\lMcf^RpHts{A\TMWf\RgHuSxq\lMcfFRdHtsya[dM?fFRdHpSwQ[dM[f@RgHpSxa[LK_f^RoHcs{QXTK[fhRDHxSpa]\LgezR[HnsuqZtL[eDRCHksuAW\LCe\ROHhsrqYTLOeVRUHestQXdQG?h?T_HoCwAk@Q\PMhfTRjHtkymYVLLeeRSHhss}bfPpgxSZiMDE}bVPlguSYILTEea`PQggsTIIlDMheTDiaDKYePSMi?Smi_dKIgPQ}hUSviUdMYd`RahgSliYdIyepQqhySgiSdNyfpQihSS{iSDMidHRmhMSriRDKYePQUhCSmiQDKIcXQ}hASciNdGic@QMhMS^iODHicHQUfmSZhzDEi]hPei?SUi`DEIgHP]geTBiIdPYa`SQhySOiHDNyaHRyhmSLi[dByf@OygSSyiEDNI`XRmgMStiCdLi`@RQgHSEiAt?Y_\OIgwR}iND?IbhN}fuSYh}dEy^`PegwRwiMc}YbpNikgOJgEsBI@t?}_`QfhSsiISdIYdJQbhPSgYRtIAc~UVJMteQr|X_k|UVJLTeArdXckvUbJITdQslXWlHUUJPTgQqdXSl@ToJMt[ar|VCk|UbIuthQl|YOj\TiJLTZArdUkkvU_IrtYQsTYCjPT`iptWikDT}i|TZJHTcQjlTokfUMIkTcAjTW{irTTJEtaqitWoinUJIhTTAplTKkXUIIgtRqpLT?kPTKJCTaahtSskRTHJHTQaq\SkkbUMIbTbqg|S_k`T~I}T_QntW?jzUCI|t_anTWKjrTuJAt]Ao|V[kLTcIxt\QktVOjJVmJntwY{D\qm|V\jWdzIu@]mnYUnjUDyy|hYylYVkjsDiYtX]enSUijRDyIt@]ilMVhjXDsyu`\UleVSjpDsi{`\AnEVPjeDxi{x[inIVJj`DpIwX[YmAVDjbdnixH[AmOU~j\dtiz@ZummU{j[DuyzHZilqVYjedlYux[}lkVMiKtEybTPqg|S\kEUBj@l_eoVWIkBEEJBP_]oqWGk@eEz?``uoIW[kLd{ZBh^MowVqjvEEJBP^AoqVnj}e?I~x_In{W@j|ECi~``QnuWRkId|y~H`]noWUkFd|JAH^Yo_VtjCTaipLWqkZUJjFTcIp|XIkfUPkNEOjC@cQo}XBkaeMZFXc]psXEkZEOZFxbaq?WvkXeOzE`cQpiXAkWENJEPbypaW|kUuJzDtampTWkk]EHzFpaepyWgkQENzCpcEpIX?kbEGzGxaIqIW`jsTyi|L]qnZVjkcUQjHLeUrHXbkrETJL@dYrMXTkrESZL@dMrMXQkgEYZLXcyrSXNkseQzLXcqrSXLkleVZJxdiqwX]koETzKPderAXWl@E]JOHfisEXxkzEZJMheurmXmkxE^jM`gAreX~kve]zMHfurwXolEe`JPxgYs[YDlBebJPHgmsOYIhoSwi[LVqjzT}i{t]ynT^MndVpjvT{I||diqxXZkkuUJI|igtDYhLQUiBS\h{tJY`LRugBStiOsxY]LPufRSTh{svY`LKugBRThWsxY]LKUfRQ|hWsrYWLLUdrR\i_s`YQLTUiRQLhKtJYTLRudBStkc?N?G_CtFycDQEmBVAj`tniwDZ}o|W_kNuGZC\aIrXXmkuuZzMLfAv?ZYlkEvjZxleuiZZljevZYplquiZQliEtzYplMuqZPlfeujZ@lAuWZQliErjXhlMu[ZPleEsJXhk}tWZBlTepZThkQu?ZZl`EvJWHlutyZ]l^EvzVxmAuUY{lcemjXPjmuQYvldemZXPjatgZElZEqJUhk]uEYplXepZW`jIt[ZElWEqJTxk]wa?C_BO@ZaHnEvc[RlwFCj\hpEv][RlvFCj\XoyvW[OltFBz`Xm]wYZhmEEyJ`XmQwWZdmEexj[HoyvC[OlpfBz_hn}wA[Fm?F@j_PnqwGZ|m@e~j^XnMviZxl|E|J]poavo[IlzfAW?{?a?R?H_BoAJfXr_xh[yMXvMReTr_xj[vM\VMRetqcxj[vMTvIbetqWxd[gMYVHre\qoxF[mMQvJRcdq{x@[aMWvGReDpkwh[UMMVEbalp[wz[XMNvEBbs?Q?J?E_AO@g?ltouFZDlaUpjXDk]yu\RmlFTZjHtQyu\UmkFUZjPt]yw\FmnFQZjhsay_\UmkFSjiHt]yY\RmfFTZhxtQy}\ImofRJk@smyK\]mafVZg`tqy}\@m`fWZgPuAxx[zm]vNjgDr}wV[LmEVCJ`|oyzQ]BnAfYJo`uiza]?mxf_ZmPwIz[]BnAf[Jo`u}{?\jn@FZZoHuqzF\amqVXZktu]zy\vm{f^znpvazs\sm}F\jnXvU{u]EnMfaJr`w]{]]TnGFdzqHxY{e]KnHFbjq`wu{Q]WnLFazpPxe{{]cnRFgJshx}|M]`nSfgzt@yIxp[xm\V^Zn|vyzt\{m|vkBvDzG|l]pNZvkBu\zG|h]pNYvibutyk|n]kN[VkrtlzS|^]sNVVqBjTtmyr]TnJvdjqdxM{d^INfVqByD{c}^^GNeVqbxl{c}V]zNavpbvT{[|r^JN`VrBw\{s}H]~NfvoRyD{?}\]{Nbvnbwl{W|z^eNjFwzyh}U}g^cngfxZyX}M}c^cnmfuJzx|]}{^XnoFujz`}I~A^Znvfxj|@~E~M^ontFzJ|X}y~Q^lnbvpjwl~G~p^rN|V|B~L~S~r^vN|V|b~D}M~J^c_?g?R~[?L?E^{n}_?c?T~w?C_@_?g?C?\~{?E_A