CAT(1008,4)

Sparse6:

:~?No_@?A?CBOEOI_V?u@kBgFoM_^@AAcCWIoQ_f@WBKDoKOY?vAkBkFGNOs@FAQB{GWOOa`YA]DWIGT_e`WAUDgIgU?haWCQGkPWapCaHB[GCL__p@@rCCEkM?_OsA@BqF[NW^o}`tCGECO_XPB@bCKE[OoVpA@\EgKcXWrPfbREaJsWGnpbbBEIJCUwkpYazDqK_SWe`daWEYI?Xwf`ha[EaGoSgb`TaQDYIwQGi@JaeCiPo@GCoG_L?U?{doAOG_J?]@K@hP_C_J?Y?{AWCPdbLEeKcYGroY_l@aA{EwKoh`JAiCsIGRof`PAiCkHgSpXatDmJcVWkPMaXCuICRwgpEaTC]HCQwcpEaPCiG{QWdr^EfLQYstxkRTd{KEVwox\bAe?KQWonXaa{dRIiT[jHVQlcTGePCaHDQHc^GyQCcXHqQcpHeRSdxMQZeYIMS_rxgAddMKyYOiHgaeemIERwthiA]cyLUYWghOBWeOH]RWqXKbFeSHaR_rHLBJc}KISGoxOB@dCKQWofhaa\cgJYUgdX\AUckJaQgmXIAvc_KAPwmx]ARc[JuQOnhGa~d]IMT?lHQAodIJESwkxRAqdSGmTWbXUAKcYIyPWjXSaKb_JUMGlgxAvbeJaVO\WyAxcKJQU?_hWaFcGJIOgkx@anbyKuNorg~bNe_GAYO_Xg`{eMFYN?qHc`vbqKqNOqg|bJbTEqL[ZwupmimGaPSaXDqLcXHYQcdXMq]c~IESSgGDOK_V?q@SAwGoT_`@IA[DG[os`jBaE{LgVom``BIE[KWXOm``BEE[JwwPtbdFQMK[wzpubpFmNK]gupmbTEmL{ZJVEaLVYOtThRSueLPYss|jBPuUKdXgq\eRGuZKhX[qleBGURLVYsqlcRSUkKdYcqdcBTUJL@WordbbNU\KTYCp|bRNuCKxYCpL`ROUFKzW_r|`bNU?j~WEoT_y~UCJdWSm\`ayTtKNV[pL\bCU`J^VCsDZBMToK~UwrlZRNUUJLUgrTdqsUWJNUkr\eQsteJ|U[n|_Qsu?JPUko\Yb@T^LFYWjlhqmuaI|YOjtVrQtdIfUOiTTQptSJDU?itWQgtTIxTOjdTaltYIbTgi\UqhRrKtNCqtdpyUXFjNGrC|bLtLIpSki|TqfTWI^TciDRAktBJ^SOmDNquT?J\SCmLZQ`TaHvU?fLWQ\TcHxRwklWq]sfKTQcp|IBDsiKZWwddbATtxHJV_cLGa|SbJvVsctHA}STJfV[at\aJsWJdVSbTEQySQJvVoaLCq|T|G`POnD]QFufGHO_sdhQ@uaGJO[stgqBR^LPM?tKxBTRaLVYs[\j@osrHZROdtLQVsuH`R_eTLqWrwIPN[gk~AdRxILSc^TPp|sHGvOgbdFqDs_GXPw`tFQErjFJMW\cxpurgF\Mg]CyPvr|ErNwZSup~r[G@Lw_SvQ?tPidTMidTiio^`BAICCHGPo^`@AEC[HGPRqffNE]c|hytJi^SyhlSIeRvfvNa^K~H|R|f|N}_D?i?rmfVMq\k{HvrYerLyZcuxmr\e|LqZ[uXlYYSigNOId|II?sqgVQq`L@IWrkhfQa\|JhwrghVRA][yiUrofjMy]{{h{ryfRNy\[~HusWe~Pi[LFHms]fFMYcKxIPrOhJLQclHhhseevLYclHhksgeJQiW|JHcsmeVKye\KHeqwcjJyR{mhJq{crKIR[oHMqwbzKIO{mg~r?cFJqOknh?qkarIyJ[kGmqqa~EIU{WHYogezMQD[xgUome~MAE[KHpoOgF@Y`\?GKoQgJOaB[DIBnwfi~i]z~H{ry^~Ny?[~G?nuhBP`|lEfvs]^a~Ibj|IPn[e^KPykpfjrI]u|aXjvhcsQ\ExyalCFOmYgmxq`jeIFmKdYwyTzcHWmQdexYUzdHYlsgZP@nJ]iFsQZ~PXm|DE}rOYzLHj{tEorUZFL`kzXHlpkZREPlZ[gvpeZYvALJZgtpKcRCyP[bGgqMafHII{cGip?_JCI?{AGaoIaNCi@{BGcn_dBIH{[hFqqe^NI`|[ifsoe]e{aBkHFfo]]VA@yKGfeos\zBhwKNFanE`~B`w[Lf^mobazIMZlGypy\rFXv[]FZmI\Yw`tzhF?me[EwXtJ`FTm`[qxlrjgvNxulnYrLljkvxolbfQu][jYu_rZYjMM[jQuar^fYs}\JSwijzWRDMJj?uApZWZC|^kQwKqj_zI}CKkxYofdzA}VKIwomzbIz}LJowunFbi{}MJqxGmbciy]RJivUq^\jI\uKgxelveAvMWj]xcl~[JL\oKsuQqFWbFlak^uKqBcYqMPJFtonzVI~||Iyvujn^in\}I{vCjJ[Yk|YJctimVUyx|ZJewWir`ij]FImw]i~aIk]GIotOoB_Iim@IjwEi^_ihlSkCt?nRSI|\zIavmiN^Ih\{IcuShjXYe|eI[uYhvRyr|NJMe~MA[KwhqRb{_vfqj]M|MSzuxFqR^]}MRy]xVhrcNGlO{ctFqZS}hMSzgwrmRamxmJziwvmzb}zMM{MuzmJa]uMCz]wboj[NBLlzKvzkz^}sM?zQwFlZ_}tMAyOtRhJT]dLUyUt^jJR]eLWz?sJgZW]qlFyGuJkbPmalbysrrjZN]mK}yyr~jzO]nL?}EyNszo^_Ma}GyVsbp^RNA|OzjtJm~^mk|wyjvjj^^Mj{{y~sJkNMMm|ax~uRf^Xm_|gxZujd~[MY|kxbrZm^ZmX}o{Zwzu^cNY}Q|nzjq~dN[}c{ryZr^iNM}i{~yzs^jNO}{?D{c?Vnnd_C}@{s?vonf~Q?L{^y?@Na