CAT(2742,1)
Sparse6:
:~?iu_?O?G?CB[@T?g_SoNoFcBy@z?{_^ONWI_CgAV@L?cOR?HKCSAT@F?cOP_HKCSAV@L?boR?GsCA@~@@_`OPGG[FG@t?y_\OMwF[Bm@b?q_XoKWE[BI@h?t_ZOLgEcBU@r?v_[OMGFKB]@V?l_UOJgECA}AP@I_coQwHkCq@~@@__OOgGcCMDgAo`VojgR_IEC{A^`M_gGSGIIDGA_`N_gwSgIIDGAf`R?gwSwIaDIAi`R?iWTOIqDOAl`S_iwTwHmCqAo`L?jgRGHYCuAW`L?dwQWImCiAl`I?jGLwIEBaA^_w?gGLwIIDG@o_w_gwLoImBYAl`U?ZGQ?EeCc@j`G_YgLoHMBYAT`I?ZGSgGuC]Af`F?hgPwIaDSAL`F?iWQoGICEAW`?_dwR_FUC{@v`M_\gR_F]C{@u`M_\WKwGeBKAG`B_YGOgGiCKAK`A?awK_FmBI@|_p_^GKoFyBO@~_r__GNGGqBsAJ_{?agNGGYCG@y_{?`WPGGACO@}`B_^wKWFMBI@s_q?[gNWFIBy@s_}?[wI{DeAp@Y_mOUwI_EiBU@U_s_TWKOI}D_@__o_jgOWDuA}A@_n?_gISDMAb@M@GOS?QSC{CbCb?QoHwCsQo@P?i_SoIgDKAaA`@M_fpM?dGQqHUCmaT@JWdOQ}HQCpaT`KGV?Q]DmCeaS?mWakPQGlCQaHpCW^wQ}GACpa?@KG^oQuFyCm`}@JG\OQYFUCfaS?zGeWLaHgBY`k`KgVWQMDwCd`\@HGVgQQD}Cd`^@GwcGKIHCB?aO?oWWgQEH?BBaP?pGbwKeGyBIaN?qwbgKYEMC^aN?qGUORIHgAraX_kW`OPiGOC[aC`Ew_OOUGMCBaA@@g]_NeFiBy`x_}w\gNAFaBn`x?zg]oMQFKBw`z_xWZWOmEyCL`m@BGYwMIEiBb`j?wWYOLyEgB_`h_vwYGMeFMBN`g?yGX_OyE[CO`e`BwU_P]DkCX`Y`EGqgAI@H?b_WoKwESBY@j?s_ToJGDkAq@Z?j_VOKGD{Ay@`?naJpEWbCJQDlAt`WokwUSJEDfAqb[`kousZ_LhEvBYpjOtSYwLVEkBVpdWq{XYKcEub[@dGuwXMK]EobG`kgq?ZEK]ErbG`lWq?ZQLSETbJ@jGqwYmKWEcbF@hWpgYYKWEfbF@iGpgYeKQE_bD`fgrwWiLCEHbD`gwsGWiLGD|bR@^wsgVyJsEfa}@iWnWYaJnDwa{pg_m[YKJbE`AxPZosCV?K|DmBNpYorCUsKtDkBKpYGlSUeJMEub[@XguwUUL_DObX@SguGTEISEWae@eghWXeKuDFac`fWr_SaLYDCbV`PgtoSUIAEZa``fWgOXqHtCwa[pMwfkRqHkEQaZ`dGegXMJGEFap@aGkWWYI}Dsao@\gmgUEKED[bA`Vgo_TuIoDYaj@UwiwTeI?DRa^`TWfoTQKADNb@@RWo?Sy@J?f_ROHWCsA]PO@b_qOXWKsE]BP@i_toYWLcEyBZ@n_wo[GHsDAA^@Q_hoSWIKDIAfGzCRQHPFca[PtGfC^QH`F{aSPzG[CPQFPCc`wPFG^CPQGPCca?PFFYCYPupEs\oPjGsCKqEpEs`gPjG^CJQG@BCaCOnG[CHqF`Ak`sOhGOCVQK@AS`CP^GjCEqBpDcasO\G|CDQNp@[bwOXF}c?P~w~[^qNzGoBxP|@Ds^KP^FnCZp{PFC^?PrGvBuPz`FKb_NZGgBsqI_|[acNTFeCSPy@DS][PRFbCTpxPDk]OPXGqBoQKo{SbCNBGpBmqKozsbGM~FSbjPtWy{\eMpFMbgPrwyK\MMdFJC\PrPFcbkMXFGbdPqWwk[]MLFAbaPox?_^aNsGEb{a@W}g_ENmGBbzA?gv_Z}L{F@b]`oGvG_]LuGHb\AAGC[AI@HC\aNpFgcKQAHDCgaRpHhS[iUTHIJDQQbPSkgoTFHxc|q]hLke}R\H_DRqV`TCd{TLIfClqV@TCdsTLIhCkQipJSigQrIjCiqi`I{icQlHQDUQT@TsdKTZIkCfqSPTsisQ`HEccQPxHKcmQTH?c`QOXG[cUQHI_DFQg`P{iCS`HKDAqR`O{csSLIGC}Q^`PSfsSRHuD@Q]@Ocf[SFHrC~q\POKfOS@IYCwQ[`RchkRbISCtQd`LchSRVHgDHQcpLKe[SbHcDMqfpKshwRJIVCoqePK[h_RDCuaZpLX]cnYVjJpdxq{h]wleVqJZd{Auh]wi}VqIpd{AkH[gmaVMJidrAyXU_lUTcJSdhakxXOlqUWJ]ddavXY?k]UcJGdgaqXXokYU]JDdeapHWGmyUEJod`Azx[OjyU?Jcd^awxYojmUoI|djanH\WjaVWIyduamXUol}VAIvdoAlWCSAQ@FCiaSpIx?s_QOJG@c@q?gv{[EM@IndWqkHdgq]X]KgeVBIXd?qiXQKkeRbIxc_rQXKKreQbLXc_rAXKKqeQbKXdgoYX]KGeVB@xcKqMXDK_eNRFxeWoAWCKte?bLHe?nuXcJ~eWa~h^OqmVwKkd|bIhb?pmWsK\eKbFHaOpUWmKSeHbDh`_o}W[KOeEbCX_WoeWIKJeABAhkoWeKVEIbEPbgpkW}KbEObHPdGq[RYHnCtdIqdhQchISfIPdFQcHP{gaSTIHdAq`xOsgISHIBc~q_XOCu{ZnLpEyr[@msvCZhLnExR[@m[voZZL|EvR]plcvgZXLwEvRZPnKuc[BLjF@rY`oSvwZRM?Etr^plSuW[NLgFCrXppCuW[HMEEsR`Pk{w[YDLCFCrOppCvGYzLrEnR\@j{tg[BLZF@RV@o[t[ZpLXE|RU@nKtO[HMEEjR`PiktMYbLQefRSHh{voYZL|EeR]ph[s_ZjLIEzRQPm{sSZ|LFF?RP`n{r{ZFLdE_rX@gCroZFLdE^RX@fkrkZ@KyEpRMPkKu?XlKwEpRWPe{|_PDGccPqHhC{aUUlJWdjqsxYklQU`JQdgqrhX{ku^EN[fmbwh{G|m]{N[fmbwHzw|m^ONXfsbuHzO}]]oNcflBxhzG}U\zM~f^Rmhvczm]{MmfoBkHzwy}\UNffsbjX|?yq\ONcfTBxhtG}U\MNbfpBhXso}E]iM^fjbgXyoyA[wNTfNBtxrg|Y]cMXfLbtHyWxi]cMUfiBeHyWx][iNNfIBsXqW|A[_NNfHBsHqG|E]WMLffBbhxgw}]WMJfDBrhxgwq]QMafdbhHxOyM\mNBf[bpXv?{Q\gN?fZBohug{E]MMrfWbqHuO{Y`cOhgTSIyCtAa`NNrGVr|QEK~O``OpFwSK@}TA{^bOkFusJ`||As^\NiGURzADs}k`ZOVGPsEQCl@_`HNuGFR}AAC~[_^O_GDsGa@lAC_XOYGAsFA?|@k_LOAGGs@AAT?K_fN~GIsDa?L@O_@N{GCR~a@T?c^zNxGMsFp~[~g_|L_epRWXk[uUZHPCGnsPQKDECaLPXglsUiJ`CiaWP]gdcVYG|CeaPOtGnsWQE|BWb@P[GYSVaE\Ds`dP@GesOqH|CGa\PUG^SOAJDD[`~O{GhsNQIlBkahOwGgSMaITBcabNKffRrXx{|E]`NQfiRsxyk|]]lPaH@sXAOlEKcHQEG}s`qN|G_b|QBG|s`QNdGObtPvHCs]QP\F_cTPsH?S_aMtFScBPpgxs[iLtE}b`QEGtsZQPDEocNPgHCsYaP\EccTPdH?S_aK|EWcBOkgVSJYD|BE``QfhSsiISLIIdFQWHTSeaTdHcdVQiHIsjAQ|IkclQQHUsjqQdIwcfQNHUsjqQLIwc`Q]HESbaSDGsc~QcHLshaRlIScxQ{H`SpAVtJseFQxHasmqW|JgeLQoHZSkaVDJCdnQrH^slQWLJOe@RPHcSsqXTLGeRRJHfSsAXlK{eX?{_]oNgJ{DyAz@__pOWWgcSYIJD@a`pOhKceYRJH`cpqWh^kn}V|Jyd}Q}xuczY\jMpfXrkiElBY`nOsgXSKyRtIAc~QZhMsfI^pOQg?SDiBC~y^XOEfySBh}D?i_@Naf{Ryh~c}Y^XNUfwRvh}c|i]PNifgRwhxc}Y]hM}faRvhwC|i]PMqfgRmhxczY\HM}faRjhwCyi\@MyfKRkhrczY\HMMfURchqcyi[@MMfIRahocxI[pLufOR^hrcviZPMAewR`hlcwiZXLuewR^hlCviY`OEekSBhid?iYxOQgKRXhkD@YfO@a?l?V_KoEwBTSW?x?]_MtR?CK@}@@@D_boPg`[OqGZCGaDPAW|s]uNXF_bpPwXVKjiTpIudZqlXhCsiYRLDebrPh}s~a^nNxf|r}iL\EubXPdgrsXiUDJIdbQrhYSlYmpVMjiTwiyD\ynHVAjuTqi|D[YlhVMjiTniyDZilPVAjWTqitd[YlPU]jQTkitdYIlhUQj]TeivDXYkHU]jQTbipDYIjpUQj?TeindXYkXTmjAT\ipDVIjxTaj?TYinDUYixTeikTYiidUIi`TuiuTQihdVIihS}imTPijDSIhxTIieTPiiDSIhlSyiXTLifTRI_xSegOTIiCdQye`VYhkTwiYd\ynHREheTyiXD]yh@Qyh_TEiVdPydXSYiOSliUDPyd@SUhSTBiSdPIg@QUiCSeiRdOYg@QIiCSci_dGyc@SUhATBiNdPIb`Rug{S~iMdNibHRihuSZiLDNIfhPYh}SWi^DDya`RqgeSyiIdMyexPAgcSwiGdMYhPOuiUSNicdBi`PR]gWSxiDdMI{O?i?V?K_EoBw@t]w?`?Q_Gt|?A[@U?hVtjyT|i}d^UnlVpI}T{qnt^GjzV[JRTvatD\slNV[JStiqzt\slTVoJQtzas\]{lHU`JvtgA|tYGn`U\JttzQr|XwnXUYJtTyArdXknRUVJsTeQ|TX_nRUTJttzQqtXOnXVdJGtxqq\]WkdVbJFtxAqD]Gk\UJJqtbQ{|WonLVaJCTaa{d]KkRUDJnt`q{LWWn@UAJwt`A}\WKndT~Jnt_A{DWCnBVOJjTtqyT\_mbVLJhtrqyl[wmhVCJdTrAwt[SmVV@JbtoqxL[GmPUwJ^TmawDZcl~UzJYtlqvlZWlxVXJXTuqud\glfUkJVtjauLYsl`XG?JOEGA{@a?n?U_KoEwBS@e?v?Ykl?FGBs@u?x?]_MtvIzt\ur?XYkmEWjJXeEqyX_kneWjJpeEqQXUkiEQjH@dUqUXUkieRZI`cqqmXMkgEUZJ@c}qaXVkheUZIPdao@WAk?u?z?l_QpwX^k]eVjJhbypqXYk\eVJFPdmqaWukheMJIPb]peXJkYeRZE`cqp_XMkWeRzI@bIp]XHkdEJZH@aynqXFkbD|y~@cUqIVykbd~JGp^mp}Wik_eJJG@ampGW`kREGzChaIpMW]kSeGJD@`}ouWVkMeDZB``YoeWWkLEDJBH`Io]WHkGeAzA@_ioKWKkCEBZ@p_]nyXAj~ePI~pcM?T?J_EOAg@c?m?Z?N_FOBW@s?}ty?Q_GoCGAS@A?bXDkbuPie|RehpT?i`TOYglSQiFTHidTQzVpkUt}ZCl`enZW@kMuCZDl_epJTXj]tWYxlUemJUxiytqYol[EjzUXjitwYql\ekZU`jmtkY{lYemjT@k}tSZPlSesJWPiUuAYfl_EhjVxiQtCY|l^EgzU`h}t?YulYegZRpi}t_Y[lMejjRHjEteYZlLEkjTXhYtYYWlUEdzQXkYsiZGlIEpzP|gysZYPlHUcJPPk}sWZPlDesJOxkYsQZGlCEpzX`gQuYYElfE`ZXHgEuUYBldE_jXHfyuUY?ldE^zNhkyuWXzk}ErZL\eirRXmkuUZZL|fArbXqkxu\JN@eMrsXdk{eXJKpfUrOXvkre\iz|]En@VijstyI|\]unXVpjxt{jdxmQxaZemWExZ^HqYvu[fl|FIJ]pqYvo[glzfHze@nQx]ZrlyfKZdpnExWZqmUe{J\hqev][jlvFIj\PqmvW[iltfIZdhmex[ZgmUExzZDliurZ[lmuuzZtmAu~Z`lpuwjcXpExI[QmQFCz`pqAxC[OmOfBz`XpuwY[]mEFFzbHoiwo[GmJfAZbPoUww[FmLf@japoIwG[Tm@fDJ_@lIug[@lhe~zYhnqumZ}ljE~ZkxrQzK[rmqfKjjHtqyu\]mlFVZjxtYyo\`moFTzgxumyQ\lmcFZJgpueyG\imafYJiXsEyE\Tm`FTJhpsAy][~mefNji@rmyc[|mgfNJf@sixq\Km\FQzehuIxm\cmpfLjpw@}@B?__NoGWCDYYlPUfjStiytTfUrnXuk{U]jNLxw{p]YNOVfrrLxk{j]\NJvfBqtxG{p]YNIVcrrLw{{j]PNJvcBqtw{{X]PNFVcBplxG{X]SNFVcrplxkzh]\MzVfBmlvC{|\qNNv[rsDwW{R]GNDv`rpTuw{F]DMwV`Bl|vgzz\{M~V]rn|w?zn\xN@V_RnD{w?f?S_IoDWAc@MqjXUkiUTzJLdannVxj{T~I~\^iwz[^mNVEjbdpmwn[XmKVDJatpUvxZ}l}v?Z_Dn}}y^pnnfzzzp~A~[^YnmFzJ|h|m}m^bnkFxZzH}Q~C^WnoFtz{H|e~Q^Sntftj|P|U}k^enrftJ|@|U}a^]nhfvzyP|u}w^MnlFsJxx|m}U^Mnefrzx`|A}e^JngfrJyP{u}K]`nPFpZwxyM~W^AnvFpJ|h{M|}^nn_f{Zw@~A|w^hn^Fyzvh}i~E]xn\fxZ{`zi~?]unpFmJ{Hz]~M]rnYfxj|@zQ|d]onWvjZt|yy}O]indFjJxHym}K]fnbfiZt@{U}O]cnRFqjsh{fA?Yvl[umJVTjqtv\SmhvTZiDtIyb\MmfvRZhTsqyV`BOcwQsGmChAH`BObWPCHECTAN`?OfwOcIMCDA``?OewOSHuCpAD`NOMWFcIMD@?z_XOcwQsB]Ch?t_UObwECHE@\AL_ROeWDSHu@PAZ_LoFwBk@e?j?V_~OCwACFm?\@|_yOAwNC?u?P@v_xO@w?SFEB\?D^}OZw?CFL~|@p^|OZWLR~]BO~x_sN{WLb~UBS~r^uO^WNr}|~T@z^sO\v{cFd~L@t_jOSWIcDmAd@X_oORwJcCuA|@J_aOWwHCE]AL@d_^OGWGSAUA@?baYPDwb[PeGbCTaHpKGV[QyDnCq`[pJgUKRIDjCo`XoigdKIyHVAkaUohGdKIaHZAeaTonG^{KAGFA}a?o}gc{QIFzBwaQo{GbkMyHBBkaNovg[KLiFFB[`qoxgYkLaFVBU`sp@GX{OaEfCE`gpBGXkKaG^CI`doog][KYFnBC`ynavpjw|{a}T^Hp[WmkVMJ^DjaupbgkkXIJREOarpaGj{WqJFEIaopbgf[XIH~EOa]paGekWiHrEKaZpSgo[WYInDSbApRGnkTAKBDMa~pPgjKTqIVDYacp\ggKSQJvDwa`oYwLkEeB^@r_wo\WNKF]Bz@~_|pdGzk]AKrF]bJpqg{[[yNNFKbqptGwk[aMbFQbbpvgv{]AMBFAbmpmGy{ZqMvEybkpkwukZ]L^ElbWpsGs{\QLVFQbSpgGy{YQMvEabkpfG{kXyNNFabLpIWdkQmHbCraVpyW|k]mPFG`cNqHH?KaaOJGec@qHG~[aaN~Geb}p}HD[^QP^FucUqIg|{ayNbGkbxqBhBK_qOzGOcLqCh?{_iOnGScCqVHHKcqQvH]cdqPHEKcIPfHEcYqNHIkcAQrG}cjqLhH{biQfGwcgq[hKKeQRnHacyqXhMKeiR^HgcunEVbjpmAb@T_hoRWH[C}H~C|a\pLWfKR]OZGPcFqAx@K_]TXI\dSQgXTSh}SlIbdRQexScheS`I^dHQgXQchuSlILdLQaxPsheS`IDdIQ`xQSgeSHIJdFQaXOsguRpIhc}QjXNSimR|IbdRQ_xScgEVS?N?G_Cvqzxd{vBZ`movwYkLeEnETbKpdwr[XuK~GpcYqKxE{bmPrKWeErDH`KpYWVKAeFrCh_{oQWbJ{e@r?H_{nyWJKId|q|h`koaVrJ{dwr?H]knyVfJsd|q{H^KnIVnIqdnqjh[[jAVBJWeFqvHaKpIUvJQeIqtHa{lYWrJOdvqyhXkmqU^JidbqzhXKmqUVJ?dqqyHWkmYUFIydnqnh[[jqVBIsdqqyHVKmYTnLy?C_BO@[viXvK{e~rMHnkrIZvKue~rLHnkqyZjKoe{rJHm{uyXNKiexrIHmKuyXBLoePr[hckpiZjK[e{rFhm{tYZFLYerrUHkktqYbL_ehrTHj{ryY^LAedrOHhksQZRLkecrYhgw?{?a?R?H_BoAK{y]PN@feRnxxSzu]DNHfbRrXwc{m]DMjfVRpxtc{U\HM|fSRoXssz}\`M^fYRgxuSyE[pMvfMRmxrSze[@MNfARcXoSwu[LMRfJRaxpCxS?Q?J?E_AO@g?m_`J^dpqwX[kmeVNOMf~sBI?\?i_BOCgFsAI@\?Y_ZOOfrsDH|\@I^ROCf{sAH~l?Y^vNqf~r|I?[~Y_BOUfusEh}K}y_rNcgIrwiA[}A_bNYgJsEhz{|q_rNPffrsxyk|e]nLnexr[XnKv]ZjP]gTsWiDLEA`ZOygksNiJ\Dq`zP]gYsWiFLEA`nPWgVsVIE\BAavO^gMsGYC\AU`NPEghsQiI|CaajPKg_sSIGlCyaFQMgqsciLLHAbNPuh@s]IO|FicJP}gws\INlFIcBQGgtsbIL|GibZQ_hIshIRLIIcnQehLsfiT\IaczNHfdrrYI\D]ajPLggsRyVDKedxRDh\SpyVDJ}dxR@h\SoyTdKUd\RFhWSqYVtJMdlRBhYSoY\D?u_^OJh@s`yOlGEb~P|huS|Y^DMeflRjhsS{Y\dNMfTRnhpSryXdMUeTRfhvSvY]DL}f@RrhzSty^DLmepRthgSxy[TLUfHRRiQT@Ib|QIgFS?iOtGi^\Nyg~R{iOtCi`LPYgNSSiDtBIbLPAgzSMiLtHIe|RihRSwiRtJIeLQyhjSiiXsxy[lMMhxTHi^TRYgDSmiDTJibTRYgdSeg~SbiOtR_?TTmi_?EintS_?dTs?HTSil_?ijDT{?LTUim