CAT(2232,1)

Sparse6:

:~?aw_?O?G?CAk@D?c_PoK_DsBA@^?x?Z_MGEoBa@o?t_a_KgEcBM@b?p_WoR_EkB]@l@G?doR?HSCsAR@L?cOQ_H[CoAR?|_^ONGGOCyAG@O_`_RwHoBeA_?z_f_MgGgB}AA@F_b?OGKoA]@J?e_SOIWDSE{@Z?j_UOIgDCAe@V?l_UO]oDsBA@^?}_]ONWGSCQAF@C_`OOwOgFyCG@~`B?_GN[FuBxAB?|O]?OKFcCD@w@Ao]_OsFcCH@c?rOXOK{EKBP@d?soX?L[EKBT@g?tOX_L[E[BR@o?uOZ_MKEsB^@q?uOZOMcEwBf@n?yO[OM[F?Bd@V?|oUONkD_Bx@__pOWWJgGECE@^_n?_gJOFyAwA?_l_^wIGFUAe@v_h?\gI_FUAk@v_i_\gCSAQ@F?c_PoGgW?B]@j?u_XOLGE[D]Ar@W`^_lwVgJeD{Aw`\_nWV_J}DsA}`HodWQcHaCnAU`\_ggS_JqDsAb`Y?lwUoJeDiAw`__jgU?KID]B?`_?iwWGIuDWBA`S?owWgIiDQBC`Q_owWgI]DKBC`GOcgQKG}C\AL`b_awWoGiEOAK`c?`wWoGeEMAG`L_gWROH}CqA_`W_fGUWHyDcA\_SOIgDKA]@J?e_QoHwCsOSAV@L_eONWFsBqFyCA`~@@G^_OMF}CAa?`@G_?OMFwBN`g_~WY?NyEgBx`h_}gYONmFkCDaB_|w^?OYFeB~`y`?W]_OAF\Bn`upA?[cMWGTCH@qowW[[MIGOB\`m@AgZWOeEoCEaB_ugZGOUEiBz`j_}WYoNiERBJ`dOrGXsKuFMBo`w_yW]OMaE{Bj`o?zGZwMiB\@l_uPCWa[PIGsCzaM@NWbWRqGqCzaJ`NWb?RqGlCSaIpBW`cOmG\COaFpL?dsRKHZCkAXPIOd{QkHbCiAWPM?csQ_HtCxARpG?c[QGHJC`AQPF_ekP{HnC\AZPVGjsTuIkDXak@UwiwTiH{DIa_@RGfwSmIQDOab`SgiGSaIGDRai`Pgi_SUIADLa``RwgOSyBp@y_{oyw\cMiFNBh`sP^On?VIJqDraz`[WmGVQJkDray`[gkOVQJkDcay`WwlSUaJRDfaqpXgjwV]JADxao@]GlWUyJYDoau@Zwr?JuD~A}_^oOWGCIaDTAhaXPLGe[REH^CoaPpHWccZ?LOE^bS`gGswXyKxE\bLpeorsXsL@E[BNpe?scXgLLEXBQpgOrCYKKtEaBKp_os{WSLRECBSPboskYWKbEcBGPbgpcWuKQETbD`dwqoWiLEEEbP@`wsGWaKCEQb?@dGoGXMKcD|bI@^wqWVyJsETbJ`^GqoVmNKCAaAP?whkS}I\DIaePQwnSVmJxFpbvp{G|o]]NOFkbr@zW{o]eNOFjbr`yg{W]}NIFobq@{Wzo]AM}Fabm`wW{W\QNIFUbq@tWx[[uMXFIBuPz_xC[cNZFCBtpoo|S[GNRFZB]pu_vc\oL|ExBlPmozcZgMvEwBkpl_y{Z[MpErBoPlO{SZONBFXBWPk_y{\_LbEmbVpjWzgYmM{EibU@vwy?[EM]E~bf@oGwg\EMMFRbb@shDoYmLTEkbUpjwtsayP`GncRqHXCsa?PZGjCOqFpDc`oP\GoCNQFPD{^wPZG?CUP~pD[bCNxFzCXQKo~k^gPPGiB{P}PDKa_NjGiBzqIO}sbCNhGrBxQK_}[aGOrGZCQQE`C[`SOpGSCJqCpAs`?OTGPCEQC`@[__OBGHC@q@p?S_OOZGNCBQ@P@sXIKhERcNQFXBcdwPpH_C[qVpE{dmQzH[cgaVxK?c}Q{HOceqRHHseCQFHbCaqW`GcbWRDGtCoqL@K[ccQpHJClQQ`JKc_QjHECjqPpIsdKQDHSC_QS`GKboPzG~C\QMpFs\]MrFWblpvGzS]MNJFcbVPjwtkeYRJHcd?abXO?gqR}IJd@A^HNogQRyIBc|A`XNWgYRqIFdCA\hPOfaSQHvcxq\XMcfGSPIICwqaPMCgkRZILCvQb@L{egSDHjD@qZ@Oce[SJHhDBQY@O{aaPTGhcTqJXDcieTVIidQQgxSkioStImDMQjPR[ioSnImDKqjPRChOT^ITDWqd`UCi{SbIRDWqk@QSgwTLIODSQbpS{i?SzI^DPQf`SKkOT|J?DbQnpWkjkTdIsD]qn@U[j_UNIyDcqmPXCjSUBIvD`ql`WSkgUfJTDeQqpYcksU`JNDhQr`YKAy@`?nbnPvwzk]ANDF`_^oOWGCCUAN@E`DObGP[PuG~C]aopVwkC[YMNFDbXplWucYiLXEjcZqMHFKbYPjGsdFQcHP{huS~I]eBB?H_OoaWAKFe@a~X_gn}WGJ}d|B?H_OnqWAJzd}a|H]onyV}JtdxA|H]onMVaJtdwA{h\onMV]Jpdtazh\gm}VWJodzaxh^Gm]VoJddrayh[omeVIJgdzawh^GmQVoJbd|Avx[GnqV?JzdpAvx[GmQV?JbdtavH\glyVWJ\dmAyHZomiUyJhdjB?xZ?oUUmKCdkb@hZWoaUsKFe]?DgBC@]YC?Y_KoExh?@q?|?\ef?FwCKAAKjEVbJOWwKkEQE`BP`foswYcLIH|D?a^pQGhKS]KREJbDP`go{WaJvDya}Q@H?s_UNfFsbxQZXL{eyRNHhcsQkhUcjMTlIvdYr\PnCvgZnLuE{r]pmSvsZhL{Exr[@mcvCZdLnExr\Plcv[Z\LuEur[@lKvCZVLnEtRX`lcu_Z\LfEurX`kCu_ZDLfEorXPjkuOY|L^EprU`kKtoZDLZEoRUPjkt{YnL]EkRV@ictgYlLZEirT@i{tcYlLTEkRSplKtCZTLQEtrSPk[uOYdLdEhrSHhss}Y^LOefRAPh[okYZKIEeRL`nCr_ZtKvE{r^Pe[vkXjL{EYRK@hSrCYRKqEcRJ`g{q{YJKlEbRI`gSsKXXLCETrHpgSsKXRLCESRH@f{qWYBKdE_RG`hCqKYTLHEOrF`f{q?YBK^E_RPPbks[WxLEELrE@fcpgX|KXE]rN@akp[X|K|EJRMPaSrgWhKzEHrBph[pCYZKOEeRB@fKowXvKLE\Rx?@S?q?VNi?FOBW@{@A?b?Qfz?DWAc@M^lNvf{R}H}s~]^eL}fyb_H}_v}]{MgfnbihtG}A]{MkfoBjXzwym\MNpfQb{hso~A^YMafvbgx|oyQ^SM^fuBgX|WyA[wNhfsBfhrg}]^UMXfLbzH|Oxi^OMWfsbdxqo}][eNpfIb{hq_~A[_NcfHBxhqG}U^GMLfrBbx{gwy[SNlfEBzxpW}y^eMFfybaX}_wa^EMCfBBwXog}I^EMAfob_x{OwE]cNTfiBtxyW|Y]WNNffBsXxg|A]QNEfcBqxww{i]?NWf`BuhwG|e\yNBf^bpXvo{Q\qMzf]Blxv?zi\gNZfmblhug|q\aMmfXbkHuOy}aS?V_KODgAs@a?n?X_LoEgBS@m?rP[?MOFgBk@q?z?]fnRwHz|EGaxPcGnSWqJlEGa~PcGoSWQK\CkanPKGkSTaHTDWa^PLGkSTqHtDgadPOGlsUQILDkajPXGiSUaI\?Q_DOBgAs@y?tBwa~P?GosNqKDBkafO|GisNAIdB_adOyGgSMQILBSaxOvGnSLaJlCs`dPNGYSRaE\Co`^PJGWSKQHS~caNNyGcr}qHDC[^zN}GcsQ@~dCC`XPBGVSOaDlAK`ROjGQsIaCdA?`LOaGSSGQC|@[_zO^GKSEQBt@O_tOTGMSDaB\@?_fOMGGsBqAT?k_POIGEsAQ@c~{aHO@GbS?AGk?i?X?J_DOBG@[@E?`?Q_GOCWATJ{?Z?N_FOBW@{?yaRPFgcRMXf[riX~L@e_RPXg{sYYVLLeeSpaWDK[eBRDH^spQWTKOeNREH`smQTlI{dvQmH\SmQUDJkddQyHWsnAUlJKd|Q|HYSnQUtJodpQ}HZssQTTLKdXRQHTshqUtIcdpQgHZshAWTKOdJQeH`snqSLIKeBR?HPSkARtJGd@QpHNseqTlI{czQmHMSeAUdHgdjQXHXsqAQlKgcnRHHJSbyQLHAcdQShHsqAPdGweTQLHcsaQXtL?cVRNHDS`aX\G_eZQFHeS_qYLGSefQCHhSqqODGGeZRKH?s^QXtK{b|ROG~sZILlEmb^PogvS[YM\FIblPtgyS]aKlFobNPzGrS]QLLF[bTPwGsRwX{[}I^NNhfsR{X}S~A^fNtfySxaeLRKfPSqHrs}qdLNshTR{ISTIa^TQ_frShH{S|QeLRKfnSqHzS{adlNOhXRrITs{QeDQwf^RoIVtIq\dQsf\SkHusyQdtMkh`RiIVsuiZdLmezR^hnSwI[LMIfFRdhqTHqa\PShJSSIRTFqaDPGhBSPIOTFA`lPwg^S\IFTAacTOohHSJIPt@qbLOcgvSGILTDa_dOWgpSVIAstA_LLWgFRTI@S~aZLO?enR~HkTVaedU?hlT^IYtWQj\UKizTaImTUAkdTcjLTYIqtQQilSkinTIIjTZQg|UwiLTGIvtYqgdUoiJTiI`tOAh|SGibT@IgTNQhdR{i\S}IetTAfdRkidTRI\TLqk|UchrSwIsTcOCCAE?~?`_NoGHtCyi\RMkfUriyNDFebnPyg}S]ys@XilCU[jOdeyqxXukqU^jKDfir`XQkkUYjIdeyqxXEkqURjKDcippXEk_URjFdciqpWyk]USjIdcImpXujoU^izdfis@VMjiUaiyDgYpXWakSULjEDaYohVAkMTqjBD[YoPVqkGT}j@d^YnxVekATzj?D]iy?@U?h?R_HoDWAdDaalPVglSUyJK~e^vNyf}R~h~lP}hBS_iMTFiblPegvSYiJTEIa|Nyf~S?i@T?y_L^Cm~VrJot{a{D]wmxVoJnTzqzl\cnJVZJrtua{t]GmrVcJltwqzT]kmlVWJuTtq|l]_mlVWJtTtq|L\Km~VTJoTtA{L\?mxVPJnTsazl[{mbVLJhTrayD[smfVNJitraydYKmNUdJcthAxD[OndVDJxt{Qwt[Cn\VBJwToa||]Sl|VfJ_Txav|ZknVVlJ]tnA|d]GlpVcJ\TwqvL]_ljUvJtTla|LZQldUrjVtkYuDYomTVKJVTjQx\[_lRUjJctpqtTYWmTVKJSThqx\cGdrQzh\SnIVtJuilTViitSii\TQi^TPigTRIhtSuqIXJkbeRZGpcqqIXHkbeQjGpcaqaXAkhePJIPcMqCXMkgEPJGXc}o{XLkNeQzC@cqqaWZkheFZIP`qq[WWkgEEjBHc}qQWVkdEDZH@`Yo^WPkGUBj@d_up}WHk_eAzG@_ipwWEk^EAJFh_]oEWxk\e@ZFP_Qo?Wxk\e?jFP_EnyWuj~eMI~pb]nsWuj}EMI~Xb]p}Vvj{eOY~@cApwVsk]d|jFp^UpSWlkVeJJDXaypcWgkWEIZEHa]pGWrkRELZChbQocW`kIEGzAXaIswYLlFubjPTgqsVX\LKuVrR\dwstYXKlUVBR\dkstYUKjueBJLh[qpXTLJuTbRDdOslYRK~UdRODhOr~X_K|u^RKTforBXwLGUcbNTfcsbXqKvu[RM\fOr`XtKuU\rLtfWrZYFKsuaRL\g_rTXeLAUYBOte[sJY@Kpu_rKlgGrHVFjctqIxT[qmVYmLbUkBXDi{uNYyl]UmzU|jatrZHLYUqrUtkgtjZHLNuqrSLkgt@ZELMUfbXDhsuNYjLWukrTliotdYgL]unrTTjwtRZBLQupRS|kOtLZ?LPUobSdkCtFWuk[ULzFLbmptW{k]uNjF|cEq@ZiLeUzBXtmkuZZfLxu|R\Lm_vhZiLqUzB[tmkvJZ`LwUwr]TmGvbZlLnUwB\|l{v\ZZlmuvJZLlautZTLuutr\|lWv\ZQLxutB]llKvhZNLwU{RYLl?vdYUlKUdzRLhmst[PmHvCj`tpAw^[UM@V@BadoKwj[SL~vDb_Lo?wj[VL}VER^tp_vz[VL{vER^\p_vt[JMCvBR`DoowTZuMAu}B_|n[wL[nMRVKRdDr?xN[bMLVHBbdqSwv[kMOVGbdtqCxZ[\MSvFrd\pwxT[zMXVNRedroxf[yMYvLrfLr_xlUNjGTbjD\aqpTWhkRuIJSLiAs~Y[lNUfZ`DoiwR[DmBv@ji@tYyo\QmgfTzhhtMy]\TmfFTJi@sqyc\JmgfQjhhsay]\HmfFPzg`siyK\KmafQzg`s]yK\HmafQJfptYyo\?m^fTziXsEyE\Tm`FTJmw?]?R?Gjetrix|e}rbXokuUZjLllIuhZRlfusZYDpiwx[ZmMvFzbtwW{R]GNDv`rpTwo{F]DNFV`BplwW{@]GN@V`roLvs{F]CM~v`Rntvg{@\zN@V^BoLvkzz\{M~v]bnttczb\ZMxvUbmTuw{R\oNDvZrpTuk{X\lNFVZBplugzp\xMsVYRm|uWzn\xMqvXrnDvOzD\cMzVWrmlvCy~\rMov[bkDtozh\]MzVVRmlz{?H?E_AvnrsDx{}B]]N_Verv|xs}B][N_VnBrDzw{r]YN]vdRvLzk{n]UN\VnBqTzw{h]|NHvbrvLzk{b]ON\VkrtlzS|^]sNVVkBtTzG|X]pNTvhrsLyc|F]gNPVlbsdyW|p]dNZo@w@K?a?R?F_CVyR{H}Y~O^anrfwJ{X}Y~O^dnrfxJyx}M}q^dnkFxJy`}A}k^anifwZyH|u}e^^nhFvjxp|i}w^OnffuzxP{I}O^CncfozxX{U}M^LnbFrG?c?Y?J?C_BO@[@PvEzf\qmyV\jmm?d?B_GO@w?c?}?d?H_GOBW@S?|~T?Z^vOFv|c@t~x?H_?OBV~s?m?C~v^|O@w?b~e?g~p_KN|WAr~L~L?V^sOEV{c@U?s~^_NNwwBb}D}i~R^jnuVzj|lze|v]yn]vnjve@X@\_WOWWDsD}AD@b_^OXwGCEUBD?x_]OXwKcBmAx?r_oOLwJsBU@F?`_QoHwD[AeAl@J_lORwJCCuAH@P_iOQWISC]BPAL_uOcWLSG}CL@z_~OawPCFuCD@t`?O]WOcF]B\AR`JO[wQcFEDTAd`VOiWTcI]CpA^`MOgwRSID}Y~N^goTwJ[DeAb@T_horGVkKAERBI`^oogVkKAEJBE`^okGXKJIEVAs`eoogU{KYDvBC`[ozGAK@M?^AF`DoaWOkGMCBBo`{ozG^kMyFvBk`yo{G]{MyFfBe`hosG\KKyFVBq`oo|G[[NYFJBY`|ovg^kLqFrBS`touG[{LYFRCgaCPGw_sQ]GHCdaRO~w_SQMHHC@aEPDwbSOmGpCNaMPCWcCPUG|CRa\PIWfsQuHxCjaWPLWeSReH\Cv`toyW[{SqIBDOa`pPGh{SYI^DIagpQGhkQMHNCd?@PVgiW?YJDDT?APWGi{Tw?HDXam??gk[TiJ??F