CAT(1012,2)
Sparse6:
:~?Ns_@?A?CUoipOa^DeISSwlPSapDYI{SWx`hBTEkLcZOsPmB^F?K{[OxPCAQCiHoPOdpKAYCMGoPocQ?@]BAEGKwV?q`wB}FgNgZ?t`qBmFOLGZ_wcECGOcOPAaGcKG[GC^O~@~c?GCOSUo}`^awFsJsWoq@}bKDsN{W_~`_bIFwKKXos?gbYAsLKJ?w@kb[EgDSIov`qbaAcL[RwhpQa`DEIcTWjPVarDiJCFgQo\_xA]CCFwOoe`DAMCcC?coVAVCwBSQOHoUA\@CH[R?KpL?vCgAcDOeoQATCoBCBOBoM?J?w@CBoBoJ?H?g?cA_AoN?L?k@KB?BOK?P?s@Kw_Zou`pBmF{MgYOt`rBqFkNgYoy`lBqFkLG^O~`vBeFCLw`pBaHCUGcPWbPEaNCaHCPwTog`PAmDkIWTOh`XAuDcIggPQafDQIkRwkPYanDEIsUWrpjb`E}LK[gsPpbZEyLcYgOob`J@uCcFwMO_`LA]BsGgAOD_N?e?sAGMO\_|@}CCGgQOd`FA]CKHgGOQ_f@UAKDGJOZ_n@aBKEgGOP_n@aAkCgIOR_v@YBSEWDoK_T?u@{BhrCqfOQqegyYXbkhgMidOwhtcphUMMdgzYVBcfMQ}e?xYiD`jATyihWIkDcimUIipWyqd\i}UUk@UYpDYjGTmkXVINC{g}RufpGI^c`i?QId@PY_cbhQS]gPHI`cfiKQYg`HYSDKiUQIbxSYRDQhGSahHGydC`g{Suc@RigCfhQTMhxHXwcQgeNQa_|YJBofkPq]XDXxCVgoNabGzxvCYgyNe]xEyHDGiQPMhPDIdcTiWPYhhDyfCWi]PeiHEygCYgyTMiPFHxCLfaPE_w}YCBvgUMy`_zxwCEfgOy]hBxxcHgSNa]pCHmBcfQLY\OwHobkfYLe[wuhsBVfKLaZWyxmbae{MUZwwyZbNecRafOrXiCzeiReYXLiZBMhmKmY@MheCzeaRaXPMYiBIegTqXXUyibLioKyiorxgDViqKqYHUhhD\i}LUYXVhoCBe}OA_?uXmc@euOEZ`@XnCDekOI_OuhocBemOQZ@@ITA}hUJ}d_oIUb@h[KIdwoyWbCeIRAWpKhbctheKae_qXXc{dgRufolY^aui?J]gGmI`AxdsSMUPPH\dDdyS]V`Ph~Amf{IaU?~xWb~dQNiTw~XRbydKNmT_}x}AifwIm^gjXLCEgMHm`?fICa\gSHy`WfyEA_gYIEShCYFAadGO}a?gxgRSedKyX[rHdRLe^LMYksXmr`elLqZstxkRYe~Le[CuxRQfdPI}TkiXVQodVIqUKihLQZd@HuRchXNQ^dBIIS[hGWOn`bBMDsKgVop`\BAE[Kg_P@aDCIGCOWmP`avD}KcWGmpda|EYK[Wg{PrbhFUM{\k|HhRbehMuYsvXkR^etME[ctXhRrfPLeYszxgRffTLmYC{W}QXb|HmTCaXGQjc@HuSc_xAQ^cLIESSaxHQVc\I]PcdXSPnbHHUKsdwsQXbTHuLcgXQPpdLFMRS\W{QjblIMNSfwfQ|a`J}VCSwiRDalK]JCqX\P\eTD}KCrXfPbeDDmHcoW[Qnd\CMHSkwaQvaLJ]EcjWZQl`tJUFckXYPH`|JEGCkxrOP_dM}Zc@XnOF_PME\CEwIRrf`@]@SwxqOLfT@e@szX[Nlds}}Vb{VxQ~^hKD}sov{RD^tKd~cqxfOB^|Ku?CpweMd\TD}KRmwgMfakyeJBjWlMn\`C|uSVWoMt\lDTvCSw}MLb{w}ORcxAMT[lGdqCax?MX[xHDrS`xEM^ccyMPrgW|MJbGvTos[WrLvbOvdnSZu~Pr[@FUMr_vAPxbSvtpCZUwRlYxLtjsvuoR`ZHMM[rWxqLffOue\RYuvRnZdNM]BZW\Kd`gq]FbDUJO~WpCDbSOwbKj`kqMHRIW[K^X@CdbcPUlNRYk{TiBoUaM|YK|DhBnufNB]KslxBRUkNL][tLxRTUUNTX[|\{rNVnK~Xo}leBuUXNZ]wrTgRyVoL@^Crl{bLteJ|U[n|_AsU@JRUgoTYr@tkKHUsolZbBTnKNVCpL[BCTrO\_{md\SGTuObV`A\\sHT|OrVdAd[cJtzOp`Snd]cJYuWlp\U~ED[[XTrphVVEt\{[TxptVnFd^Y~W~kDcMoEO[nWhqx`VKED{KXboteVBeX{NXhp@enCUZ[QXnrdanMEHzkUXkH[uztaZBVNmtXErTwzDVPn@XMpdszFVTkh\uytd{aTTqtUnGtT{cTXqTTmlEU[eT\q\T~IDW[hTbjHd^IdXzuTFh|^mfdxYhVvi@]]gTyYaVjn\Se}DQzxTLnpS}}dSZMSdhLX}tdMYSU`l`RmdTgyUUdh\Y]eDiZTSrldRUttLz}SLn|O}aE?[@SRoHPV?tD{CSXoTPn@dF[FS^odQNADGZYRtllN]^tmY?UzfxZu_Tnz_SDmDO]wdAzbSHmTNe^Tq]EYJrhoVMv@{{[HwTfn`u^]GX~wdgFae_}JYDsLpnPFE\iZlvpmf[E|||Zjulm~[U~\kZpvHoN[v?\nZ~uxnN]eu|eYjtHjvSun|SZ@u\jnTeo|YZRt\kVUEp|XZHuTjfUus\E[\s\p~cEc]PYRxHhVcud}SYXxThnRfJ\N[ntDrNSFK^H\@xlw~pVQ}\]Bxxv~gV`]^]LxpxFgva^?\D{LsfnfL]e\dy\u^iFY]h\jyhuvivZ}k\pytvNjf\]n\vzDvnnFW^I]l{ly~rFk^L]r{xzVrvl~O]x|tyNsfn^T^B|P{Fsvno@^C}M?RxFqoB^K}^|ByO?~i?C}v|W?vu^