CAT(2454,1)
Sparse6:
:~?eU_?O?G?CBO@P?i_SoN?FGBm@s?z_[?MwGOB]@n?v_c?KWE[BI@X?j_UoKwEKBI@h?u_YoToEkBY@h@_?WOJwDsBa@t?x_{?\WM{FYBn@t_zO[OLcEwB^@l?wO[_LcEwBh@l?xo[OLCE{BN@o?rO[oLKFGBV@s?tOYOMkEkBn@i?zO[?KKFCB@@a?vo[_J{DwBh@\?xoW?LcEGB\@l?ooX_JcDgBP@Z?roVOLKD{BV@]?tOP?K{CGBP@B?rOPOHCC[AT@E?coROHCCgAV@K?coROH{CoA\@O?doR_IKC{Ad@O?hoSoIcDCAl@Q?ioToIcD_Aj@X?jOUOKkD[BF@W?qOO_JSCKAx@C?loWoFcEO@|@d?]oPOF{CCAN@E?_OHgC{AUEK?g_TOIWDCAi@RBN@b?rGX?KyEMBL`c_rGXWKyESBL`NogWSCI_ERBI@TOiOX[KWDbBG@XopoUSGgEFBD@EOaoWcFwEDB??~ooOOCJsCBAB@^on_OSGSE@AE@_o`?WSG[D~A}@ConOPCKSBz@z@aO^?W[JgDDAc@]OmoS[ISDZAf@Toh_TcJ[D\Ao@[ojoVCHoDhA]@ZOfOUkH?CfAQ@IocOQcG{CpAM@Jod_PkF_Cr@y@Lo]ORSBE@d?r_UoIwDcAu@X?j_WOJwDsAy@`?naL?MWFSBaH?CGAJPAOakPOGTCSAEPDO`kOkGlCMAKpE?aCP[G^CWAGpCoa{PGGrBTAAoto_sO[ElCAaAP?waOOAGeC@`~`CW^_OyF{CO`}`Bw]oPiFoC[`z`Ew]WOmFiCL`y@BG`?NAFcCI`w`AW\sM}FZBZALOvObcLoGvCF@kP@OZSLcGLBN`gosGYSLQEfBf@{oyO^[M_FtB`@qOx_[SMKFJB]@tOw?\cL{FV?e_RoHWCsAU@NDa?iOTgIkDiAx@Z_noVgJkB}AB@?aw`ZGlkUmI}DXao@UwkGTiI}D[ao`Vgk?TuH\ClaUPT_jkT_I|DVAmPUOi[TSIvDSAlPXOiCU[IdDeAgpN_l[S?JZC~AuPW_fkUOHvDbA]PW_fCUKHtDcA[pLOlCUgHnCuAspXOeSROJNCrArPY_d{RCJRCoAsPGGcSQEHFCcaQpHwcsQaHVChaTPROg{ScI\DNAcPQ_gcSoILDJAapFOg[PwIDC^A_pl_CSAQ@FB@``OoGW[KUEHC^aMpFgv{[AMBEub[PlwuW[AL}EtbY@oWtgZIL]EobV@kWv?ZALcEubZ`kWvgYiLWE}b]@iwqkX]KlEBB\pm_okZcKHE?B\P__v[WCLrE{A}pnOnsZwJ~DtazP\Gm{VeJpEnAxPj_m[YsJbDmBYp[?u[U{LhEcA|Ph_ncYSJvE`BHPgoqcYGKfENBNpcOrsX?L@EKBRpb_tKWsLPEZBCpfOpSWkKxEWBBPe_o{XcKPFkbupzgx{\AM\FtB{P}_}{^cNlF|BsP}o{{]WNxFbBnpx?zk]SM|FZBopv?{C\gNDFnBjpuO}K\_N`FqBip|?yc^KMlFPBcPsoxS\GMRFDBdprOw{[WMXFABspp?|[[KNT?a_QOGwXcKyEZDLafpRghSSqIVGmCSAGhDOaQPQGbcQaGhCwaQPKGbcNqGXCC_OPPGECTQ@PDK`qO|G\cIqCxAc`{OBG`C@qG@?SaSN|GfC?QH_~{`?OZGNCHQCP@s`WOXGICKQApA{_[OrGZCCqE`@CdSLjErbYPDGasPUGrCWaJpgWs[YIK|E_bNpewrkXqKrEWbLPZgmCU}J\DoavqV@KKdsRDHbClqV`J[dsQ~H[CoQXpJCecQtHgCkqU@KcdgRLHXCqqTPLkd[R^HUCvQS`LSdKRXHSCtqS`LkdOR\HRCvqLpKcbcRLGwCqqXpHce_Q\HhCeqQPIsckQnHICiqP`Jsc_R@HFCnqOxGkcQQ@HAc_qNPKKbwRFG~CpQY`FSboRXGzCtqKPH{dCPfGqCgQJ`H{b?QbGnCgQL@D[bWPZGtCUQk_CSAQ@FHQciQSwj{UEJ@FbbqpxG{C]INBFDbbpphEcbYPjGjcUqJHW_k]UKJHdaaqHW?jeTsI}d^amHV?jmTsI|d[anHUgk]TmJHdZAqHW_jITgJEdaakxWGjITgJBd`AkxUgi}TmIodZAkXRShqSvIVdKqeHW?gyT}IOdFanhPgjmSWI|dDanHP?kESSJBdCaohT_gIT[ICdUa_xNwi}SAIpd?AkHT_fqRyImc~AjXTGfeTUHzdTA]hTGfYTUHwdTA\xMWiYRgIgcyahxM?i]RcIecwaiHS?gUTCIFdOa`hQ_iMSkIddIahHQGhuSeI^dNAchaOoeWVKIeBRAH_{o{UrKPDlrC@ZSlWW^JWEGqtpaCosU`KKDhRB`YKooUZKMDfRBPX{n[WFJxEAq}@_cnCU~J`Dxqw@]SmkVtJlD|qz@^cm_VhJuDtQyP]kmSVzJfD~qx`^smGW@K@DqR?`[[mwUfJTDwQzpYckgUxJKDnQqpZkc}QbHOcTqJXDcqOXxKeE^RHPfkr{XlKwE_rO@e{rMXjKseRrIXdCr{WjL?EJRDpgKroWdK}EIRNPa[r?XBKbEXRG`eKqsW|KnEORJ`b{rcWvKzEMrM`bcp_XTKYEUREPd[iYTPIfdSqixTSiqT\IldVqkHUKsGZFLCEqrOpkctsZFLcEnrXPjstgZRL[EtrUplSuWYnLXEsRXpjCtOZ@LUEpRTPkKtEYfLQefRSHh{ucYVLiEerYphcs_ZDLIEoRQPkKsSZLLEErrPplCoqW\KLeFrCXaCwU[LMCf?r_xoSwgZpLyFERapnKvS[XMIEzRapm{vG[ZLsFFr[ppsu{[ZLoFFR[Pp{w[Z|MHF?Ra@n{vkZXL|EvR^@lkx{\JMfFOrh`sCyG[rMZFQRgprSxC[nMQFKRc@qsxo[fM\FIrf`qczC\PMrFTRk`tKyk\\MlFWRj@t{YuL^EmbWPkWuSCYAN@D__oOGF{LUEnBUa|p]gncVEJfDqc@q?h?K^yO@F~dIQdhQkhESfIQeIrDha{pIWhKRe~R_Hn{vmZzL{fnBxH{?}Y]}Ndfobuxzg}M^CN[fnBuH{?|i]}NXfibuxyw|q]yNUfhBuHy_|i]eNXfibsXyw|A]kNNfhbqXy_{m]cNIfdbphx?{i]MNHfebpXxo{Q]WNBfcBoHwO{Y]MN@f_BpHwO{U]ANBf^bsXvg{}\{NOfeBmhxozm\wNLf]Bnhvwzi\yMzfYBxHuo}Y\iNdfoblx{Wze^CMwgL?DgBC@]`??X_LoEgBc@u?|Ok?OoFwCCFeBt@w_|o^WNcSEIFDAaVpKWeCPuG~C]biPtgyk[IMHFBc^qNXFsbiPxGzdnqwX[CmIVHJbedrRXhcsaYTLHfGrchqCxM[jMSgjcSyJ@DQakPTgkcSIJXDIasPPgecSyHxDUa[PSggCQiH`DIaUPPgbcQiH`CeaUPGgecPYG`C}a[PEg_cPyGXCeaCPGgaCNiG@CYaIO~g`CNYGXBmaAO{g[CNiG@Bi`qO~gZcNYEhBq`kOzgYcKiExBQ`kOrgVcMiF@BE`qOogVcKiEHBQ`_OrgUsJiDdAq`ZOmfrcIX|HAm^OOigICTiApDa_iPVgkcCYJX@MasOQgFcIIA@AY_[OfgEcHy@XAa_WOegPcAI@PAQ_QOdgOC@YCP?]`AOEg@CFYBx?Q_EO]f~cGY?HAI`?O?gMb~X~p@}^wO]f{cFIBO~m^sOZfzCGx~@AU^mOcfxcEh}h@q^gOZgKb{IAw~I_oNpfucIYDW}}`SNmftCEX|`@a^UOVh`?Ag@c?m?Z?N_FSr_AC@I?bRS?IoCwAdLYejRShjStYYdLCaxRRGmssaJtJocLQ}HCSnQO|JocTQ}HCsnQP\GKe`QDHfSrqOdKoc@RLH?s_aX\L?bzP~HfSrqNtK_bxPzHdS]aXLF[eZPxHds]AXdKgblRGGysqQMdKWbbRDGxspqMTEweDRCGwSZqW\KSbVPlHbsZAWtE_eDRCGtSYQW\ESd~PfH_sXaWDEGebPcHhsWqYTJ{a~P`H_soAKDJ?dlQqH[SkQU|JKdZQnHYsjaUdI[dVQhHUSiATTHwdBQbHOSfqSTHcdJQYHRSeASdHkcjQ\HJSfAQ|Jcc^QzHGsmaQDHGcXQMHISbQQ\Q_?l?W_JoDgBC@]?x?]_MoFGBs@uhs?X_LoEgB[@e?tQ{h^SnYg@RiiCS{i_dMyfpSAh}TAi]dOYd@RQhSSuiSdLYe`QmhkSliYdJIexQ}hoSmi[dKIePR]heSxi[DKY[DMIfBRbhqsxIb`REheS]iXDFYfxPehySZi^DEiapRigoS{iJdMyaXQmgiSliIDJIaPQ}h[SOiGdKId@OuhSSNiSdBiYxQUhMRXhkDHiZPQUhMR[hldHi`PQIgWSciDdGy_POUgKSBi?d@I_xNygQS?iCC~y^XNUfyRuh}C|y]XNefcRwhyC}i\hM}faRmhwCzI[xMmfORihrCyYZhQAg}R^hnDGW@c?m?T?I_EOAw@k?}?\?L_FoBirg@A?d?P_GOCgALQUhNSegJsEYBD@u_~O]gSSHyCtAe`VOijPdfYshX}lGU]jODgysPYUlAUcjEdeYp`XakUUVjJdbyr@XAk[UXjLDcYr`XMkuUQjLDdIqpXqkiUZjRDaIpPYalMUHjOD`YsPW]lAUEj@DfYo`X}kEU]i~ddIqpWEkiU?jFD^Iq@Vyk]T|i{dcYnXXMjsUQizDbIphVakUTvjVd[ymhZEjgUoiutZyltVAjdTpitDjyl`ZEjUUojRDXylHYalMTgiqDiYtXUYjIUiiodiYtXUMjCUiioDjijpYqi}UljUDUytpTulYT[ictQyhTSqi\TLiftSYiDTQidTRikDOyjPSUiqTCiidPih@T]ikTFh^soYWDKaeTRHhdsrIXlLEefRQkFdpJAH[Yo_VDjke@izX_amsWFjje@iz@_aoMVUkFdszAH\Uo_VSjgEAiyP_emaWJjeeBJ@p[}m[WLkCdqix`_moSVJjbeBJ@p[emOWLj[TmivLZmlzU{j^ToIv|[EmFVAjwd~Y}X^}ncV}jve@Z?`^AoEVmk?Dyy|h_IoAVkjsD|y~H]inoVhj|DxY~`]]nuVejpD|I{`^YnEVtjXDvyu`]EleV_jmDlYux\ylkV\kHEOjA`cQoeXBk]ENzFpcEpyX?kZEMZFXbapsWvkReQzDHcupOXKkQEQJChcepKXIkXeGZEhaMpgWakNEJjDxaAo}WlkWEEzEP`upaW[kTEEJBPaqoqWjkaeDZGx`]qKWUkv_FwCKAA@B?__Ns`iPDG]cRQJhDTTiilT]ipTYiku^bNTf{rpY?K{u^BMlfsrlXvK|u[bNDfOrtXrK{u\RL|fCrnXuKwUZBL|fCr\XlKwU\BLdfKr\XqKuuTBN\fsqlX{KiuSRNtdKs@XQK~uXbLLe_rVXfKtUWrHtd?rJXcKfuWbJTdor@XZKouVRI|d{qrX]KkUj_A[@U?h?R_IoDIedRYhjSvi[tMIY|LaerRZhmSui~l^}n|Vyj}T}y}|^enpVsjzT|Yzd\ymzV^jotwJYHjut}ZNl^EsJX`jiuYY{lfEmzUxkMtoZDl[epJUxkIu?Yxl_emJXHjQuUYuldElZU`kYtkZGlYepzUHjuteY~l^EkjVPjAt]Y{lVEmzTXi}tWYolUejjThjEteYklTekjOHiYsCYfl@ehZX`iIu[YcleegzRxk}tAZOlOEsZWXhqs{ZDlMepJXHheuUYZldEejQpkYsoZGlJepzQXkAsiZAlIEoZQLhIs`YLlFubjT@gitQYKlTEazOxi]sQYdlCEhjTPgYtOYClSe`Zc@XeknUWjLTfIr\bMpjWskWUKjELa}p\WlkTUJJD\qKxR[dMTvHBdTqKxL[dMSVHBc|q{x@[`MWvGbeDqoxD[`MVVJRcDq{vx[pL~VKB^lncxRZzMTu}bdTqsvpZuMVVJB]|qWvfZtMSVHr]dmuv^ZmltuzJ\TpsvN[^LsvFb\DpgvH[[LrVEr[lp[vB[XLpvEB[Tp[u|Z_MKuvrbDlkwh[ULmUvRall_wh[ULlUuRallSwzZUMNUtrb|pgud[ZLhutBbdokwP[LMDVBB`Lo{wJ[OMBvBb_toGwb[CMHv?raTn?v~[@LxV?B]LvgzX\lmtvYJlTuexy\vm{fMzf`vaxo\vm{fMjfHvazg[tmZf\jmhrYxc\smYF\jeXvUz[\\mwFVJlxtyyq[}mlfOJjPr}za\UmkF[zmPt]yY\OmffSjhptEye\ImifRJi`smyM\amqFQZkXsayG\dmbFXzghuYy}\@m`fWZgPuAtNYelQuiJTLii|M]LnSfbJt@wy{p]XnLVdZq|xY|I]QnRFdJqXyQ|M\|nSf^zt@vy|I\ynRF^JnXyQ{Q]`nDfgzpPyI{u]EnMfaJr`w]{]]BnAfcZo`xA{{]?nOF_jrxwEwh[UmIvDzbLpawt[ZmMVFZb|py}O]indFjJxHym}[^DnbfsJwp{}}U^AnefpJx`{M}a]~nhFoZyX{A|w^Gn^Fqjvh{e|r]zn\VljvDz]|e^JnYfrZu`{q|_^PnWfsjuP|M|Y^MnVfsJtp{}zh\umyv\znLva~^^pnwVzJ|t}u~c^_nyFwj}X}E~c^\nyFvz}X|y~i^YnmF|z}p|m~i^VnzfuZ}p|a}g^ensFtj{x|U~Q^bntfxZ|P}Q~o_FoCf}k@@~f?Y_CoFg@k@q?U~{_Io?GBJ~y?n?A^zn}g?{?P~r?k_XoKGE{Ay@j?e_OoIgCkAa@ErXXmkuvAj`DoewJ[FmBV^Zn|vyzt\{m|vxj|D}]~F^dnqWLCDuBX@`_tOVwIsEMAt@f_kOXWISDuAh@`_nOSWIsCuAt@N_kOQwGsDEAd@D_iOQWHCC}AH@L_bOQwKSBe@x@f_qOMwLCB}BX@B_tOOWTO?{?a?RYllTujJhls}y\\ImdvRJuDzI|b]lnVvjj~D~i~r^zn}v~KKaE^BK`hoqgYKKIEjBW`aotgW{KaDzB?`eoqgV{KIDnBE`\opGVKJADzB?`YokgV{JQDnAo`\okgVKEyC~@q`Po[GSKHaE^A[`hoegYKHIEjAU`kodGY{IiCZAk`GojgP{IyCRAi`DojGO{GADJAC`So_gS{HyBvA__}o^gS[FQDJ@w`So\gS{Rg?Q?J?EpMg^[NqH~Bwa]o{gf[NYH~Bsa]ozGekMyHrBoaZpJg[{RIFVCo`spLG[KRaFJCu`ppJgZ[RIE~Co`mpGga{PiHNCWaQpGGaKPqGjC]aHpAgdKOyHZCKaTp@G^{OIGRCEa?_Co@w@C?]?R?GpbgpCVuKXE@bDP^wpCWUKLELbDP_wlSWMKLDnauP`WkcVuJPD~arP_WjsV]JDDzaoP]WmCTeIxDtalP[wiCSMIHDLafPOWgsTMITDVacPTO@G?s?U?H?E_AwyCH}DFA``QoiWS{[yL~FIb`prGwK[yMJFGbdprGw{\ALNFSbTpsgtKZaMJE{bbpqGv[ZQMFEub^pkgwK\YLZFYbWpuGt{YAMbEabiphGy[XqMrFYbLpfgy{W}KfEPbKpdwqkQ}HfCpaYpMWe{]aOrFkcMpyhB[aIN~FycNqGG~k^QO~Gab{qGG}{`aN^G[bxqEg}K\}NBF\bppxw{k`QONGIcJqCh@K_qOBGOcAqBh?[cyPJHQcSqSHC{bYQFGycaqMHG{byPfH?cYqNHEKaiQRHKcVqJHH[eYRBHcctqWhLKdQQvHWcnqThJkWeKZEJcJqDXA[_uObGNc{Q`XNcgeRtIFc{Q^xNcgMRtI@c~QZxOSfES@HldAQ[xPCf]SLHtdSPqwx{[uQFHDcbqNXGKb}TPItdUQmXTSj]TPIrdUQkXTSi}THIJdFQgxSsguT\I\dXQgXUCh}SlItdLQmXRCj]THIPdIQgxSshMVHJCdnqoh[[kAVBIydoqnhZ{jqVFJQdkqthZklQUvJEdeqsHX[kaU^JudqqyH^[mYVrJkdxqyh]KmyVjIddRqgx^coeV|KLe?RAx_SomWLKLeARAXZ{mMVA?AeLRBo?spyWbKQ?ARFXa_?QWu?AeKRFxao?YWz