CAT(2402,1)

Sparse6:

:~?da_?O?G?CAk@N?e_QoHgC{AU@X?l_ToJ_DCB?@R?n?TOKWESBM@j?u_YOO?CkA]@L?q_XoKWGWCAAC@D___PGGgBuAE?~_a?NgEwBu@q?}_[?NwFOCAAC?{___MwFkBy@~@`?hOTGI[DIAh@R_cOPgG{DAAb@N_fORGHkCeAV@I_nOWGJ{EsB@@n?noZ_JsDkBX@\?toV?LSFGBP@o?so[OK{E_BX@h?tOXoL[D_BB@b?lOW_JKD_BH@X?qoU_KsEOB`@e?woXOMSEwBB@b?voW_LkDkAj@V?moV?IsH[@V?l_UOJgD{BA@T?h_SOIGDSAe@p?x_ZoMwFcBiDKA\`R_fwT?HyCsA_`M?ggRWIEDGAV`K_hWR?IMCuAV`K_egR_HaCgA^`N?dgRgHUCgA_`J?ggQgIEBkAb`Q?\wN?IUCcAG`G_agQWGeCDAC`@o`WO{GYCa@{`H_^gQOFuBuAf_|?hgNGIaC[@~`F__WQ?GABeAJ_y_bGM_GuEq?c_POGwTGL]DUBW`T?tgX_LaESBU`d_twVgLiEuAz`]?uWVCJeDtAv`YolgUOLUEgAs`h_kwTwLeEuAp`W?ugYWIqEiAm`i?jWWwKuEQBN`c?rgYOKIE_B@`g_owVoKQEKA~`a_oG_?DmAz@[_nOWGJ{DYAn@T_ioTwIsOMGJCCaC`?G`WOIGSC@`}`AG^wOYGMB}`}`AW^wOmF{CI`|O~G^[N]FrBwaC?|G_wNYFiCE`p@?w[_OUFECC`n`?G_GMEF?CA`t_zg\gNAFWBn`m?yGZoMeEyBi`w_xW[oNMFMBqaZ?GgCcAM@F?c_POcWQ[HIBh@t_xpKoesROHpCtAZpLOfSRKHvCsA[pN_bCPgHxCXA]pJWd{QyHVCkaTPI?f[QcHrCyARpH_eKQOHdCdAWPL_cKR_HFCvAPPF_fcRwH@C^A]pNob[S?GxC\A_pDWa{PYGdCRaIPK?aKO{HdCOAWpOO`cR{G\D?AEpZoeCREHdBR`iotGYsLaEnCKaFPBWmCU}JbDoawpZwl_VaJ[Dyau`]WhKSiIPDkAspY_lkUkJ\D^ampVgiwVaIqDyak@]Wi_VUIkDvai`\giGVIIcDsax`SwmgSyJmDOaz@RwhWVIIYDsae@[wgSSQIFDEabpPWk?U]JCDgao`XgkWTiJID[aq@Uwr[XiKrEUbJpeGoKWMKDECBQp`_s{WSLLERBNpgOqkXOL@ELBMPborsWwKzEKBCp`opSWkKPEaA~p_?scYKJ|EOA|pc_nkXCJxEpbXpkgvkZ}L|Ezb]PmguwYyLqEob[@jwtg[ELWFAb_@iwu_YiLQEubS@lWlcUyJZB|`~o~gk[UQJJD_apPWWtsZAL^FgBqPxG{c]UNNFebq`wW{W]]NKFabk@vgzO]AMqF^bk@uwzO\uMqF[bi`wW{W\]MkFab``uww_\uMIF[bhPswyc[}MbFObq`rGxo]]MYFebc`tWxW\YMSFVbb@vgx?]AMMF^cN@KwecRUK~E`bOPfGrsXuJvD|a}P^woCVyMLFFbcQL`EWbUPeGscYALXEOauPaGncWAJhDOauPWGmcTaJxCwaqPQGjcSAIhCoaAO{GccQaFxBoaEO}GbcOAGhBWbIP_G[cWaFXEW`aOsGtcYAEXBO`UOmGXcJAEHBW`IOyGScMACxAO]aOgFicH`yXEO_eP_GJcWaAh?s_]OPGBCQQ@@Ck_SPLGhC@QI@?Ca[OBF~CPP~`C[^sPBFyb}P}xA?^]NqGPcF`}G}__qNkGLbyaBg}G_qNeGLbxABhAo]mOmFlcI`zG|o`AN_GPcF`zxO_`IOhGRcIqDhA{`iOpGXcLqFXBc]iNPFhbuPzW|[gcShIRDBqa@QkgcSXIIDBqa@P[gSS`IEDHQ`@QKgsSHINDBQb`OkdOS`HUDGqTPQSeMRJHccpQWXKChOQ~H\DIqcpJsdCSBHRD@qS`OSfwQ`I?CfQ^pH{fwQVI?CeQ^pHkc_SBHHD@qQ`OSc[RvH|CaqP`NccGRvH|C`qP@Ncb{RrH@C{QO@NSboRpG|C{qN`NSgsPrGzDFqb`FSggPpIJCZQb@E{fGRjHsCzq[pMseoRLHgCvQXpLkecQtH[CtqY`J[d[R^HXCwqU@MClwUdJSdhqrxYClES}J[dOauxS?luUuI[dmafXRolqUoIXdlAehZGhmSkJWdJauhZGhaUEJEdaaqHW_k]UiIvdjAmXYwjaTgJJdZAqXXOjUUYIqdfAkxX_jETCImdQAkHSWi}TUI|d^ajXT_jyU?IgdTAohTGkETsIdd]AhxVWiYOXGMcEqBxAK`AWJKFeBR?h_coMVqKJeEa}x`_niWOJreDA|X`GnQVAKGdpbAh[OoeWYJ]doBAx`_l}VYJ~e?azx\ooAVkJiduA}H\Wn]VwJfd~AyX^gmaVGJodrA{h[gnERpHyc{q]xNkfqR|I?c~q_XO[gIW[KneGBKX`wrAXYKjeVBIhdGqqXKKteSBLxcwrYXEKqeQbLHc_rMX]K_ePBKXe?qEWzK^eNRFHbSpmWmKteKbLxb?rYXcKTeYBDheWpQX[KPeUbCxaOqqUpJYdkquxZklqXpKye[rSxiktQYGLUebBUHggt]YkL@e`bUHiwsIYqK}elbOHjOr}YsK{elbNXjGrmYULLefbRHhosiY_LFehBQXiGsaZ_LiesBZhlwueZILperb[xkovIYwLaeqBVhjguMY}LjeobZXk?uqZyLse~b\hnovUZsLve}B]XnWvaAp@Y_kopGWsKUEBBB``PEGbKPiGzC[aLp`gokWQKTEKbDppGwk[MMRFJbdQXhLCe]QtH[clqwx[KmIU|J_dnrQhhcsmYNLHecRi`uCzG\XMpFTri@t{yc\ZMfFVRi`scyW\XMjFQrhps[yc\DMgFOrf`scy?\JMeFNrfPsKxo\FMZFPRf`rCy?[tM^FKrfPq{xk[lM[FIrc`rCxO[tMRFKrcPq{xS[^MOFJRc`pcxO[\MRFEraPp{x?[VMPFDR``pcw_[\MFFEr``pKw[[VMGFDR_@tkwG\^M@FVR_puCwS\dMpFARzoAs@a?n?X_LOEwBc@y?z?__OoFwQcHYCjBh`tOyG[sMUFNDNafPSGh[SuIXEjbUpjGtCYiLRG?c@Q?W~{^uN|IhdTQiHSki]TLKMeGRBxaKpMWdL[enRVXj{uEZ@O^GQsGQC|A?`LOaGMSHABtAK_zOXGMSEqBt@g_zOUGOsFqBDA?_nOXGHsDAB\@S_tOUGGSEAAT@[_bOSGFSDQ@|?s_fOJGGSAaAT?o_bONGCSAQ@l?w_NOIGAsBA?t?k_HOHG@s?Q@D?G_NN~GAS?A?s~w_JOAF|s?p~l?C^xN}F|s?@~k~{^xNwf|R}X~C~i^rMrFuRlP|szO^ZN_GPRwaCc}C`FN\GQrvqC{|w`LNtFlR|pz[~W]xNtFjr|pzK~W]pNhFjRtP|[|O^TNeFgry@y[|G^NNhFfRy`x{}k]`NJFrRy@xk{o^NNGFxR|@xS~K]RNnFarpp}K~?]LNAFxR{pwc~O]FM~FvroP}K{?^`M}FqrnP{czo^FNkF[rzPvS}w\vNbF[Rlp{czW^JQM?DOBG@[?u?^?MhL?CGAK@Id??R_IoDISDIIdBQahOSgYRpAa`SQ^hMcIYP@DIcSPShCcSyP@DUamQIgjCaYRPC}cwPPhLcSIH`Hia[Q[geceyHPH]aUQWhKcQYGxHQaOQUgbCdYRHCUaGQVhKCOyG@HQaCQUg_cdYQHBuceO~hHCNiPxBic_OzhFCNIExHE`qQRg[CciPpBQ`kQOgYcbyRhBEc}OrhNCKiDpGmcYOogVcbIDXGmcYOlgUCbIOPFqcGP}h@c^YNHF}buQ@g|C_IM@FYboPqgzc[YLhFMb]PtgvC\IK`EibWPegqcYyKPEabAPhgpcXyOpDycMP_hAcVyJ@DmasP\gkcVI^PGacTQH_KODgA{@Y?n?W_KoEwBS@e?t?Z_MOFgBk@q?|?\iCc}i^`OmfuSIiEC}i^`OyfuSLhzd@I^@OUgERxiBC}Y`@N]gMRwh~C|I^xNUfyRuhyD?I]pOIfiS@hUSjiTlI}dbQohsDBi\POufQSKhqdAY[xOmfKSIiBCwi`@MQgMRbhnd?I_HMEf?SAhmD?yZpOUeySCh~CuYZXN}esR|hPc{YShNIdGRrhRC{y]PIafaQfhjCzi]@LaemRnhhcrYXxLUegRMhgCqiYPKqeaRJhccoyX@KEeMRAhaCniWpKAeIQ~h]ClYVXJYdyQvh[ckiU`JadsQrhScyyTXMudSRk_DOBG@[?i?V?Kipc{Y]\NI?^?L_FOBW@s?}?`?Q_GoCGAK@I^JNbfqRxh|C}]^RNiftrzH|s}ujWTcivDXYlhUMjETpiqDZykhVAjCTeioDYIkHU]jQT`itdWilPUAimT\indUYjpTaisT\inDVIjxTmjgTSijD[iihVMj]TPihd[Ym@TIjWTMivDSIlhS}jQTJitdRIlPSuiOTYidDVIhHTmiITfibdYIkpSYimTAikdPIj@SMh}Tzi_d^Yg@VqhrSzi\TNIftRuhkTzi[D^IexVuheTqiyDLIehVMjiSoiXD\ympREjoSli|DJynHQyjiSiizdJImpQmhQTxiSD]IcxVigvS\iMTFicDP}gnSUiItEYbTPahGSNiGdHichPAgcS`iIDGyaXQIcVQLhESdYQtHQcrQWhJsfYR|HymwUPjldciq@\ulIVQjRdtIsp\MlCVQjQDtIsX\MmuU^jOdvYs@\qkwVTjjdfirh\YmoUXjlDeyzHXimmUWjJDtiqx\UmoUSjIduizHXMkTUKjDtbYptW}kLUDjATaYo|Wam]U|jgdnyy@ZymWUyjfDnIxhZmlqVHj[Dqiux[mmEUsjZDpIwhZUmKUpjcDkywxZIl[V?j_djywPZAlUT}j?DjInxYukAUgj@diioPYeo[V]kGDwJ@x\}oIWJkBeBZ?p_qoOWAkAEAj?X_eneWVkKd|Y}``ancWUjweDI}@`UnYW?jve?Y|p^}nqVij|DzI~X]mnyVhjsD~i~`]]nGVuj{Dxi{h^]oaV`jpeCy{P`Ipu?__OoFwCCAE?~PQgiSSyIlD]alS`iPtGicdQYhJXIKaUPbHdcSqVXFK_uQRG\c_qDW}KaUPbGDcSp~WzK_uNBGTbsqFW{K[UMbFlbkprW~K[UMbGDbwprXFKOUQBCLccpDW\KdUFbH\`{qXWqKYuLBE|bKplWnKLUKRBdb?ovWeKUUIBDta[pZWhKPuHRD\aOpTXyHyS|i]lN]frRw_IOCwAk@Q?j?RhPshYSdI]dPQejctqyxT[amLVFj`tpYwd[AmBVAjSTiitLYulXUjlCefJRhgmsSYZlKE`jP@hisMYXlDe_zPHgUsSYCl?e`jOxgIsOY?k}ebzNxhEr{YOk}ebJNxgyr{YLlIe]jN`h]skXzlHE]jN`hQseXzl?E\zOHfasCXxk{e`JN@gUrmYBkweRZMXcyrcXNlKeZzRPfAsoXmkteezL`hqsyXlksEcJLHg}rSYPlIeXZKxh]rKYUlHEWjQ`eQseXbknebJKHgyr?YLknUVZJddmqtXXkyETjMpdariXVkweSzMXdQrcXTkgE\JIHfYqcXtluDVYj|TyjDT`ioT~z?L_AnxV}j}t}Y~\^inlVwjzu|R]Dn[vbZuLvu{B]dnCvdZnLxuzB^\mwvzZlL}UzB^DmwvtZlL{u}rXDkgvzZHL}U|RWtn[uJZuLbu}BWTnguHZxL`unr]TkCvhZ?LxumZV\jitnYul[Ukr\LmktjZiLYUkB\LmktdZiLWujR[ti{vPYmLruib[tiovPYjLruwrS|icvJYgLqUwBStmGtHZ`LQugR[\iGvJZcLPuwBSDh{vDY]LoutBY|lWurZTLkUubYLloufZZLhUrbZll{u`ZNLnUqrVdjwuZZKL]vPbe|rexp[smZVLZgXo]yI[HmaFAJgXoQyI[EmaF@Z_HsAyC[Am@fOZ^psAw?\@m`E~zcPrixG[{mPfMzbxoixA[KmDfGJb`ruw{[~mMfNjbHqawu[imLFIZapqmxY[WmUFDze@pMx][TmVFDJa@rEwc[rmGfKj`hqUw][fmFFHjMLfMrdXskzU\Zj@vMys\tmkf\JkduYzJ\`mpVWzm@tyzc\_mwfVzmXsezi\JmyFQjm@sYzc\GmwfPzihuuz]\VmvFTjl@tQyc\hmrfSzhxtmya\\mgFVJlPsqy[\kmefYz[DmIvBZblquxJ[tmavNZhltuyjrPvY{w\wnLf\zqHxQ{e]UnHFdZrhwy{_]^nFffjp`x]{Y]XnDfeJrPwa{w]InLfaZolw]{L]AnAV_zrhv}{}]@nNF_Jn`x]z{]Wm}feZnHxQzu]Um|FdZgDsIyB\BmavPJv\zu|x]yn[VmZvpyq|}]mn_FjZvxyi}?]jn^FiZsp{E|O^BnRfojwHyM|I^Bn`FhJuPyA|g]anXfgZuhy}|a]vnWFljyX{Q}K^TniFpZzH|A}c^ZngfujxP|Y}W^Wndftzx@{}}Q^MnbfrZ{P}U~M^cnpfxjz`|}}{^`nmfwJFTbeppZSljUtZY\lEud\HmdvQjgtsayN]qnYVkzt|zE|`_?N|W?b~e?C~v^|Nzv~r~L~w~p^tN|V|b~d~O~v^vNwv{r~L~G~p^uNvV|B}D~S~^^qNwVzr}L~K~\^|NsV~r|T~w~R_?Ntw?b|m?C~X_`K{u\zNC?a?N?HmKvEjb\pYwp[Vm}V^jnlvezv\ynaVpjwl{a}R^FoWGK{EiBJ@g_poZGJ[FAA~@m_moTGKKDaBJ@U_poVGIKDIA~@Y_foTGG[DaAJ@U_boSgG[CYA^@C_go@gE{?i@v?G_[oKGK{Ei@j@g_XoIgLkAyBb?k_voQGCkAaAZ?e_doQgC[@yAZ@G_OoNGB[CA?z?}_KoCgE{@Y@v?S_[oNg@k@AAB?{_Fos_@G?k?ZAO`hodGYkLYCfAI`hotgP{GqEjAC`eoaGYKGYE^@}`bo_gX[GAER@w`gorGNkKyBvBE_xoqgM{KaBjAm`\okGV{JIDzAk`[olgTKIiDjB?`PopGS{KIDJAU`MoegSKHaC~CY?F_CoAG?{?a?RaLPDWbCP}GxCVaKPGwccP]H@CTa@PGW_sQUGHCbaLO~WbsOEGxB~`zPBw^SPMFpCP`wPAW]cOuFdCJ`lOxWZCMeExBf`nOyw\sMMFXB`amOLwF[Be@~@@_]_AO@g?k?Q?J?EpYgi{UqIrDYaspUgl{VIInDoakpVGf{UAIFD]a_pSGl{VIIjDoahpQglkSyJVDKaspPGk[SaJNDEaqpVGfKUAHzD]a\pLgkkRQJNCqappHwd[QeH^ClaWopwX[KeEbBL`fp_GuKZQKJEqb@plgq[ZaKjEybJpbGvKZiKbEubFp`guKZQKVEqbCp]Wm{VUJvD~a}pggt{YALVE]bUphGrKXqLREebLpxgvk]iMBFgb^prgz[\yMfFObmprGzK[iMjFGbjpwGw[]QMNFabap}G~{^qOFFyc?pzG}[^YNbFsbvpDwbKPUL^ElbTphWtKY]P@GPcIQFXAS`}OhGVcGQExAS`eOlGDcLQ@xBC_eOTG\cOQBx@c`}Q@DZakpTwz[\}MzFXbjptXICcEQXHDcfQOxGcceQDHJc_QPxCcbuPLG~cPQMxGsbUPpHJcZQQXHca}Q`GrcfQKXFcaeP|Glc\QIxNcdqRnHwckq]hJ[dIRnHycjq]HIkeiRbHmcyqZHM[eQQ~HacsqXhKKgyRzIQd?qcHN{gISZIEdCq`HP[buP~GzdIQgXScheSlIbdLQgxSch}SxI`czq]xNKiW?DIrdS?@hUw?QTTIt?AQjHUW?IT`Iv?BQjhUn