CAT(2184,1)
Sparse6:
:~?aG_?O?G?C?[?H?D_BOC?@k?y?^?M_FoBWCO@i?v?X_T_FwCCAE@H?b_POG_B{AC@H?_?PoFgBc@uAE?v_[oMGDCAi@R?x?ROLoCkB_@N?u_YOLWECAy@^?k?WoJOE[Ak@d@Z?[OMWE{Ae@T?g_w?VgKCD}Av@\_mOUgJCDeAt@X_kOUoIkD[Az@[?jOO_IsD[A@@@?ioSgIcDMA^@O_goR?J{CwB@@L?nOQgHKCmAL@G_boOwGcCU@w?|_\_NwFOByDE@W_lOUWBc@u?|?{_\OMwFsB}@z@?_`OOWICDEA^Av@YOkwUSI}DbAo`WOjwUKIuD\Ak`VOjWTcHiCxAZ`JoeWRCHuC~A]`O?lgUoIIDkA``N_iwRgIeC{Ai`M?iGROI]CuAe_voZgLkH[BX@i@KOeOL[JOClAr@IOk_QkGaCTAH`B_lWOgJUCKAt_~_gwSgGEDGA?_}?gWNoIIByA_`Q_]wS_FiBqAb`R_\WT?FMDK@s_w?iWMOImBaAi`F_XwQ?EeC[@g_q_bGK_GuBKAJ`@_WwKOGICG@``G_\gN?HMCc@vaG_DgBC@]Gs?U_JoEGcWHyCzA^`OOggSKHqCtAZ_LoEWBS@i?v?X_QoHwCsAY@J?f_SOIWDSA}@\?o_UoIwDcEQBL@d_roYWLCEEBF@a_voZgLkEEBF@a_tOYwLcEUBH@e_roYWLCHECfAQ`FOcGP{GmCZAK`Ao`wOsGICHAB_|O]wNKFYBn@wa}`Z_mKV?JfDnAxP\OnCVWJrDvAyPWWj{UAI|D[ampUOnSTgJxDzAlpYoj[UsIrDkAlPSwikTQIlDVakP\oiCVcIdDwAgpROkkS{JNDMArPQ_jcSoI|DJAmpQ_g{ScIVDKAcPMwfkRqHwDsaz@NWmgRmHrCya[PM_mKR_JfCxAxPLwekRYJOCqat@LGeWUeH^CpaWPW_dcUOH\DbAUpIOl{QkJ`CiAvP]_csQ_JxDzARpGog{ScHJCcAcPIoesQcHnCiAYpGod{QSHbCcAWPFWb{PyGzC^aNPGGcSQEHDC_aOpZobSV?GxDmALpDom[PcJbCWAxPD?mcVWGjDtAJPE_lKUgGvDgAMPYoaKPKJZCQAuPDOk{PWJJCSArPOO`[OoIFDAAEpP?`sSWG`DDAFpN_`CS?GTC~ACp@OeSO[HhCrABP?_dsQoGHClA@p]OXsV_EXDv@eoqOnSKkJvBIA}Op_iCK[IbBGAhO~?kSNwJHB|Apo{o`sNSG`BsAFo{O`[NGGZCK@wPOO\kSKF^DA@vOyOc{Q_FNBgARPA?[cMWGRCI@qovohsM?I^B]Aeouoj{U?EzB[AopDoZCP_EtCX@kotOgcL[ILBUAapN_Y[S?EhC~@hOroaKLCGfBOAHPT_W[KSIpDV@aOo?_SKGGHB@A@pTOVsTOD~A|Ahon?_sJgGNAzAAo~o\SOCFXC?@towO^KMKFvBa@|O|_VCN[DrBw@ZqOo_SOQGFCDaBp@g`SOaGRCKaEpAwakPYGhCVaKPEWIkDYAn?^_OOGWBc@u?|?y_]OMwFkB}@|@?_`OOWHcCyAZ@B_aoPGXSKmERBb`pOwWZCLiErAv`[omHNwfKRlHsC{Q\PM{e{R`HlCwq[`LseaRNHhctaXXLOeYRWHccnQWHJ{duQvH[cpaUXKGdiRCHWciqThI{dGR`HqCiQSpMKfWQ^HwCgQSPM{c]QPHEcbARXH?cyQMHKc`qPHGkccQFHJCaqQ`GcbqPvGyc]qNxFscEQDH?c_QOhGKbORrGuC|qLPNSbKPpGpCZqK`FKb?R|GmC}Q^PD{b{PVG|CUqN`DcaSPxGfC\QMpCs`sRvG]C|QF@NKb_OrGYC[qEpE{dwOlH_CKQVpA{`?QVGQCdQCPHK_gQXHLCEQApHs_[RxH}CCQ^P@K^wQ`HPC?P~pH{fONxHrB}p}pMk^gQzFxCmP}@J[dGNjHSBzqSo}s^KRvFqC|P|@NK]{RxH}Bwq^O}C\sRZF^Cvpv`Ls\gQpF[ClPupJKdWMlHTBiQToyk\CRHFRCrPs`KkeKMVH`BePrPKS[YMJFFb`ppGwSe[KjEVCspd`LCWsRXEMCtPb@L[`KNTGTBtqD?|K]KOZGNBqpx@@s]WN@FgBpPxo{KZgLxEzB^PmOvk[_LjErBdPqOucZ?O~EqCOPkPCKYwM^EnBgPjOxsYoOHGDBTq@_tSYWOBEdC@Ph@?[XwLlEwBOPlor{XkNZFmBMpf?|cXgM@EWB_peOv{W?PDEACQP_PC[W{JzEPA~pc?nsXOMnFXBHPu?q[a_KREJCTQIOpSYCKLEbBCPg_o{WKLPECBSp`Os{@Y?p?Vea_dwRKHaBZ@n_vOYgLcEmBf@t_yO[GMKFIMRFGbdPqwxk[qM\FObfpsWy[\ILfEsbYpjgt{YuLNEhbSPgWs[YIKNEGbBP_wocWUZoL\enrVhi{teYpLPEcRSphStGYRLPEerSph[tGYXLNEbrPPiCswYLL?e^rOXg[sQYDK|EurN@lsrwZXLeE]RY@fku[X|LBEqrX@gcsGZFK~EoRWPgKs?ZDLME[rRpf[rgY`KnEbrJ`gsqsYJKiEdrIphksoXXKdEsrH`l[qOZTLuEOrGpmkqGZnKZEyrFPm{poZlKYExrE@mcpcZdKVEyR[`asvKWjKNEyrCPm{p?ZlKMEwrZp`kooZ`KBExR@PmcoOZfKyE?R?`f[oCXrLhDyRY`]knWZVLnDwr[P][v?VdJkEcQyphSmsYRJdEnRVP[{mWY~JaEjrUP[cmKYpLkDnqwPlsm?ZZLeDkrY@Z[u[UtJOEprXPYSuOUbJLEoqrpkCkwZDJAd`qoXWCjyT~IjEiQiPisigYjL[DVRU`TktkTXIsEmRUpU[tgTdLTDWqk@isi{YhK]ESrI@cCq[W~KqEHRK@acrCWfItD~Qlp^kjWV~J[DhqtPZslsUhJJDcqr@W{kgUPJCEBQp``CkSWNIzECqnP`[joWTJoD\Qz`VKj_V^IcEXqgpekiSXhKuDMqfpe{hwXpIYDRQf@S{hkTPIWD|qdp^cngSrJUDGqcpZCl[SdIUDFqdPQChOS\IGDsQa`\SgcVRIJDAqbPO{goSLI_D@Qg`OciCSFH~D{Q_@^Kn[SBObE_ROXf{sQYDLBaGPBg`{CaAN@E`cOpgW{KqEZBM`_oogWCKMEJBC`\OnGV[JuD~A}d}Q}x^Sn]VrJwdIQdhQkhAS\INdDqbXPcgYSNIDgkcNiF|CAamOzgjCNYJ@Bq`pOyg[sLqIdBSafOuGisJAETAw`hOlGXsJAELAs``OmGVsHiDDA]`HOdgPsGAIDAGadO`GgsGAHTCo`DPJGOrfAICxwadM\GgsFQDL@{`VOiGNSJqBTBC_xOoGLsIq@\Ag_ZOKGSsAaET?_`hOHGXs?AJDDW_BN~Gjr}AIk~[afNuGiR{qIs~SapNsGjr{AI[~GajNpGiRzQG{}{aRNmGcRyaHk}ka^PMFuRwX{[}I^@N]fnrvQGLCK]xPAFlsP@zDCW]tPDFkroaCs{C`PN?GRrnQC[z{`JM}GQRkXu[zI\\MofVrfqHTCo\BPJFOSRPrDC{[lPMFJrdAG{xKaRMTGcRcAG\CC[dMPG`SP@plCW[^PDFFSL`o|B[[POtFCsMppcwk`zMIG]SN`ocwSa@MEG^sM`oTBc[FOwF?s?`{{}c_HNgG@rxA?k}W_NNdGBRtPw[|[]JNUFaRs`vSzo]hNRF\rr@u{{w\rNLF[Rl@~c~w\lMtF}sD`tl@O\XOTFTri@x{yg]bMhFgRhqACyW_\ONFQrgp~[~g\HNxFPRePws{_[tMZFbrqpn{{c[@NIE~R]qA{vo_pL|GKsCPnCvg_fOQE{s}?AC@I?b?S_IoCxF[bqPtG|c^qNhGKcIQ@Gvc[qMGEcBY@jENbGpcGqSXMKhSPIDtCa`dOgg`SKIFtAa`tOkgZS@i@t?i_DNyf~RzHxS~A]\NsfhRoH{S{Q^TNcf^SQHuszaaDPCfXRhIFSyq`|MggZSEHoSwa_dMCgJSEHkstq_lL_gHSFHcTAQXTO_eRRDIBspq`LKWgPRzH`SpA^lNoeFR?H|SoQ^DJ{frS@HZT?qVDOGdnR}HXt?AUlN{dhQ[HysfQ]tHkfnQWHysea]|HcflPagqSWyJdDua|Q`Hpsgq[dMSdDR\HNSvqSDLwc~RfHJsyAQlMWclR[HISuqQTLgcfQNHgscQY\H?edQLHjSbaYdLScXQqHDSkAP\JCcRPvHBS]APDFccNQBHRs`QTLGOdPQ?HfS_aYDK{cBQcG}shQNtIWb~P{Hds]aXlFkeXPmH]S[AVtE{dzPlH\sZAVLJgbVPgHUsjqLTIwbRPdHTSXqTdEWdVPrGnsWQMTFCb@PXGySUaMtDkbj?N_EoBipoPuG|C^aOpGgcDD}bBP_gksUyJTX[kfUXJGteAqTXWk^UOJITdQptWkkbULJHtbAqTWwkPUIJGTbqpLWWjLTcJBt`QklUKkJTaJBtWQotTwknT_JKtVqrDTkkhUUImTdQjlWghvUGI]TMapLWkhrUKIZtbQfDVkjdTyIwt]QmDUgjzTjI~TZAndTSi^TVIgtTaiDTOitTXIhTSqjDVWiLTGI{T\qg|SKjfTtIaT\AglU{h`TlIVtZadtQkjNThIUtJAlDRshPS~ITTNadLS?hJSfI`TOQctRKhHSqIPTGqeLROhBS^IZTLQcDPoj~S]J?tFQoDWKgrUCILT_ab\SoglTMIKTRQa|ScgfTJIItQaac?m?T?K_DoAg@c|u]xNZflRuHzL]_m~ViJotyQ{D\onVV]JuTzQzl[{ndVLJxtra}L^?mTVKJvtzax\]_ljUvJtTla|LZGnVVlJYTkq|d^ClJUcJxTgq}\Y?n\UaJwTgQ||Xuk~U]jLtfIrT\knLVYJrtuQ{l\[nHVWJptwaytZ_mHUyJbTmQwlZkmNU|JctnAxDY{l|UpJ_TkAv|[ClXVBJVToatl\KlRUjJittAtT\?lLVQJSTsQs{rqX|K|dQqhHS[hyS~I\hUsjyTtIidXQjkWEKzEPbUpaWskZEJjDxbapmWlkTELjD`b]pUWwkXeIjEhaqpgWjkWEGZEHaMpcWakNEJZDxaAo}WmkCuAz@T_aoLWFk@u@Z?d_AoDW@jyEDY}p`]niWUkGeIZA@aao]WfkFEHZCp_qpGWLkLd~ZBh^}owV}j|EEJBP^qoqVzkHD|y~H`QnoWRkuCGICTAE[NMHfCRahpcwmZxL|e|r]XnSvaiXTLifTQYh\SiobWNkGUBZ@t_qsLYClAu_zOLgIrwXxk|E]zNhfar{Xul?E\zNxfUrcY@kyE_jMXgMsGXnkwe`jOhfAr{Xkl?EZZNxeyrYXzk}eZJN`eyqIXwkbe]jGpferSXdkteWzLHeQrSXakseWZK@emqhXTkjUSzITdEqOXtkdE\zHHfYpwXnk^E[JMHburcWxk\e\JFPfMquXgkrEVJKxdiqyXVknEUZJxdaqYXBkdePJH`cIp}XMkgEOJGHc}uK?G_Co@w@C?]?RIhdTqihTciuT\IndWqkHUSjQTfQZhMsfIRTHecpPmgwSZyLlEqbVZVLputR[TlWvBZQLnUtB[Dl{ufZElcUpzXLkmuTZHLluqrZdkguzZWLbUubXDlcuNZTL_UtrWTlWuBY~LhunbYdlGtzZBL]UmbWlkOtvYvL`umRWdj_uJYmLnUwBUDl{t^YkLfUirXdkstZYgLfuiRYLigu`Y^LpUgR[\mCt@YULkUeBZTh[urYTLmucrZ\hOuxZMLGucbXlkos`YMLgusBP|gsu^YtLRUlbS|jOtJYaLWukrSdiKtdYFLKuaRR\g_stYILMUfbPdhssV?O_HOCWA[@U?hUIjCtaIp\WukXS[iNTFYbLPmgt[vMTvIRetqgxj[eMXVHredq_xf[cMRVHRdDqKxN[hMOVGbd\qCxT[PmHVCz`|oyw`[JMZVLr`looxj[AMXV@BedoKxfZiMVVJR\dqovVZnMWvJr\tmsx`[kLrvJb\LqsvP[nLqVKR[tr?vJ[YMCVFB`TpkwR[DMMv@rb|oWw|[VL~v?RbLo?wpZ|MIvDb^tnowhZuLxu}B]dnSvnZxLwU}r]Tngvb\pKsuYzLTNUfnRukiUTjIldEqfXQkgURzHtcmqZXKmyF_Zo@vYzi]Am~F\jnhvQz}\tmvF]jlxvmz_\{m{f[Jlpv]z]\wm^F\znHsAx}\wmkf[ZjXvMys\qmxFTjj@vEze\Vmff^jhhvuy[\~n?fQzo@sqyS]Am`F^JnXsEyE\ymnfYzkHuuz?\kmnFYZj`uiyy\gmhfWjk`tUzE\SmqfSji@u]zK\Pm\fPzfhsexw\Gm[FPJfPsYxq\Dn]?@G?s?U?H?E_AoBG@[?iz^\mmwUozWlkQsNYHlCUizTliqtRYglTUajPdgmyN\HmcVPJgtsU}g^CnjFojyh{M}a]~nhfoZyP{A|y^Mn^FsJv`{}}U^AnefpJx`{M|u^DnbfmZwpzi|q^DnbfmjvX{Y|y]vn]FmJvpzY|}]un_FmJwHz]|_^GnXFqjuH{e}S]mncFjzxHyu|e]cnRFlZshzQ|g]anYfgZuXyM{u^SnMftjr`|U}U]WnLFrZx`xe{i^VnJfuZqp|a{c^ZnmFczq`|i{W^YnmFbjph|m{Q^VnDfuZpP|a{K^MnCFsJox{}}a]BnAfszo`|I{]]inGfjJq@ym|M]]nSfgJt@x}|f]tnYVljvDz]|r]zn\UzJ\TmmvZZnlvWGcBe@x@H_bOMwHCBUAL?r_aOLwFsAEAD?d__OGwFs@mAD?^__OFV{cCl~L@N^sORWHR|}A[~b_eNwWIr|eAs~\_kNuvySDEAg~V_hNtVxcDD}\@R^gOTVvcD\||@Z^\OUWCs@U@T?X_SODwDc?}?d?p_GOJv~c?e?@?L^~OAw?R~\~t?F_AN}V}B{\~g~J^xNqV|R{D~[~D^uNowTcEED\@^`TOVWUCHMClAt`IOkwVCHECXAz`ZObwRCG]CxAJ`LOaWOSIEC@Ab`AOfwMSFuB|@n_wO]wLCFUBT@v_uO]WKSIUBLAh_qOhw[sLUEpBj`jOyWXsJuE@BR`gOnwXCMEEXBd`dOwwWSLmELB^`aOvW\_?IF~CA`w?@w\o?QGA?A`xO}O?sNYFy?C`yO}~