CAT(2058,4)
Sparse6:
:~?_I_?O?G?CEKAE@C?^oOOGOCAAI@E?dOPoH?CeAm@Z?mOU?JGDiBC@\?nOVoK?EEAW@O?doROHoC}Aa@Q?ioSoI_DY@r?{_\oNWFsBi@v?}_[oMgFkBqDI?K_EoBg@{@E?`?Q_IODgA{@M?j?Q_IODwA[@Y?j?H_CoAw@[?i?T?K_GoBW@s?}?`?Q_HoDGAk@]?l?Z_LOFGBC@u?r?W_KoEwBS@u?x?]_NoGGCSAM@B?`_NOFwCSAM@@?c_QoHgCcAU@L?]_PoGGB{AE@D?i_ToHwDKAa@X?l_VOJwECBE@d?r_[OLGEsBU@n?u_[OKwEkBQ@n?m_WoJWD{BA@d?i_SoHwDcAm@P?u_XoLGFCBU@n?z_[oNWFSBq@|@B_^oOgGCCQAB?~__oOgG[CQA@@I_boPWHKCYAP@D_bOQGHKCiAN@J_gORWHsC}AX@Q_iOSWIsDMAj@Z_koUgJCDqAn@[_lOTwJCDeAv@]_noWGKSEEAz@\_ooVgKCEIA~@J_eoRGH{DAA\@P_hoSgIcDYAjDr@T?iwTGIyD_Ag`Q_jGTwI]DKAl`ZomWVcJaDtAz`Y_mGVOJEDgAv`]?lgVWJIDeAx`n?tGYGMAEuBN`g?vGYOL}EyBR`sOyg[{MeFXBj`o_}g^_MUFCBz`p_}W^oMQFKB|`s?~w\OOAFUC@`s`?g[wOMFWCC`x`Aw]_OqFiCL`z@Bg^?PAFmCNar@@g_wU]JICDaD@YWlOOeGODgar@CG`_U]G[DgaD`XWlOOuG]DhaH`ZGl_PYJUCPaH@ZGlWPUJUCSabPPWg[SEIHDAaepSGiSTEI\DNampVgjKTiIvD[aopVwkCUQJDDb`^@Swi_J}IiB?aj?ogVgTaImB@`c@RGWWS]EMDJ`b@QgW_SaEIDH`c`JwXORAEUCp`e@Kge_KyHeBL`i`GwZOQ]EkCcaQ_uWd?L]EoCea\_{G\gRqF[C|`w`Nwg?M}H{BqaT?~wdGOQG?CmaT`?Wd_OIHYCBaY`@WeoOYGSCvaB`MG`GReGOCyaM`CwaOPyH?CPaI@FwaoQEGiCaaa`HwgGQMICCcaa@HWgoQYHODBaS`Swi_QiIiCjaj@JGj?QyImClaY`SGeoSuHmDMa\@Sgf?S}HqDPa^`UWjORmI?D]al`NGj_RuH{D\ap@PwjwSaIQD_ad@WWh_UMIUDc`^`EgW?PeGmB@`]`EwWOPqD{CWaJ`Jwb?RAGsCpaL`Kge_PqHeCX`PohGSSIIDHAb`S_dwTOHaDIAU`L_hwRGIYCsAg`MogGRsH}DBA[`H_jGQ?IuCaAm`W?cgQgImD]AS`W_fGUOHuC{At`Y?fwUoIEDeA_`D_owWgGuCWBC`F_pgPoKaEMAI`d?dwXoHaEWAU`K_qwRWKuCsBH`A?sWOoK}E_AF`h_aWY_GaCIBQ`i__GYoF}CEBY`j__gZ?GEB{BX`F?vgZwGiEuAL`m?awPwMAEyAK`o_^w[OGAFKAA`@_wwOGMQB{Bd`G?zW]GHUCaBm`H?zw]OHMCgBo`x_]wNWNQBwBt_}?|gNgNaByBv`A?}WOgNmCOBy`}?`w^oGeFyAEar?\wN?U]BiDg_{`XWlOFiBkDhaM_ZwboFEG}@saO?[wM?QIHA@qdE_cWQCHICfAT`IO]gMkFYBn@x_{O@g?s?a?P?F_BqdhQ[h]ShIWdIqd@RKhKStITDLqd`RchwSpIVDMqcXQChISZINdFQb`RkgsSvI]DHQbpRShCSxIXDGQ^xN[fqRzI?c~Qb?o{g_KJEIDBqaOosggKRIJBCQa?qkgoKhIJBHpd`PKXCSNIIBHQVPK[dwRHH^CqqXpKSe_R@H`CrQNPI[bwQhHQC[qSPFcbkQlHTC\PZpDSacJ`GfAxP[PDcUsPVGgAvQEpL{`oR`G\Cwq[`BsfOP@HrCNqDPI{`WQpGVCkqE@JS`gQxGXClqBpGkcWOhGOCbqCPHC`GQRGRCdQZ`@kecORHiCDQYp@[eoO\HlCEQ]`?SfSNzHuB~Q\o~{f_O@HxC?p}pH{ckNnFwCgP}PHc^oQZFyCfQL?|[]wPfGtBuQL_|k^?PpFnCZqNoz{]OQBH?BoQO_{KcONDFbC`plo{kZ_NLFgBZPy_ukZgNNExBsq_Oy[gGMhIBBiq`?ys\_SLIDBjpuOvc\gLzFZB^PvOwCZkM|F[B^ppo}c^SMTFpBdp|_xc^GMRFrBcPrOwK[GM\FBBfpp?yC[WMbFDBhPfOn{WCK|EABNp_osCYGKHE?BOpbOm[WkJhDtBFP\_qCV_K^EKAzpf?ncXkJzEVA|Pe?nKXcJ|EYA|pgp?[_OLHGEBRQ@Osk__LPGFBRpjpCKZ?PDGeBXPkPC[ZOPHGdBXpiPDsb?LTEjCVpj`DkYoPbElCXRSo@c?u?\?N_GoCGBS@u?x?X_KOEwCcAY@J?h_TOIGDcAm@N?q_WoJwDsBA@ZEvbYpmGusZiLrEzb]poGvcZ}L|FBbaPoWwS[YMJFFbcpqgxC[qMVMBf?r`HoCwU[DLze~r^hnSvqZzLYEnrUpj{tsZ@L]EoRUPkKtoZBLNEeRPpiSs_YZLPEcrS@hSswYVLuEZrMPm{rgZpLsEYrM@nKvSXlKrEurJplCr?ZRKpEtRL@l[rGZXKhEpRI`k[uSXVLfEURJ`ksqsZHLXEPrH@j[tgXJL[ERRV`dCtsXNLRENRFPictWX@LTENrG`jCt[XBKPEprX@aSuWWfLfEIRW`asuSWjKKEtrZP`[osZRKMEtRC@lco{ZPLqD~RZp^Kv?VtLpD|r[p^cnsZ\M?Dxr_P]cwSVjJuF@q}@ocn[[DJkE{R\@[{vSVPLuDsqy`nKmkZnLyDor]p[SvoVFL|DqR^p[svwVJJZEerR`ZctGU~LPDmqw@iCs{U|JUdiquHZKliUnLRD]rT@Vsj{YjJ?EjQo`jCkCYnIidSqiHS{iUTLI_EvR[pScu{TBI^EwR[`S[vCTDKEE`R@PgKsKWNLCECrPP`CsWWTKCDwQzP^{mwW@K@Dvr?p]SoGVbJBELrDpWcp_UJK[DbRE`XCpcUNIwDfqmPYCjgUbIvDhQn@YcjkUfItDeqkPXKkgTdIsDfQqpUskoTfIjE\rN`UCisXxImE]qjpgCioX~Os?~O_GO[GEB~AA_}O]wNkGQCNAH`AoaGOsGiCXAJ`EobwPsIIDFAc`JOdwRCHeCvAY`NofWRsIED@A[_vo[GMKFIBh@r_AO@W?k?U?H?CdVqjHUCiuTVImgwCZIL\EubTPmgvsZYLTEmb\PnguSYYKlE]bPPegqSWIKLEIbFP]gnsUALDDcbHPYGqsUqKtDsbRP[GrsQqKDECaRPbGdSVaHLCkbDP^GdSRqF\D?`vPLG]SRAFTBgabPMG]STaDtA{afOpGisKaIdD[`fOoGhReaF|CC[zMXG^SO@rcxkaDMWG]sDaG\@[aHOWGasEQGt@kaPOYGbsCAEdB[_bOxGHSLaA\BS_jOSG[SOq?dCW_PPCGAs@aHDCS_NOHGbr{qL\Eo^nPnFxSZP}k~WbTNsGvRzADDAg^\NlGSsJ@}LAk^^OlFwRyx|S}Y^NNhfsSOPz[|w`~N^G^SO@zTBs]xN\G`RtAEdBS]jOuFjSMPzDB[]rOwFjsRpyK|Ga`NRGfSR@xtDC]^PLFgSVPwtD_]DPXF`sU`wc{[axPZFarnACS{?`FM|GQRoQCkzw`LM~GRsTpt{ygadMjGiRjAI\DW\\MlGiriACTAK\HOeFQrhaCcyc`NMfGQrfaDsx{`^M_GWrgQESyK`fOoFPRcaDLAg[fOjFIRdQDDAs[lOkFJr~aBc~{`BO?GMs?QBt@{_FO_G@Rq@{C{c^BNIFpRqp{[{s^JNKFqR}@u{zW^rMwF|RmP~[zk^zMyF}SB`pcxC_^OIFFsAppkx?_XOLFFR`puCzC[RMtFDrk`pSwW\fMGFYTHqC\AI`JOcgRsHiDLAi`ZOjgUSIHP[g]SPIHdEQaglkUyJ^DoaxP[XE{bUPfGuc[QLGnSVyJzDza}P]Wp[W}KXELbGPbh{{}a^RNjfrRyhpcwu[\MNfGrcHoswe[PMIfDr`ylXU]jHTeiqtWylDUijTThistYYlTT[iJTWIbTQAjLToiNTIIltQQjTUKh`SlIrtJalDUOh^SqIqtXaeLQ[iDSgI_TIQgLQgiFSkIaTNqd\Q[hZSgIVTIQeDQoh^SqITtIaeLQCjFSbIsTXAcdUShJTfIRTGaktRcd@SyHOtMqSTIKhxS}HQtNQSdRSgvSrIKTLAbLRWgtS\IZtFAfDPGiVSRIetDAhdPSi^SVIgTDahtOWizT]IDT@qj|O_j@SHIpTWQ`\NKhlSsHvTLQ\|N?hfRpI[S{ae|M_iVRhIeTRa\dMgiZRjIgTRq\lT[elTWHjtUqZLTcepRZIlSuajdSCehRTIaSsAf|LCi@RQI`ssqgTJ_izQxInTWAVlJgi~Q{IpSmqkLJGibQrIhTTaUdTKdjTSHZtTQUtTKdZQpIjSjqiTJ?ijQkIgsjaidHkhBQ\IPseacdHwhDQ^IRSfAclHOhrQTI\SeQfdHWhvS}HJseAflGOg|QBINS_ab|Q?cNQEIOS`Qb|F[iNTIG|s]AglScbrPyIbTQAMtO{ftRzIES~A`lNsg\SPH~s~aaDO?fDS@HqSxQ_TMWgFRbIAsxq_dNOeTRtHds|aXdN[eZRNH{s}AXtLod|R\H^svaWDL{eBR`H`SwAW\KWcPRCHCsqQPTK_cVQLHaspqPdIWbxP|HSshqNtI_b~QjH?siaODHGbjQMGwsbqMTH?bfPoHHscQMdQQhBSdiPTHic\Pyh@S^eerRhh{tAYdLPd[QlxVKjqTvIydNqghSCiETHIbh@S_yOlGYcHQFg~s^YODFycBP{gxs\YMLFIbhPok]EOZFhcIpuX?k\EPJGhbyp}XBkYEOJEhcEpqXCkZEOjGhb]poXBkWENjFhbMpsWmkXENzDxbmpaW{kHEIj@xamo_WkkSEBZAHauo[WhkLDxJBH]anKW]kMdxy{h`qnEWZjgeGiyPaMpGVRkQdtJCx\YpKVTj[eGivPaMpGUzkQdnJCxZypKU|kTDhzDXYelWWkkSdiItXaupOUijLeJjDxXqp_U\kXDfjEHX}l?WrjEEGYpX`}p?UHjEeFyppaEkSW_kKd\zBPVaouTxkMD]jBpVqoyTzkYD[ZEhVIpoTriyELimpbejiWvjve@y}@_anaWKjxEAj@H^QneWJj|dvY~`\ynyV^j~DwI{P_An}V`j|Dqyy@^UnqVNjeD|ixp^]noVLjIdnyqp[AmAUVj`DeIw`XimEUXjsdky|PZQnUUtjZDzI|pZanYUvjVduyyxYumoUmjkdkIz`ZImsUpjOdpYsP[YlEVFjQDqIsp[elIVIjGEEIpx`MogUPkIdcjApXQkeWVi}e?Ynp_Ij}WBj?E@IoP_YkAWDivdaIlXWQj[UDiuD`ilhW]kETogVSJyEDBE`fOq_CoAw@SVEJZDmawP[gl{a]PPGhcTQJHD[~I^fNsfyr|x}tVEjdTriyT\imlmevTZdlrUxz\DmgtxYzLsumB[|jcvPZdL]umb[tjKu`ZPLXUlrYTjOu`YtLhUlbYLlWtDZTLOUtBSLl_tFZVLQuhBY\g_urYHLlUbBZdgguvYJLnUbRZlfouTX|Ldu^bXdf{uZY@Lfu_BXtkgrTZJKturRLlkorXZNKvurbLtl{q|Z_KnuwRKDmOrDZaKpuwrKLl{qpZ_KkuwRJTdkvDX\LqUVB[\dGurXRLlUTBZ\dSuxXVLnUTbZlcoufZSKeuSRZDlWq\ZTKfuSBY|j?sbYRLWujBPthGt^YmLFujRQDjwstY]L`ufrWTj{svY\L_uoBRdhOuPYTLbUqRRLhWuHYVLaueBW|icrpYeK|u\bS|i_rnYjK{uibNTgGr`XpL@u[bOdfSsLYFKxu\BOlcWrHXFKquXbHDe[qRXhKduYBHS?]?P?EhaSpYWtKaeRRFgzS\yNTFmbpPxmafSZgptEyM\QmhfQjiXseyc\GmjFOZi`r}yC\WmifOJgXteyG\VmmFKjdhtix[\ZmVfVZeHt}x_\]mRfTJd@tUxW\WmSfTjjHqixU\Vm@fVZ_`tyyu[GmlF@Z_pt}yw[Fm[fQzfPsqyY[zmfFNJi@ryy][|mHfFja`qAw][ZmGFFJaPp}wa[\lwfAZ]PoiwUZrmEE|J]poyvi[LmXe~Ze`nyxiZ~m?FLjf@oIxm[@mOe|zcXnixCZwmRE~JchnmxGZxltfDZapmqwmZlmKEzjbHnAwsZnittZIllUyj`Tnluuzj]Dmqv^ZjnWFiRttys|\]kNVviBttyg|^]jNVv`BsTwS|F]ENQVhRo|y[{R]eNCVgbnDvc|F\yNQVhRn\y[zz]eM}V[btLygzj\rNUviBmtykzn\sNUVfboLxoz|]\M~vfroDy?{F]`N@VcBldxCzZ\mNHVZrq\vC{j\oNIVXbqtu[{n\gNKVYRrLxkzV]YMtVbRkTuO{X]IMoVarkLw{zJ\bNFVqBxt|C}X^RNdvsbxl{c}`^INfvpbzL|O}D^TN`vtbwd{[}n^WNavvbvTzW}t]zNnvlrz\|s|p^[N[vkBvdzS}@]pN]vlBwLzK|~]qN^V{b|d~K~Z^sNvV|R||~[~b^uNwVwB{t}[~B^gNpVyR{\}k~J^iNqV~_?H~a~}?AN{o?c?@~i?E_@N|v~O?Y?M?A_AN}^