CAT(2178,1)
Sparse6:
:~?aA_?O?G?C@C?U?K_E_Bw@o@A?s?P_HoCgBG@i?o?Y_J_FGAo@m?i?[_L_DG@S?i?T?h?BoAW@CBS@\?l_VOJWDcAq@I?h_Q?IWDWAU@G?i_T_GwCWAi@M?^_O?HgCOAY@A?f_S?FgBgAa?L?D_AOIGC{AYAM@?_b_NwF_Ce@u@G_^?QWFgCa@s@I_[_QgEoCq@i@J_e?MGEwCmAC?o___JwG_BIAE?p_b?LGGgBM?N?F_CoAG@K?aB[@d?oOXOJ{EGBN@e?ooX?K{EKBL@O?oORoJ{EGAd@P?ooR_KcCsBF@Y?jOUOIkD_Av@V?mOV_IcDsAf?D_AO@W?c?Y?L?m_UoJGOwGECKA?`@_`wOoGICIAG`A?aGMgGEBgA?`@_\wMoGIBqAD_{?`GMKFAB^@m_xo[gNWEeBs@g_}_YwN_EiBY@~_~?ZGEsBU@p?v_\OMWTgHoDDAZ@Ooh?RsHsDFAe@OOhOR{GgDDAH@Ooh?PcGkDFAM@ROhOPkH?CpAN@Joe_QcHcCfAQ@JOcOQkJgDhAr@[on_UsJsDjA{@[OmoU{I_D\Af@Uok?TcI{DVAq@TOkOTKKgEHBH@`oq?WSK[EBBE@_OpOV{EUBN@e`JOdWRSHeCpAV`g_uWYGLaEeBT`h?tGYWL]EcBU`e?twXWLYEiBM`i?rWY?LeEoBN`movGZ{LyEvBY`oowG[[MIFJBcaG?xo\{MWF\Bh@uoy?\cNCFVBi@wOxo\KMWFPBi@toi_\kIcFXAk@voio\sNCDPAf@wOj?L[IkBTAg?sohoLCIcBX@l@TOK_LSBCBV?o?soJoLCBKBX@l?YODOESBC?h?U?WODoD{@c@h?W?XoAoBC?o?r?T?FoC?Ac@[?Z?U?FOAw@c?u?\?O_FpLofCRcHxCyA\pP?g[SMIFDIAb@PwggS]IQDEaa`QGhGSQIGDGah`RoiCSwI`DJAhPQ_iKSsIdDKAgpTgikTaInDSahpPwhKSaI}DYan`UWkGTqJ?DZao`Vgk?TuJUDbAsPW_lCUgJJDcAspX_lKUgJNDoauPYwl{UuJ\DQagpSGjSTeIvD[anPVWmwViJoDza{@^GmwVuJqD~a{`^gmoVuJsDqa|`[wmgVqJ{Dsaw`^wpwWoKJEKBAPbOo[WCK\EABFP_?pkWYKNEHbCPagp[XCKjEUBIPe?qSX[KfEYBGPeOp{XmK|E\bMPgGr{WyKZEKbO`iGs_YaLCEfbP`hwsoYeLIEhbX`j_uCY{L`EpBTpjOuSYoLdEpBTPkwucZ]LjEwbZPYGlSUeJbDuayp\GmSVMKjEUbKPdwrSXeLLE`bPPhGs[YUM[FKbe`swxw[aMcFIbg@qwyG[eMGFJbb@qWww[iMEFGbe`pWwO[qMKE~bb`nwwO[AMGF?ba`oWwW[EM]E|bf@mWvO\MM_Ezbh@ngyGZqNcD?a_pOgyo]uMgFkbk@zgzG^EN]FTbw@tw{s]aNTFfbtpyW}O]INEFqbx`wG{_^QNIFsbx`wWzw]qMyFlbv@ugzW^EN]F]bw@vH?w_EOQGAcDA?x?o_qOIGGcAAAw~W^UN{Fub|@~W~G^qO?Fvb~`}GgCSAIBDAa`POXCO`gO~G\COQF`CK`{OrGZCOqF@CC`COxGLCKqE`@s`GOzGNCNQC@B[`QOfGVcKQDXAs]qNZFmbvp{W}CacPhGiCZQI@EkakPnGlC[qJ@FCbSP^GoCZQL@DsbGPrGrCZqKPFCaUPDGfcPqHhCccEQJHAc_QPHG[bkQNG{CcQP`FSbsQRG~CdqN`HSdOQ\HQCeQSpH{dSQ`HPCjqT`HkdaQtHXclqVXJc`}P@G`cbQPxHCceQVHIcraXHL?eQRWHectaXhLGeURSHdcraVhL?eARSH`csaVxL_eMRUHac}AZPNKewRrHoC|qZpN[fgRbHqC|Q[xMcfURpHuczq_`NcfwSJH|D@q^pO{gCSHI?DBQaHPKgiSZIKdDq]XN[fiSgIMdIAcHQgg}SeITdJAcXQohIH|C~a]qfpR[h{SxIVDMqe@RkhwSrI]DLPEGa{PYGbCOaHpCgakPQGtCXaMPEwbsPuH@C^aQPGwcSQEHLCdaSpIgdCQ]H`CkaTpJwdsQuHbCqaYPKwesRUHnCwa]PMwfSReT[IedUahhTGi]TSIgdTahxT_iaTUIndUAkHTOjITQIpdYAjhTgjMTmIod[AjxUojITiIpdYAmhVGjMTmI}d[AnXUgjqTkIzd_AmhVwjeUGI}d_anXWWjqUCIzd_AphVwkUUAJFdaAqHXOkMUCJHdeApXXWkYUYJFdfAqHXOk}U_JHddasXX_lIT?JLdOarhSOlITEJNdgAhXS_lEWQCCaBpAW_sOaGJKTADPBG`[OyG^CLbWPkguKZuLrEyb^PnGv[^yNvF{c?P~w~kayP^GrcWQKhEKcyQ^HKcgQSXHkdyQ~H_coqWxKSgISLIBdAQ`xOkhESdIMdGQcxP{sOXxLDE^ROpf{rsYDLFE_rP`gCroXlK|EZrM@fsrcX~KzE_rM`gCr?XlKxEXrKPe{r_XdKzEYrM`ecr?XTKpETrJ`ecqsXdKnEYrKpdcqOXTKdETrH`dcq{XPKmESrJPc{qSW|KcENrH`cCqcXBKbERrG`dCpkW~KZEORGpbcpoXBK\ENRG`bkpaWpKYeKrEhbKl[WjJTEIrDpZCp[UlJREJQt@aso{UtJXEGRC`ZcpCUvJ\EIRCpZso{U~J_EGQwPaKmGWdJbEIQx@a[mSWRJeEDRB@\Cm[WVKLDsrB`\SmoWTJjECrB@\smsWVKMDwRBP\{oKVbKCDxR@p][o_VhJuEBR@P]kn[WFJwEAR@P^cncWNJyECQ}p_snsYDLBD~RP@^{sSW@K@EbR?`g{ywFpBy`{o}w^kNq\sB}`~p?Hw?OMGBCAf_rohwC{I]BN?fSBQxtGsiYOMlfTBQXtWsq\WLLf^b\hvgvI\yLrf^B\xvwvQ\{LteuBmhlgziZ[Mzf]B[Xv_vAZ]MzerblHl?zaZKMvetbmXlGzY\iLifYBWHuwuE\oLaf[bWxkgzUZGMuelBjxjwzAYuMmfWbVXuWty\cL[eiBjxigzAYkMmfWbTxuWtaYqMqefBjXiGyeY]MgegBihiOymYeMkfMBghrgyM[{McfNbhXswyE\KM_fGBdhqGx][eMWfIbehqOxe[uMSfDB`Hogwm[MMLfBBbHpGw}[OMMe~b]HnWwE[?Lxe}B_hnOvyZyMBgI@@w_cOeGLCDaCP@G_{OeGJCEaCSH_`SOmGTCJaEPBHvkz}\|OlGSsJACtAg`\OlGRsIqDtAo`POSGOSDQCL@W`DOXGQsEACd@[`FO_GLsGQBTAG_xObGNSFqClAO_zOJGRSBAC|?s`POjGGSIa@t?{`ROYGAsEq?t?__|OHGMsFq@T@o_NOSF~sDQ?D@__HOUG?s?aBL@[_FNNfgRsXy[|Q]dNCGGsCPws{K_dNGGHrpQA[{[_dNHF{rq`~S{k^vNKF}R~`xs{s^zNtFvr{p|k~O^\NuFwR}@}S~[^bNhFpRy@{[}C^NNjFqRz@{s}g^JNTFlrt`zc}?]nN\FkrvpzS|w]pBw`|O}W^[NuFxBw`{o}g^[NuFxQH@~O~g^{OAG@B~gGsCyASoMWHKDeBrAH_so}W`KPeHrDHaTG{cTQNHCscAP\HCcXQMHGSbQQLF[cFPxHAS]AOlFgcLP{HCS]qO|GKbzQCG~S`QN|GWc@QAHCS`qOLH_aLP@HKsfAGlCGctPBHMseqGdFCcRPqHDS[qP\GwbjPuHESbQMdFsbVPkG~SZQN|F?c@QAGvSZqOLF[bJPwGrS]QK|FgbPP{GtS]qLLHGa~QRGoSWQQdEGcjPcHJsWqQtDeatP]gmsVIJ\CscdPMHHsRqQdD?cjPQHJSSQQ|H_aNQXGcSRARlHkaTPJHMSeaHLBU`lOxg\SLyFDBq`vO~g]sOIFtA{afOoGiSLAIlD_`bPUGXSTqE[ya\TMhfTrjXtcz]\pMsfYrmXutNGePRsHcsqa]tNKeVRvHes|QXdNGeDRuH`spA]dKSffRFHzspa]lJofpQ|H{sna^TNoe@R|H_s}qV|J[frQuH|S}qVDJcfzQyH}Smq^DIQdLQdhRsiYTDIidVQkhUsjyTtJ?fXQpHuslA\tJGf^RpHYs{AU\LgfLRZHrsvA\LLsfTR^HtsyAZtLOf@RTHosta[TL[fHRWHpsxQZLHwe\RNHNssQSDL?dBQbHhssaSTNwh\R~IVt?AeDOChbSrI@tKa_TQ_hDShIPtIacdQ[hXSlIQtIqctPShpSsIGTCQelPGhlSRI[tDAe|PogTS\IDtFa`dQCgZS^IFtGA`tPWgHSEIKTDq_lO[grSHILtAAbTTkGZCLaFPBw`{OyZlLsexR\xmkvMafPSgisTiJDD]jATfisdXilPUIjWTdipdYIlXUQjATZipDVIk@UYjET\indXYjpUQioTZioDUijpTei}TXikDVIjPTui?Tfi_dYIlHSIjSTBiuDPYlXSQhsTQihdMyi`RqhyTTi^dTyfpTYiWTEiedPyh@SyiSTPiddRyhHTAksC@a@P?w_[OIGBO_gOsHIClAI`FNBfaRpxwk{a]LRfhrSyY\\MifPR_hoswi[dMMfJRRhfSryYDLIebUwJRTmQs|ZklPU|JStiqvTZolTU_JXTgQu\YGlhUuJQthAulZ[lFU_JUTgQtlYKlbUnJQtjasdYGl`UYJRTeqs|Ykk|U[JStiAr|XslTUVJLTeQr\Xck|UVJNteArdX_kzTlJGtZaqdU{kfUQIxTdamLXSj`UJJ[TbAvLWsltUOJ]tbqv\WwlxUDJXT`au\W[lhUGJYtaau|ZWkRT~JUt_AtdWCl\UAJVt`AuLWKl`Txi|T]yndVyjzUPIxt\Aq\VSkhUUIzT]AqTXSjnWKHAS_yOlGYcPQFiMTFYbtP}hBS_iJTEIa|PegvSYkEeEJBH_qo]WZkFEEjAH`uo_W[kHeBJAP_uo[WSkFeDZAH`]o_WUjsEEJBH]eosVikLdyy|h`uowVkjpECi{X`MnGWSjqeDY{x`]nKWUjjTtyzD\mmrVYkBDsJ?x\EmcWHjheAj@X\UoOVSk?Dqj?H[moGVMjfe?ix`_UoEVLjaE?Iwh_EmKWAk@dpz?h[eoGVGkBDnj?xZ}mCWHj_eAiwX_moOV?j{D~Y~P^QnqVzj}D|Y~x^]n{VujvdwI|p\qn_V\jwdvi}X]EncV^krETJIld]qpXXkjUHBKLaSr@WeKpuHrKTacrJWgKqUFbKD`{rBW_KpUGRK\aKrJWaKqUQBDTccpVXLKUuQbDda{qXXJKVUObJTdkqFX[KaUPbJ|c[qzXDKnUNBEtbspnWyK_uNbFDbkp~X?K[uKBHtbCq^XOKXUSRE\dKpjXQKYTdiqLXQkdUTjHu`JOlgasRYFlBU^bQDf{sbYQL?UdBO\hSsDYRL?uXbQDe[sbYQKsUcrLThSrVYSKsu[bNDfKrrXsK|U\RN\fsrnX{KzUabLlgkrXYKKvU[RP|gsr^YMKwU?J?L_QoDWBkAu@j?|_eoPWJkDUdbVTh[tvYZL]unrRDhgtxY}LKujbVTi{tvYoL]UnrUTjKtzY}LWuiBUdictjYiLZUirU|istrYkL[UgjS\iQtLYflQulBRdhstjY]LZUfrU|iCtrY_L[UWJKLeMrDXdkqUoJWLkMuHZAlaurBZtl{uZZ`LfUwBX|mKubZaLgUpbZtl{uNZ_LcUqR[LkkvFZILpUuBYTlcufZSLlUtbZ\lSuzZVLmUxB]DmSvbZfLxUxb]\nSvPZhLyUyb]tmkvnZlL{uzB^Dm{vvZmL|V?b^doKvz[CL~V@R^|o?wL[@MBtUIjTTenpVsj{t|i}|^UrLXfksUYzLTeeudZRljUtJY|lUwm[\mKFFjbHqAxC[YmMFFzcHpmwm[PmKFCjbXpQww[TmJFEZbPpMw[[QmFFCzapo}w_[SmGFDZ`xpEwy[GmNFAZ`XqAw}[ImPFBZcHoqyABt`zo|iq|XekpWuk\uLzFLbippYWlJUdzRLhmstZclquxj[|mevP\NMiVRRilswyf\OMjvUBiLtGyl\MMbvRrhLssyP\OMdVSbhdtCyV\CMbvPRhLsSyX\CMdvPbhDsWyT[bM\vHBfdrsxP[fM^VHRf|qWy@\RMYvTBetr[yj[wMjVUBfTrcyn\AMYVJrgLr?yB\BMXVOre\sGxb[zMSvNBdTrsxV[kM^VJbgDqsx~Bq`yO{zp`uS{F]CMrV`RlLwSzT\gN@v`Bk|w[z@\bNDvaBkLwcy~\cNBVabkTtk{R\XNBvUbpDto{T\]NDv`bjlvszn\}M{V]RoLvgz~\{N@V]roDvCzV\qMuVZrm\uwzh\oMzV\RlkN]FjBt`zO|w]tzK|_]lnWfijuPym|c]knWfjju@y}{{]inNfizs@yq|A]lnPfjzsPyy{o]cnQfeZrhye{s]enMFhzrXya{i]KnHFbZqHxM{g]MnFfdzq@xYFdBq`yO|G][NM}g[zm]VOJflryx~^PNdvsRxd|G}Z^QNfVsryD|K}^^SN^voRy||S}@^ANkvtbwd|_}F^INdvrBwl{W}\^FNevqByD{c}^^SN[vnBy||S|t]zNjVnRzDzw}r]rnYVlZutza|n]HnBV`zpTwm{P^_N{VwR~L}G~t^cN|v~R{\}S~x^xNrVxr~D}_~t^jN|v~R|T}c~x^ZnlVvjzl|}}x^rNuV{b|l~O~\^tNvv|r}L~W~`^}OGV~sAM?@?d_RO?wDS?]@P?D_IOAwAs?e?t?L_MOBwAS@}?`?X_UOMWDsBm@x?p_^OKwGSB]A@?t]onXVkZ}\~I~l^snzv|[DaAb@Y_goTGJ{DQAn@Q_ooSgJkDYAJ@W_boVgHkDiA^@I_ooVGHKG@|E}f^QoDWA{@e?z?^_Lo_GO{GACRAA`Do`GQKGQC^AA`EoYGNkEqBv@i_|o^gK[FyBJ@e_}oZgO{FACR@q`Do\GP{FaCb@u`EonGUsHMChAv`JOmWRcJeCtAz`KOmwTSH}DXAd`VOiWUCI]DhAb`XOgWXCJuETA~`_OrWWcK}EDBP`bOswNkF}BvB_`iotg[[LyFJB[`qouG[KLiFFAv`\omO?SNIFM?C`xOyW]??QFjBk?BO|w\o?IFm?E`yOy~