CAT(512,2)
Sparse6:
:~?G?_A?G?_kAgI_iCOJ?yAoN_sCGK@AB?M_sBwO_yBw\@kFGY@qE_Z`iFGZaWGG_aEGgaaEFW^`yJOeawHwkAaJ?hakJglAiIodaKIgcAYH?faKIWdAaN_zBMNOsa{NWpBqN?qb?MwtbYLwwbiMXCByPO~cGQXECAOpFcCQHMciRXJc}RGzbuNHWDQS@UdCThVDMU@Td[ShZdeVXYdyVHg@]DwX`eEGW`ECgR`QDWUewZHnEi[pjes[hpEe[@gewZxoFM[PqeSYxdEiZPfe[ZHeEaX`he?WXbEQW`^e]XXeg]`yGgYaIEfe\xufa\XsgM`YCgA^X}gE^yAfi^HzhwdIRHybq_hCgIQH}cA^hOeIXHEeaRg{eyQHucA[hcaYYGieqJhsbYMHafAKgkdiMHUdQKhWbYHH]aaV_eAGFkGGwdaQPHFcYPXHcaSXOdISxTdQVx_eIWxceEsRJl?sjRKqtBLlWrzTKypRJkWrJGKyprLl?qjHK}pRBkgozGKIqRAk[pJEKQmabiOmieJehQxjkgizIEtQvlOmJPJMsasjStjRJYnQljwjipJqjq~jGoYoKAnAfjwiY~IinQgkCjJ?Im@GD_ZAc@MN?Rcm`?kBMUxcBm\?j\OQwSDlx@kGL~ARao[wJ[Ob@rYl\@JWOUuSEllAZ}Mi~Rho?zJ~MmzbznozZtM}|bonC}JqN]|BynK}WF_]AWH_aAKpQtKKkRBICnqlJkiQzISnq`G[hQBFSkqtFK^QnFcipXGkVQNECcpdH[ZQ^EceohCKJPFCcKpTB{SOzCsL_Q@GD_U@gEtGni|jqnz@kBRDNslR|HTBQdOsxS\LTFNTRrxSlSSBNtTt\OlUSFQdBsdPLJSVRTFsxQLKSZLtQtPMLTRfMdRt\NLURnK{trZLKqrFAKCoV@kHo^VtzvXVl_VbWTvuL]laVf\tcv`X\xUZ]dfvlY\uUbULZtjV\XtrYdovTZ\jVJZDsu|[|mVFbd{w|^]OVzcT~wDc}?XJ`eGwt`}BWj_eHwp`MJWVeeSx`fmZXVde[xdf}VXvJkoq~[LpvN\\svJheiyXi}mYbjUfy`i]kY^iU_yDimkYJjUdyLjmcYnndNtBS]Gwrb]Hwja}}[Foe}{Pn~B[Bpf?{Tn}{ZNmuszlkmnZvkE|zDnMt[Foeuzdp]v[NmfEz`pN[\dp~X[bufK|hq^Z[nuvI{ts~O\RsfT{xtnW[~sVV|pwnb\vxF]}\wNe\~xV`zrn]z}xyNn]f{Fl~@zNm]jzvj|fu~Y_D{Vv_H{fv_H|fw~c?vs~c?Vt_L{vw