CAT(2368,1)

Sparse6:

:~?d?_?O?G?C@C?I?H_D?@w?o?a?U?O_E?Bg@g?}?y?[_LOEwB[@q?t?^_MoFgCKAI@@?k?TOIwDKAe@V?i_UOJWDsA}@`?p_h_KwEcBI@n?t_ZOYoGoCAAG?}_a_NwGOC]AA@H_`_QGGoCiAW@C_a_QwHgC]A[@H_f_QGIGDUAc@R_g?TGJ?DIAm@O_g_TgHgDMA]@T_f?TGH_D]Ao@I_d_TgF?By@s?~_[_OGGGBqAE?z_`?NWUoAM@J?c_ROHwDCAq@\?l_WoKGD{ByA@?~__oOwGSDAAd@P_doRGHSC}A\@L_[OMgFKBm@x?|`fOsGX{KqEZBJ`bopgWkKIEFBC`bopWWsKIEFBC`W_swYOJID_BP`Y_tgY_JQDeBT`T_rwTOKyE_Ak`d_jgTwKuEWAl`Q_qGSoKiDGBH`R_qGTGKiDOBH`R_nWT?JyDwAh`R?nwSgKEDGB?`__jWTwKAD}Am`]?igVoIqDyAj`H_aWQOGmCgAI`F?dgP_H]CiAL`H_eGROHICqAS`L_dWRgH]CwAU`K_gGRoHaCsA^`L_gwRgIICwA``X?ggU?IEDaAb`X_gGRoJUDgA^`C_mWVWGmDsAI`F?lgP_JaDmAL`F_mWVWHADsAP`G?lgQGJ]C]Aw_uoYwLcEyB^@o`CO`wOsGQCJAB_|o^GNSFaBr@v_r?tGKwLYBIBT`g_YGYWEiEc@h_n_\gMgEEBg@__p?[WKWFMBG@q_l?^WJGF}Au@}_m?_WJoGIAyA?aq?DwBK@a?p?V_KoDwBK@a?z?^_NOGGCSAECRAJ`DObWPsGqCbAO`FofWR[HqCpAX`LOkGUSJEDjAs`XoIwDKAiAx@]_moUWJ[DiAz@]_mOUgJKDmBF@a_qOWGKKD}A~@`_oOWgKcEMBT@g_soXWK{EYBT@g_soXWKsE]MEEbBWphOu[YOLdEoBRPk?tCZ?LNE}BNpfOv{ZsK|F?BOPo_sSYCMBExBIPd_u{Z_KjEyBHpmoqSZoKbEMBCpc?pCW{KTEJBCPbOpKWoKTEAbAP_wokW]KLD}a}p^GoKWAJ~D{a}p^gn{WEK@Dua{P\wm[VQJjEkAnPW?tsT{LZD`BTPWot[UGLRD^BMPW?rSXkI|D`BKpdok[X_JDDWA|p]OjSTcJtDxAmP]ojkVgIvDrAhpT?mkTGJhDuAjPTonCTSJnDoAhP[_i[TOJbDVAupT_l{TSJ\DlAkPZojSUwIrDoAlp[OjcVGIzEpArpkolKZGJPDkBYpY_usUkLhDdAgpRoksUOI`DdAgPX_iKUOI^EdAEPh?`[YKGTCGBIPd_`KO[KjDIB]pQov{ScL|DKB_Po_hkSwMBEvA`pmOgkZ_IHEyAbPn?hCZkINDABYPO?usSCLjEnA]pNot{RwL^EJA\Pb?fcWsHvEMAZpc?fKW{HpCsBJpL_rKRSKpCrBLpf?eSXgHbCjBTpJ?tKQsLTElAWPj_dsYoH^CaBOPg_ccYCHFC^BGpG?q[QCKdChB\pI_vcQ_LtFAARpHOwKQWM@EsAGPCOusPGLjCLB]pBov{OwL|CUBXpkObCP[LdEvAHpmOakZ_GhE\AMPF_r{PsK|DiAKpYob[UoGtC@a@p?g_cOYGJBz`}o~G^sOAF~Ee@uPi?\sY[FZBhAroyolCMgJREE@qp`o[cWSFFBeB@Oy?o[M[KHBt@vo{O]{NWF`Br@|O|?^CNGFrB]@jovoZKLsEpB_@lOv?[SLkFBITAgPSWh{@i?x?ZaZpMGfKRmHxCyaWpKweSRQHlCtaTpJWdcQyH^Cob`achQ_[QSeFDdTaXHT_eITSHbcnadxQoeESiH_cmAfhJoiAQyI^dQAUXSgdiTKHZckAfXIwhmQkI[chahxTGdUQgIgdPaMXSObiTAGwdJaLXQgb]SkGudNAKXE?iAS}GncYAfHEOhuPeIZdTAIxT_aiTUGhcVAiHTGaqPYIfdO`phSW[aTCFFdQaEXAwiYTGGWcLAchQW`mSgG[cHqChAK`YOhGTcDqBX@c`AO^GMbgacGy?hEM]INdK`tGyOhiSoFRbcabxQ?[mMSIPbeaeHRO[qM[IXcta[XMWeuRcHkcyAZhMoe}RiHocdAXXKwcqQUHeccaRxH?cuQMHMczaPHGofeRoHDc^ASHIOcAQaG~c\aHhFgaaPwGfc_aGxCgcMQCGccOA]hCOfqPAHzcsAFXLO`}RQG]cA`~x?w_EOKG?cCA?h?__iOQGBb{aaW~OgmNuIIb}AbG~ogyNyILc~`|HNg^UR{Frd?@|hOO^aSAFvbv`yW|o]]NOFlbw@yg}O]qNaFjbl`wW{W\uMwFabq@wG{o\yNIF^d@`tXOg\]SGFUbkA`hP?\iMqIF_IODgAknSXnKwDzq|`fKr_VpKxD|Q}Pe{qSTZImERrH`T{nGWlKWDyRDp][qwV^KoDwrJp]CmsWhJmEIqz@a[q_VRJjETRIP\SmKUzJdDnqx@Zsm?VPJaDrqwP[slgXVKlDmQupdcqGUnKbDkRH@ZKp{UhJUEOqtPcCpoUbK\DhRF`Y[pkU`KXDfrE`XsksXlJKEYQqpekrCUPJIEXRKpXKpCUNKQDbRC@WkkGVvJCD}qop^cj{WTKKD_qo@`[o[TxKHD^RA@VkjkV~IxE?Qm`^sjWWHIvEBQm@_kosTfItEFql@`soGTdKBDWr?PUC@M?b?Qefb_hiGwQY_MBeiB_hiWwQYcMBe]RMhf[ruX|K~ezBOHn?sIZmL@erbWXlGuMZOLaeqBVhkouAZIL^embZhlwtmYwLletBUHjOuqYqLje}bTXnot]ZwLUeeB]XnOsuY[LzexbQXmgsmZgLIebB^xh?wEYMM?eab[hg_vEYELofX?hGSsIUDRAf`SOLGE[BI@j?v_ZQ[xMSfERhHucyrk`vszO]@MrF^rlPwKz[]FMuF`Rl@vCzK\tMqF[rn@ukzW\vM|FZrnpt{zC]@M}FWRkPwS{C\^NBFWRdpv[zs[rM{FKRd@vCxW\tMTF[rbXp[wq[^MOfFR`Xo{wY[PMIfCrcPtcxK\\MQFUri@sky[\FMeFQRfPsCx{\DM]FOriPrSxo\VMZFTR|o@[?u?X?N_GOBgj[TuIxDWalPUWkKUMJDD]aoPVwC[AU@H?e_RoIGGcCYAJ@H_boQGFCBi@r?{_]oMwZcLiEvBW`kotxZkl}U|J_dpQwYDh@q_zOZgNSGIB|@S_FOVGAsDa?d@__LOYGCSEQ?|?K_^ODGGS@AAL?[_fOSGCS@aATAC^zN~GPr~aCT??`HOAGRS?QCl?c^zN~GDR~a@\??_XOAGFS?Q@k~]^rNwf|R}x~c~O`BNuGPr|QCS~O`LNuGQr|QCc~K_rOYFwsE@}T@S^\OVFvsD`}C}s_\OKFuRyq@k}__RNiGDryQ@S}I^HNbfqrxx{s|c_dOSFlRuqA[|W_^NWGGrtqAC~g]`NQF}R}pyK|K^nNTF{rt@~DA?]VNKGNSFpxS{w_xNNGMrrQB[|{]HN`FbRw@wk{[]xN]FcrvPxC?U?N?E_COAg@KhAS^IPdHQdHQ[HICfAS`JodWQsHyC~A_`OogwSSIiDXAj`UojwTsemRZHkcvQ[HL{]uN^FmbwP{W}S\mMzF[bnPvw{C|}^BN_fnRvHzlIyd`QnhTsjYTdIadRQihRShYS|GgclQWHESaqQ|H?cXQPHDscaPTG[cfQHHIsaAQdGscPQNHCsbaO|GMcBQAhAS`iOlJO`NQuGSSlQDLAgdbOjHXSJAU\Hob~Q]G~SfQODHgbvQZG}seQNdF_c~PyHOs]QSDFSdDPvHQSgqMtFGc~PsHOs[qSDE{dDQcGwsgqMDEocxPlHNSZaRlHgbVQZGsseQLTHGb@PaHGsWQQDGsazQNGnsbaJtDgclQWGmSUqQ|D[cfPXHIsUAQdGOabQEGhs`QITGKahPUH?s_aIlCkdhPKHZSRQUlC{dfQpGgSRaUTIWaJQfGbshQGtI_aPQiGdSiQHLIk`fOtHUSLATlIw`pOuHVsLqUDEW`~P@GsSOAK|CGbJPbG`sXAGdAs`rOnG\sJaFTB?`xOqG^SKQFlQ{IjDVajPSgicTMFFBc`qowG[SMEEzB^`nOxg\CM]VFJddqQxh\Cm]`NOhgSSIiDdAmbLPggrsWyKlEQ`ZOngVSKIETBEiSTUieDUIhXT]ieTFicdTYh@TQhWTOiUdSidpTEhQTLiTdRydPSyiSSeiSDQycxSqhETFicDHIhHQUhQSbiTdHYdPQQh[SeiSDJYcxQqhiS_iZDGYexQIgyS}iNdOIbpR}hgSYiMDKyePPmgmSniKdKYb@RAggSzi]dDiahRqgaSwiHdMiaPReiASOi`dBygPOygUTCiEdPi``SUgTSHiCT@Y_|OYiASAi`d@IgPOMf}TCi?dPi_@SUfwSth~DLy^hRYh{Rxh|dOIfxNihcRuiYC}IeXN]feSnhyDKY]hRAf_Szi]c{i]HRqhoRli\CzyfHMyfXRihtsxy\LMaikR]ikCwIixL}ieRZiicvYi`Lqe_TPhgdSiXxTAecTLhiDRyYXSyeiR`hjCwyYxMIfKRWhlCxYZHMQeOR?hbCoiWxKEd{RKh]criVxKudsRBhacmyW`JqeQQvh[cqiXXJahFSdiQTIIc|QYNBFbbpPxG{s]UNRFgbrpyg|c]me@R@h`SnYV|JydtQ{h\slyVLJam`VNjfTqyxl[qnKTpjsD[y{xVImsVGjmDqizX[emmVDjkdpyz@[YmCVSjaDtiwX\UmaU~j_dsyyP[AllUwjZtlIulZMmmU]jODuYz@X}mwUZjldfYzPXqkoVPjLDsirH\MkiVTjJdtiqp\QkdUSjHtbyqLXAkWVJjedbYx`WykSVOjDdrixxWejsV\i}DvynX\yjmV_jpD]Yn@]EjgVbizDxImh]Uj[V_jpD[Ilx]EjUV\iudvyl`\ynETgitDxYlH]QnKTdjsDXy{xUYl_UijUDkitXZElYUfjVdiYtpYalqUcj\dhivPYUlAU{jPDnisXZujCUEiqDaIkXW]i}UBiod`Yk@WQk?T[inD_ioHTuiqT|i~dUyjPVypsVnk]D{ZFX^ApmWakQEMZF@aMoqWskLELZBXbYpaWUkXeEJEP`]ogW^kIeGZAXaAo_W[kHEFjAH`uqKWLkFEPz@xcaoSXBkaeBJ@XcQoMX?kCEOj@HcEoGW|kBENz?hbynuWjj}eJY~`aqnqWoj|EJi~@a}pOVtkTD|zDH^YpIVqkRd|JCp^Mn{VkjvE?I|h^}oEVhjte?Y|P_IrMXckrEYJLHeUrUXbkoeZJLPeIq{XlkoEZzJxeyquXokxEVZMHdqreXWkyeUjM`deqiXukje]JIpf]qQXNkgeQzI@ciqcXKkiERjIXcurqYDlBe]zNPgYsUYAlEe`JP`gMr}YMl?ecJO@g}rwYGk~EajNhgesmYPlHeeZQPhasgYYlIeezQphq?V?L_EOCG@{?y\^MpfWRbHpkwm[\MOfFsHyDLAa`XOigTtiitdYmlPUfjSupBUxjmtiY|lZEnJV@jItgYylXemZTxjmtaY{lWEnZT`jat[YylUemZTHi}tUYplTEkJTHiutUYmlTEjJS\iUtHYblQuhJS|iatLYflSUhjRhjItgY^lXefjUxiIt?YulYegZ\W?U?N?E_DOAG@LQehVSiiUTJidk~Q^lNtfpRxH{[}U^NNekHuDJAl`AodWPjuTzi|l]enVVimDvAj`LoYwP[Fm@e~Z_hn}wGZ}m?E}j_HnqwCZzlze~Z^Hn}voZ}lze}j^HnqvoZzm?E|J]poIvi[@m@e{Z_hnMwGZqltuzZ\dmmvZZklvu{J\tnAv\ZnltEoJVpmet}Zgl_eyZ\PkIuEZglqe|J]pm]viZelpE{Z[`nMvEZqmBEpzXHoawMZGmDepJWpoeuI[IlneszYhmEugZ_lgEuzZPlEuqZQljErZZ@k}umZMldEvJX`lyuUZ\mmeyJ\LmiaVPLgeSRiIDC}kXULjFTaYp\Wit|Z?l^uojW\kEupZUljuuZZ\liu|Z\lmUvz[LmAzi\wm{f\znPvYzw\rm}f\JnXvIzs\pmvf]JnHvAze\lmvF\JmPuqy~\\mnVVZjtt}yw\lmvFUzjPuqyq\pmkF[Jlxt]y[\SmffTji@tUya\SmhfTjiPtUyo\PmkfSziPt]y]\[mgFUzhptizQ\JmefYzlPsqzK\GmsFQjkxsezE\DmqfPzk`sYyE\_maFWjgPuEzE[~mqfOZk`sAxw\_m^FWjfhuExq\em\fYJfPu]zQ[um[FYzexuizu[rm}FLJnhrUx_\tmXF\zeHvYwW[]mFFGJ`hp}x[[\mVfEzdhpqwq[fmLFIZb@qaxI[TmJfHjapqQwc[imUFDJaXqmxA[NmPfCZcPpA}i\SmjVTZjLtayn\[mlVUyX|LEe`RQhiSsz?L_MoDW?j~T~z`doywZ[cmQvHjc|qexP[imUVIzdlq}x\[NmGvCJ}h~A~c^rnyF{Z}p}u~o^nnzfzjz\|u}x^XnlVuJyl|Y}n^Tnjvtjy`wA}e\}nhF^z{H{}}a^bnpFsJ|@{q~Q^MnrfrZxH}Y}U^dndFxJx@}E}K^bnbfwj{@{U}{^Cnnfoz{@{E}}^AnnFoJux}Y~G]xn[FxZ|@zQ~Q]unrflZsh~e|M^znRF}j|PyI~W]cntfgz}Xx}~i]`nyFgJr`}u{{^nnMfzj}pxY~o]Wnzfdz}@xe{s^qnLf{Z|PxM~W]TntfdJq@~e{c^znGf}jzhwu{]^ZnmFbjz@wq{S^YnDfuZyXwE}g]BnhF_jvhym|}]ln^FjJt@zi|w]in\fiZuHw]|e]HnXFaJo`yy|_]EnAfj{JIDW~~`WO?wTs?D~tAp^}OjwTb~eCP?\`EOGWPS@}CHAN`@OcwOsHEApAZ_lOfwRcDuAdAT_jOeWIcH]D@@L`QOSWSSC}ALAf_dOiWTSCeA@@d_sOPWGSE]B`?z_^O\WFcFMB\?t_uOMWLSB]@`@z_XO]WDsF]@P@|`?OJWNsAmA|?b_ROWwKCAU?l?J_LOBwBC?u?d?D_IO@wAC?eF\Bz`xO~w]CNuFhBh`uO}W]sMmF@Bf`mOxWZsMMElC@aAOuw_SLeETA~``OrWWCK}EHBP`cOtWWsLMGXAxaGOnW`sJmGLAraDOlw`CJUHlCRa\PDwfCPUH`CdaYPIWeSQ]H\CbaOPIwbsQuGpC|aLPOWbcR}I\DTahPUWiCT]ILDLacPOwgcSl|Q}f^Ql^UoJV|kMuDZ@p[gl[VYJNDsaspXglkVAJVDgavpUgm[TyJnD[aypWGlkVAJJDaavojWT{JDsyy`\NmgvSziU?V?N_EoAW?{?ULRElbTpgwskY]L@ERbMPcWrsXUK`EVbIPewqSXeLDDxbRP^WscVmKTEVbFPewpcXeKxEDbBPfwpCYELPD~bUP_wtSWDwm{X]InEvbzpuN@FXbpPuwzs\uM|FRbpPtw{C\UMXFhbqPsWxs]]NHFFbdPyWxC]]M@EnbXPpWwSZELhE|b[PmwusZ{?Q?H?CoCWAk@M?n?X_Lpjwu[ZELjExbZqBhC{`IPVGOcSqGHA[aQObGacFqIg|[aaNZGebvqDH@K_qOrGIcJq?hB[_YO~GCcMqGg~kaAN~Gcc?p|hAk^iOrFwcJqEg}K^QO~G[bxqMHIKbqQjGychqThH[cyQvHKckqNhE[bYQFH?cYqJHGkbAQRGmcb_@HLsds?LHqco_?hMCd}RC?AcsqX_?ceuRG?Ect