CAT(936,1)

Sparse6:

:~?Mg_@?A?CEoKOY_rAO@sBWFoL_\?}B[FGMoZ_z@qAwDGI_V_m@MAoBWJ?N_k?yA?DGI_P_c@MF_AgEOJ_f@UAcCgGoOaOCQG[Og_`CaCB}GWOG]o}`xBqFsNW\Oz`rBkC{MOSOy@RAOE[H_Yod@hB]EsMGW?~aABEEOOGN_i`?AmD_FgO_l`EA}COJgOob`DEkH[R?spLBTEcHSQ?tpHBTEKKsXOsPcBNDwKCW_np\BBD[JSUOmPWAvCSIKPohpEAdD?IkR_jPNAhGO@cAwDOI_X?mGkPwbPUahDUHsRwgPPafDIPocXFaQc_GuP[bHDQRCTHSPcd@DqFCfGcQka@IQCC`GWQS`PGqBCJGWOK`@@QFCBG_OS_pCpwC^FgPkb_{pzB|FsOC^?~pnBdFCMc[?xpmBlEoM{ZOyq|@HAYCkp_Sof`PBmFSMWTOk`VAuD{JgNO__~@yCCFwOob`D@iBCEWKOY_rMOYOwXiBbeeMIYgwXjbbekMIZorxgB^eaMAZ?rxgbYe_LeZ_rHlbMeyKuX_txjBMeiKuX?qxbbHeKKiWgwxobBfCKQZWoXmbAewKAZooHoBAe}KEVgqHba~eKJyWgexKbBcsKQUguhZBWdgLeYOkxWbSdcLMXGjhWBJd]KiVwjX^AkdyImTCihSqfdLIUS_nH\AaduIMRwlxOAxdAJaR_lxNAwcyJeV_dh\AWduH]eOoxarC_`@IAKPwapEa|D}JkQGdPHcrHmRTOQ[TBHtSGfLNaYt?HnR{etLQ\svHzRWfdOQXSsIFRKgTJ@qsmFHMWdlMQFSwG^RgaDNaDt?GZR{`dAA]sIHxOcf\?aWSCHbOKd|?X~s?fzNq^tJ@{slFvQw^S|aWRwHbN[d{xqXSsFRRK\DIPxsjFjQg]dIPwRqHVNCdSzQRSgF\M{c{yaRSgFXMkc|EAMSVGvPcbTFQIS^GlPwalGqGsRHJPGcdGAAsFHDQC_tbA}t~j|VqnT]yeeIi]WepXRidEFiWWYhXaJBdFiQWYp@QIaEIkUSUgpaYtdnjYUyl`[J@ddkIU]o`XipdrjGVEkP[indxjAVak@\z@D\k?TyoHVIldsjiTempUijDPioTAixSiidhjSTMi`YHZqxdpJiVcmz\EjlWZmvHijSuflPYQslhjOeulCZauxgz\eOlqXEvPbzEEuloWyuxbZMeskuZUr`kzKEoksZIrHkZUeTkmYyqpjzHE]kgYAqXfySSehNQed\IiUSmhZQ}eDKZpe{nIZy{`nZkf\mo\}zptzmFUmu\QzPtZhf_mc]IyHwZpfMnI\A{`rzdvLmX[exTqJaf_mM]IwpwZaF]mC\}wXvZmF?ms[EzXnzBUFkPWep\ak?wBoD_A~|~kBfqoQ^R@@{{AFnoI^E}A@kAFkn[_Z?hz[CfjoO]j?xyZ{fens]a{x}J|ftny^]~`|kDGUoW`^@YEKHg^oiaFAaGKGG[oc`zAIF[FgXou_vBQBkSglpSanDAJKQgapMaRCqGx?qBcDPabLDyISUgjXEqDbzEUMkZ^a~T}ZyvvnlcXGEQC`XFQBbxGeNsaw|QFc@FUNC`WzQBb|FENS[w}PnbPFUNCYwzPlbPE}Lc[wtPpcLDuKCaxCP^cXEMQCXxFPde[WKoh_OF_R?akTXIpt^jBUAwdoz`V?mBZ~@UBKDwLo^_zMq][{HzrmfjNq\[yH{ryfNMq[KxHwrmfFMYZ[yhnrgezKy[KxHhrOfFLIZkrhnrOevHIW[dhbqSeJJq][oHzq}fjNiV[~HZqwfrLQUKuHYrUdfLQT[thVqkerIaX[hheqceRKIR{ghbrCdBHaX[fHeqYeRTw@GBODt]g~QAk\FIosUi~Pik\EIosQirPQjlCIltQgVTY`|TIEtWgJTq_|UiCtQf~TY_\TI?tEhvRyh\NIct?hjSIfLPIZsoi^RIiLJiesghFQYdlIiQue?]@CAWBoH_Pl@Y]tThZPUhl\YUuDgzUU`lXW}uDczVUPkPY]tTbZDUhkDXmotfzAU\khVuoDeY~UVjPVMmdXywTdjTV]lt]yuTxnPKMW{pXdrLeQ?c@WBOC_L?V^Y{\|JrvwnJ^i{|wj~vcnz[i|LzJfvKnV\q~\wJ~v]nz\i}ltj{vWnn^AyL{jivmmf[Q|LzJcvEnV]yv|oJxvAnbZMu|lZ]uzlrTMi|TYkt\iv_rFmCK_wMp~cZC]Fk`xCpB`bG]PkMxCovbrA]OKJw}oj_N?m?[BwJoRbZD]Jk\wwpZbBCmLKSwqpNfJHM\kexsqVdjK}Vktx[rReRI}Wkkx_qjczLm[KhxOr^gjOmaLFyEsZfbN}^L@xysBYMslg[ZwzprbFEmK|MYlt@ifRui|OYbsxi^Ruh\PYPtLhVSec|SYVtXhnTUe\eVfnJ]NK}Y{sxdrFeFXev\gZXu\lnYEt\fZVuXlNXEk\XZJt\k^YUo\jZDuhkNVUu\^Z\txlnXEl\dYxtlk^`EyM@zcwJmZ_}vm@zawNmB_m|l}zywBnb^}ylwzsv^mr]^EmC{Kw~ojbnBmK{QwjpBa}q\dzFx@qvcfK]P[nxLq~dVK]S[lwFo^_g?m^[r?LsJenL_A\@xo?Rfw?m]\Bxs?ZgN