CAT(2904,1)
Sparse6:
:~?lW_?O?G?C?[?H?E_AoC?@k?u?\?M_FoBwBG@Y?n?U_JoEGBCAw@J?e_QOHwCSAMAC?s_YoLgFKB]@p?s_YoLgE{Be@p?z?SOIoF[Bg@T?l?\OMoDKAo@t?q_VOJwECBM@b@\?SOJGDSAm@Z?h_s_VGJcDiAt@Z_loOwGSC]AJ@C_bOVOHCEGAR@^?dOV_H[CsB@@K?ooToKKDsAh@X?oOVoIkEGAp@]?jORgH{DEAd@R_gONGF{CEA@?|_^O[GMSFQBf@n_woaGPcGeCTAF`Do`WOSGMCBAE`AO]wNcGABz@~_~O]WMkFiBp@u_zoYwLcEyBZ@i_soXwKsEMBH@g_qop_PcGmCPAF`DOaWOKGMCDAC`BO`WYCK}E\BP`eOrWWsK]EPBI`coqwXCKeELBJ`dOpwWcKMEFBD`aOpWVgKqD{BM`_?rwWOKuEaB@`g?nwPoJmCcAv`G_mWV?GuDsAO`F_nGUKJIDjAs`ZOkwTwJqDWAx`\_jgUwIuD_Aw`\?iwVoIeDIA|`R?oGT?KIDSB@`R_nwR{IADDAc`OogwRSHqCzAX`LofgQkHYCfAV`KOdGeOAA?~?`_NoGWCCAA@B?^_MOFWB[@e?|?Y_KoEgB[@q?|?\`^OnWV{KIE@B@_POGwCcAU@N?e_POHGCsAU@N?b_cOQWHkCqAT@J_ioTgI{DaAr@S_]ONWF{CAAB?}`EobgP{HACdAP`ZOlGUSJEDjAr`TojWTcIyD`An`QohgS{IaDTAhbI`b?o[W_KTEMBBPaoocWsKJEFBCp\opKWoJrDwBDPaonSWsJxEMA|p[WmSVQJfDuaypUOmKTgJdD[AyP\OjkVWI|DZAxpYoi[TOJXDTAupT_lsT_J`DVAvpQopCWKIPDHBAp`_g{SgKNDKBAP^Og{SkKDD}AcPQ_n{W?IXDHB?pEgb[PmGxC[aLPXOeCQ{JLCoArpJolCUgHbCpAspI_k[QcJHD^ATpW?dcUCH\DaAUpROccSwHJDNARPGoiCQ_IdDPARpG?i[P{IpC\AiPTocKPwIlDTAPP\ogKV_IDDxA`p]_gcVoILDzAapXOf[UWHxC~AsPN_lSRsJRD?ArpMWfCRaHtCya[pKol[V?HdCsAuPLOlkR[J\CuAvpFOgcQGILC_AapF_gKP{IFC`A`PN_c[QSHzCzARPO?c{R{HHCgA]PWOasUKGnDaAKpX?bCU?GjD^AIPCohkSwG\DNAGPS?aKPGIdCNAgp_?`COcJzEAADP_O`cOsJ|CJA~pI__SQsGHChA@p@od[QoGLCmAAoyojKM{I|BlAmoy_jSMoIvBmAmPaoZsL{KTB`BCpb?[CWwFFEL@pOu?eSRKErCs@lOuoekLsHnB[AZP_oYcWSEnBRBBOs_ocLWKPBTBBo|_]CNCFnBq@{o{o^SNSFvBs@{OyO^{M_G@B{@qO~O[kMWGBBf@~QQOc[QUHLCfaQPIGdKQiHZCkaVPIweKQ}H`?s_[OLWEsBe@n?g_SoJGDSAu@V@r_vo[GMKFQBd@j_vOZGLkEiBRCXaJpDWacPaGlCRaFpCWaSOyG`IAC}Q^hN{gARzI@cza[XMWfaRcHxcyA\hMgfmRsHociqThIsdUQnHVcgaUhJ_dMQcH\ckARxJGdAQgHZcdAZHLocyQYHnccaYhHWeuRUHKcsaQxHGeQQSHdceaXhKwcqROHMcsAJHDWeUP_HccUaXhLGayRMGncRaYxD?e}PKHmcQaYhDOeuPQHkckAGxCOdiQwG^cOAUXJgaQPAHZcNQEXBS`mOzG[cHaRxA_dAQcGUcgaDXI_`aQeGVbwa^HO?^IN]I@c}`{xNw^QR{Focx`vXMg]AM{Hpbna[HM_]IRcF`ca@twz?cUQKFXblAOxH?\mQMF[c^`thFo\IMaH?bhaOhGG\QPyFTbgAWxJo[mQ}FKbeaWGxoeIM]H`b[a\gvWfiLsHvb]A]GvofeLyHzcn@hGsGd}LCHbco@hgsWeELIHad?`gHNgXmR{E[c~`fWrofqS?E^c^@dWqob}KmH?bKAOhFgXeKsH@cb@bxGwXAKaHDbHAPHH?XQKeHBcWa?XEO_IPeGBcAALH?obYOIGtby`nw}o[ANmF@b{`ow~O[QMCFwbv@~W~_]iNuFjb~@yX??]uN}FkbpaLw{_baNIGxbrAMhF_]aPuFfb[ACguW_yO]EsbYaBXAGZYLmGObU`pgto[]L]FGbW@qgwgZILaFHcB`hx@OYiOOEgcC`iWt__qOUEjeZ?UgJcDmAJ@B_aOPgGSC]@x?}__oNWGCB}C~A_`OoggScIMCrAY`LofGRsHuCfAS`IodgRCH]K^EPbGPcgqcXMYnLYekRUXjctmYxLWelrTxjKtiXqLPe\BShfotYXwLSe\bSxfgtUY[K}e\bQxfOsqXwLLe[bSHhwruXoK~e_BLheosEXmLAe[BPHgWr]YQIgdTBPXTGsYYMIedTbQHhOi]XCKqeWBGXeWpyXgK_eWbFxcWrUWWLPeEbSha?tQW[LReFbThaGtUYQJ}d}BQhggniYOJ~ebA~XgwnmUkK~eaAuXgWlmUsL@dkBOhYwsAUSKoddbKXXwrQUWKqdebLXXorMUELLefAnhhwkEY_JAd^bRHW?smT?KjeVAghSGqiX]IdeUahHSWqqX[ILdEBIxPOq}SUKkdCBJXPGqiSFIAdAQ`xOsgUWoK?e?bEX_gpmWCKYeABFX_WpqXGJmeQazx]GqaXKJoeSa{xcwnIVCJgdpayX\gm]VGJiduAxX\WmYVAJvdmA|HZgnUVkJ]d{avx[?naUGKQdabCxWopQUMKTeJaqXX?pYU_IqdgakxU_lITiJRdZatHYgjYTWKEdUb@xTooaT]KHdWbAxU?oiSgIxdIamhQojmSmI{dKAnXV?heS[IYdFaexQ?hqSaI\dHafxRohI_CKqeYrKHeKrMXh?W_JoDgECBI@f?m_WoJwK[EYBH@d_sOXwKcEUBL@b_sOXw`COeGTCKaEpAw]{NiFrBu`|o}G[{MUFHBe`soyGZSLaEvBX`movG[CMEFDBb`nOvwYSLMEhBT`jOtxVCjeTtIzd]qnHOSgMSJICdBQ`yDlAq`ROmgTSIyC\AY`HOggRsHYBT@]_vOWgMSEYGx@q_mPGgLCQYHX@m_qPIgeCEIA`AE_aO\gIcGIAP@y_kOagNcCy@XBm_WO{gEcNY@pBya?OOgFcNyEh?u`kOMgDcMY@`Ba`sONgZcCI@HBQ_SOogXCAI@HA}_SOrgWcAI?d?Y_DOBgAs@x~k~y^~N{g?s?H~s~}^zN{g?s?H}p@E^oOQgJB}yA_~e_iNvf|CCx|`Be`iNffsCLx|HBa^UOygZByh}W|Q^eNNfyBsHyW~U^gNPfhB|YGG{eaCNKg`briG_{u]UPEfdCPXwO}y]?Npf]bzXwG~A\{Nnf^b{hvG~A\oNqf]BzXuw}y^]Mzf\B{XtHBQ\SOqgVbhXspBA\MOrfSCKXrxBm\?O{fOcNXsPBya?McfPcNxqXAM[gOefIcHxqpAa`IMWgQBdyGGwuaCMMfGcPiGWw}[cPCfGCPXoxAe`SMGgTbaYD_wi`[MKgUbaxmP@u_}LpevcFhm@AA`CLrgOb\HlHC]ZSPGetcQhl`CeaWLmgdbZXk`?MZIOCerC@Xl@?Y_CLberc@x}wuA^kL\enB}Hjw~e^uLaf|BWXyw{U]iNBfjBpHz?{Y]ONYfbbuX{Gym^CMkfpbjX{_yy^KMofqbjxnWxeZwMYfLb^hr_v}ZyM]fMb_HoG|m[EN[fmb`HzowI[IN_fBBvxuOve\eLtfWb\hugv]ZsMufYB]IaW}}^dNmfur{H}K~m^nNwf{r|h~Sb}Q@G|c^QOhGKcYQFHDcaQPxHCJ]DpA{`[omwVSZ}MFF?b_ppGwS]eNXFmbtpzW|SYULHE`bPPhgs[XEK^EObHPdGq\S{h}TBi]dPIfpSYiOT?i`DPygHSUhbStiZTLIeTRMhUSviUDMIdpRqhqSni\DKIdhRmhTSdiRTHydDQehGSoiNdIyc@QqhASliPdJycPQygrSZiLTFIblPygeSYiIDEyb`PYgiSXiNDEIbhP]gVSMiFtBY`dOigbSOiGTCYaTPIciSpiXCdieXH]coSshLDLiRHRUgGS{iZd?Y_PRegESyi[D@Y_pRmfuSFh}DAI^hOagQS?h~DAY_xN}iQRuidc}ihPNUiWRvifC}YhhNaiQRhhtDRihXMmiSRmieCzYhhMqgSRbiDcxI[hOqfKSLhsDBy[xOyh?RUhgdGYYPQIg}RRhiDHIYhQMeOSVhadDYXPPaeKSUiHcqYWxPQdeSeiSClIUhQUhMQuiScmIdPJ]iQQNidccihPHEiWQRhGDRihhHQc[TEhDDPyPhSUiGQJicCbIgXGehyPjgvDOiL`RybYS~i_C[ILxSEbFP^gqSWIKLEIdqQlhVCmiTxJmd_Q{hXCniUHJudMRJhTcriXxIedORKhgCjITPKuemQ`hRCuIShLedERYhQCvIZXIIeGQ^hLcnyR`KAcyR@hOCoiRpKMbmP~g{C_INPGEbqP}h@C^INXFueyPphnC[iZxFMf?PshpC\i[HFUbIRnhwCXi]HE]fcPghyCYi]XEeauQFh@cUYO`DqcIP\hCCViJPGYa]PSgecSyI@DUaoPPgjcSiIpCyocKjeTRJHdsq}XZC\aNPFwcSQAHBIQdGqbhP{hMS`QFh@s`IOlGacLQJhCsaiPlGycXPXgmsUiJ\DyaxPRgiSTYItDaanPMggsRyHlDIa`XGKTUIzDdaup^WmkNEEJBhaIoqW^kLEGJB`aMouW`kHEEJBH`MosWTkMeDzB``QouWUkFuBjAL_qo`WLk^eAjF`_epyWHk^EAjGH_mq?WJkGEKZE@_qpcWLkFELZAHbMo]Wsj}eOz?@cIn}XCkbD~jGh_IqMW@jueGjBp]mo}VkjwEGI|xaMn[W`kadyi|HcMnIXCkbDyI{xcIqMVekZDwYzxb]nCWzjqEMI{XbepsV_jkeOizPcMmuXCkadvJGp\yqMV\kHDpzAX[aomVJkIDqZAh[imWWUj_eLiwPb]psVDk\dpIwpbamEWxj\eIiv`amlyWkj^EJZDx[Al}WmkWDjzEHZApcUpkYdkjE`ZQpeUrjQthys\YQlPUejDeNIp`byk_X@jEeNzFhWyk]X?kQd]ZCpVqpMTykSd]zC`VypOT|kQD_YoPa]j}WgkRD_yo@aepIUCj}D{i~X^YnaVvj{D{y~P^QnqVtjODtiyXXumgU]jidfysH\ammUajLD`yrXWakmUDjKD`irHWekSU[j[dcyqpZ]kaUtjZDciqhZiloUSkCDZz?XUuoGTmkAd[J?pVIoMTpird[yl`V]jgTgisd\YlPVajUTuinDrixhTmm]T[jgDVYjx\Ij?VPiidWiipUMiqTcilDXikHT]ioTdihdjii`Yui]UhigDiitXTIlWTPlxeCJ@|`EoZWKkFR{x}c~UEFBD`aRlXuKzI\fMufYRVXkKt}Y|LaeoRXhk[uUZPLfeqTrYyD[ymdVNjgtWYkTUMjHTeiqtTYitTeinTYikVIR`lomwX[NmGVBj_xqaxI[DmQFAJcXoixK[HmBFHz_@nqvwZ~m?e~Z_PnuwGZ}m@e~j]\nQvjZul{U|zbhnIvc[]lwFGJcHnExCZplwFFzMDeqrZXnkwuZj[PnmvqZ]lne}Z[@nivEZyloe}z_PliwAZ\lkE~z_@lewGZZm@evJXpq]xKZOmSEsZcXkqxGZNlefHZcXkYuU[fmQEpzchkauQ[gldFHjaxjiwoY|l^FFJbHjmt}[ZmLEnJUTiytfYplVukJSPpEtG[SmJEhZaXiYtE[QlRfDZQ@nQveYPlyedZQPnYsgZwlHe|zMPpure[]kyFFzMhqAxCXvmOe\jKpp]rS[ZksFEZKxparU[[ksfEjKXpMr?[PkofDJKPpIrG[TmJEXZJXo]qy[Dknf@j`@diqw[IknFAZ`XcywWXNkgFBZIHpAqe[NkhFBjU`lItiZRliEljYhj]umYxljEmJPPhqtAYNlMeazRpgqt?YLlNebjPHm}vSYClte`Z\`gYsMZmlCEzZW@f}uAY?k~EojOXkUsCZCl?eozNhierwYjlUE]ZT@fatYXylTE]zIhhaqoYZkiEdjQxdYsqXXkjeejH@mQqQZekdEyJHXm]qYZhlqeRJx?@A?f?P_IoCgAdOygTSJiFtBY`dPEg`SQiBtAY`CPqGvCYg}s^iN|GAcBQAnoFujzh|i}w^`nmFvz{P|m}{^ZnfVszx||A}b^QncfoJvx{i}U^Anefozx@{Q}A^KnmfmZzpzi|w^_n]fwjvX}E|{^^nXftJy`zQ}i]tnjFmJypz]}i]unIftzyxxY}o]VnLFuZzHxe}o]WnIFrJpx{e{_^InGfqJqP{u{e^JnfF_zyXw]}c]GnAFrzop|A}a]DmwFpZlh{U}K\jnbfZJlx{]z[^EmVvKzeDrIxh[pnRf[ZmXyq|O\smxFiZtPvY|U\tmrfjzkhyuzK]mnWFYJuPui|a\hmqFgzsHuIy}]amoFhJkXyY|I\`mlF^zjXwAyy]AmmF_Znptyyq\|mhf\zi`vazq\Tm|FTjj@vqzu\Vmefezhpxqy]]\mgFfjiPyAya]^m\faZf`wixy]Jm^FbJg@wyx}]LmbfLZh@rYxm\Hm\FQjfHsqxo\JmTFOZgPqmyE[hmUFPJdpsUxY\Eol_BW@{?y^~N{g?R~h~l?ExR[jmTVJJdtqvBG`]ooGYKKiD~BC`eoogY[KYE^Ai`]ojGV{IyENBC`YooGU[KIDb@k`ZoYgU{EIDvAy_qoYGVKJaBN@_`goTgXKDaEZ@Y`foVgY[DqEVAk_Ioig@{@YDf?O`WojgBK@IDj@}`Jo]gQ[HqBzAS`@o`GR[GACr?}_doOgHkCAA^@S_aoQGIKDIAN?e`BoKGPkAaCR?i`DoJgQKAqC^@m^zo[F~K?ABi~y_xn~gNJ~qBm~i_LnzGBj~A@A~m_Nn|GCj~I@E~g_Bnxg?k?H~A~]_EoAf{Z}Q?Q~Y`OntGSz|aC}~Q`PnvGTJ|YDJ?q^boLFxKBX}U~K_\oNFyJ{y@q?T?K_DoBG@[?itFYclQugjSti^DoakpUgmkUAJnD[a|pWgnKVII~Csb@pMgn{RYKJCwa}pNgoKWYHzDoaAp[g_{VQGRDuaDp]g`{VaGZBaa}oxGn{MYKBEE`towGokMaKFBT`jovWZKL}EvDOatpTGlkSqJJDUavpXgi[SyJRCOaSpCgd[PQHZCmaJpEge[PaHbC[`{pFg^[QAFzCa`~p?gckQYGBBoa_pPg][NYIFDC`yozgh[MqIQoRWJkDT[iltUuj^TpiwVPzhDseyT\KmdxAC^uO\GDcEQ?x?C_eOTF~b|Q@w}c_]NpGPbyQAX@S^eNlGLbzQBw~c\uM|F~boQ?w{S_ENLGDbqP}wtkY}LbErbZplWsKYMLJEfbTpiWpC[UKTFFbcPbWxcXMM\ENbdPcWwC]}LpFhb\PzWvc]mMDFpb^P{wyCXUMdEVbiPeWysXmKxFZbNPuXNB]DnIvbX]klUUzJ|duqxXLkcUQZHTcqqV_XoLWE{Bm@z?xb[pmwv{[MLzF@dTqgxSkieTZIfdLQbXQCheS\IVdHQfXQciES|IJdUQaXTCg]R|IbdQQ_XTSgMTLIDc{QdxNCheRtIZc}QgXNch}RtI\dGQJXDSgmShGpcVQbXQSbUS\GrcrQ[xMCf]R\HvcuQ\XLCfURTHrccqRXG[c]QJHJcHQ_XAcgMOlIFcKQaXOc`uR|GZcpQRxICdmQdH\ciQWXJCd}RHHVcQQOXCSbePlG^c\QHxFcaeP@G~eU?Bo@w@C?a?R?Hi{t]in\Vqj|T|i~t_IoLWIkHUBmwVYzlduuz^\mm]VMzftruy@[~rPHjktyYVLEeorQHk[syZNLKeqrJXeKrMX^KteZrKHiKrQYfLSeVrThe[tiXnKkekrPHb[sYWzLGeNrQhckqAY^LKePrBhc{pIXRKieGrIHakpaXNKieJrMH^KnyXvJye]rNh]{nqYFL?e?rVhZ{tqVBLadprXH[kmaZNJeeoqphi[tQURJIegrThXklAYvLWdfqmhfKjqXvJ?e]rNhV{sIUJL?d`qzh_{nQWZJie@qzH_knIWRJoeDqthUklIT^JSdWquhU[lqTrJWdZokWU[ImDZAt`V_GOCgA[@Q?j?Pnsvyj|\}q~\^lr}I@|?q^zOCf|s@h~|?i_FOGg?rwH~K}a_FNaf|rxH~k~y^VNeg?rpXvkz}]BNFf`s@HuL?Y\fOGfYsAhu|?y\vOKf[r\H|k~AZnNme{r|hnk~IZ~Nse|rzhlKui^bLkfxrZh}{vA^ZNsexrhHykyY]nMkfkrjhzk|y\RNYfTreHxKxy]^MYfdrfHy[yI]bM_ferdhp[wY[fM?fEr_hp{wa[bMCfIs_hM[f]Ri}N^DnbXHkcMQJHFccqQxFKbmPzGvc^qOYPDH}cPQ\hOSbYPTIMcXQZhDShYQDFuc@QXhHS^yQdGEc\P|g~SdyBdG}_|QPgPScyCDH]`HQXgRSdYIDG]alQDgeS_yHtGMadQFgiS`YRtB}`hQdhPSLyFDHmd@O|g\SfYJDFEbDPzgxSUyJdFUb@PvgnS]YHDE}aTPdgrSOYLDCMbXPDgbSYyDd@e_`OhgXSDyBTAm_hOngWSCyb??c?Q?J?E_Ao@lFucBP~eRrIxdG@c?m?TdVqkXU[j]TrItdzq}X^[nuWBJ~gSsIyDlA}`fOpiWTLyfDREhtSri_TLYftRUhxSri`TEYgdPmiLS\icTFycTSuiTS`iHTIYctPMhHSViSTDycdPUhLSTiGTEY`dQEhDSPiFTFY`dP}g\SZiVT@Y^TQmfxSjh~TJY_TQ}g@SlhpT@y[dO]fLSHhsTAY\dOmfTSJhjTLyfDLehtRZi]SvY[DSEh|R^heTSyYdTei`RRhgTTYXtT]eTTNifSkyiTJmdhTPhZTTYVdTedpTVhRTOyTDSUdTTFhUTQYUDSud\TJh^SzyWDNEeDRrhaS|Y^DKeflRFiBtAy`LO}gbSLiHtDyakvUZnLxe|r^xnl\InJVSjqtti{|]amzVgjltuI{|Zqm~V_j\tpI{\[Im~V?jptni{L]ij~Vij?tzIo\]ykRVmjBtzIol^AjrVuizt]i~L^QjjT{j|t{im\^IizVoilt|Ij|^YjBTcj|t}Ik\YymNUojctkix\ZQmZUwjgtlix|YqlBUWjPteislYYkzUgjNtiiq|UYkVTgjEtYip|XAjZUSiwtcil|cQnzV}kfu?JG|_QqZWAkdu@jHLbIqjWukhuJJILdapbXUkYuJjJ\cApRW_k[uGjF\aQpzWik`uHjF|`QoRWUkDuFJAL`aoZW]kHuEj@|dqrjX]kzuWJNLeIrvXek~uXJNleasBYAktuZJOleysNXqlDu[JPLh_?DYLlL?@JP|ho?HYP?@UfjQW?YtDYV?BUgJQn