CAT(2394,1)
Sparse6:
:~?dY_?O?G?CB?@U?h_S?IgD_A]@k?m_VoJWESBA@b@A?QOHgCkCk@|?{_]oNwGKCAAF@C_`OOgGcCM@l?w_ZoMOF{BkA@@@?\ONOE[Bw@j?{?YOYOFcBu@|?f_SoIGDcAm@T?i_UOIwE[BU@h@}?|O]GNKFaBt@x_zO\wMkEyBX@l_u_\GLoFIBe@k_t_\gLGF]BS@t_sOXwKsEOBb@b?wOZoKkEOBd@b?yOXOM[EcB@@a?tOYoKKCoB@@a?eoQoKKDuA|@^_fORwICE{At@Z?wo[?JcE_Al@e?iOXoIkCiAP@H_|?PwN?CUBq@E_j_SWJGDMAo@Q`_?HGCsAU@L?d_QOJwDkAyAV@L_eORgICC}AJ@F_bOQGHSCeE{BQ`hotGZWLIEyBR`m?tGX{LAEbBM@lOrOZCKoErBJ@koqOZSKgEpBE`cOpwWoLUEOBV`b_tgVOLmDwB\`\_vGZWJuEyA~`m?ngWOJeEAAw`_?lwVGKQEIAv`[?owVWJyDsA|`]?nwY?FyEaA?_~_rwUGKMEIAq`X_pGT{JAD\Al`UOiwTOKIDQB?`S?oWSgKqDMBM`R?rWSWLiDCBX`Q?uGXGIAESA^`d_gWRcHyCzAX`LoegQ{HaClAS`IocwQCHECdBT@EoboY{GwElAs@DOl_PcJSCVAs@Coa?UsG[DjAC@io`_Y{GSEl@z@?o_oNkFoCD?a_POGgC[AM@FAs`ZOlWVkJ}D|?v_ZOMGTcImDZAP`HOcGNkFmBxDIAfPQoh{SoIZC}AcpO?g{R{IPDBA]POOf[SGHzDBA]pOOfcSGHvCAA[p?ofSR_GHCnaWpKGhgQYHODNaf@HwakPYGhDIAFPR?aCSkG^C}ADpNo`kS?GXCFAbPPO_kSOGLB~a?p?G^KNmFtB{`~O~W][NUFhDC@wO{_gsNCIJCw@qOx_fSRcFJB`AbpQO[[MGIPC_AUPG_dsQCHZC\ATpFodSPwHRCcAGpC_c[PKHJCGAYpA_e{OcHlBlAXPL?\{RKF\BiALOz?bcMkGvBfAJoyObKM_GpB]@zOw?^CL{FnEQbIPcwkSUQJFEMBLPb?rKWsKpE?AmP__jkWCI|D}BCpaonkV{KTECA|p_onSWSJxDvAvP]OmCV_J^DgAyP\_lKUgJjDdBIpdok{XWJLD^AtpWOlcU?JZEZAlPUorkTcKxDUAwpTom[T_JdEEAhpTOpCTOKNENAgPcOiSX?Ib?r_YOLWOCF}B|A@`@o_gR{IADBAD`AO`gNkFqBvFWBgProy{[wMrFMBePrOyC[{MVFHBiPq?ys[gMjFPBcPsoxK\GMTEcBgphOy[YWMdExb\pmgusZaLnFLBRpiOxcY_MVE`Bjpu?s[YGMrE]Bipfoys\OL@E{B^pn_wKZsM@FDBXppouk[WLhFABUpj_wc[KL^EoBTPj?uSZCLVGI?oOWgKKEMBJ@c_aoPwGsCaAT@HaQPHWc[QAHDC`aMpFwbsPiGxCZaEPBW`[OaGTCH`qOxg[kLyF@B^cHaIxA_auOiGkcHaGhAgaQOgGbcGAIHAOaeOaGicQaCHCw`IPKGPcEaEXBW_yO]GYcFaDx@g`aOkGMcNaAhCG_qP?GJcMAAhBg_mO{GKbrADw|?`aNMGUcMA?XBo_MOyGAb~AEXBW_AOsF~cQ`}xCw^uPKF{cT`}G~OauNqGkbzp|W}s^MNhFqbvaIG}GaiN_GhcN`zHC?]uN[G`btAGg|WaMNQGcbqA@w{g_eNEGGcB`wH@G]IOOF`cA@vh?o\uOIF^cA@uh?o\qOIFZc}?mWVCJ]DvA{`\P]gncVmJnDwa{p\GmsVUJbDraxQ^pP[g?SZI@DEQ_POSf{SHI?D@qa@NcfwSTH|DCq`PNcfwSNH|DBQWXK[eIQ|H_cnqS`P[dOSZHRDEQa@H{dCSTIHCgQR@OcgGQ\IBCeqQPOkcgSNHJDBQ]PG[fkQJHyCaQO@NKcCRvHAC|QNPNCb{RnG}CzQ\`FSboRpGzCzq[pE{fSPrHsC[Q[pEcfSPlHsCYqKPMCfGPdGrCwqJ`MCb?RdGnCwqP`Ksc_RHHFCqqY`J[doRXH\CtqZPJCe{QtHmCkqXpIkecQnHgCjQt`Xkk}U\JIdeQqxQwlMUiIXdKAtHQ_lMUiIUdIatHY?hIUcIPdHasXPolAS_JQdFasXROjyU?I[d^aexVWk]TyJHd]AqHW_jIUIIrdYAphTGiqTUImdTAjXUgiYTmIgdZAhxV?iMTsIdd[ahHS?kETCJBdOaohTwhuS}IpdNAkH?c_YOJGFcCqAH\CmiVRJ|d~q~h__nAV[KDe@azx\WoAWCJle?azHZGoAWCJZe?auhYwoQUkKBdkB@X^OmUVwJfd|axh[OnQVkJbdqA|X]wl}VAJxdoA}H]GlqVeJ]dxAvXMCfIRbHrcyq\HMsfaRnHxc|q]hc_oYXKKGeQb@xdgqEXEKnePBJhcwpyXQK_eSBFxbWqiWyKkeMBIxb?qQWsKeeKbHXakp]WlKQeIRCx`wq]WaKheGBIH`_qiWYKjeFBJHdgoeX]KJeVBAhYClIUbJRdiqtHeCrIXbLJeerRHhorqY_K}efbNXhoreXsLOefbMxiGrYXoLRehBLxiGrMYeKtehBLHggsIYGLFe`bPhh?r}YSL@ecbOHkouAZOLaerbWXjgueY}LjenBYhjOtQYwLUelbTXiwuMYqLdeqBUHmguqZmLmezBZXlwvIZaLsewB[wKsEaBN?l_VoJgI{DeAp@P_hoSgIcDYAjCeaRpIG\{MyFZE`bPpggrsYAK~HXclQUHIkd]QlJXdlquhY{lYUpLAeaROxf{sEY@MgFPRi`scyc\FM^FQrhpsKyW\@M[FPrf`sSxs\HM`FKrepr{y?[tM[FJrf`qsxs[pMTFKrepqcxK[tMOFJrc`qsxC[pMTFFRd@p{xK[ZMHFERa@pSw[[VMEFCr`PpCw[[HMOF?rc`oSxC[FMBFAR``oKwS[DM?FFR^`p{v{[ZL}FDR_@pcv{[VLwFQr]`s{yWZrLzFSR^PtSvo\RN]?JOEGA{@e?v?Y_MOFgBk~?@@?`_NoNwGKCA@R?f_SOMwFSBeDDAc`PoaGPKG]JJDearpWWj{UANXFlbvPyg|[]eStI[dLqfXR{hyWLKGeBrAX`[oiYhLUeirTxjKta_mO\gNcEYB@@y_gOYgJCFIAh@m_mOPgKcCyB@@I_gOMgJCCIAh?}_UOMgEcCI@`?}_aOGgDCCy@H@I_WODgDc@y@h?Y_COGgDC@I@H?M^}ODg?c@y?@?Y_CN{f~C@I?W~u^}Nvg?b}I??~Y^mNzf{B}X}o~i^eN{f~B|H}g~u^eNzfyb}X}_~i^`NpfxR{h}C~E\UNlfUbzxt_}y]oOYflCFHzH@m]iO\gNbtxyp@y]eNkfiByhyO}m^WNNftBsX|W|A^QNLffBxx|?{q^QNHfsBqxxO}]^GNEfcBxhww}U]ENcfabxhw_}U]?N`f`BwxwG}I\yN]f^bwHvo|}^AMyf]Bwx{Ozm]{MvfoBmXzwza\gN[fmblhug|m\aNnfXbzhuO}u\[NZfmbkHtw|qcK?I_EOAw@k?}?\QQ?GOCgALH_?f?T_ISeIRTHecpQYhKsGAQlAGcnO`HJSQaOLGGaXPJH?SRqODGGaZPMH?scaG|HOaRQRGcSbqGdHCaJQOGbSOQQTCKchPAHHsNaPdC?c\QLG^sbqF\H?`zQPG]SMAPdGw`tQLG[sLQPLB[cVOuHDS`qEdGW`fQGGXSJqPLBCcVOoHDSJAOtAwcPOlHBs_qDLAkcJOiHASHaQlA_cnOfHJS_qC\GS`JQCGQS]aMdFoblPzGys\qMLFcbfPwGxSWaLtEOb`PbGvsXQJ|E[b@P`GrSVAL\Esa|PkGmsUQLDDkbTPYGssTaNlD_b~PVG~SSAI\DGajPPGiSz?As@a?n?U_KODwB[@e?t?X_LoEi^o@q?|?\_MOFgBlGAcDQ@h~D@I_pOAf}SDi?d@I_pOMgCSDhuc}Y\`Naf[Ryh{Czy]HNif_RxhxC~Y^XNQfwRrh}c|i^XN]fwRthRShISlI]dRQghpD?y[@OEfASAhmc|YZxN]e{RuhlC~iZ`OAeuR~hjczy]HLef_RWhxCtY]`LYfeRShhCzYYHMqeeRmhLcyYRhMmcwRihscfi\XIAfSQ^hrCriY@Mae]RfhacqIWxKieKRHhdcoiW`KueWRBh\coIVPJ}dqR@h]CliVpJadyQvhWCkyUPJUdaQshTCjYTxIqd[QjhOcwySXMUdCRc_DOBG@[?i?X?J_EoBw@s?u?^?Mio_CgAC@E?d?O_GsyY\\Mi]vN\fmRyX|C}]^TNkftrzX|{}yjATfisdWykPUajGTfisdXikhUai]TZigdVYi@TqiuTQiiDVYiXTqi{TTioDTyjxTYi{TWioDUijxTejSTKiuDRilXSuiQTdiddXihPUQjCTEicDWykHS]ioTBilDPYjHSQi?TQiiDOiiXSEhyTTi^dTyfpTYi]SyigdNIi@RmhmTriydMYm`RahbSriXTLIetRUh[TriydKIm`Q}jSSjiuDJYlXQqhOTliTDZydHUyjYSdiRdZylpQYhGTqiPd[IcPVEh?TpiOd[ibxVAgZSNiFTCIaTPEgfSTiITDia|PagwSFiNDAYbhOagSSXiEDEy`XPicFQDhASbYPdGyc^QOhGsdYQ|HYmeUGjDDtYy`WekyVIjeDfyrp[mksVIjeDfIrX[mkmVRjKdtYr@\QmYUSjJDryqh[ym_UPjhDcyyHXIm[UMjedcIxxW}kUVOjEdsYp`\IjxT}i}t^yoLWAkDUCj@t`Yo|WYmMUtjZdqYup[amEUsj`DkywHZImGUnjbDkYwhZAlWUzjVDnYthZql{UhjTdoIvxYiloUej\DiIvHY]jkUbi{DhYmxYQl?TxjPD]ysHVioKVUjkEAIyx_]oEW?kAe?j?`_EnsV|j}D~y~X^yo_VjkFdzI|h`EnQWKjsEBZ@p]inIVvj{dxy~@]YnCVpjqD{y{X^IngV^jzDwY}h]An[V[jwDvi|x\umqWHjleAyzP_ipe?^_OOGWB{AE@@PIgeSQyHlC}a\SXiLtEibtPqgzW{K`UNbGdbsqFX@K[uMrF|bgq@W|KZuNbFDboplWzKYuMbE\bOprWoKYuKbEdbCpfWoKZuKbFDbCplW~KKUEbGL`cq@WTK`uDrGd`WqDWiKUuJrDdakp\WfKHUIRAda_ofWcKNUHbCDaSo~WZKOuFRC\`opDXq?HoDGAk@Q?f?Th{S}i^LNmfzR{hLsfIRlHyd@Q^j`toYwTZym@U~j\tnYvdZaltUxjPTgYsDYMlHUdlHe_ZQ`gMsiYAlHE^jO@hAr}YPk}E`zNhgesOXzk|e`jNhgQrwYDlEe]jNHg}roYMlDE]JP`fisUXxkzE_ZMxgIriYBkxE^jM`gAreX~kyEZzMHfIreXokwe\jMxe}riXokbeYzGheeqKXikrEcJQPearMYPlHeWzQheUsgXclBeWJPHeIsOX`kmebZJxg}q{YMkleazJ`gqsSXYkje`JJHgUqoYEkjUTJIldIqfXPkuERzI@eur[XMkteQzLHcurSXKkceZjHPeqqOXllqDUyjlTqi|T_int|y~L^anhVujyt{y}T^En\VojvuzR[|m{vRZmLsUyb[|movRZjLsUxB]\nSvLZdLyUxb]LmOvdZdLwUoB]\nSuDZ@LyUzRVlj{v^Y}LvUmb]TnCtxZoL\uybU|motrZjL[UkZU\jIt^YolVUwRT\mKtZZaLUUiBZtm?tTZ^LSuurStiSuzZ[LRugbZ\iOuzYbLmUgRZDh{utY_LkuuBRdhwutY\LkuwbRTmKsvZ`LKudbZtm?snZ^LKUrBYDkwubZLLfutBX\kgudZHLhutRWtl[uPZULbulbW\jOuJYtLaVNbeDrEx^[mmUvJJ_@rmwA[|m]E~zfXnqxyZ}m]E~Zf@nexsZzm[e}j]pravo[ylzfMZcPrIxg[_mOfKz_PpuwG[^m@fFjexpiww[tmLfLjaHpQwk[RmHFDZaxoywq[OmKFBz`XqYwY[gmEFHz`@qewS[jmCfIjcXoUxI[FmQF@jLLemrTXkkvUZZiHumyc\lmgFZJjdtuy|\XmlvUjl@tYyo\hmtFTzlXsEyE\lm`FZJl@r}zS\?msfNjhhuUy]\fmfFXjjxsizA\KmoFQzgxtMyQ\TmcFTJg`uIzG\EmpfPZZDliurZZlmuvJZtmAu~ZblpUwZlpwqz_]MmvfbZqPwe{g]JnHfajpxwY{a]GnGF`zqpwM{I]VnAFdZo@wq{C]Mn?fbZnlv}z|\ym}V]zpxv]zq]PnGF]JqpvYzg]VnIf\ZmHxIzc]SnHf[zfDrixr[zm]vNJu\zU|h]onXVkZupyQ|K]wnQflzupyE|o]bnZfgjrpze|u]_nNfmjrXze|u]\nMFmjtPxa{s]knTfeZsxyu|O]nnSfjjv`{m|{^Ln]frJyH{a}e^InhFqZwP{y}G^On`frzvx{U}M^@nbFoJzh|i}w^^nnFuzy`|]}i^WnjFuZETbEp`ZMleUrZX\keuT\@m`vOjf|sAx|]inUVizs|ye|P^qN{V|B~T~K~r^tNvv|r}L~W~`^qNuv|B|t~K~X^hNwvyr||}g~`^fNuvyB|t}o~L^fNtvyB|L}g~L^tNoV|r{T~W~B^wNpv}b{l~c~H_X?BoAW@DfEr`XnmGvCzaToyw^[OmyV\jmlvEzf\qn]VnZvtz}}B^?oTgIKDQAv@Q_koVGHkEAA^@]_doPGIKDQAR@Q_boNgH[CIA^@?_eoPGFKBqAR@E_\oNgFKBqAB@A_\oHf}z~i@V?g^{oTgCKDi@J@W_PoEgJk@yBB?[_noDGE[@a@n?U_YoKg@{@I@n?O_YoJG@[BA?Z?m_CoHg?[Ai?N?g_An~GDk?A@a~}_Voo_@G?k?ZA?``o`GW{GIEJBA_|o^gW{KQBz@w`]ooGMkFYD~@m`Zo[gV[FADr@g`]ooGLkEiD~Au_pomgK{JaBJAi`NojgS[IqDBAW`QofGTKHiDNAo`HodgUkHQDfAE`EoagQKGaC]?N?H_CO@w@K?bCUaAPCW`CPUGLCRaDPCW`sPUGXCR`xPAw]sO}FhCL`uP@W]COeF\CF`rO~w_SMmFPC@`oO}W[cNuFDBz`kOqwXcLUElBH`lOrwZsLMExBP?C_BO@W?c?U?LakOHwD[Ae@Z?p_VpPgi{SiIjDGahpRGi{TAIfDMaipJgjKTqHfDYaWpRGgKSQIbDMa`pQgfkSYH~DGa\pVgekUIHrD_aZpIGjKTqHZDYaTpWGckUIHND]aPpDwb[PeHBC^aMolwV[JeDzB@`^p[GsKVQLJDqbPp`gt[YYKFEgbAphgnkYiKBEga~pgGm{YQJvEaa{pXwlKUUJVDnaupfGp{XyKfEObLpaGqkWqKrEIbJptgtk\iLbFWbVpqgv{[yMFFKb_pmgw{[aLzEwbapkgyKZYMjEsbhpyG|{]qNfFibwpwgzk]ANNF]bqpCWakPMK~E\bLpdWrKX]OXG@cGQ@X@s_MO@GFcDQ@X?S_eNlGFcDP}W}c_eOXFzcGP~x@s^uP`DTajpSwx[[}MZFDbcppxFcbEQ@Gtc^QKxFCbUPtGpcZQKxASauPTGVcIQJxEsaUPtGhc[QHxFc`}PDH@cOQNxDc`ePTG\cVQExLccqRNHiccqYHH[eaQFHecbqYhGkdiRBHccnqWhJkcyQjHQckqSHI{fyRZIAcwq_HL{fiRjHwcxq^HM{auP^GjdGQ`XQcg]SdIHdHQaxPshUS`ILcrqYxLG?ISlIbdR?@hRKiO?HIZ?AQfHS[iW?DI`dQ?@hR~