CAT(448,3)
Lcf code:
[-57,-135,-31,-123,185,-17,-165,-69,123,165,29,-85,61,151,189,121,-97,-61,-77,-123,13,-185,169,-169,-121,189,-41,31,121,175,73,97,-149,-13,135,-189,-175,-121,85,-29,173,41,-161,179,17,-173,-189,-73,123,161,69,149,-151,77,-179,57]^8
Sparse6:
:~?F?_A?G?`cC?P@MDOQ@QD_V@aBgM_uBwN_u@wG_eAGH_]BGI_mBGI_mEGW`YDgV`]O?L_}BgG_e@wK_mAgC_Q@WE_Y@WD_Y@HuDcTHWDIU`RdsTXVDmV@UdkVxWDyV@`eGUX\EAWpYeSVhhEEXp^eOWHbEaW`eecYxeEiZ`ce[ZHnEUZPgeO[HdFEX`qe[[xhFUY@scwZHnCeY`JcgYxlCuR@md?\XoDESPrc{[XNFQS@qcKSxCDYP@Sd[PXDDUOpQcWSxGDYTpFc[ShGDUP`SbgVg}D}W_{bsWHbB}Mp`bsZHmByZOybkYhnB}N@jb[RWvCeM@IcwMXKBeM@Jd_KxZBIJ`YdcJwoDqKP\ao\WlFE[?hfGIHrAiIpscCHxAAQH`?aKOHAAIOOd`oLG_BQFOtbWFwu@yGOtbQLgtbaMWvbiNW{b}NgzayJwpbAKwq`yFG^`uGW_aIGwcaUHweaaIWiamJWk`ACgP`UCwS`ACWQ`MDWSlo|J]NUvrumC|z_NevRwm_vz\MevBim?zZ]Mqyr`o?\k@F]]CAfd?xzOU]cCo?qjKOR?rLoSr{AKz?RJmWpjaKQpRbk[xJfKeqBdm_njhJ}yb?mkoZlKMzBAjs}j{Jemb~j_}y{Nymr|jGwirMMlBdmWlZfJ]lbcj?tjUIyjBWl_jYnL]kRViWuYfLiuqjlkiIiLeiRYn{^X{Ni~a@ns^y?Nm~@}g_ziHM}abonCazrGu{aKhG|iMNQbrthC|yRNecBwhOziTM}dbonCeJrH]eRqgKgICIEgaAiS`YcG]`abl?ejSH}erQhoszPHufbTpTS[STBDdRpHRkVS~CtQu@Ol`SNWdCuTPlcS^WtDr`Vl^RnMTYrXU{vTvMd[qlKKkRFIcqrLJ[tQ~LCmtPHLTQVTcet\H{hTfIDWpxEK^PfGCYqLFK\QFGcZotNKMRvNcNr|CL@PFOCKspA{HSvQSIoXQKFSnADIwPcMHXV`UPw`dMEXN`uQw@b]BWzbD}wl^}AWj_UNvp\LwVJ\dyvd[|tVn\t|upXllU^Zdgu|Y\jVFYdoxXgmVYNeEcxdh]ZY^eeexpiM\Yffeix|i}`YvjE__Djes_Hjut_LkEuz[?upzc?erz_?Uq