CAT(3200,1)
Sparse6:
:~?q?_?O?G?C?_?J?F_BO@W?{?Y?]?L_EOAw@C?i?R?N_GoCGCgAM@B?a_T_FgB{AA@P?h_TOFWB[@q@d?r_WoN_FkBu@z?{_\oMgGwBm@x?y_[oLwFCBQ@l?t_j?OgG[CEAJ@E_aOPwHKCa@|@?_^oRoHSCoAZ@M?doKWE[BIBN@e_qoTgJCD]BI@`_r_VwKoEAAj@S_hoW_JcEKA|@c?moS?J[DgAd@X?goJWD[Aq@\?n_WOMWE{BaDM@z_}O]gNkF}B|AA`?o_GO[GUCHAI`DoaWPsGqCZAN@CocOP[H?CTAN@EOb_QCHCCZAE@?Oa?OSG[CBAB@CO`OO{GOCLAN?toZOQKH?BX@u_yO\WLoFuB_@~_v_^gNOEiBw@h_|_YGMGF]Bo@r_{_[gZgA]@J?e`p_IWDSAaFQAB`Ao`GGkCYAH@M_foRWF{CA@|B}@xO|G][NIFhBr`w_|w]oNAFiBn`vOzW\cMeFVBi`iotGYsLYEhBT`kouGY{LiExBZ`movgZ{MIFBB_`poxW[cMWF^Bp@sOxo]CMGFHB_@qowO[[IaDNAh`u?rg\oK}E_Bl`dorWXcLsEPBH@nov_XSKSFNBF@sOx_WsI}DZAm`WokgUCJ}E@B@`l_ogZ_KQEEBY`Z?uWZ?JaEmAv`OogwSSIQDJAe`NOgGR{HgFjAX@zo|_RCHoFjAZ@zofO]sMcCnBj@Ioy_QsLCDfBQ@YOsoUkIkDrAz@UOm_TSJwCfA|@HOn?QcAQ@H?caw?LGEsBUDbAq`WOlwVCJYDDAb`OohGSsIUK[D{a~P^WlKU]JPDiauPYwlkU}J\DeA}pXOnsUOJxDuAvp]?lsV[JZDaAEpWo`{UCG\D_AqPX_jsT{JJDWAwPU_mSTcJbDMAxpR?mcVSIZDJAuPQOlSSgJVCUA{pDon[VgGpD?a_pOgnGRuH{Dza^`]gm?RiJcC{aw`Mwe_U]HkDhaY`YGbKPmGtCrA{P\oeKVWHdD`AVPWoeCUGH^CjaUpJGckQ]HLCFAypAOmcO_JfBz`}o~GgWSYIIDGaa@PwewTmHqD\a[@VGd?PQGeCiaS`DWboTUImC[aM`TgbwQMHACcaO@Gg`OTIIgCKaD`SwaOOEGECPa@@CG^oOQG?CE`~`@Wi?NiFoDPaf_}W}w@y@@?^c??awPKGiAR@F_cOQgH[CqBd@p_xpEwbKPiH\CoaVp@w`KOaF|B~a?O}G^SNePUG`cOqGXB[`uOxG_cNQFxBg`yOuG_cMAFxBo`YO}GVcIaGHAS`QOfGNcGqCH@k_yOXGBcAq@H?g`QOeGBcAACh?S_EO@FsbzP|W~[^iNxF}b~p~W~S^qNvF~b}p~g~K^]NpFrC?p{P?S^GO@FpBzp}O}[^GNpFmBqp{?{{]{NLFbCGQBo{S]OObF_bnpwWz__iOQF]bmaAwzO^AN[FXbv`uwyS\AMbFICKPqpBK`gMXFFCKqE_xK[_OpFCCMQEows[SOzFsB_poo}s[GNjEzCEPnP@sZoOZEwb\PmWusZ]LjEnCCpkP@[Z?OTGVBTqD_tK`SLTEbCBPhP@CYOONEYbMPewqKXMKdEMbGPbwp[WuKXGFBDQA?pC_WKREaBtPgO|C]cL@FLBjPu?x{[wMnEkB^Pj_wCYsL~EeBXPi?ucY[LfEVBIPd_rCXcKjEDBtp`o|kWWNXEABhp_oykWOMhE\A~p_Or{W?K|JO?LoFGBklc?r?Y_KQvoAk@Y?n?`_PoGgBS@a?rJjBvP{G|{^uN~F}_VOKGD{DqA|@\_hoTWIcIeDPAf`ToigTcKiERBG`HocgQcHaCtAX`LofWRcHyC~A_bEpawpcWUKNEEbCPaWpSqcXNKgeRRH@bsqOX@KcENrHPcKqKXJKaEQrH`cKqKXPKaERrDpbkpkWjK[EJRC`asp[WhKREIrEp`KpoWTK\EDr@`c{qWWPKFESR?`bCoCWtKXE?R@p^so_V~KED}r?`^sn{W@K@D}q}`aCnkWbKND}Q}H^Kn]V[JpdwA{x\wnIVDJbdqQwX[Cl}VNJedqqyh\KmaVRJidsRE`ZspcUzKWDmRE@[kpgVNKXDrQuPbslkW~JYEOQw`bsmKW~JcEORC`Y[lSWhKRDiQtpaKlWW^JWEGQ|pYCncUdJwDgq|`ZClWVjJVDyQtPX{kwUhJLDhqoPCckKPDJACPqz`U[n?TdIsDvqypT{moTbJlDWQj@XkiwU^IlDfQq`TSikUXIhDdqg@W{iGUPI`DcqfXR{hyV?ISdJAvx[GhUUIIPdHaphW_hIS[JpdGA{xPwnIUsIDdla`xZGgYUAIAd`a`HWOgMR~I@d?Q^HNsfuRsI}d_A]xVwfeUSHudeA]HXWf]ReJ\cyavhM_lqWYHpeFA[HMOoqUGHldbAZxWgeyRUK`ePaZHcOeiRMJOcsashL?lERAJHcpapxKOkaQ{JsdzAWHJwnUQnHTcjQVXJ[dqQpHYckqS`bkdOWxHRELqRpVsdCT~J?CgQQP`KckWVHIEDR?pG[oSQJKCCaQO@VccCTzHAD\rBPF{bsW\KKC^QMxFcbiVuGvd}AMX^ObaPkI|cYamxE_jqPcKDe@aKxEGoQVUGmcWAzX\_a}PIGicRaIHCoaeTGIfdQaiHSWiYSOIJdCabXPOgqSoHcdJaXhRGeUSsHMceafHH_hmQKItccAlxGwjYToGjd\AJHVGau?^?O_Gs@oBs@}@@OR?HOCwAclYUpJVd_qoxWSluUxJ]d\qnXVckeUNJGasPYWk{UqJTDj`FObWPcCQAL@D_uoYwLcRuH~C}a[PMWe{QEG~C_a@p?g_KNuFvB{cQqHxCsaePTGgcQQGxCSfURfHsclqVXJccuQ\HKcdQQxHKb}P|G|c\qNHFTFKbXPigtsXqIlD[bRPUGsSXAHTESaRPJGrSNiFlB}asO|gkCNiJHB}`vOyg]SWaFLEK`pP`GZsKqIdBCafPQGXSJqJ|Awb@OoGnSJQKDAka~OkGnSRaC|Co`JPLGRSFyCDAE`DOcgPsYABlE[_|O[GssGaLDAObRObGrsOABLCG_vP@GLSIqAtAs_pOkGJsFaDLAg_xO\GSSDQHtCs_fOSGeSLaAL@G`hOtGGSBA@t?k_^OIGEsAQAd@S_NOGGHr^QKcv{bLL}Gqr~aGt??aPN~GbsC@~\@G^zOPF}SJ`}S~O``NrGVrzx}K~A^[P^fucWH|`Dya]NefsCSYI?}]^HNbfqrwA@|?s^DN`GFSRpzTDC]xPOFlrqAJ[{gazNHGmSDpws{[_pOUFas@@w[{O_LNAGArnxwK{A\|M|f]SUpvLDs\vP[F\Rkq?{zS_POHFYRkaGczCaJPBFWSHPtlAW\^MmGRria?cyo_LMjGAriQEcy[`lOtFSSB@sd?g\JMeGDsOpsLCS\FPCFPSZ@sCx{bVM]GtRfXr[xq_AMUg@Bdxqh?MbAMEgpbaIKOw]a?MBfAcOiGGwQakMAgjb_HoHDUZuPEe}CQHnPC]`mLsg[b\iF?vUZaPWexcUhmPDe`uLletcNIFOuqZIOpercKxkpBI_}LaeqCGYC?uMY|L\emRWHkKt}bALZekcWxjPEIbGLWgqbTiKot]_ALIg@bQy?OsqaQLAe`cQiHWsEX{Pie_CYyL_r}XzKze]RMADLAgXtKxGSSEpet@cXnOYEYrLAIcrGafKrGhRJXdcqyXVKieSrvP|K|{^VN]FtRqpyK|K]ZNQFeRl`y{|_\pMvFkrt@p{xC]lMOFiraPxswk]`MIFfrc`m{xOZrMRE{R}@lsv?^rLnF|RS@pctC[\LQFEre@hks{[tLMFKr|phK~SYPNuEbrP@lCsWZRLDEtRJpicr?YjKpEhoBg@s?yj]?J_EOBYnWAI@F?`_MOEwBk@a?t?X_JODwAl?U_HOEgDSBI@\?u_\ONgGSCiAK^iNxFzbxp{g}KBm@x?y_ZoMWFCLiExBZ`oowg[CMYFNBg_jOTwJCDeAv@Y_hOSWICJMDjAs`HOdGQ[HYCnAT`JOdwQkHmCxA\`OogwSSIYDHAdbgpsgyCXMKbEQbKPdwrKWyK^EOb?P_Wn{WqKZEJbCpaGpSWQKDEBbAP_go[yE\FMafFrcHqL]gnLVcjqtxqz|]cn@VgJnTwqz\\snBVaJmTpiw|[am@VAj_tuAvl\gl~VXJ^TnIvTZmmqUpjlDkyz@ZIlAUnjWDfys@YylWU]jUdfItXXumWUXjfDeixhXmkmUbjKDhIqpYIl_UQjVDcItxXEkYV^jFdwIpp\ymEUFjadaYw`WalYUGjTdaYt`W]joVTjjd]YnP\YjmVHiydqimp[mkWTqiyDaipXVMkkUCjKD`YqxWYjwUijSD^YnXYejQV`jpdYy{PUijSVRitdsilH\QdiVHhZdqyUp[ij?ULipDbikHW}iCTziaD^IgXVuhkURjIdMIexXQlESojQDKYePYImMSniUdqIwpQyhMUviSdmYd@ZalsScj\dHiv`QUhAVfjsDGycP]egpSYiKtBqr|YCg`SPJOTAQrdOgk|SJJMt@ayTO_mhSFJhtuq_\\sgJV[IAT_Q^TNokFRzJ@S|AslNWlNRtJRS{QuTNKlfRqJWtoq\tN?mJVCHvtmQ\\Z_fXUvHusyAslMglNRhJRSxQqDM[kbReJHSvAq\XSe|R\JISuawTLkm@V@Hkstayl\[epRVJjSsAl|LGjbRPIwTxAW|]WeRVdHcSpArTKWkvRDJKt[AWLVCeFTnH`SnaodJ{kLUDH_SmqnLJsjtQ{I{TiAVDJglTQxJSskqulZWdhQqJYTrQUD[wdbVKHVsjan|W?dZQkI~T\qTLVSdVTuHTShamTVOdPQfIxtrqSD\CdDVOHOtnQQ|H_l~QXJ^SbantV{c^U?HGTxqP\GsnRVgHET_QN|WKcBUAH?TbANtWgbxUJG}s]QudZWbvPyJYtrqMtF_mbPvJgSZqltEsjXPmIutZAMDUwbdTlGwtNQgDRwiBS~I]TKqjlTwhjT^IYTIqhtQoi`SiIftDQi|P[irSUIkTQA_LScgDTII?S~aktN{jPR|IrtFa]|Q?fpS^H{swAfTMChvR^I[ssq`dLSg\RSIEswaXlMKe\RNHqTWqXTUSeXTcHdsgqglISiNQcIbSfQjTH{ixQ]IltDAQdPGclSRHItTaQTTOcfTTHGsaAiLTKcTQHIhTQqO|GSiXQEIes_qb\PocHQAIMseaMlHobfQZGyU|OA[@Q?dTlivTZImTVQjfTwi|T]X\CmiVRJSdhqtXWkkQULI}d^qoGDKAi@P?d_ROHwkcUYJJAE`CO`wGKCMADCOaHPCWhCS]ILDIacpQwhkSyIXCSaHpDWfSRmHxCIaEPAxC{aUPLGgcTQIXCSaQPFITdJQdHPKgaSTIDdBq`hLSeqRVHXckQUhIkd]QlHQciQSxICdEQ^HCcaqOxGCcIQBGocVQJxE[bEPdGkcUqIygTSQiFS~i_tOIbtQAg~S`iPtGi^tN}fzR^hoswIZlLqe|QShJSdYOTGQcFPrgyS\ZohvczT\yMuV]rl\t{{D\_N@v`Bjttiyr\WmlVUZjDsuy\\KmeVRjhlsWzB\GMpVWrg|sCyn\AMjVTRgDrs{@[}N?v^rf|rOy@[tM_vObetuWxf\cMWvXReTr[x\[wMVvMReDu[xV[kMsvJRlDrwxV[lM^vJBflqS{D]CMRvHbo\rOw~[`MZVLRcDpoyj[]MjvFRitpgxP[ZMTVERdLs{wf\PMIVSBalooyb\OMDVArh|okxD[cMDVBBc\vcwN\zMCv]b`DvKwP\sMBv\R`LoKzl[AM{V?Rm|uwwD\nM@v?Rllnky~Z|MoVVb^dvsvtZwM}U}Rntv?vp\qL|V[R^LnSxDZvMQU|bc\owvd[NLyVBR]\uOvRZjMrUybkltkvH\\LquwrjdqwuzZ^MWVJrZtlkvzZYL|u~BZdvouD\}LaV^RW\j{z`Z@MxUoBmLrgtpYvM\ulbfdjKv|[?LYulB^|j?zB\bLXUkRkTigydYkMiUiri\sKtNYhMauiBgdiCxJYbMRugbcti?wJY]MBUfr_dscsvY\MdvQbRdr[sj[xLJvMBQtg_xd[rLBU`reLo?sJYBL~u`B^tfs{BX~M~u^boDrgrV[{KuvMrLdvOrHXaMyv[rK\e?wd[OKouVraLtkqrXZMmvVBJTdWz~XWN?uTroDdKydXTMiUTBi\d?wHXQMBUSR_lcszZ\nKfvZbHtcoyVXIMdUQrhLbkzlW|M{UNBm|sKpd\DKYVPBE\pcpR[ZKTvEbDTaWzNWgMsuHrlDpWpFWdMKUHBa|a?xPWaMTUGRdL`gzXWZMtUFBl\nGonWXLyU{rBDp?oh[QKJVCRAl_wwlWOMKUBra|_owj[RKEuArad_KxBWCMOVFr?TsWn~\FK?VQB?L^ww|V|MMT~Bbl^cwZVzMFt}b`tnSnnVwLzU|q}t^?{D]CJwt{bo\mou\ZmLgUzRX|lOuVZULeutRXdm{uJZpLbu{BWtm?tZZ`LVuwbTta{spWpLLUKBRLhGs@YSL@UcrOLf[s^XxLGu]BQDfWrtX{Kyu\BN\gor\YMKwUbRL|e_unXiLkuYRZDe[tzY}KquXbVdc[trXGL\uQRVTdop|X]K^uVRGDbSppWyKZuLbFLaoubWlLhusbDt`wqHXEKNuPRBlgcobYJKHuabATfCoPXrKDU[b@L_[vNWELsU@R[t^OqBVrK`t|RGT]{uPVlLdUqQ|tiOnTYeJuUhQ|[?a?R?IlxU|J][^QNjFu_UoJGD[LQElBT`jouWZCD}B@@`_goSgICDUAh@R`UojwTsHeCtAW`NogGRs[eMNFGb^PnwwCV}KBE?f`Roxwc{U]NNEfQRhhsktMYjLSejRUHi{teYvLYefrRhhkqeXVKikdURJH\^QnjVrjtTzI|]LhFDbWPpwuS[MLPE~bQPoWssZuMDEZbMPpwrC[ULHEXbMPiWssXmJtE@a~P`WncWMJ`EpbYPZwuSVMJLERaqPdWkSX]I|F@aoPnWjcZ}KTDPbBPTWpCTMK|DLbPPRwsCSmHdEvaZPmwecZeK\CfbGPIWpcQmGtELaNPcWbcW}KdBj`vPdW\cX]LDB^bNOwwsCMELXBR`jPjwtSLUELFN`dPswXC\EClDt`LP]WRCV]MT@xbeO^WxCFmNH@dbpOWW{CEMAhDValOUWIsTeMd@N_hPsWxsDEAPEj_dPjwHcYuADFZbnOPwGc\u@dDl_YPYwECUe@LDt_SP\wnCAULl?Xb\OFWvC@m?dFLbcODwxS@T|tDf^]PXVvCUMMg}tbkNlwyrzL|a}l^VniVtZy\{y}^^LneVqjx]NC}R^FPxW{BxEKK}H^EPaWpRwl{DDh^BPZVocUlzxDP^?PTVnsTMIS|pafN\WhbvLzXFV]tPtVls\dypD~a}NVWnRtly@E@]aP`VgSWLxtDX]]PTwjRr|xhF^][Puves\uJ?{hamNJWjrqlx@DnaxNFVbsVEFxC~a?POw^sSEGLB\`kP@W_SLmHpAza]OnwfSJuD\CN`XPCwUCPECTBd`FOyWPcM]CHA\`COgWOsH}BdAb_zOhwMcIUAtAP_mOcwQcD}GP?vaEOMw`SBeIH?jacOJwgsAuFl?^`|OGW^CAMB|?L_GO_wOC?}??~x_AN|W?R~\~\At^xOmV}CJ\~PBp^tO|W]R}uGg~baKNxv{cP\}lAh`UNuwTR|d}_~\^iNwVyR|}BW}`^QOZvsSFDzlClaWN]wdrvdzHC`]sPHVksQM?K|^]pOAvkC?d|{|R^`NTvwBtTyW~D]gNqVhr{\yL@f_tNQVhSEeE?{n`aNKwWRrDxK~J^fNGvcb{t~{{X^}NDv~RplwdBL]GOsVacK}@w{J__NBwFrou\s?J?F_BT\Ym|VYU\JNdeqrHXSkmJZDnavOYWLSEaGZCNaFPIGdSQeFpBy`{o}w^kNqSzI^dNQexRchiSnIXdKTLYedRMeXRJhdSoYW\KIcnQWhKs^INlFybZPngvS[IMTFE{b]RnHVdJqlxY{V]LnEVbjqDw~OagGsHIA\AA_^OYgEsAIB|@q_VN]gOrwiCk}A`FNYfnrvH{K|a^FNMg_rsIF{{qaFNGgZsLHx\BI]NO[f\sFhv|@i\zNWf\rvHvk|i\~MsfSrjHvKzY\VM[gRrgID[xy`RMUgUsKHrKxi`^Mwe~r_hu{wA\jOwe}sNHnLBiZvNqeyr|Hm[~AZnLofqrZH|Kuy^NLifyr{hk{~AZRNGedrphhk{iYRLAgasPhg|CaYJNKe]rNhyKsA]^N}e\rLi?K~qXrKofzrLH~[rI^rK]f}rGi?KqA^~KWfzrFH~[pi^rKQfsrDh{kpQ^NKKf_rpHaK{IW^KEg@s@h`\?QWRK?gUsKH_koI`^Oed|q~iD[nq`RJsgIq}IBKnY_nJmgIq{IA{nI_rJOftrzhYklI^ZOOdOqhIA\?yTFOKdNsAHRl?iSvISfhqeHy{hY]jMocbrkhH[yyQRMocarkhG[yyQBOwcMqGIF\BqO~GWg^qEiG[`YaBGOfhqDHy{`I]jGIgasQH@|CYOZGCftrzh@K_Y^ZOuc@sKh?LBQN~Fkf_rpG|{{INbOEbtpyI?\?QNNGcelqHhj{aIYzLSdpqxhjKtYVJJ[fGqwHqkly[fJCeQrIHXKkYXNIqefqlhi[jQYbIkfCr`HUKwYT^IefDqiHpkii[^JgdCqzHPkmiSVH{d^q_HW[fyUBHmfRqYhskeq\FHceTrJHLKeYX^IAckq`hJkgQQvHQd[qnHI{jiQjHKdjqSHZ[cyUrG{cyqNhMKbiRfGsczqMHN[bYRrL_cVrXHE[uIPbGkcnqWhD[aaRBFwddp~HX{^iUZIMbxp|HQ[^YSbVUfVrkxuKzU\rMvFIbePqwuSZQLfESbIpdgokWYKNN]fnrvXxS{e]PL\enRVHj{uEZ@V{j~T~Y}t^anndUqkXT{i]TVIhdPqhXSKhmS~I\kKUHZBdaeotWfkIUFzAtaMp@WRkETsYyd`EmdWNkBTrZ@T[moPVNjcT|Ywd^emLVvj`T{Yvt]}m@VrjoTmyvd\um|UxkDTlZ?tZ]oPUrkLTgzBDYUoxU`jLUCzAtXuohU^jKTwYqd\}klV\kTTbyqTa}k`WlkWTaZEdWupdUJiqT{ylD^EjLVnjzTWY~DUMnhT^ijUByid`EidWLiYTsYfD\MmhSviRTrYcT[}hHVJjsS}Y|dNunTRzjpS{y]t]]nHRthoUFy[TaEfHWbkRSvzCdLuetWhjjSpyzTKUmpRBjjSnYzTKEmpQ~k?SkYUd_UoDQrhIT~Y~tH]cdVzkASZyMT_Mo@PpkWSYZEdEupdPjkVSWzDdE]pTPdj~SUY~TDmalV|jsSSY|dDUnTPRgdTwyHt]]aXVdigT_YhtVuj|TLj@TPyotSmkHTHiFT\YmTOmgXTpiAT\ynTOegLTxhrS]y\TF}fPP|i\StYftLehxRVhfTkYtdLMe`UnjRSqYXTYmeXUhhZTCYVTPUdpSRh~Siy_TI}g@QlhQTJyTDRMdLSphNTYySTU}d@TlikSeYjdHuitQZhESzYQDNEc\RniMS`yPTQEcPS^iJS_YbTGUgpQBgyTOYMtSUbpTBgnTJYKDQmaxSh?C_AO@L[umVVNjhttYyGa{PaGlC[aNPFYLtEub^PpgxS[LuIzb\emxvXJl|uIzR\emuvXJl\viyz\_m~vVjnlvQyn\wmlv\jjLqQ{R]ImOvGjo|py{F[[nAv_Jb\vavz\sm?v\j^|niz~Zwm}u|jn\mIzbZ]mxuwJl|uaurZ[mtuujllbq{NX?nDuNjpLbY{BWynAuMJo\qYq^[ikhvIJILmQwjZgmKuxja|rIuf[uljvLJYlkAwFZCmBuoj_loat~[Kl]vAjV\jQw^YwmHuljaLiyyJ\GlXukJg|hqx~Y_m`ufjgLrasnYYm]ueJf\tAsb\SlIvSjQ\gqv^YMltuaj\lnQsRZqlBu{JOlfQrzXuk{u[jN\fAtZXklTuZjTLiIrNYektuhJLLsirB\MkqvRJK\dir~X]l?u_jJlqqqjXWmWuTjd|kYqRZIkeuqJH\cIuZXElguPJX}CZ@j`GoZwQkFMCR?~`?oOwOkBm@R@f_QoVwCKEM@Z?V_YoEwBkBL}z?N_CnwvzK@L}j?F^eo?vyJ~||a}N^Un`vtJwmBi|z_}n_wNJv|zY~f]ynzvmJ}l~a|b^{nYv}ju\yi}v]mnnvjJzlyQ~B^cnRvwjtLxz@F]aoRvgKCmAa{r_knMwIjr\xI}R^KnJvdJx\{y{b]KnhvbjyMHzDJa[pOwekS]HRDNaipJwiKRMHJAZ`OpFwRkQMGBB^`}ouw^KL]GJBJ`gpBwXkOmFJBF`]oyw[KKMDbBn`Yo{wVKN]DJCR`UpDwTKPmLZEVbYpfwuKXmIrEJaopcwjkW}JbEbbSp]wmkY]JzDfbApZwoKUg?JF\bhpu?@k]]Mg?Hbp?@WvK[W?ZF@bf?AWvk[n