CAT(1012,4)

Sparse6:

:~?Ns_@?A?CGOLo[`@@uB{FgK?X?tAgDCJ?Som@VBCDkJwWP?@tBmEcLWZOv`|BaFKNG^o|_H?]?kAGCoMA`?gHcAofoKa[?u@wTGe_E_`@IAKCWHoS_j@UACDGHOR_z@mB[FGMO^_~AACCFgNO\_H?U@SBWBOK_N?e@sAGDoNc[GqOS_xBQIcNGaPKaxAqLcHCIGcQGcpEaNCmGCOWapIaF@AAcCWHOT_fAEC[HGROa`J@]AsDwJoU_lJGMskoyPoDfFcUck_xQsBjFCUklOzprDlFkU{]`ZpwDlCwRsS@Nq[AfDGSCR@MpSDBIOH{TpPPTDFISIsRPLQZAbHgTkgPUQZD\HoTcfPUq]D\I{S[jpNqoDDISUKh@WqoD@GaOcax@QDcLG]Pc_xDQLcRE[QkcOtPdCfEsRKb_rPcCnEwQSd?uQNBPHWL[ZpKQOBRHcOS`@GQECdG{O{cPCQICjGkQ{d@EqBClGwPK`PHqKCpCKT[h__P@DLCGS{i_cPCDNI_H[PPSQhARIcHSPpTpEDTAkE{K?]Op@|AwFkI?YOh@jBWDSJ?[Ol@rA{F[Ko^oy@dDiJsUGpp\bDEAJ[WWnp[arQWcdIaSsfhYQaddHW}CYg}Fubg^iO`}bwPqcW^w}cXgoF}c?_INA@hCGEO@EwopXapDiJ{Vglp[bDDuK[WGuPmbPEYKcZWqpnbTE]LKYwwpqbfFAMs\GypvbvFaNS]W}p}b~FqOK_GUOq`VA}DCJWTOm`RBAE[KWAOD_Z?Y?{BgCOH_^?i@[BGKOW_r@iBKEgOoc`LAUCSGyQSdhPQec|JIUsehVQydTJxmR\e~MA[KvhpRbfHMU[{xjKEDkKXuqp`JCE]kQX}r`aZJeCksWUoxgJLeElAWarH`yvd}jKVymH^ysd~kEUyo@Xz?DgjSWElX_YueBkCVAl`_hddEiEKyW`NXac}eKR}WxOHcD@eQRqgOqiaBKiMK}ggrYKEIkUPep`EiOEQkYPmppFIMeNg{XAbxcYPeRhAXUcPdIQDqhKVMmhHySDuhQV]n@JyTdxhYVidp]yTD|hWVqch\IiCKiiOuipBincSimO}jHCIlCPgcTmaXVYIdWgmTqapVi?DqjyOYmpAyCDvgQVe_x]i}CDgAVM_P\IDDzjoOMmh@Ivb`fKUmZp[HpDpj[MUkoxHmDkfEUe[xYHndfjSMAZhZYiBgiiMeioyijbjioMqjGzYlBmiuM}j_{InbqfeTu]HVh]R?d~JyWSnX_qweFJeVSmx}CyfgRA]hKXzCqheN]e_}H{czhiNieo}x}cvf}Re^pMJJU_lBXaq|eZLUZkxXur|fkREMp_WuqAJ{WeSpMWiqYJZDggpSXFDpdZEGhpUXIpyJIqt_jBUEkTWiptcjHUMklWIgTMibTMhdQYdTGidSmhlR{^dGiQcAhQOYdhAiWcNGxSIehCqOTFFpRkbDNiecVHHSi_tDh~S]fdOI]tAiFRygdPhgRPenLaZSshhrSejLYZ[u[phmr]eVMYXkrhsrOfVMqWkshvrSffLY[[uhoroeRMQZKdXJSLcrPAR[fYIQ^dBIIbKhXRS\dVIacGZOw`tBmEcNGYo}`~B]FkM[IwRoh`BAuD{KwQob_~BEBjfiTsk[YxqclHfFm_hbQxqJciZsq[ixYfJgi\sg[qxielPhps{ezSA]\NhntAfBMah[zIermi^MQhKyigtQfbMYglNF]s}\~S@wLPfhtA]FSPwjpifnMiQ{qh\SfdnOia{ahksi@rCfjLA^KqHzs?enNqYkuiCr}eVNiXkriArEgVLa_{]H`pudjEYTkYHVpidbEQU[ZHZqwb^JiMKnGxpyd~KAMkhg]pEdBCQRkMHNqc`vCiT[gg`oscjBYRKdgco}cvIaGLDGVs_`fOqBkFiFsO`FPIClDgRsW`RAAb[KIPoig~PqDjzGAoA_u}y?{AFwnq_U~Q@j|gFnw_a~yBJ}gHoS_A~qA{^Fip}]nG@zK_fln[cI|yO{cFsn_cRGx{ZxHDqQ^VGp{{REypa[EvaIj\ghmIa}viIz^Gkl}avCxoJ`GmmEabE@pJ[F\l[\MtxtJXFTle\Yu`tzWFQmoZEzHlZlEulq\muxvLHYRshhVQud|MyWsvhfReejPKmlEq}sbKJQkplKrIszKzSKslYrUtJL}[eixkYmtbMM\JMxuk~ZJNM]jOx{lFfysmajWy?lNYbOlilBuksRYzO]MkkxGprcrFmPKUxQp~dRGMJkbwoqVbZI}KkfxYqFbRILxKIveon`a|MEjtvkoz]zB|{KOvqpF^RCl}KTvypN^ZDMVJex]m^eAyM[jpxamfeQyltkrvWrV\jLlvKsv_r^fAz|`JYuElnWavLaj\uKlzWyv|oJGvAkfXQwldjbuYmVXaxLZJ}tmn~VB?M?ixwCjj_Ym}AI{wIjv_qnl^kFuAofWBALYYntTx@T]jNHIlt`xPUMkfFyrtix^TrbmbMA{Is^hB_}cmC{KsjiJbNBlJ{OsrpJR]fMIy]wviBa}nMM{muJqrW^IlbzIxNqbWMsmWy}w~qJYMqMOzKxfqRX}mLtycujiZY}iLkyiuvirZmvlVyyvRmBUMklpyuvJjR[}z]}Zpvjm~]v_~?ZrvrnjpM~\~]LwFxB_N^mY|A{VrZnncMa{w{BsBpNMnA}QyRrro^QnE}MyNrzo~RMq|MzNvjj~SMs|azjtJl^TMu|Uz^vbkNUMw|Yzntrm^dNU}U|^xbuNenX}[|jxzu~gN[}y|FyRvnin`}g}ByZvw?na^F?H{bxW@ne^N}`|G?w?ni^Z?H|ZzN