CAT(456,2)
Sparse6:
:~?FG_A?G?__@?F_S@wE?]B_I_aAWV?kCGL?yB?N_o@GL?YAoD_w@GO?YBoD_mBWKaOGwbaMI_eAaHOfaOIWcA]H_haSIGrB?IgjBIJ?pawKGnBIJOpbMLWsbYMGvaeHwgcCMWzCAM_~boNx@ByNP?cIPHBc]PXEcsQHICmR@HdARxM`uFw]`eDwW`iFGZe?GGaaEGG`aIYPeEAY@`eGXxbEYXPgeOXxeDuY@^e[VhXDQU@Ud[TXYDQV@UdkTXaDeU@_d[WXbDmU`deOVHPDySp^dGVYC@QDgTggVX^dyKGqbEMWzbiNW}bqQHIceRHLcmSXRdIeQ[hkfiYHucAUhGeIPH]eqRhcdYYHQcALg{ciMHEdQLg{cyMHQfaIhobI\Gm`@qgW\IDFM`ptgc\yGFY_AVfweH~HY]ACfg`hxGU]qHfsaH{G]a`kewbHlGm_pjeg_hhGEZq@gK[XoGIroP`MCjHIykBJi{qjPIujBNl?iygKqibMicrYdK}sQfl?hicKyrAaksgzHIAqq`kgfypJQkqujGlYyKMpQ{jkpI|KAnrAjwoZEJ]qAxk[mGS`YDWS`YDZxNW{JqN]{RwnK|jtN]|Bwm_|JfNMyRtmO{JeNI{RdlGyjSMqsrjlwzZ_M}vrmlkwZ\MMvBalWujVLatRX`ECwQ`ECgRpg`yHga_YBgJDsPpLE[QPbDSXpXEKSP^@SZo\EkEPrDCMpXB{TPBAsPpLB[QOrFSGp|Ak]Of?cYoPFKBPnFR~p|?[]OA}Zzni~j|nqqZJkirJMkvNsfrxHkgSBOcnsLK\@RBNcks@Jk~QvItAqdO{iSFGKaqFG{dqRLSzr\N[uRrMCqrPMkrRfUTCtlPlYSVRTRtTR|SSzRDQslS\ITBTdFsdULVSbWd[uPVlbTvVtduDX|_UY}Jun^M{|rrMKyrf\dmvT[LnVRZtqv@[|mVFYDsuh\ltUfYtput[|kVJ`cXpbD|RtVTLQtFSMKWZbUFwxaMEWfauGw\alxWV]EBv\`MJWJ_EHwDamKVvbd~wt^lyWV`D{wL]}cYHdM`XJguRyDb}bXFgeOxld]VXvde[x`fmYYBeU^y|h]lYZjecy\imhYnjEgwV`MBz\kMwZJkUuzLlmwZVlusyFg}azc?e~zg?v@_Dmv?_DnE~_Hnf@_LnV?