CAT(3032,1)
Sparse6:
:~?nW_?O?G?CB[?Y?N_F?Bw@g?yAK?N_EoBg@O?]?W?H_D_AG@O?Q?W?E_D_@W?_?]?K?H_A_AGJ??Q?L?D_DOBG@[?a?N?H_s?WwKcEIBD@c_poYGLKEiBZ@j_uOXOLSEWBR@f?sOXOL[EsBN@e?uOXWK{EYC?@y_|o^GNSFqBv@o_vOZwMSFMBb@s_zO\WM{FeBpAE`CO`wP[GeCTAE@EOb_PCG[CZAN@CocOP[H?CTA?@EOb_OSGCCZAB@Fo`OQKGOC`@|@?O^oOSFwCBAB?}o`ONsGOB~@`_ooWWU?DaAt@X_kOUgJKCqA\@L_foSWICCeAV@I_loVWJcD}B@@]_loVWJcEAA|@^`l?SgIcDMAj@V_jOx_ZSLqEvB\`novgU?IuD]Aq`W_jgUWIuDgAm`V_lWU?JYDcAw`W_lwUWJeDsAs`\_lWV_J}D{B@`]_oGV_KID{BB`]_pGWgJYEMAw`b?lwVWKaESAx`\?qWVwKmEABL`_?rGWWKyE_BC``?rwWwKuEIBJ`b?rGX?KyE_BH`d?rwTWL]DSBX`U?uGTOL]DWBX`T_uGYGHaCsBR`K_sgRWLQCyBU`M?tWScIYDJAf`SoiGYGHyEeA_`h?fwY_IEEkAb`i_ggQOLiEwAS`l_cwZwH]EyAU`n?dWF[Bq@tCv?[OMWE{C]AP@E_bOQGG{SK@z?~_^OOgGKCAI]@B_aoPGigKqEVBL`fOsGX{L]ErBW_poXGKSEyB`@n_wo[gM[HIChAR`JOdwQkUGJNDbAspWOlCUkJLDkAqPY_kkT{JFD_ApPWOjsT{JLD_AqpX?jsS{IvDPAmpS?jcTkIdDSAmpV?i[TSIJDVA`pT_gcTgINDXAcPU?gsSgIjDJAjpQOisSoItDMAkpROjCR_HtCxA]PLof[R[HzC~A[pN_fCS?HtDAA]POOf[R{I@DAA]pN_gKMqF\Bl`vo{W]CNGHbCr@yO{oeSROFjCu@zpLO]sQwFpCo@|PJo^KQwFvB|AWO~?d{NwHbCrA?O~oeSRWGBCtA@pL?_SScGHDIABPQo_kOcIXCGAfP@ohkOkIHCKAapA_g[OsILCMAcPBog{T?GbCQAgpRoaCPKIdDSAIpD?i[MWJNBgAsoxolCUoFVDi@spYo\SMEFDB_`poxW[cQGGxC]AQPFOc[Q?HLC`ARpFockQ_GlCiAKPIOa{QoGrClALpIobSAy@`?n_YOLgEkBE@f?qbt_TGISDMAj@V_jP}_EcBY@j@S_hOSwIkD]AlDAa_POW[sMaFNBh`toyg[CMIFBBb`qoxH?o^yOOF~cB`~X@G_AOUGAcDA?X?g^aNqGBcA@|w~O_MOIF{cA@}w}G]mNeFlbx@zG|o^QN_Fubv`|W~G^iNwFwb|`|w}G^uNeF~bx@~g}__ANkGAbya?WyW]qMiFlbi@yw|o\YMoFobv`twxk[}M\FObhPsX?o[]OOFGcB`qX@G[iOUFKcD@qwwW]]NKF@b`@xWwo]aMIFiba@yWpW\}KWF`bE`wGq?]INEENbq@bgqG\}KcF`bH`wG{_XUKkFabp`dH@wWIOaECcG@_wz_V}KAF\b?@vh@wWaOaEIcG@aWz_WUKKF]bm``wnG_qJuGMa|ABWn__qJ{GMa}aBWzGVMJiFZbl@\Gmo\eJoFZaz`ug{gUyNMDnau`xg|?VANSDqbs`[WvWZyLwF?b]`nwsWY}LIEpbQ@kGsoZILOEsbR`kwtGZULmEjbT@lgt_ZaL[EybU`mWr?XyKqE^bJ`fWrOYALCE[bO`ewGcCUAF@C_aoOwF[Bq@t?z_]OMgFsB}@z?~_]oNgGKCIA@@A__oOHT?LEEfBQ`jOtGYk[aMRFFbdPrGx[gOSxI]DBQ`PRkhoSNI]DCqa@Rkh{STI`DEQg@P[iCS^I^DEqg@PsiKSdIcDGQg`QKhSTHIRDPQd@S[h[TLIWDRqd`SkhgTJIXDRQepS{asTPIiCVqiPDsgESDIBc~Q_HN{hcRvH|DLqe`NchKRpITC|Qd@NKfSSZHvDFq\`PsfGSTHrDDq\@Pcg_R^IHCwq[@O{e?T^ImCpQWPUCdsSLH^DAQV`Okd[TbHXDXqU@USdOS`HUDHQTPQKb?TXGpDTqK`TkdCSlHRDKQS`Q{bKTPIiCYqiPEcikPlIlC[Qj@E{a]PPGhcTQJHD[aAO|G^cPqGhCK`KT\GQDWQD@T{`STbGVDXqD`USeoRLHfCvQY@LkecRFHjCqqY`Kcc_QJHFCdQP`HKbkQBH?C[qNpFSboQFG}CaQNPGSdgPHH[CRQHPJ[`gQVHLCKQR@BK`kQ\G\CgQF@H{BQ@l?t_VoJgECAy@`?n_WoKwESBE@f?qe\`KWe[RIHjCuaYPQWh[SiIXDMaepSgicTMF@B``pOww[kMQXQKveTbLhdOrUXiKkeVBLxdgrYXoKne\BKXfGrAXoKqe\BLHfGrMX]K_ePBKXe?qEXEKeeQbIHc_q]YEK\eNbOhbosEWsLLefbFHhopmWmLIeKbRHb?smXcKSeYBDheWpUWaKkeVBCxdgpIW[KieGBIx`wqeVvJxd|Q}H]sn]VeLLefA|HhwnUVYKedvbHx\oqaYGJiduBPh\WsUVMLIedayX\?sqVGLFdrBQX[gsaVALFdpbQX[OsaU{L@doBOxZwsIYGJZebAvXgglqUoKzdlBNXZGrqUiK~djbOHYoryXwJQe]atHfWlMU]L?dgbNxY?ryTjIudYQlxVCjeTtIzd]QnhV{juUBJAd_QpHWkkMUPJFdbQqhXKkmWCJKeAArh_WkuV}KJe?bBX`_oAVwKId~BAX^goaWIJqdwB@x_onENDFcbppxW{{]YNPFibsp|w~K^aYwNJenBrXjg{q[vM\fMRehrCxe]OLpfdB[xxGvI]ILmfbb[Hlw{Y]CLjf`bZXl_{QZONDfbbYhlG{YZINHfcBXhkw{iZGNJfebWxx_uIY}NBf`BWHkG{QY`LQegrSxictUYlLWejrUXj[ti\eMTfYbdxu_xY[cMlfIBjxqWyy\MMNfGbiXq?ya[WMcfRBbhpgyU[SM`fCbgxpWyI\wMEf^BaHvgw][{MBfNb`HogyA[?Mxf@BmxoGziZyMie~bjHnoymZsMofXB^HuGvm\kLwf[B]Xuwv]\}Luf_b\Xw?vQ_vOXgLSDiBD@]_QOCgBCAI?h?]^{OLg?CBx~x?y][NqfyBsH}W{}^QOOftcCh|P@E_ANefsC?y?O}]^EORgIbxYA_}Q_SN_gEBwi@W}E]{Nufnb|xzg~U^]NYfwBvHzW~E^[NXfuBuHyw}u]gNzfjB~Xyg~q^sNPfhb}HyO~eNdFrbwp|G}s^UWNKEeAr?h_coMV~K@e?Q~H^snuacPHgdcTIIXCiaWPHgdcRiHhCiaOPTgjcPyIpCYa]PEggcQII@C]akOagQCTYIxAMaFPDgaSOIGTCE`IPQgRcTICpDM_}PNgOcSYC@DAaYO]gfCFYH`@q`sOsgZCNIEhBm`aO|gXcNyEPBy`UOvgUcMYD`Ba`[OggTCKIDxAecOI]dMQfXSCh}TBIadPqhHSki]TLMsfYrkxuCzI\bMlfVrjhtSyq\VMffSriHscyY\JM`fPrghrsyA[~QXHHScQQ|H_cfQPHIScqQtHGcjQMHNscARlG{c|QMHLSbqRdH?cvQcHDsbQSlIKcXQ_HESaqSTGsdBQGHSsaaT\GcdTQeHCsiAPDI[cTPcHRSXaTDESdNQbG~shQOLIOc@P{HMs^aR|Fsc|PxHJseANTHcbvQhGzS\qT\F_dTPrgys\IMDFIbbPlHOSZqSTEwdBQYGtSZARdHkbVPfHISYQQtE_cjP`HAsWqO|EGcLQDGoS`qJ|GWa|QAGls`AJlGKaxQAGkS`AJTGKarRyEYrLhe{raXrKyfzR|x}k~I^hNrfvr{X}C}u^\Nkh~D@Y^xOQfySBh}d?i^xOEf{S?h}DAy`HNifuSIiBC}i^`OafuSFhnswY[DLyexR\iBCsI`@LIgMRPhfdAy`PKugQRMi?Cqi_PKqgARJhbd?yX@OQeQSDhzcoY^HKMfoRAh^C}IW@N]d}Rxh\c|YVhNYdwRsh\C|YVHNYfgQwhwcli]XJ]fcQthxcky]HJQfcQqhWczi]@I}d_RnhUCzi]@Iud[RnhaCxYWpM]eIRehtcuYZXMuesRkhjCwiZ@MQemRbhsCtI\PLUeeRhiiDQyhlSqiPTIictDaiLTKgjSVIhTCaiLTKgfSSIhTCQh|T?g^TMIGTBaiDOoi^TMIEtEQfdRwgtS|IKTPQeDRGiNTEIWtIagTQoiHSjI`tHqe\QchjSgIYTMQcdRkhLSyIQtNqcLSChFT?IPTFadlQ?h^S^IVTFQetPohpSvILs_iOdGMcJQFhBTXilDU]jzTzi}T_QldWKj\UAIutYQntW?jVT~ItT_Qi|WKirUAIkTTAntW?ilT~IitWql|USjbTcIwTWAmTUGjfTsIot\QjlT{jnT]IzT]ajTVcixTwIlszi]DM}ffRqhws|Y]tNQfnRxh{TgaodYOkLUbJAtiqr|YClZU_JUTgardYOk|UbJMteQslXklNUYJRTdatDX_lTUVJStcyqlXQk`UQjGtbQtDW{lTUMJStaat\WolZUJJUThapLYSkNUfJCTSIhtS}ibTRihTjit|ZAmRVJjdTrAvT[slxVMJ\trQvLZ[m\VKJ[TrqudZWmbVOJYtrquL\ClfVOJXTpawD[GmPV@Jbtoqvl[Sl~VCJ^TxA{L]KnLVaJqtsazt\Kn@VSJntuA{|\gnRVXJsTvQyt\[mxVZJit{A}\^GnjVpJyTzQ|T]{nXVmJto^WN{FyGxC]aMpGGcKP}PfGtcYQLxFCbYZnLwe{r\HmkvY`@O`gNsFiBl@qelRVhkStIYlLMinTXikTTIitTUm@VAj_tnYv|ZypKW_kSEGjCxaEoyWbkQeFzC``yosW_kMEGjBXaEoyWVkNeEJBH`yowWSkLEDjBX`UoqWQkHeDzAH`ao_WTkFEDj@x`QocWLkHeBJAH_mo_WHkFeAj@p_aoKWLkBeAz?h_qoSWAkAEAJ?X_eoMW@kAd~z?p_AoGV{k@d~i~h_InwV~j~E?Y~h_ApKVuj{EIJCx^]nqWbkQD}jCh^mqw?a_QOGwCkAY@NXg?SOIWDTew@V?l_UOjWTsI}KpEXbJpegrcXmUdJSdhqrxYKlA]hNUfirshy[|EbTPkgtsYYK|EagrSYiKTEyblPqkHUEjAt`ypLWamfVSjhTtiy|\UsiY[lMedjQxhmscYYlIEeZQXhasmYOlJEcZQhg}scYKlIEbjQXgusSYMlDebJPHgusKYPlCEbzOxhAsUYBlDE`ZPHgQs?YElCE_jOxgEryYDk~e_zNpgQsCXyk}E_JOHfmryXvk~E]ZNxfargXyk}E\jMhfmraXvkxe]ZMPfaraXukxe\ZMPfQr\XnkwUZzLtfApQXjkTeZZDPeqqkYYlKEUJIxheqeYZlMeTZI`hqq_XhkhEYJIHeirOXNktERjLHcuqWXdkreQzKpciqMXbkceXJH@eIqGXdkbEXzGheYqAXckpEOzGPeMp{X^k_EWZFxeApuX[k]eVjF`duq}Wwk\EWZK@beqyWukmELzJpbUpgXYkleKzEPdep]XjkWeZZE@eqpWXXkleJZDpdiwG?U_KODwB[@e?t[O?MOFWBtpW?~?`_OVDzbDpYwl[VmKUgBadhwwjY^MHuqR^to?uTZGL~v?BXlkkv|ZKL~upRaTp?uN[PLbUobaTp?uHZBMGvBRWLk?w^Y~MFUnB`TootzY}MDvBrVTostv[ML[ulb`Tootp[JLZukr_|jSwRYsMCV@BUToWt`[DLWujr`LiswNYmMCUir_tiowHYiMAv?RS|i_wFYhM@UhBadiWwjYdMHv?RSLoKtD[ALPu}B]TngvhZxLxu|R\|nWv`ZvLwuzB[tmsvPZmLruwr\LmgvJZjLqUwBZTmGuxZ`LlutrZtl{urZWLmu}rYLnsufZ{LhUtBXtlWu`ZTLfvY_CcAM@D?c_PoGgCsA]@J?e_RoHZn_Ai@R?g_TOIGDLnyw@Z~m}F_jo`vyzy]Bm~f_jo`wA{A]Bmtf\zl`vazS\umzFZZlxvaz[\vm{f[JnXvIzs\pm{f[znXvUzs\smPVHJc\qYxN[dmnF_Zo@uAz}\^mlf^jn`tuyw\|mkF\ZjPvMyq\smjfZZlxtUz[\UmwFTJmPtIza\RmffYjiHuqy_\jmKfYJkxpmws\hmrfFJlHpyzO[\mofRJkXsyyY\am`fPjghs]yG\GmdfOZgPsiyQ\?mZfNzfHryxo[|m\FLJf`rYxu[tmWfIzd`rMxY[qmWFIZdpqix][gmqFFzcHuYzI[__JoDgBC@]?p?U_LOEwBK@m?r?Ynn_FgBc@u?x?\_NVYZlDu]qrXZklUWjK\eQrJXekruYzLleq~A^enrfvz{@}U~C^dnrfxJ{X}Y}[^YnefuZxx|m}q^OnhFujyH|m}w^RnnFtZzh|Q}w^WnnFtzzh|Y}S^pnxfrJ}P{m}M^ancfxJx@}M}}^CnbFwZ{@{U}k^@njfojz@{M}a]}nhFoJvx|A|w^Tn]fszvX|Q}Y]wnfFmjvH{}~O]tntFlz|HzY|^]pnWVkjudzM|W^pnxFjZ}Xyy~O]hnsfiz|Pyi|K^jnSFzJsx}u|I^nnwFhJ|pyM~Y]`ntfgj|`yA{}^nnMf{Jrp}y{V]KnEvbjqDw}{b]RnHVdJqtxU{s]DnMF`zrXwY{O]VnDFeZpHxawD[Bm?vAj`domw^[MmEvDJalpNAa_EohG@{@ADNAS_ZoMGQ[HA@v?s`HodGEKBICb?i`QoJgS{AqDFAU_QoIGR[AYCrA[_NogGC[Hy@BAU_KoegBkHa?v?U`OoDGRk@IC}~x^zn|V~Z~|~z?@_Ao?w@[?e?NAI_roYgP{EaCZAC_ooaGKkGYBF@}_mo_gJ{GAAv@S_xoUGM{DYBj@w_foSgNkFiAb@o_coZGHkEyAU~i_`nzGGz}aAJ?{^xoOF}KBx~^CM`SojGa[IiGbCC`zp@g^KOIFvBoa?o|G^kNIF~C[`iotgb{PiEfBKaIpEGYKKyGnBE`tozGX[MyERB?`oopG[[KIE~Bc`^oxgVkJiFRBY`ZovGVKLaDjAmaCokg`kJAGVDa?j_UoJGD[Au@XZIlcUqZX\kuuX]VnKveJr\xq{tayP`WnCWEJlEBawP^wmSVmJxDnayPYwmsUuJpDhawPWwmSUUJLDnamPXwjsUMJ@DdaoPYwjcUuI|DhaVP^WeCV}JtClaTP_wcsWUHPE@agPTwjSTUIdDXadPGWhsQUIXCbaaPMWhCRuILCzaXPNwesSMHhD@bo?NoGWCC@}@B?_m{V\jm|vezv\ymKvEzbTpqw|[\o^wO[GEBr@|_|o[wM{FUBb@n_uoOWFkB}AF@F_aqGg~{aYOFGcc?p}hBk^aO~G_b}qAg}[^YO^FscEq@G}[^YORFscBpzHBK`iNbGUbvqCG|{`QNbGQbupxg~{]iOBFgc@pwG~[]QNzFab{pwGz[\yNJFabmpxgz[\yNVFgbmp`gx{WiMbEGbhpqHBk[iO~G_beqGgw[aYMNGcbapnHA{ZyOvF?cKqAgu{_yLvGKb[qCGuKZQOjEqcHpih?kYyOREkcBphWs{YeLFE^bOpfGzK\QKvFUbKprgq[\IKnFObIpcGzKWyMjEKbjqpFuzzT|e}x^]nmw\[M}FZBd`soxw[KMME~BX`mouxYskmUtJNdkQrXYSkmUhJLdgQrxWsmUVLJHdaQwxWcluUPJ`dbQvx[sfuS@Jbc~QxXYsf]RtJZc{QuXZcfEV@HtdnQ[xYCemUhHndhQZXJ{eMRBHXcmqUxVsdMQhJBd_QTxHcjeQ\I|d\QSXUSc]TlHJdYQQXGCj]QHIrc`QlXFSiuP|Ipc]QjxTcbUPpIpcZQjxVsa}UDGrd_QKXDCjeTxGld\QIxQchuSpI^dJQexPsiETHIPdHQgxSsgeTTILdSQaxKsgMRHIFcsQ`XnCt}YvL\ekrTXi{vIVvJ}eyq~Hm{vYVnLqd{r\H]kuyVfLkdvr[H]KmaZZJkewqyhl{oAYFKAear@Hg{uAXzL?eqrNhk[rAZNLieYrKhlKpyXJKaeRrIHcKqiWrKkeMrJhb[pIYRKUeerDHh[oqY^KOehrBhiKoYXrKIe\rAHe{[}MfFPbipuWy{zU\rMvfWrkxt{yq]ZNOfSrrht[yI]jMefjrhHy[wA]fNSe~r_hy{{yZrNOe}rrHn[xY]NMYfdreHxKzi[bM}fIrnHq[xq[VM_fFrfhpkwQ]BNCfCroho{iuT^IpdXqlxUkjeTvI|d^qoxWK|a`BN[gQruiC\AA_^OcgGsGiA\?a_jOKgKsAiA|AY_FOCgSs@iD\@i^zO]g?sFH~{~]^vNxfwr|X}[}y_nNkgKsDH|\@y^ROYfrsFH{k}A`VNagRrviDKu}ZbLlexr\xmlAu`bOngqsXyK\EqaJPGgssPiL\Ea`~Pkg`sYiGLBabbPqg]sMiL|BIb^PqgZsLIMLDAanPSglsSiJLDqaVP]gfsWIHlFQcfPwhJs\iQlHAczQMhKsbIR\IIcFQ]hAsgIOLFicNQIg}saIN|JYdbQsh\smIU\IQdVQehVsiITkTuI~D`dIqeXQ{hMS^IPe~r_xoKveZzLzghsTYILCua^PJhqSzY[DNEfDRnhtSvy\DLmfLR\hoStY[TLefHRVhgSvYXtL}edRZhkSqYXdL]eTRThhSqYXdK}eTRPh]SzYVtM}e@RphrSoy\TK]fPRDiV?IoCwAeM~F\blrGxb{qEWrK\eLruXzk|m]~Nbfos\YNLF]bvP~g}tVIhlTAivTMiktTIhLTIiNTUidtOIg|SQiVTAictMihlTAh~TMi]tPIe|RaiBTAiYtMielRyhnSwi]tHI]\QYfjRuiPtSiblTQhBTUiNtDijLPiizSWiltCId|PQhfSQiWtJi`\OyhfSKiWtIi_lQqgRSgiBtHi^|QQgFSai?s~Id\NihZRwiStn_CGAS@FV?j?t^Iw\Zyj~U}izt]iw\[AjrToj\tnImlVIlrTmjXtYiu|UqljTejZtYIulUQlfU{iptWIvLTylvUgjNtiir\YYkzUWjQtdIs\XYlBUAjFtcio|XAkJUkjCtkIplYykU?j?R_IOCwAk@RWQkAUCZ?T_uo@WNkBUBZ@T`EoPWNjwUAY}T_mn\WFjsU?y|d_UnTW@jyTwy~D]]nlVdjmT}y~t]Em|V|jiTqYwt\EmdVDjlTqyzD[}mlVL?O_GoCgAS@A?bkiTHYc|QMhVSliSuOjH|cYqfXCkguQJI\cqqbXIkfuIjIldap^XUkUuQjFlcAqZXGk^uPJFLcYpvXAkZuUjELdypjX[kXuHJIldapRXUkRuVJB|dypFXYkOuDZA|`MozWXkLtlyu\ZUlzUzj[uZJS\eytNXolQufJN|iAsBYAlNu]JSliYrzYak|u[jSLhqrnY]kyuXZKLeMrNXjksuejP|hasZYIlJu`JQLgasjYElHusjTLiiunZSlUupjVlkit~ZGl\upJVLjYuFYsl_ujjXljIubYolfuxJZLlqvRZYlruvj\\mIv^Z_luuBZAL_}svYXlJucZQlhMwPZ|mEV?Z`Tn}vx[DmBV?Z^toMv`[HlyVBZ]Tomvl[BmBU}z^DoUxXXPkhuRzW|keuVZDl`uoZfdquxt[pm[VJzedrExl[lmXVJz`tqewd[jmGVHzeTqExl[bmYVHZfDpmw|[|mMVMzdTpexL[VmSVDZlDsazF\emavXJg|uQx~\am`vXjgLsiyn\MmlvRJjLtAyz\_mivVji\vizR\}muv^Jl\vQzb\wmvv\jm\qmxR[fnEV_ZqDwM{\]DnFV`zpTxE{X]HmpvXzkg?I{d]^nP?@jqly??H]V?AVeJr|yG?D]\nO?@jr^