CAT(3240,1)
Sparse6:
:~?qg_?O?G?C?c?L?E_CO@w@C?]?P?E_BoDoAc@Q?l?T_JODWA[@I?f?R_HOCgDwAM@J?c_QoGwCcAY@N?e_SOIGC{@u?~?a_OOFgCKAE@D?]_MoFwCC@]?p?[_KoEgB[DcAl@U_joTwJCDaAf@T_iOY?J{EAA~@`_ooWGJSDqAv@\_nOUWOoEiBX@g_soZWL[EwBN@e?xOWoMCEGB^@d?xoX?MKHwBh@v_{O\gMkFeB~@y_|o^GNkFyCLAI`COaWP[G]C?AL`F?_gOWHECGAN`?_bGOgHADwA?`@o_WOSGUCHBM@]OnWVsKED~B?`[olwVCJYDvAy`RohGTKIYDJAg`]?igVwIyD{Aj`_?jWVgIqD]B@`MOewRKHaCzAY`I_lgQwJeCcAw`J?lwVWHQDsAR`Y?gGU?IMDaA``X_ggRwJUDcA]aD?RwHkDAAd@M_goXwKSEMBL@c_qpF?asPaGvCYaJpEWb[PiGnCUaKPEWaKPIGjCRaGPDGaKPAGdCSaIpCw^kNqFrBy`|o}G_[OIF|C?a?o~w`COUGLCFaCp@G`[OiGZCKaFPBw_wOyGUCDaE@@g`GOiGOCNaE`@GX[KqEZBH`dOqG]ONyFeC?`y@?W]gOIFmCB`~_|g\sMqF^Bo`uo{W\[M]FPBh`tOxg[?NaFABx`}?xG[ONiFyBd`p_}wbGLiEwCV`l`DgZgPaE}CY`n@EwX{LAEfBQ`fOsWYgKIEgBB`j?pGWgL]EMBW`b?uWogFQBj@u_zo]GNKKaEXBJ`coqgXkXsKVEKbEpcGpsW}KJEEbCP`wpSWeG~C\aMPGGcKPyHDCeaRpGwckQQKED|bA@^goOV}KCD{b?``Go?WMJHDharPYGkkU]IPDEabpQWh[SiHiEDaZ`aWfGWiHgEEaZ@`wf?WaHxCza\PNWfsR}KUD?bE@OWpgSIK[DBbG@PWpwSQH\CnaWPKWe[RIJkDoaz`[WnWVQJoDqay`]gnGVMImDbao@Swi_T}JADQai`VgioUIJ[DNat@RGlWSuJWDMau`SWlwTAHUDZaU@UWd?TaHSDYaU`VWdGTqO]?|_^oMwFcCA@|?z_]ONWFsCA@~@@_`OOwGcCYAJ@B_aoPgGcCIAB@H_boQgHcCaAV@F_eOQwHCCiAR?n_WOKWESBQ@f?t_ZOLwFCBi@r?h_ToJGDsAi@Z@U_kOTwKSEQBJ@b_roXgLsFMB`@n_xO[WTcI}D\Aj`UoigQ[HICjAU`JodGQSHUCfAU`JodGccQIHJCfaRPGxO_faRrHyc|q^XNcfuRtHzc{Q]XNcfURnHqcxq\HMsemRLHfcsQYXLSdaQhHTckqTxIscyQfHNcgQSXIScaQRHIcdqRXHcc]QJHDcbqPhGs`?QtGQClqV@AKdsOfGNCnqV`AcckPBHGCPQH`HKcoPFHLCQQHPHScAQDHBc^qPHGKbqPtG|c\qNhFKbePtGzc]QNXFsbKRjHqCYQ\@EkfKPpHvCZq\`EsauPdGmcVqKHEKa[RXGgCuqJ@LsakR^GiCwqIPMCa[Q\GjCfqSpDcdCPPGiCgQS`DK_eORGJcDQAh@[_qOXGLcFQBh@k_OR\HkC@q@`Lk_SR^GFCwqA@MC_SQHGCC`qO`?[_WQ@GGC_q@pF{bKNzGtB~p~`E{bOO@GuC@Q?PFCasNnFxCWP}`ESawNpF{CVqKO~[Y{R@EpCqpk@K[ZGRHH`BYQW_u[YoOlEjCKqDOtK`[LTEmCKQE_tk^MNlFpbxP|W}ce?NVH`BuQW_|k]wRFFoCqpzpKc][O@FeC@PxO~s]gOBF|BsPyO~{\{QtF_ClqV?{KdsNDFcCnpwpJs^cMtFXB{Puo}{^kMxF{Bmp}_zs`kMfG[BiQFOyk`{MlG_Bjpu@Bs[wRPFLCsprpKsekMdFOCtQXoyK_{MNGPBcQD?xS`GMRGOBeQCox[[GQhFBCjqUOwK[OQpFECippPIsZkRXE{Cupn`LsZ{R^E|Cwpo@MCfGLjHrBZPm@MkZ[RhEyCzpmPMsYOOjEeCJpi@AsY[OpGYBPphPBKaSKzG`BNQH_r{YGPDGbBOPgPCcXcRpEYC|PepN[fsKpEVC{pf@Nc`sKfGZBGqF?qSa?KhEUCNQFoqk?e?V?I_EOBg@kwK?R?K_FOAg@[?u?^?N_GOCGAK@E@F?c_Qp}g~K^]NpF{b|p~X?C_EN|GAb~q?x?k_YOPGFcAQAX@[_iOXGMcEp?G^sOIGBCB`~o]gN[FyBx@~_}o]gN[FqB~@}_}o_GOSGMCBAD`AO`gPKG]CPAJ`DOpWWSKMEHBF`bOqWXSKmEZBK`cOrwY[LAEbBM`hPigtKYmLXEmbUpuWz[\iMzF]bmPoWwS[UMFFCbbPmwwCZuL|E~b]PhGs{YMLJEgbRPgWrkYALDE]bNpdGqKXIKfEUbIpcwqKXQKdEUbIrzP{s}{^NNgFvRyP|c}k^bNiFwRw@~C}G^vN`F{rx@~k}S^xNbF|Ruhz[|}]xN]fmrz@zS|s^\NnFlrvp}K}s]xN]FwRtA?s|[_JNUGARtQ@D?c]rNWGBrnXwCzy\xN@f^rn@uszw\pN?F[rnPu{{C\vM~F\Riht[yq\^MlfVRi@~Cyc^rMfF|RiP~[y[^zMgF}Rh@}S~O\HNtFQrh`}{yW^lNrFQrcpr{xG[|MSFORgPq{xW\FMTFPR~`pK~{[TO?FDs?Ppl?K[\OAFERy@o[wW^VMDFrR`@{{}c[PMFFtRqPoK{_Z|L~Fer^Px[{o[DNIF?R]pnkvgZ|LyE~r^@oKvo[@LzF@Ql@mcjWZpItEzQmPnKj_ZjIvEzr_plswSZdLnFARa@m[v?[NMEEwrc`lCxKZRMSEtRYpq{xSZZMUEuRXPtcysZFLcFVRW`t{u[\TLeFTs@@it?SYnOEEkRUQ?|?cYvLYGCRS@yctC]jLQFjRSpy{tS]rLSFkRfph[sw\DM`EdRgphcxwYZLNFORP@rCsS[rM[EcrephCxsYNLEFLRN`wS{[YDK~FaROpw[s?]LL@FarK`}S~WXlNrEXr|pek~OXnNtEYRD@uCzCWjMqEJRDpu[p_\jKXFYR?`xCo[]ZKBFcr@@xSoS]XNJEBRw@^coC^FJ}Fqrw`^k}OV~N`E?Qy`uCmk\bJkFXqz`ucms\jMqDvq{@nCnSZrLsDxQ{PmkvWVhJrEzr~`[d?KVROADrr~p[l??VPO@DrQvx[SmMV@J]doquHZSlmUxJ\dkqr@rCxsUZJMFKqrprSxkUbM[DgQpHWKkAUDJDd`rl`V[z[TxI|F\qnpvCjg\rMyD^Qk@yCiw]\InFfqk`yK|KTbNQDXraPTCis[\IhFDQi`p[ik[ZIkFEQe@yKhc]`IUFfRspR[|GStIVFfqbpwsgg]DIMFaqapw[{[SZIKFaQaPqKg_[`IDFFrc@OsxCSHIFFFq_HNsf}SFIAd?rB`csp?XPKRETRBpc{pCXVKQESq|`jcnkZBJwEoQ|pjkncY~JyEnQtpeClGXXJUEVrJPY[rCUhJTEVRA@W{kkWRJEEDQq``[ooUPKLDcrF@ScpsTJK^DRrF`SsiGWvKYDPrM@Rci?XxKxDOrM`RkhwXzI^E\qc@cChCXBKaDHQcpc[hSXJISEQTPO?c?U?H?C_Ao@WAk@Q?l?o_WoKgE[BQ@^?x_ZoMgEkBa@l?k_SoIgDkAy@V?l_VOIWD[Aq@T@L_fORwICDIAb@N_eoSGISCyAbAv`ZOmwVSJeDp@S_ioTWI[DMAh@h_tOYGLkEqBVAW`KoegRcHuCvAX`MOeGRSHuCvC`aMPFWbsP}H@Dva|p\gnSVeJpD]anpWGk[UIJBDUahpTGiST]IjDGabPPwh[SiIRCya\pNwfsRuHxCkaUpIGdKQiHVCnaVPKGe[REHdKYeLrFHbkp}W|JldtQyx\cm}V\Jodyq{X]SnQVfJXdlQvXZclmUpJEdbqqHXKkmUTJPdeQsHXkkyU^JCdaqoXWCkMUDIodVqjhUKjITfIjdUQiHTKiuTTIbdQQhXS{iITLI\dMQfhSCiES~IXdJqeHR[hYStILdFqaxPcgiS\ISdIqchQKhMS`IAd?Q_XN{gMR|WqKOEEJAhaIokW`kKeGzCh`QpGWVkCEGJCh_mpGWIkCeGZCP_uoWWbj{dyY{h^YnKVvj{Dxy~X]anGVyjptvy{D]Im|V`jjtsyyT\QmlVTkLDmzBXZiowU~kMdnYv``}o{U}jxDkyuH^Ul[VojVd{Yu@^MlcVskGDiItX`EocUikFDjIth`Mo]UhjQd~isX^}nyUfjRE?Ys`_AlCV{jJDuIqx\ekoVYjKduyrP\umwUZjbDcIqP[imMUPjIdqIqX[mmQUSjDe@J?hWykSWAjEe@j?xW}oEUKjADeirHWUkoUEjJDaIqxWekuUFkOD^inxaIk?WbkQD_ZChWMkCW`jbD^ioP[mkEVFi~dqIoH[ek?VIkLD]JBXVeowTykMd]zBxVuo{T{jhD[iyXVMjgVVizDtimx\UjiVSiydcYm`XAkcTqizdcyqhVMjkUSijdnYjHZyiiU~ikDnIi`ZiikUzkLDRjBXS}owTOkMdSYiX`}o{TQipdRikHS}jGTPiqdSik@TAieTaiddZIhXUuiWTmiedZyh`VAiYTpicD|Y}PSYiSVpjwDPy}XSUiQVsi_E?j?XSEoGTAi^e@Z?pSMoMTCi[doIwHRimCSzi]doyw`Rqh{VDiYDiIthRUlUSwiZDiYeXYqhmUiiYDMyehRqhoSyi^DLieXRehySvgqDXilXEabITfgrDYIlHEejSPfjeDIixhQmm[SkjfdJYyHQ}m_SmjADHIohQUkKSeiRd`ydHWehOUGiODZycHVAjWSaiNd[YlhQMg{TmiIdsYx`PIm[SVjedCyxxPYggVOiBEDI_x`UgOWUiCeDzBHOmgSWWjVC}i^XY}fwUoh}dkY^xZMf{UqjucyI|pMifQVihtdyy|xMufWVkhjstiZDLeevRYjqCqi{hKmnKRKjrcrYXx]enORMhaDyi|hKYeIVmjvcqIXH]qeMVjh^DPYhPKId}TFicCoIhHKMeATEjMCmIVHXudsU]h\dfysHJul?Q{jMCjIrhIud[U]hWdfysHJAl?QnhRDUiSxTmdST\hSDVIjxImi{QhioCgIkHIEjCQahPdWyS`UUdITchLDviRX\}cwV_hMdwY{PHynEQ^hIDUyQhTqckT\incdyR@Tii{QXjkCaIzHGemsQIjlcayPh\umwQKhAeCyOP`Io[QBkFc`JAHG]o_QEg}dhysPFqlEP}jQC^yshGElKQ?jDC\iMxWmboUKg{dbYNXW}bsUMiiC[IihFEikPqijc[yjHFUioPsitCWyJpUYjQP^gpDYyK@UabATfglD~IJ@^uaqV}gld~yJh_EawW?ghsTiIdDUanPQgeDlIuxCylqPOgedmIHxZUlkPPg`d]YGhViaATwgaD^YGPVma?T{g\DoIwHBmmCO{j`cNYwhB}mGO}iWCLIEhREhcOug[dKYF@RAhcOvgVSJyEDBE`fOqj|CHI~HA]`CVuj{CHi~XAM`IVvi^cFIC@SAiAO\gOdOigX@y_}TCkCcCJ@P@EoUOQkCCCyAh_u_gWKgDDlYup?q_]UsjZcBi@XZeloOLiECwi`hMMg[RchqdByaHM]fKSOhoDEIZ`Pme}SYiMCwYbhLue{SXhFCziPxM}f_QOhwccy]XHEfcQQhyCYi]hEmbWRugvc}YLpN]bYRwhXCPiUXC]dgPGhYcQYHXJ]dkPIgUctYY@AqecOggTCsyYHAe`URSgJD?iAxOE_qS?gLd@IB@OU_sSBiXtLiedRUhpSviWTKieLRuhvS}i]TMifLR}iHT?i_tOig[@]?p?X_LOEwBcAY@P?f`}o}w^cNeFtBwaAP@g`KOUGNCG_koUgJ[DqA|@\`aopgWSK]EFBC`jOuGYcLeEnBTbWpkGucZML^Eqbfpsgxk\EM`FMbLpdwrCXeKtE[bKpegr[XqKpEVi@T?Y_lOAgHSBhjStyZDLeevRYhdSqyXdK}eZRMhcSpIXLKUeLRFgYSLYE|BY`rOwgSSIYDTAm`ZOkgJSDyBD@e_vOYokGTcFEBhAd_zOhwLsIeDT@r_uOjwFsHm@xAP`KOOwQsCUALAR`IOOWFcDU@|@V_`OUWGcDmAL@^__OVV~sFUB_~v_uN|WLr~d~x@v^|O[v|C@d~X?^^xOGv|sAE?s~p^tOFV{cE]BO~^^mOWWKR}L~L@j^oOXWDB{]@K}~_VNpVwSAU@W~H_TNoVvs?u?c~H_INoWAr{]?_~B^aOBvtcI\|XAh`TNjvuCIUD[}n`UNkVtSB]@_}`^POKvscBT|L?x^SOMutC?\l\?@ZTO@Utc?dl`?BZXOAv|BxT{o~p^uNfV}Rx|~S}V^vNew?BvDzt?D_@N[vnC?m?O|t]zO@wNBs\yT@~]_O]wORsdyD@|`?NPWLRotw\@`_pN@WKbo\wP@h]DOXv[CITvDAf\qOiWTRm]D[zj`UMyWHRllup@N\nOSVZcDLuh@L_cMtvWrzttw}t\^NlvvBkD|czD^\MovSSALs|?X_LMeVRS@|sx?`\OOFWJBhEAgyL_lMcwIrg}A{yV_mMdVLB||rS~`[xNvVLb}Lr[~f^qM[WIR_toP@J[HOSWHB_|o`@N[DORVyr]T}ovf^jLyU|R|ln[~ZZuNuUzCIDmtAbZpOguzsILn@A`ZmOgWOb[uCKvN`CLsWPR\LmlANZiObUvbz\|suzZYNlUurzLl{}|^[LmWNrXuBouf`@LfuscFmC?u`ZPO^Unb~t~{uB^yL]V}rVlj{~x^|L_UlbyD|Gtr^TL\VsrU||Ctv^SL[UicGTilAFYkOaUjSGli|ANYmObUfR|Thk~J^gLLVxrRd}cspYXNrU]c?}?_rvX{OCu^c@Tf|?VX|OBWRbMDfLA^XqOfu[SH}Cwr\`MKvuYCAU@KrR_SKtWDRL]@[rZ_UKuUTcBLd\?tXWOLuUSBe@_qtXZOMuLB{l}_pjWqNrVxrE\}gpn^hKZWQBDta|AR`IKUwQrDdb@AZWpOeVebptw{{v]ONMVcRrlxK{~]QNNV^Btdvs|Z]oM~V^rttzC{B]?NVvMbxL{[x~[zNaVNBwl{_xz^EM^VJbmtq{zn[oM{V]ReLvkxf\yMXVCBgDpCyB\AMHVOra\sSwj\CMIVSb`Tokyf[KMiVBRilo{yn[MMjV?BcToGxN[BMRVGr^toCxH[dL~vUB[DtcvB\YLpVUr[\tsvJ\[LqVhbXDkk|NZINSUqRtLks|VZKNTVXrUDjSzR\cLWvXRUTjKzPYsMrUfbpDh{{RY_NDUgRp\iK{ZYaNEUcbOtg[sfYGLIUaRQlgksnYILJVkbODzKsB]sL@VlRO\z[sJ]uLAU]Bd\fOxPXtMSu\bdTqsrr[kKzubBKTgsrFYMKqUbrKle[sbXeLGUVB^DdsvrX]L|UVr^\eCvzX_L}USBqtdG{hXPNJuTBrLdK{pXTNIuobHTkKqVXKLaupBHlkWq^XMLbvnbGdcS|~XGN_UPbwLc[}FXHN`VDbFtp_qD[VK^vERG\pkqB[YK_VFBFDpsprWyMNVGRFlbow~WzMOUHbSda[tJWgLRUiBDTicpVWhLRr]xncvi[BL|e~R_Hn{wIKDECb@ofwSCIEDDAb`NPXgkkUQJNDhasPLGekR]HrCwaZPPGgKSIIFDDa_Q`HOkgYSNIHdCQ^hN{gASFIAd?vaJpLwi{V]LnEVYjl\uqzZ\nmvV@j_doUwN[HmCUQjHdcyqZXJkfuPjG|caqJXCkcuIZDTaapLWfkTuIJDTaepLWfkTuJJDla}p`WpkVUJJDla}pbWokVYHdCa`vPIg]sMIGlCY`jO}g_sLiG\@qaBO]g`sGIGlCY`NPIgQsQIC\?q_BOMf}s@H~L?i^~OEg@sAH~[~I`vOsfurziE{~A`rNug]r|IF{zQ^VN_fZrkH{[zI^NMwfqrmh|Kyq]nMcfirvht[|a\^NYfRrvHtKxa`RMYgTsKhs[xq`ZM_gVsKHr{xi^rM]g?rfH~kxa^~Maf|rgI?[vQ_bLugHr]IAkvY_nOYeyr]IBKta^NN_egrwhi[ti^RLSftrTh{ksQ[ZLEfFrQhqkxYYZLMfGrQHq[qq\zNEeWrKhv{rY]BNAeYrpHd|?QWROEeDsAH`l?iW^KQgFsBHaK{yVFJ]fhrqHZK|AVBNIdmquhxkvqRBHce~r_HK{eI[FMCctqYHn\@qQjO]clsGHJ|AYQzOackqTiCkwIPZGce|qJhn{aYZzMCcSr_HD[_i]~G?fjruH?[|iOJGEfirvH@KZa\JMmb]rjGv{Zi\NFAfTpoHtKWa_bEIgHpciA{Wq_jOYbFpcIBKwYJJMEarraGlKwiJ^MIauraGl\AaIrOoampViDkTi`VOqappWID{PqaBC]g`pGIGlCYHFPIaQsQGc{~IGfCOfurzgak~AGnCWfzpEh}k{qG^CCfcp@hx[Oa]^CIfhpBHyKzYE^BIf\oqHvKzIEZMo`hrlGYKxYEJMK`]rbgV{KA[bBEfHoohqkJA\zAqf^omhwK{IDrNE`YrpGU{QaXrL?aXpIhf[QqXzCme`rNgeKlYUJJSd_qshW[lAURJEdeqqhX{pQTjKUdZrEHVKjiWvI}eNqnHbknqTfK?dWqiH_{oIT^IieAq~hTktqSVL]dArWHO{uISRLedEqbhkkbiV^GodqqxhE[maPjGwduqLh\[bqOrG}cLqOHBkcIO~GacaqGHG{^QQRFucdqRG~KcyNvHQb~qSG~k]aSzFidNpzHSK]yTFIebxqhG}K\qZRF]etpwHlk]IZ^FeexpxHmK\ALZFQbVptGuKZIMnEublplGzKYiVvEgdzphh]kYAVbEad{phH][VAMJDqbbp\GxkVYM^FIa|pqGnKSqRZDOczq[GikSyR^HqajpShMkXQIBEUa`pPGrKSYKvE]adpfGhK_qHjGMaZqCGfK`IHvGUa^qDGfkhAFrIQ`|qdG^khiGBCAdJqeG^{MqXBBmePo{HckNQXNKi`zrIG][MAJzBaa~oxGoKMYKFEE`toyGokfaEjBUc|ouHNkLiR~B]d@ovHOGMcFUBl@v_{o]GZ[LiExB\`novlRysZTElGtOjQ\SAs^TClJtNJQlPIsnSUlItDJQLOqsZSMlHtCJP|Nqs~YWh~s|jSLNatFY[hyuei^\MQszRalNugIZ|haezR_lLsxjS\fQmZXujfu]IyL\YrzVQk~ttJN\`QmBWUj`uEIwl`imNW]jduFIxLaAljWajZuHIvLailvU{kStnjC|YaoRUikDtjJ@lYyo^UqkHtkJALWQnJUEjrtyIpL]ikVVmjFtzIplVasBTyl@t_jP\VqsJT}lCu`ioLUirfXkirtWJLLUQrbXmistWjL\QQrNX]iUtHjJlQyrJSikotIJK\TIgvSWictFIh\PyiZSaigtRicLOAnzV}i@u?I_l_IgNWEiDu@I`LaqfRWmhtuKI\lbIf^WshxuLi]LLAmrRQjlstIzlLYm~RYjpsuI{LKynrVuhbt|IWl^AeRRKj|sqi}\RaeFSyh_smIeLJihfQ{iZsnielXAdBUQhPtdISlXYdNUYhTteITLUqcjTmhLt[iRlHyjnQUiyt[IRLHAlFUehFsaIrlGik~QQjQsbIsLcQbzXEg~uQIOLcicFXMhBuRIOlJQbvQkgws[iT|FQdbQugzs]IU\Tyb^TSgqtTiK|TabRTYgusYijlcIbBWwgkuMiJ\DqpzX?gpsVjF|CqqbPMkhsSJIldYafXYgjuUIIgScIUDLAf`SOi\|qzb^]mxv\J{l}Izn^em|v]J{LrQ}z[unnvMJ{L}Ixv^cm^vxjflyA}J]cnbvgjxLyY}V^MnTvrJtL|A{j^QnJvtJrL|Y{v^YnNvuJrlxI|~]wnCvajv\wq|z]On`vbjwLliz~\{liuvjolwAurZ[nBv_jY|qayB[im`vJJglqyyN[qmdvQJeLpqwb[]mHvGJalqIwn[emLvHJbLoi|b[EnXvjJ_loa|j]umFvBJt|uQvZ\elvu{JlLnIzVZumvu|JllkayZ\Olhuqjh|kqyfZMmjusJiljqyrY}mluoJjltyuFZEmpupJkLjAvrYql|ulJ^ljYv~Yym@umJ_LmAtJZalRuxJTLmYtVYmltuyJTg\SMeFLBf`toyM?BCbaWoCwck?mHR?FaUoDwek?}HZ?naQoEwDKQM?zCj_QpLwCKRMDRBB`UopwUKKmEZAv`ionwYKJmDBB~`Go{wQkN]DJCFa?oew^KH}ARCJ_epFwIKO}AjCR_mpDwJKPmEr?r`moLw[KBmFJ?~`uoPw\KCMBQ~n_onyv}KE\~j@n_yn~v~KFMCY~b_{nswNj|]CA~Z`AnxwPJ|}JRFnbwp]w{kVMNBDna}p|w|KV]MjFBbkppwuK[mLzFRbmplwvK[}IbEZaipfwtkT}IrEbbSpXwkKY]KBCzbApNwpKSMKjDNbGpPwpkSmQBFzcap~x?KcmOJHNcEqTx@KdMObGjcUqDxEK`mPjG^c]qHxFKaMQo?DcxqV?@Kf]R??Lc|?AXKkf}SG?Dcv?BXLKgN