CAT(842,1)
Sparse6:
:~?LI_@?A?CD?D_M_Y?}@_CGL?M_`?}BSEwMO[_v@iA{EWKOV?b@cA[E?HOT_l@QB{FWNOe`PA]C[HGQo_@RAkCSGOTOI_T?iCCGgOod`HAMG_OO`pAAFCCGSOO\pA@xCKFkMO^owA@BgFsJ?\om@zAsFcLgZot`oBIFOLG[_r`]CAEGNwW?}apD]IsSodPKAjDOH[SOcpFAdD?HCROaPNALCwGkW_npcBBEKKCU_mPZA|DcJkZ_JoX_p@EA[CgGoR_dAqDsJWXOs`fA}EKKGkpZatGAOS_W~AAbyGENw_GzpwbrFsMc^ozP}BjEwNSZo}PoBvEwMK[?xpnBdFCL[ZOxpqBXFOL[ZOzPtBXESM{]OrpwBLFgLC^?tPzBRIg@[BWEOJ_Z?q@sCGFo]_~@uDKIwTPQa`DEVwmp[QuDrJgU{k`YQoDjJCU[lpUqnDpJWTsk@TQpDXJGT[hpTQhDVI_TchpUqnDPIcTsmpLqyCzHoVKeHLQXcjH]Qsh@HQdChIWQ[h@FqeCbISQCb`OqKDFIGPkl@CqtCVJKPS``OqFDFG_SS`@NQDD@GKR{|PAQDcFGePSax~BqFpNK^K|@|RPFpLK^Ss`{reFjM_]{xpzRqFFNK[k|@qRMe`K}X[rXeRIF^NCXCqPwRDFXK[\sp`urAF^KO]C{P`rkEBK?\snpuq|FnJw]kn@zR\FRL{\[v`tRVEtLkZCv@krSFBLW[StPoSjFdNQ][nX^Q{h^RAdtIaTshHZQ_ddHyQsehDQQc\JqASoGLQw_lIP~r}HTQ__DIp|r|HZNoddFQNs]HBQ?bd?QLsBGrOGbTCaFSNG`OsaLCqDSTGXPO`\@qJSHGpO_a{gXPqadHIYSk}x}r{iiR]ixMYjCwi^TEiDRYfTKioSYjPQIkdFiiRufxTy^DUioRijPNIkczhgTmepVYYd[iuREeXVYmCqiETIghSyiDCiQSEhXOidD?fXMu\szxwrod|JuVdKYXsqi|UAj|]a~TzJxVcnl\a~u@JpW?m|_axttKHWKmd`QwUFJdWWmLZYvtmjSWUl``yteEkCU]o`YZ@dgjGV}oHXj?DdjAVqkX^YpD}hPQedS}x}r{lFYUsdgJPU`lOXQqphjReTkaYeqXizHEik[Yeq@izFeikUYYphiJEEfksWar`ajLeHkmXurHfzKE]l[Zqt`nZUezli[Euxoz`EulcZyu`oJXe~loY}vPkZ[eomG[iwprJafJmY[]xxqZfFGbVEuLctxkrWehLYYlLy[swhtRqf\aJDUHknXerDyBpVcNT]K|LxboVfNB]Sz|vBov]M~\s{DuRpVbMv]OzTvBjVWM|\sy|uRjVWMv\gy|xRgVfMd]WyLyBhviMj]cyeAOBoH_PI]TKiIEsNg\Oi`dAyqtcjLUEk\WjUUmlZY}uLkKLgWos`vBaE[NGUo}`^AiGKHGWos`RAYE[FgToa`^AADkHGKoe_zAaB[FgKoa_zAAB[BFjoO]r?xz[NG?p?_JBy?[MF|oy^~BX~j|GHnw_m~YAkCfvnq_n@P}KBFsoO^Z?x|[AFpoI^M}Q?zvGDn__N?`z{g_C_L?VEAS[XHRpadJIIJ[hgnqcazDaRkTHOpUc~CyQ{SHKpQcvHqHKRHOpIc~HYG[egbqWaJFyP[bh@qKcBFaOk^HCpycNFYQkcGyqQbfEYLkYgvpgba?{AWCOF_R?bNY[c{XsRtfLNM\S{XvRtfXNMYSyxjRnehMu[crXgRhe\M]ZCpxlRJexKeWCvxaRbeDMEVCjXTQtdPJ]VSjx^QrdxJC@GBOD_H?U?ufCAWDoF_Z@E@|HiZsihjQae\JIZsohfQyelMIFs{gfPAf\JIOsmhJRAc\IiMseg~Qab\NiItAgrSAa|AI[s{gZOif\OIAtAgNRy_[|x|rxgBN}^kdxLqXczIER|_IgtSkJTIo\airuEjFWakl`imuIjBWaj|_IjtWkJWIj\PyctDiVS}hlZi}t}jfVAn\YIytkjrUim|ljEuykbZap|ijNumlFYqsLejRu[lRXaslkJHuUljXQu\qJfvKmf[iyLoj]v?mN[Qv{{Xyrrj~Vun\\Y{tvnX]E}DxZvVbn@]]{dyzpVhml]]zDyzsVTnX\m}DvzvV\o`RUe|KzTunlZYUtLh{MWPp@`VBuC{LWPop`VAUDzxWLoT^]}eB{AWVot_fBE@{MV~oDaFBu?[EVxoT^v@t}{eXEpZcjD]QKSxGpFcZC}QkQwyqBcRF}NK`wmpjbJFMKKZx]qZeJIMWKfxYqjdJJMVKjwLo^_nMEX[yXfrdefMUY{yXnr`evG}Q{c_ArlgNOo@k{_CrtgS?e^L@yE?DgC?u^lA