CAT(448,1)
Sparse6:
:~?F?_A?G?`[C?G_gBgN?eAoM_sCGK?}J?G_eAgK_uAwM`ABwb@yHO\aOFw_@uG_]aCFwaAYG?gaCHwbAiIodaOIWsbMKgsbMKgpAaJofb?HgkAeJ_iakJWW`eDw[`iEwk@MJ_QasCWTA}D_pb?DH^@yFw\aiIwhaaHgf`QDgT`ICwP`QDgT`ECwQ_U@gF_U@wE_U@wEgS_ptfO_huGE]Q?f_^h~F]ZaCgO[ICE}[Q@gK[xqGIWxaeQXhfeUWH`d}WX_d}]`\foVHzDy]`[foVhzDuUPjdkZHlDiUPhdgYhZEa_OtgKLwuGIMa?b_^wxFyTA?dK^x}DUU@|d[^X|DYRpgcsYXMEiS`kesSHPEm]?}fcOG~F][_{fKNXpBmR@ufOQhtCmZ`Ff?QXnCaW`BcGXH@EMXPEcOXxDEYs@\dyVHLc}RhOdISYDLM`rTgWtIGK}abLgcriqLYlBWjKtynLAkRQj?sZRIqtAllSjjPImsahl?iiJLataLl[bIMKycBLg{rywKQmbEkSmY}JUoAvj{ljFIMhRHiOqIeKiiBKi[qy_KEgbBiCoizHynQ^jofYXHIcqVhCeI[HQeaUhkdZvLeurxn_ujmOZABoo[zzjNi~Bkms}z|Ma~bhn{yjfNM{bdmW{[?MJ?bcoCwz_NY|B`l{|Z\OUvcBlp@KJPjAcXodEKQPzDC_pLF{\PFBs[p@E{TOrDsMpXB[iQ^ISkq`I{`QRGseqHHXXdmUgH_iAGL_qA{tRZLCwrLL{rRnLCxrTMklRfJszqxMkuRBMCqr\KW_aIGWdaQGzLk}riPhMciShUdlUtRT\PtNSlMSbQTOshR|JSzRTOspR|PRrNdRtHN\JSVRTFspPlTSFNtUtPOLHSJQdCsLQHCcYPX@cMOlmVBZDputZ|qUfYtsuh[|eVJXtru`\LbU~XTpuP[LVTvUD]t|U\_TjWTZuHVGC_Q@IWhedyYhqe|Xt^UL[tjU}FXRcuHw`d]PWbcEFxHa\tWv\uNvXbmLWRbuEwx`]@WjbEBwl_mOVzcd~w@c\zWjbD|wl^LyXV]ESvdc}[YnjU]ypf]dYbhuiyXi]XX~gUZxhgMUYJeEcx\g}vYw?g@ZdkMwY{?w@ZDlGBZLlgAZHl^