CAT(512,1)
Sparse6:
:~?G?_A?G?`CAgH_aBWJ_q@wF_]FOS`UDgV?}EOO`_BgW@IEOR`[CWhAIGG`aMHWc`}FW]`iFGZ_aAgH_Q@gD_Q@gD_Q@gD`iFGZdGRHLcyRxPdAPPIcWQhCCiPpJccQxGCmOPOcKRxADENG|bmNh?b}MPCbgPWwCYM`Hb_PwxCaR?}cwOHLB}SO|d?NHNBmR?tbWRgvCuJ@FawQWlCaOOhakOxAAiKwsbILopb?LWuA}P?ecWIHDA]b_M`ABwN`ABgP`MCgT`YDGiaeIwlayJGrbQKgnbEKGeaaHwfaaHi|J?jIqIqkQkjKlIrJYkqtjoiyyIimqhj[gydJahAxhslI^JYfatiSfY^IMhA]hgkIpHqeqqhoiyYIieqhi[dyXIahaWi{cYQIucqmh?lyMJebqwgojYLIyjqJjgbIzGmnALiWaIgGihqHg[gIDII`a`hc`iFHa`QVe_lxfJeYQwhC_iBHM`AQh?^YNFyb`{jGZIpEmk@ii?\xwIIgPujgWXbJmWa{eSlheJUXAsd_dHYHYUQTdkjYnDqVQmdGdHSHYSqTg_TiIDUTqHfc[HzFI]`pes^xnGEZa?fKVhtEA\@^_iAGHgaaiHg]`iDgmbYK_mBWK_qBWJ`uFg^`iFGZfu^h{eMWh`eYXXcdMShSdUThVsXMdDrdP[wSVMCzrhN[xRrLSnr\K[uRBOseq`PLAQ^LSbrXH[vQRFd@ptO[^SFGDAqHPK`SNFcqrPF{\RNLCYppKkrPnDsYpdFKWPnIQ~jtI{iJz@Sfo\IKeOZOcAsL?|CORNbur{}L?N^Nbns?z[~MzJBjmpJjiQuySom`KZfQ}xcVpcx[WMRIRWqkukiLfGBTqGt{`LYscblPHZRQQrCzkxNZLRqoCmqooklKFNbEs?qK~K]~Bxnw}z|Ni{sPpK|[QNQ~ronH?ZpOBAB`ogw{HMIvcMm@CJ^O}vSJllBZ[OrDBNlDDjOPUqRBkSqzIKRguMyTcMcW~auAwp`MLWN`T~wD`}?WZ\eVv`e\vXb]Tqvl[\yVBZEIuha\jWbfTgx|Y\fXzWTcuHX\bUZcT]t|cl_XN^D\tl^l[VvTU_yHT}`TZZTWu|UlmTfRtQtPSLPTNREYsxfLLXnQUSxXQ|IXV[tGvTPlFVRhfKy\qmg[nsf@{Hs^B\Bru|{xm~LZrmFCzhpmx[Vnetz\oM~ZZkfRzPt]r\RjFGyxp}l[fjuhzDi}oYjyFa}Pynb]fvvU|`w^_\^xV[}\vne\vuVj|lz^Y]rz_@^^}Vo?NzoA^a?Vp^Q?fr^Y?vq^V