CAT(512,7)
Sparse6:
:~?G?_A?G?_{@?F_g@WJ?Y@?H_WAGK?UE?D_Y@G[@mEwZ`uFG\`yFg[bCHWfaYIGiaeHgfaYHWfaUIGgaeIWiaiFw_aEGgcaMXP]dmVXXdiVH^eAWXaeQWxMCeRPHd?QhQCiSPIc{QXKDQQpUcoTXWCmR@VdKQxLDqRp\dcSHMDmSP]dgShREAU@`eKTX^DYW`Sd[XGvbaMWybqMw}cENXAb}OHRBMU?pbCTGrDUK`Ud[KhPBQL`Md?LWuDIRotcsLG}D}X?|cCWG~EEO`beGOGjDeK@]aoUgnDmJP[awVWwCMLpCbgPW{CaMpFbcPgjCMJ@CawPWoCaJPEa{PwU`UDwV`YDWW`eEWY`aEgO`ECgS`MBwnauKGjayJJHKupRJk[rjEKqsBGkgrxpJenPsjg[izFYn`tjo[xzKEnpvf_oHxKI^BCfgoyTJeea|jweIyHYeQzjodyZJ}fB?hsoY]KIgBCh{ozDG}paOk[cZGHIcrIkcdHnKus@mesqzKEm[BMeoryeI]gQkicgiiIMhAjiSiH|IujqAfwjioGAk`~jC_YBJM`Asg[mIGJ]`augSlXeGeXqIeSaxgGqYaLgwYWL_uBWM_yBgF_eAgG_qAwF_qAGH_mAg_aIHG^aEGyHgqaiJgybYNhEciRhQcHdeaYXeeiXxjeqZXmfAZ|HS@K[sSFLS|rxKkuSJKs~qtKkrQnLSorXJksQrJspq`O{dSZPCeqdP[fSbIdFr|IkhSBOcfsDHkgRvNcdp|M{_R^GSwqHM[cRrGsyqlEkkPnJS[qxE[]Q~FSop|Dk`P^GcWq@DkVQRECbl\E{\LbFbXlpEkXLius[pK}z{PM~SSnxDKTOA~sTmdO|CMyydDmlPjlSazDFsKw|CMRPRdmXPjgSaxtFltLz]Revszm@MJaRiwS{n`CJtOu|cMn\B{QNi}SPo[z{GNA{SHnHAjsOq{sJlP@jPOEscAlL?zTOQtcD`UDgVyLc]bXJhESyPc}UYVhUTsda|IWrbTKwxR\MXBQuNwDa]CWb^uIwH`]BWZ_EFvTfMVV^eDrxd\LwXj\eZxtX}aUrfdgx|Y\iYFYu_utU|mTrZt\v@Vl_VJVtptT^\UVfTtyth]|XVzUD{uHR|bTBXDPuXS|SUFXTQ{lo^A[zoFK{Lr~LZznvIztt]w\BmVPzhsmz\NnFS{PknDZNpes{\l^HZZlvGyphmoYjkUhyxh}nYnjUg|Xwnb\^uFc|dx^Z]^ufe|pyN\]fvfi||y~`]vwFk}w?Vs}{?ft_D{Fu~C?vv~c?vr_H{fw