CAT(2394,2)
Sparse6:
:~?dY_?O?G?C?S?H?C_AOJo?g?a?M?H_D?@g?w?a?S?D_B?AW@C?i?R?{?[OMGFCCG@w?~___NgFgCA@y?~_^?OGGGBq@r?z_\OOgGcCMAN@D_bOQGHSCeAb@Q_hoR_H[CsA`@K?foVOIsDQAj@V_kOUWD{BE@`?q_YOKwLwBU@l?v_YoLwEsFkBo@n_{_[WNOFABo@q_|?\GNGFMBs@t_{_\wN?FYBE@g_q_XgK_E]BY@i_v?YwLGEqBE@n_q_[WK_FABK@q_s?\GKwFMBS@t_t_\wLGFYAu@k_v?VGLgDiA{@__n_WWKODuCw?k_VOJWSgEeBV@i_yo\wMsB}AB@?_\OMwFKBe@t?z_doRWHcCyA^@O_hoSgIKDuA~@]_oOWgKKJ{E@A}@`OnOWKJgDzA{@^omoVsK?DnBA@[ooOVCJEDfAq`\_jgU?JqD]Ay`Y?iwUgIqDkAl`U_mWT_J]DUAw`R_iGSgIiDKAh`W?gwTwIIDGAm`W_gwS_JIDeAa`M?agRoGqCyAJ`N_bWPwIEC[A_`Y?dgUoHaDiAV`L?cGRGHICuAP`Q_cwSwHUDKAS`A?gGOoIECIA^`BoaWPCFwDTAh@?Oi?N{FkCx@|@NO^?RkGKCrAY@?oeoOSAm@R?iaD_QGHSCeAh@U_ipAo`sOsG^CKAGOpO_KN{EFC?@aPA?\kOgF^CH@vOxo`sM_G^BhAGOwGZsL}EvB[`mpA?ZKOcEpCI@lOt__sO[EjBVAAos__kO[EhBRABOs?_SLCGFCC@fpB?XsOsEZCJ@eO~oXKOCEVC?@dOp__[K[GDBGAAO~?^KNwFvB|@|O{o\SNSFXBs@to|_[cMWFpBv@qowO]CNGFFBp@pPPoDcAu@\?k_VOJWi?DiAv@[`fOrGXkTQIjDRagPSWiSSsIPDNAbpQOhsSoIZDIAfpQohsSCINDBAcPQOgSRuHvC{ad@MGh_RiIUCxaa@KWdwSYIICoaM`TWbwTMIgC]aJ`SWbGTAGoDQaa@CWaWSYGcDDaI@LWaoR]GiCuaR@Kge_Q]HOCra^@Gwg?QUH}CcaO@JGcOQyHAClaS`EgdWPqHSCZbC_IWDSAm@R?j_TPc_R{IADBAX`LoegpwWiKUEPbG@aWpgXEK[ENbE@cGkOXMJEESaq@cgoCWIKBEQA}pcon{VwKhEMA}PbOnSWoJvEJA{p\opSV_KRDpBBpa?m[WWJdDnawPZgl?XUKmDhat@dgqoU]KmDeaq`dWjcTyIzD`anpWGjGWYIuEGal@`woWVQJkEDay``GiwUuJWDWat`TgxWWYKPEFa@P?w_cOUGNCEaCPAg`KTYIpDVbm`uOzS\_MxFZBjprGxk[mMZFJbePqGxS[eMsFGbm@qgzW[eMsFDbl`pwwo\qMCFPba@swwW\IL~F@b_PlgvCZ]LaFVbk`kgz?ZALYFSbV`tgto\UM[EibU@sGxwYmMaEfbh`iGyOYeLGFSbQ`tgso\ULAFMbP`sGsO[}KrEYbKPfGr[XuLsE_b\`fgvGX}LwEtbX`ngvgZQIJDEaaQD_|c`_NZFmCJq@x@K_aNtFwb{p{PAs]{OpFoCJpyW|[]iOGGOcBACh?g`EOAGLcFa?x?O_yN{GIc?ABG~w_mOeFtcI`|xA_^YNEFzbq`~W{_^qNgF_bx@wg}W]ENMF]bs@vw{o\uQ?Gvc[QMXEKbMPdGgCYQI`EsacPjGlCQQIpC[aoPDG^C\QN@CKbkP@G[CVQK@Bs`sP^GdCKqEpC{`gPLDLafpRgvkZyLxEyb\pmXJgdUQmHZcmAThIgdaQmHYcjAUXGodmQyHGcmAPxH{dAQbHKcfQRXGWdiQoHDckaPHI_ciQcHJchaQXFgcAP}H@c^AOhNGW}KbEOcEqBx@s_mOXGIbrpyG{s]ANDF`bppxW{cgcSJIGDBqa`OsgISFICc~a]xOGfiS?Hxc{a^HNofiRyHzdCAXHPOeYSQHdcxa`XMgg]RgIEcwA^HNgfERcH}cvQZxLkegSDHkDAQYpO[ecS@HfD?qY@N{fWRBHwCpq\pKSd{RnH_C{QV`MsjSMPFIbcqHXC{aYTiIwdZamhUojeTNIgdRQgxSkiQS}Ixd\AfXRojaSsIqdYAfHRWjMSkIndIAkXQgjAT]IPdWAchQWjETiIOdZabxUogySWIrdDakhU_guTWIVdVAeXTghaTQI_dTaghTOiEU}G|c^qNhP{gyS`JcdpqwhZ{mAVBJXdlquhY?lqUcJ\dgavhWwl}VAJHdoAqH[OkIUEJcd_awxVWlqTwJ]dmanXYolMUiJWdjatHVwkuU?JNdfAnhX_kQUUJDddAphM{faRlKHEBrAH_smkWJJlE@qz@_cnuV~J}e@a}h_gnqWGJzdyQ|h]koWVbJqECR@p][o[VRKGDtR@`\Cn[WDJxE?R?P^CmwVJJoDrqzp[si}T`IpdXqkhUcm]VLJdeWBJPdcq{XVKmETRBX`soqXYK`ePBJhcWq}XGK]eRBGHcgp}WvK\eMRE@dCpcXNKYESrI`akp[XXKjEJRHpaSqcWhKgEHrH@`{qWWbKdEGRJP`KqwWVKnEDQvHZsluWTKHeDrQHhSseYDLCe`rSPgCtKX~LQE_rR`fKt?XvLNE\RR`esr_Y`LNEZrSPeKrGYfKoEhRPPe[s[XjLEEYRN@h[rwYZK|EeRYPkCukZDLiEorVPict{YlL]EirU`kstoZPLZErrU@k[tcZJLcEjr[`mkvOZnLrEzRZplcvCZ\LoEuoZWLsEqAt@[_lo|G]kNMJJDearpUWj[TiNlFvbyp{g}[^QQFHDcaQOHGScEPzG}c^qgHSSiEVVJlduQyH\SmeXfKteYRNXfsrq\OMafTBhHtGyM\KM^fRbgXs?yU[wM^fMbgHroyE\CMXfLbhHsWxi[kMXfLbeHqwxi[yMRfNBdXr_xQ[cMUfGBeHqGx][iMLfHbbxq_wy[cMJfGBahqGwq[MMLfCbbxp?wy[MMCfBBaHogwe[SM@fEB_xpWwI[?MCfBB^hogv}Z{M@f?B_xnwwIZoMde|BhxsoveZuMifSB^Xn_ye]{?\_NOFwCSAE@@Ni?PoHWCc~?@L?g_RoggS[IQHBCaaOPFwbsPuLdEpbWPgWs[YIO~G`cOQFHBs`uRTHkctqXxLKeaT~J?d^QoXW[kIWlKVeIrBxaKpAYhLUeirUHjKt]_mOYgKcFIB@@m_gO\gNcDiAh@y_gOPgJCCyAh@I_mOMgKcCIB@?}_YOMgDcCI@`?}_aOGgDCCy@H@I_UODgEC@y@h?Y_COGgDC@I@H?M^}ODg?c@y?@?Y_GN|f~C?i?W~q^{Nxf|b~H~O~u^}NwfzC?Y??~]^eNzfyb}X}_~i^eNufyb|x}_~a^`Nqfwr{H}S~E\UNmfUbzx|gyq]qOZflCFHz@@i]iO\gNbtxyp@y]eNkfiByhyO}m^WNNftBsX|W|A][NffsbrX|?{q]QNefdbxHxO}U^KNEfcBxXww}Q]ENffsbpX|?{Q]?Naf`Bwx{G{E\yN]f^bwHvo|}\wNbfpBmx{Gzi]{MvfoBmXzwza\gNmfZBzxug}u\aNZfmbkxuO|q\_N[fVBuxzgy}cK?P_HOCwAc@Y?jQQ?JoEGBLH_?t?[_LseIRTHecpQYhKsGAQtAGcjO`HJsQqOLG?aTQAGeSRQODGGa^PMH?sdAHLHGaNQRGcSPAQTCWchPDHHsOQP|CKcbPAHGSOAPdGw`|QLG^sMqPdGw`xQLG]sbqFDHC`tQOG[sLQPLB[cVOuHDS`aETG_`fQFGYSJqPLBCcVOoHDSJAO|AwcPOlHBSdaDLAkcjOiHJs_qCtGS`PQCGRs_qC\GS`JQCGQS\qMdFcblPwGys]aMLFobfPzGxSZaLDF?bTPnGssXQL\EsbNPkGrSWaJdEOa|PbGmsWQJ\Dcb@PYGnsTaNlD_b~PVG~SSAI\DGajPPGiSz?Bs@u?~?]_MoFwCCAI@B?a_OoGI^oAM@J?c_PoHWCdGAcDQ@h~D@I_pOAf}SDiBD?y_POUgASChuC}I\pNifYRxh{Czy]HNif_Rxh|c{y]PNufwRsh|c|Y^hN]fwRuhQShiSlI]dRQghod?y_HMIf?SAh~CvyZhOAe{R~hlc|YZPNYewRvhwCty]HLeeoRnhxCtI]`LYfeRThhCzIYXMyeaRlhLcyy\HHucwRihNCyy\HIAfSQ^hpcri[hLAe]RchacqIWxKieKRHhdcoiW`KueWRBh[cnyVXKAdsR@h]cmIVpJYdwQvhYcjYTxJQd[QrhWcjIUPImd_QihPcyI[pIIfMQ`_GoCgA[@E?f?Q_IODgAk@U?h?Uio_DwBC@e?r?V_KSyY\TMm]xNZfmrxH{s}U^NNhfsRzX|{}yjQTaipdXykHUajGTfisdXikhUai]TZigdVIi@TuiuTQiiDVYiXTqi{TTioDTyjxTYi{TXindUik@TajiTLifD[ym`SqiQTeiddXIhPUUjATEicDWykPS]ioTBiaDUijHSUi?TQiiDOiiXSEhyTTi^dTyfpTYiaS{i\DSIhxRmjSSviuDMYlXRahdSriWtLIelRYh[TriydKIm`Q}jUSjitDJYl`QqhSTqiSd[Yd@VAjYSdiRdZylpQYjYSaivdHIlpQMh?ToiOd[ibxVEg\SNiEtCiaLPAgfSTiITDia|PagwSFiNDAYbhOagSSXiEDEy`XPicFQDhASbIPtGuc^QPhGSdYQ|HYmeUGjidaYpP\QkyVIjeDfyrp[mkwVSjLdtYrP\MkmVIjeDeYr@[mm_USjJDsiqh\Em[URjfdcYxhXIm[UOjfdbixhW}kUVPjEdsip`\AjxT}i}t^yoDWEkDUCj@t`Yo|WYlkVHjZdpyx@ZUmGUqjbDlIwhZMmAUnj`dkYwPZAlWU|jVDmythZql{UijSdoItXZ}lsUej[DiIvHY]jkUbi{DhYmxYQl?TxjOd]ysPVimoWIkDdtiyx_enyW?j~e?i~p_EoEVykAd}z?`^qnYWNkGdyzA@]qnOWKkFDyi|H_unIVvj{dxy~@]YnCVpjqD{i{X^MngV^jzDwY}h]An[V[jwDvi|x\umqWEjleAIzP_]pe?f_SOHgCsA]@PPIgeSQyHlC}a\SXiLtEibdPygzW{K`UNbGdbsqFWzK^uMbGLc?prW{KZUNRFDbwpnWtK[uMrE\bgphWoKYuKbEdbCpfWoKZUKbFDbCpnWYK_UORBD`cp~WTK`UDrGd`WqFWQKTUDBDd`KpVWfKUuJrDLa_p\W]KOuGBC\`{pDWcKLuHbBlaSoxXq?LOFGB[@m?t?[h|S}I^LNmfzR{hLsfYRdHyc~Q_j_toywTZym@U~j\tnYvdZaltUxjOTgisLYMlJUclHe_ZQhgMsgYAk~EcZNxhAscY?lBe]zNhgerwYGlAE]zNhgUrwYElEe]JPxfis[XxlEE]JPPfisUXxkzE_ZMxgMriYAkxE^jM`gAreX~kxe[JMHfQrcXnkwe\ZMpe}rmXokaeYZGpemqMXikrEcJQPe]rOYPlHeWzQheUsgXclBeWJPHeIsOX`kmebZJxg}q{YMlAEUjJ`gYquYDlEEUZPXdasSXVkiUTjIldIqfXPkuERzI@eyrYXMkseQzLXcurSXKkcEZJHHeyqSXllqDUyjdTui|T_int|y~L^anhVujyt{Y}\^In\VojvuzR[|m{vRZmLsUyb[|movPZjLsuxB]\nSvLZdLyUxB]DmWvdZdLwuoB]\nSuDZ@LyUzRVlj{v^Y}LvUybVTmotxZjL\ulr]DjcvdYwLwukzULjIt\YolVuwbTlikvFZ`LUUiBZtm?tTZ^LSuurSllotLZ\LRugbZ\iOuzYbLmUfrZDiCutY_LkuuBRdhwutY\LkuwbRTmKsrZ`LLudbZtm?spZ^LJurRX|kwubZKLgUqRYTlOuVZILhutRWtl[uPZULbulBW\jSuJYuLaVNbd|rEx`[kmUvJjfXn}wA[|m?FNJfXnqxyZ}m]E~ZfHnexsZzm[E}j]prexoZwlzfMjehqAxC[umOfLz_PpuwG[^m@fFjbPrIww[smLfKzaHpQwk[RmHFDZaxpAw[[XmKFBz`XqYwY[gmEFHz`@qewS[jmCfIjcXoUxI[FmQF@jLLemrTXkkvUZZi@uayc\imgfYZjttuyx\XmlvUjlXtYyo\lmuFTzlXsEyC\lm`fZJl@ryzS\?msfNzhhuUy]\fmfFXjhPuIzG\KmpfQzgxtMyQ\TmcFTJg`t}yK\`mafWJZDliurZZlmuvJZtmAu~ZalpuwZlpwqz_]MmvfbZpHxU{U]VnDFdjpxwY{a]GnGF`zqPwM{I]SnAFczo@wq{C]Mn?fbZnlv}z|\ym}V]zpxv]zq]OnGf]Jm`xUzi]UmzFdzqPvMzc]SmwfczfLraxt[zm]vNJu\zU|h]qnWVkZupyQ|K]wnQflzupyE|m]bnPFmJrpze{}]yn\fgJrXze|u]\nMFmjtPyu|W]nnTfjjsxxa{s]hnSFeZx@{y}S^Oncfrzv`{U}K]|nbfnjyH{I}e^CnhFozwH{q|}^Ln_Fqzy`|}}{^UnmftZyx|i}w^XnkFuzEDbIpbZKlfUrZXLkmuT\@m`vOjftsAx~]jnUVijs|ye|P^qN{V|B~T~K~r^uNwv|r||~S~`^qNuV|B|t~K~Z^jNvvyb}L}c~`^kNrVyB|t}[~Z^gNtvxr|L}g~L^uNov|R{T}?~n^wNpv}b{l~c~H_X?GOBg@|fArbXnmGvCzaTpAw^[MmzV\JmlvEzf\qn]VnZvtz}}B^?oUGIKDQAv@Q_joVGH[DyA^@__eoSgGkDQAR@E_goNgHkCIA^@?_doNGGkCa@r@E_\oNgFKBqAF@?_\oHf}z~i@V?g^{oTgCKDi@J@W_PoEgJk@yBB?[_noEGE[@Y@n?S_YoKg@{@I@n?O_YoKG@[Aq?Z?m_CoHg?[Ai?N?g_An~GEJ~y@^??_Uoo_Aw@c?vAC`bo_gWkGAEFBC_|o^gW{KIBzB?_zo]GV{FQDz@q`[o[GV[EyDn@g`^ooGL[EqDzAu_romGK[JiBJAi`NojgS[IqDBAW`QofGTKHiDNAo`HodgUkHQDfAE`EoagQKGaC]?`?M_FoBgAC?~CUaAPCW`CPUGLCRaDPCw`cPEG\CT`zPBw]cOmFdCL`uP@W]COeF\CF`rO~w_SMmFPC@`oO}W[cNuFDBz`jOqWZCKuETBT`mOswZsK}EtBP?J_EoBG@[?u?XakOHwD[Ae@Z?p_VpPgi[SiInDGaipRGi[TAInDMaipJgjKTqHfDYaWpRGgKSQI^DOa`pPgfkSiH~DGa\pLgk[TyHrCsaopIGjKTqHZDYaTpWgckUAHND]aPpDwb[PeGzC^aOolwVKJmDzB@`^p[GsKVQLJDqbPphgo[YaKJEEbTphgnkYiKBEga~p\gskYAJvEaa{pXWlKU]JZDnatpbgr[XyKfE[bGpaGqkWqKrEIbJptgtk\iLbFWbVpqgwK[qMFFMb^pmGwkZiMNFGb]pkgyKZYMjEsbhpyG|{]qNfFibwpwgzk]ANNF]bqpCWakPMKvE^bMpdWrKX]OXG@cGQ@X@s_MODGHcAQ@x@S_ENhGFcDP}W}s_eOXFzcGP~x@s^uP`DRajpTWx[[uM^FDbcppxFcbEQ@Gtc^QKxFSbEPpGtcZQKxASa}OlGlcIQIxEsaUPtGhc[QHxCSb}P@H@c]QFxDc`eP\G\cTQExLccqRNHgcdqYhHKeiQFHecbqYHGkdiRBHccnqWhJkcyQjHQckqSHI{fyRZIAcwq_HL{faRjH{czq]hM[a}PZGjdGQ`XQcgeSdIFdHQaxPshUS`ILcrqYxLG?ISlIbdR?@hRKiO?HIZ?AQfHS[iW?DI`dQ?@hR~