CAT(3096,2)
Sparse6:
:~?oW_?O?G?C?[?H?D_BOC?@k?y?^?M_FoBWEWA]@R?g_RoIGDKAS@P?e?RoH?DKAC@L?b?QOG_CkAG?|?b?NoG?CKCS?x?[_MOFWBk@uAg@I_cOQWGSCMAH@B_`OPGECBE@d@D?TOJ?G{AkAL?m?aoJOG{A{AL?~__oOGFgCi@{@H_]?QGF[Bi@r?r_YoLGFCB]@l@w?UoJwDsBa@l?v`A?^wOCFyB|A?_~o]?NsFgC@@x?~o\gM{FUBl@t_zoWGKKEIB^@p_wOX_NcFsBP@z?ro]_JsF_A~@x?moUgJ[DqBu@R_}_SgN_DEBQ@s_x_YwMOEiAm@b_k?XWJGEQBY@M_v?RwI?EqAU@U_e_TGH_DUDg?X_LoEgBsAA?~@e_sOXwIcDUAl@L_doRGI[DIAbBN@`opWWcKUEHBB`\_nwV_JuDsA}`_?lwWOJeEAAw`]?mWVWJ]DsAw`YolgUcJsDhA~@ZOn_UkJCCPAq@BokoPKIyD`An`W_igUOIeDOAr`_?dgWOHaEAAV`M?fwRoIECyA_`K_ggS_HiCuAb`A?dGOoHMCIAT`G?iwQOIuCaAk`F?hWPwI]DKAL`@_awPOGICAAK_UOIwDSBA@b?q`AO`gOkG]CRAG`JOdwRCHUCfAS`@o_WOSPsGhCUaIpCga[PEGbCQaHpCG`sO}GOCSaD@Dg`GPUGJCFaBPB?_cOGGZCJA@p?__kO[GHCBABOqwXSKeEXBL`fOpo`sKWG`BGAFpA?_COgGBCH@~oyg\cMmGUBc`r@BW`_MUFkBo`x?}G]GN]FOBs`r_|W]WMeFABx`p_}w[ONiEuB]`m_vwZ_MAF{BW`}_uW^_LiEcBl`i?zwYWMyEiBN`g_twY?LYJI?X_LoEgm_@Y?n?W_OoGwCSAY@J?c_NoFgCCDuA~@]_joUWJCDmAt@[_gORgH{DEAf@Q`royW\CXSKbENbGPcWp{XAKYESbE@cgpoXMKREJbDP]_nsVoJ~DzA}pb?m{WwJrELA{PVgjcTuIxD]amp[Wm[VIJhDtazP\_qcXGJhDtBHpaom[VGKRDpBDPYoosUsKPDkBBpZ_osV?KPDnBBpY_ocWSJREBAsPY_oKWGJPE?Asp]oksVgJJD{ArpX?mCUGJ\DbAvpEgbcPmJmDXa{@UgnGTmIlDVakPc_i[TSKhDSBHpS_n{T?J|DPA}pVog{ScJBD_AcP_?gcWGILE@AapWOgKT{IFD_A`PN_o[S?KJC~BAPXOf[U[HzDeA]PLgekR]HrCya[PJ?kcUKH\DaAUpIGcsQ]GyDkaN`ZWboUmISDLae@RwhWSyGmCqaY@EWeWPaHECnaQ`KWc_RAHQCaaT`GWdOQAOwD`aoPVwkSUQJFDqawp[wU[JEDd?j_UOIgDkA}@\?r_YoLGR{IED@AM`FobWQKHIC`A@`@o_gbKP]GpC[aLpEggKSMIDCtaZpLgfCRiHrCkaVPJWbkPyG~H]CiATXIOd]QeHUciaSHIGd]QkHNchARHI_cyQeHLcbqQHGscmQTHHccaRHHWcyQSHLc]qNxFsb{QJG|CaQN`G[bKQjGqCjqKPIsakPtG{CUqMpDcbCPPGrCTQK`DKaSPVGfCUqH`DcaEO~G_cMqFhBc`qO|G\cKqEhB[`iOrGZcJqDhBCdGOlHRCJqT@BCcWOfHGCIqPpAc`GQ@GOC`QCPGKb_OZGNC[qLp@sbWOVGsCEQLP@Sb?OTGKCVQApD{aGOZGNCPqB`Cc_KQJHBC@Q?PGcdCO@F}CgP~pH{boNzGzB}P}pFS_[NpFxCCP}`@KaWNlGdBzqHo}k_ONdGDByQ@_}[]WPFFgCQPxpCS]SPTFbCSPx@DKawMnGoBkpu@D{_[MhGHBjQA?yk\CPrFRCZps`FC[wPhFOCZPrpEk`{MVFLCOQGOxc`?LrGQB\qCOvSYsQ@EnC`Pj`GK`KLlEwCIplpAc_OLfGEBYq@Ouc]{N@FpBpP{?{K\gMzFZBnpv?zs[cNVFhBdPq?|S[GNXFmBaPoo|kZ{LTEkB_po?t[ZoLREfB^PnOtC[[LdEoBbPpOuKXkK|E[BOPfOr{YOKtEXBRPe?skYCKjEUBPpdosSoW?r?Z_LODgBC@]OHGDcBQAX?{_aO`GQcGqCxAk`QBd@s_xoZGLsEuAZ@K_doSGHsC}ELBF`cOqGWsK]E~B_`nOrwYCLEEdBS`hpsWy[\IYCK|e^RNHf{sAYBKxEZRM@f[rgXnKxERrM`dKrkXPKaEWRKPcKqKXdKbEQRH`cKqGXJKZEORFPbspoW~KWEVrJ`bSqsWrKWETRE`dcpcXVKPeFrCH`{pAWbKMEIrB@a{osWlKxEDRMp`[rgWRKFEYRA@ekoWXfKrECrL@`[rSWTKACkqU`_CoCQpH[E@qVP_koOQvJvEWQ}@eSncXbKGDyq|`_{oWVhJpETQ{pdcnGXVKlDvRJp]CqwV^KwDqQwpe{mGXlK~DnqwPgKm?Y@K{DmRN`ZsrsUzJXELqu`bclkWzJUdkQtxf_lIXyJOe^AsXXOpyUWK_ddbFx`okaWWJHeEapxW?r}T}L@e_Anh_WiYWIIgeAAhxSWoAWCIde?ahHRWn}V{I[dLA~XQWqYXIIPeQAchawgMSGKTd@BDhNwniSAJ{d?A}xNgniR{J{d|a^HMWpIRiKScyBCxM?r]RcKweZA[XL?qeRQKgcrbHxLOpIRWKSctbCxKkeQRLH]D~qW@^kd{V|JCD\qp`VkkSTxIxDhqtPVSj_UhIsD`QopUSkCTfJjDVqzPUKmoT`IkDsQj`\SisVRIhDqqip[{igVLISDJqd`RKhSSpI_DFQg`QCiCS^IJDMqfpPkhwSXIGC{qaPN[ggRtJLCzQrpNCkwRnItCuqlpL{jWR\HbDBQWPOkeGSNNuAuPZWl[CIAH@B_XOKGEKPaGnCXaLPEwbcQYHPCfaOPGgcKQMHHCdclQUHJKdqQzHZdHQcxQKgQSFIAcwQ[hML@__xOVGLsEQBT@O_nOTGKSDaBL@M_bOQgHSCyAL?y_^OOgGSBy@t?g^zN}GCr~A@D?k^rOLF|sB@~S~{^rO@F|s?@~S~w^lNwF}R|p~ku{_JLpGBr[A?s}__xNhGLsE`{{|w_POHFoSA`z{~K]VNtFdR|@xK~?]JNBFxRp@}K~{]@O?F`S?PwKzS^nMuF{Rl@}t?o\VOLFUSAptl?G\JMfG@rha?cvG_DLsGAR[q?[xW^`MWFxRdp}K~K[fNtFIr|@qcvs_NLzGBR^A?l@SZ\OUEuSD@lkuO^ZNmEprXP|{tk^VNiEmRU`|c}kYlNiEirz@ictK^^LQFurSP|ssIYHLBebrPXgs|G^BNSFprsp{SzC\\MrFWRk`t{y_\tM{FTRiPv[}O[rMZFrRxPrSx?]jMQFjrcPyswg\rMvFERapvCw[]^MHFgra@yC{w[HMEFer`PxcwG]LNGF@rppoKvw]vN\F?R^pzcx{ZpLyFOrg@nKvS]pLvFlR\`zKuc[ZLjFFrY`psxoZLM]EsRfPk{u?YnLXEpRWPjCswY~LNEmrS@jsyGYVLKFQRgphkzsYPM~EdRn`hLJo?l?W_JspP}S~A^bNrfyr|HAs`aOn@u_zo\WL{FEB`BI`doqWXKKmETBK`fOrWXcKyEZEgbSphwt[YqLTFqbyP{w|[]iNRFkbvPzWxk[mMXEmbVpjWuCZILbE]bOPfwqkX]KlEXbLPeHvkz}\|MLfFrbhgSsQYFLDebrPi\tMqfZRihtsyY[dMUfFR_hpSwYZlL}e|R\IDSvq`dLwgVRYHvsuq]LN?exRVhksuI_xL]gQRXiCCuI\@LUfKRUhrctIYHN}eeS?hhC~iYPNaeeRyhgc}Y^XKye_R|hfc~I]hKye]RuhgC|y]PKmfgRLhxcrIXLKiePRDhbspiV|KEe@Q~h_SoYWTKQeFRCh`soiV`NQfcQ}hxcnYVPLmduR[h[cuiYpJYeiQwhiClyFXOQgKO|g]D@Y_pI]dQSChSD@YS`JqdKQ}hQcnY^pIEdES?h~cgiQ@JUcaQrhFclIPhJIc[QohWcbIU@GidaQJhXCaYOXJMcIQthAClIO@Iud]Q@h@CjiNPOEbwSBg|d?iN@Iud[PxgzcjyLpNUb_Rvgvc|i^XEafyPih}CYYKPNabGRygpc}YIpOEaoSBgjd?iI@MqacRmggczYHhKma]RLgfCrI\HCiaWRjgdcyiGXMMfIP@g`CxI[HBya?RahoCNy]@Be`sRnhwcMI`PA}gWOpiDcKIDhKa`[RIgUCqYUpAe`UQwgTClyWhA]eMOghbCHiVHAUduOch\CGy[xAI`?RghrCGY_x@u_}SHiCCFiOpHUcOQVhBcdiNhHyb}Q_g~CfyRXEmbYQ\guCfIKpIqbMQjgqciiJ`D}a{P_gocVYJPDUauPRgkcTIR@CacsPFhKcQYG`HIaKQSgaccyExFI`iPpgZC[yEPFQ`gPugXc\YyXIyd^QlhXslYUdJYdpQvh\SmyVKniVxJzd}q~x^soEWDK?eAR@X_[UiJPDhavpZgmCdiQpHXcmQVXJ[gqSZIJdGQbxPsgUSNIEdCQahPKe]RPHhcuQYhL\_{nvVyj}T|y~L^aoMVskCD|j?p^UoEVpkAd{z?`^In]V|jvD~y}@^yo?Vjjue?j?H]qnPVijstxY{|]YnCVmjqD{I{X]}m}VjjodzI|h]AmzV]jmTuYzT\mmoVZjlDtiyx\emyVSjnDtYz`\MmXVJjdTrYx|[ymdVPjgTsIyL\IiiVUjkDTyyxTYmGV|jbD~ywh^ymAW?j`e?iwP_El{VHjcDoIwxZ}luVGj]dqYv`[]loWKj[eBZ@pZilmWIkDdlYup_eo[UljVEBIt`_uoQUhjTeAz@PYinEUdjqDhI{PYMl?VNjedgisH[ykwVJjeDeirX[ikaV^jHdwYqP]Ak?VTj?dsynx\QnKTxjqd]y{xVijkVgi{Dyimx]ei{Vyind~Ik@^miuVvj{dVY~@TqigWJkCdSiiX_ii]WKkFDSYi@_uiSVuidd|YhH^QncTBjxdPI}HSUoKSvkCDMJ?xReoGSokAdJz?XQyhNSeiQtFiblPqkITriyd`ym`WYkiTojJD[imHXQkUTljEdZyp`UyjSUOiuDbylXWyjMUGisdail@WekETdjADXioPUQjAT{ipd^ikPVuioUeilDhyjHYaiWU\ifDfihhX}hySsi^dLifpRUheS{i\DKYePRmkmSjjKdJIr@QuhOUniTDkYdHZAiASai`DHIg@QMg}UqiOdlIc@ZMgqTEicDEybPS]gkSOiHDEIaHP]ggSMiIdByaXOuucNifuRyx|s}}^ZGIcEQAx@{_yOZL\enrVhkKuIZ@TAi_TOYg\SUiHTEicTPyhLSiiVSaiQTGybLPmgtSUiJtEIa\PUghSQiGtCI`lOyg^[GLuuzz\tm]vRZgloEvJZhlyu}ZZloeujZ@mMvCZXljEuzYxluuiZ[liEujZHlIuoZRleurJXtk}u`ZPlde}ZXPnmuQZyldE|jXXnauQZvlfe{z]hlEu_ZsleE{JXpnEuYZqkbE{jGxnAqIZpl_F@ZWPo]uA[Em@Emj_`jqwEYzlXewJZxjItaZ]loejj[Xi}vCYolSE~JTPnytQZ|lPF@jS`o]wIYblNf?jSHoQt?[BlMf@JRpoIwEY[mAeeZ_xhmwKYYm?eeJQxn}w?YUlDEsjP`lMugYJlBetZPHl]sOZUl}E`jOhnysGZ|m?e_j_@gMsAZ~k~Ezj\hgAr}Znlre]zNhmerwZgkuE{z]heyrYZsksUXzKteUrFXclzEQz^@cuvmXKkcE}ZHPnmqQZyk\exJ[pbepsZdluENj\PbuvUW{luEPJ\XcMvSXAk^exJG@mYvIX@lYEmJUpjetiYvl^eizThjut{YkkmehZJxi]q{YelHeUjJXhUqwYSkzeUJMhderkXVkiE]JIpfiqiXxkge[jIXfQqcXrkfE[JI@fEr]XNkWeozE@kQpcZDlbEJZDxkauMWmkTELjDXbapWWvkReKzDHbUpOWskNEcZC@hAscW^kLebzBhguowYMkoEEJBPeIoqX`kseDZLX`]rSWUkHeGjA`aMocW`kQEBzCp`EpIWOnXerJXtkuu^ZPlgSkIUTJEIxD]ams\IMtFUbfPpgxSIYD\Ai`XOlgVSGyClAQ`LOggRucJQThEsZYNlFUHJCtaUpBWbkPUCjAd`Mo`WPkFvyRxt|A}^^gNevxrx\{o~L^GndVqZ{`{U}M^bnbFxZv`{Q|y^An^Fozvh{E|{]~n]FoJutza|n]snXvlZu@}A|c^anWfwZuH|u|c^^nWFvjsHze|C]yn\fgzrpzi|u]_nNfmZrX{I{y^CnMFozrP{E}?]Wn^feZpx}M{a^dnGFxJph}Y~O]MnrfbJ{xwe~O]JnDFxjop}M{O^dnBfxJnh|iz{^ZnmF^znP|]zu^Xm}FuJmLvMzd\omvVZzyHu]zI^RnhFXjy`uIzG^UmpftZuptYyo]wnZfTzuhtU|g\SnXfSzf@|uxs^^m[fvj{@rUxm^anofLjedrMxd[nmWVKZyxqmxQ^XnkFIjd@|ixK^ZnmFHzcX|QxI^UmQFtZyHqAxA^RmPFsjwxpiwu^DnbFFJxXpy}Y[^neFFZxPpI}Q[RncFCZ`p{yw]^NmGFsJqPv]zq]SnHf]Jm`xUzk]Vmyfdji@t}yc\`mgfWJd`sux[\NmUfRjhPwM{I\KnAFQztHse|O\FnRfQJspsYyI]cnQfPJgPuuyE\kmtfOZl@r}zS\?msfNjfXwAxy]Am]F_ZbHtywo\[mJfVZjHpQwk\ZmlFDZ`XyuwW]mmEfjztPoa|W[InTfA[P?@A?d?P_IOCwAl[mmXVIjetryxt\AmdVPjbtqYxC`iOvGXi]tNyftRihvS{pLgg[SQHrCsa_pMGf{RYHzCsa\pGwc{QUHBC\aNp@Ga{PiGNCWaCpCG_KOIGjCQ`~o}Gf[NqH~Bya]pPG]kNYIBBqa`oygdkQaFRBeaTowGdKMQHZBaaTpJgUKRIDjCo`Xoigd{IyHfAkaWpEgSkPaDRAeaJogGakIIGbA]aHpGgPkQYCbCc`FpFGO{QACVC]`CoSg`[DQGZCM_gpAgH[OyA^CK_enxV{z}d}q~\^loCgVKJi?^?O`ZougJkLyA~B[_ooTgYkLaArBU_lo{GHKMyAJBk_boOgYKByEf@?`foqGFKBqEZBI_\oogE{KY@jBC_XoJGMkAyBn?o_{oIGL{AiBf?e_woGGK[EQ@J?a_roYGB[Eq?~@i_MoDGVkKA?r?U`^n~GQ[HX~~AS_?n}gR[Hp~nAW^{o_F}KGH~jAC^xnygN[Fx~]~k_}o@fz{?P~F?A^onsg@j|Q?Q~U_D_FoBW@uPwd~R@h_SoyWdKI~^^pnwVyZ|\}jHMcbqShG[dAQJHKc^qOHHKbqQVGuc`qMhG{baQJG{cWqOHEkbyPfGibxqJg}KaqN^GkbupyHD{aiNVHMbpqSg{{dANJF_ccpvhHk\qQVEUcYqKGrKXQPfGubFqMGq[biKbGSb`qDgwK`IL~G?cKq@HBk_IOvFMblpqgzK[qMnFObapqGyk\IMNGKbUqCGuK_yL^EecBqAgt[YaORFya}p~goK^qJ~Fwa|p|GnK^YJnDobOp\GskVILFDibLpfgl{XqJZEKaspagkkWaJNDab@p`gj{UAKJDWcNpVHC[TiPBGeahqIGikaQInEwaepnGiKZiI^Eqabplgh[ZQIQ?V?I_EOAw@S?qzN\emqvXJkTuNJodnq|H[[nIVBJWdzqvH^KliVvIye?q~HV{jqV~KCdZr?hUkoYTrJodDqbh]knISZICdzqaH^[gYVrHee@qYh_{eaWJJ{coqXH_KeIV~HZcnqVXI{deQjJUduqtH\{lIVVJedfqsH\KkqVJIOdSqdHTkhITVIUdVqehU[haTbH}dPqhhO[iQSBHwdMq^HSKfiS~JEcxqqhM{kaRjJ?cuqpHMKkIR]uRZJldUKZETbAp\WnkUwOKGUCF@|_|o^xoCw][HMJf@RaXpcvu[`L~fFR]xmcwuZpMNezRcXosvU[TLxfCR\xoCuM[DLffARXXjcvmZ@L~enR^Xe[r]XjKleWrJxc{qmXRK`eQrGx`CsmWXLNeDRRXlcsMZTL@e^RYXmCruZdKxevRMxbStEYhK^eMRSxact]WpLZeJRUXgco}WdLHebRCX~BuDzI|b[YmMVEzblp}w|[KmEvAz`LoiwPb[pnWv[ZMLnEte`rNxgKrmXzKxgUsIYD\A]`FOdgHSEYAd@]_tOPgMSBYCD?}_|OJgASGy@DAU_LOfgSR~yDd?M`TO@gMR}YCC~m_|N|f|SDyBS~e^xOXgGRixtt@U\XORfyRyX}S}m^lNffyRxX{C~]^dNbfcrqxxk{]]JNBfWSAxud?}\dOLfKR~xrd?E[tOBgARcxqt?e_LMTfwRtxzC}u^\NTflRrxzc|M]|NPf\Rhxusye\pMdfNRnXsS{E\@M~hU?COAW?{?a?N?Hk[uMzFTbqp|W|k^uOZGDcIqHXBoSWIkDMA^@L_dn~W?J~|~u~v^{sri[|KifJRKhpspIZlMAeRREhnsjYULI}dfQvhYstiU\JYerQshlssITlLQdbRQhVsqiSLKqdJQahfsfiW|HqeRRChLshiRLHQdVQghJsbiS|HIdRQOhTs^IZlMAcBP}hns]IVlFYdrQyg|sniMLFIeBPsh`sVi[lEIfNRagosRIYLDAejPMhhsQiZ\CYenPGhksnIG\JiaJQwg_sNIWLByeFOyh^sYiO\EycNPkhAsaiK|GqbRQGgqsSiD|BIanOogisLIJLDq`rOugl_GOCgAK@M?j?SqLXE[bEPnGzc[pUWjkTmIfDVait\ip|VIkZTsjDtZIolUykRTojBtYIllUijbTeivt[ikLUQjnTsiptOyglS]h~S|i_tbIe|Rik^SwjDtHIolQakRSejBt^I]lVifrRui{s~io\VyfzRyj?szinLVqffTyhwt^i\LWIfZU?httUieLTyhjT[iXtTId\Tah^TUiUtRib|QIifTOiOtEih\PqiZSWictBI_|PAgVSMiCtCi_LPYgJSSi@u?h}[~]^jCJaFpBXxK{u]VNBfbrpXwKzu\~Mvf\rmZ@DaMp@WLkDUHZBT_uoPW^kMUAzAd^un|WVk?UEZ?D`Mo\V|j~UCYrd_}l@WRjNUCYyT_MmlWFjiU@Z?d[uoDVPkBTryvt`mo|Uzj]UFZCTZ]p@UxjYUHZBDYUolUbjRUDYzt^]nDVzjoT}Yzd^UmpVrjlT{Ywt]UnPVJjcTxy|T[Um@VnjuToyqtY}ktUrjKTkYqDYekhUljHTizR??c?Y?J?C_BO@W@c?m?Tj~t~Z?LI]dVQhgVsKyELF]bvPxgxs[YMlBU`rOvjVtkyuLYelZUjlcUiZXdiUuTYflNUozWtiMuHY`lLUnZRdkEspY~lZUhZVTietpYflTUdzTthMshYllHUizTthUslYllLUbzRDhEsxYLlNUbZSDhEtDYNlWU_ZOdjUsDYrlYU^ZUDf}tdXzlBUYZLdgmsPXjlCUXZPTeMsLXfkjUqZJTkuqpZJlZUSZVTdUtpXRkdUrzHtlMqXZPkaUtzGtleqPZTk[UtZFdleptZVkXUrzEtlMphZPkUUnZEDkEp\Y~kRUozDTk]uHWhkyUNzGTfeq@XvkvUVZMTeEr`X^lBuazPLgusbYNlHudzQlNefjRvh|s~y^luQyr\gmmvXjj\uayj\emhvXJi|tyyB\amavWJg\tyxv\am^vWJfluiwJ[EmvvAJlluiv~\mm@vZJ_LvYvr\yl}v]J^\nIzb\slzu|Jm\mqzbZmmxu{JmllqznZ]m|uujnLrQyN\Im[vQJe|sqx^[qmgvRjeLpqxR[_mUvFjd\qIwn[emLvHJbLpAvN[SltvCj\LoivB[MlqvBJ[\{q{B^Mm~v^Jx\|A|f]univsjul|a|b]knlvtjt|za|N]{nTvmjtLyI}B]_n`vhJv|xI{z]MnNvcJr\xQ{R]InJvbJrLwI}J]Encv`Jw}?Y~j^woDwAJ}|}y}z^qnov{Jz|}b?B^koAvyk?\}I~v^en~vxJ~g?J?|_LoG?@kC]?w?H_`?@WCkBG?Z?l_\?AWDKB^