CAT(512,4)
Sparse6:
:~?G?_A?G?aoG_ca?GWbAUHohaWIGjAiEGV`QDWU`eFw\`mEg]`qC?[`CFWM@}BoZ`KFgY@IDOe`WHwg@QDohakEGXAiGOYaOFga@qGo\aSFw_@mW_G_eAgL_qAwG_uAWI_mBGC_Q@gE_U@WC_Y@WF_]@wG_eBWK_iAwP`ICGM_}CwS`UEWV`YEIME_[xlE}Z`hfGYxpEq[@ifg\xwFq]P|fc]x~F]]@}fgbH~Gu]qKfwbX{Gq^QLgg\YHFY``sfOayFFYa@tek_iDEe_pies_HgGE`@kgW_IFGEaQAgKaiDGm`AGeKVxcD}X`_e[WXdEEW`_eKUXYEYX@ZeSVHaDyXp\cgThLDaU@JcoThVC}TpMcWTXFDMS@GdGQXCDEPPScGZxmB}OpqfKNhpCAOPodgKh[BQUotdwKwvDeL`\b_SGxDIM`RbkTG|DUSO{l{WH^eEVHYdeVX]dmJGmautbbmGujVMQurfmWuJXMUpr]lsqJELqvBClwqZDLuvqkl{jZ_IykR`j?wYnMAhbgm_hzhIayajmgijhIeebam[fyZMMfbcmWfI\MUsrLl?qjTKysRJlOrzQKqba}g{nyOKAcR@hKoyQKIgAwjggYaJemqbiSnYcJqkaThclYrHYlqVhOlisHaIgfaYIwgafH[eqFGkbqRGbxnpHjwQU|sbqC}{cNjCbopKzzkO~DBjmtCZmPBASBoh@KJOVBCEo`BkFOu~SZnxFK\N~FcAq@?[^OA{STnHDjrP]|CWnXEjtPeKgrbULGvbYMgzbuNGwbeJwobFVDVTJTtPtPULWTNTdXtTU\MTNTDLtTQ|KTFSDQtXR{xTjMdZtlM{}TjUs|thNKhSnIDOqhRKkS~RSfqlRk~R^Kt?sDMKsSJLTCrXO{lSVQcpqxPlHRBKdGq|PwR_yBwQ`ACWbaAGWaaUHMJWR_EHwD`mDWj_eGwL`}FTraD\t|a}HTzWUEu@amCVB_DmwDZ}AVF`TrwL[lyVR\TzvX^LvVv]T~v`^laUbWthuhXLjUVZTfupXhOdESxQdUTHVdaTmlZFjuqyxkmoYjkUjypkMmXVjEQxXj]nXNduixPi}WYReUdxhhmZY^fUhxpiMKXzbU^wxgM`W~guOyHcZ[luvkfqbI[iqrI~U[ts^L\BrfJ{|rNR[rsfJ|Pn~T[BovT|To^C\RofS|LnnMZfruy|@m~QZvsU{{Tk~EZRqeuz\p}w[bqUt|pwnb\vxF]}Tv~f]Fxf_}`tnh\^uFi|dy~Z]vufk}w?Vs}{?ft~??vu_D{Vv~c?vr_H{fw