CAT(2282,1)

Sparse6:

:~?bi_?O?G?CA_@L?f_QoG_CkAO@N?b?ROIgDCAe@X?l_ToLoDCAi@R?v?YoMOEcBW@p?o?YOL_DsA{@j?v?XOMOEKB_@f?s_ZOLWHGCUAH@B_`oPWGcBu@~?}_`OOGGKBi@x?z_o_UWJSDaAr@W_lOTGI[DIAo@N_l?SWJGDAAQ@T_j_QwHODYAm@S_h_TWIODYAW@N_f?SWHgDAAM@J_c?QgGoCeAY@E_f?QGH_C]CC?e_QoHwCSAQ@F?b_QOGgECAy@^?p_XoKgPwGiC_AG`F?aWOOGuCGAJ`@_bGO_GYCMAA`@_`WOwF}CIA@`B?_GP?F}CSA@`C__GLoFqB]@}_u_^WNKFmBt@u_{O\wM?FqBc@}_w_^WLOGmBWAL_t_bGPoE]C_@g`F_YWJsD}B@@d?xoX?MkEWBh@b?mOVOKKEGAvB@?roYWLCDyB@@^`aOpgWkKQELBD`X_owU_KEDcBA`W_oGTwJyD_A~`S_oWTWKMDSBA`MofwRsHiCxAZ`\_eGRGJuDwAV`]?dWVgHYDuAS`G_oGVoHMCcA~`U?mGVOIyDYAx`R?gGSwIIDOA``Q_lwUoIMDGAt`XolGUSMqFZBj`sOyg\KLKF^BT@wOt?\sKiEVBK`c_zwWwNAEOBm`n_xW[wMEFKB_`n?ugZ_LeEuB\`j?xG[OLaEmBb`h?rWY?K}EaBMaF_^GNsFuBB@b_pOXgKkEQAx@\_loVGJkDmA|@__npCob[PsGhCQAMPC_a{POGjCRAJPBObKOoGpCMALPB?b[PsG\CLAMO{oakNCGnBqAJPFo`[OcH@C]ADP@g_{OaGFCCaAp??bCOGGtC@AKo~W^{NyG{ByaO?}w^_P}FmCN`{`CW^?PAFgCN`z@CW]gPAIUA|`\onGVsKAD~CnaUpJggkS]ILC~a_POWh_RmIYCxad`Mgh_R]HkDLad`MGeWTAHiDMaY@RwhwRII_Cpaf@KGdSQqHVCfaSPIWcoSaISCcac`HWcGSaISCbac`GggORqH{DCa``NWkKUIJ@D\anpVglgTMJ[DQau@SWlwUYJaDgaw@XwjOUeJUD[at@UwiwUMIqDdak@XGi_VIIkDsai`[wncVuJvEFbCpaGnsWAJ~E@A{P_onSWGJrDuBAP\oosVSKJDIacPQWXKK]EPBI`eOqwfcRyHzE_bNpgWs_XyLEE\bP@fGrgX}LAE]bM@gGp_XeKuEIbD`egq{XYKpESbHpdWrOXAKuEQbK`cWsOWuLGENbP`bgwWOqG\CL`|o}g^cUeJVDiarPYGk{T]IpDXbGPcgqK\GMXFMBiPrOy[[{MNFPBcPs?ws[KMXFMBaprOwc[SMRFBBdpp?xS\GM@FABiPsowKYyL^Eob\PmwvcZ[M@EwB_po_vK[cLjEsBdpq_us[{LdFPBXps?uKYsL~E|BTpj?vsY_L|E~BTPnOtKYSMPFEBRph_w{__LJEfbRQF`@w`IOaGScGACxAG_mO]GJcGAAxAO_uOgGMcHaBHAg`YOkGVcIaDxAo`aOsGVcIaEXBW`aOsG\cMAEXBg_iOuGGcMAAX?g`EO_GFcFa@h?o`IOIGScBaCx?O`aOGGYc@aEX?_`uOuGAcMA?w~G_ANuG@b|@~x@?^MOQFtbyAAg}K^IN`FlbvPzw{W_uNAGMcE@wg~_\}NyF]b~@wGzW^qMyF}bm@~Wz?_EMqG?bl@~wyg_yOYFVcE@tg{_]qNKFibq`yw|G^aNMFvbs@|hKodyQ~H\clQVHJ[eKPHGeCqqHPKc`wRFG^CqQG@KkeCPXGjCpQW@DSe?PZHaCVQWPD{dCQnHRCkqS`JCc_Q^HICgQQPHscWQlHFCiQTPGkbwQFG{CaQNPGSbOPBGtCPqKpCSckPlHLC[QR@E{a[PrGzCSqI@FSb?Q@GqC_qKPF{ZuL|E~b`PoGwKgcShITDBqa@Q[gKSdIADGQ_PQKfyS@H~c|q^XNchORVITCtQcpLKe_S`HeDHQXpQKf[S\HtDFq\`PkfGSTHsDEQ[pP[e{SLIDCwq`@MCf_R\HkC|QZPNK^qN|F|b~q?H?K_IOHGBcAq@h?{hWTzI~DKQdpVsjOTbIuDXqlPUSiwTzI~DWQjpVsikTtIlD]Qj@V[j[TPIiD[qiPVCiYTNIddPQhHS[jSTBI^DZQl@SCj[SxI]D[qm@RkhcTtIZD]Qe`V[eERDH_cpqXXKclaUtJXdiqthY{koU|J_DfQrPZ{lwURJ_Ddqq`Z{mCULJaDcQwpW{mCUJJbD`qw`Wck?UdJADiQoPY[k{UvJPDmqs@ZcnWV`JwDxQ|p]KmsVrJnD|qz`^SmOVTJkDrQyp[km[VfJhDyQy@]koSVxKFD~R@`^koGV~K@EAR?p_CC]AP@E`ROiGS{IUDHAb`wo{w]SNQFlBtahPSwiKTQIlDTbDPbGp[WuK^EMbqPxg{k]]NRFgcsqYxLSeYRPHfdhQtHY[k}UbJOe[BKhfOrQXqKreWBLXdwr]XaKueXBJHdorQXYKreVbIXeGqmX_KieRBJHdoq]XYKgeQbIhcWqmXGKheRBGHcOqaXMK`eQBFhcgp}XEK\eLBGHcOpqWuK`eKBFXbGp}WmK]eKbDXawpYWoKSeLBCXbWpMWwKQeFbDHa?pYW[KTeFBCXa?pMW]KQeCBLX`Or]WQKue[BAx`griWWKxez_DgA{@a?t?X_LoFGBs@u?~?`_OO^wOKGAEtBZ`kotgZCL]HlCwaZpKwecRUJtDxa{P\wmsVULhEubYpkwuSZEQRHIccQPhG{cUTBI_dNqfHRshuVHJedqqxx\Kma\MMifSbjHt?ym\YMcfRBjxtoyU\MM`fSbgxt?yI[}McfRBgHroyU[yM`fLbgxr_yI[{MWfOBehrwxe[uMVfMbdXr_xY[cMWfIBehqWxe[iMNfGbdxq?xY[gMMfHBbHqWwu[QMNfGbaxq?wi[KMKfCBbhowwu[QMBfAbaxpOwQ[OMBfAb`howwQ[BM?f@R_hoCwEXuLse]b\hf_vUZOMietBjHlGymZIMlerbjxkoyyZyLae~bWxk_vyZyL`e~bWHnot}ZaL[emb[xmOtyYqLmelB[HlwtmYmLmewBUHlwtYZaLRexbTXmOtQZsLOe}BShnWtEZmLLefb]XhovaZwLJe|BRHnWsiYMLvecb]Hh?veYKLjeaBZXgguqZgL@e`b\hmgsIX{Lje_BZHfwuu_k?I_EOAw@{?u?\Oa?GOCgALA_?f?T_ISIIDTAe`POigSsHPuCzG`NMpGRSC@zT@G]xOPFlrvqAC|w_bN\GHSG`y|AO]rObFkRtACS|W`HNTGPrsaB{|K`BO_FgrraBc|?_|NNGMsFpx\AC]ZO_FeRqABc{g_|NHGMsEpws{[_tOXFasDpwT@_]HOUF`rnqBK{?_vN@GLRnAAszw_pM|GJsD@vT@S\vMxGHrlaCkz_`NMvGRRkqA\@S\jOSFYSAa?d?o_LOJGAsAQ?L?G_POBGBr~`~C~{^rO?F|R|P~k~[^xNuF|rz@}S~O^\NrFuryP|{}k^bNiFwSBP{s}__^OMFrrw@{[}G^JN`FqS_aAD@I_b?U_KODwAs@a?n?Y_KoEwBK@m?t?[_NOFWBc@y?zQAHGs_qQ\GOcdQAHIS_qQtGOcjQ?HDsbQOLF{cXQMG~scAODG{cBQDG}S`qNtGWbzP{HCS^aPTFscROsgZSLYE|Be`pPoHIS[aQtFCcjPlHGsZqQ\EwcdQMGtSZAQDG{bVPfHCSYQPTE_cRPeHESbQKdEScVP`HAsWqO|EGcLOjG{sJQN\AobtPxGVS]qEDFg`^PrGnS\QKDFOa~PZGisTqJlDWaxPYGiSUQITD_afPPGcsQqH|D?aTPKGbSRaHDCsaNPBG]sPQF|CO`|P?G\SOaFdCC`vOpGzS]AE\F[`d?I_EOAw@S?q?VRjG{s]yNS?u?^?M_FOBw@k@A?d?P_GOCgAKumZXLlevR[Hl{vEZfLqeyR\hmlNOfVRuHus|Q\dMkfnRlH{szA^DM_f\RiHvs{A\LM_ffRqHtS{Q\LMSe~RfHosxa[DMSfDRfHqSxa[\LogFR]IAsvQ_dN[erRZH{sua^DNOelRuHkS|QY|NCefRrHis{aYdL?fDRQHqSsQ[\Ksf\RNHwSra\|L{eTR`HeSwAX\K[ftR{Hcs}qXDKMeDR@haSpiWlJwgFR?IAsnq_dJkftR{H]s}qVdO?dpQyI?smQ_TNsdjR~HZs~aUtNsddR~HYS~aU\I{g@QpI@SkA_LIMdJQchRSiIS|H}czQ]hOSgiSLIocnQmHKseATlHgdRQ[HTSeqT\@M_jOSgMSFiBl@}`BO_gQsHyCtUKgpTdILTXAbLQsitSnImTJaj\QgjFSkIqtIqkdQ[itShIltIAjdQOizT^IRTVaclUChDT_IOtWac\PwizT^IOTVab|U?gvS\IpTFAkLPIghSRiItDyatOqg\SLiFtCYaDT[iJTXIbtUAgtTOiDTUIaTTQg\R{ibTRI_tOAiTSkhxS}IetNQhdSwhrTOI\tRqfTS_hlTII[TQQe|OWhfSGIYt@qedRGgRSJIWtAaeDXcjLUZIsTeak|Wsk`UNJHTbaqLWgkfUTJDtbAqdYCjzU_I}T]qr|V_kxTyJNT]QrlVSkNTvJCt\apDWCjdTsJ@t_am\WOj^ToJBT`QmLUoj|U?IvT^qllUcklTjJKTYaq|[K@B?^_OOGGCK@}]tN[flrvXz{|ydRQjhTSjITtIumWVSjfDsyxh\Im]VHjgdqyy@[imWVEjedpyxp[amEVHjadqiw`[mmGV?j`DpYwH[MmCVEjcDoIwH[]m]Ugjgdiiy@YelIVQjRdtIsp\MlCUyjQDnIsXZmlmU|j[dnyv@Zyl[UsjZDkItxZUlUUpjUdkyt`ZIoCP{g~S^YN|GEc@?R_IoDGA[@U?hOkgUsIyDtBA`^TPihtSihtTAi^TJietRIhDSiiRSoiXTKYe\RUhhWPKPuHRA\aOodWNKPUCBCL_wp@WPKDuCr@l`GoXWOKCUBb@T_{oRWDKJuER?|_WopWEKJU@rAl_SohW\K@U@BB|_Ko|WYK@U@BBd_KovWIK?uAA~|_co@V~KDu?R@l_?oXVVJ|T}qyt^cmjW_JzT}BCTaCnnVrKPuHQ}laOnhVoKJuEQ}T^CopVlKMtzrB|]wo|WSJtUDa|d`SnVWYJruFA|L`knPVcjqtxi{\]EnDV{JnT~az|^sn@VzJmt}Qz\^gmxVWJ}Tua~t\cnzXsHqsxy[tMafTRhjBtaYpDWQkLUDj?t_yoTVyk@T~k}e\zNxfer{Xwkze]jN`feroXzkyE_zMpgUriYCkyE_JMpgIriY@kgE_zIPgUqaYCk}eRZNxc}r{XMl?EQjOPcqsAXJkcE]zGxfirwXHk_uOzGTbyq@W~kweMzMXburcW{kweMJFPfMrcWxkZeZjEpfApiXnkXEZjE`e}peXokWeZZDxeqp_XjkseJJLPayrOWlkSeZZLXampSXkkREYZD@eirOWfkmEVzJpeAqyX`kleXJKXderCXYkjEXZKxdarKXVkhePJGpdUqIXSlfEnzWLkAtxY}l]uqrP|kosbZLLGUqrPdkos\ZLLEuaRXDkgsTZHLDu`bXDkcsPYFLdUibWliouNYjLbUcbS|icshYgLHuobSdkOtLZBLQugRUTiKtbYaLWUkrRtjSt@YsLNulbR\hstpYvLMUeBVLhgtvYXL\UdRTlh[t^YULVT}i~\^enxV|j~UwB^DmGvtZ`L{uzJ\tmuvTZhltu}r[tnovPZfL}u}rYLnsufZ{LhU}BXtngu`ZxLfu|RZll{vnZuLnUub]Lm{uxZoLlutr[\lcvJZWLqUtB]TlSvfZULyUYJLTeerVXlkuUZjMDe}rbXrkxVGb^to?xH[bL~vERbtpkwz[YMMVDbclp[xL[WMRvCrb|qCwj[SMOVGbaDqOwb[bMHVBZ`to}wT[KmDvHR_|q[wR[eMCV@Rb|qCwH[EMOV?RbtoKwx[AMMuqJXTkeuVZLleVOzglsQy@\Am_vPbeds_xl\FMYvPbeLs_xf\FMXVJbhLr?yV[nMdVQRd\qsyV[kMdVMbflrox|[zM^vLrdDr_xT[xMSvUrhdssyz\MMmVUBjttgz@\XMnvSbkLuKyh\RMpVRriltCyn\OMjVYblluwzV\nMuVXBk|uWzR\dMsToIwL[Iq|X\kmUUZJ\diubZRlhUrjYDk}xt[{m\vLzfLra{O]AnDF_zo`we{I\~nBf_ZopwA{G\}m}f_jn`wMzu\~m|F_ZnHwAzw\wm~F\jnhv]zu\vm{f]JnPvYz_]GmxFajmHwe{I\rnBf\ZopvQ|QV~k?u?G?{?e?PYblOugjRtiAs~[CmAv@j_LoMwD\KmfVRZh|tEy`]zN[VnBvLzs|t]~NYvoBu|zw|l]qN[VkrvLzO|t]tNVvkRu|z?|l]qNSvlBt\zK|T]hNVvkRt\z?|T]JNQVbRs\yS{X]zNOVnBsTzs|B]\N^Vnrr|xw}@]YNUVfBttxk|Z]WNVVjBrLx[|Z]eNIViBqty[{j]PNPvhRq\xG|H]eNFVcBtDw{|N^p?AO@g?l|?~b^QNxvsR}T{s~b^qNfV{rx|{g~\^KNwVqr||{[~V^HNuvqB|d{W~`^mNaVzrwl}k}B^lN`vzBwT|{~J^fNoVwR{t|o~D^]NpvvR{d|K}r^SNlVtRz\}_}l^iNkVyRy}@S?P?F_Co@w@K?b?e_VoIGD[Aq@J?o_QoIGEkAY@f?Q_WoDgEk@Q@f?i_EoCGD{Aq?^?E_NoAgC[?a@B??_Ko@GBk?I?u~g^ynzF~J}h~m~y^vn~f}Z~p~b@k]cnQvgzsty]|P?C_BO@W?c?U?L_sO]wKsFuBT@x_~OYwLCGMC@@f_xORwISFUBl@P_~OWWOSEUC@@b_mO]wJsFuAt@x_iOZWJCFEAl@n_wOQWLcCuB\@J_`O[wGsF]AH@t_ZoMWF[Bu@~@@^jnuvzJ}D}}~\`_OcWQcKUEDAR`bOgwXCI]ETAd`MOqWXSIEELA^`_OdwWcHmEDAX`AoaWO{GmC^AL`VOmwUSJuD`A~`TOmWTcJUDlAh`wOrW]SLEFhBN`nOyw\sMMFXB``mOyWZSM]EpBd`zOswYsNmFpBTaCPBw`cPMGTCPa@O~W_sOEGHB~_SoHWC{JmD~A|`[olwUkQIHZCoaQpJgcKQQHRC_aTpGgc{PQHZCWaVpKGa{PiHNC]aTpFGdKTABR@j_royw\{MuFRBf`qpVGikUAIbD]ahpSGjKTiIjDQajpKghkRYI^CsadpPGi{SYIrDYacpVGf{UAIFD]a_pRGfkSyHvDIa[pbGosUuKPDjbDPYWpCUMKLDfbDPXWnSU}J`D~axP^WmcWEJpEDazP_wrsWuLDEPbOPbwqcXmKdEXbMPdwhkS}IVEcbWplGtKZILNEqbTplGt{YqLbEFbDpaO?SZYMFEw?BPpo?cZiMI?Cb]Poo?S[AMM?Eb^Pp^