CAT(2382,1)

Sparse6:

:~?dM_?O?G?C?[?G?D?BOJoD_?U@[?C_U_@gDo?U@W?E_U_@GF_B[@v?z?YoL_F[A{@t?x?WoM?ECBg@d?w?YOMOE[C_@n?u_YoR_H?CmAY@I_e?QWGKCA@~@C_`OOwGgCmAY@F_e?PgFgCa@{@I_]?QWDcAy@Z@\?hoS_J{DCA|@]?ioVoIsDsAh@M_gORwIwDiAq@[_k?UwEkB]@l@a_ooWGKkEQBF@h?uOZ_L[EsBT@l?rOZ_K{E_BX@F_aoPgOGFuBv@{_{O]gNKFsBn@{?yo]oMsFCBd@n?yO[?M[HKB}AL`F?^gPwGACTAK`Do_OPkGwCDAB@Fo`?O{GWCRAD@COdWQcHMCqA[`L_fgROHuCcAW`G?dgQGH]@p?y_[oj_IKDMAd@T_jOTGL{FEB`@s_xo[gQsH]CpAO`HOcWQCHECdA}`^onWVOKADwBA`\_oWV_J]DsAx`\_mGU_IyD_Au`V_lWUGJ]DeAx`X?mGVgImD}Al`^?jGW?ImEAAl`U?ogT?IyD_Ai`V_iWUOIaDeAi`W_iWSgJQDMAu`R?lWSGIIDGA_`N_gw\OAe@V?i`x_bWP{GyAV@L_eOPWG{CYBL@g_ro_GNsF}C@@~_~O`GOsGUCFAA`?ofwSKIAF}CJa?@BW_GOqFwCD`~@@g_wNuGSBzaC?}W`GNiFwBu`~?}G^gN]FkBx`{?}w]wNiFeCIaC_|W`?NQFeCB`y`@G]_OIF`Bq`wo{O`cOkF`BqAEo~o\kO?F^C@@vP?_\kOOF^CB@vOwO_kO[FFBaABOuo\[LsFTB[@uOy?ZCM[EtBh@kotWYsL]EfBS`hOy_X{LCFVBO@uOy?XcM[E\Bh@eoqO[cMWEVBI@qop_[kMWEPBF@qOv_W[KSF@B^@aPS?CsAa@NDU@`opWWcTYIpDVak@MwioRqImC|aVPJGdkQeHVCiai@GWc?TMIiCaaM`SwigP}IgC]ag@EgiOPqIaCZaJ`RwhoPeIYCWaI@SWaoTIGiDOaf`CWaOSuGeDMad@OWh_SMIUDAa^@PGg?SYH}DDa[@PwhGRiHqDGaY`KgeWRYHgCvaV`Hgd?REH_CfaP`BgcgPAHGCN_TOIwDKAe@T?jbH@bopKWkKbEOBDPb_qCWoKbELBFpVGjsTuKCELb?@bgoGWqJ|D~a}p^?pSWkJtDzBCp_omcVWKJDtBAPYolsUsJ`DkAvp[OlCVKJRDiAxPW_osUOKPDbBBpWOkkU?JND^ArP]Oj[V_ItDvAkoHgDCA]@L?g_Rpno[cMYFJBf`soyG]SNAFbDXalpUgxS[eMPFEbbppWv?ZyLyEubZ`nGvGZuLuE}b\@nGs_[]MIEebQ`pgwOZMMGEtb``lGuSZALbElbVpjgt_ZmLsEib[`iwswZYLmEgb[@iWsW[ELCE~bO`oGroZ}L?F@bN`oGw_XqMCE\b``ewr?[iKsFGbK`qWq[XQKdETbJpdghkS}I\DTaiPSwc[QUHHFXB}pu?~[^oMnFqbyP{w|k]yNXF|BsPx_~c^kNNFdB~Px@?C]KN~F_C?pw`?[]CODF}BnpvP?C\wN~FPbhPswyk\YMhFMC?ps@?[[{ODFnB{P}O}K^gN`FhBzpyo}s]gNjFLBlpv?x[\gMXGmBfPsGx{[mMZFKcWqKxESakP\GoCUqJ@D{_OP\GDCVqK@?s`{PVG`CUqG@Dc`aOlGVcHqDXAcbCONGrCCQK`@Ka_PDGiCQQIPC[`?O|G[CHQCPBk_sOrGNCLqE`@saSOTGeCDqHp@cdQQdHRcbQPxHCb]PpGxcfaMhIGbqPuHOc`ARhGGcqQ?HLc]aOxFwcUP{HCcYAQxHGbYQSGtbGpbwqC^aNrFybyp|w}sbQPlGtcyQ\XM[egR`HqCuQYpMKeoRZHiCvqYpLse_RZHhCvqXpLseQRLHdcpqWhKKfKQpHtCkq\@JSdSR`HqCjqT`MKdwQvH\CoQV@J{h[PVGkcUpngvcZuOxG]cMqEXB[`iQvH\cmQg@RSiCSvIaDMQe`Rkh{SvI]DMQePSkh[TFIWDQQdHQshUSkIbdIAhXQgiQT?IMdPAcHSGg}SXILdDqahPCgeSII\dNa`xRogYSmIAdKA`HOWheSaH{dHa^hNghIRqIQdHa]xNOhER}Hud?a]HO?f]U_Huc{Q\xYClIUbJ@d`qohVskAT~JOD\qs`VklCTxIhDeqipX{igU\JLDRQrpTCkwTNJIDaQr@WskkUJIyDbqm@XKjcUPItDXQl`U[jOTnIkDVqj`UKisT`JhdtQyHZclyUzJUDwQu@\{l[V\JjDpQzP[cmoVFJXDnqwPZ[m?UtJdDhqtP[{mWUhIPdHqchQkhQSlJRdiqtH`KomWTKFeBRAH]{neVpKBE?R?`_koCWHJ|d~Q~x^OoaVwKFd|b@h`GnQVkKJeDA|X_WnEWIJreAA{hXkk}U\IndWqkHcwpMWcKheSBDHcKqMXDK]eORFxc_pmXKK\eQbFHb?qQWqKeeLBHX`wq]WaKheGBIH`_pUWmKMeEbDhaKpAW^KKeFRBXh?sSYDLCEbrOpgssSX~LFE_rP`gCqiXVKke[bPxfWsYXsLDeZRMHe{rKX~KtE_rL@gCr?YDLCEXROpeKqsXxKnE^RJ`fktOYnLXEjRTPjCs{YfLOEhRR`iKtgYVL[EerUphctsYPL^EdRV`hKuWZ@LgEpRXpkKucZFLdEtrX@lSImDZAka\pNWfcRiHpCxbNPgGr{XaKtEXcDQBH@[_]ORGGclQUHJKdUQnHUd\qnXVcjaTtIxdyQ|h]knEVfJqeWRKheKquX^KmfMBdhroxa[yMVfHbeXrWxU[gMYfGBdhqOxa[aMVfHbbXqgw}[gMMfHBbHq?wm[aMIfBbbXp?w}[QMMfCB`Hoowe[IMFf?bbHpWwM[SMAe~B`HoowA[IL~e}b_xnWwIZwM@e}B]XnOvuZuLwe~B\Xnwv][?Lue|B[xm_vaZcLxeyB\xmWvUZcLueuBeXrWuyZYMYevbfHmGxyZ_M\fh?FGB[@i?z?^_NRv_CCAI@BNc?PoHWCcMuF\BnapPXGk[UAJBD^boPwg{K\yM~F\c`qPXGccAQDH@dAq`hO{gISHIBdjQuHY{leUtJZeHRDHa[paWtKXefrSHhstQYjLUgDcCY@h@M_WOQgFCAI@P@A_QONgDc@Y@h?]_WOEg@CAI@P?Q_QOBf~c?i?H?Q_?OBgAb~H~p?]_KN|f{b~H~o~i^uN|f~b|i?G~a_?Nvfxb}X}g~i^gNzfzB{H~?~I^mNpfyBzX}g}}^eNmftB{H|W~E^WNqfsBzx|G}y^YNfftBxx|G}m^ONkfqRxh{k}Q^LNdfNbwXsG}M\?NafeCBhxp@A]YONfccCXxX@I]SORfoBphww|}]ON]fnBpX{?{Q]}NBf_BuxwO|q]yN@f]buHvw|i\{NXf]BuHzOzm]qMyfZbuxzgze\oN[fYBtXuo|]\iNUfWbsxuO|Q]cMrfhBjhy_zA]eMnfjBjHywyu]iMjfSBrxtO|E\QNOfobhXsw}M\KNafPBrxs_|E\ENOg|?BgAC?}?b?R_HS`_Ac@Y?jQK?KoDwBDGuc\QKhESbYPt@OcROUHDSDQP\FO`|P?GzS\QF|CCbhPBGzSOaMlGW`vQGG]s`qFdGW`tOwHCSMQO|BScFOvHAsLaOdBGcBQAGYSKqODGK`^QDGWS`AELGG`XOmH?sJQODFs`ROjG~SIaN|Fg`LP{GSS]qC|Fg`FP{GQs]qCdA?bzOaG~SGQN|F__zO^G{s\qBt@gcRO[HDSEqP\F__nPxGKs\qBDEwbPPoGtSZqLLESbVPlGrsZAKtEGaxPbGnSXAJlDca~P`GlsUaKDDWa`PWGhSTqILC{ahPLGisRaI\FCaTPKGxsQqMTCOaNPEGcsPQHDM??x?Y_LoEgBc@m?~?\_NOFWB{@yfc?__POGWCCAI@BPsgzS\Y]PNafgRyhxc}Y]hNafmRyhzC}Y[@MufARkhpCzi\`MMfIRmhucxI[pM}faRghwCxy\PM}faRjhwCyYRDHicrQZhMsfIY`NUeiRvhzCtiYHNIeeRshhC{y\HKye_Rjhfcyi[hKmeYRcheCwyX@MAeSR`hccwiWhMYeMRghbCxyQHL}c_R\hFcviZhHQccR^hnCcyZPKIeGR[hlcoyVHJqduQ}h\CnYVxJYeAQwh_ClyUXIud]QthVClIU@IidaQkhXCiyTHIIdEQghRcgYS`HydKQ_hQcfyQhL]ckRXhkCdw@s?}?`?M_GOBwAK@M?d?P_HoCiig@Y?j?S_JODWAdLue~R]ffrsXyC|a]tNXfmRvXz[}E^FNaijdVYipTqiiTZikDUyjPTuiqT[ifdPYg`TEiETOigDPih@TEi]TFicdTIhPTIieTJiiDRIiXSyiYTQinDOIk@SIi}T@i]dUifxTeh{TWijDMiixRqiiSzieDLyhpReiYSwiYDPih@RYhiTFi`dKYePSUheTCicdJihPRAiUSniTdXylHQuhWTgiRTHyclQehTSgiPDXylHQQhETginDFyk@QEi}S_iMDXibpUQgyTdiodEYkXPmjCSYiodDikXPajCSViHdXIahUYggTdi@t?i_LOQgLSDiBtAY`DOigVSKh|dCIaPNugaR{h~DBY_@O}f}SMg{S]YM|GIcBQ?h@s`YOdGecVQIjbd^IxHVymOT|jGdniqX[AkcU~jFDniq@[Ak]U~jEDqIpX[]kYVHj_daIpP[MmCUHjaD`YwpW]mIUEj`d_iwPWMmAUCj?dpio@[Uj}VCiwT[imLVMjjTsi{T\im|VmjtTxj\diYtXZulwUij[DhivPYalqUfjZdgyupYUlGUtjOdjys@ZElCUojVDfYthX}lWU]jLDkir`ZQkuUritDeIl`XejUUViuddIqpU}kiTmjeD~I~X[mnsVIjwd|I}X^YncVtjvD|y~@^AnqVnk@dvz?h]EoGV_jnE?Yz`_ImyW?jlDyy|h\emuVkjqdtiz@]]mmVejpDsy{`\UnEVSjgDyYyP]imaVgjed~Yxx^}m[V}kR_GwCkAQ@F?d_QSNiGDB}aBPBg`TBY`|Oyg`SQiGuKBEtbCpnWqK[UKrDla{pjWsKVUKBDTbGpXWpKTuHrDla{pRWgKVUHbDLaOpPWdKRuHRDTaWpXWcKTuKr@d_wpjWsKEuAbE|_cplWJK[UFbCLa?pFW^KPUEr?t`soPW[KBuCbBD`cohWYKHuBrAl`ConWOKJUX_BC@e?n?V_KOEY\tMufXRnhws{IP|HEc`QQhIScyulZ]llUqjYTkyt|ZEl`UkjVTjYqdXYkjUXjKTdzPHfUsMXulCE\zMPgYrgYCkxe`ZLxfmraX|k}E[JN@e}rsXokwe]ZOHeqsEXml@EZZNpeys?Xlk~eZJMhemrQXvktE\jMPearKXskre[zKpeMrMXdksEXJLPeMrUXdkseXJFXduq}Wxk\EVjO`diqwYEkle`ZOxd]sQXXlCEUJI`gEqkYBkie_jIHfmryXRk}ESjN@cyq_Xyk{eRzNpcmr}XLl?ERJHTcaqRXEkbuPZK@cIrCXCkoeOzJxb}q{X@kmeOJF`eAp{Xak]eWZZ@S}ibTOihTTIi\]mnZVkjtTyY|D]YnJVfjpTxI{\mCuvZbLmuwbZdlku|Z_LmuvrZdl_vNZYLsuuR\Dl_vHZXLrUub[ljOvDYuLpulR[Lm[tbYrLsuyBUTiwvJZeLWUxBT|iku|Z_LUuvrTdiUtNYelQUgjS\lWtBY_LjutRR|hwudY\LiUfBY\hgubZNLLueRYDhWu^YWLgudrYDhKuXYTLeudBXtkos`YQLfUrRQLl[s\ZULFutRPllOsXYILhuarYTkCuFZALauoBWdj{uPY}LbUprVlkcttZJL]UqbV\ictrYiLZuiBVDrGxF[dmQVGJcTqEx]ZrlyfKJeHnQx]ZomWe{je@nExWZlmUezzdpmyvS[kltfJjdhmqvo[XlzfEJ]pp]wk[jmIFIjdHpUw_[emFfIJ`pq]wM[GmAfAj_poewU[AmEf@J``oMwsZ~m?fFJ_@pmw{Z}l}FFzbhnuvq[Pl|fCz^PpIqzX]knuWJKTeEy`\QmgvRzhlsyz?\JmofRJjxsiyw\FmnFQZjhsay}[tmZfWZk@rYyw[qmnFLJjhrMyG\@m`fPjgPsUye[}mifOJi`r}yq[zmlfNZjPrqxo\UmkFMjfHt]u\ZLleUrzYLlAudZRliUtzYllY{K\amqF`zkXwa{M\|nCF^jopv}zs]BnAf^Jo`vm{Q\vnDf]JnHwizg]@n?F\jmhwIzb\rmxVZzmDuy{?\jn@FZZoHuqzO]BnAfYjo`uezK]JmrfajkhwexX[mmUvJzeLrA{X]MnEviZtDy]|S]WnLFjJtXxe|S]TnUFdztXxY{c]lnIFjzqXyy{]]lnGfjzq@yy{}]cnRFfjshyA{u]`nMfgzr`yI|_^?nXFnzuH{E|w^An^FpJvh{M}K]un[FpZwxz]|e]xn\flZu`zi}a^MnhfsJyP{}}O^LndFrJxH{mpHWekQuoJWLkItzY~l^VLzelrYxd[smXvfjsDx}{z][nLvzb{t}_~Z^fNuVyR{\}k~J^iNqVyB{D}[~D^`NrVvr{\|s~J^]NqVwBzT|o~D^`NlvvRzT|o}|^^NlvtB|d|W~\^TNuvyRy|}k}r^iNkWBO@[?q?ZXbkqUXZ_loYwN[AmAV?zkTuQzF\dmrVXzuDzI|b]rnYvlKBqAR@C_[oPgF[By@f@A_ZoOGEkAq@f?o_ZoJgEkAi@v?e_]oIGFKAq@B?m_QoKGC[Ai@J?g_OoHgCZ}A?^?Q^noCF{[By?R@A_EoOG@[?IAJ?C_bo@gHK?A?}~{_Ln~gBk@h~m~y_NoFF~K@P~b?W^yoDf}Z}i?^?Q^voCF|j}Q?i~g_KnxgA{Ig?a?T?HoigL[EqD^@g`UoigK[IyBNAk_qoVgSkEADR@[`RoTgR{DaDF@Y`OofgIKDQDB@Q`PoQgSkCqDR@M`Ro`gQ[HYCVAS`Co_GPkGICbAC`Fo^gL{FIBv@o_}oeGMkHqBrAY_z_DoBG@k?u?V?Ko~g]CNeF\B|`uO}w]SNeFlB|`yO}wZSNME|Bv`mO|W\cLUEpBp`jOzw[CK}FHBR`pOsWXCM]EXBj`dOyWUCJ}E@At`XOnWWSJ]ELAz`aOmOAG@K?i?P?I_CwgC?}?f?P_IoEWA{QyH~Cqa]pKGf[RQH~Cwa\pLgfkSAGnDCaLpEGg[RQHRCwaUpLgd[QyHFCqaQpKGc{SYGzDIaOpQGb{SQGjCQa`pCGgKSYGVDIaFpQG`kOEF~CBaApAW_{H}DFA``SohwSkTiK^EQakpVGqKWaJVEIavpbGlkWyJJEQaspcGk{WaI~EKappagkKS}IZDPahpTWi{VYKFEEa|p]GokVAJzDsb?p[gn{ZyKjFAbKpoGq{ZILNEubSplGt[YAL^EcbUpgguKZaKvE]b]pfGv[\AMJFGbipsgw{[iMnFMblprGzKNeFvB|b@p`wokVuKBD~b{PyW}c]uNlFjbsPzw|c^ENTFrbyPvWzs^]N@FxbpPzw{s^MNHFpcKPNWf{RmLfEvbYpkWt{YuPHG\cSQEXCs`mP@GXcPQFXBS`}OdF~b}QDW~S`]OXG^cOQBxCS`EPLGFcDQIXCc_eO@GVcHQ@XAc_MQhHMcYqShE[dAPbHQcTqRhD{dAPZGwc`qLhG{biQJG{ccqRHGKbyQVHeciqYhJKeaQnH[coqXHJ{eIQvGVcIqCxNCeuRxHnc|Q[XNSfMRxHvc{Q\XH{dMQa?Ac~QaxPo?YSA?Cd@QbO?cgQSVIM?@QaO?sgYSZ