CAT(2702,1)

Sparse6:

:~?iM_?O?G?C?s?T?K_DoCoAC@E?d?|?IODWA[@S?\?L?HoBoAc?y?^?L_h?A_?{?o?R?J?COA_AC?o?d?J?Go@?AC?S?d?E?Go@?F{?W@z?D?^O@G?k?YAW@G_f?PwHgCYAW@N_f?SGHgDEBS@N_goSGG{CYAP@D?BoOo@KCO?P?F_CoAGKwEaBO@h_r_YWL[EiBXAB@?__gNwGIC?AA_}?[wNgFUB{@s_xO[GMKFYBp@v_{o]gN[FsB~@}@?O^?OKG[CRAE@DOa?P[GwC^AP@Eoc?PcGKCdAD@IO`?Q[ICB^@l_vOWWK[EIBH@e_qoXwLCEeBT@k_toZWLsE}CXAM`EocGP{HEDeAu`Y_mGU_J]DbAo`XOkoTSJSDXAs@Tol_TkJ_D\An@Zof_SKI?DFA^@POh?SKIWDDAd@Poh?S{IWDRAd@SOhoTkIcD\An@SOkOSCJGC|Ao@Noj?RCHgDVAX@TOeoQkHsCnA[@JOPgG{CaF?@H_doQg[oCuA\@K_foSWICFeBv@y`?o^wOCFqBz@}_xo\WMcDIAh@R_ioTwIsDaAt@X_nOWGJ{O[A|@__noUwJcDuG_CMaFpBW[oLiEwBg`l_xw\?MeFMBj`r?yg\WMuFQBm`t?zG]OM}FaBs`x_{G]ONUFgBv`x_|g]gNaFmBy`z?}W^?NmFyBy`}?}W^oNmFyC?`}?~w^oOEG?CB`~`?g_GOQGECEa@@@W_wOQGQCEaC@@W_wOiGQCKaC@Aw`WOuGSCMaE@BwWkKYENBV@vo{OZKL_F`BU@uotO\sLOFXBR`hOsWX?MMESBd`c_xGXWMMEYBd`e?xG[?KyE_Ba`o_rwZgJ}E}B@`n?oG[?KIFCBC`o_owV_LiEwA}`l_nWZgJeDuB^`\?vgjoB]@r?war_NGFSBm@z?~_^OOGGSCEAH@D_`oaWPSGmDxA}`]p]GmsV]J_Dray`[gmGVQJUDnau@ZWlOUyJYDqav`[WloVAGeDfaI`YWa_UaIiDfaj`YWioUaJkDDa{@OwmwSQGmDcaK@XgaoUUJGCXar@EwkgPiJeC|ay`NwfoVQJAC[aN@WwbgUIG}D`aO`Wwc?UIHCD]ao@HGjwQMHID]ao@HwjwQYHODZaT@VWdGTqHUDZaU`VWd_TqH\CoaVpKWe[RIJSCvau@MWlWRaIoDQai@UgjGTMIQDKad`RghOSuI?DNa`@SWgGTAHsDEa]@QGfWS]HgCOaH@LgegPEMG?u_YOLWHKCmAT@H_doQgy?[{MRFMBbprOxC[wMTFNBePrOx[ZmLzE{bd@lWuw[qMUEubb`kgxGZQMOErba@kWu?[YL]FDbDpbGpkWOMBFBB@Po_o[[OJ~E?BbP_OwkVoMBFAA~PoonkYoL|EmB_PjOv{YWLREgBTphotSYKL@EaBQpgOscXgKzE[BNpeorsX[KhEUBKpe?qkZ_KbEyBHpmOqSWwKLEOBBpbookVkKTDyBCP]OpKB]@r?w_ZoMGFKBm@x?y_\ONGF[`_EzB^`nOww[kMQGZCNaFP]WnSVmPFG`cPQFxBsaAOMGScBACh@?`MOcGHcIAAxAW_iOiGMcEADxAo_uO]GTcGaDxA?`YOuFUbkAFXB_\]O]GBcAaCX?_`AO?GKc@ABX?G_yNyGWcL@~w~o`eOQFvb{aAh@W^aOKFscC@|h?w^UNbFrbxPzg}C]}NGGbcP@wg{WaEO{F`cO@vxBw]AMwGWcL@vgzg`eMqGZblaFWzO`qMbFQbgPswyc\UNsFjb}@zW~W]qNIFibr`yG{o]e@h?u_YoLWEsBQR]DZampVGkKUMJDDcarPXWaSPEG`HgCuQZ`Kse[RZHhCuQYpLsegRZGuc[QLxLWeMRQHdctAXHMOeAReH`cyAWhKwdIROHRcgaXhHsdAQ^HJC|QRPNKcoRpHGCvqQ`MKccR`HnCaqPpMKcWR`HqC`Q\@GcfKQFHtC^q\pGKfWQ@G{CyqN`M{bsRlGjcUQIhDka}P\GqcWQKXE[bUPhGfC{qIPNSa_RpH\CjqV`JKd{QpHSClQV@IsdSQvGxCQQMpCsaSPtI|B_powwSaePNGgcQQHhCkkUUFJCd_amhWOjqU?IzdVAmhU?jqT]IzdHqdXQchIS`IPd`abXW_g}S[JDd_AahWOgqUAIJd]a`xVwgeSOI}dAAnXVwgYSII}c|q^XNcfyS@H~d?akXOWjMSCIqdTalxTgjeTWIwdNaihSGiaTQI_dYAfHRojYTiI\dKahXROi]SuIedJAghQwiQSoIbdsqxx\Cl]UjJUddqqXXSmsV`JnDxQz`]KmWU|J_DqQxPZ{lkVfJ\Dyqv@]cmGUpJ`DlQwpZKksUdJKDiQr`Y[nWU^JvDgq}@YCk[VTJkDcQypWs[yM^FLcnQVXJ{diQxHZdcQpxWsqWXFKceQrG`c[qOX@KdEOrE@bspcW~KVEMrE@bSpcWxKVELr?`bkoOW~KBENRHPacqKWlKcEIrCXa[pIW^KMeGQ~`cCqGVxJ|EOq}PbSnkWxJyELr@P`Co[WTKEECq~p`[oCWZKKE?RSpVSjqTvGRcIQChAk`]OlIjdUqjHTCiiTRIddRqhhS[iQTDK@d~r?HjGuEYuL^elBWHjGtqYuL]elBVXkgtYZMLWerBTxkOtaZGLUejbWxlGtUYeLiesBTHi?uiYcLhegbYHe_uEXcL_eXbVxi?seYaLGebbShg_uIZGLEeabWxgKsMYDL?e^RNxfWtMXyLTe]BTHf?u]XsLee[bXXj_rUY{KvembLhdwsuY]KpefBKHd_suX[LNeUbRhdGsmYSKjeTBRHd?siXKLJeRbRHtgtIYbLOcuQZhLkmYVHJddoqwx[SqaXNKef`Bn@v{zw]BM|F_RnpvK{C\tN?F\rl`uCzG\pMpFZrk`ukzO\`MpFXrn@tkzw\^M|FVRn@tczw\TM|FTri`t{yo\ZMjFVRf`v{y?]BM^F_Rc`vKxO\vMRF\RcHp{xE[ZMKfFRkpo[wS\jMsFARl`oCz_[DMvF?r]ps{vg\PL{FSrhpm{ycZrMgE{R\@skyWZlLtFQRh`m[vG\JLpFQRgPlsv?\FLnFPRgPl[yGZXMbEur^PrCv{[tL}FKrf@pKxk[VM\FDR``qkw_[nMFFJSAa?L?M_DN}g?R~y@G{u]WOGfdc@xxH?]]OOGgCbqi?_{U_KNEfbc@XwP?Q_INCf`c@h~?~m^sN|f{b~H{W}}^INpfqB{H{?}q^ANmfpBzXzg~I^gN^fxbvh}g|i^mN[fzBuxy_}Y^ONUfibxxyw|E]cNWfhbuX|G{y^UNOftBrxhSsqYVLLefrRiEx@q`qO]g[CFYEhA}`kOogVCLIClA]`LOagPsHI@hBQ`kONgYcBi@PB]_WOxgDcMIBHBE_uOrgLCKiApAa`SOWgJcIYA`Am`YORgIcJIBx@A`AOQgOCCXsKyM\DMdfRRhHs{ya\RMifURiyJ@BiaqO{glCMyJXDUamP\gjCVIKHDIbEPSgpCSyJ@C}asPPgkcSIH`Dya[P_gecVyHLCmaTPGgbSPyGXDyaIP_gaCVyG@DqaCP\g_cUyKHBubCO~gpcNi?d?U_LOHgBsAINtFqbzPxg|s]iOPFAcGPqh@c[YOPEucEPngvC`IOxEibWQEhAcYyOhE]cMPghBCYYNxFYboQ@gzc_IK`FMbKPtgqc\IP@H]cqQHhKCaiRXHYcwQThLCdIQHHuccQ^hHcfiPpGmcYQOhFcbISpIedOQjhRciiSXIAdIQahQCgWR{IAC|DBaapPGf[RiHxFVbkPtg{S]MNHIAd@q_XPkg}S\J|d~Q~H^KnmVtMHfDRaxoswa[NOLgFsBi@T?q_VPwgzS\yM\FUbhR[HjSvaZDLsenRYHisuqY\LOerROHjSsaZDLCenRRHestQXtK{ehROHdSsaXdLCeVRFHesrqXLK_e\RCHbspaXLKSePRIH_srAW\KkeDREH^spAWDKSd|QzH_snQW\JoeDQyH]SmQVlJkdpR?HZsnqUlJwdlQxHYSmaUTJKdpQrHZSlAU|JGdjR[HUSjaZtLsdZQnHksuaUDLkdbSQ?TOIWDCAm@Z?kiN?JwECAyhG?q_XoKW_cOYGJEkbVPjWtKYmLTHJceqRHHCciQRJQdhqtHX{lEU`K{e]rMxfCriXrN_fpRwXzk|}]|PBgasPIGDCIaBQGhDSaYP\GucXTJIgTRAh|Ssi\TGIgtSqhTScidTJIatRQg|SoiLTGI`TQagdSciFS~IbtOQgtS?iJS}IaTNQgTSKhxS~I[tOAfTSChvS}I[TLafdRshnSrI[tLQf\ROhtSvIWTMAeLRGhlSrIUtLQd|ROh\SiIWTKaddQkhbSfIUtIQd|Q_h\SfITTIQddQ_hVSciRTHYcdQYhJR^IOswQc\M?hDSKIfTBaiDOsi^SHIgtSq`\OgidSEINTAAcDO[g~S_IATFa_lP{gFS@ILtFQ_TPog@R|IKS~qbTNwgrR{IKTEa^TNkgrRvILtFQ^LPofpRsIIs|aa|NSglRqIHs{qadNCgdSQHvS{AadPKf^STHttDq\lPWfXSPHsSyaaDMcg^RdIOsxqc\MWhDRcIGTCQ[\MGg^Uy?MoFgBc@}@B?_jb?GgCcAMmW?d_RoHixl[qm\VLjfTrIip[migVHiidqiu`VylkU?i~dlYoHZQlkUBj@DlYwpVmmOT|jbd^In@[YjsVGi{dpymh[MjmVDizDpImP[AjgVAj_d[ywhVAmETnjaD[Yl`[AmATlj`DZilHZujSU~itdnivPUYlwTgj\dXykXZujIU~iqDnikHZqj?UyipDmyuxTui{UwindmYj`[iiuVJilDqYuxT]lqTXj[DUItpYal_UijVdiYtXYUlWUfjUdhisPXqlGU]jPdfYrPX}lAUZjODeYqpXAkoUQjJdcYppXMkiUNjEddIuHW]leUHjXDaIpPWQkWUEjDd`ZC?Ai@R?g_SoIgDCAm@Z?k_ToJWDdbG@\?o_VoJgECA}lhUujYuKbFDbgphWrK[uLRFDbgpnWuK[uGBDdaGp\W`KUuJRC\aSp\WcKUUKRDDb?pLWnKRuKBDLbCpVWnKTTuIzT\emvV\jmUDBEl`WpnWTKZUCRET`KphWQKXuBbDL`?pVWNKTUArC\aSoZWcKEUAbCT__p@WHKOu@RCt_[pPWEKRtrrBl\?o~VPKNUFQyT`{mhW]JhuEb?T_OoxWBKLt}Q~|^koBVyK?T~Q}t^wnnVwJ}TzQ}\]{njVmJyT{A|T^CnXVqJttxq{L]KnRVaJsTxAzt]Wn@VdJnttRA|`cmlVVKKOFGBs@u?z?]_MOGGCK@}@B?__NudOCSAQ@F?a_QOGzBl`}o|SOiGtBybTPagrSZiMtFIcLQMhDYTLLufRQ|hWsxYWLLufRRThcsxYBLFu`RQLgOs`YFLGUaBP|gWsbYRLCucbPThOsVYSLFUcbPdhKsZY]L?UgBOTh{sBX|LKU^rRTfwsrYTK|U^BQ|hWrvXvLFUbBNLgsrpXsLBUaBMtg[rjXrLDU[RP\fGsRYBKvU`RMDgOr^XjLRuiRLli_rXXdkruXjLDeerTYgKpuiRKdeGtNY_KnufbKLh{r@X[LQUVbStdstJY`KkuUrS\iGqtYaKjUgrJDiCqnXRLQUTRStdOtJXAk`uOZGdcYqJXFkcuQJHdciqVXOK\uSbFldCpxW}KeuOBH|b{q\Uvj[tmIwD[ImBVBjatpIx\[imR[FL]Unb`Lo_tzZPL~V?BY\lGv~ZMMCUsB`Lk{wNZLL~v?BXdkkv|[@LcUqb_TkcwF[ELbv@BWtoSuJ[@L`V?rWdoGuFY~MAUoR_tk?wJYolXUkZU\jUthYvl[UljVLjmttZzLsuyr^lmgvxZwLrU}b\DncvNZvLqu|b[\nSvHZ_Lvuwb]LmCv`ZkLmuvr\tmsu|ZYLxUvB]dlkvfYiLjujBZDikurZSLUutbT|lSt\[KM\VNB`Tokxv[pMYVKretrGxj[vMVVMReDr_x^\BMNvGRglsOx@[[M_VFRgLsGw|[lMLVErd\qowr[UMRVEBc|p[xJ[RMTVIBalqcwh[aMGVHBaTqKwb[NM^vBbflosx|\f?XOKwEKBE@f?qi~T_In|WIkFU@keuRzHtdAqdXPmwf\zm@vazc\umxfZZlxvUz[\smwFYjmPuqza\jmrfZZlxuez[\gmrFXzk`uezI\gmqFYjkpuqzI\jmxfRJhpvUyY\smcf\jhXvayS\vmbFVjh@uAyM\^mlfWZjhuIzE\[mkFSjjPtQyq\RmffTZiHt]y_\UnR?HwCkAY@J?f_RUJjDlaqp^WpkWTryyL\AmfVSjhU|z]lnYvdZslxuzz]LnAvXZmluutJYtlUunZXlkVqRut{[|n^GNYvkbwdzO}J^ENXvnRt|zC|x]oN\vmRt|zC|t]oN[VoRtdys}F^ANVVnbtl{?|\]~NUViRutzS|V]iNZvhbuTy_|f]fNYVhRtDy[|H]eNPviRsdyS|V]iNPv]rr|vg{z\xNNVebwdxk}J^ENMVprq|{c{r^GNKVnBqtzs{h]zNIvcRwLxK}F]QN`VmBptw{|t]ON[vnbp\{?{Z]~NEVaJpTwe{L]FnAvgBoTwO|D]`N@vfRn|xw{B]^N?V^BsDvw|D\|NOwEBP|hEs`YRlIUcjdlqqxV[gmTVIZctq]xJ[amQVG{CY@r@A_\oPGE{CA@r?{_\oNgE{BAA^@Q_YoKgIKBAAV?s_eoKgHJ}aA^@Q^unygIJ}QAI~e_boOf{[C`}z@K^ooQfz{Bp}n@?^loNfzJ{l}]~L^cnpVwzzy@Z?i^_oJfwZza@J?g^]oHfvZzI@B?]^ZnlGCZyq?}}o_PnjgCJyi?y}e_LniGBK@h|A}c_MnggBKAp{v?i^NoJfrkA`{n?e^KndGCk?Q?N??_Do?g@J~q?]~y_EoCF~{@H~j?U^{oDF}z|@~]~S^xnsf}KMQENBJ`cooWWkKMBTB``pOXwLCL}FD@``oOXWZsEMEt@\`mOUwZCD}AhB\`kOUWIsLmEdAh`jOjWTSLUBXAb_wOhwLsIUCxBL`OOsWRsK}CTAP`IObwPcHMClAD`LOaWRCG]B|At`@OmWOCJ]BpAz_}OnwNSJuD\@r`XO\wUCFTx}{|]\nOVgjsMGPCxaEPMw`SRuHBCbaQpEwb{PuGpDBa_PDwfsPUH|Bj`vPOw\cSEHtBda]OyWfCM]GLCta@PLw_cRMHLB|aSP?W^sQmFlCN`|PCw^CPEF`ClaWO|WdsNM?z?Z_KoFwC[AE@R?f_QoJWD{AmIHE@acP`WgsWMKXDzbGP^wpsVuKLDtbDP]WpCV]KdDnaxPdwmCXUJPEDatP_WlcWMJNDbaqpWWj{TuKLDValPawpCTeIdEVbIPTWiCXMIXENadPcWpcS}EvB\`kowW[[L}MfFPbfprWxK[mLhFXbiPkWuS\]MhEjbkPjwysYuLHF\bnPiWss\mK|FZbnPgwsC\uL|FBb]PpwwC[ULlEXbMPmWvSXmN@F~bqQ?W{S_MNxGHb|Q@w~C_UO\FncDP{X@c]uNLFrbzPyW}c]mPDG\cOQHxCc`}O`GVcIQExAS`duQzL\do?W?[?T~u~~^}ozw\kMmFJBh`rpoWv{ZuLvExbZqRhJKdAQzHKclqTHG{dYQRHQcdqRhGKdAQFHKcaqMhG{byQVG{ccqOHEkbaQJGuc`qMhEkbaPzGuc^qIHJKaqQzGiclqShD{dYPfHScWqe_EgBK@m|F]cnQwP[G}CZAD`BoaWiKTUIfDJafpRW{K]UNFFfbspyxWSjeTxJ@d\QnxWcjMULIvdcQlXTcjeTxIpd\QjxSsjMTTIvdSQlXTsiETXIbdQQkXSsiETHIjdSQgxPsd}RDIRdGQWXVsgeU@IJd`QbXOSkUSLJHdAQpxNchmS@I^c~QfXRSf]RpI\c|QfxQcfESpHtdJQ[xPsemSdHndGQZXLCh]RLIXcqQdXdOAs@a?ndsRJxdcmuXTJjeVQwx[sqmXXJddmRHX[Cq]XPJ^djRGXZSqMUpK^dgRHXdClMUhKfePQrxcCkmW|JLeHR@xasomWhKHe@RCX_CouWHKNdvQ}x^snMVxJpeKQ|XbcneWtJv?Y_LoEWBS@m?re~RZHnKvAZzLme|r[hnKvYZzLse|rUhmktyZnL[exrTHlktaZbLUevrRhk{uiYfLOesrQHkKsqZJLIeprKHfkryXfL?eYrPhfKsIXvLCeZ_JoEGAs@Y?p?VroHP{hMSbIVdKqdXtsz}\dMzfWRnXuczm\pM~fZRnXqs{][tNJfKRqXusym\XMxfYRiXtsyM\dMffWRhXrc{E]HM`f`RfxqC{E]HMTf`Rcxwswm]TMNfcRbXo[v}[BMDfBraXc[qEW~KdeSrHxzD?e]xOLflSAy@s}m^\ORgGRzY@s}U_dNhgGRxxzt?m_XNbgCRwXxk|E]^NVfhrtY?s~]^pOBgAR}x}C~}^hO@fxR~YFD@U`xOVg\SEYEtAm`hOhgXSHyCDAu``OdgPSJyBTB}_|PBgMSOYIDD]ahPZghSUYHTCUaPPNgbSRXnKvuZvOFg@s@X~|?E^zPsgss]ILlFYbVPkgvs[iL\EabbP[gysWINLDybnPagvs[iK|EQbbQWf\rnxvlB]`jOrgUsKYD|IQcvQehKsiIRlIAcrQahMsfiR\FicnQQg~s^IQlHycZQahGsgIP|IQcNQIhSsaIS|HQcBQUhAsciO\LQe`QphYSryYTJMe\QjhhSjyYDIudlRBh\SpyVDKUdxRHheSoYXTJ}fLRVhtSuY\DLUf@RZhpSvy[dLucnQThHs}i\lNqfbRwhvs}I]\NYfzRyhysryY\LC?HR}iDtB_?tOEgW?Ai@_?i_dOmg[?CiCtB??tO^