CAT(2912,2)
Sparse6:
:~?l__?O?G?CAS@C?c_P?GwCWAQAG?~__ONgF{CA@|@L?boQWHCCCAH@B?aoO_GsDWAg@I_e?TWIWCmA`@Q_goROI[C{Aj@M?iONwGCByAp@U_joV?J{DwBB@\?oOU_KKDkB@@X?noYGLSEeBC@d_p_XgK_E]BY@o_v?ZGLwEmBb@r_xOQgHcCmBH@b_pO\wNKFaBu@v_{_^GN?FiBs@s_}?\gNWFUCQAE?}oa?N{G[B|AB`AO`WOoGACMA@`C?_gQgGiCVAH`G_bGPoG}C_AL`N?c_RkHoChAZ@HoeGRSHeCyAV`L_dWR_HYCLAG`BofgR{IADGAf`R?iWSgIaDMAb`S?gWTGIID`Aq`Woi_TkI{DXAj@VOkoUsJODpAt@ZomWV[JiECA\`MOewI[DUAh@I_eOQwHsC}AZ@|_~o^gQSHMChAR`HOdGQkH]ClAi`UOiwYGLiEwBR`l_sgZ?KyE_BX`j_rwX[KuEXBG@fOs?XSKcE^BD@eopoX[KWEXBD@dOpoXCKWERBV@aOooZKKGEpBU@`ot?WcLSEDBP@^osoWKLGE@A~@iot_WKLOE@A{@lOuoVkLoD|CI?\OMWFCBm@z?{_aoPgGcCeAP@F__oOwGSCIAB@B_koUwJSEqBZ@j_yO\gMkGqC\AL`OogwSSJMDjAs`]OnWVsQkH\ClAWPJ?d{Q_HXCiAUpIOd[Q_HJChARPI_c{QKHNCcARPG_ckP{HFC`AQPG?cSP{GxC\AOPF_cKPwGrC\ALpE_bcP_GbCQAJPDoaCPKGbCQAIpD?aCO[GpCHAJpA?asO[GrCHALpA?bSOuG^CMaE`Jg`wRAG[Cn`m`@GZwOUE{CEaA?}w^gOYFwCD`{o}g^CNUFnBu`x@?g]_OMFeC@`w`?w_GM}GCBoa??zG^oMyF}Bl`s`?G^oMmF}Bi`r@Ag\?OqFMCJaH_wwa_MUGiBcaD?wG`_MIGUB`b@?KwESBQ@n?t_ZOxG[kMMKKEIbB`aWogWaKKDray``WowVQJYEGav`agloWeI^DPagPRGhsSuIQD~b?`Qwo?SiIKD~b?`QGo?S]IED{aa`^gg_VuICD{a_@^ggGVuKCC|a^``GfoWMKCCybA@NGoWRmHmDza{`MWf?ViHkDyaY@]wegVeJWDoat@[glWVEJkDfa{@YWmwUaI}Deao@XWk_TyJADWap`UgkOTeIiDZaj`VWioTqHaDQaX`TGeOTMMe?n_WOKWFCBi@r?w_\OMWF[Bu@x?z_]oNGiSTQIfF^BpPx?{K]KN@FEbaPpWwc[YMJFHbbpqGw{[eMPFObhPsWy?]INGFQbp`sWxg\qM]F]bf@vWxg\}M]F`bf@wGxO\YMoFKbd`twzO[mMuFKbk`qgz_ZyM{F?bm`nwv[ZuLxEwb[pmguw\eMuEubl@lWz?ZMLgFUbX@twy_XMKaFTbh`cgpg\UKUFRbE@tGtw[EMEEpb`@kGtoYmLYEhbU@igsWYaLIEfbQ@hgpoXiK]E[bG@ewqwXuKoE^bK`fgq_YAKkEabO`dXFGBI@f?s_XOLGE[BU@n?u_YoLwEsNyG@B~a?p?w_SOQGLCDc^aLhGGbaQ?GvcZAOhF?cQPmHBcXaMXFWbUPgGyc]AKxFobQPyGtbtAJw|GauNOGmbtaJW|ga}NWGmbvAKW}?bIP_FncW@{XEO^MPaFqcUQIxDSa]PRGgc`AHHCocQPIHBc]AGXFoaMPyGacNAMXFWaAO}GycLAOXFw`eQ?GWcbaDxGo`YOiHDcbaDHAWcUQKGQcGaQXA?ciO]HGccABHHO_yQQGLcCaQxH__mOSHLcBAQx@?cuOMHKc?q?h?C_UOHGBb}p~w~s^qNtFzcL`|w~G`uOwFwbq`|G{w^YNKFtdP?IWDSAa@T?h_SOIGDSAe@V?j_ToJGDsAu@X?l_VOJGDkAy@J?f_ROKWD{BA@^?p_WP]gn[VeJxD}a}p^woKWANRFgbtPyw|k]qN\Fobvp{W}[^INhFubyqm`YSjoUfIzDiQs`VsjsUhI~DhqtPUKl[TfJUDXQl@YkjWUnItDjQr@TcisU\IjDeqipXcioU\JLDUqjpXKkgT`JJDVQl@X[jWURJIDYqsPSsk{TNJODQqrpTCigUbIhDgQlpTCigTpIhD[qgpVKj[THIaD[QgPSkh{TNI_DRQgPS[h{THI_DPQf`T{j?SzImDMQkPRcjGSzI]DXqUhJ[dqQ|H\cnqWxKkeQR@Hacoqo@QskGSpJ@DJq`HOkgYSBIBd@Q]@Vkj{RtHxD^Q\PVcf[TtHuD\q[`WCfOUDHrD_qopL{kSRbJCCwQZ@WsewUPHlDbqYPWsekUPHiDbqY@W[e[UJJCCrQThIkdQQnHXckQRhICc}QbHRchQePQChkSdIYDGqd@O{gcSjIGDHq^`P{g?SZH~DFQapN[goRxH|DDOGgCcAMMHFEbappwxK[aM`FPbhRJxeKrAXXKmeUrSpactOWlLTEIr@X_{oYWDKCe@q~x_KoAVxJ|d~Q}PhSnkYXJyEdq|`hSn_YXJvEdrS`]StCVbLODwQy`hkmoY^JjEfQxphks{VRLMDsQw@ictSU~LRDnRS@ZClcYdLPDlRMpdKrsXVK{ETRH`ekq_XnKfEZRGpecqSXfKcEXRG`fCrgX@KxEOrQPb{s_W|LFEMrP`bcsOWvLDELRDpgKsKWrKWE`RCP][pKVjKQDyQzP`Cm{WTJmECrB@[cosVJJeEDqwPfsmKY@JaE^rB`Z[p?UzKNDmRchqcxM[^MPfGRf`rCy?[tM^FKrgPpcyK[\MaFErT`o[wSYpLVFAR^Pp[wcZ~L}FDRfPm{xkZrM[E{RdPlsv?[nLnFJR[PlCvKZTLqEsrXPl[u[ZZLeEuR\@kSuOZlLtEpr^@j{vgZBLzEoR``jcw[YzMGEnRUPoCtk[DLYF?prGx[[iM\FNbeqcxQkhQS`IQdGqbhP{guSTIKdDrspy{|c]bNQFkRt@yK|K]lNQFirvPxs|w]`N^Ffrrpz[|?]xNMFlRi`y{yo]rMjFkRqxxk{q\dMofWrvPtk|w\^N^FVRhpzSy_]xMhFlrt`scyW]hNTFQrq@wk{[]TNHFbRnpvK{C\vN?F\Rl`wSz_]HMvF`rn`uczo\jM|FXsC@D{ayPZGpcXQKHEcbMPjGuc[QLx`CoiWRKze]rNHfCriXrKteZrLheSrQXfKPeHrCh`spAW^KJeErBICX@i`COXgQCEyBx@e`AOZgOCEiApAa`SOWgJcIYB@A]_mOdgJCHiE@@M_iOmgICJyDX@M_iOlgICJIA@BE_cOrgGcKiA@@q_cO]gGcFX|`@q^[O]fucFYCP?]_QOcgPcAI?`BE_KOrgAcKiDX?E`YOBgUC?h~pAe`SO?f~cIH~k~m^xNwf{r}h}hAy^mOofzCJyCo~I^gOffxcHYBw}}`ANpgOB{H|H?}^UOLftCBi@g}Y^OONgFBxy@O}Q_WNdgDbwy@O}A_WNagDbwYOOhuS|I[dNqgXSCueZTLgerrXXksuQZDLbenrWXkDGScVQLHBs`aPdGScPQEHDS`qPLGOcbQBHHs_aQTGGc\QCHGS_qP|E]bRPggqSXiKlD_cbPYHHsUQQTDScXQLGjsTaP\G{adQOGiSbaI\DCcTPNHCSSAPLF{aRPJH?s_AHTCWb~PGH?sPqODCKbxPDG~SPANlC?bxP@G}sOaNtFc`~PzG^S]aFlFk`xPxG\S]aF\BcblPwGZs\qFDBOblOtG{S\qEtCobfPMGysRQMdECbZPbGvsWaLtDwbVPkGnsYaKDF?axPqGmsUqMLLoefRThiSsiYDLEc}RXhlcfYZPHyeuQ[hlCeiRXLeekQVhKcuIR@L]emQUhICtiQhLaeIQ_hbCgiW`IEdyRMhfcmyV`KudcRIhYCrIUXKmd_RGhWcqYTxK]diQkhVClyUpIudQQwh\CiyVHIidKR@hSCoySxKIdEQ}hQcoIS`J}_TOKgDsBi@|?uf^RohvT?y_lOQgKRsiCC|i_xNUfcSIhxdAy]HOegQR`iDcwI`PL}gKR[iCCvi_xLufyRjh~czY^pMqfORvhtC}Y\HNafMSAhrD?I[hOEfCRyh}CxI^XMMbpPugzs]YN\FibxP}g}s^yOLGAhWSKiTDBidXOuhMSriSdLYd@RQhYSciVdHidpQUhSS`iUDGydXQIg{SoiXDGIbxREgvS\iMTEibDPegiSoiJdKYePPYgcSriIDLYaXRQhYSNiGdJydpPAelRWhjsuYZ\LihpSuiZtSYi\TIikTAiidPIi`SMigS~ijDOYihSAimS{i^DUYfhTaimSxikdMyj@RiiOTJicdRIhPSui[TDigDPyhxSYjQTnitd[YlPVAjGTYipdVIkhTmj?TkipDZikHUujKT\indYIjpU]juTqiyD^Yn`VMjiTwizd]impVeD~B@`_PWWk[UII|D_anqBh@c_uORGJcDRFHb[piWnKWeKrhxtKya\HMdfRSWIJtD}azPZgmSvy[LMAezR]hmTQIhLSiiNTEiatjqtDZ?lTUmJStiqslYslNUkJRThAtTYGlRUbJSThQr|Y?lNU`JRThArdYGk|UbJMtgArLYCkvUYJNtdardX_k|UVJMteQq\XSkvUYJITdaqDX_kdUVJGtbqqdXSk\ULJHtbAptWkk^UIJEtcQpDXGkRUOJBtbAotWgkJUJJAT`apLWOkNUDJCTkAntW?l^T~JVTiqoLYskFUkJ@Tx?As@a?n?Z_KoEi}?@u?x?]jz?FwCKAAGNCHaCPeGrKX]KjESbJQYXL[eiRLHgcrrTxistaYrLZelR{h}c~M^bNnfwSgISTIEdFQdhQTBi`dOug^SPiGTVIj\TiizT^inUFRC\aSo~WcKNUEbCD`opDWZKOuFRA|`co~W]KKUEbAd`oolWZKIuCbAd`KolWPKIuBbA|_{opWXKGUCb@\`KoZWPKEUBb@D_{oTWOKCu@R@D_[oTWEKCuAr?T_OoZWBKEU@b?D_[oBWDJ~t~b?T_OnzWBJ}T}R?D^kn~VyK?t}Q~t^knxVyJ}t|y~D^YnnVuj{T{quTZKnjUpJyTvbCTaCn@W_JnturC\aSmzWcJmTuA}D\gnbVXJxT{Qyt\[ndVoJitzayT]{mhVlJhtsA|d\CnVVNJtTrA|d[wnVVLJtTzqxL]wmVVlJdTxqxD[[nRVEJsToq{d[SnLVCJqtoQ|L[GnNVgJ_TxAvl]Wl~VdJ^Tma{L]KlxVaJ\tlq}\ZcnhUwJytlA{LZWnFVaJYub?@S?q?V?L_FoBjR?@A?d?PlN?CwAk@Qt@Y]lNufzRtiApKYZlMeIJCxhqqcYEkgEaJOxdEqgYElCESzOxdUsoXLlKeRjRPc}qSYWkeEejHXheqMYTkcedzH@hYseXCkbEdJGhhIsiX@lJeOzQpcIsgW}lHeOJQPb}puYNk]ecZF`hAsWWwk\EbjPhbepiYNkZecZEphApcYKkYEbjEXgup]YHkWeazE@gipWYZkUefJRhaysSWilCeIZPXams?Xyk}E_jOHfmr}Xxk}e]JNpf]rgXmkzE[JMhe}raXjkxeZJMPeurQXaktEXJL@eMrKX`kreVzK@eUsEXXkle`ZO`diqwXUknEUJJhd]vc?U_JoEGAs@a?n?X_LoEgBK@m?t[C?NOFGBk@q?|?\lBUaJO|oSwT[KMBVAr_do[wT[KMCvAr`Do?vdZ}LyU{r^|nWv|ZvL~u|R_DoCvp[BL|V?b^LoCvv[BL}v?b^diqtTYjlUujzTtm[wR[FLsUxb`DoOvJZcMBUwr_lmGvzZ_L}UwR^\nSuzZ^Lzu|bZtn_utZyLmU}RZ\l[vdZWLyUuR]\m{tFY`Lwugb]Dm{tHZpLRU{BSllOvRZjLjUybYlkku\ZLLgUrBX|lCuPZILhuqRYTj{uDZ@LaUoBW\kStxY}LbupbVljOtvYtL\UkrVLjWt`YwLXUlrULmotNYhLvUiB\k?u?^?M_EoBw@s?q?T?J_DOBG@\u[?d?P_GOCgAK@Av^ZplwTwi{\]EnTVkjttzy|t]unfVtjyVZrlLuwzP\fMuvYbllu{zX\mMtvTbkLuKyn\TMpVUBkTuKyt\XMovXBjltkzL\dMmVXRjtuOz@\eMnv]RiTvkyh\yMhvRrldtCzT\OMtvYBhdswzR\LMrvVbhLu?yV\^MdVUBgttgyP\XMbvOrilsSyn\CMjVVBgDsGyz\ZM_v[bflv?x~\pM^VLzfDrexv[{m\V]Redvkxl\yMYv[BeLvGxf\pMXVJbmtr?zp[nMzvJRmlqozh\rMTv\RdTvKxR\sMSVHRnDqWzn[fMzVDZadpMwp[UmJvEZb\piwx[]mMvGb`lqOw^[bMFVCBcDqCwd[PMNuaZP\gishYRlHUdZQ|hYsvY\lMVuRptx?}v]NNlVhByDyS}b^QNPvgByD|G|D^PNOvfrzTxs}r]]Nlveby\xo}j]ZNiVtbq||_{r^VNKVtRqd|O{j^RNJVcby|xK}p]PNjV_jodwM{J]FnBVaJpTwe{X]LnDvnRxtzk}^]{NevqbvD{o|r^JN\Vprul{c|n^GNZVkbwLzO}F]rN`VpBt|{W|b]oNavoBtdz{|\]}NUv^BtTvw|V\|NSvhbn|y[{B]gN?VvcAL|t?`^[OFw?s?u?`?J_COBwAS?E?h?D_JO?wDR}L~L?n^qOJWCr}E@O~\^nOHV~R|l~{~V^}NuVyB}|}g~r^hN{V|B{l}[~l^tNrVwr~d}O~t^aN|vvs@d}D?\^_OEwMOCK@}@@?`_NoGJIDdIqbXRkiUTZcLqAw~[cmPVG{GQCbAS`Co`gQ[GACZAA`Fo^gP[GQBrAG_}o`gN[FyBfAA_zo_GMkFABf@k_yoZgM{FABr@k_|oZgNkBqCV@?`FoNgPkBYCfAS_\oMGQKEiBF@c_roYGKKDi@b@]_YoVGE[DQAR@U_eoUGH[CIA^@C_goSgG{N?@U?f?S_HoDWAdn}w@Z}m?v?z_TiEtFYalRUhZSd{]}R^GnaVpjwl{E}F^An^VoJv|yY|P]fnTvijtMHlCNaXPCwecPEH`CHaVPBW`SQuGDCZaBPFw_cPuGDCTaKP@w_cP]HLB|aTP?WdCN}HHC@aPO~WcCN}G\Bz`{PCw]sPEFdCLaCO|W]COmF`Bj`vO|W\cNMFpBj`vO}w\cN]ClB^`LOwwRCMEEpClaWOvWdsLmHdBR`jPLwecLUEXCf`gPIwXsQeG|BJaLOqWbcK]E@CTaKOpWWSP]H@AzaQOnWcSJ}DnAt`[okWT{JMDXBd`sOiWTSM]E|Ab`pOhw[CIUD@Bh`NOxwRcMUMgzB\bmpVXJktuU~z^}n~v}j~d~m~p^vn{v|J}t~VFeblpvg|[]aMzF_blpvg{k]IMzFSbxp|gzK^QMnFSbuptg}K\aN^EMbtpxgqKWqNREEbxp|gp[^QKRE?bvp{Gok]qKFF_a|pxGn{]IJzDnaxp[WlkUeJVFOaqpsgk{[yJFFGanprGkKTqMVDYbbpogjKTYMJDOb`pTGw{TIMJDIb]pRgwKSqL~DCb]pQGwKSYL~FQa`prggK\AH~FKa]pqgfK[aHvEcbTpiGt{YYLZE_bWplGs[ZIK~EubKpfGv[ZaKvDwbJp\GqkVYKfIGctqZxLkeURRHfcDQ_x@sgUOXIFd@Q@XOs_eSHGFc}P~xOC_MR|G@b{Q^W~cgENtH~cHQTXAcd]O`HRc{QSXHcfmQ\Hvc_Q[XGcfUQDHrcXQLXFCa}PlGpc\QIXFsauPxGjcPQUXCsduPHHZcOQWXKS`uQ|G^cJQPxBScmOpHH`noww[KMUFRBfdaqqXW{kMT~J@d]QwxVCmUTtJfdmQkx[Cj]U|ItdFQwx[shMS`JddmQaX[CguU|IJdRQjXTSjETPInddQgXSck}UXIbdjQexZSh}UpI\dgQdXYcheUdIVb^poWvk[MMNFDbcpqwxk\MM^FPdsRKX\crMVTKteXRFxecqEX`KbeTREXdspuXXKZeHRLxasrmWhKxeERHxccpEXPKNeBrAx`KoUWBKBeQQ}xdCn}VxKfeTQ|XdsneXXJvdwRMx]SreV\Kvc}q_XN{gMSNIDe]rOXf{v]ZjLreiR]XjCvuYlLze{RRxnctMZtLPecR^xoSsu[@LJe`R^xoSs][@LDeuRWxmCuEZ\LdelRXxlSt}YxLhfARhXpCyM[LMffMRiXtcyE[|MjfWRcXtsxU\dMRfJRaxrSw}[pMLfbRoXwc{m]DNHfYRnxvCzu\lMz_uo[WL{YULREfbNpgWs[hESfINdCqbXP[uEZJLbenrVXj[~A_BNsf~r{h~k~Y^VNmf|r}H|k~Q^JNqfsr{H{{}I^VNmfnrwH|k|a^JN[fsruh{{|a]~N[foruh{[{q^zNOg?rrh~{~Y]fNyfjr}HylBw?]?P?Hoyw\kM}P^GpcXqIXDkamVRJldtqzx]KnM[JMHfBraxp{wub@PlgmSYYJtEmbDPVgrSUyKdDea`PVgiSUyITDea|PNgdSWYJdCua`PDgcSSyGtDUaPPNgeSPYGtCm_HOrgZS?y?tBUbDOlgWSXyKdA}`LPhgSSYyDTEu`HPBgOSNyCTCE_tO~gNSOyBdCE`pOTg]SEYFT@]`dONgZSCyEd@E_POxgESNY@TBme[?H?E_AyXtG}c`RRhESsYXtG]cTRRhCSsYOTKeeXQDhdS_YNTKMbxRFg~SpYMdKMbpRDgzSpyLtKeeXPpgxSqyUtImdtQnh[SjYSdJEdhQfhSSkySTHMc|QVhOSdYVdHee@Q\h^Seo@w@C?e?R?F_CYcTPQgzSQiOtCIb|PYgzSYiOtEIb|NygnSAiLt?IbLNagbR{iIs}ia\OQffRuiCt@i]lMqgVSMhwtBI\|MIejRchkswIY|MYevRihnsyIZg?c?U?L?C_BO@\UQ`fOvgYsMYFlBmidTbijTWYidT}ipTbimTVyjTUEjHSzisTNyktRuipTLigTVYhtTmidTFijTQYidSmjTT@ivTPYldSMhpThirTLykdRUjTSnivTKyldREhJSbiRtIYdlQmeFRFhasrYX\Kej|Uri}TlyoDZUlXUNjHTjyqDZEldUHjZTbYudWmlXUBjWT`yttWUjfTpiyt\ynLVmlLUZjTTfytDXukhU`jKThYqtYMnDUxj]Txy{dZmmlVJjlTrYzD[}mdVDjcTsYyd[]l|V\j`TwYwD\}nPVtjuT}Y|T^]n\Vzj~T{y}D^ugzS^iOthyt\YelBUdjPuFJ@l`aobWYkFuBJA\`QobWUkFu?JBL_IovWCkMu@jA\`YoVWSkCuNIkLUMi~VVjltuYyl\MmbX?kcuRJFlcip~XCk]uOJG|cIp~WukPuGJFL`ypvXAkWuPJE\cYpjWikduJjHlaqqRWck\uLjDLbapNXwkkU[zItf]rhXTkzURzMTdMrhXPkmUXzJTemq|XhkuUWZMDeUr\XblDU]ZPtfusXXzlAU_ZOTgesLX~k\uMZE|hqsbY_lHufjQlhysnYYlOueJRlfMrnXtlV??jS\jG?LYdlW?@JS|iw?HYh?@UkjTlj??LYj