CAT(2450,1)

Sparse6:

:~?eQ_?O?G?CBG@F?d_QOPoD[Ai@R?i_SoIwDcAu@\?k_VOJWECBE@^?n_WoKGESBQ@f?q_YOKwCsA]@P@T_hoTGIsDaAn@O?jOU?ISD[Ab@X?boUoHCDgAR@L?mORoJsCwAz@X?noU_KCDkBB@[?noV_KKDsB@@C?boP_HKCSAP@D?dOR?GcCWAV@A?dOOOHcCKAV@L?^ORoF{CwA@@O?^OS_GCDC@~@A?]OOoFkCC@v?y?hoM?IkBcAh?z?YoLoFkBW@xAT?PoHWCcAM@J?c_YoLwEsBi@p?x`Q?fwSCHyCvA\`MOeoQSHsChA[@HoboQkHCCnAO@JOboRCHgCbAX@GOYoRCEsCtAX?uOc_PcGwChAR@Eo^WN{FyB[AT_v_dgM?H]BCA^_q?gGKWHyBsAE_}?`wNWGaBgA?_y__WMoGIBa@v_{_[wN?FIBSAJ_s?agPGEeCE@d`A_XwO_EYEs?h_ToIgDcAy@Z?e_SOHwDCAY@NBn@s_tG\WLYFSBT`s_uG\WLeFSBV`g_wgYOMAEeB``h?xGYGMUEeBb`i_twYoLeEgBW`s?gW[oIMFMAa`fOsGX{LsEXB^@eov_X[K_FHBI@qoqO[[KSF@BF@pOp_[KJ}EBB?`]?vWVoL}DyB]`\?ugZWJmEwAx`m?lWZWJMDgBY`UojgT{JEDdAo`r?ig\?IqFMAj`r?hw\?IeFMAg`Q?yWSoMmDIBi`Z?pGV?KMDmBA_POGgCSR[EnBX`kOOGFsB}AH@E_aoMGFSBeDFA``POgWSSIMDHAe`QpRoh_SyIYDMae@RWe{ReHpCva[PMWegSyHgDKaZ@RWdoSYH_DGaV`Pwg_REHeDDa``KggoREHcDGaX`PwdcQuHVCkaUpIw^wRAG?Cn`~@Jgd?RuH}Cia^@IWg?QUICCfa_`HgcSQMHHC^A`pGOgkQ?IHCTaHpDGhGOuIUCNad@Bg`ORmGWC{aD`Mg_wRuH}CHa^@AGg?OQICCEa_`@W_GRmGEC{a@@Mg^[NuFxBt`zO|w^KNiFpBn`wo{GhWNQISBrac_{ge_MqHiBmaZ?zWbgPYG{CVaK@FGbGPAGcCZaL@CWQcHICfEGbDPaWnkVqJ|DwBQp\_scV[LFDlBQPhOl{YKJ\D]aoPVwkKUMJDDZampVGjCTiIrEDBOPg_o{YCKLEABHp`?qKWKKdE?BGP_OpsW{J~DxBMp]orsVgK~DtAtpZ?mcUgJfDoBIPd_mSVCKjDeArpXOlKUOJPDTBJpTorKTWKpEKAhpT?pkWkIdE[AgPe_iKXkI^FUbkPtwyK\IM`FIbePqwxK[aMNFLB^ProwC[wL~FXB\puovk\gLxEwBYplovSZcLlFABWPoouKY{MBEkBXPj_ucYsLfFRBSptOt[\OLTFCBSPp_ss[SLNCmaWPJwP{HEC`C[aNPFWbKPmGtBl`vOzGvCZiLrGQCFaBHAG_yO_GLcBA?H@?_EOMGAc?a?x?g_IOGG?b}aBG~w_yN{GLcB@yH@?]iOMFhb|P~G~[^eNnFwbvABw}?`EN]GOcC`yx@W]uOSFkcA@xh?g]]NIGBb~`wg{_^uNEF}cF`vxAG]EO_F_bmAAWzo_mMyGIbw`|G}W^YNcFtc`?tgYcLUEbBR`hPdGqsXUKbERbHPbgqCW}KXELbDpXWksUQJRDfasPSgicTMIjDUajpvw{K]AMxF]bmqV@K[eOQvHYCqqVPJSdoQ~H]ClqW@I{eGQrH`CkQT`JCdSQnHSCkqR`Gkc[Q`HECfqQpGkc[QXHECeqS`GSdKQHHPC`qQ@G[cgQHHHC`QQ@BscgP@HHCNqQpFKbkQZHKC\QSPEsdKPpHQCZqKpIcbSQlGsCiqKHESbEPZGmcVqI`K[aoRJGjCqQHpKCacRDGgCoqVpCcaWQ|GdCmqG`HsaKQ`G`CfqFPF{`kQBG[C_QE`FcbwOpG|CKqN@AkbsOnG}CJQC`GKb{OhGRC_Ql?eKRMHdCtaZPLG\kMyFXEzb]PnWukZ]LlEqbXplHUwjuT}Ixd[AnhUwjmTqI{d[AmhU_kMTiJDdZApHU_kATiJAdZAoXRKhmStIUdKQdxQWkASiJAdIAoXQ?juT}IPdHAnhVOgQTwIEd\a`XOGkMSCJDdaA_xUGfmRwIrc}akhNOjERqIrc{AkhMgiyRmIoczAjxMOiyRgIocxajxT_fETYHndTa[HTWeqTYHmdUAZXLOiaTSHhdSaYxKoiaROIicraiXNoiIS?Icc~agxRwguTAIMdOAbxRogiSUI[dEAfXSgg]SQIfdCAhh`ooIWHKBd~r?X_Ck{WVKLDgrB@YCkoWVKLDfRB@Xko_URJJEDQq``KkWWPJGEDQpp`KoSV`JpEBr@`]SmsUdJnDiQz`Y[mOVxJdD~Qx`^kmCVTJkDpqyp[Sm[U|JhDnqw@\CncUvJzDmq}`Zcl_VfJYDyquP]clSVlJVD{Qt`]{bqPzG}c^qOHGKqGXxK|EORMpcKrUXnKue[BHhfOqaXqKfePrHXccrcWfKyEHRM@aKowXxKzEGRBpfkq{WzKpENrK@bspkXXKmELRJPbcp[XRKXETrE@dSrGWhKsEJRKpakiaTTIhdTqjXTciyT`IndWqkxUSrwY~K~EorW@gCtcY~LZEorU`kCtWZDLcEkRTpk[uSYfLfEirX`ict?YxLQEnRSPjksuY^LMedRRHh[s[ZDLcEcrQ@k[uWYLLCEqrPPk{toYBLBEnRVPgSoaWTKHeDrBX`cwM[JMCe}r^xnswWZhMGEzR`pmkwWZfLqFCR[Po{wcZ\LoFDrZppSwcZVMJEura`lcvg[@L{F@R]poKu_ZnLiE{rYPnCxk\BM\FPrf@sSxw[jM_FJrfpqsxG[XMSFFRcppkx_[^MPFLRc@rKys\HMeFVrj`sky[\TMhFURi@t[Bm@z?{__oOgG[BU@n?u`[omgV[I]DRAga|P]Wn[VUJfDsbqpxw{s]INHFbdEqbxPsgmSXIIeHrChaKoyW`KNe|R^Hn[v]ZrLwfoBuh{O|q^ANZfmbtxzw|e]{NWfjBuhyg|q]gNZfkbsXyW|]]cNWfjBrhy_|A]iNNfebsXyW{q]cNJfcBrhxO{}]QNOfbbrXxW{U]WNEfcBpHxO{M]QNAfbboXvw{Y]?NDf]Bohvo{Q\yNBf_BmxwGze\}Myf^BmHv_zY\yMvfZbmxv?zi\kMxfoBkHuO}I\aN`fmbkxzwzU]{MsgJ?EGAs@]?r?Z_LSG_Bk@y?xOg?OoGGB{A}@b?o_pOXGK[EUBN@eaEpBw`sOEGFCAbTPiWt[YaLNEecQQHhCkaIPFG`dhQtHY[lUUnJUebrQXhCsEYFLAfERbhpkw}[bMOgfcSiIHDQa_PRgeCTYIxCyakPLgfcQYHXDEa_PIgeCPiHpCaaYPFg`cPiGhCaaGPFg_CQYHXCIaAPIg`cNiG`B}aIO|g_CMiGHBqaCOzgZcNyFHBy`oO|g\CLIEpBq`iOzgZcKYFHBM`oOqgVCLIEpBA`iOngTcKYDhBM`WOqgTcJiDhBA`WOngSSIYDTAi`POhfpcHX{hA]^GOegGCSiAPDQ_aPRgEcTYIx?}akOMgDcGy@`AQ_SOagQCAI@HAI`EOFgOc@YC@?Y_}OCg?cFI?X@y_CO\f~CGYBx?A^}O_f}CFiB_~u^uO\f{CEX~H@m_sNyfycDh}p@a_mNvgKb{h}`@m^eOYgJBzyAw~A_oNpgIBzIAg}y^YORfscHX|XA]^SOefrCCx|@@U_gNfh^?Ag@c?m?Z?N_FSq_AC@I?bRO?HoDWAdLAedRPhgSsiYLD_eZRNGlSUQXtGGdrQyHAS_qVDG[dpQyHAsmQOtKkb~RKH?sqaODFoeVP}HeS^QXTFceNPzHcs]aXDKOblPwHbS\qWlK[bfRGGySqQMlKWbdRDGwspAMDEseBPnH`SZaW\JwbTPkH^soAL\E[eBPhH`sYAWTEOd|PeH_SXQV|ECdvPbH]sWaVdDweZRNGoSVqXtJkavQ|GmsnAJdJGdXQmHYSkqTlI{dRQpHTskATTI_dBQeHPShqSDIKczQdHNshARtHgchQ[HJSeqQlH_cbQXHHscaQ|JScVQLHZslaPdGwcPQOHDSbqPLQO?p?V_JODgBC@]?v?X_LOEWB[@ihk?[_NOFWBc@y?zQwh\SmYepRqh{Swi]dLyfHRqh{Szi]dMic`REh_SeiXDHYcxRAhcShiSDKYdPRUheSkiYDIyehQyheSniYDJYZtLqezR^hoswIbHRmhqSYiKDMiahRYgmSwiJDLyaPQuggSniHdJicxO}gaShiSDCIdPOuhWSMiTdBI`HQQgUSeiDDHYYXQEeiSbhiDGicHLYhERWiPCty_pPygOS_iBdFy^hOAf}SAh~D?Y_XNifwSDh|d@I]PN]faRwhxc}Y]`Myf_RthzCzy[hMmfMRlhrCzI\@MIfSRchscwyZHPmeuS\hlDFG@S?q?V?I_EOAw@k?}?\?L_FoBirG@A?d?P_GOCgALQEhFSagHsDYAd@q_|O\gNsGYCDAU`NOejKdfysHXml?UYjMDfysHXyl?U\jBdcyqhWekOUSjDDcyqhWqkUUSjJDbYr@W}kmUMjJDcIr@XIkmUPjPD`Is`WYlEUDj?dfYoXXykCU[jLD^io@Xmj}UXjGD]yqPVukaT{jDD]Ip`VikUTxiydbYmxW}jkUMjBd[im`WekOTrjTdZythVElWToistYylTUqj\TljTdXithUalWTfjPDWys`UUlETcioDhYkPY]jAUeindiijpYalQT\jQdUisxTqlKTZikDiYjHYiimUgiatPygtSaiTTHidtRYhdSyi^TOiiDNyipSEiiT?i`DSYiXSQiETQh\snYVdKUeHREhbsqIXLKue^RMkDdoIwP_umAWKjie?iyx_QoEVUjhE?j?`\QoEVRjfeAyyH_um_WKjeE@Yxp_]mYWEkCDqZ@P[moQVIkBDpj?h[aoMVFj`eAIwh_emGWIjYTliulZ]lrUwj\TnIv\Zul~U}jud~y|x_En[W?j}Dyi~p]qnyVjj|dyY~P]anqVfjqD{y{p^UnIVsjzDwY~@]MnCVvjwDvi}P]AnaV^jVDuyu@\ul]V[jkDkYzPZMmqUqkFENjA@cAo]W~k\eLZFhb]pwWukXEMJFPbQpeWxkcEGzC`c]pIXHkOePJGhaAqKWakVeFZEH`}p_W]kLEIZB`amouWikUEDzBHaypYWWkREDJD@`YpMWTkGeOZAXcMocXAkt_FwCKAA?~?__Os_iOdGMcJQFhBTSYi\TIilTSiiu\BNTforlXtK|u[RNLfKrnXqK{U\RL|fWr`XsKvU[rLlfGrVXpKuUYBLlegrXXhKtuYBL|egr`XhKvUSBM|dGrrXPK{URRN\foq^XMK|UWbKle[rHXeKpuVrHTeCqXX_KduVBItdwqpX\KjuSrJLdkqjXSKlUi_A[@Q?j?S_HoDYeDRIhbSriYtLIY\LQejRUhkSty~\^entVuj{T|y}\^UnhVojxT{YzT\empVZjmTvZXXjeuWYzleemjXPjYtoZGlcelzU`j}tiZ@lXeoJUXjytiY{lYEnZWhjItaZFlWEpjWPjAuGYql`ekZTpjet]YylUemzTPjYtWYwlTelzT`i]tQYilSEizTHiyt]YflSEjZNxiMryY`k~EgjRpkauSY_lcefzXXhmsyZLleEfJVxhauAYYl_EeZQhkUsmZFlJEpjQXkMsgZClHEojPxjqsaY|l^EcJPtgqsZYIlDuaZOxiQsOYdlRE`jSXgMtAYDlPE`JOHiYsCYcl?EhZb`XMkjUSjJTeIq|a}pbWokUUJjDlampTWhkRUIJC|qSw~[`MRvHbcDqGw~[`MQVGrcDpoxV[lMNVJBblpwxR[[MTVFRdDn_xV[lL|VJB^LnSxJZvMRu|bctnGxT[hLyVIB]\qGv^[cLwvGr]DmevVZilruyJ[tpcvF[ZLqvEb[dpWv@[WLpVDr[LpKu|Z\MIuvradlgwfZ[MIuuradlcw`ZVMHUuBaLlOw`ZUMHUtRaLpgud[ZLhvERYLpWu\[WLfvDrYDoOwP[EMCv@R_|oowF[AMDVAr_Losv|[?MFvBb^|mwvvZkL}uzR^dvWzP\hmrvXjkluQxo\rm[f\ZexvQze[smyfLjm`rUz_[pmxFKzmHrIx[\omWF[jdxvEys\imkFZJjHumxs\Tm]FTzfXtYz]\QmiFZZlptMyQ\KmfFQzhhsiy]\EmgfQJi@s]yE\]mafWJg`t}y?\`m`FWzgHuIyu[|mmfNzj`rytBYblPUhJStiU{Q]bnQfajp@yQ{h]TnJVcZq\xI|?]MnGFgZpxyIzq]bnQf]znPyQ|?\vnPF]JsHvY{I]\nBffzopxy{m]AnAFeZr@wMz}]Jn?fbZo@wq{s\{nMF^jrXvuw`[QmGvCzalpQwl[WmJvEzbTpe|K^CnbFiJsx{U}S^@neFozxX{I}M]}ncfoJx@z}|u^Mn]frzv`{u|o^CnbFmjvH{U|j]vnZVkjudzM}M]nnWfqZu@{a}[]mnUFrzxhyu|Q^InTFrJxXymz`\qmwv[zmlvQ~V^lnuVyJ|T}e}w^mnnF{Jzh}}~[^XnwFuz|x|i}k^pnxfuJ}P|]}e^pnxftZ}P|Q~C^OnhFxJyH}M}}^dnrfwJ{H}Y~g_BnzG@Z}i?R?Q_?oDg?k@Q?E~s_EoCF~J~Y?]~y^vn~f}Z~p~b?i_QoIGD{AY@Z?W_NoEgCK@q@ErTXhksV@j_doUwF[@m@V]Zn\vizn\wmzVwj{d}M}~^`noWIcEEAp@d_jOWwJSC}Ad@^_mOSWIcCmAp@L_jOQWISCMAL@N_aOSWFsCmA@@L_]OQWFsC]A@@B_]OPWJSBEA|?t_mOKwKCB]BH?z_pOMWSO?{?e?PYhlSUhzhLsmyT\EmbvQJtdyy|Z]hnTvij}d~U~l^vn{v}KKAENBC`doogXKKqDzBO`^orgV[KADjBC`[oogU{IyDvAq`^okGVkJQDRAk`[oigU{IyDRAk`WoigU[HYBN@i`LoYGRKKYCbAS`doqGQ[GiEZAM`gobGX{GQDFAG`Ro`gSkFyDFAA`Ro_GSkHqBvA__}ofgNKHYBfAY_zoeGMkEqCz@o`OoZgR{RG?Q?J?Eo{Ge[NQHnBqaYpKg\[MyHnBkaYoyGdkRAFJCm`rovgc{MIHVB_aSouGdkRAEzCm`lpHgY[LYHVCg`ipEg`{PyGfC[aGpAGakPaGZCIaJp?gcKOYHJCCaPo|g^kNiGBBw`~_BoAW@C?]?R?Gp`gmcWEJpEDazP_wnSWEJ|EDa}P_wkSVmJLD~aqP^WjcVUJ@DxanP\wisU}ItDrawPUWiCUeIhDlahPYwhCRmIHC|abPMWhSR}I\DBaePOO@G?s?U?H?D_BWxCH]CvAX`MogWR{ZYMNEybapmGw[ZqMNF?b`pngwk[aK~FKbPpqgsKZqLbEsb_pkgv{ZiLZEubVpmGt[[yLJFQbSpsGs{[aKrE[bepqgr[\AKjFQbJprgq[W]KVEHbGpbwpkQ]HVChaUpKWd{]AObFccIpwhA[^YOvGUbxp|HBK`YNZGYbwqEG|{`ANNGSbtqCg|K\]MrFTblpvwzk_qN~GMc@qAh?K^aOJF{cCp}h?{cYOzG_cdqQHB{biP^G}cXqNHEKbYPVGwcUqIHEkaIQBGecaqHHG[daQ~HacmqUhKKcqQfHOcjqRhIkWEKJEBcFqBX@[_UORGFc}Q[XOCfUR|HrcwQ\xNSfURpHrcrQ\xNSeeRpHdc}QYxOCe}R|HldOPpWw{[MPvG~c]qLXFKb]TXI`dQQkXTsiMTHIhdTQgXSsiMSDI\dLQ`xOch}TLITdTQeXTCh]S\IldHQkXQCi}SxIHdLQbXRsgmUxI{djquhVKjiUrJWdXqthU{liTjJOddqtHX{lIUZI}daqohXKkAUNJmdmq{h[KnAU~JidqqyH[[mYVZI\dNqex_CnUWHJve@Q}X_SnmV|KDd}R?XY{lmUrKQ?@R@xao?YWRKS?ARAxaO?QWY?AeJRCXa_?YW^