CAT(312,1)
Sparse6:
:~?Cw_A?G?_[@GE_UBOI_qAwI?aB?H_k@wH_a@wR`UDGR`UDGM@ABOQ_{CWdAAGW^aAGW^`]EGU`eEgZ`qFg\bgFw`aAEWY`mO`@BaOOvcCMWxBuLo~b_Ng|BQN_tbWNwyBQL_{bkLWzAaN?ibgIWmCAK@?a{OGkAUJOfakHgcBEGoraGKhb?Q@gD_Q@WEbYLGtb]MGx_yBWNaaIghaUHwebEKwqamJWkayKGnaIHGbaQGgbgs`q@gc_iBGa]qIfsbH{Gm]QKf_axyGi]aEf_`XxGQ`pvgc\iGFU[aAgK\HrGE]ptfo\x|FYZQIgoZHmGmX`}e__HfF}WpqeS\HcFM[P_eG[HnEEVPid{Yx]EeVPhdwYx^EiXP[eKUxcDiU`edoYHZE]`PIgWQICCeTp}dc_HWF}SP_eGSxQEER`od?[XnC}QpkcsZhKEuOaFcOaXBGaP`Uc[TXDDQUx[diVx]duWHaeEAgK_mDgW`]rBNlCrjOKuqBUk[tZEL]pRNlCpJOKMmbTjotyzLYsavlOmZRJasaslOljRJUvArjCvZZJIjbYj?uYnLauq^lsgZ[IAcBWhGuiPLeiBHigqyhKihqLgwhiNIUnQaiOny}IMeQlhkiyYIqfAUhweI\H]cr?hSoiSKF@r]l|@Z_OY~Bzns}j}Ne~rvoC}K?NY{sAnT@JsOM{cInDAKHNAxrlmczzgMzArcosxZeOqyb`mowzjMJGCYqHFK`PnDsMpdCKWO~DCbpXH[TQRFSPpLF{QPy?SkQZI?AQy?slQ^IOAQ~IoBRE?SiRB