CAT(448,3)
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