CAT(302,1)
Sparse6:
:~?Cm_A?G?`OCwP`IB?O_kCGI@ABOM_sBwM?}GoL_}BgG_]AWC_Y@WI_qAwF_eAGU`UDGT`YDGbAaHOeaOHwfAeI?iakHgnAeIopb?IgmBIJ?rasLGnBULoobWKW_AUG_caCGws@}K_\bKFgu@uLo^`wLWl@aJ_XaoDw_@iG_[aCExX@ECwQ`ECgRd_UhVDmUPUdoThWDyTp\cGVHBDyOP\dcPHZCYU`Db_SwyDUMPSdCQxKDIS@IboQXFBuMpGc{NhMCARO~fg@wH_aAgK_m@GE_U@GE_U]AAfc_I@F]_pxf_`YCF]]pjes^HyEq_psgS\iCFU[aAfK_HpGEZ`|f?^xnFy]`gfoYXzEiXP|e[^xeFyWX_d}WhceMFg^`uGGaaEbahi[bIgGuhaTiOdydHYhqQicdIgHMhANiScYOIY`iGg]aYJgieq`hsgy[IIfaWhggIXH}nqikCjJ?ImkqxjklYyJQkQvjGmIoJYnQmjojYnJyqBAkgpJHKMpRJk[rZEKqThWd]gy`iIfi_h}tBYlotjZLUtBWlWuZTL]rbYl?vJZK}sRVlKuJQLez@wfe\yxjmmivjaljqMy|BknKzZkNA{Rmmszz\MevrjlwyjeM}xronCyJqMM|BdnKxJjMIyR_mgw[IO[}kHNfABwoc|[FN^ABuoC}z|OM~CAnx@K?OY~sDpLAkTOrDCJoxC[QO~BSOmmyjhpXFK]P^FSWptE[]PnEc[o^A[G_DFsdq??sf_HGSe_HGcd_DHCf_LGse