CAT(3192,3)

Sparse6:

:~?pw_?O?G?CBO@N?d_ROGgCcAMAg@L_doRGJODMAb@Q_hoSgIKDUAl@S_jOTWIcCyA`@N_v_QGHSCeA`@M_fo]?MSFQBf@r_yO[gLKEmBT@i_soYwMKFAB^@n_wo[GLoDuA}@k_u_VgKoEqB[@g_u_XwK_DqBE@Z_l?XWKODaAq@__j_WWKsEaBNAL`FobgPWHYCSAV`E?eGNWHYByAW_}?dwQGHUCcAR`G?dGOwGECEAH`C?_gNOGABo@~_{_^gOoFUCI@u`A?\wIKDMAd@M_gORwSOIyDGAo`V_gwUGIaDeAi`X?iWSKIAC~A[@VOk?RsI{CzAX@WoeoU[HgDdAd@TohoTkIWDX@i_soYwI{DeApBN@coqwXSKcDhBJ@ZOq_UkKWEFBD@cOpoWcKAEDB@`b?lwX?JeEMAw`]?nWVOJ}DuA}_yo\gM{M[FBBb`pOtO[KL[FFBU@pOs_ZsLOF@BR@nouoZCLsEtB[@kor_X{LCEXBO@eo{o\kNSF^Bs@vOy_]CNGFXBp@toxo[kMcFHBe@sP?_HKCaAT@G_dOQWN{FyC@AA`?o_wOcGYCJAF`CoaGNCFiBr@z_}o^GM{FUBlAy`]Omw\KM]FPBc`rOxWc[QUHHC_APpG_ccQCHJCaALPGOb[Q?GxC^AKPFObKPwGnCUAKpDOa{POGpCOAMPBob[OwGtCKAGpCo`[PGGZCIAIpAOasO_GhCIAEPA?`kOcGVCDAGp@oa[PGGLCAAFP@?aCOKG^C@A@o~o_SO?GHC@AAp@o^{O?GLC^@{PF_]sPsFnB{@{o~_^[NsFtDd?`OPGG[CUAN@E_uoZgLcCuAX@J_eORWH[DqAt@Z_moVgJ{EEBD@__poXWKcD]Ap@X`KoewRSLaEtBX`fosGYKKuE\BK`eOrgXkWoKTELBCpaopsWKKLEDBCP`?o{W?KREJB@P_OpSW?JtEAA}P_On[VSJ|DuA}p\?n{VSJnDuA{p]?mcVCJzDrA~p[_nsUwJvDoA}PZonSUkKJDlB@pZ?ocUoJnDlA{pYonCUQJDDbao@bWp_UEI}EMan`bwkGXEJ?EOaw@VGlwTyJ[D\aw`VgmOTuIwDraq@Hgd?UMJCCfbB@SGp?TIKMDPaf@cGhwXEIYENadpRGhSSeINDGak`PWg_TmIsDEaj@OWj?SMImDAa^@YGlOR}I?Dha\`YGlORuHwDhaj@MGj?RiImCxaY`UWewTmHkDYaX`TWi_RQHcDRaW@SwigREIgCnaV@XWd_U]HYDeaS`XWdOU]HUDec?_OGGCCAAB@@__oMgFcBm@z?~_^PWGkKT}FHBe`qpHgdCQ]O_GRcHADXAG`QO]F|b|aBg~__uO]G?b~aBW~o_yNiGAc?`|w}o_MNmGAbya?w}o_EOKFwcA@}g~G_UOGFwb{a@g~O_UOMERcC@dH@GXIMCGQbaACWwW`ALzE{b^PmwvKZiN}Erc?@lW~oZQLoF{b}`lguw^mL_GRcI@kguG`ULYGIbVaBGto_mLWFrby@ig}OYmN_Efbw`iW|wYaLKFkbv@hGsg]uLAGIbPaBGsO_mK{FkbO@zW|oX}NaEZbw@fW|wXqKoGFbLAAWrG_aNcETbJ`{wqo^QNKF\bs@vw{w\yN?FVbk`wgz?]EMsFSbm@tgzW\UM[FJbe`rwy?[qMOFRbg`qgyO[eNGFDbq`pw{W[YNQE~bt`oW|O[ASC?p_XOKwECAy@^?o_VoJgEKBM@d?s_ZOLWE{Be@p?t_ZOLGE{Be@p?g_TOIWD[Aq@ZFwb|P}WGSCQAF@A_aOOwGkC]AL@F_aoPguKZIL`IGDVqa`UCgcTbI_DDqg`PkiCSXInDMqf`UKh{T`I_DLQg`RciCSvIiC~qipOKicS@H~DUQ_PTsg?TZIbC}Q^`SkfsTHIeC}Q^`TCfsTNIGDMqfpPShwSRIJDLQbPRcgoSvISD@qdPOchWSDIVDAqePO{h_SLHwD@q\pOcfWSDHxDAq]pO{fgSLISC{Qd`MshSRnIVC{qePN[h_RtHlDRQZpTCewTNHfcsqYHKceYRJIlCoqj`K[ioRDIhCnQipKCigQ~IbClqVPSkdoTHHsC^qNPMkfKP|G^DGqcpCKa?SdGaDGqH@QShKPFHqCRQHpMKaSR`HqCSQI`MKacR`IMCKqE`QC`kS^G[DFQF`QC`sS^HsCJq\PAsfKOpHQCiqT@I{dKQlHKCfqSPHscsQ`H?C`qOPGccGQJGzCtqN@LcegPtGjCZqJPFKaoPpHGCYqPpEscWPhGpCcqKpH[bGQTHWCVQK@JSdcP^Ko?POHGC[AM@D?c_QoHwCsA]@J?e_\ONGF[Bq@t?z_]oNwFsBy@~?|aipSwicTYIpDVakpUwjSUQJFDaeUbPHgWq}X[LAeVbPhdos]XYLDe]bIhfoqqXwKje^bIhg?qmYAKkeWBHhc_rIXIKpeQBKxcgrUXKKseRbLhf?qeXOKve\bIXfGqaXsKfehakhU_tEYcIreNRGHb{pqWzKZeKbOXbOr}WoL?edBDXawsaYQKUebBDHgwpIYIKReFbOhgWpAYGKPeEBNH`oryWYK|e[b?xfWoUXsKCd}BLX^OrQVuKrefA{Xi?nMY]JqdvBQH\wsiV_LHdubRX\_sqVULJefAyHi?meY]JidrbQx[gsuVKLKdpBSX[_tMVELQeWAsxYgrIXaJSdhBLxY?rYXoJPdaQphWkk]UPJHd_QnxVskMUDJ@eCbGXcWomXCKIeCAvh_wlqWKJ\dzavx[GneV?JwdeauHYwk}UkJMddAuXXWlmUWJYd\b?H_GjuWCI{d[A|H]ojiTqJtdZa~XUonyTiJ~fe?JgECA}@b?q_XoIGDSAe@T?g_SoIwDkAq@V?l_UPzG|s]uN`Fpbvp{g}[^QNjFvbzP~W~c^mN|F~c?Rs`ws{_]hNFFhrq@y{|W]LNFFirqPzS{k]rNIFkRqpzc{g]vN\Fcrr`lk{oZ\NLEuRrpwk{K]bNCFgRo@z[|s]DN@FmRnpy{zs]lM}Firu@vSzo]tNXF\rs`u{|O\rNRF[Rl@{{}c\lNgFYrkp|{zG^ZMpFvRx@ts}W\`NdFVrfpx{yC]bM_FgRf@xkxw]\M\FeRdxrCxY[fMTfIR`p{{}c[RNgFCRy`ocwW^XMDFtrwpo[}G[BN`F@Rv`ns}?[@N^E~r]p{cvs^LL{Fqr]`|c}gZpNjE{rzPmk}wZnLuFvr[`{SvO^FLrForZpzsvC^@LoFnrWHkKuIZHLbeqrYHk{uYZTLjesrUhjctmYzL^enRTHistUYnLXekRePskxk\LMfFLRc@tkxG\VMPFURi@pkyg[^MhFFRa`sSwo\HMJFPq[HMSfERhHtcxq\hNCf]RrHzc|SNYF\Bq`rOyg[SDAKl@WbNOTGrSYAALEg_fPhGHSBaL\Es_`PkGFsAqLD?sbTOKGssAAL\?gbZOHGuSWa?lEO_NPbGBS?aKl?ObNOBGrR~qKT?CbHO?Gpr{H}S~E^fNtfyR|h~C~]^tNxf|sT`~dD[^zN}GkSLqHlBWa^OtGfSVaE\Do`hP\GXSJqI\BCajOoGiSJAILAwadOlGgSIQHTAkaXOiGdsHaG|A_aROfGcSOQC\CK`JPAGQSGAJ|EC`DO`GoSUQBlDk_|O^GlSOAB\@o`~OYG^SDqGd@caLOWGaslYU\JQddQohWshAL|IWb`PmHQsfaTTI?dXQ^HTseAUtHgdpQXHZsmQPLJkcVQyHDS`aQlG_cnQFHJS_qP|GScbQCHGScqODGGcdQSH?s^QPdGwb~QLG~S]aTlI{bxQmG|s\qR\FcczPwHMS\ASLIKblPtHPShqMLIcbfQgGxQ^HNkfyR~I@d?Rixtkyq\RMifSRhXs{yY\DMcfPs{A\LNCfVRiHvsya\tMkfXRhHusxa]lM[fnRgHzSxq]\M_fhReHxSoyWdKIfJRchps{aXDNOeTRrHcspQ\|NCeNRoHbS|QWDN[eBQ~HzSnQ\lJwf\Q{HuSvQY|L{erR]HkSuaYdLoelRZHiswAXtL?fDRNHossQX\LKeZRQHeTI@ckqQXLKgeSrHxdSqqXVKneUrJiI\DUahPOghSSYHlC}a\PIgeSQyG|CeaPPCgbSPYGLCMaDP?g^SNyeXRehcSvi[DKYe`REheStiXDLifhQyh}Soi^DJydxRqh[SyiWDMydXSMhYTCiUDPYgHQqiCSli_DIydHSmhOTHidDIid@SYiOShiTDPyexOQgKSxi[D@YbxSMhATDiODPIb`RQg{SuiMdLYbHSYiOSZiLDPyapRigoS{iJdMyadPUgfSOiHTCYg@OuiCSNi_dBihHOiiUSJidDBI_xRyhySHiCDNycxOMgCSdi?dHicxNyg?Sdh~dHi^XQIfwSch}dGycPNihGRxiPc}IrO{a]LNFfcrqxxTH]clQThHSdIQ\G}cbQOhESbiPlYKkzUdJNthArtY?kzUaJNtgQrtXglTUjJMTeqtLXglLU[JSTeqs|UUjLTci~t_YoDVClTUjIxT[AtLUslJUcIvtgqltUglDU`IuTgAl\YWjNThJSThqlDX[jBUXIpteAkTU?krT]JKTVqq|TskhUUImTdQj\T_khUUIktdQjTTSkbTVJHtTaqTTOkbTRJHtcaiTWwi^UOIgtbqiDWwi\TLJGTRAp|WGjxUCI~T_qnlWkjrULI|TbAn\VWkJTvJBT]Ao|W_jfUIIyt\ApL^OnVVljuTyY|D]inaUtjZd{yup^InaUqjxdlI}PZMn[UnjwDkY|xZAlYVnjUDzitp^AloV`j\DwIvH\}nIVOjrdsi{p\Em[VcjpDryxh]MmMVRjcdtYx@\QmKV\jadviw`\qmAVIjeDoywP[ml{VUjkDoIyxZ}mqUzjldnYzPZqhDSciPtHYc|QYoLWGkBuEzBl`qpCWLkFEGzCH_qo{WHkOEAzBx_ipAVvj{eGy~@aIo{VskOD|jBx^UoEWTkAeDz?``YocW?kIE?jAX_EnyWWkLD~zBH^yo]VykGd~JA@^mk`UMjFtcYq\XIkhUUjItdyrLXapGXCkREOjChcMqOW~kdEOZHHcAqIW{kbeNjGpbuqCWxk\ePJFPcMqUWukeeMJH`b]pfWtkYUKjEDbEqOWlkVeQjHHaypSXJkUERZDXcqqIWfkbeIZGpaan\Vojvt{Y}\^Iq`XMkfuYZL\eir[XYkmEZZJXeqrWXVkvEUZLhdaqgXnkweTjIhfAqaXnkweSzIPfArKX_ksEWjKxeEqyXbkneXZJpeQsMY@lCe_zP@gIrwXqkyE]zNhfMroYCk|E`jNHgUr{Xtl?E\zNxfYseYIlIebJQ`gmsYYOlHEbzPphEF~C@a?PrWx[[qMPFIbcqyX\CmiVJJedrsGYCTAA_|O^gMsoIWLJ}d|Q{h]t\inDV]jfTtiyT}I}|^enhVujyuWJKTeEqzX^knUoBWtkGuPZ@LbuorVljwuJY~LaUoBVTkGtxZ@L\ulrVljwtrY~L[UlBVTjStxYuL\ulrULjKtrYwLXUlBTtjSt^YuLWUkrT\istbYkLXUibT|i_t`YhLVUjBSliktNYlLRUiBSTictHYiLPufrS|iCtJY_LRUgbRdhwtHY\LPufrRdhwt@Y\LOudbWth_uPYVLbuorRLkSsvZCLLU~?As@a?n?X_LOEz`?@y?x?\mF?GGCK@}I|D\amQLhEcbUPbGrcXR\HmSvMZbLnewSZiMDE}bdPpgxt@i_lOQgNSHiCTmIvTZelvU|j]UHJCtaUpNWhkSU\JM\fIrjXvkzVMrelr[xz[{MZVMReTrgxh[wMXvJrelr[xb[oMZVJBeTqwxh[lMXvJrdLrCxV[oMTVJBctqsxP[mMRvGrdLqSxV[cMTVGbctqCxP[fMOVGbbtp{x@[`MMvHRb\qOwt[bMMVERb|p[w|[WMMvFBalpWwt[ZMIVDraTpcwb[WMHvCRadpWwf[QMIvBjaDo}w\[OmFuqR`\kkwZZIMEU|bfTrcvp[wLzvMr]\nSxz[{LyU{b`Tn?wPZpMCuzR`Dm{wTZmMCuyb_|mkwLZkMAv?b[|oKvR[CLsUxR_|oSvLZcMBUwr_doGvDZ`M@v?BZtm?wBZ^L~uur^dlsv|Z[L}uuB^|oCut[?LkutR^dl[v|ZUL}u}RYTlOvvZyLhvArX|osub[KLgUrB^LkwvvZLL|Vh?@S?q?V?L_FoBju?@A?d?PnZ?DGAk@M|n]wnZVlju|za|e[}nYfOJu`r}{{\gnOFYjrxue{{\jnOFZZrxuq|_\fmqfkjuHuYzE]qmqFkZu@uIy}]lmoFjzkHyyyy]knTFVjj`ymyu]lmlFjzjHyy|W\UmkFijtXt]|M\RnSfTZt@tQy_]cnRFSjshtEyY]fmfFiJhxyeyS]cnRFRJshsmyM]`mcfgzh@yIyG]rmbFlZghzQyC]am`fgzsHsE{c]WnLFdJqXxe{]]TnGfdzq@xY{K]KnCFbjoxwu{Q]BnAfajo`wmzs]?m}F_jnXwEzq\~m}f]Jnpv]{u\pnMf[zr`vIz[\smwF\jlxvV?S?U_KODwAs@]?p?Y_LoEWB[@i?r_[?NOFGBk@q?|?\nOVfjr}@x@H_bOMWGcBm@|@D_`OQWGCC]?h?n_KOKWAsAu@`?\_UOFwDs@m@d?b_ZOHWEcAE@L?r_TOLwDCBT{Q}F^Anavpzwt~x?~_?OOv~sCD~l?x^|ONV~CBm@S~t_SN{WCr~L~T?Z^uOFv|s@t~H?d^sOGv{sAE?g~^_KNwwAr}Dzl?N_HN\WABvLzp?N_HN^WABvm?C~X_BNvW?b|l}c~F^jNqvyb{d}?~L^gNpVxr{L|[}t^[NkVuRz\|s}h^^NjVvbyl|K}V^PNevsbxd{_}\^INfvqRyDz|?H^@OBVoC?k?u?\?N_EoBw@s?i?X?J_DOAw@eF{?`?Q_GoCGAS@F?N_GoCu}Z^\niwH[Bm@V@Z_|oYwV[LmEW`SN}GDCNaEP?W_cOmGLCLaCPBwZSNME|Bv`mO|W]SMEFlBb`yOxW^SM]FxBh`{Oyw\cNmF`B|`vO}WcSLUEpCf`jPHW_cK}GPBRaBOsWXcOEGDBH`dO~w\cKMF\BF`aO{W[CJuE@Bd`pOnwZSJ]E|Az`mOmWUCM]DhBj`XOyWTSPED\CT`UPCwR{IMDBAd`SohwRCQMCxCf`LPHWaCHMClCT`IPCwPcP]GtAPaKObwbcG]H@AJaNOaWOcP]C@CZaKO_wbcFmB|C^aOO^WI{DmAr@\_noWWKkE]BF@l_toYWMcCuBp@N_dO\wMCDEAh@r_hOZvgzsTyE|T]knTvjZt|yy|f]tnYW{SSuNLDPbqPRwms\MJtFTa{PsWmC]MJhFfaxPxWycUmMdDnbgPZWks\mJPFVaqPuWjs\uN@DbbnPWWjc\eItFZbjPUWiS\uN@DTbnPTwekReHnC~a\pNWgKSMIJDFadpQWxSY]M\EjbePiWsC[]MPEdbPPpWwCXmKxFBbNPnwusXULhEXbXPdwvCW}LxERb\PcWpCYuKXEpbDPjwdCWMKLCjaUP`WdsVuHdE@aWP^xHs]eQdFlcgPyxEscMPtHFc[QPXFcbEQ@Gtc^QKxASdmOlH^cIQVX@cdUO`HXcFQTxDS_]OTGlcVQAXCC_UPDGBc?QFw~c`mN|G\b|QEW}caUNpGhbzQHw|sceQXFrbwQQxSOCCAE?~?__OoFzlDuizR\jmuvZKFMBb@n_yo]WM{kATjJCd[qohU{jiT^I}dXqnHUKiiTnIkd[qiHUkiyTFIedXqhHUKiYSzIcdOqfhS[iqSzIidOqiHR{jiR^I}cwqnHLkeaUBHed`qYhWkhARBHcdIqWhQ[hYSVIMdLqeHPkfaSJH{dCq]hO{fyRfIAczq_HMkq?@M?j?S_IoCwAe@b?n_UoLwEkBLze|v]yn]VnjvmL~FBb_pmWvkZmLfEvbYpjWuKY}JzE@a~p_wo{WUY@Lde`RXxfsuMY|K|eoRMXjcrmXdLJeYRRxessuYHKteXRQXgsr]YlKneURUXjSrEXXLPeiRKXdstMX|Kje`RHxdCsEXHKzeORNXcSreW|KdeLRGxbcqEWtKfeTRFxdCpuULKPeHQqxXCo}YxKHenRAxkCouWDLbeBRXx_cuUVxLJe?RRx^ssuYlJvelQ}xjCneV`LPeiQ|X]StMVTLDdvRQX\cs]VRJddrqwx[Kl}WhJXeKQvXaslmWdJRdjRCXYco}WhJLdgREXask}_HBr`zo|W^[NuFrGjcVqJXCka]PRG`cPqFxBk`mOrOIgJsEi@|?q_rOIgGsBiAl?q_fOCgRsAICl?Y`FOCgMsAICL?Y_~M{gJsEhv{{A_rMugQsHhv\AI\rO_fYsFHuL@y\fOOfTrjiAkyq_fM^fPrgXrkxm[rN}fIrdi?[xI_BMMf}r}HqKwq^vNqfDraH}{wY^jM?fxr`H}{wI^jNme|r{Hn{vq^ZLsfur{HnK}yZnLqg?r[I?[uy^~NwesrZH~[ui^zNYfiruHz{|q]nNcfgrwHy[}I]^NGfrrrH|[{i^RNAfQrphs{{Q\RQwhMsfyR\HUcrQVg\SkyUtB}dhO|hYSLyUtBe`hQrhUSJyETJE``QngSSjYDdJE`TQnhOS^YSdGEdDP~gzSOYNTCUbpPBgyShyMTImdPPpgnSXYKTEeb@PfgtSUYJdE}bXPZhCSSyPdD]cTPTgfScYIDHMaXQNgbS_yHTG]aPQDeFrCXa[pUWrKViISvy[DP]gdR\hys}Y]|M}ffRpiGSzY`dMmg\RhiHSnyatKMghR@iESnYVDPEg\QzhpSty[tLmfHRXh|SsY^tLUfxRRhdT@yXtOmeXSHi?SpY_dKegDRFfur{X|{~M^nNtf}r}x~L?M^~O@iiTEYjDPuilSZifTWyiTUEjHTPiiTQYjDSuilTJitTOylDS]jLTDi]TUygDT}h|T\i[tMye|REhjSriTTUydtT}hXT\iSTYycdUejLSfiNTWYcTUMjHS`hUskYT|J]dfQtjPthYs|XulBU^jST`YtdWelTUFjST^ytdWMlTU@jXT]YndZEjtUnjWT[yuTV]l\TtjHTZYqdVEk`TnjJTayrTW}kpULjjTlYydZemdUvjkTrYzd\EmtVNj_Tvywd]MmDV`jbTmyvt[mlxVHjwT|y}d^mndVxjuTxY|D]}nTVfdMqfxSK|e]jNVfhrsXx|J}eFR@h[snYV\XEkjURjDtbyplaqpBWokQuJjC\`ipNWikNuFJDL`QpBWWkQuDjC\`iobW[kFuFjA\`YoRWWkDuDJ@l_ao^WKkHuAjALaqnzW?kWt~jD|_IpNWikBu@JDLew?]?R?GrExbkp}a~PbgosUYJlDmhJShiRtFyc\QEljUxjZtmyv|ZusXYRlGUdZPth]spYHlMUazRTg]sXY@lAUcZOTg}sLXzlDU^zPDfurhY@lAU\zOTferlXzkyU^zNDfupdXbkZUXzEdeUqxYRkoUdzJthUqlYXklUfZJDhmr`XTkxUSZLtdMr\XNkxUQzMDcuqHXhkuUPzHDemrDW~k`UXzGDeUppXhkuUNZFTemv{?H?E_Az^tj}u@[Bl]V?ZUtn}tt[Bl[V?ZUdnet`Z|lXU}z]Timt\ZvlyUjZ^DiUvxYhl|Uhz]Th}vhY`lzUgzZTm]u|ZjlmUyZ[DlUvHZXlpUtzXtkMuLZRlaUsZXDmuv`ZLldUzo@w@K?a?R?F_CZiTsqyF\OmavRjgLsqyN\ImgvQJh|qyyN[qmdvQJeLqayB[kmavIjg\qIxv[em^vHJflpqxj[_m[vFje|pQwJ[EmGvAJa\oiwn[MmLvBJbG?c?U?L?C_BO@\xQrFXfkquYZLlem{d]BnGV`zptwU{d]HnEVbzpTxEzT]ZmvVfzldxuzx]HnEV_ZpTv}zl]Bm|V`znDwU{h\pmyVeZqtvMzL]VmsVeZkdxUy|]ZmpVfzkDxuyj\RmjvUZjltmvfZvlyu}z^lne|X^\nWVvztt}E~D^BnrVnz{d{E~D]xnrVnZ{dzm}x]rnZVwZztzU|F]`nQvhztLym}l^JnfVuzxd|e}`^DniVqZyT{]~P_LoGVz[@t}m~t_Fn}WAz~u?f?D^tn{W?[?d~^?d^noJV{{Ad~F@H_joSWJ{CuAv?p_^oMWG{BUAEyZ\Nmgvtzz\|e}b^TnhwNKHmCBAR_}odwNKG]CBAJ_}obwKKHMBJAV_soewOkE}BjAN`Co[wZJqLxM{^_FoDwA[?m?N?B`oo{w^KLmEzBv`koyw[KM}EzBf`eohwSKLMEjA^`qoow\KK]FZBJ`Yo|w^KJ}DrBr`SotwXkJMEbAnagpCWg{OuI^CHado~Wh{OUINC@adpJWb[RUGnCpaNpMWc[QeIFCda^pSWm{VuIvDTa|pWWl[UUJfD\avotwY[K}KBEZbApgwpKX}KZE^bIpgwqKXmINDNad?@WvkY]LO?Lbbpj?@K[ML_?Hb^?@WvK[]Lg?Lb`