CAT(1008,3)

Sparse6:

:~?No_@?A?CAoAOC_H@W@CAgCoE?b?WAS@_HoM_`?}?k@WAoG_T?eCoEwKoY`]@aA{Dg[_w@jB[FCL_[O~@UAqDoIWU_i`]BIEGLGW?raOBUE{Lgf?e`PA]IwSWhPRaDCQG[NG^O|a@B}GKMOhOzAbBgI[POdPFAPCWHKROfPNAVCoICZolP[avEiL[YWppcbJD]JCUWm``a}EAKOVgs@TbMDYKoTGUOm`ZGwO{`hAqDcNGYOS_x?q@cDGML{[GwpwbtFeOo\XB`vcIFYM[\GxPmCHEsOc`?uPzB|FsOC^?~od`JAUBsFGMo^`BAAVoGgQObeGDII[SWapEaNCaHKQgfPOa^BqFsNW]O}`zE}MC[WyPqbfEyLkZHsBUepL]YGwHhB`e_L}YWwXib_egL}YWwhiBceiMMZorXmBNeyKyW{qXcREEtLkWcpPkq}e@J}WKox`QzFHJo[SnPpr[EBLwW[vP`QyEbLGVCs@[rJDnJWXcq`YrFDXKcTsq@UqyDdJOVKkp[QzDbI{Vck@]r^CZMCP[w@EQIDlGcUka@ZqhErLkT[i`lQnDLJ?TCkPRrbDFIS[ch@pRUD@L_SStpOrDCzKWR{f`aQYETHoXcepdqqCpHcUckpJq}ClK?QknpIQPEZHKX{c`fQMDXH?TsbpUoJ_X?uASCWHoL_V?qAKCwHOT_j@U@CAgCoN_`?y@sCGFoS_h@QEkLwZOn`bBAESKwYOs`fBIDcJgUoh`VAiCsIGRqtdnJYVCmh[q{dzJmJkVwnP_bDEEJKTwkPTahDYIcTgiqGcTGePKahCQKcZGmPkaxEQbdHIURsfxMqYcxHmQcdhIqVcpHePsbxGQPcfHIwPhrSueLVY_tTgb^ucMBYKwDgR^U|K~ZosDmRNUzKxZgrleRZUwKtZ[r\dbYUWLfX[ulkbIuqKfZGqdfBHu]KjXsqdgbFUcK^Wss\`rXuGLhWculbRCuMKNW{pDkA|upJzY{ndjQ|UmJpYonLda{UWJtX[nL\RUTvL\VWtlmAxUvJhVKutZBStmLVUstTYrGuQJRUgqDYa}TjJzVklLWB[taLvUCvTVRNt^LBTwsDWqmtcI|T{klcamUOItXCj\`QluEIxWOjTZAktWJ\T[llTRSTULNTOstTRWtUL^TOuDSbTtPLRYgi\jqgTMLbZ?h|QrXtKLjSsudnagu{IfZsiTQr]TLL|SovlRb^tOMBS{wD`AcTIKLScol_QauBINWGgtOqvtCJbSGmDNqrT@JPS?k|Wq`tCJJSGkczQcTIFXSc\\WA[taHvUCfTjaZUkHpYse|Kq~U?HjROn|KBDUKHdWkeLmQUuyH^ZkdtJAwsjJ^QgmD\qRshJlQ_mlhaQUgHJY[ct_qPuAHBWCcTFbZUwH@Z[b|Eq]S\H|Pofl_AKSYJ|Pcn|DqksTIpT[atCAySNJdVKaLBAsSMJNOsktAQasJINOggs{RQrrLJNGsk~Q^r~IBNwgD?a]S}G@OCfleP|R{KvXg^\apzUKFjNOpTnpqrfMBMWwD?qBSGGJO[_c}PvrwF`N[\tC`sSSFTPK\K@wBoF`FAQCSFwOo__x@uBsDwKOUaXCuH[RWdpKbrFiNC~h}r~gBOI_C|x{rwfPMi\KxxrRdfLM][midJyhSrilREdTDySSXhXPm_tQYCTJgHS]`DMYBStgHR]^dPx|THiTNeYDFxfS`edPuUDRxYTPddSugCiyaQniDIuSdAxRSLdPO}RDRXMTPctS}QTHYRQTclQMPdOXFTBc`SUecVWoSxhlD}HTDwfSZaXPeFDGyRO|`tQUEtCyIOr`hPECDMy^OdhxAMbcJYNOnh@BEdBxYUNfhS}eaBwvnSR^@PTwdBv_SLgS{MirnyiMzicztudMy^Mxhwz\pTKyVMN[XRE\T?xsR~fLOEVczX_Rpd|M}Yclx\RXdpL]WS\W{RFblKUGcfwbQ`dDCeKSHwrOjbHAeFsDW`OXa@@]@C`wEQJ_TGeLC?wuOFbT?UNR~w~O@bw~t}sEwNNz^p@t}c[vxPnb_~D|SUwkNnak}u[buvmRb]pMEIBtWhNRag|\xcuvgR^]\LtwsqVcRJ]TKu]RjvXRv\`NTsRiVRMj\GytrcBvOOR[|@DobevCMX[Kx]OBcxAMT[`GKIgToheBKMWSUwmPYx_rZfBK]XKvxqqjfZJM\KjworrbRNmKk|wCrvfr?M?k{var^fA{|xKuxqlRfQs|ikzwQnR]rAlykJwWnj`q~MEjzvYn~\a~\tj}wamj`yy]GJgvmmV^Ix|{JevCrN[bL\pkswul~[JF\oK[uwqFcYvmPJ\xKlncaumQjXukpzZBGLjk^xMlFYBIMSjQuGk^Wqq\ajGuApVayol`kUv[jzVy{L_JnwKjn`An]Bi{topJVRDL[kRtikvUyr|ZJMuSjJUarLdirxYi~dyk]VIowEir_ijmAIlaJC]Gs\WzPvbXEyLnbe{|w[^vhpndEz}TZjxLmvcUr}OZLxHlFWFE|a[^uDpvUvI|[[fthqfcei]PYlx@in`v?}H[Fw`oV[fA]EZhwTm^Zu||pZzv@nf^es}?ZVv|lVRem|OY~s|jvQup|dYZuPhfSUc\RYTtHhNPVD\F[XsXp^ZE`\CZ\sLlnNuj|XYBs@jFif[]g\nydvNnVU]}\Vz|tnlFQ}f\lyXunkVP]r\HzHs^gF_}`]Dx|wFfFV]]\`xtt~eva~B[t{PrNdf\]{[px\v^uvb^\]P{\zfsfi~S]n|LyvuFf~Y]b|dyFqVe^J]\{hxk?fqNf~Q?D{vy?@nd}{?D{Nw?@nb}}?H{V