CAT(1008,1)
Sparse6:
:~?No_@?A?CE?EoL_Z?kAcB?HoI?d?]@KAGAOD_L@YA{DWD?P_W?}@WCGBoG_R@UAsDwZ?C_L?UF_EWLOW_^@EACCgIOR_X?i@[AWCOF_H?Y?kUolPYatBwIcN?jO|AjBgIcMojOxAjBWF{OO[OvA@DEI[Sg]O}`zB}GKOGk?caqAYIwHWf?pa_BAHwKg\@JaYBmH_MWc?raSBUHGLG`?raGBUGWLGW?]`?BIEGFwP?Z`E@uCGFG[Ov`lC]GsPWj`AaqCQJ?OwSog`NDEI[Sga`IaMCeGoQGU`Ma]A}DoSGT@J`UCuH_JGhPRabIWJKUGjpUahDUDsJWVqjdTIeS{hhSQkdZIyRSfHLqVcrHaQcdhIpfDFISLCh?spaDDEKSKg?opcD@EWSKXPPPlDHISL{Z`Pq\BTH{Lcf_tq\A|HwKCfonqNDLH?TCb`RqRDRHCT[c`TQJDZGsTsj@EQCB~GKOK_@@PxCLFgO{`O|qIBlF_PKa?zp{BfFwMk^OyPoAvFGJk[OmRm?n@UAsEGLOXaxDuJ[}PxrpfdN_\{}@wRwF\NW\c|@urtFVLIYCsXzbLfmK}]wrhsBmfSNA\GzxubdfMMq[oyxyBXeuNY]guhwbUfcLa]Wtx_bCeKKMWgohdBaeWMQXWwxhb_eiMEY_vxba}eQKAX?nxmAte{J]ZglhWAwdsJETwmX\ardyJQV_kiMcbg}QUbpHIOCYhCPqcHEyDCJgOOu`HBIBcPgeOYaP@YKcCgmOM_PEISB~gAQ]_@Hh}cOf{Oy^`ByIBxgkNmag}i[CzhsRufHNITcvhQRYdPLY^CqhgSAeXNyVCohWREdhJydD@iWSMhXOiaDFiQSYghQGIOQ_fIISCgXPqddHGUO{`hCQIcREiL[ZGvpmbZOQ_T?x|rxftVOl`YYtdgjSUuktXyqtfjLUUlXWypDljWUQjxVIod]j?TujLUiltXivTij@YIjDhjST]jxTiodWj?T]j`SyiD]iiTuhhSyidNigSykPSIpdQjGTEBsGGNoo`dBEsGHGROd`vBeFSGwOoa`fBQEkyxurkd|KAV{lhZqtd^JEUCkxYQqllZ]vDmZ\uyl]ZUthlJVErkpXerTeJLUXkxXur\ezMU\leYit`lZYEjlIZIu@hjQEpl_YasxkjWehlCYysHjzUeblMYitHizUEgj_XylpgIve^jcYAmXfywe]lGXUqxhZJEelAXIsXdJPERk]ZmvPcJ[ePj}ZYv@^ZZd}kWWYphaJFEFjwWepX]i|eIk?V]oH]Z@DwkEVQmp`YyeC_b@A@}CBNU_k~E]LKYHFQOc^HEQ[civTnj`VEm\[jAuBkHWYpD`yztxjpVind]{QggpMajCqI[TgapWaRDiG{SG^pSaFDIGKNGboyaRBaGkGwQo``FAUCKFg]ow_zBiB[Dg`p?_rByAkBg@oQ_N@A?kAGGoK_f?i@{AgKoG_j?qA{?gMo]_N?QBZ|gXou^vBP~KJFwnq`]~QEKHfvoi^VA`|jyG?nc^}}X~jvgRna`Q}ADZ~fkn[_A~pzZsgUnU`a|QD{Lfgos]Y{yEZpgjnIau{aJKQf_pK]JCxwZgF\m[\}xxvjcFVmq[iz@qZbFRma[]whsj`FLmE[mw`rJlE~mu[Az`oZ]FSl{\UvhtlA`Oa^CyDcIgTwHoN_b@UBKDwNoZ_yVCmh[q|dvJqwtpZbvGmR[ix\rZeVMm`[}vdnZ^U~mB[BSYf\Nids{iRSAelOiZtChrQ]c\HYOs^gzPeb\DyLsXgnOaJkWIBsCa~PA^|DI@sQgBNq`k}IFrygVRA]|KhxsmfjNA`[ziFrkgZMYdKyiUrghVPI[[xIIsOfBKydKsITrQhZRIXLJhesoeVTIT|ThTtSdZIQhkiIfqeibRyR{gi\s{dBSARLPHMtAcvHAe{bIYqMhrHIg{didqSiRTIO|ThDtScRGAhk`IgqAi^QYN[^iPp{hJFablGGypug~EI_kXiCpcgNLQU{mhkqwenLiUKvhYr[dfKAMKngxq{b^EaW[ZHbpieJ`J@dWynWPo\UEjeBYkWNit`E|D^Y~Vlk@]m|twzwVdnd]]vD}z]V~lt^uud}ZzUvld^Ute@zVWHl`_msu?ZTWDoDYexTgZfUdmXYMzdfZNV`kt\}qttZKVRkh\EytbzlURmpXEwdaZcULmLWmwD`z`UBkHZ}lT]yuTxj\V]mdXywTdjPVNHuT[hXXq`d^GuQ{eXBqHcfKEN[qX@rDb~JuM{mWvqtbfEEF{YWbpdaFDEJ[VWdpLanBEZ[MXnr``nKuC{tWVrP`VRe[|OXvs|fVPEb|BYJsXgVQE^|IYBsdgFNUe{}YVrphfUej|XYxtljFSui|PYltHie`L@yAj^UymD[YxTrzQuNkjYmqLjzIu^kbXmsLbzKtvlBV}rl]zQuBlZWmtL`wNob_u?k@w@oH_V?ul|YyutdjRU^`NB]D{BwNoV^e{\y[@v|nN^U{|yZxvlnF_Uu]BZ\wHln^ey}?Znv|mv]ux\|Zhvpm^ZvA]EZbwTmEMk]Wzp|b~FnfFN}]\BxtsFgfK}c[txls^gFJ]`[px|q~cvP}T\HxPsVcfC}P[Px@o~afE}K[\wlp{BgFOMtrjjVEm|]y{{NwfpFanE]J|m{NvJp^[NC}AzfwBmNZnA|K{Vwbh^RnB|gzjvblnYmz|azvuZn~XM}}CyzwJkN_Mn|yynvzjN^Ml|Ozjvbi^TMz}W|nzjrnen[}i|byzunjNX}Q{~xZs^dNO}c{ZxBtNbnR}{?D{~yVo?B~O|{?S?fonc_A}L{s?vpNd