CAT(3072,3)
Sparse6:
:~?o?_?O?G?C@g?n?X_KOG?Ao@e?o?S_I_DwAk@Y?h?u?UOIgD[Au@\?n_f?OgGcCMAH@B_`ONwGKCA@y?~___NGFoCA@f?t_YOKOFkBo@d?o?^OL_FKB_@v?v?\O[OLCEYBN@b_qOXWK[EUBH@g_rOXwHSCaAR@J_eoRGLOEABC@i_t?WWI{DaAr@P?soSoLKDGBR@T_jOTGGgDuAM@]_b?VwHoDiA_@[_f_UwDKAe@RA`?RoHgDCIg@\?l_VoQGHKCiAZ@J_eOPWG{CYA\@N_gOq?VkJyDxAu`[OlwU[JUDhAm`VojWUSJED`Aq`WOkWTOJeDuAk`\?iwR[HuCxA]`OOfwSKIMDDAc`QohgSkIYDHAf`SoiGS{IeDPAt@KOe_UcHcDfA`@UogoTsI{DDAT@ZodoVCJWClA]@KOe_SCHcC~@s_zO\WM{FeBp@z_|O^GMGHYBeAV_x?dWRgHQCwAQ`L_cwQCHEC^A{@EOb_VsJsCZAH`DoagOoJeDuAG`\?`wOWJqCGA}`A_nWOSGACBAz?~Om_N{FsDr@n_vO[GTOEmBYAk`T_ZGfOAE@@?aa`_GwCcAUDPAh`RoNwGKCA@f?t_YOLgFCB]@r?z_\O\WMcFYBn@x_{O]gNcFmBf@q_wo_gOKGAB\@o_voZgMCE}JmDiauPYwlsU}JZDoaxP[Wl[UqJTDhasPXwkKUIJFD\alpVGkwTuIwDgal`YWjCTiIrDSahPSwiCTEI^DWAfpU_iKTcI`DHadpQgg{SaILDFabPQGg[SUIHDuA]pNomsRwJlD?Axp\OgKSGJhDlAXPZoeKRKJ\DlA[PZofKR[J\CsAxPLOmCRWJbDAAxPO?mCSCJbCyAxp\OfcRkJhD_AVpVodsR?I|D_A\PN?jsT{HvDKAWPR_dsSsH^CjA[pJ?fCR[HZBB``OpGW{KUELDH@_pQoV{SgE@CaaPpHGh_PqG{DMaM`RWasPaGnCSAqPDOkkPKJLCJaEPAg`GUYGODcaB`XWe_NyHiC?`~`Lgd?OQHSCDaS`@gigNmFyDV`}@Tg^?VMJiBy`{`\G]kN]FlBq`xo|G\GTIIgBj`t@SwgWM}FaDDaa?{GZgUMJAB]ap?vw[CMIFBDT@ppTo[kTWFHCk@lOv?d[LkHZDj@jpZ?ZKUgEpCr@iot_eKLOHdBQ`hosWdOK}E_CgaS_rgXkKqEVBGA]pNoXSRwERC^AKpGOb[Q?GtCLARPBoc{OwHJCQA@p?OaKOGG`Bf@uOx_\sM_FZGg?MoFwBsAY@P?f_MoFwBsQmHZCk_ToJGDSCaAT@H_hoSgIKJ}EBB?aHpDWacLuE~B]`poxW[cL]ErBWckARxIKdAQdHSchqThIkd]QnHTcjQOHGScEPyHTc^aTxFodYPxGzc\QJ`FSb?PxGzCVqKPD[bKPZGqCUP\wnCVePCHBcQAPXCWcQPeG`cWaFxEOaAO{GxcMaLxB_baQQGRcdaDXHO`QQKGOcbaChAGcaPkGLcFaLXE__yONGHcCQ@@IS_SQhGEChpzpFk^CP~FoC^Pyw|K]iM{HNcg`vwzgdAMrFVbkQI?yKacMfFQCTPpPDk[[PVFECUPp@Hk[KQXFACfQI?v{agMBGhB_PlpHsZ_QXHLBZPmPHcZkQ\EyCeqQoukccLhHIBXqL_tKbOLNGtBSPgpC{YCPLGdBPPf`DsY?P^GoBNqP_rcc_KzHFBLqS_rCdOKtHRBKpd`CkX[PNGeBIpc`E{XOPrERC[Pb@H{dCK\ELCgQO?oscGKPH@BBp`PG[WKQJECCaP{`As^OOpFrCJp__|CW?NNE@BrPwo~[]SNzFcB}Pu_~C^gMxFxBlpt?|c]wMlFTBups?}k[{NnFMBzPq?ncVkMTDyBcprOnkVwMXFJA~pn?~s^{L|E|C?Pk@BK`kLdGYBWpjP?KY{OFEmC@Ph?{CYWNDEdBopbp@SXCOXEOCDpj?pSWkLTEHBTq}_BS@m?xA\`LofGFcBy@z?q_WoKGN{FuB|@j_uoZGp{XEK`EHbDPax`oo]WYKGeEB@hMWomRiKHcyBAh]cnYVjJrdwq{h\WoeVYKJduBAh\CmiVRJXD|Qu`^cnkUvJVD{Q|pZClWVrJ{DhQ}`YKnkU`K@DWr?`UCi{W@IhD~qip^sigVzKNDPrC@SkpCTHI^dNQfXRGoaSoKEdJb@xP?oUSSKBdCb@HN_oAR{KAc}b?X`_fYW[HweEa\xLWn}RWJ|ctA~hKwnaROJxdzaYXaGeQW]HeeGAXX_WdaWIHXeAAUhKKeMRDJbDvQw`\{mOV`J`D`qo`Z{m?UBJID[qr@VSkkTpIqDhql@YclSTfImDrqjP[kioVLIuDRqlpTCjSTLIYDcQf@XKhkUNJCDGqcpWskSSdIUDGQd@P{hSS\IJDmQbPZsgoUzIzDAqnPO{joSLH~D@Q_POcg?SFJLC{qrpN[kwRtI_Cuqg`L{iCR\H\CwqV@MSf?QvH]D^Qo@J{j{R@MF?MoFwBswsVnJxd{OIgDcAmE@B@`^qcxQShESPIIdCqXHKseUQxH\clrfxsKyA[|M\fMReXr[xi[tMXfLrdhrCx][pMVfJRc@akxGWlKVFGra`mkwoZnMJEzR[hm[vQZ]M^ewBgXmGyAZXLmeurXhlCu][YLbeqbbxk_wy[eL\fIbVxq_tyYtL[elrc@i{xCYpLXFHR`picwcYlMGEirRpocwWY`LMFArQ@ocwWYTMDEcrapgSsK[XLCFDRf@eCxwXdM\EWraPdSw_XXMFETrdPcKqK[fKaFIREppkps[^K[FFR]ph[vsYZL{EeRPPiSsWYfLPEbr^`f{w?YBL~E_RN@nCvgX|K|E{rMPoSrg[FKzF?rKpkCrSZDKsEorHPlKqOZVKeEtRJPbsq{X@KmENrE@c{pgXPKXESrM@a[pGXnKSEZOGwCcAUDHAe`QoKgEKBAOjGRcIPuWy{\aKPEEbBrSXi[tIXDK`ePrFXb[pq`QOdgQSGyCtAa`NO`GMSGaBTA?_vOVGLSEQBd@__vOUGNSFqAl@O_zOJGOsGa@lA?_XOJGMsFq@l?o_|OVGCSAaBL?c_pMsGPrlaCkzS`HNuf{R|yA_~A_kNqgIb{X|{}u^\NiGCSA`|\?c^XN`GRrwaDC}K`LN]GGrwAA[|{_dN\GGSB`z\?{]xNWGHRuaA[|c_bNSfhRsxx{|E]`NMGSRrAC{{s`LN?GProaCk{C`HM|GFRnqACzw_^NTGArtq?{|W_LNBF}R~`wk{O^zNtF\Rn@}[~O\vOAFZs@@vL?K\pMpFcrkpx[zG]TNGFVrppuCyw]LNhFTrjP{{}_\XMgFqRiP{syg^JNxFQrhp~[yW^tO@FQR~psT??\FQK?IoDgAc@]?r?W_ROHwDCR}H|C|aVPKGd{EYBP@f_VOJwDkKUENBE`aOowWSOyG^CL`pOwG[KKmEZBK`dOqWXCfMRjHsckQUXJTJKdpQtHZSlAU|IgdpQuHUSiqU|IgdZQnHUSjaT\IWdbQcHXShQUDI[c~QhHOSiARtIKcrQYHOseASTHGdfQSHYscqUdIwc^QnHGscATlHkcXQMHMsbQRdHOcjQQHJScqQ|FOdBQbGzS\QSTIObVPlHRSZASlEScRPeHDSXqP\EGcRPcHDsWqPTC{cbPLHGSbqHtHkaTPJHMsRARdC[cjPHHJsQAQtCOdNPEHSsPQTDC?cXQMG^SbQF|JC`vQqG]skAFdBSc|OvHOSLaR|H_`dQYGYSeQE\GGcPQFH?S`aOLGKbtQDG}S`AN\F[bbPxGxS]AM\EwbzPoG~sZqNtDcazPZGmSUaJtD_a~P`GjsTaKDCC`pPBG\SOaFLBCadPOGWSJqILE_`ROjGtSIaLLAsafOkGisJaIc?m?X?LiS?Bw@s@A?t?[_LoCWA[@Ihm?M_FoCGAK@I?fT?CQqHhC{H}C|A_`KOegRKCIAH@B_YoLGE[GuCXAM`BOaGO{EqBZ@jazp]WnCWAKDE@b~Q?G~{^INfFsbdPqWxC[qMZFJbQPhgskXyL@E^bOpgwsSXUKnEUbHPdGq\CqaVPIgaSPiGlTwj`T_IxTVqmLTgjbTWIxTUQmDVSijTVIxt\AitSWjfTGIyt\Ag|U{iJTlIaTZag\UGiDT?IptWQgLS?ixT@IltOajlRyhzS~i]tNyftRahrSvi\tNIfTROjzSuI~TLQndRKjrTzIWtKanTVWh`TwIVT\qd|QkjZSkIvtZadlQ_jTSiIuTIQl\UchFSaIsTHAk|QSjNSeIsTHqlLPojJS]IqTFQktP{jHS_IqtGQktT?hxSyIgtRqf\SohpSvIfTRQfLP{gtS_IKtGQb\PchJSfILTEqctL]erRWibDCIh@PIgaTFi`dBYghO}iGSMiDTBI`\O]gRSGiSD@I_pQihQSDi?dJi_XRAgCSnh~DKYeXOAhcR~h|dLI^hRYfwSth{DVYj`NiiuRxioc|YkXNYjCRvhxDUI]`TifeTXinCzy]HUAf_T^huDSI\hTEi]RmiicyYixMmikRihrDRI\@SyfMTLiTcwy[hQuhWRchoDGicXMIfASciMCvYbpL}gyR]hlsuiZdLOidTSHjTSqYlSce\ROIdsrqhTVWeVTwHeT\qXlScePTJHdTQaXLKGidRCIiTSqW\Uge@TkH^tYqWLJwjrQ|I|snAnTJgjzQxI~SmqndLKglRQIKSsQa|KSgfREIISpqala[HnCxa[POggKSAHRCgaTOPWGsC]At@[_loTGIsDUHDCcaPpFGbkPyF|B~a?P?W_[OIGHCEaAoxg\CM]FRBi`to{G]KM}FXBm`uotgYkLQEbBQ`hosGXsK}SnIXdKQYhLcemQ|H_cnqWXK[eI]XNMferoHwS{E\^MofVRihtCye\NMdfRRgxscyIrpXyk{u\ZMtf]rdXskxuZzMDfErKXYkmEYJJXe]qUXYkmERJJXcuqIX_kbeWZGpeIqIXPkbeSzGpdIp_X\kXEVzEHdyp_XGkXEQjEHcerEWlkVeXZK`ayp]XMkUeRzI@aypHWekQuHZCdaYr[WbkueGZL`aIrQW`kteGzLPaIp?XBkNEPJBxcIpyW\kMENjBXbqqaWWkLESzBHdIqSWUkcEDzHH`UrKWQksEDJKx`MoQXbkDeXZ@PeQoKXMkgEAJ?xc}oEXJkAeRZ?`cqnyWuj~eMI~pb]nsWrj}ELY~XbQr?Vvj{eWi~@eEngXnkwd|i}hfAq{VrjweVzJh^In[XrjwE\JMP]}rkVjjue\zMh]qrQVhktdyjLP]anIXxjre]i{pfanGXmjpeZI{PeumrVZjlTtizD\]mGW~jbEOYwhcAmAXSj`eTiwPdUl{Wxk\doJFPZ}luXVj]eUYv`dalnUtjZTmRGTZgqHUwK`tkYuDY}pwUrk^DlJFhZIlWWijVEJIthamlUWkkTDiZDXYipMUfkSDhjDHYalEXUkiDhYs`dUlAX?jPEOYs@b}k_XXjFeUIppd]kWWtjEeKypXbQpmUGjDEMJEpWepMUDkSd`zD@WYj}Wxk\d_ZFPWAo]V^kGDwZAH]Am{WLkFDvIzh_qmYVHjfdpyxp[amSW@jeE?j?@[mkmU[jKdeir@XmkyUSjIdfyqpXym_UPjhDcyyHXIkEVTjADsyoP\QyGMCfAr`hpSwq[VDya}P]wnkV}J|GLcFqBg}C^EN^F\bnpvgyK\MMdEZbMpfGo[WUKHKue[RLxbCpeWtP^gosWIJdDyaz\NM_vObhlsKy\\?MeVNrhTrwyVYjM_UjRf|iox|\[MXVVRedtwxf[nMjVKRi|t_x`[mMsvJBlTqszP[hMtvZBd\qgzZ[gMovHrkDqWy~[bMhvHBilqSyh[`MuvGbl\uox@\hMNVYBblugw~\CMLVPbbdsSwv[VMmVERjtp_yz\DMIvPBadpWyL\FMGvQRa\s_wd[MMbvCBhLo{yP[JM]VBRflooxv[zMCVNR`TrowR[xMAvMb_|r_wL[AMjVUB_doKyn[tL~vLr_Lo?xl\dLnUvrk|m?zLZZMivSrZltOux\bLkvXBZTl_zDZTMnutrkLlWz@[yLhUtBfLr_ufZNMpVWrYLuOu`ZKMYvLrXlkwxlZHMquqrk|kgzL\YLbVUrXDtcuN\OL`vSbWltCuHYmM_vObUDsKt^YUMeUeBh\h[yTYRMhUdBiDhSyb\NLGUcbhtsssb\XLEvUrP|tgs\ZiL\UzBVdmktvYvLrumR\Lj_vPYsLoulR[\jWvDZcLWukr[tmStdYgLwUib]TicvbZlLQuzrS|mwtLZxLPU}rSdngtFY^LxugR]dnSt@Z{LMUfb^thsvzZuLDU}BPdn[sVYCLLueROthgsJYFL?uaROTg_sFX}L]unrODjwr~Z?K|u^BWTfsuB_[I^TNyfkREHfCqaYPLgekEMBJ@c_eoRGH[KYENBD``OpGW[{M]HNDf]RmxvSzE\fMqfTrjXtdnivvZxlyU{z]lfys@X~k|u^ZNeC|AN`GobWP[G]CRA@`Ao_wN[FuB~AC_Zo_GEkGI@f?k_}o^gEKAyBv@W_QoTgC[Di@B?e_moIgKKAaA~?k_LoKGB{Ay?z?]_YoEgE{@q@f?A_do@GH{?YAZ@Q^}oTG?J~yAb@C^zn}gHKCX~r@A^yoNf}[C@~a~i_ynzgNJ}qBm~g_wnxGMZ}YB]~Q_IntgBJ|Q?m~K_FnsGAZ{y?a~E_dnqgHz{aAZ@Q^aoTFwJ{IAa}y_pnnGKzzyBI}w_soYfukEp|n@C^VoQFu[CX|a}g_ynjGNJyiBm}a_^nhgGZyQAB@m^Oo[fr{F@{z?e^GoIfqkA`{f?a^DnbGCjwy@A}C_pnaGKzwYBJ@g]{oZFnkEhzu|M`BnSgPZtACQ{u_CnMG@jri?U{o_[nLGFjrI@u{i_\oNFdzqq@q{c`EnIGQJqYC]{]_CnGg@jqA?U{W_FoCfbk@@wv?S]HoEFa{@Xwi{K_mnCGKJoyA~@U]BnAgJZoaAq|}^kn_fzjw@}u~]]xn\f{Z}@zi|e\snYf\ju`vU}U]lnefjzx`yy|S]unUFlztXza|a]cnQfkju@yYzs]?m}F_ZnXwIzq\}m~f\znhvazc]^mxfgJmHxyz]]`mvFgjm@yM?b?R_HOCG@{?z?H_DoBWB[@}?ypDWbkOuHZCdaY`ROjgTSJIDtAumNVHjcU?J?T_EmfVTjiTsIyT\EktU[jLtfYr|XzFbbqpxw{k]]NFFGcJqDGwk`IMNF?cMqEGw[ZyOvEwb|pnG~{ZiNzEqc?plh?kZQOFG?bUq@GuK_IL^FybRp~gt[^qLREGcEpahAK_yKZEAcCp`h?{_iKJGMauqCGl{_qJVDcbvpYG}[UYNbFsanp}GkK^YJFDQcCqAgi{TQONDKbvpSG}[SyNbFsabp}Gh[^YIRCsbspMG|kRYNVFgaSpzGdk]iHVFSaGpsGak\IGfFIaDprg`{[qGZF]`}pwG^[NaMzF_`ypvg][NYMzFI`iouGxkLYM^FO`fptGY[\IEbBAblopgy{KQMrBGbkoqgz[KqMnA|`^ooWVKJmDnAWcMofHB[HiOrGQ`HodhA{HQOjDobOp\GskVILFDWbLpVGr{TiKzBYa\ovgf{LqHzC[azpGGn[PyJrD{aJpEgoKPaJ~BkbIozgq{NAKrEM`rpcg\[XAFRDC`poxGg[MAIBAs`~p?gUKJIGBAiaCojG_{OQD^Ca`QpHgTKQQDNCm`NpKgS[RADBK_?G_DOA[qo?a?T?H_DOAW@DrUxn[um[VMjfLryy@[~m`vOZgTPqg|S\iNtGYcDQIhHSbiQtHyctREhfSqiYTLielmUvLZclouwz[TgQsLYDl@u_ZOUDbAt`XoiwTkI}DNAh`QogwR{IECfAT`JocwQ{HUCrA\`LoeWRkHm\FM`fNrfXrKxm[lMlfIRixtsxM\lMPfFRmxpcze\LLfepRhXkcyeYxMRfJRWXjsxUYtMrekRkXiszUYhMPfFRSxpctEX|LVe`RUxgCteZDKxerRNXkcrmXZKpeVrLxekrM\`KfeTRkxdCzU\lK`f\RHXvCqMWtMdeNRiXbcy]XHMjfVRGxtcqEPXKfeTQJxdCamWhMJeKR`xaswe[@KNeHR`XoSpEVxLxe?R\X^sv]VlLzd|R^x^CvuV`LtdyR]X]Sv]U|LzdpR^x[Cvu[|JZdmRgxZCyE[pJTfLQtxYSxuUHKrd_RLxWSrUTxKld^RKXVSq}TPLJdTRRxTcsuTLLFecQgxScsU[@IPfAQdXoShM[LIJfDQbXPsweSHLheuQ`xlSgeZ\H~exQ_xmCgERpLhetQ]xlcfuZ\HvexQ[xmCfURXLNcvRQxMCsuRPK|ctRMxKsreY@H`cqROxKSr}YHHZecQVxgsduQhL\ckRWXIst}Q\LPeiQSxICtMW|GreLQLXbcbEUPItddQmXWsj]U`IrdWQrXTsk}SxJddsQgX[sh}VTIVdvQex\chePxKHc_RBXFsomPlKBc[R@xFSoUPHHHceQIXCscmQDG^cPQPxCCcS?U?N?E_Ao@w?s?m?Z?K_EoAw@eWvK^eMrIxc{qe?^?R_GoDwBK@U@B?d_PoIwC{Ae@Z?p_VoKwE{BTGecTQJjItdiqdXekpUVqoXWkkMTvI~d]qFxCKaMPNGdcStNihLRqiZT?idtOie|RiiJSwibtMIb|QAhnSai\tNIbLSAgzS}iLtPi`\SIgRTCiBt?ihlOQiRS?ids}id\Nqh^R}iUs|idLQYfjRwiQtSiW\TAeBTMh^smIjLTQdzQyijsgIe\IQhjQaiWsbieLHIhjQOiXs^ib|QIcBP{iOs\ibLFigzPwiLtSiLLSybNTOgqsViilEAirPaijsOI]lNaaJRug`s~ID|BIf~Ooh|tCiD\PY`RSSgUtBIClPA`NSMgPsDi]\@if^RogKsAi\lMa_^OKhttHH~LQa^zSef|tIh~|Qq_BSmg@r|I`K~IgNNuiDrzi_LOI^ZNoiAtBH{|PA^VSMfsruia[|ygnN[iIsyHyLMq]fRiffrqI]K{qffNIhvsuiRlHyenRWhLssIQlLQcrRQhJsaI[\GqfNQIhqs_iZlMAcNQChnslIMlJYbbPqhXsFILlAAb^O]gtsRITlDAdbPMhVsPiS|CidVPGhSsSiA\@QanOOgis@IJ\?YarP[gCsLH{LBY^FOwfqsMhyk|a`~O{fjroiX[{Qe^RKfbrnIWk{AeRM}hb_AO@G?drmxz[{lNugZSDiQtFYar}X~k~m_BOBf~rpXw[{]]BM~f]uajOLgQsNYAlCubJN|hArzYMk|tajNlfyk^XyjEuPJK\carNXEkquWjF|cIrNX?kquDJO|`asVWUlCubJ@|hAofYMkGuZizLfImzXojlttjM|\QrjVQk{trJLLeqmbVMkttpjLLeqmVVGktu\IulfalrXujZuZit|fIlfXojWtcjOLgIkjUOlAuJJJlayrBWoknuTjC|aiqvXWkSt{JFL^QpzVqk\tyjE\]ypnVkkYtoJCL[QpJVAkPuEiv\Zyo~U{kMtiJH\Yqq^UikeuSIs\YYqjXQjQt`I}|WanvUEj{t^i~l_AkFV}j?tyInlVinJTwjrtvim\]IjnV_iyu?ill_YjbWCivtXj@LUioZTgkDtfIkLUQlBU]iptdij\Xii~UWim_Ao@g?}xP\FmdVJZhDqmxD\FmdVHzhDqUxhZfm[UyzetmewL\@m`V@Z`DsUxt[@m^U~zfdoMvX[nlwVKz\trEv@[VlqVEz[TpeuPZBlbUrZWdkmu\Y|lhUoZYDj}tlZxl\U~ZVDnmt`ZrlYU|zUTnUuhYjlVUuZYtiuutYdlnUiZZdi]wxY`mOUgzbth}st[PlMVDZRDpMwTYVmFUdZ`dhM|P\XnTVVZsttm{X]NnDVczqDwe{l]BnIV`zrDwU|@\lnPVZzsdumzH\|msV_Zktv}y|\vmpV]zkDveyd]ZmjVfzidxuyX\pmyVSZhtvM}`]lniVkZyTy}||^Vn`VuzwD|e|p^Dn]VqZvT{]|d^JnZVrzxdzS?D^mnm_@j}T}C?H^onnvw_?d}c?D^enuvx??t}n