CAT(1008,7)

Sparse6:

:~?No_@?A?CBOAOD_N?Y@CAWDOJ_XAOAsDwLoY_p@eCOFGP_\`AAMC?GwP?^`C@yHOKwXOt`hB]EsMW[Oz`tBuFcKwXOt`hBYE{MG[oy`vBuFcKWWOo`bBEEC\?j`bbCDYKOUWk@bbIDmK_Ugr``bKEAKwVwr@]bIDqK_VWg_}a_B}GWSw`@QaYCeH_QGb`JaKCiG_TWa`SaACyHwOHQ?c`JAYC{IWSOj`ZAqD{JgTO}`~CEGCOw`PHaPC]GsPGaqLcXGuPcbxFQNc\HEQCcHGqWcrHmRSfHMq]c~IIS[gHOqpDXJ?T[j@[qjDpIgUkl@TQvD\JWTkkpUqqD\I{V[jp\QdDFISSSh@NQcC~HcS{h`KQZDNHgSsfPSq[DPIcSKi@OPhbPEiL[ZWuPnb\FIM[[WwQ?CnHWOKa@HqQCRG[Q[``HQDCjGOQcdP@QBChGkQ{a`JPtDnFOUs\p[puDpFcUc]@YqrBzJGNckO|qoBtJkN{m_~OT_h@UAcCwHoL_\@A@{BWFOQ_b@IAKCGFoU_l@aBKEWKOY_v@]A{EwLO\_zAECCFwNO]_~@qBcGWOQKcZG}PscXGQVclHMQSdXIQXcpHmRSfXMQ^c|IMSSgHOor`dBUEcLwZOx`pBmFSNW]PhbPEmLS[wxPpb`EuLcZwvPhbPEmLS[wxPmb^EuLc[WwTjIfUgiTZqltmItTcmDUAwtUJfT[mTTAutTJXTsmd\QmSnI|T{dtWQZT_HnRSktLArtdHdRKkdWaWTbHbRclDMAsstINROgtQQZsuIPRKh|RaXTLHbSoeDQqVtIH\R_iLMQgTjHFUgcTIqusiJXQcm\IAxTpHNV?ctZaQtnHHVSdlJAySVHvPWfTEQ\sWHtPkflEa]S\HxPoflNaNS~G~RwcLNqOQ|IfJoiTUp`tYEDT[WLT`_TTD~TOVspQkTXEHK[jkpamTLGJSo_dQQEsKIPSg`TQqDsHINO_gt@qftMGLOwiLSAFrxHJN_cd?QPs?HDQc^|I@~R|HNNoctIp|SiFvQs_\JA@T?FXSC\lOPvt?F\NCg\O`wRrIHNGgk|aaRvIJNOgS|Q`rHGbK_aDDPdSSEVPSXlD@eSRE^PGXssqGrQG`L?a\C`gtbFJUG[cyqqriJHMKk{warR_JPMClLVprreI|UC\LW@sRZG~PwZTGPks_EpPsY{taMR^GvLwbSvAKr\GpLSa{tAJOC_J?Q?k@gBoH_P?Y?{AWCOI_X?m@cAwDOc`RAaC{HgQpJaTCuHcRgfpPa`DMISTWiPValDeJCUwlP\axEAKKVwnO~`|CEGCOw`PDaHC]GsQGcq|dxJ}VsoX_RBeDKUWcpxbRlfXM}\s{XwRrfdNU]c|hzrHePKmXSrXeRNe\LIY[sXgXuRecJMQO{yhLrgcrMQQ{xhIrccbMYQ[bhtqKfRMiPKyHDq}anJqIkYh`pgeBEYX[XHcpaeNEAWkVhZp[djJiJ[mGkqg`zIiF{QhNq[aRIIGkPhOqeaBIQG[RhVpKdZDIUKSHXo}b^BqLkQgzpGbjFiG{]GapAbfCAMKRg}pKb~DIO[SH?oofFBA[KLHfoqeZBQY[sGXowenBYYkMHlouerBiZ{Mhmocb~AQNkIGvoebZFiDk]GTpu`RAYMkIgxokbbGAD{_gVoKZN?xkkGezo_ZivIBkFewlm_r@hlkDetoSZR@Hn[CE{nuem~QYkug@rW_BLH~{sF}rM^u~aXkvgBr[_J?i[[AHon]dU|qTKgfrncdBIX{[hFonic}}aRkjfvqk^Y~IU[kFwpU\^DPtjkgkmoavEPuzlGrpa]FE@wJmgtmwbQzyJznGmrM\IyYXktFPm_enL@rzfHhmYevL`rKvfJr[[iyi[ZiHooMZ~?pnkFfFmK_ywiAZaGGmE`EwQCKEf@oW[AxIAzcGIq}W~JpbjJhdkkeQqiUzIHYrEXNKPckoEPk_eFJhe[mEWkEcUoQPJDhLqWWjHHa[cEGqUW^HP`jAhBkGcJGxb[bEKl]XmtpejPejlCYisHiZSE_lMX}spfjUe\lWXqshkZQEojm]mmpyjpd~j{]I{h^ZqD{nMVm{p]i{fhjo]aoHzJ?Flt}rVeanmWjGx_kfdyp}VJEuIqnWbIl`kruCrJdio\_KkuUlvXQvLgJZuslFZIr|kJMumkvYqrLhj]ucl~Yiw\oJStiqVUbHMPizxCjjVJH|[Ketmp~UrFmSirxOjJVjG\]K_tQnn^QiM?ijtSoB_Yj]@Ikt]nvTq~LWj~t_nz_ih}AIewmhnRRDlOkTt?pRRzF\NK[wqhvbAfMLibwsiJSjC|QKQwMg~_qblIkPsgpBQZA]CIQw[hF`ycMEiVwWhZRJA|KKIvmgv]qbLDjpsSnBPI{|CJqsMnVOq|LviDv[gR^I_|{IAvYf^\a\l?jhs?mb\Y^{~JirymV[a^LrhzvKfj[Y]\pHw{MvNor[m}l~zwvznZa]|MG{EvfoR]N?lv{?vZoj\]yMCyyr^jbLmql?zGsFjzN}nK}xyuNfbWmlKyyurnfJWM[L`y]vFhr[MkllzWtblRT}tlUzKtVkzTMhLgyeuflzS]gLmyEwnpROnGlH{_sbgzb]bMKyIxVgbdNHlJ{csjprR]eMN{kyzqzj~OMw|AzfuJf~NMo{yzNrbknLmv|kxjuje^YMW|wyNvjgn^ml|{yrtZm~TMy|Q{VtBpNRn@|K{BwZh^`Mc}M|vwrvNinP}g|Byzr~jNM}e{vyRrNdnZ}S|jxJu^cNW_A}H{^yO@nf~O?H{vvo@Nd}{?L{c?VoN`