CAT(536,1)
Sparse6:
:~?GW_@?A?CCOGOO_`@g@kBgFoK_T?m@sBwEoY?v@kBcE_MO\_~@yAgGGJ?a`A@QCGDwO?X`C@aAwDGJ?W_i@eAWFgG_^_c@uAKCwHOu@PB[CsHoYoq@jB[E[L_YOn`bBADcJgUob@RASDSIoQPL?Z?}@sAwEOIakDQIkSwiPTafDEICSgi@IaWDUIWQwc@IaMCmH_QW\Ox`pCsGcRobPMAJCGHkOofp@A\C_FsQO_PF@~DCFkMohPO@xF[AkDGJPsAlD_MsToypoBnFcL{]?vPkbZEmL?\w{`iboEeKCWWnp[BhDwMsVOyppBNEWM[XOxPbAvEOJSW_kqHCXGwPSapEpzCNFgPC`_}QBCDGSOC`@?qNBzHCN{c?~QZCpHgRkePMQQClHOQ{cpIpsblFU@[AgEOf`PAYIsTwkPYavDeKkXwrP\a|DqU?jhXAld]JEUgjHYAjdeIiSwlhSawdOJ]SwihSakdOImS_mHRAudIJ]S_jXVaddKIyUOgHWa]d_H}UgghXabdgIEYwQWbpGaXCiH[DwKoW_N?e@COw`P@`|CAF{`hCQFc@GIOKz@prmFJMs[cx`mrgE|M[Z{vPqr^FHLw[[yPlR[FVLk\Sy@kReErM[Y{v@kRZErL[ZSt@[qzElJgYkyPfRjE^L?\SqpuRLF\Ko\kq@irSETKcYspPorEF@K[[Ssp`rPEHLGWSnpoR@FDK?[Kn@hrQD|LCVlFoAOE_JPw^|FQ?R}GxNob{~QOs_FvPs^DF`|RxGxNSbS|qKruGvNGb{|AOrrH@Pc\{{QLsYF`PGa\DQGSSGbOg`lBAFsJG\Oc_T@q@sGGBPW_dEABSVGJSK?{AWCOF_P?eg@Oy_dDiCSQg@Pi`DGiAS]fHPiZdGhoS]epPYYdChgSMeXNI\cphsRIdXJiUCohYQ}d@NY^cih{QecPHYQCfhEQYk_sXhrQehLUYs@GBOD_H?Y?lYapTkJFUkkLWautbJ^UCltTQrtVJRTWlDZQnT_J^T{ltXamTcIzUSj\YakTkItUkjLXQhtSJLUOiTRqrtPJRT?lDQYdtIiXSyhlEiLsXg|Pubd\bFTwK`V[p|ba~u@K`W?p|^BHuQJ|XCnl]RGtzKfVgqT[IwtqjfVUmdarAuLKNWoot_bCuCKTWKpDhbIUULPY[qlgrMudK~YOrtfBTUYLVXktLdrOU`KrYGrDjBYuvL\YsutjrXUoLhZCu\OI`T@kVWqplajCuGmKZyw`oJae~l{[EwXnz`F?lo[EwXmZ`EymGZmwpnZae{mkUMkTWZPuclJYAsTgZnFUmo\uz`tzkFYmu\YzHtzcFTme[ewxtJkfOmu\IzPsZef[m]\yxpvZiFImi[qyXqzyFcNb^K{TwrxVqM~^C{L{roVmNV^?|lzruVdNP][|Txbsv|Nh^{}t~byvyNp^o}|}R|vTmh\N?q?KCG@oM_J?y?{AgGoG_Y}L{zxWN?A_fAG?sDWO?C_n@w?cEO@Oa_zA??sE~