CAT(3024,6)
Sparse6:
:~?nO_?O?G?C@K?d?O_GoCwAk@Q?h?T_HoF_Ao@q?o?[_J_FGBG@u?u?\_L?FWBs@}@@?`_PoGgC_A]@K?h_Q_IGDSAq@V?r?WOKgEKBc@[?o_V_KgDgBE?\?N_EoB?Dk?g@\?J?Vo@w@K?a?W?Y_D?Ew@W@e?k?o_K?KgAwBE?a?F_H?AWA??a?G?g_B?Hw?gAe?[?P_F_Cg@g@A@G?C_R?@gCg?U?R?F_COBw@s?uBE?C_BO@W@S?m?X@u?u_YgLwEqB[@j_w?[wMGFUBc@s`@?WoLCESBL@c?roVOKCEGA~@]?ooU_KsDoBN@Z?sOU?KCEGAr@V?oo^gNcFuB|@{_}ocgQKHMC\AO`Fo_GN{GEB~A@`?OS_IsDKAj@P?iOR?HsCsA`@N?doPOHCC[AT@E?coO_F{CKA@@@?aOM_FsBk@x?x?]oN?KCEG@|?|?ooL_GSB_AF?v?aOegR[HqC|A\`NoToE[Dc@h@W?YoWoE[EO@j@d?YOLoJcB_At?u?loM?JsBWAz?v?noVWJsD}E]BL`fOrGX{LEE`BW@hOtGY[LUEnBU`kOugZKLSEpBV@lOt_ZKKiETBI`doqwX[MsFSBd`u?xG[oMmFOBi`s_zG[wMmEwBc`l_xW[oLuFMB``s_ww\?MIE}Bk`n?yg[?MmEXBM`eorGXsKuExB\`lpA?^{OAGBB~A@P?O_cO?GFCA@|P@?^[OKFrB}@uo~O\{NoF\Bp@}o{_^sNoF`Br@zO|O^CNOFnBP`fosGY{LUElCbAMpFwbsP}G|C\aLPFGb[PqGvCYaCPAg`KP]GrCWaJPDWacPEGfCQaFPCG`{OmGZCKaAp@w_sT?H^CpaWPOWg[SIH~C}a_PNggCR}HvC|a]PMwfcRuHZCmaUPJGdkQyH@CaaOpGgcCQEHoCqaY@MWeWRiHiCqaY@LweWRYHQD@aT`OwdOSIHKCpaS@Jwe?Q]HsCeaS@MWf?Q]HmCcaZ@HWegQMHQCbaT`HWdOQQDLAg`RogGSSIEDFAd`QOiWT[IiD\Al`UOjwUKJADdAs`Xpf_UkJ]DlAw`[omgvGKMEBBA`\onWVcJyE@A~`bOpGWkK]ERBGbf@qwxk[qMZFJbePnGvsZuL~F?b_pmWvSZmLtEzb[pnGvsZuL~F@b_Pogwc[MMFFCb`Ppwwk[YMJFFbbPqWxC[iMRFIbcPlgvCZ]KEEFbA`aGo_WYKEEHbD``GogWiKYEGbF@`gp_W]K]EHbD`cWq?WiKWEQbE`dGpoXMK_ETbJ@cWqwW}KoEQbL@cwrGXQKoETbJ`egqoXeKyE]bM@gGrWX}LEE\bO`ewsOXqLGE]bR@fwsgYALEEfbP@iWsGYaLWEebQ@igsgYmLYEfbV`iGtoYeLWEobX@iwuGYiLYErbV`lWtoZQJgEuaz@mGmgZ]JXDlatprOlCUgMVDhBePR?uKSgLdDJBWPROukS{LfDMBYPX_iST?JNDdAgpWon[UOJtDaA}PVon{U?JzD`A~PZ_jcU{I|DoAmp_?jKWGIvE@AlPTomKTWJdDWAxpT?nKTSJnDwAhpP_hCSSINDHAaOfGRSHmCzA^`NQWOQsHQCjAW`JoeXPWXiKpEXbLpfWrcYQLLEdbRpiWtCZELdEobXplWuc[aMTFHbZPmGu{LIEhBR`nowGZsOaGRCIaAp@w_sOUGNCEagPSWiSUaJTDhauPZWl[UMJHDaarpXWksTyIzD[aopVwkCTYInDWalpUWjSTMIjDSaapPggcSQILDDacpPwhCSaIRDFadPRGh[SuI^DMdsAw`YCmOUdJbDgqt`[kl_VNJVDrQw@Z[mCUtJXDnqqpZckoU|JIDmqq`WskoUHJJDaqoPW{kGURJBDcQrPV[k{TzJMD]Qm`Y[lSTpIxDiQlpZSjSUvIuDkqw`T{mOTbJbDWQj@Vsk?T\I~DUqjpUSjOTbIoDXqdxRKhaSrIWdJqehRchmSxIZdLQcXQ[hIShIUdIqbP[kgkVNIKDrQa@ZcggU|IHDmq``Z{mCSNJ_DAq_`QKhKSHIBDHQ_@QshSSBISC~qb`NKh?RvINC|Qb`NcfwS`H|DFqVpK[e?RDH]CoqVpKke?RLH]CqQYPKKe[RFHgCpQYpKceoRLHiCqqXpLke_R\HhCvqZ@MKfGRTHjCwQ\PLkfOR^HrCvQ\pMKfGRpHuCwQ\@JKfSQtHrCkQV@M{dsRlHwClqSpNSdORvHQC{q^`Ikd[RxH|CjQTPOKg?QnH~CjQT@OcdKSDHQD@qV@OsdsSNIDClqaPJKggQtIGCkQgpHciSQ\IcCeqQpS{ccTPHIDRQP`USjOQPHFDXqgpG[iOQJIdCaQiPGCikQDIiC_qNPSsb{TPG}DRqg`FSbkT@G{DOqrPAsk{OpJMCJqo@Ac`KT|I~CIqmpBK`kTzGYD]QF@Tc`sT\G]DUqoPCCkKPBJACNqm@CSjgPHIxCPqHPWca[ULGeDaqlPDCj[PTIuCSqtPFCbcUfGvDiQLPXCbWURGsDbqKPRkh{PfI]CXQg@Dsb?TDI`CVqiPD[ikPZIiCUQxO}km[NlJeBzpzpRkh{NbI]BwQao|KgsNVIKBtQw_~C^gVHFxDppsPYC\KUdFQDgpr`ZClWM`FNDjp~_{C_?NDF~Bopwo~[]SNzFcB}Q@?y{\cOLFWCApvP?K\wODF^C@qA_ys\OOXGJBipx`@C_[NNFgCCpu`@k_{MvF[CFPz`AS`?NZGPBuP|@H{dCNdFrCgRs_N{GEC@AB`AO_gOkG]CLAG`DOaWW{KeEPAK`DobWPsHAC^AP`Hoch}odyR@H^csqYHK{eqRVHicxq\XMcfYRpHvdAq`hO{gaSTIHaOpGgcCayP`GnbiPtWys\]MrFWbmPugz[\yM~F\boPwg{K]MNJFcbrPxw|C]eNVFibuPzg|k^EN^FobxP|G}[^UNnFub{P}g~K[yM`FNbhpsgyLB_`hOxGXSMaE\A{`vOpG]sKAFdA?_zOaGNSFqCLAK_xOYGQsHAB\@[`LOWGSSEQC|@O_bOUGHSDQA\?a_TOHgBs@i?l?I_HOBgAS?i?\?E_@N~g?s?H~{~q^|N|f{r}x~S~S^zNrF~R|@~c~?^vNxFxR}`}K}k^lNkF{Ry`}{~W^\NlF{R|p|{}o^HNiFrRyp{k}s^NNhFvry@|s~?^NNhFwry@}S~K^HNsFrR|P{k{c_VNJGErqa@c{_^FNFFpRwPws|w]FN_Farvpwc{G]vN\F_RoPzczs]pM~FlRn`zKzo]nNUF\RtPv[z[^FN`F[rw`vCzK]jMqFjRkPy{|s\lMsFmRlPz\Ao\^OlFWSJ`tsyk_\MlGGRjA@|?k\TMgGEriQ@dAw\JMfGUrhaDc|{[~N]FOrw@sDBSZROvEtsL`lSu?`xO|EpSMpkKts_bL^GHrVaAStmYxLYekrTxjCtEYfLQeiRThilAOXhOdEYsGpe\@cXlKwGJsE@e{rg`NKzGSRMQCsro_tK}GMRNQB[r{`dL@GYROAE\A?YDLBGPRPACKsS`^LFGWrPaED@WYTOTEcsD@hDB_YVOyEesMPhcsw_zO^EfrSABsqO`ROjERSI`clBSXBKbGZrGaEs|_X@K]FlRuPb{pS_NKVGAs@`asp?_POIEGsAP`|?wWROOEDsBp`S|KWPNSEBRs`_{{{W@K@FgR?`yKnw]`J|Ffq~pyK|KVxNSD|Rs`^[n[]XJxFfQ}@xk{oVhJuFfRrP]lAkVZJkGSqyqDSx?[lMQFKRcPq{m_[ZJiFFqyPpswC[rMZF@r_`rSvgZnLtE{r\`nCvG[HMEEyR`Pm[u{[fLpFIr[@qcw?ZZL}EvR^plcuW[TLgFDrXppcvkZFLdE}rX@ncqsXTKnEURJ`d[r?XRKfEXRKPdCpkWdK\EHrF@acooWpKMEKrBPbSoK[NKDFCr@@pCxoVbM]DxrfP]Smw\DJoFQQzps\R[Bx@}_}tNQNlFyb~Pyg|s^IMdFUblPvg{S]YHxRqaYSzgfDMiH`RahqPIgddLyfHCahmPHi[CPyGpRiaGSzgadNIGHRQaCSug`dLYehBya?SuiYCNyapPegoSZiJdEiaHPugwSQiNDCIdhOyhUSNiUDBY_xOigQSKiCDAy_pOMgCSDi?d@I^hQifwShh|dIIcPNahGRyiPc}Y]hQUhMRvhzDHibxM}faS`hwDGI\hQ}f[SohuDJi_@Mmf{Rihsc~y[pNIfORshrc{y[XREfISqiXcxIYxGAcCRXhkC_YVXJ]dsQwh[cliV`JUd{Qsh]ckyaXIigiQkiICiyWhI]eMQhhbCiIShKudKRJhQCrISHIudEQnhVCgiRpMAd?RahNcwYYHHmeeQ\hhCfIRHKicsRGhKCqYY`HUekQVhicdiZPHIewQShlccyPxKye_QPhfccIPpLucYR^hnCbIW`GmcSRAhCcoyOpJ}cOR@hBcoIOXJAcIQqhACkYL`Eyb]Pjguc[IMHEabePigxCYYKhD}bAPfgrCWIKPDebGPYgpcUyIpDMaoPTgjcTIIPDua_P]ggcVGNKFmBtVFJCTaaxL[_kRUDJbt`qxLWWmPUkJRTjQtDYwlNUbJSthQtTYklHUaJNtgArtYCkzUnJGtkQq\Z?kdUMJLTcArdW{kvUWJ@t_arLX[kHU@JXt^qudW?ldULI|Taqn\WojrTuJITdanDXSjnTiIltZAjlUkixT{IrtYQntVsjPTcIwTXamLUSjdTtIpTWqm\VOjBT]IutWAl|T{j\TWJ\tUavlTclxTTJaTTqwtTWmJTRJ^TTAwDZ{idUxIgTmaiLZ_i^UvIfTRQulZWiXTIJ`toQh\ScmDT@IaTOAg\SGiJS|IbTQAf|RwiN@u_{O\zAH`Io_WSkFeCzAP_qo[WSkHeBYxl[}m\VIjdtrJ?X\AoIVQkADsY}H^QneVujxD|Y|X^]nYVxj{DzI{x]inKVhjqdyI{`^AnEVnjpDzi~h\}n}V`j~DwI~`\unuV[j|DvizH_YmuWGjlE@yz@_AmmWAk?dtj@H\MoUVTkDDtGVSJeDpAt`ZOlzH?feRvHyc}q^hNdJqd|Q|h[smyVTdCqVXRKeuSbHdccq\XOKdUQBH|cWqbXFKhuPRITcSq\XFKfuSBGtckqDXLKaURBG\c_qBXHK_UNrHTacqDWfKaUIBG\aOp~WeK_uHRGDaAo|W^kLuFZBd`aotWXkJUDZA|aCprWzKPuMbCTbKplWtK[ULBE|bopZWnK^UNRDtb?pTWqKUUKRD[HQClAT`KoeGQ|gsB`@q_wo\GMkFM]XNMferrxyK|A^TNjfuRzx|s}uLTEkbTpjWt{YyIVDKadPRWh{SyWvK[eMrEhbCpeiLTGibtPYg\SQtyYmlVukJT\iutXYuLMUfbUlhsthYZLWukrRLhgtdYiLJUiRRDi_snYaLKUdbSdh[tFYSLRudRSlhKtLYTLOUdBSLhKs~YNlFUbZQDhEsdYtLDUlbPdjOsVYILWukrPdgktdYFLMUfbPLhssPYXLAUerOthgsJXYLGucbJddks`Y@LQu_rS|gGtLYgK~UibN|ics@YCK|u^ROtfosJYFK{UaRNLg_rtXtkzu\jMTfQrfXhLPUYrSdegtFXeLNuYBSLe[t@YjKqujBK\isrHX_LVuWbUDeCt\X^LFuVRPldws\XWKwUTrL|fCqrXSKvUTbLldSrX@j_uOYgLkE}B\SuiYTLYfdRihvHlcvqZhMKfIR`HWckqUhJcduQvH~d?q_HOSgQSFQuhZsmIU\JUdhPdgrsXiKTEQbFPTghsTIIDDEadXnkwu[JLdeyrZ[}m_VNzf\rqxz[wm[vMje|rUxl[YMSVHbbdpkxN[[MOVGbb\qCwt[VMPvEBclpcxH[WMMvDrb|pcw|[RmGvCjadpYwj\CLZvPbVLsStp\BL\UnBgLsGtv[mMGVJR`|qow\[JMSvBRd\ooxT[nMCVKR`Tr?wR[FMYV@be\oSxd[AMVv@BeDoKxb[kL~v?Rdto?xZZ{MSu~bd\nsxTZrMOU|RcTqCvhZpMMu{bbtn?w~ZlMRUzrdDmwxNZkMQUybclmkxF[qLrvLB\LrKvP[vLquxbelmOxlZaM\VMR[\r_vB[ULnUwBall{wh[PLlvCbZllowfZVM_vObYtlSyF\CLkVPbZTsSurZNM^UsRf|l?y@ZIM\uqrflkcxxZzLbU}bXDncuNZuLau}BW\n[uHZ?LeUobXtkCuZZQL]unbYdj{uf]~FwR{h}K~Q^jNreHRDHa[pYWnKTeERBh`ko}WbKOi_TOigLRuh~S}lZumZVDjitvY{l|u}Z^TnYvpZvl_UojWLjut~Y}npfujz`}U~G^Znjfxj|@|e~M^Wn^Fwjv`}A|y^`nmfmZvX|y}}]ynZFujv@|m}w]vnXfuZuh|a|g^VnYFmZvXzU|e]yn]fmJvpzY|w]vnWFrjuP|A|a^NncfjZxPy}}O]mnTfojt`{Q|S^BnRfnztH{E|O^?nQFpZsp{]|I^Enefgzx`yE}U]anNVgJr|xm{z][niFeJrP|Y}i]XngfdZyXx]}c]UnHFtJq`|Y{e^TnFfsZqH|M{_^QnEvbjpdwk}`]INfVaRx|wW}P]GNdV`rxLz{{F]DN_v`BwDw?}D]ANaV_Rw\vs}J^FM~vpbntvk}Z\yNdv^BxdvEzf\qmvFwzm@}Uz]^cmtfxj|@uu~M\knoFWZ{PuA~A\^mpfvZk`|}}{\amqf\JkxvYzK\tmsF\znHuizQ\wmgfVjiPtuy_\[mkFRzhhtYy[\VmhfQji`sqyi\JmkfPzjXseys\GnYvlJu\za|l]vgmSViJlEAbBP^gjsUIItDeavPYmgVSjiLsuy^\MmdVRJh\seyN\GooWV{JuDrAv`\o{G?[My?JBk_BoqGUkJIEZAo`dojGYkLaD^Ai`josgTKKyDNAc`googR{KYDFBC`OobWQKG}CRAJ`BoWgYkLaBNBU_qoqGJkKqBBBI_noTgX{DaEf@Y`goSgW{DQEFBC_goMWFkBm@j?v_XooGDkBADz?m`^oHgVKAiDn?g`\oDGZ[@aE~?U`mowG@{@IFJ?O`poAG[{?iFV?K`sn~G[K?AFI~}`pouf}z~iE~B[^{ozF}KN@~jBm^xnyg[z}yFU~k`so\GN[FyBr@u_}oZgQ[HYBfAS_woYGRKEiCz@k`Lo_GH[GQAZAA_fnxGGj}aAQ~e_boOF{[CH~B?}^nnuGCJ|i@I~[_PntgBz|Q?y~Q_LpaG^{OIKZEIa?pbgkkXIJREOarpSgqkTYKrDSbJpSGo[SyKJEEaepQgk[SYI~DGaopOGjKTiIFDCamphgf[YiH~Ega]pLGtkRaLbCubVpJgr[XyHfE[aWpgGdKYQHZEaaTp\ga{PiJvCWa{pCgoKVqGjCOa~pAgl[OyJ^CKaup[G_kVQGRDqaBpFG^KQAFzC]`|o{gc{NQHFBuaQp|G|K^aNZFubtpwg}[]QNbFebvp}gzk]AN~F]b}q?Gy{_QMvGAbkpsH?{_iMjFQcCprHAK_qM^FIcFpkgv{ZYMFEsb_pmGwk[aLzEybbqChEK`YPjGScXqLhCkbiPNGwcSqOHB{aIPzG_c^qIhBKayOzGkcLqRhG[dIQNHOcaqTHHKcqQrHUcd_xo\WMcFABb@qkbuPjGl`}p@W]kMuFJB\j]trYwl\unJVUBj@x_zoQwH{CuTPIMdGqchP[hQSZIUdAqehO{haSRIOc~qdHO[hISBHwdKq^HR[fiSnIAczq_HM[fyRjH{czq]HMkfiRfHjcsqXxL[eeRNHncuq[XMKe}RZHYdDqbhJ{dqSZICcoqXHPKeISNJu@i_uOYwLkE}B\]xn\vmjvlzy|xYIlDubJMtf]rjXqkyU[{S]IVDHa_pPWg[NeFzBz`yo|w][rUXfKveVrJXeKpyXNKieMrIHb[pQXBKWeQrDhc[pIWvK]eFrFHaKpIWjKWeGrDh`{oaXBKKeQrAhc[oIXNKieBrIH_kn]VvJxd{q}x]{n}WBJ|d}q~x_KnASzJsdNq{hSKiYVjJodPqhH][miWFJmeAqzH_{oaVJJgeEqxh`[qqT^KodWrJhU[iaXfIkeZqihekkYVFJ]ddqqH[KkAUnJSdaqshW[jyUZJOd]qmhX{laTjJ[d[quhU{|iVbJrdyliutzYtlautZXoKWDkA}@N?j_SqfxRkiETFIddRqrXYKk}UfJVdiqvXZKlmU~JbdosAiAL?y_fOKgIs@IA|?Y_rOYgCr~iAl@A_FOQg?s@H~L?a^zOEf|rvXz[|}]vN^fmr~Hyk|a^vNwfjrsI?[{y^~NQg?rqHvk{q\~NIf_rpHxk{Y]RNAfdrohy[{Y]bNCffrnhyk|a\zN?fjrmH|k}y\vNofZrlH}{zI^jMofxrjh{k}I\VMkforhH|K}Y\NMgftrfh{KyI^JM_fpreH{{xq^VMYfsrch|k}y[jMUfwr{hpk~Y[bNsfFr`iA|@i[VMGgKr_i@[wQ_^M?gErVHfKuAXvL]e]rThn[tiZ~LWe}r[hiKtQZ^LoehrQhlKuqYZLiefrPhmksaZrLCezrOHk[sIZNK}eqsqhxK{m]ZNNfhrsXyk|e]my~\`moVWjkduNCdaRpGwbkQEG~Kxe]rMxl[ueZZLnexr[XmkveZnL~e|r^Xf{sMYBS?iBt@I`\OIgRSKh|tCI^|OyfzRVhlsuYYLLMejRJhfsrYX|KueVO_hasFIXL@yeNRch`sxiV|MIeBQwhwsnI\|JiffQuhusyIU\JQfVRahUsxiULMQd^QihnswITLIYezQ_hmswIS\IQe~QMhvsci]\HAfbQGhssbI\lGifVSQgttDiL|PQbZPchys}ILLNYbNP]iBsWi`\EAgRRygksVI^|NqavSOgftBIILOyaZS?ght@II|OIajPEhys}IH\NYaRSQg_tDiGlPQaFOyhksNIZ\LY`~OuhgsMIYlBQefOahcsHiW|AQeJPyhMsfiM|FacvQSgws\IQ|FIcrQAgVsKiO|BAcJP}gTs^IDlAacBVQiPTsYxdP}m\S`iKTrybd\EgtVLjSTNYtdSElTS~jRTkYuTYMl\Udi{TmyndZ}jtU|ixTlYutV]jhUxiuTpymD[mj\VHitTpYlD[MjLV@jCTWYkdW]kHTbjGTUyqdT}kdT\ikTayidW}ilULihTeyiDX]i\UXjMTQYsDSuk|TJi~TOyoTS]k@TDiTTLyfTQ}hpSliQTKydDREhLStkLUBzBt`MoxWPkIUAZBD_uolWJkOT~Z?DaUn|Wbk@T|z?t^moHVxjtTwy|t]EnXV^jwTxY|D^UndVfkUTuZED\up\VZkTTtYyta]mdWhkjUKzJTb]qpWtkaUQzHDc}qLXLkgUNzGTdUq@XRkoUNZJtbeqxWzkwUXZLteMrdXfkyUYZLdferlXjhaspyXKhuTBI^dRqhXS\gYsnYIlHuaJQlgYsZYIlGuaJP|gqrvYOk~ubjNlhIsBYClJu_jQl\EmZVNf]roXv{{]]FNDiTtJydlQehNSdlcurZX\k]uJZBlYUoZUDjutdY~lWUlzUdjmtdYxlKUozWthuuHYZl]UizWDiut\Y~lZUhZVTietpYflcUfzXdiMuTY`g[sLyElBm`~O|l{V?Z^ToMvxZ~lxV@Z`Dn]wLZtl~UzZ]DoMw@ZnlrV@Z`DmmwLZhloUrz[dlMvDZPlmUtzZtlUutZX@h_soY\REhjSri\tMYe|k}ufZPljutZZLqyyN[qmdvQJeLrIyB\CmWvOjd|siwV\GmEvBjg|rQxR[wmUvLjd\qIxv[em^vHJflpyyF[[m_vGJglriwn[}mLvNJbLrQwb[wmIvLja\vYyr\ymmv]Jj\uizb\smvvZJm\tyyf\amjvWJilsqzJ\OmsvRjk|ww?H\|?BVcjoG?I{`\~?@V_jpLwo?H]FnD?@jon