CAT(3072,9)
Sparse6:
:~?o?_?O?G?C?o?H?D_BO@g?c?U?N?H_BoAG@K?a?L?D_AOAG?{?e@G?Q_HoDGAk@]?l?K_GoBWAC?y?^@H?]oNgF{CIAB@?_cOOwGsC]AH@D_c_QwHgCyAW@I_x_UgJCDiAr@W_koUGJSDeA^@P_gOSgIcDMAj@V_jOcOM[FQBj@u_{O\wOSGMCHAC`@o_gNcFuCB@}`?O^wOKGABz@}_}O^wLkE}B\@o_xO[WLkE}Bd@o_woZgK{EeBX@j_sOYgJWFUAw@r_n?\GJgFYB?@v_{?VwNOEYBC@x_p_]WNOEEBG@z_q_]wXgCeAZ@I_doRgHcDqAz@]_loWGJ{McEvB^`nOwGZcLuEzB^`mOvg[CLmEtBX`kougZKLiExB_`movgZ[L}EhBW`hotwYsLUEjBV`hotGZCLYEdBL`fOrwYKLAERBG`boqwXcKiEXBG`boqWXSKmClAP`HOcwQkHQDvA~`]ongWCJqD]BM`W?rWY?JEEaAq`h?lGUWK}DIB``R?wWT?MIFCAb`R_wgS_MECtAV`KOeWRcHmDQAt`T?lgT_J]DoAm`\?jWTWJeCyB@`O_pGRoKIC}BB`b?ggWgIAC]AD`B?bWPoGaC_AI`B_bGPGGmIi?z_\oMwFcBq@x?y_YoMWE{BY@pAD`BOagPCG]CRAM`EobGP[HAC^DxAwp[gmCUyJZDnavp[glsUuJbDoavPZWl{VAJdDpaopXgkSUMJHDdatpXwlSUeJPDkaiPSGh{TEIdDRalpVGjkTyI~D_akPUGjKTeItDYah@Vgi_UAI]D\an`SGj_TMIuDP`}`ZG^_U]JUB~as?}wlONyG?Dha`pPGgkSYIPDFaLPFWb[PyGxCXai`DWioPYImCVaH`TwigPaGgDUao`BWaOUYJCCMaq@BwkWPAJICPaCPAw`KOiGNCK`y`MG]oReFmCy`|@NGewNaFqCz`y@JWdWM}HWBo`x@KG]WQ}FaCmad@HWhoQYIUCfaS@RGhGQiHQDLaO?zGbwMeHABm`t@Gg\WQQHEBlaY@?WeWOUHkCAaY`@g_WREGGCq`p`NWfoMaH}Bd`r@OGgOMQFMD@c@`RwiSTEI`DRaiOOwGsCaAN@C_aoUwJcD}A|@__moXGKSEEBL@b_qoXwLKEiBV@k_sO{G\{NIFhBp`xo}w^cOAFzB}`~pLwfCReHtC{a\pFwcCQEHDCcaPpEWbSPmGxC]aMpBgaCO}GbCQaEp@w`COeGTCKaDoxw\CMQFFBd`rQZPJkd}R@H]clqVHLSemRXHfcsQYXL?eYRQHacuAXXKweERUHcctAWxGkc]QLHGcdQQXF{cIQBH?caQOxJocIR?H?cmANxJwcEQyHBcaAUxFkbyPtGxc]QMxF?dePeHTcYAUhEgdYQmGvcZAUHCwcuPOHJcUARxDOcqPQHOcTaRhCobyPCGxcOaMhFWaMPyGccQaNHCWayPAGlcQaKhEGaIPGGncWAHhB[`}OxG\cNQGHBc`}OzGZcOQFhIW`YQgGWcLATHI_`eQeGTchaDxCw`aOsGkcTaDhDO`]POGXcSaDXAK`MO`GScHQBx?s_MOHGDcCQ@xL?_MRQGFcra@X?_eiOOHkcBAYxEO^uN{GlcWa?H?GayN}GncWA?g~g^]O?Fwb{a?g~O_ENwF~b|`~gokWYKNEGbDPaWo?d]QkD~b?aUGoWdiKCHTbAAUXK?ViJqHZcm@^HJgVuQ}D}cn@]w}GbMPiFubxALG}Wb]NgGwcZ@|W|{]mNXFlbwPzg|G^]NKFwb{`yG~O]iNwFfbq`}xIG\}QaFabpaShIO]ANGHQcg`wWzS\eMzF]blpvGz?eUREFVco`tGyWeIMiHecq@tgyO_yM_GHbgaAgxo_qM]GJbeaBWw{[iMPFHbdprGv[ZqLzE}b_PnwugdAQUEubZaRwv?cqLsHMb[aRWtweEL_HbbWaXGuOeILgHebXaXWtkYqLREibVPiwssYMLHEdbSPhwqwciKoHDcb`eXGoXiQOE[cc`exAOXAO]EKbEaCxA?WyKUGScG`bxIgXIQkERcj`dGqodaKaHXcl@dX@GVMJkGIa{ABH@WVQJiGMazaBWrg[EMCE]b``fww_YALCFEbO`pWECBE@`?p_WOKXlwAQ@J?h_ROIGC{vk@d?q_XOJGD[Ai@\?n_Urf?E[BM@h?s_YOKw}{^aNtFxb}P}wEkBY@n?x_\OMGFSBU@l?w_ZoMWXcKaENBJ`coqgGCBuAB?}_`ONwGKB}@z?}__OOgIKDIAf@O_iORwQcHECdAR`JOdWU{JYDjAw`\OmWTKImDTAk`VOjWUcI}DbAr`WOkgRkIAC|Aa`OofwS[IQDLAd`SOhwRKHiCvAW`JofGPsHAC^AK`DobWnKViJvD|a~P^Go[WAKDECa~p_WokWYKREFbDPaGvc[ALvE~b]pngssYMLHEdbSPhwq{XaKrEYbMPewpkWyK`EJbEPbwqKXIKhETbJPcwm{VaJfDsayp\gm[VQJjDua{P\yJ`DMa`PSggsTYITCoa`PJGgsRqIdCgajPLGhSRaI\A?aPOaGasGqGdAOaLOdGcsGQG|@gaTPJGMsRAB\Cs_xO^GfsRaBt@U_lOVgKsEIAd?G`dOBGXs@AEdBS_JOvGBsLa?s~c`~NwG^SO@}tCC^nPBF|sO`~T@W^tOTFzSDp}|@c^vOSF{sE@~C}C^ZN]FtRvp|[}o^DNbFvrw@|s|i]vNWfmRvXzLBo]^O|FgSM`yK{s`vOwFfSMPxc{[_\NGGGrqQ@|@?]LNJGHrqaATCC]BN?G^SO@wlCK]HNAG^sO`w[}g]BNjF`Rz@w[{?^ZNnFarz`wczw]TNFF]rqPvS{k\vM{FcRnpwszcaRMsGaRlQGkzWaLMwGcRlqG{yI\FMefQRhxsky[\^McFWRh`uKzG\FMrFPRj`skx}\@M\fMRgXrsx?`rMPG\rcaFCxO`zMTG]RcqFTBs[tMZG\SM@qtBc[nO{FKSMprKwkahPRFFSS@pkwgajPPFESS`p{wc`\MEGUR`qDkw_`^MDGWsK@ocxs``M]GUrfADsy?`^M`GWsJ@r{vw`dL~GXr_AEdBS[BOvF@sL`oT?{[rMVGHsC`rSx__bMZGGSB`qsw[_ZOHFBRaA@d?g[RMDGDr`A@Cvk^xLzF}r~`ncvs_BN~E}r^A?C|KZlNQEzrt@mk|SZpLyFjrt`nKzW[XMJF[RbPvKzS[TMsFFrlppsu{\VLoFUR[PtCvG\RLsFUr[ptSu{ZRLoEuR[PlSvOZVLrEvR[`lku[Z|LeF@rXPoKu_[DLcE~r_@k[uEZ@L^emrWhjsvSYnLuEkRV@m{tgZrLZE{RUPnStC\tLQF\rn@i[zsYhM~EjRn`ilAWYVOfEeRRaDCs{`ROjEgSI`hksS`LOiEdRQAC|AkYLLHGSRPqDKy_WvMhEMRi`bkykW|MlEORj@b{x?WjMPEJRDpqSp_[fKXFIrE`qcpQWdKOeGrCx`{o[^NNgEARyP_koK^HKEFrRA@{knw^bJ~FxR{p_CoG^hNtD}r?P}Cnk_vJ{GMsFp]{n__tJxGNQ}aBc}KVfN_Dwrvp]S}CVhJuFpRv`]kmkaHJkGaqzQGsmwaNJoGcqzqHCucVLJiEvQxPlkugVNJgEuRYp\Kl{ZFJ_EqQwPkkmGZLJcEsQwpk|?OUxJXGBs@`Zt?KUzOADlqua?kks]nNTDgRt@Xs|GU^NRDgrt`YSkC]pJAFlQopzKkO]vN\DbQpPzcjk_POHD]QoA@Sj{_VOLD^SB@Vkj_`HItGPsG`VSj[`JO_D[qlaCKi{\\IoFVrkpUKjG\`IsFXRkPU[h[`|IWG^sOpRTC?SvPADKsOPRchW^NNgDHQd@|KhS^JIRFqQcP{tCkSJPKDBQ`qHSg_aZIIGfqaQHsgG]`H~Feq_px{g?]\ICFgq_PxcfO^jNsCzq]@}CfW^bHtFxR{pM[fc^xHyF}r~`N[~{RxH}G?q^Q?Cq[R^HlESQZ`dKqgR`HqETq[PdcroWVKxEFRM``KrkWTKKE^RBPfkl_XBKaDhqtPckqKUhJVEQQt`csicX\IiEVqipeCioXdKpDVRJPTkkoTPIdDbqq`S{iOURIeDcQqpS[hwX~I`E_ROPRki?YDLCDPROpR{gkXfIKEYQbPekgwXlKwDGQbpe{?q?Z?M_FoCGAK@i?p?W_KoEgBK@m?z?Z_MOFGBkAE@F?]_POGGB{AE?~?]_POGwCC@Q?j?Q_JoDgA[ueZTLjeurZHlsveZlLve|R]HmkwU[LMHfAR`xpCwi[VMKfErbxpsxA[bMQfIRdXq[x][pMXfJRexrSCQAJ@F_cOPgG[EyBZ@o_woZwMSEUBL@`_qOWgK[E]BP@i_toZGLKMuFRBj`uOzg\SNYFjBw`{o}g]{QUHRCfaTPIGcsPMGhCTaJpEGasOEGDCBaAP@W_seuR\HqcwQZxMKr}Y@L@e`ROxgcreXtK}e\rNHfkq]XPKheTRJHd[qIXBKeePrHHcko}W`KQeIRCXa[nuV|KAd~r?H_KmUVLJfdsQyh\KkuUdJMdfqsHYKk]UPJHddQrHX[jMT^IsdWQkXUSjaTlItd[qmhU{hESdIRdIQdhQkgUSPIEdDQ`xPKgER~IAd@q`HOCfMRpHsczq\hMlmOv?Z?l_evjZxkIvAZBlpEpZ[XkQtqZ[l[EvZU`lqtkZ\lZevZUhlqu?YvlYEoZUhkQtkZDl`EmZV@kMtRYglUuijTdimslYYlKUdzRLhmr}ZYl?EuJYpgIr{ZZlje_zOHlerwZUk}euZZPfiuuXzlkE]JYxfercYmkxejzM`jAriYplXe\zMpjIsgXYkleczJphUqwYOknecZQPduqyXokuEUjJxeyquXlkweVjJ`e}qgYqkkEkZTpdeqkYnlXeTZIxjAq_ZOkgesZIPlIq]ZRlieSzY`cyrgXNkhe\zIPfMq_Xtkge\jMPcyqCZEk`eqJXXcQqIZIlcePjGxk]pwXGk]eQZFpcup}XIkdeOZG@cqp_YYkWedjQxbUpeYWkYEeZEPhmvAW^kOEvjZxaEv?WblpeFj[PaIrEWakNEWJKPaMo}X`kOeXZC@eQukWKljeBZ@plao]ZXkGeuzA@lis}WElOEAZSH_is{WGkDefJRh_]oGXnkuE?JLh_EoEXmkwe@Z?PfAnsXGj|eQY~`cinyXJj~eRY~pcqp_Vsj{eKzEH^UpcVukYd|y~@bQn[WJjxeAi|x_Yn_WFjweAY}P_aamYTgjEcIJHhEsgPZlHCUJQXDinCYyjpeny{`jmnKY{l^Dxy{hjumwZOjmesYzplIm}ZRlidwZY`]AmkY[jjefYz@hymqY^jlegYzPiApyVIk]Dqyx`bym]X?jeeOYxpb}mGXSjaeTYwpdemMXUjceUIx@d]loWuj[eLyvhbelsWwk\dnJFPZmlWWYkKdjZBXYyl]WWkMdkZB`ZAocUekHdhzA`YaoiUhjTeDzApYiksWKkFdfIrX_uo_U^kGdfZ@pXytCUSjIegyrHi]kkYcjKEhYqxiYkCX_jBeXIoXeEkGXajAeXYopeMrKT{krd^ZL@Vyj}Xhj?eYio@emjkYCi{e`YmxgYsQTwlBd]jP@Vmi{WcineHYk@aYjAWfipeIYkPaatuT[l^DUjVPTuiuY{l^dUIjHjupSTDi_eIygXaqi?WlkVdOig`ayhgWWkMdMZBPR]ouStkKdLjB`Rau]SnlfDJjXxRAu]SpiXeriePkygwX}iMe^ybpgAg}Y@iOe_yc@gIgkW@iJe?ib@_AoESXkAdEz?`PipuSNiDELi`Xb]gYWwiFEMZFPOqniSDiBD|i_x^]nqSGiCd|I~@OQtCRwlPc}ZS`NifuYdh}ehi^`i]fcYDhzE`jOxNQfmYClCc{zP@NUpGRekQcxzCpMapMRhkScyzD@MinuRbhqd~y~pMInsRcj}CwY~hMAesVmhldzyZ`^AeyVphnd{yZp^IegZ]lnctZ[@LYvARVlpcuZ[PLatQQulTClzTXJadqYllSCmyVPiqd_ZOhWesYUPlIdeZRliclZY`JQsSQilFCizPXIusWQkhVebYTpg}dGWQhQeCySp`QdQWVhSEDYSx`YcoXehKeXyRPeacuXhhMeYyR`eiroQKhEe]iPpfec]Xzk}ccZN`HAs]QJlDC`jPXG]sWQGlEcaiPHgyb_ZLgvErJXhFMuYPqleC[YLxkqpSPgkTcYYL`aybYWkkVcYyLPaubCXCgpeOjGhEQqKPfgqeOzGxEYawZEgmepyJpkauQP^goeqzXPEAnYUrjsDki|HZQnSUtjZdyyup]qlETqiyDhIshVMl?ToiydgYsPVEl{TQihdnyi`[AmATTj`dTywPTYjSTLitdRil`S}jYTOivdSYh`UyhQTdiTDXid@UQjQSkiUdXydXUaf{Syh~dMy_@RqhyS@i^D?yfxOIeaVPhhDsIYX\Ie_VRjicriXx\QgcRGiHcqYahKuggRIheDCIaHKmk[RAhaDbyq@KMeIUPhbdcyWpXIc}UHhPdbIRpWakSQ_jEcgipXIEccRkhHczYQ`MyfaQUhwCdyQhM}dwQ?h@CnYOXJ}eAQ@hAcniO`KAbsSag|dGyN`QQbySdiRc^yNpQYbgTEgydPyMxSabqTJg{DQYhPFY@T?k_ToJgDkA}@N?g_QOHWDKAY?T?J_DoAw@S?iNzF~c?P~h?S_ECJAE`BoaGPSGeMZFObfPrwyK\ILjEwb[plgvSZ]K|E_bMpfwsSYEalPVgksUyJDDialPVgkSUiJ\DeiXTLifTRyiLTAhLSaiPtHIc|QUeVRLhcSrIXLKidxQ|h^SnyWLKAchQUhJscyQlHIbpPugys]YMdF]azP^goSVIJtEFFycTp~HD{^YPRFscRqHG~{^aPZFccKpxhBkaAMzF]cPpwHB{]IOvGKbjqCgyk_yMrGObhqDgz[\AOjFWcApsh?{\QOFFYcCq?Gy{_iMazqb^poF\{[HvbEw\tpnF\kZhvRGoakpUhE[bYIzDacYqMGj{biJBFu`{p}G^[^iFzF}`~p?g~k^QGBBsbHpaG][NYKbBobEozGp{MyKVD{`Qp^gS{WADRAib@p`gT{IqKJA[a~ogGnkHiKFAab?p`gR{HaKJ@[bmpxgKK]QBNFa_ppvgKk]AA~@OcYoShFKDQPf@UcWqLgJ[biArGK_OqBgC[`A@J?ecHoIhA{AaOj?Sayp[gA{@aJvDo_Lp]GB{VY?zGI^{n{h?[_@~m~ycAn{H?z~QOQ~Wbanugw{[`~FFI^mprfz{[p~A~ObdpqFxj{yMI~Qbbprfy{[p}jGc^YqHfuzzaPQ}ycTnnhDzzqPY|_awnWgmZuQJi|eaznYgnZuaJq|SbInTgqztaKrE]]nnVGr[Xpyu{ybvnMG|k]`xbFi]XnLg}ZrQNbFg]KpyfbZqINfFk]MnGG|zpyNa{QbInCGrKXpwY{MbJpffazpQKvG_\}m}hB[aHvqzscKm~hBjnYO~EI\lpcfYkW`ubEM\jpbFZKX@ueySbUmdgtzhaLayYbXmfguzhqLiwsbUmLgtzbaLbEq[\plfF{ZPpzE_[MpgfB{YPpBEe[PpifC{Y`pIvibOpiE{kYhnNEeZspge{[YPnBEwZcpnEx[ZxmZEyZfpoey[[@mbCCa^p@gekOaHnCIa[pBgf[OqHzD?`iotgg[SQErDE`lpQgZ{SaEzA?`Wo_gU[GQDjAE`ZoagV[GaDrC[_CpFg@[QA?ZCa_FoCgc{@AHI~caenzGiz}yIi~eafnyGiZ}iIb@?^aoNFxKBx}V@A^`npgFJ{A@u}g`onig[ZyqFI}q`rnjg\ZzAFQ~{^Mn~fr{?@|A}a_@nhg?zyQ?I}K`HodFpzwQCY}E`GodfpKGx{U{e]anNfdjqPxy{i]bnOFdzq`yEzc_fmwGHZlyAIza_bmxgHjlqAR@g\[oYfV{Eptv@m\]o[FW[FHuA|w\Un]fTzj@zyyq]~mlfoZjP{AyG\OmcFTJghtEyK\QmcfTZgxtNCY[}pCFN{PHsBCS\@pEFOzgQGmxq^Km]FrZf@{a}U[|ncfMzfP{ixg`goqFKjeyEfBI[rorfL[KprYxW_ymUgMzdqBqx]_|o^fKZeAByxQaSpKfIJdQHVCo[emRgdkQxqmx?]cmOfhZcPyYxE]fmQfiZc`ybDc[SpXfDZaqJQwmavmKglZbAJYwW`bmCGVj`ID~B?[IoofBZ`YEI{G[Fm@F_J_XwEwG]AnAf@j_hwN?kZ{oJe~Z_I@j?oZ}oLe~z_A@evk]ulzflz^@zavq]xn\e}z^PzivW\elvFXz\PuIzEZjmqezzk`mu?|?^_OOGWCSAMFFBc`roxW\CMYvxZ|m?V?Z^tn}vnZul{u}z^DnjRwiAt?I]lNqgVRui@s~i_|NigRQghwsgI\LIIfVQchvsii]\IYfZP{hms^iZ|MAcBRah@sxIO|MYcJPGh|sPi]|Cif~R{gas}IGLCIfjOChss@i\\?afZOKhxsBi\|?ifbKEi@r?i`KoAgJKCiBq~i`[nqgBIghmqiiZ|MATZRadVsxhU\MQTbQSgksdiJ\Dqc~PahMsWIR\DycrPkgUsKiL|EQ`RPegTsYiD|BAbRQwgGsEiW\Ji_fQ{gIsoIBLJy_nOsfosLh{\Ba^JOyfrsNh|LBq^VMcfirhhy{|a\RNYfTrjhz{yq]zMofErkhp{zQ[bMufHrdhvKzi[jNAfAr_hwkwA]BMGf]rphp[wY\~RIeosrhkktqeJRKerrWiW{tyeRLOesrUHm[tYZ^LiehrUhmKtQZZLCeyrPhm{sqZzLGe{rQhn[syZ~O[e[rOIC{sI`JO]e\rNiC\AAXzKgfhrqHcK|AXJNIePrIhxk{yXNKShUrDiT{padbKYhXslhb|JQWzHkeCqZh`[fAWZHseFrChM{fIWbKqd{rKH]{qqVbKmdxrLh^[rQVjQGdqqxiP[macZJihFqziQ[mqcbPKdeqtiH|DAU^JOghqsiI{lQajJ?dYqohU{kQTrIydbqnhXKjqUVIOf{qch~[hQ^zIUf~qei?[ha_BIMfMreHOkxiSNM]dCrghP[yASZHwhgq]iY[fqejH}hjq_iZ[gAerI[coqWhR{eQTBHedPqhhL[iQRRHSgws[hI|FaQ~Pycls\HJlFYQrHQdkquhHKlqQVHKdnqRh[[dAVBG{furzhF{~AQBNscbr|hG[~IQJWkl?u_jD|gQpbYEkXuajE|gapjWGksuAjL\eqoZXmkFu[jALfAofXGjxuPi}lcqnvXCjwuQi~L^Yq^WAjvtzJ?|]QnzV}jrtyj?l]aoBWSjkuDiz\`amzWYjnuFi{\`qnBU{jjtlIxlZYm^Uwjgtsiv|\QlvUgkmtijJ|YqrBUmkptkjK|ZArJUOj_tciw\XQmJUUjbteix\XamRXsi{t]jM|VqrrT}k|t_jN|WArzTkk[tZjF\VApzTqk^uOim|cAjjTSictTih\TaiZTMiltSij|TAizTEjFtNIolRykNT?jCtPIp\SIkZU[iWtfie\YAhjUaiZthif\RalJSciotHik\UQhRTeiTtYid|UahZWeiOtFJClPapBSYkPtGjDLaig~SKkgtBjI\PYqjXUiGuUialdagf[sm_vLjg\rayJ\Im^vQJf\rqyN[gl~u~Jd\naxZZymVvKj_\oAxb[Oluu|Ja\nYwnZqmIu{Jb\pav^ZGliuqjY|kqurZYlfuvjY\lqubYMl`upJPlhAtzYQl^upjQ|hQuB[[lWvFjU\qAtj[alZvHjV\qQtrYmmFuhJ_loYtN[GlSvBJT\oitZZ_lPueJ[\hivJY[lrufj\\iAvR\SnAvRJnltY{N\Mm~vSJo\tI{B]amxv]js|yAzb\unQv]JtLvQ|V\cnIvXjq|uy{~\gnKvZJrlui{v\WnCvWJplwiyv]MmmvWjqLty{f^OnUvsjt||Q|b^UnXvljz\|a|j]wnavmjw|zq}R]}ndvrjw\{q}A?AnsVvO?d}i}}?EnuVwZ{O?Q~^^e?BV{z{_?I~b