CAT(1000,2)
Sparse6:
:~?Ng_@?A?CCoD_K?N?g@?AWA?D?L?{A?CgE_M?b?]@SAGDoK_R?Y?s@GAOD_J?]@SBGCOH_V?uACCWFOQ_^BKACCgEoP_\?}B_FgP?W_s@}CGEWP_\`?@mDWIgU_n`WAyF?HGR?r`kA]DGLGS?t`mAUEGLGW?r`aBUEoKg[?q`mBAIGRgfPOa`C}H{U_jpXapDaI{UWjPSafDUISSWq`]asEAKWUwp@[a}EEK_VWspibVEYK{YGkpVapDII[TGjPTabF]Mk]g{pubpFaNS\WzPvbrFIM[[wyPsbdEuLs[Wvpkb`IGHsSGfp[a|DiJkVwlp_bDEQKkWwopkb\EuL{[WwQpDDJGS[lPPqcDfJWSSh@YQScfH]QseHIqUcfHQQ{eHIq]czHeRSexMQYcrHmRcfhMqpD@JOSKk`OqrD@H{UsfpYqjCDGKTc`@Uq@D\J?OsjpAqfBxISNkiP?QiB~FkTCh_~QdCZGwSsbpRqODPHGTScPSqHDZG[TcapVQjCXJ?PSjpCR~@rBiF[Ng]o{aXCaHkQWdPJaJCMGcOgbpE`~CEGCdhJqTcfHaQcfHMqXcvHyRTAiCSFgLOU`K}H{ryfnNY^[~H~R|f|Nq^k~qAs?GLO[_LAa@sHGHO__S~p_Q}G@OCWKnQ@RAGHJ{_\C`grSGbPKY[sAHrQGbPGX|ApaSMEFKS`cpqFrGG`KW`krAFSNE\OoX[qQErLG`OkXS|PvrqFhNK\k{pvRtF`NC]cxqLrgGxMcbTFPtS]FXP{\[wQKSTFFPO[cxaKsUFJP[[SvQKrZGhLoakvqJr_GpLwastPzRUFrL[^[}@kRvEtLc^SmaMQzGvJ[bTF`]S^DpPsVKEWLOW_z@qB[FgOoa_~AMCCHGQoe`NAeDCIgVOk`ZA}D[|XxrsdzJyWKnx_RAeLK]W[pHarGe\KeXSqxeRLedLAX{sxiRPlQYas|iJSUflNYEsthZQUalFX}rdfZNU_kvW?nl_Q|UAJvWKnd`Q~uCJ|VSpL`ayTuKNV[pDaq{twKTR_md\Q[tuHtV[f\]Q]twHxUwp|ZrGToKbVCqT[rITqKfYGkTgqpudJJYOkdharu`JLTWr\TrMTZL@T_rlURNtYK|X[iDeAgtQKjXci\TBLUUIjS{ndQa|TJJzSon|RQ~TMJvSOotPRCTEKRWkg|QRDUFIPRwoDNr?t?KDSCo\OrAtAKHRKptbQZuKHdWoetLBFStKZQkrTIbKSeKjQ_qteQRshKnQqdlJyWSph\Q?p|GbGS`KdQKqLHRHscKhTolDVQst_JXUgjtWQut^JV`_N[^G~P~c@FuOs_X@QBcJGQQKbxEqMcdHAO{axCQHcXGid|JIUsmhbRAcdGYPs_hJQJEuL{[WzptbfByIkPgmpAarBqJ[OGnpUaJBQHkMggoqaRCiEKMGhoua^EXy{Wfln_bREPzJvGtp_]}{aFZngWn?`fBPw[MFanE`mzqGZmGamq`yzQGzmg^muaBDPs{TfSpW\VDhtjkGnp[\]xiHKQfMpK[~CxsKSfQpO\FExoZ`GwmEbiwaLjbGxpu[VEXnJ\gsp_ZvEHnkYf?pcZ~Ahi[IeilY`YtaDzVGVokYn?iA[BGIoO_r@Y?{BgLoG_z@x|{GFwnq`E~QCj}GSnu`M}H~ZxF}ne^}}i?k?Fung_EuxqJdeulo[ivHrJ\FHmMZU{hjzrEonMZE|@kjtEsnQZNAmD{JOo`dBE]s|x{RxfvNi^c~X~UxllZiu|lZ[UnlfZIudkZWUjl\YitLjJUzHTvjjVel|[YxtakbWqklairtgkRUqp|YjBtSjjTIm|ZigtoibTQnLSixtCkNSYpLQJDtIkZSyqLRJFt}hrRan\NI}u?hvRqol_i\s}hBRyc\OIQsiiFQag\Hi_uKfrNAp\`hxuGfjNiqLbhztyeZKynl^hgu?efWQY|_hirEjBTqXLVhdtWeBTYW\UhatgdVIak\YhUqmjNUqU[kIqqOiJHIg{dIcqYiVHYh{eIet}cVGqokaI|uAcJGynl_HBpwinFijK^Ilp}izGIkK_InsOdNIQa\AHMsIc~II`kgIFrcgjPa\{xiJrggvMqb{yiMskerQyZ\KHmsqe~RY[\LHor{djNyU{mI?qygFJy_{nIAc~IASLHiSSfhRQmdUNk]W|q@b~GNHuY[bXfq`enHeX[cXlqTe~MEM{xW|qHfVMuN{|X@rpcNJt~{nW@oDeF@EW{BXboHeFNDwzmXzrd]EzU\[zVdr`\}weXZ`XnmLe]xEYZeXlmTenIUD{KXTotd^BeU[mW`qt`}~EDZ|WRnd_m}eB[FV|nl`E}EM[VVfp`]fETyzvWvnXbUtUGzUWfl\aUuEIZYWlldamrtrzOVPlD\MzDhZjUhlL\UutczIUxklZmrDnZ_U\ktZ}?{AWDoL_b?}rLdZHuZknXvbfBmK{OwrpJb^BMK{UwvpRb^?La{AuNkb_mqmB{Iu^kr`NBlWyqwnpBTmlMEyuwfpRT}gM?yawFiR_mhmB{ItVib`M}l_zstrnZV]}L]z}uFnrV}fLqzasnhRZmvlKy]vNmBR]aLgyIufgrYmbljyQuvhBZMyK}zir~mrOMzl@yEvfnBOnRMq|UzZtBlNTMv|MzNtJl^]m^|oxjrZm^MMy{{znvbf^WmW{gyrqzjnIml{ky~rJkNOMM{eyRsJb~HMb{ayVqBgndNO}U|FyRrNhnL}i{~ybrn^NC|}{VwBpnbn@}Q{NxBog?nU]x|s?Rt~n?A]p|{?ZuW@n`]v?D{Bun