CAT(2450,2)
Sparse6:
:~?eQ_?O?G?CBG@_?p_V_KWDwBA@o?t_ZOLwFKBi@p?w_\OMWESBQ@f@@?]oOOFsCGA@@A?\oOoF{CK@x?m_VOJgI?BE@`?n_f_QwHoCiA]@I_e_QwH_CuAW@M_a?SWGgDAAc@H_b?SgIGC]A_@G_q_SoJ{DSBB@^?jOT?KKD_B@@V?oOW_JkEGAr@b?loX?JSEOA|@b?mO]_J{EEB@?t_ZOLwEsB]@j?|_\oNGF{CA@|AE@?oa?OSGKBzAC?~O`oOCGSB~@p@@O[ONkFKB~@r@?o[_NsFGC@@y?yO]oMkFkBl@y?zo]ONcF_Bx@d?yOX_MkE_Bl@w?so]OLSE[BnAC?to_oLcEsCJ@o@BoZ_PCE{CLAo?foRgHkHIC`AN`GocwQcIWDVAd@UOgOTkIgDDAn@Poh?TsJ?CvAo@MOkORkJGD@Aq@NokORsI[ClAf@Joi?RCHcDRAg@Ioe_TKGcDVAI@UOi_P[GoDZAM@VobOTsLO@X?j_UoWgKcEMEhBS`iotWYsLYEJBH`dOpgW{KaEaA~`g_oGYWKEEeBC`h?owYOKIDwBV`\_twVOLaD{BX`]_uWZ?JeDeBJ`Y?rWUgKqDmBM`g?mGUoK}@P?h_TOsWY[LIBj@s_zO]GNKF]F{B_`~_wW_?MMGCBda@_xG_GMIFfBq`yO|W]{NYFWBx`w_}G^?MyFsBo`v_}g\gNeFMB}`r?~w\GOEFOC?`t`?w\OOIEsBz`l_}w^_LqFyB]`}_vw^_LuDTAj`UOjWT{IyGHCDaBPAW_{OaHECPaH@HGcOPAGiCdaI@HwaWQYGSCaaD`Gw`_QQGYCdaF`Hw`oQYGkC[aM`DwboPeHACWaO@EwbwPi@P?g_TOIgDKAeIQD?AbpOOg{SKIPDAAcPP?gsSSILCtaZPLGe{ReHpD?AVPOOd{SOH`DDAWpKog[SGHdCgA\PIOf[QgHxCjA]pN_dcR{HZ?j_ToJWDkAq@XDi@lovGZSLuE~B]ap@ZWlWUEJWDdat@Xgk_U}JEDmaq`XwkoU]JCDhao`YWk_UaJEDgau@UwlOTqJUD\au`Vgk?U}I}DmacpQghsSqIVDLai`RwioTAImDPak@Sgi_TiIqDRbI@b_mCW{JdEPAwpcomcX?JfDtBHPb_n{W{JxEOA}pcOnsWCKdE?BHp]wnCVeJtDvazP__pCWKKREFBDPbOosWkKHEKBAohwTKIaF@Bb`pOxW[KMQHPChaTPIwdkQqL]EtbZ`kGv?ZELsEqb[`lGuWZYLWEnbU@kGtgZELYEqbV@lGtoZMLVEebRpigtCYeKuEtbM@lguwXuLoEYb\@fgvGX}LAESbJ@ggqwYMKoEcbQ`dWrGYANC@p_xo[gUcJMDpAt`Zolg`[OiG\CLaFpBGiKS}IfDQagPTG}G]qNeFlbv@|G}O]mN_Ftbv`|g{o]mN]Ffbq`zG}?]aNSFlbv@yW{_]]NGFhbp`yg{g]INOFabp`xgvW\qLwF]bm`oGvg]EL{F^b^`wGy[\QMnFWbiptgxg\qM[F\bf`vgyO]AM_F`bg`vw}O[aMMFubc`|W}_[iNeFKbw`qwzG[EMCFXb``uww_\mMsFEbl@pXDgAY@J?fbnPvGzk]EM~F_bFPbwqCXEKfEQcWqKhEkbAPhGrcWQKXEcbIPjGrcMQGHB{`uOvG]cZAEXAgb]OkGwcJaMXBObmOoGycFaLhAGb]O_GxcIAMHFW`IOeGycCAJhDg_MOGGlcAaJh?oa}OMGncR`~XD?^yPUGAcS`~xDO_EO?Gkb}AIG~Oa]PQFvcT@}G~WaqNqGjcDAGh@GaEOWGbcRABh@gaQPIGJcjqTHIkdYQrHWccAXhKwcqROHHcsaQhLWcuRSHJcoAUhKGdmQwHacnaXXJoeMQyHccuAOhLgcMQIHpcbaZhG_fAQKHnc_aRhF_c}PyHOcgaNxIWbyQcH?_QoHgC{AU@N?edK`uWz[\iSkIOdHadhQwhISiIWdKAcXQ_h]RpHxc|Q]xNkfqSqICdKa`XROg]SQIZdLa`hP?hiR{IOc~adXO?hESgIAdHa_xOGhIReIIcyAaxMOgqRiILczabxMogyTyGfcSQIXDSaqPVIbD]qg`Vsk?TJJ@DRQnpSckGTNItdZqlHUsjeTpImD]qo@USkCTfInD^Qo`UCj{TbIyDSQiPVSisTxIiD]Qj@V[ikTvI[dMqfhSKh}T@G~c]QNhGCbuQBHAc`qPHGkc]QLJjDrQxP\SmCVNJaDsQz@[[mOVRJBdaqphW{kaUHJTDrqt`\Cl[VRJkDlQuP\SmkUpJJDrQw`XKkwVHJIDoqr@[kksVFJNDlqs@ZclCUzJ]DiQw@Y[lGU~KPD~r?H_KoQWFKAd~BAx`gnuWWJxd|BCH`wnmW[J{dubAxa?nAW]JqeEazh`onEWWJneAa{x_onQWMJtdzBAH^?oiVmKHd\QmxVcqMXHKdeRRIHc{p[XVKZETrEPdKpgXRK[ETRE@dSpCWzKQENRCpb{pSX@KaEJRD@cKAI@H?bdJQeHQ{lmUxJ\dnQwHZ{sOYBLDE_rQPgSsKYLLBEbrQ@gSsOXXKlEarJ`gsq{YNKpEcrK@hCraXrK|e\RMxfcrGX|KrE^RL@f{r{XjL?EZrO@esuSWVKNeERBXaCoyY`LPeiRShi[tUZIL[erBVXlOuEZML]esbVxl?uAZILUesbTxjGuYYuLfetBUHjOuaYSLaedbWhh_uMY[LceqBRXhwuM@H?b_QOGwCSAIZDLcepr`ppKw_[RMDFDrapo[wW[TMIFAR\xnCvmZxLye{r[PpCw[ZdMDEyr[pocwWZlLsF@r^Pl[vwZXL~Eur[@oSwCZ\LnF?Rc`rCx[[rMRFLRfPqsxk[hM[FIrf`pky?[\M`FFrcPs[x?\DM^FERi`scy{\JMeFTrhptcyc\\MgFUpPwhCSYKJEAb@p`wosWQMNFGbcpqgx[[qQPHJceQRXHKciTDIbdQQhXSsi]VfJsdyq|h]{naXXKleVRKXd{rAZVLkevRZXl{vA^?NYfobuxzg|]]{NWfpBvHzw|e]mNPfhBuHyW|e]gNZfjBuhyg|q]WNPfdbthyO{y]eNNfiBrXyg|A]MNKfdbpXxO{y]]NEfcbrXx?|A]MN?f^bpXwG{Y]ONAfdBpHxG{M]?Myf^bmXvg{Q]AMzf^Bohv_{M\kMzfZBmhuwze\{Mwf]BmHvgz]]yMofXBwHug}E\aN]fXbwhzwzQ?l?V_KOEWB[@i_}?[_NOFYD?AA?~?`asPYWk{YELDEdbPphGsC_}OhGOcGqCxASfQRjHrcxQ\xMskmURJIdeQrhXkpEWdKUeHrDXactYYnLWelrUXjSxI[fMSfJrdhqlCoadPLGhsRaIdD[abPUGfsSAIlCoaLPOGcsSQHTCsaNPJGfSRqHDC?aLP@GbsOaHDCOaRPJGasOqHTCC`tPAG\sOAFdCK`zPDG^sPAFtBo`hOtG]sLaF\B[`tOxG^SMAF|Aw`hOuGVsLqEDB_`bOxGXsLQETAk`fOkGVSJQEDAs`dOjGWsJAD|Aa`POigTSIYDK}K`JNcGRRxQC|AG^LNgGPsH@{|?sadOMGhsBqId@?ajPVGHSTaAL@{_POHGOSGA@d@{_NOJGOsAaCL?C_rOAGLS?qB\?O_xOEGNS@QBl@c^vOYF}R~qB\@o^zN}GMs?ABs~S_fOSFzSDP}|@W^pOWF|SDp~K}{_fOSFwSDP}L@W^dNsGKR{qA{}c`NNlGQryaCS}k`FOcFvRzACtJw?T?J_EOBW@{?yeS?O_GoCiY?@M?j?ShgSsYYTLIebROgkCmIVHDudsPZh\cUYV`DidyP[h@crYOPKue]QEhAcriXxG]cGRMg}cqiXPGEeUQ?g}CqyNxKqb{RKhaC\iMxKUboRFg{cqINXKeeKPyhbc[yWhFIeGPogwcqYWpFQeOPtguCniWHEibURBgucoILxJ}b[RAgqCniKxJ}e?PhgqcoYKpKMbORAgnCmIVHD}dsP_gocmyKXJubCQ{hXCjIUXIud[QshVclYUHJ]d_QuhRCgISxIEdOQahPciYShImdGQihLCdIRXHUcwQUhMcdyRHH}coQ]hFCaiPxGac_QHhGcayPhHMccQKiQ?DgA{@a?r?Z_LODgBC@]?r?Z_LTL_Bc@q?|?]_MoFYXlK}e\SuI]TLqfdRshpS}I\TNaf\RshrScIWTHaeLQ[hfSqIQtIQelQ_hhSiIWTKaddQkhbSrIUtLQd|ROh\STIZTDafDP[hrSvIKTEaf\PchtSiIFtJAaDPChVSQIUtDAd|PKh\SHIQTAqctQ[gXSIIQtIA`lQcg\R^hoSwY[\MQfDSbHkStAcLQCenSaHjSsqc\LShDRXILsuabtLkh@S^HnTFAZdPsezR|I@s~a_dN{gJSEI?TAA_TO[gBRrHzs}q]lNOftRpH{S~A]tNGfrRdHtsxa\dN?fPRhHvsya\lM[f\?I_DoBG@k?}?\?I_DoBG@k?}?\UX?GOCGAK@I?d?PiOtGic\@e_tOZgMSFYBtA]`DObgQsHiCdYCkzUYJNteQr|Y?kvU_JNTgQrdW[kfUTJCTaqqdWgklUKJKTdqpLWskfUTJFTdqp|XCkhUUJGTeAqTYGibTSJQtSqsdYKidTTJRtTastWCkrUAJLT_qr\WOkxUEJNT`QrlWsjvUMI}TbqnlX?j|U?JHT^qqLVSkNTuJCT\qpLWgjpUKI|TaqnLU{lPToJSt[QtTYsjdUjIxt\AtdUejTTjiuTZillY_izT]JStVqtTYkj@UlIpTjAkLYGinUbIkThAjLYSitUfImThaj\SUiLTIicTQYg|SmiXTOietRih|R{jFT?IqTOQklSOjLTBIsTOak|JadrQyh\snIVlKQeLRHhasqIW|\_oDWBJku@AzT_WmzVZKBu@Qzd\GoDWBJhttr?t_SmjWCJiU@qyt[ooPVLKCtrb@T[{oZVOKDtsR@d[koZVFKDtpb@D_cmPWIJctqb@dZQljUujZtmYvDZilvU{j^tnivl^om@V@J}toq~t[Gn~VDK?tpB?D]gnlVlJ|Tyq}|^cnXVnJ|t}A|t]On`VdJwtxa}l][nfVqJstyA}dYwm|UnJntkA{DZCnBVbJXtwauT_wp|WNK^uCRGT`KqBWQK`uCBGDbGppWrK[uMbEdbkpjW|KZuNBEtcWpDXFKPuHBHDa?qHWdKcuPRCL`gpXWZKUuFBDtb?ozWpKNuJrBtaWohWfKIuIBAtaconWXKTuIbBDek@@?^_NoGGCKAEcFQAhAS`YO|GYjFTciqtXilDU]raXvkxE]JMpferwXrkyE]zMhfircXjkyeZJMpeurgXnkxe[JMHeyrOXkksEZZLHemrSXoktEZzLHeyq_Xvkge]JIPfeqeXyk}ETZI`fmqSXakdeWzH`eQqYXdkreRzKpcyqwXUkmeTzJpdaq}XXkleWZK@ditS?S_HoDWAc@U?fSoiYTKie\RUhbRRhiStYY|LYepVuj|T|y~L^mnpVojwt{i}\^UnhV_jotwyz|]Im|ZILZUqrU|kstvZKL[UmRXDkcttZALWUlRW\jKuLZCLWulBW|kStdYoL]UkrVljwtdZ@LWunrUljOu@YlL[UirUtiotnYmL[ujrV\igttYhLUuiRTTiktNYnLRuiBTdi_t\X|LOu^bSTgGtFY@LQU_BStf{tJYZLcUqRRdhsuTY]LeugBXdh{uVYTL`UdbW\h[uHYWLauebW|hcuLYNL]UcBVljwsbYQL^udBWLhKu@YJlCuajPdgus\YaL@ugrOdiOsLYFLRUaBSLiSsJ[[JHtdYqdXaklUVkUUJZELayp`WnkRUHzDDaepVWimMFIJbhqew{[imOfJZc@qmxW[^mPFFJcXpuxG[]mRfFzcHqUxK[_l{FIJ^HqexYZ|l|FIj^XqmxWZ{mPE{jcXnMxIZslyfHj]xq]vk[clrUyJ[|mivVZhmJEwJbXmUwmZ`mKEwjbHmQvE[YmGEujZXpIwaZ]lmFDZZxpQweZ\liFCJYhpEuk[QljfCzZHpUuo[SmLEsjbXlMwkZPmJerjb@k}wqZOmFFAZ_`oiwU[DmFf@j``oawY[FluE~j\hn}w?Zpm?ezj_XnAwCZnmzFXJkluYzP\hmrv[bedv?xj\pMZVMBm\rczj[vMyVJbmTv?x^[pMxv[ReDvOxf[qMyvUBfTtcxv\YM]VUrfltsx~\[M^VSblTtKzV\TMuVTBllu{yn\mMjVPbhdssyP\NMcvRbg|tCyT\OMdvVbgDt{yB\AMovWrg\sSz@\CMpUgZSTiMtHYelQveJqdx]{r]TnJVgBptw{|B]PNPVcbs\yS{`]RNQVgBmtyCzn]aM{V]Rs\ySzv\yNQVaBoTwc{F]CNDV`Rp\w[{Z]ENEVebndxkzz]]M~VfBn|xs{@]^N?vCJaTpEwf[TmIVEjatp]wp[XmLvibx|y[}V]gNeVirxlyW}T]hNfVnbxTz{}^^?NdvoRxd{s}F^ANfVmBwd{W|r]yNavmrw|zs}R]{NcVkju\zQ|j]vnZVjBwdys}J^ENVVprt|zC}R]oNcV[jmDvEzf\smyvtJyD|E}d^TnhvvB|t|w~b^\Nvvvr}D~K~B^qNoVtb|t|[~^^WNwVuR}L~K}v^qNlVyB{T}c~F^iNqVyr{l}[~Z^kNrV|C?D~\?F^tO?v|c?T~d?J^wOAV}c?t~l?N_GN}V~S@L~|?V^}ODWBCAU@L?Z_SOFWDS@}@\?b_UOGUYJLTeewR[DmBV@z_doazl\vm{V]ZnTvm~D^bnqVxZ{|}Z@Y_foVGIKDIA~@S_ooTgKkDaBF@A_foSgGkCiAb@W_boTGHkDYAR?{_boNGGkByAZ@?_`oOGH[ByAR@Y_WoVGE[Dy@j@__ZoXGF[EI@rAa?F_CoAJS|ietP\ImbVQzg|seyP]enRviZt\yi|P^snzv|Z}t~e~p``OqwWsJmEXA|`gOnwWcKeE@BN`VOmwWSJeD`A|`XOnwWcJUE@Av`TOmWTSJEDdAh`YOiWTcI}DXAv`JOXwLSHeBPAZ_uOfWMCIEB\A^`bOawXCGuETAN`eOcWQcLEE\AR`AOhwOCIMCLAf_~OgwOSIUCPAd`JO[wRCFUCt@v`NO^WRcFmD@@x?C_BO@[RaHPBj`vPIw]CQmFhCf`xPHw\cQeH\B`aWOvwesMMHdBd`sPJWecM]H`BTaVOswZSRUElCv`mPJWZCRMGtCNaMPCWccPUG|CRaKPGWcSP]GDBvaBO}W_cNmGPB|aEP?W`SN{?a?N?F_COAW@MKLD{b?p\Go[VYKJDwbAp]go[VyKBD[aypVgm{UAJrDaa|pXgn{UQJzDOaspSgl[TQJZDoakpUgm[TYJ^DEa_pPGfKSaIFDIa\pRgfkSqH}?H?C_BO@g?k?VFG`JoeWSKHmC~A\bZPowvC[MLtFDb]PpWwC[]L|FFbcPfwsc\EMTE`bPPrwySYeMXEfbYPlwvCYmLxElb\PjwwCZELdE~bcPcwrc\EMTETbePdwySXmM\EXbBpaWp[WuKbENaWpJWd{RMHnCtboQCW{S`MNHGTbtQDw{s`mNPGXcHPzXAC]}OhFpbyQDw}s`mOpFrbjptWz{\mMzFXb{Q@w~S_UNxGHcDP~x@s_MOXG@c_QFXGS`}P@HDcPQPxCscmPHHHcTQLXEsaePtGlc]QJxFsbMPpGpceQUXHsdmQ`H\chQVxKSd]QhH`b?p`Wo[_]OJGLcCqBx@[faRbHycwq^hMkfQRnI?cxq^HM[eQRnHwcrq^hLkfiR^Hid?q^HLKiAMFFFbaqLXE{bePzG~c\qhhSKiaTBIidPqhHUKiQT^IkdPqfHPKhiSZIYdDq_hR{gQS~IEdMqbhS{hATRIQdTqdHT{haTbIUdUqvHYsjMUlItdkQlxVcleTtJZdlQmXVskmUHJLdcQrxYCk]UhJBdhQoX\CluVTJ^duQwX\smUV`JbdrQ{xRkh}SvK?dyr?h]{nyWJJ{eAr?H^KoIVvJVdlquXaO?IWNKQ?ARAXa_?QWbKU?BRBO?SpYW^KS?BRA~