CAT(3200,3)
Sparse6:
:~?q?_?O?G?C@O?X?J_DoBW@c?u?[?S_J_CWBG@M?k?O_K?BwAg@I@C?__OOGGCKAE@B?j?Q_IWCoAa@E?g_P?IgCwAi@G?h_]?MoE[Bc@j?w?\oL_FKBg@h?v?\OPOGSCMAD@C_aOOwFsCA@x?|_^oOWI_CIAH@B_p_TWIsDQAh@U_ioQGHKCUAL@I_boR?ISCsAb@M?goSoH[D?Af@N?hO]oEKBI@d?q_WoKWD[Au@\?o_VoJGNCFiBr@y_{o]GNwF]B{@v_|_\gMgGABw@t_}_\gJKDiAx@V_kOUwJoGECK@\_o?_gOWD}BCAC`A_WWL{FABh@r_wo[gLGGICG@k_t?_WOWEmB[AE_u_`WKWFmBMA?_q?^WKoF}BO@}_q_^GU_AI@F?e_QOHwCkFYBn@t_{o]gNCJuDzA}`^OnwV{JiDtAz`]OnGV[JGDhAr@[OkoU{JCDjAp@[ok_UsHMChAT`JOeGQ{J?DrAn@[Ol?T[JSDXAv@VOl_TkIUDRAe`RoigTCGwCrAQ@NOe_QKG{CvAO@Mof?PkGkDFAc@EOa?R{G[D@AI@POaOSKN{?t?[_LoFWB{@yAb@R_hOMWF[Bi@f?s_YoLgFCB]@j?r_ZOLGFCB]AP@I_boQWGkCYAV@K_fORWH{DADBA^`OOggScIMCVAF`DOaGPcGeHiCkaVPIWdSQuHVCVaMPEWbSPmGpC[aKPEwa{PeGtCRAOPFoakPWHBCQAPPFOacPwGbCIAFPA?`[O_GXCIAFpAOaCOcGZCcABP@ocsOSHNCFASPGo_kQSGLB}`}o}w^SNqFrBrAPo|_ccQ_FpBvARO|OckNOHNBrAGO}?`{NWGZBtAFPAo]{NOGXCQ@wO{?aKNCGfBpAIO{_asNGGjB~ATpI__CQsGHChA?p?_dsQoGFB~@{p?_^SNwGBCB@|o~?_cNsG@BC`_OoWWSKUEFC\@tPF_\[P{FXCa@vpGO\kQ?F\Bh`roxG[kMaFLBT`hotwYSLYEhB]@kOw?ZKL{EtBZ@oovO[[LoFDBG@eOpoX{KcE\BO@dosOXSKWEZ?N_GOCWAS@M?\El@xo|g]kNQFpBv_SOIgDKEIAz@]_noWWKCDyBD@^_moWWKCEMBN@c_qoYGKsKEE@BA`aopGW[]?M|F^bmpugz[\qM]FSbf@tWy?\YMcFVbk`sWz?\MMRFKbdPqGxk[mMQFTbj@rGy_[iMYFVbk`qwz?[aMBF?b]pngv{ZqMCE{ba@nWwgZyMKF@bb`nwwW[AMIErb`@kwwoZUMEEtbb`lGw_ZQLYFMbV@rwtw\EM_Eobh@kguG\MLNEgbSpigtcYmLMCnaX`iwtORILWCsbS@KGtGRELuE]bZ`ewv?XqL?Eub[`fwvOXuKEFZbl@`Gow\}MwEGbA`vgzgWYJnDya{p]GncVmJWFQat`rwxoVAJYFOav@sWlw\MI}FZao@vGkG\uJCF]aq@vwzOUMMqDYam@tWjg\YIuFSan@twz?TeLADRai@ggigYMIkEcak@hgiwYULADFbP@QGhGYMISEcae@hghWYULuDEa`@lguwSMLoDCa_`mgvGSUL_CwbU`LwtoRiL]CxaY`kgeoZEKQETbJ@agp_XaKUEVbF@egpgXeJSD|aq`^gkoV}K?Dfb@@YWoGUaIYDqaf@[WhwVMI_Dsaz@SgmgTEK]Cza^`cGqGRuH{EQa_@dGqWRqSU?D_BoAW@C?i?LAp`XokgQ[HYCjAS`KOdweCRIHbCsaVpKwpSWmKXELbFPaWnkV}J|E?b@P_XUOhqSvI\dNQehR{hgTLI^DTQepS{icSxI]DSQipRki?SbI`DGqcpSkhKTHIaDHQgpQSgaSPIHdCqahPSgMSDICdBQ`xOkg?TNIeC}Q^PT[fwTPIhD?qi`N{fcTJI`Czqg`NCi?RvHuDPqh@NShOSFITD@Qd`O{h[SJIXDAQe@Os`YOnGXcLqEhBCgkQvIKCkQbPJKgwQtH\DGQV@P{dSRxH|ChQSpOCfwQnI@CjQ^pIcf[QXHwCeq]PHsc{RvHPC|Q\`ICb}P|Gyc\qNHFkfSOjGPCwQC`MKfGOfGOCyQ[pAc_OSVGDDEQ@`Ps_[SZGHDFqA@QC^yOBG?c@q?g~{hSNzISB{P}`Qs^kSrF{DJp}PRC^KR`HrBzQ[_}{fONdFsCwq\O}kcWQ|HFCnqQ@KCccRBHJCpqQ`KSbCQHH?CVQKpGkcCP^GqC`QK@G[a_PjGsCTQIpEsacPnGkC[QJPFKe_PNGeCsqG`KcaKRJGdCrQXpCc`oRTG\CuQF`Lk`{R^G`CvQYpCC]{OTFoCDqB?|k^COZGNBuPz`@s]SNRFeBoPxo{S]KNPFcBtpy_{Ksw?\?O_GoBwAS@MYmHscwQ[hM[fERjH|c~Q_XNcgAR~?S_JODwBC@e?jBo`wo{g^SNmFxB|`~O}WI{DeAp@Y_mOUwLKEiBX@m_uoYwZsMEE~B_`pOwwX[KYENBG`dOqXDCauPRGicTqJG~C^eNtFzb}p~G{C]ENDFbbqpxHt?w?[HMEF?ra@oSwc[FMFE~R`Pn{vo[RLwFAR]`okwWZrL|FCR]po{xwY|M[EmrfPkCx{ZBL^FOrg@kSvGYnLsEkRUPm[tgZjL[EzrUpmsvGYhLrEiR\`isvOYjLUEzr\PiktGZXLoEhrRplkswZ\LnEgR[PiKsoYpLGEjrUPhKtgYTL[EdrUphkuOVDJbEprXP[{u[VHLgDqrX`[ssGZFLdEbRPPksu[YNLBEsRX@gcwgYBK{FFRO@pkrs[XK}FFrapf{rK[tKsFKrK@qsxkXjKqFJrKPrCqwZTLjEURYpd[qsZRKnEtRYPdSswW|LNEOrS`b{tKX@KbEgrG`iCp_[xKXFMrE`rspk[~K\FOrF@sCp[ZtKQE{RCpnKvoWhL|EJR]pakooZ|KOF@rB`oCo{[BKLE~rCPoSwgW@K@FDr?ppkoG[XKDFFr@@psngZBL\D}RV`^kt{V~L_D~Q}pkSxoV\M\Dvrf`]Cx{VbM`Dxrg@]SmC[dMODmrcPZsxKU~J_FIrd@ZclMUjJOdgqtHYSkWZXJFEuqqPlsu{UHLpDcR[@WkkkYPJLEdqr@hckwYZJIEcqrphSj{[`MSD^RcPW[k?[jJ@FHrc`WSxWTdIsFJqlPrCj[[tMZDXql`rKmcXnJgEZRM@\SmkXrJlE\qz@fSlWWLJZEDqtp_{lcWPJWECqu``SqOTpKdD[rIPVcqWTtKgD]rHpV[ioVhIpDyq|`Tsn[T^JxDUq}@UDEwYPLLedrQhhcseYhLUeio@W?s?a?R?I_Bo@W?{?Y?T?G_CpKGeKQ}HdCsaXpcWp{XAKdESbHpMwfcSAHzC}a^pPGgKSMIDDEaapMWekRYHnCya[RCX`couW^KMeGQqhX{kmUXJMdeqjHTki}TbImdWSmQTpIEdCQlhPcjyS`JAdKQqhQckYOXHmcMQ_hACfIOhHucOQ^hBCfiNlGIcBP~g~S_ISxFQdOPugycjITHFQdSPuhTc\YLpIud[PnhWC[IUPFEd]PrhWc[iUXEadgPihYcYYUpEmbYQwguClyLPGqbOQIhEcYyLHGmbYQMguCaYKPGMbEQDhACXIKhGYcMPfgrCaIN@D}bAP{g{cWIKHF]buP^g|CWILpDeawPrgvcUiM@DyauPpgxCVXy[|Y]dNSfjrtYRHDMa_QTgicdyIHHYcsPQhKCTIG`Gec[PGhEcQYGhGmaMQKgbCaiNhBycCP@g~CNyG@GEaEQ?g`C^yEPIIdEOrhOcLIEpIYdGOvgYchYQHA}`WQNgUccIDpHI`_QRgWcdIC|Ai`VOggSsHiBxG}ceOZhHCFYQ`@yc_O[hGcEiSx?ydOONhScCIT`@M_aQjhTCCi@l?a_VOHgESAi?PJMdkOFhYC@i?XJU_GQvgAcmI?K~q^zN}f~s?IIo~aakNxgkB|iJ?~]amNzgjb}iRW~AcwNpfxcfiRg~I^iQ_fyCfxzxEMbCNbgqBwX{@EU^CPffnCXhyC{q]ZNMfgrryRG{A]AQTf`CdhwXH]csNDhKBpIN?yybmMnfWc]iNGzA\eP{fXC]xt@JM\QQsfTClXtXJY\YQwfUClyJ_yUaqMaglBhHsxDyauMbfRCVYAg}y_gNigJByyAw}q_qNngKBzX{`CiaUNdgeBxh|HC}^OPLgfBxyCG|a`CNXgPbuiCg|m]yO_gQBvIF?{Y]MOxfcCMhxHBm]UO|fdCNHv_z]\gMyf]blXuozm\}Mwf^BmYppDYapPVgpsWiKlEQbNPeczq\hNCfiRvHxdDQaXPCgISFICdAq`xOsD]Ar@[_lOUGJ[`MOhGOcGqDXAS]qNZFmbvp{W}CyQ\JMefPRhxs\ZqlpU|j[tmyvTY}l`UkjUtkYttY]lVUhjRTiItTYWkbUjJJThqq\Y_khUTJStcatTWmkZULjDtbIpdY?kJU`JBTgao|YKkPUIJQThQpLXsjfTsJMt\QrtV_k~TvJNt\artScldTIJXtQqudSoljUvIfTlahlRskfS}JGtdQgDR{kdT@JITdagTX[hbSqJKTLarLROktStJMTKqr\Q[l\UkIQtIat|YshLShJWtIAuDP{k\S_JFTGQp|X?hHUOIPtbqcTX[ghSRJKTDQrLPWkxUYIKTDqr\Nkl@R{JOs~QsTO?lJR}JQTgq^|M}fhRqhwS{Y]\ZkfXUwHstnQ\lZgfTRjJ]TmQ\tLYebRQhhstIYlK{llRJJXSrAu\KslhROJZsraulWCflT~Hzt_A^DWGfrUCH|T_q]lS_hXTBIVTJQgdSSh`SnIbtIqgtVcgtTyILtFAn\PsjxSXI~TFanlPCitTTIEtTa`tT[g^SQIkTUQaDO[hnSGI[TAQfLOghtSKI]TAqf\UCgBTaI@TWq_\UOgHSEIrTXQ_lT?fFRgIfsxaiTTOfNRdIhtSQ[dLsjNR]IsTYQZ|UgfBTkHpTYq[DKgerREHkSuaXDLkeNR[HcspQY|Usd~TmH_SoQmTU{eDRCIwT[QW\TwdxQxIlsmajdJkizT_H]tVqVtWukVUKdUQjxTsjATZIpi\TMYfDRmhxSvhbSpyWlKaeTRHkrE]zL@gArMX~k}EYZNhemr{XikiE\ZIhfYrmXVkjE]JJ@firqXXkcEZZHHeqqUXmkdEZjL`cuqWXlk]E\zFpfUpyXuk_e]ZG@fip}XwkUUJzDTamp\Wlk?EZz?HfAraWAkxE@Z?`fQoEXrj|e[I~Pe}raV{kxD~ZM`^}reV}k}dtjNx\mmoXzjje^IzHgAr{VYjaTpYwt[]mRVGk[ERjEpc}q_WvkgeMZFXdMpsXQkSeWzC`eApIXckREWZCxeUpOXakNEOjBxcQqMW_kOeOzGhaMqKWajyEEJBH^UosVvj{EEy~H`uowVukGD{y|p_qn]WLkFD{JAH^Eo]Vqjmdyyz`]anYV^jnDyY{H]qnSV_jqELY{PbEnEWokXDxy{pbMnIWsjgECiyH`QmcWTjheDiy``]oeVTkCDqyxh_Ym[WFjfeAZ@X[imWWIj^eUjJXZyqwV?j_eVYwXd}mCX]l{_tWYsLIEfBV`iSGIC\AI`BOdgQTpiwl[]mHVHjcV@R^\ngwLZ{MBu~R`DnwwTZxMCu{z]lnavlZslzv@b]\nWwJZtMCu|B`Tn[wNZwMCU{j]Lmuv^ZolvV?R[\mCv~[CLqV?b[To?vL[BLquqR^LkovzZIL~Uqr^dkwvtZLL|unR^|jww@Y~M?uoB_\kGwH[AL_ujzT\iytXYolUulrULj_tdYrL[ulBVTjWtxYtL\ufrYtiCupZTLOUtrSTlgtHZXLPufRZ|lksvZ_LKufBZthguxY]LmucrX|hOu`YTLgudbYTlOspYVLhuorPlkSs`YMLbUbrXDhGuHZFLGuiRPLg[tJYgLEUaBStigsTYJLRu_R[|mksHYALsU_r\LmosLZiLApUWjcTiIvD\anTRyiLTAihTQihvNZf|rmxx\?m^VVBldtwzZ\XMtv[Bjlu{yt\mMlvXRg|uWyP\fMcvYBhTugyX\hMdvGrklqWzT[cMrVHrlLu[xP[dMsVZradpCzV[QMuVCrllpWz\\oMIvJrgLsGx`\BMWvPBeTsSxf\EMYVIRelqgxl[lM\VMBd\r[x\[kM[vSrblp{yl[`MivUBcTpwyn\SMOVXBbdp[y~[WMoVERkLuKwv[YMpVRraDowyd\LMEVArhto{yb[LMgVersLxs|D]]NPvfrsdyW|@]dNMVbrs|x?|P]PNTViRqdxG|X]RNTvaRo\wO{T]FNEv`Rp\w_{\]ENEV[roTvCzz\}Myv^rmtvG{@\sN?vdRm|xWzp\xNJv]brDxgzx\zNKvsO@[?q?ZJ|d~Q}h^[n}VxItdXQkxU{jYThSjiUtKIddQyh^^_NlVvR{\|{~J^`Nlvvb{d|o~D^SNoVtb{T|[~F^TNqVuR{l}C}p^[NhvsRzT|C}v^RNnvsbzl|G}|^JNUvkBxtyw}`^LNVvkbxdzC}^^MNavpbx\{[}`^GNfvqbxl{c}X^?n_vnzwT{Q}F]xn\vnJvTzy|z]rNiVlRytzO}j]uNjvuBvDz[}rP^gosWILDEebZPiguSYzB|aMpDW_kNUGZAT`MojWSkJuDixT[}mVVKjfTr[DaAN?}_ooOGI{CQA~@Y_coOgJkCa@n?{_aoNgE[CI@j@?_[oPgF[Ay@f?k_YoKGE{BA@r?{_UoJgFZ~D~e~t^|n|v~KEA@B@U_PoUGCkAYAv?i_moIGJz~qAU~}_eo?GIKDI?N?C_foTG?Z|aAU~Y_fnvGIJ|yAZ@S^poSf{J}Q?R?O^uoCf|J}Y?U~m_Enyg@{@P}n?W^enrgBZ|A?m~Q_NntGBkLhnMvhZtlzu|j^CY]LTEgbTpjGtKmQVNJadpqxh[kkQUJJHdbQpxXDNaftRvhys}Y]tPugxSXiLtEibtjEthYrlXUljUlhestYZlMUfjRm?v?X_NoDWBk@]IFDDa\pNWgKR}HDDBaRPOWgcQUHtCha^PIwfcQuH\CVaKPKWeSQEGtCtaMPMWbsR]GTB~aEP?W`CPMGLCNaAPDW_SPEFdB~aCO}W_cN]GLB|a@O}w]cOEH@BfaKOyw\cP}F\CVaLO{WbcMeEtBR`oOtWZCLuFHBP`nOrwYsMMEHCN`bPCWXCOuEXCR`dPDWWSOmHdAzaVOlweCJeHhA|`_PMWesJ}DTBv`UO|WTsNeD`Bz`XO~W]SJUC|BN`OOsWSSLMDHBT`kOiWYsI]FLAR`IOyW]CHuClBj`vOew\cHeEt@n`mO[WZsFMF@@t`qO]W[SF]BHCl_uPHWcSEMHL@f_tPIWLCQmCHAF`CO]wQCFuC@AN`@ObWNsGmOcarP[glSUyJtDu\LMafPrhXs{yQmlVXjlTtyzD\mmDU}j^toIw\[Exj[umZvMJfTrew|[\mPVFzcDqEwd[SmGvDZatpNHZcpqXXKKduQ~HMc`qThHKdAQJHQcbqUHH[cqQjGucTqMhD{baPbG{cYqOHE[byPZGicNqGHDkaIP^GccWqIHEkaYPfGQc`qPHBk`QQNGUccqRHBK`iQVHMbvp|hIkdANbFwchqTg}[^QQrG_bpqGg{k]YO~GcbsqIG|kaYNVGwbjqMgzKbYMvG{bmpwHGK\yP~FKcIprhA{\QOvFIcHpsHBk\IOrHab]pkhJ[ZQQzEucnqXGvKZiRBGMbSq@guKYYORGIbVqCGt[_qLZEcb}pgh?KXqN~GAbLpgH?kXyNvETbHpdwrKXEK^Fyatp~Glk^yJ^Doc?p\H?kVIOFDccCqAgj{UAONGKapqCGlK_yJND\ahpTWi{TeIvE}b@poGokWYMFEGbapqGpkWiMNDGazpQgnKSqJvDOa}pRgoKSYJ~LU\pmxV[zmdvYzj_DoBW@K?}?b?RdRROXfsiMTHLDdSROxTcseTTLFepRHxdCuUZXKpetRIxdsu]XXLhetRAx_Su]WHLheBRXXlcouWPLbejQyxjCmuYtJrdvRVX]CuEY|JtdgRVxisk]YpJHeoQrXjSk}YxJJd_RRXWStETxLRd\RRxicj}UHLJeiQaXNssmSDLPd?RRXOctMSLLNe_Q[xNcs]YHHte^Q\xNCseRtLBeXQvxecmEVLK|eZQwx\CreXtJdeHQuxYspeUdKPeIQtXZco}WlJXdJRExRCpuStK^ePQgXcCh}SxKddzQaxPcnmS\J~d}QcX_ChUSdJxcrQjxLCjERXIvctQkxLsjUR`IxgJOtwZKLME^BT`gneVrZx||A}\^Jo`wPKGmCZAP`FrGXbkp}XJKZePqYxL{e]RRHpcusViG|CeaVPNggsRYF\B}aFP@gasNYCL@u_~OXgLsDx|DA}`pNjgWRxyES}u^`OtfvSLx{dCU]tO|fmSNxztBm^@PBfpSOXzD@E_hNVgIRtXxt@E]`ORgHRsxutA}``MxgXRmyEczu`pN@gZRnyCSym\XOdfVSHxuDAe\hOlfXSIxstAu[|ObfOSHXsTA]`PMhfQSIxqT@][hOXgLReYBcxm[lO`gNRfXot?m_TMLfCSBY@cwm_\MPgFRbyHSvm[HPLgbR^YICv}[@PNf@SQXls~MZ`NtexR|xmc~eZpN|ezR}xwS~}]HO@fbS?y?c{e_PNLgBRqyaS^}OFFzcAq?W~k_]O^GPcEqAX@[S]IRDJaepSWh|Qig~SaiVtLIcLQQhbSgiUtHie\PIg~SciLtHialPYhBSgiMtGibLNIgRRsiDs|i`LNagVRoiBszi_|MIgjRciJsxibLMagvSQhtszIblQid~RCiXtKIXLQqeBSmhbsoielOqdNSOhWtCITlOqdRSMhVtBiT\DUavPRgmsUYI|IQefRIhLsrIRlIAejQahfsfiYLGyenQOhksciZ\HQezR_hKsdiZ|FYgBRyg{s~IN\NybzQ?iAs^i_\EidfQsgusliMLFIdrQ{gvs\IV\DycFP_hAsWiO|GabJQKgssaiK{r}YJL@ecrPxg[tUYVLPeerSxhw?c?Q?Hdzq}X^[n}WBJ|gzs^yNlGEbrPzgvsYyMlFMbbPlgnsWYK|EMbRPdghsTyIlDeazPZkEuAz@L_}ofWPk?u@Z?\^un~WFjntwYz|]MnFV`jbTxYxD]]nPVJjvTrY|d\EnTVNjhTpyyd[mmlVPjkTqYzd[umtVNjiTmywD\umHVZj]TtywT\emdU~kJTfzBDYEotU\kMTeyrD`}ohUVkCTaz@TWukhWNkETbyqT`Mk`WPj?T{YoT^MnhUHjBT}yod^]j|VxirTxYlD]]nPTjjtTZY|tVEnXTnilT~Y~tTuo@T^iqU@z?dUEoDTbkITOzAtSUopTFkLTQZBtSuoxTJjwTLyfD^Mi@Vti\T|yft^mhxVxifTjyiDZEidUriiTlYjDZeilUvixTgynDYUlPTvjRT\YndYujtUjloSAy@|?u_bOTgHuqJYllquZZIljuujX|lyubZQlkulJ[\jYvJYolouwjV\javJYqlougJ\LhavRYYlrugj\\hqvVY]lruSJY|lQqfZ[kluTJZLdau~XUlluMZF|cEpvXBk]uVJOLgirNYAknu`JKLgarFYEkqu\jT\fQtJXwlRu]jTLiyr~X{lUu[JPlgyrRYOktuZJQ\fIsnXmlIuKjHLaqqJWskfuJjG|cipnWokeupJClaitzWal^uGJWLkYpNWgl`utZZLlmunZ\lnt@y`\OegZSPiFsUyI\DUanP\gkuOzF|bepvX@k]uJZE|bUp^WrkWuGZC\aUpNWjkSvgJpLwi|F]KnQvbjs|xI|V]OnSv_jpLwqzz]Qm~vbjoLxA{N]InAvXJqluY{n\gnKvZjr|ui{z\knLv]Ji\viyj\umev\jh|viyn\wmgvMJrlrq{r[}nNvMjr\rY{j[snJvIJmLqizb[kmxv\Jd|rIzj[omxvFJklpyzN[_msvGjl\qYz^[cmuvBJn|wAwJ[En@vAJoloy{N[Im}vgJ^LyIvv]cl}vhj^|yiwF]gm?vOJ\lsIv^Zomau{jg|sivn\GlyvWJa\pAyr\]mLvDJj\uIwn[Wmmt^yo\WEkJUHjBvFzc\puxJ[fmOwRKGuCnAH`Jo]WQ[FuCnA@`Ho`WQ[CeBF@t_joUWK{CuBV@\_voSWMZxuC^AH^Fo^VpZxeCFAD^Ho]VqzvEBE|t_ro\VozveBU||_xn_WL{?E@f?D_ZoAWF[?u@~?T_boCWGZ~T}e~T^tnuV|z~D}}~x^rn~V{Zze?v?\^^oGVwZ{U@M~L_VnqWDZytzE}`]lnhVjzydzM|l^ZnkVl[NeGfC@aJpHW_{OeGvCLaPo~Wb{LuH~Ch`dorWd{LEHfBXa\otWe{JuI^Apa`olWg{JeIVDT``pSWW{MECvA``voiW][IuFnAd`royWR{WeLFELbRpiWq[YuKnEtbNpkWr[TeJfD\azpWWn[VuJNEDavp_WlO?ULrFRbi?AWv{\_?ZFA?ApvWwo?uNJFM?CpwWx^