CAT(3192,2)
Sparse6:
:~?pw_?O?G?C@??^?L_FOEOAs@a?n?U_KODwCO?i?X?J_T_@w@C?e@A?C_B?FwC??U@R?i_SOHO@KA[?N?e?COM_?c?Y?J?^_OoGGCg?]@M?G_R?AWGoAi@R?g_POHGC[?Q?L?D_l_IoFCAs@r?k?ZoA_JS?oAr?J?kONOIkD[@~?}?jOP?I[CSAh@B?hOP_IKD?AP@N?boAg@c?mBa@X_lOUGIkDYAn@P?hOS?IcC{Af@K_fORWGoCeAO@J_b_QgGkCQAF@m?hO[?IcE{Af@T?_OToGSCCAl?|_^oNgFSBq@v@K?ZoR_FKCs@pA]?ZOLGEkIO@f?p_XOi?SgI]DGAf`R?hwRoIMD?A``N_ggQ_FQCe@u`H?\WScIYDJ@v_{o]GR[HqCz@{_|O]wNgH]B}AU_~?dWQkH]ClAY`KOeWOCGICBAB@KOe_OkHcCHAZ`MofGP?GeCMAJ`B?agRoGqC[A_`N_bWSSIMDBAN`GocGQSHQCf@p_xo[g\gLyE~B_`jOtWY{LaEtBX`l_sWZgK}E_B[`l_sgZgLQEwBR`n?rWZwKqF?BM`T_jgU?IuD]Ak`W_lGUWJYDcAt`\?lwV_JeDuAw`^?owWgJ}DyBC`b?oGX?KIEMB@`T?qwTGKiDOBHaI?ZgMCE}HEBB`aopGWsKaENCkATpIgdKQeHVCiaSPHgc{QaHLCfaMpFwbsQIH@C`aK`HWb?QMGmCcaQ`FGcWPmHGCYaI`Ewa_PiGkC[aO@EWawQIHACWa?o~w_CQcGJCFATpI__sOeGTCGaI@@GagOIGkCBaFPCG`{NqF|B|`|o}W^SN_GbCR@zPC_]{MeFNBg`tOzG\[MOGbBeAHpC_[kPsFBC^@pPF_[[NKF`Bq@yo{O]cOoF\CL@vpAo\kEuBZ@l_tOYwLcVsBD@`_pp_oLSEqBVEK?loVWJcD}A|@_bI_XWKsEQLA@f_soYGPKGmCT@u_yO\WM[FEBdCYaMPEw]SNEF`Br`yo|G[SMEFFBc`rOxWx?ZoM@E}B_pnOv{[GMJFBBbpp?wsZcMJEzBbpm_wsZ{LlEwB_plowCZALbEqbWPkguKVaJnDxazp]GnKViJxDza|P^Gn[V}JzD}bIpdgq{ZoK~E}BOPnOrsYGLzEbB^PgOvc[OKxFBBMpo_r[X_LjEYBYPeOu[YsKjEVBVpd_ts[GLTEkBaPoot[WKKLEDBCP`?o{WoKREJBFPbOpSW{KfEPBIPc?qSYCKdEaBIPgoq[W?K|EABOP_Or{YoKrEYBTPe?t[WoLNEMBSpbOtCYOJzEeA~phOnsVSLREgAyP\_s{SgLrDKB\pQovSVCKNEGAxp`_mSUkLfDlBYpZ?ucUgLLEcAsPhOlKUIJHDbarPXwkkUCJhD^AypW?msTyIxD\ai`_go?TMIgE@agPSgiKWSI^EBAfPROocX?INDHBGpbohCY{IJElAbPj_gcWkHtCwBDPMOpKXsHvEZA]pf?fcR[L~CuB_pLOwC[SH^FFAWpp_eCQwLlEwAUplodcTcJ`DmAlPZoj[T[IDDWA`pT_gKRwHdCrA_PL?f{Am@Z?kcn?MgFcBmAF@C_aoKWE[BI@`?n_VQ[?FCBe@n@I_doQXNGEyB`@nbBP`wpCWiKVEHb?P_goKXmKzE[bNPgGr{JEDfAq`YOlgUkJeDnAw`\OnGV[KAEDB@`eOrWXsLUEnBUappWgkcUUJNDeakpUwjSReHtCwa\pNWfcjSTSIedTaiHTGi]T@IadOqhHSkiMS}IUdIafXRohQTIIOdFAhHSWg}SMIgdAahxSogYRxH|c~Q^hNcfuSCHzc{a`HOWfiRnHuc{Q\hM{faReIlcyajhM_iqTCHocxAgHSGfER[IYcuafHLwhmSoHmcuaeXQwe}RWIQdHaYhLWhESOHrdDA\XPGfQRQH~csA_XKwgAREHdcoaXhKOeQR?HkcnaYxJoeiQiICcjA_xOOd]SOHQdDATHPGdMQ]HZcgaVXJ_dAT[HMdUARXTgcqS?HIc~aQxHGgEQMIEccA`xGogUSmHBdKaPXR?cQQCIQdHaOXG?hEP{Hec^aXHFgeURAGyc\aWhF_eMPmHZcmaMXJ_baSUGsdEaLhP_bUPaHxcXa]xEOfiP_HXclAJxJ?ayRMGjcsaJXL?aqPCI\dNaHHRoaMTQGXcLaixBOiiOkHWcKAUhAwdeOeHocxADXA_fESUGJdEaBHP__iSiF|b}AdhQ_^mS[Fwb|AcG~Gg}MaIYbhafGyOhmM]H^bfAWHJo\AO_FgbrAChAG]]NEGLbqaBh@w]QOMGhcCaIhD?_aN{G^c?AGW~waAOGF`cB@wH?g]IPIFtcR`|xCo^YNcF\by@vw}W\yN]G[bwaFg}?`uNSFkbv@yw|G]uOAFVbka?gz?_MMuFGbm@qgzO[eMgFJbe`tgyg[qZQ?^_OoGGCcAI@F?f_ROHWDCAi@RHZcmqVGSKIMDDAW`LOeWQcHMCdA?`?o_gNcFiBvCPaHpCga{PeGpC\aNpFgcKQIH@Bl`vozg[SMEFFBc`rOxXsOxu[|M[fOrgHr{xK[pMTFJRd@q{xG[hMOFIrcPq[xk[LMXFAR`PrSww[HMEFFr`Ppkv]ZlLtezr\hmkvG[TLsFER[pp[u{[NLpFCr[@pCwCZ\LlF@rZ@oSucZpLyEtrY`nKtg[lL[FKRUpq{woYpLXFDRapi{w[YhMGEjRaPikxCYfMQEgrc@iSs{[~LOFOrR`sCsk[ZLLFFrR@psxoYDLCFMrOprsrc[rMZE\rM`rSrKZXKtEvRL@lkrAXdKpeVbfhdgxuX[M[eTb_xoOqq[AKieSRHxdKqSZRKeEtRH@l[v?WvLpEMrZpbcvGWjKVEyR[pasoo[~KMFOrBPsCoWZpLyECR@pnKuWV\LfDwQzplCmkZFLdDurX@\cvwVPM?DtR^p\Km[ZFLdDqrX@[su?U~J`EpQw@kKvkUZL|DfR^@X{twT|I~Enqo@jkj_Z|IyF?QmPn{vkTxL|D\r^@VkjSY~IvEmql`jsjOZ@L`DXqk`kSuWT`LfDVrY@UKnCX~JrE_q{`gCp_W|KYEOREPb{pGWRKREDRD@`[oKW^KDEGR@@aKsSW@KAEbr?Pgss_VzLID~rQP^sngXxK|D}Q}pfsn[XlKwD{q}@e{lcXBKbDlrG`ZSmGUfJTDqQwpYcl?UzJQDnQsPZclWUXJIDkQqpY{kOUNJEDcqpPXCkGVjJuD`qoP]dDWA`@P_foUGJSDeEpBY`kpQwhcSiIxD]ampTgjCT]IbDOahPLGe[RIHjCuaZpJWdsQqH`CpaVqkXT{jAThIqdXs]yNTFqbtP{g|s]YM|FabrPwgzsVAMdDwblP\GysVAJ|ECa|P\GoSUqMLDgbfPXGxSZqJ\Dcb`PmGlSUAL\D[bZPUGuSTqKlD_bNPUGrSPAMdCWblPDGysOQL\EsaFPkG`SLaIdB[afOtGisIaIDAkadPPGSsWaBlEO_|O^GpsEqLD@gbTO[GssDqML@cbfOWGxS[A?tEw_NPnGAr}QI[~kahNyGir{qKk~ObLNtGrr{AKDD{^dP`FwrvaIC}?adN^GgsW`z[|sbHPbFmSY`yLE_]`NNGssRpw\Cs]JPMFaRoQHTCo]@PJF`SRpt|Cs\`PMFVRiqHTCo\ZPJFURghs[yQ\JMffRSMpws{_`zNFG]SGqD|AS`bOcGWSGACtAG`PO`GRs?a@t?K_^OCGGS?Q@c~{_ZO?GDr|aG{~_aRNvGcRzQAK}{_fNmGHSD@{{}c_jNgGJSM@{dBg^LOxFqsJPzTAw]pOkFkrtQFtC?]nNUG^rsaES|O`fNRGYRr@~c~w]\NLF}sA`x\?c]TNHGCRnP|Sz{^XM}FtrwPvSzo^FNaF\rk`vKzK\nMpF[Ri@usyc\jMsFTTGaITDAabPRgiSTWR[HuCxAT`JOdwPcGyCZBf`soyG\KM]FPBj`uOyg\[MqFTF[blPuwzk\}M|F_bpPwW{[]UNHGscZQLXD{bAP\GdcRqHhDCaiPRFebsPxw|K]mNTFSbjPtWy{\eMpNifuRyx{K}M^DMbfPRhHssy]\JTSihTSyiDTEi^TEicTPyg\SUiHSyi]TMylPRmjWS{itdMihHR]iUSxidDMIelRYhhThIYtLak|ROjPTKIWtKqhtRGiZT]IVtVqeDU?h\TTIVTTqeDTWh^SjIkTJQjTQoirS}ITtNQddR{hZSgIltIajdQcizSiI_TIQgTQ_iBSdiRTHycTQQhFS[iNTFYbdPygzS^iOtGIcDP}hBSvIKtMQb\R_gtSWIWtKaatRKgnQZIbTQARlHoiNS~IETNa`TRsgVT]ICtAAkDO[i~STH|TCq^DPOfrRqIIS|AalPKffRnIGS{QaTN?gbRgIFSxa`lM[g^RdIqtXa[dUOfFT`HoTWq[TUGfBR\IEsvq`|Lwg\RYIHSvAaDPCevT?HfSrqgTL?iBRKImSrQjlKkivQxIismqi|JgilTWHZTUaVDTcdnQoIhTSqUTTOdbTNHUsjqiLIwi`TcHUSiqktIgjJT`HRtWqTLUGdPQ]IaSgAglSKc~QYIdseQhTH_iRTiHItZAQ|UkclTKHESbahlGsi\QIIrtYQPLGkjPQEIQtHqPDG[hLQBIKS`QatGOgnSbH?S_acdQGcBP|IKs^ab\F{gtR}HuT?A\tN{fZRzHss~Q\\NofTRHIAT@aXTK_gJRDI?spq_\KWgDQ{H`SpAVtJseFQrH^slQWLJOe@QcHjshaZLISepRtHOsgq]|NWdDQQHiScqYtLSchRQHGscAY\G{ebWrIEtBy`tPAgbSQiJTEIa|PmgtSXenRVxjkuAZDL`eprXXkcuaZLLfbHpdGqSXiKpEXdgQshYKlMUhJTdcQqXW{kiUXJJd\QmXVCjmTxI|dVqkXUCjMThIqkveXrKTe_r@XeKouVrKldwrHX\KpuTJItdUqbXRkhUSBJLd[q\XWKfuUrHddoqZXJKlUQJHTceqIXJkbeRZGpcqqDXCk`uORHtd?p~X?KfuNjFlbqptWzk[uMrEtb_prWyKZuNBElbKp|W|KYUIjDdamp^WmkUuKjELbApbWqkWUHRJdaWqtWcKluURC\aCqpXVKPUHrCD`wpRWgKNuErC|`spRW[KSUZBBD`gr\WXKuuYrA|egojXhKJUZb@leooXWMKuuYR@\ekoRXiKDUABDla{oLWFKVU?BDdagoDWjK?uNq}|^cqBVwK_UPQ}Lc[nfXEJxULq|\]sppWuJuUKq|DbOnTWtJstuRHT\kqRVYKcTtbGd\_qDVVK`uTAv\dWlzXTJ]USQvDdKltXQJ[uZAuTeslhUrKvUYquLecl^XiJWUXqttYsrPXeJUThbK\Y_rHUfKquWAqLeGkfX`JHUVQptd{k`X]JFt`Yo|WYjxT}i}tvAy\\wmjV\JiTsAz|\GnBVPJoTrQ~\[{nxVMJ|T|AxT[onlVtJdt{AxD]wmRVnJbtlqwd[WljUuJatoa{l[KnNV@JrTwawD]Ol~VbJ^TgArTYGkxU`JLtdqrlXck~UWJNU@AqdXWoJUTK@taq~lWsn~UKJ~UCapDWgohWRJCt_qslWGlHUbJAT^r@|WCobU?KGT]QtLYkjvTyJTT[Am\VSjbTsIxT\allV_j\TvIvvKaHTCqaVPLgfsRhLSeqRVHlcvqZhuczY\jMvf[RmYsdYMlJUejSThytLYmlTUljVTjIoTWQkFTxi|t]imtV]jpTriyT\YmLVAjdTmivtZZl@suy^\MmbvQZhDrkx|[{M^vNRgDsKxt\AM[vMBgLr_xj[vM\VMRetrkxd[|MYVNBe\quxX[mmWvJzeDtcxV\ZMSvUbdTtWxV\WMSvIbi|q{yf[pMivKBidqsy`[mMhVJBiLtctJ\ZLRvUbStuSx@[`MrvGbktpozD\cMLvWrbTowy@[OM^VBrf|okyB\BMEvOb`duSwR\fMCVXb`TuOwL\bMBv@RkTuOwF[CMpVWr_TuSv~[@MrV?Bk|noy~\_L~U~RkLngy|\[L|u}Rjlmgxj[vLuUyretrKvN[sLsVKb\LmOy|\\LrVVB[lmGzBZbMnuwRkDs{u|Z_MfUvrhls[uzZZMcvQBZdkoyfZMMiurRidkcy`ZJMhUqbiLkAuDZ@l]unzVti_yl\WLTUiRi|sSsv\ELKvPBRTsgsxY]MdufRhdiOyTYbMeUgbh\sOtBY^MaugBgtp[wh[UMKvEBalpCwz[RMNvCbbtn_tvZvL]U|bVTj[vfZtL[umB]djSurYuLlUlBZDl[tdYrLjUtRULiwufZSLWUjrYTisubYkLfuirYDqKs`YQMQvHBQLqWsZ[gLFvHrPthKsTYTLDudBPdhWsHYWLBUdrOlf{vbY?LxU^b]DmsrvX|LvU^B\|gcrtYGK{U`rNLfWsBXtL@u\rOTfGuFXsLau[rWdkWr^XpLcUprME@KxX[mmUvJzeDrEgfSTiIP]gncVmelRThiSsyYLLIcJQCh@s`iPDG]b~P|g~S_iODGEv`ZqlwuzZ\|mysNYHlCU_ZO\gIrpXyk{u\ZM|fZAQ_moWWJ{DiCZ@U`GoUGP{DEAj@R`BOQwPSC}CP@L_bOMwFcCeAH?x__OMWGSBm@x?~_UoKWD{Am@N?h`?OGwOcAUCD?`_QO^WCCFmB|?b_@OKw?sB]?H?t^}OKw?CB\~|?t^|OOWGR~]@{~x_bN|V}CCeAG~r`BNwWPR}MCO~^^kObVzcHD}tAN^hO`vysGl}hAH^fObvyCHECW~L^\O[VvsFL|x@n^[O]WMbz]Bk}t^PnhvsjyD{y}^^GOWvqcE\{d@d_sNavpcEt{\@j_UNZWEBvE@[|n_RNXwDBum@S|h]WO]vecF|xd@|`?NIwObq}CC{l]QnIVczp|xE{`]IO\VasFdwd@v]FOZv`cFDw`@r]BOXv`SETwP@b_sN?WLboUBS{B\zOQv]cC|vp@L_jM~v^SDmAoz|\qOSWIbm]Aczb\oOVvZcEDu|@\^qNjv|BzL~K}p^SNyvtb}||S~l]oN^vkbwLzC}@]lNaVobt|{K|\]iNpvjB{lyk~H]fNoViR{Ty_~B]eOFWBrsdyT?Z_INOwBBs]?k|D]]NdvgBxlx{}X]ZNEVfRptxo{Z\vN[v]Rv\v_|t]{MyVnRmtzwzj\lOBwARl]?_zX\gOAVYc?tud?Jbg?KoEwBS@q?z?]kTUJJD\a}p\WlkWUKjELa]pRWgczq\hNDYAlDU`jMtfyruNhGDb{Q?w}s_ENhFzb{P~w}s^uNJFfbppvW{K\}MlFDblPpwxC\eMhF@bhPowyCZ}LxGBb[Q@WvS_ELlF|bXP}wuc^}NPElbuPkW|SY}LLFhbSPywtS]uJ`FnayP{wmS^EJTFnavP{wlc^EJHFXasPtwks\mI|FTapPsWkC\MNHDLbrPSW{SS}ILF\boPQWzsSmMTCPbfPDWxcPMMTCJbfPBwxcOuDJAh`RoewRkHeJlBNa{OsWnSLMGxE`bPPGWbsYUGlEZaLPfwbCXuGPEPaBPcw_cW}GDEXbIP?WqsN}FpEBbBO~W^SWUKPBrbEO|wpSNUFXCt`vPMW]CR]H\BfaXOyweCMeF@Ch`qPJW[SQmEtCb`nPHwZcQUJxBT`jP^wZCWEDxDX`_PVWjSJ}DtDV`ZPSwVCTUD`D@aaOlWUSSMDTCz`UPNWTsR}EDA^`bOgWWcIMEPAR`JOrWQcKk@]?p?Uq~DFIbtPuh@S`iNwS[H}DBAR`Iodx_SpEWLKNeHR@X^couW@KHd~RAx_Sn]WLJzeAQ}X^snEW@Jrd}Q|X\sjEVTIrduQjxTCmmTXJndTQzXSsomWXIbdQRAXRco}T@KPeHQfx]CdeQhJtcjQ{xHsn]Q`JzchQ}XYSf}UlIBdiQ_XWCluUpJDd`QuxPshmSpIJdJQbXQCgUShIHdHQ`xLck}U`HpcvQrXKsk]RTJJcsQqXFcj]Q@Ixc^QlXEsjmPtI~c[QnXJSbEQ|GtcmQKxDSeERHGncpQJXCsceQXGdcSQQxCSc]QHG^cOQOxBCmMU|G\cLQwXAsmUVPGTdrQCxNC_uRxGPc|QBxMS_]OTHvcyQAODGAk@M?f?T_IVqjxL{a}J^FnbXuCx}\hMbfXRgXrSz][pMzfMRmXnSzuZ|N@e}RnxwSvU]LLxfaR\xuSsm\`LLfYRRxgcz]YPMzebRmXwSq]XTNFeSRpXcC{EXHM~ePRnXbkpmW~KXeIrDxqsyu\\MTfHRixqCye[XMffFRhXiCueYhLletRSxisu}YtLrekR[XfstuYDL`e_RVxkSreZLK|eqRMxoCrM[HKvf@RLXdcw]X`MJeVRaVIZdTqms`YQlGubZP|gzD@aapOwf[R}HzPIg`sQIGlCYaBPMg\sSIF|Cq`zOwgfsLIILBYaZPEg[sQiE|Ca`jOag\sHIF|AY`zO[g_sGIGl@yaFNrfzr|X|k~E^^NfftryX{K}U^FNGgDrqi@k{q_^Ogf~sIi?LAq_FNwgVsKh~lBA^vNYgGrvIAk|y_fNSgJruIB[|Y_rOCffsAHy\?Y]bQw_OoHWCZnTvqzv\}m~v^ZlduuzV\hmtVYKfeRzHzcxq\xMl?E_FN~f}r}X~\MufRRjhqsxy[\LAenRShlssiZLMAeZRMhmsqiZ|MQeJRehcswiW|Mad~Rkh`syiWLJaezQ{hnswIV\JaenQ{hksmiZ\KibVRMgvsrILlJYdNQihXslITLIAdnQchXslIS\GecZQJhAs`yO\FQefPqhgstIMLJyarP[h`soIJ\DIeRPUhasTIW|HQdZQWhWsdiT|GycvQ]hHscIRlFibNPugss]IKlDybzPah?sWIN|Uo@A?d?P_GOCgALhesvYYlNUfJRlh}tBY_lQUgzSUGbCRaIpAw`{OuDzA~`_omwVKJ]lDUNjRTaypdYUkHU^jCTgYotXuj^Tpiut[ym|VUklTrjKT\yrTVUkhTpjHTZyqDUukTT`iqTbypdUMkLT^imTaYodTmihTjirTUYlDT]idThifTXyiDUmhxUdjRTOYftYMhtT|i[T]YnTR]j|Spj@TLYoDRMkxS^iPTgYrtQEgXUPiGTdY`tXMkpSJjLTAYqtO]g@Txi}T@YnTOMftT~h~T_y^dWEhTTBiUTPydtSUhLTLiSTQYcdSmgdRniJS{yadNEfpSXhzTEybdNS@e?v?Y_MOFgBmVjJrdwq|x^[neOzGXcLqCxA{`UplXNkXURZEdcmp`XHkUUPzDtcUp`WfkTUJZDtaephWdkOULzETaMoFWFkAt~Z?L^}qHVvkcT}zGt^eqTVdjsURzHd]]lhWxj[UNYutbmq@Uzj^UOyvdb}l\WxjXUNYuDbmlPW~k_TizGTYuotVpkMT{zBt^UohVjkKTzzAt]um|WNjpUCy{D`EmxWLjlUAyzD_emPVPjdTrYwt[}mdV@jjTpYyd[MuDQthZskwx{[uMVQHhEsayO\G]cJP|h?s^yM|FmbrZGlourJ[lkivFZ[lduujXlkau~Y{liunjZLkAunZMl^unJY\lAuBX[lfuVjYLeAufYUl`upjQ\kQsjYKl`upjQLkQs^Zck~uwJNlmIrvZYkyuvjNLlqrnXaliuXJZLeYunY]lZugjV\iAtrY[lXueJUlhitbYGlSuajSlgYtNYil?ujjOlgItZXWkxuZjJ\dYrbXkkiuSjL\dArR\W?M_FoBW@k?}?\?T_IOC|j}tzZ@irtYylLNEffRniZtMyfLREhfSthys}Y]|e}rfXpksuZZL\uY{R]Kmsvajklty{F\anBvWJolvqyr]?mmv^jj\uQzv\umsv]Jk|tQzV\QmvvTjlltIzV\UmvvTJllsyyr\OmmvRJj\uAyb\KmpvVjh|sAzb\smavOjm\vQx~[{mwvMjm\qayN\ImUvQJd\qIyN\ImRvQJclvYwn\ymLv]JbLpA{R]KmIvaja\wyw^[InHvBJqLxYwJ[EnIvAJrLna{jZ{nKu}jq|nI{^ZunGu|Jq\vqvZZon?v^j\|mY{FZinBuyJolrQv~[wm@vLj_Lpqx^[qmOvFjeLs]yR\JmevSZh|tMyn\TjYtlyvLZulvU~oQWE[DE@v@L_ZoQWD[Cu@^?d_ho?WF{?eAN?D_`n~WGz~UAE~x_^oTVp[Dt{f@X^FoTVn{Dt{N@X^@n[WL{FTzu|t_xoWVkzuuBV@d]tnUWK[ETzE|\_tnLWM[FTxv@l]^oBV|Z~E?n?P^vnxWB[AD}~?\^pnpVvZ{t}E~H^^nsVtz|d|m~T^XngVhztD|U}d]jnfVhZsD{u|D^Jo]Wb{FuGvA@aJpIW\[MuHFCd`rpLW[[LeHfCl`norW][NeEnBP`zp?WX[OUENB|``olWR{IED~Ad`\oiWQ[JECnAl`Lo`W`[GuGfAHaFpbWl[XUJfEPavpVWf[UUIFD`a^pSWo[TeKVDTbBpPWm{VuI^DHa|?@WvkXg?RFDbP?BWwKX}L_?HbRpj?@kZmLO?DbZ