CAT(1008,2)

Sparse6:

:~?No_@?A?CDOHOS_f@kBKEgKO[_v@uC_GWPoa`A@yC?GwP?^`eAUCcHgRog`RB{AkDwJOU_j@]FSMw[o}`zBqGSPG`pAaHCMFgNw__}`wCAEKKGXOl@~CCDsJo_Ou@vB_FKLo\Oj@fBODSJ?Ypt?Z?u@kBgFOM_^?}@{CGGOO_b@EAKGWPoa_p@eBSIgTok`TAqD[fpHQOcbHQQ[dXJqWclHeRSexKaUcsH]RWeHFQNcZHKPSdPEQSCVHcO{epCqYCPGQOs`XBQCcJFIM[\GxpsbdEqLkZgvppb`HCLCX`HQOBNHGLSc?sqPBVESQ[WpIpcChFUMs\wypvblFaNS]W|PxbpFqNk]w|p|bxFyOC^x@Q@cFG[OK_pCqGCDE{KkWowpcB`EwLSYouPlBRG?KCW_~p}BBCSPkbobqMALD}JsVWlAJauGiJ_bGj`_bCDaJGWWcAVaSHaHGdghpPadD?KsRosPMBNDOH[ROjPKAjPCMc[gxpnbbFAB[FWMOc`LAUGkPgbpIaRCaHsSGfsRGvPGbdEaGs^G\PsaDFaFrQehLMYkthjsbFDMKckwQQR\GhLkasvAIsFGfOSaLCaBS@GrN{bD?AJsMFrP?^\Bp|SbF`NGck{QQRJGrKga{qQKRFGxK_bSpaLqzGhJoasmaIs_DhQGUlGPZS\DXPwT\FpUsaC~QCSLG@OSGGVOg`lAQER_GDLw_cvq@r}EpNoZS~PkruFHMW^C|pqriEBMoWSyp_RPDzJ{X{s@^RtEHKS]c{p`rgDnM[VKyP[QpD\J?U[jpXQfEXIWXshPeqgDDIgS[h@Sq[FZHs\{f`vOC_L?U@C@wCoH_P?]@[BGDOJ_X?i@SBGDoF_R?aASDGHoS_f@IFsNW]O]`@@}D{JWVOl`^AyECKgWoo`dBEEsMGZot`fBQYStHhrTenLYZCuhkrZezLqZ{wHnR`fFMI_l@yBRxfvNi[cxhqrffRMaWCoh_rBeJKQXCpxbQvdpJeVSmx]Q^dBIAScghPq[c|HuRcfhMvTN@\O{TtbovbMV[s{lxBeVDN@[[{TpbovAMJ[Ow|orbUxMtZkzdmblvbLj]SudxBXvNLTYoyDrbTutLVYou\lBTVMLH\?strrQucMPYWxThRcvALFYCwdgb`vYK|\osDurNupL@ZGr|kBNUVMhXWyttRIv^Kf\wqdvRHUlKhY{qTjbHuKk\WuplbJFUEkPW]pLazDUCMn\coluB@u@MBWGv|_B_UBLxWSvt`B]t|LlZ_n|lq~UfKRWktDiRDU\JzXkn|fA~UWKNXcotebCU@KbWGqD_BFufH^YceLiAWUXHZQorTeAVTvMbV_yT]RhulJbY{m\jaxTlMzUkz|ZBnTiMb\KlDsasuoJJZGktkQrtcJtUGn\Wq}TXL~TkwLUb_TUMPT_xTTrctSMZTSx\SreTyI`VkiT^AgtLKjX[h|dafTIKvSorlQrMU{IHZwgtnQat@Mn\cg\uA`U`HlYGe|LRPuNHdROqLKrGUxHVQgv\IR\UvHNQ_vDHbZT[JhVWjt\Qms}INScgDNqcTnHxV?flZa\t`HrU?fTVq[YDB@EIKKWwqpcbLEaK{YWtpibXEuLsTWjPSaVCqHlJIVSlh`Q}eM^tFY@S`g@P}]TAxzSNfhOueCwXqSnhdMMaCtYIRXgdL]dCnYUR@hTJ}`clx\SJdpO}bCkyLQtglJEdsfxPSrh`IEPdDxGSXc\PmOdGyRQ@cDQUaC]yIP~gdFubc\W{S`blP}MTMy^PnhxFEKTMWrSvbHRUFTLw]Sx`pRUFtMy^P@hxCL~tAYBO@^xOUdbzYSNnhS}mcrxvsSd^HQM`BuvmSDgK|eYCjxhQje\IuQcpxJRBcdKTxc`vfQH]`GmScYXSPldLEm[sVWoRjfPD}Is}X}PZftDeHc{WfRnaTMuEsIWTOr`hA]BsSwiOZa`@uAcJWKOp_lA}@CqWERL_TKmAC@WHOB_\?\}sPV|PH^pC\}cfVxQXcs~DzsGVpOd^@ALySuxmNV]hL{@GBOD_H?Y?m_|AYAg\O}aCMW\oy_r@iBCnX^q}d\I}UChXRqedPIiTMDkKWVor`jB]FKMw]o~aFCFJuH{lWhqxaVDET[QXXpLd^BuX{OXhpDenBEW[MXdoteMgEO{bTDqHSNDUD{VWRohavBeC[LWLop_~?uW[DXboPeVBt}{PV~p@^vHT}ZyXLqP^]xEYZaXjmLe^DTnz`Wlm@a}vENZ]X@ltb~Edl[WUvpdZNEDhzTWtpdYfFDg[\UdplYMrUTZNXXkxd]qeUzKX^kldvHDb{eURqTXEpENZEX@kTb}muO{aTzqLVfITXYsXPq\U]jELylWzixbeiURyjXRihdE|d{zvVjn`]e{U?[AVfoD]UtttZWVPlX\MmDqyyVNjd[ulT_yvUFjXWUjt^Z?Tbj|UEytRZlTPmpS}zdPzoTJm|Sf_e`\C[FsLoN]u~\{[@vtn~]fB]DZpvdofZEp|dZ\uPln`uo}HZDw`kF[Un\nY~v@jnUey|[ZntlmvdUi}RYlxPifSUx\QZftLmfcEd}QYZxDhfQek\XYRs`i~Rea|OYNs|gvYU^|jYBuhgFXe]{{ZPu\fvMVE{z[^rhpvaeZ[w[Xwle~dfZ}w[px\vNjVW]k\\ylt~kfT]p\Ry`u^hf^}f\|ztsngf`}b]HyPwngV\}^\tzpsFfF_]]]DxtwNlFK}Z\lzTrVtVl~\]n|Xzfrvb^G]b{\yFrFk^M]t{tzNsfc~S]V|LxVv_?nf~Q}??^yFn_A_A}D{c?fpne_E}H{n