CAT(2916,4)

Sparse6:

:~?lc_?O?G?CCWA@@@_aoOgG[CQAY@K_f_RgIGDA@x?~_\ONWF[By@o@P_e?LGHoBU@k@L_[_SGEwC}@]@R_W?V_IcAwAj?p?o?TgIwBMBC@Q?XOa?OsGMCJAC`Bo_g?c?U?P?E_Co@w@kHO?d?P_FoC?Q{?wCl?L_FoBgAS@E?`?R_KODGAk@]?l?R_JoDgAc@a?j?_@ROhoB{ACDR?a@ToH?TCAKDT?g_TOHgCkA]@R?j@?OJ?NkAkBx?l?~oJ?OKAsB|@x?VoKOM{AwBl@w?Xo]_ECFk@d?w_ZOMWEkBQ@nAt?dok_GsJKANAs?cOloHSJWAR@@?xOO_McCKBb@C?wOPOMkFKA@?_?NOEoB{AG?r?`?LOH?BcAK?z@K?QoR_CsD?@P@P?RoRODSC{@R@G?SoP_C{ASAN?i?doH_HSA_AR?u?_oP?EcBcA@@A?[OPOEkB[AFBy@LofwRcHyCzAY`CoaGP[GuCXAI_EOAg@[@y?r?Z_MOEgBkBm@t?|_]ONwFsPkGpCYaKpDWasP]C]CJ`G@BGQGOyC[CIaC_cwQOOuGBC?aAp@G_SOMFlBq`wo|W][NQFnBx`zo}G^KNaFZBg`sozG\SMmF}Bc`r_~W[ONiFwBb`r?}w^oMUEwCH`m`AgZoOmE}CK`o`Bg[?OuCsAe`M?iGRgIeCuAi`N_iwSwHyD_Au`X?jWUWIyD]As`W_lwUgIqCmBM`I_rGXOHQEUAU`K_rwXgHaEIC?`b`?gX?OEEQCBaA_pGWoOQGiA}aJ?nwbGKIGmB?aL?owb?KEBSAa_u?gwLgIAB[Ad`Q?ZwSGEmFe@t`w_[W]OFIFg@r_w?|g]gFQBwCO_}`CWaWFyGgA@_~`BwaOGABGA|_q_mGVOEYBMAx`\_YWV_EaGsALaI_aGaoGeGmAIaK?bGbGGmCMBT`@_sGO_LQEaAD`h?_gOoLMKwEXbLPew`{PAGdCPaIPCwrwOYGOE_bO`AGs_OYGMEaaB`gw\sM}F`Bo`vOzw^OYmLWBz`~`kG^_YyLYB}`}`jwYoXQEmER`l`dWr?LaKkBYbJ_uWpoFYBoEN_{`cWpgFmBsEQbG?\wxGN]FrBw`OoggScIUDFA_`aOpgWkK]ERBG_}o^wOKFqC@@}_hOSwIcDUAn@U_^oNWF[Bq@|?yaMPFgb[PuH@C^a]pMgfKRmH|C{b}@|W}C^ENhFqbxpv_|S]wNBF^Btpz?{S]?NZFbBvpvWzK\iMpFZbmPpOzc\_MLFCBmpoozK\gMPFZBbpv_b[PsM~C]BoPFo{K]KH@C[BpPfwsSYALBEcbPpbo|C]SK\FhBHPx_qCWsNNFcBGpeO|SXkNVE[BuPf_|k]{KzFmBLPWGj{TuI|Daaops?jcT[MXFLAkProj[\CIrFMAlPs_iK\KIdFSAhpT?ykTWMnDTBjPQoxKT?MVDKBdPROxSS{MRDMBdpQ_}[^CIJFqAbP|?g{ScNjFoAcPJWd{QyHbCqaWPG_ySQCMfCcBipt?csQSMnCbBjPj?qcXKLVEUBUpdotsX_L`EnBIphOn[VwLTEeA}PhonkY_J~E?BSpZouKV?LdDpBXp[_ucVOLlDrBYp\Ok[VWJHDyAsP\okkVcJLDwArpO_v[Z[H~EwA_PmOgKZgIFE{AaPL?lKUkHjDmA[PKolSUoHnCuAupIOvkQgL|E~ARpJ?wCQ_MDCjB_q_pOKgASDFcbrpxW{s]eNPFPbeprGxs\AM^FCDBPpPO{g_MLFBDCqaoxCggMNEJDFQcOpSW[S^ILBCPb@Pch?KRE@b@p_gokWYKHC}DPqf_fKh{HtI_A\qg_fciCHzIo?qoXgKcE]BR@g_zO\wN[FaBr@y`BO`WO[GICNAC_DOAg@[?q?X?J_GOCg@k?}?\?P_VOKGE[A}@b?qaUpJgd{RIHbCocLQExBc`uO~G]duAtHYslUUrJVdkQr`Z[k{UxJODnQsPZ{lsUfJYDhQqHX[kiURJLdeQohW{kMUHJDdbQl`Vkj[T|I~D[Qo@VKkCTvIyD]Qi`UsioTnIlD\QjpV[ikTpImD[qjPUCiwTbIiDXQipU[jSTXIsDVqb@YclSSZJUDFQtpP{lcSbJWDGQ_@Z[gCUxIBDnqu`OcgSU|IADmqqpMsf[UPHsDcqq`MkksRrJKC{QY@UCjSRRIsCtqY`UKeoTdHlDXqQ`VccoT|I~CdqoPHkc{TzJ?CfQPhGcc]QRHGcaqp@CSkGP@JBCOqpPC[aSULJFCQQE`Xs`oUbG\DgQEpYS`{UfG]Dfqa`J{doSLIGCmqV`O{gcR@IJCoqN`Isb{QnH?CkQOPJKcKQvHAClQePFCbsSpIYC[qepFSbkSzG{DMQK`KSbKRFGsCqQXpEsb[RJGtCrQKPD[aWPXGfCUqI`Dsb?PPGhCVqCPBC`OO\GOCIqC`BK`KOlGNCJqg@@chwOTI^CDqgP@k_cTFGGDPQ@@NcfsODHyC@q@PN[_WR~H}CBp~PLsfKOBF}Cvp~pMC^oRbHqC?Qd?}{^WSdFxDJQco~Sh[NpFzDIrb`pOiQ[OIdfEahxp_iYTQMHfDaiHICdMQjHPciQShowxa[KMTfAbeXqwwI[kMBfIB`HtGHAC^AR`GobgQSEiB\@j_uoZwLcEiBX@l_voZgL[FMB`@p_xO\GMkDqAp@Z_koVWJSQ]HPCkaTpIgdKauP\GncUQKXECnaVrJyd|q~X^cze\jMufZrmhvC|G\TNMFVRj@yCys]^MhFgripxk{K\\MhF`Ri`wKyk]HMlFbRj@wkyW\dMgFVrkPs{yW\hMgFWRhpu[{[[tM[FdRepxCxs]VM^FeRqPrsxa[nMSfIreXqsw[]ZMBFgR`@yK|G[DMEFfR`Px{vW\vM{Ezrn`nCz{ZrLzF]r]`wCzoZTM}EuRnPl[u{]@LlF\rnplstc]fLYFirt@jCtk]lL\FkRV@y{qG]fKbFiRH@ykqS]lKfFkRH`y{yCWlKVFORE@scpc\FKZFQrE`sSyCWRKCFPR@PsCoW\HKGFQr@ps[mo\nJmFYqzPvSm{\rMuDwq{@vCm_\^JhFWRkP[{zOVTJjFXRkp[sv?ZzLpE~r^@mSvKZ|LtF?r\@oCuO[TLdFCrYPpcuW[VLgFErXppCxGZDL]FFRVpp{x?Z@MPEorcpk[qwXPKnESrJPeCrCXTKrETrK`dcpGY@LBEIRC@gKpCYDLDEIrP@a[oCXBK[D~RG@_CpsV~KBENr?`bsn_YXLPD|Q}Phks{VzLOD}RR`^[roVdJvE]rN`]krgVfJuE^rMp]cmCWTJ_EDrB@[cowVJKLDpqw``|E{]NNKfcRqXxS{m]HN@f`Roxws{UYMPhguBPiLosmYOPjgubQXhPEib]LVeiC\IMGtUbeLUehC[HiXFIXiPteZc\iMwrYXqPwg|BLHf@Fec_Bo`vozgA[@]?h?W_IoDgB{AQ@@?`_POGwqKXIK^ELbGPbgrkXeKtEZbNPfGe[RUHlCva[PLG}s^]NpFxb|p}h_KoMW@J~d~R?h[kmMVBJadoQxIXHKQeJREhbsqIW\JgdzQzH_SnAWLJwdnRAH[SmQV|H{eDQcH^snQSTJwd@QbH_soASLJCc~QcHXSkqSDJOdBQuHPSgqUlHKdVQkHJsdaTlIwcjQWHWSjqQdGsdtQLHZsbaV\G{dpQNH]SmQPs~KdjQpFwr|AUc~WdlNtHXSkp}TIS`rQeG\ShqF\I_`xQiG^SiQFl@SeLRGGLSpQBD@[eFRFGKspAAtH?_FQOGAScQ?lHG_LQQGCScQ?|Hk^nQXF{Se`~LHo^tQ]F}SfP~\J?^^NjHTrzaTdIw^XQnFwRzQTk}M^HN_forvx{S|geFRCFlspPzdK[]rN]HcRvQWtEKazPcGnSXQJ|E[b@PaGsSWQKtFkajP{Ggs^QITFwafPUH?S^qIdCkbRPkGfSRALtEsaZPNGtSSAL\CCbtO~GzSOAM|FcaHPAGys]AG\ACb^OaGwSGqMLAObdOeGySHQM\@k`bOqGNSJQBdA{_zO_GVSFqEDAk_bOOGSSBqDLA[_dOSGUSIaA\?caJOIGbSAqG|?oaPOMGdSBQHLBK^zN}GYSLP~|BW_@OwG@SLq?LG[^JQGFrSaP{{}_cTNiHERyQP\T{dITYhTDUySpTqdQTXinChyT@TucrQZhMsfIRtHicfQShIsdiQ|HajUQ@h@DZIOhVAcETlhBDZiO`U}amTegkdXYJ@U]asTgitCVIlHDmFfBu`yO{W]kNI@X?l_TpcwrCXQKlEVbIq`HOCgUSFI@d@T`anlW?kPUAJBtaqoLV{kTT}JCtTIilTYifTWijt`Qg|SokJTGJ@tQQo\SgkHTJJATOQotSKkPTAJBtPApLWkiLUIIatIQplWohVSkJFtJQqDQwkbSiJFS~qntV{g@UAIAT_A_LOGjzU@I@szY\tM}fbRqhwSryY\LAebRQhiTYqf\UohxS|IutNaltS?j^S~IwTVaedTghbSnIltKAjdRKirSqImtVqa\POjBSQIqTWaatU?gjSPIptFA`|OkgnSKIKTBQbLP?gvSMILT[Q_lOWjdSFIxt\A`DVWgTTtICs{qiTSsflRsIfS|Qh|N_ibRvIgTFQ\LPwfTS^HtsxqcDM_hDS`HuT\q[LVcfDT{Hpt]a[dMWjpRdI|tIAZ|LkhFR\IQSvaclQ[f@R[IRTLqZLRSejRYI[tLaYtRgepSwHjsqQklKkjLTfHfTYaXTUceXRLIsUAb@@XAoGUNjEE@j?hWuoQUPjFE@y^t`?frRzh}ECi^TNsohW[J`eEIw``]mCWUkLDpjBX[UoqVFj{EDy~H`YnsWWkKd}zBX^uosV{jpTxI{D]UnFV`jjTtIyl\]mrVWjItciqtXMknUSkAD{j?h^MoKVtkCd|z?x^QoOVujwECZA@]qn]WTjueCi}H`Mn[WSjhDqyyX[em[VGjfdqixh\EmWVOj]EAivh_ql{WLkDdnywH_}o[V?jrDiitX]]lWVgjUdyYtx]ml[VijQD~ish^}lKW?jRe?Yt@_IoEUhjWDfiuHX}lEUtjODkisHZMlCUsjltvYzT\qm~V]jZEXZKpZ]loXcksDmzKxZerQUyjKteBMDXmrcUYjMU\Ark_aOZGKcDQAx@K^yNxF|c?p~x?DgCrrX}Kzu^BNTfsrlY?K|u^rNDdwrnX^K{UWBMteCrrXbK|uWbNTdaqtX\kkuUzJddMqdXTkiUTzItgCprY?KYu^rEtfopnX|KYU^bFDaapTWlkSuIzDdbgqXWzKeuNBHtdCp|W~KfuSBFlcWr`XHKyu[RG|fGqPXrKdu\BHTegpDXjKPuHBLdaSr\WfKvuHbLla{oxWoKOuFbDtbCo~WrKOUKbBleQrLXfksUXZLLjwq@Y~K_uorG\k?qHXDL_uobGS[UMHFBbbPqGw{EUBL@c_soXwLC?Q?J?F_COAW?s@e?t?]_LoFGBkwa[RMLfDRbHp[rQXnKteZRMXfDKeeTRLheSqyXtmyvdZnlwU{z]LmgvHZaLsUwr\LmkvJZlLruzB[tl]utZXlkUuzYtlWvPZiLlUyrY|moupZlLluuR\LkkudZKLhutBXlk{ubZTLfUqbYDg_u`YHLgutBPlggudZTLDubBY\jwv\ZBLxuoB\|kCvbY~LxUob]Dkgt@ZKLOurbSdkstJZJLPUgrX|hguxZ\LMUvrR\hsu|Y]LouwBR|hQslYWlIudzRLg{uxYPLnUcBZlhGv@YRLouvrPtmKsFZaL@UxbOdm[sJYFLqUxROtj_uHYyLaumrWtjcuNZHL]unBXDjKtNYgLYUibUTj[tLYtLTuiRUti}tXYlMcujbhDjAta\KdTqjHTkiiT\IncdQQxHcc}QZHMb|P}w}s^]NrFwgssYiL\Eqb\Plf{R|x~S~e^xNziktVIjtTiizTZjKteyrDXikzU[lQUgJSLiUtDYbn?F]JnLvqzt\|m|vZrmTvKzX\sMuvZbmlvCzn\oMzVVbnDvcyt\yMlv]rjlvoyx\|MnvUbkltoz@\ZMovVRkTuKy~\cMnVRritt?yh\PMjvRbilt_yf\XMhVDRi|t_wn[UMjVCbidtcwf\TMIV^bhDv{yT\~Mdv^rhdssz|\}McvKBl\uWxj\fMWvYBeTugxh\hMXvJBhtqwy`[lMgvJriTtKxV\NMTVBBkDoszB[MMpVWr`|uSwb\cMGV?BmToGzh[BMyv?Rm\oSzn[CMzU}bldu{vz\pL|u~Bllv?v|\mL~vXb]dn[zPZuMsu}Bl\nczTZtMrvFbetr[x@[bM\VGbfLrkw~[`M[VEBflrowx[ZM_VFRgLpgx|[XM^vHB_tqSwN[eMCVHr`LokxR[gMDVOjgX}AyH\DNpVPzgp}Q~WM_fOrghscyU\F?C_Ao@g?{?e?PMAf@r`hocw][JJmdvqzH]CnEVZJ_doqwh[kmQVFJgdsqyh[sm]VVSTiJTCYaTPQgfWCkBUAZ?|_UoPUwjZTmYvTZmlnWwkYULZEtbepnWhkUUIjD\aapZ[imVVJZd|qqxV`?OXwJkD}BF@d_ooJgFKCI@j@?_UoLgF[By@f?{_WoIGJKAIAb@Q_QoTGD[AYAv@U_OoDwAk@e?v?^_MoVG@KEA?V@c_FoWg@k@IBN?O_no@GHJ~qAZ??_an~gG{?YA^?A_dn~GAj~y?n??_No?gB[?Y?z?W_AnxF~Z}X~a~g^xnzF}j}x~m~i^{oCFzZ|a?Q~[_DoBF{[@H~A~]_FnrgLJ|ABb@i^hoZFxj|QB]~U_xoPFgZrqAM{}_cnPgH{ChyI|?_eoZFujziBf@m^ZnmGLZzyBb@g^]oYFrkEp{}}a_wnhGLZyYBf@m^OncGFJxI@v?{^IoNfq{CH{v@?^Kn`GIKDP{N@U^CoUFp[DH{]}K_loIfnzva@A|y_QoHfnkA`{E}?_PnxFij}Xym~m]nnyfjJ}pyu~g]mnuFeJrP}y~Y]XnLfzzrh~E{w^ooJfdzqY@i{g_ZnHGDkBHxZ?o]Tn{FbJ~Hwu~s]MnFf}z~hxE{_^{n?Fxj{xwE~O]Ansf_zoh}m{G^iniFwJyh}E}k^anjfwzzH}U}o^cn\flZuPzY|g]vnWFmJuXze|a]ynBFhJtHwi{M]gnQfaJsxwm|K]HpjEDjA|`aovWXkLSbYP|Gy]vNXflRvHzs|ulzU}j]TnywL[AshYTlJUdzRLhas\YRlFucjQLhA{@]@n@V`Zo\wRGEb~p~W~[_EOJGBbdPtwxc\eM\FZbgPvW{C\UM|FRbpPnw{c[ENLFBbsPpWxC]mNXFFbdPjWxcZEM`EnbXPrwus\ULhFRbOPzwtC^MNlEbbRP{W}cYUNpEjbCPzwqS^EKTFrb{PcW}cW}NlELbjPUWjS\eIxFZanPvW{CUMM|D`b|POW~cSMITGDacP~wgs_EIHGBaDP~W_c^mG\GBaEQ@W`C^}GLG@`oPjW[sZELdBj`pPjwusMeLhBdbpOnW{sJ}E@Fh``PxWWs]uEHFjb\OmwvcJ]D`Ezb[OmWUSZuLpAtb^OiWTc[UMDAfb_OhWxCI}DTFF`?PgwOSYECHEf`BPiwPSYeLHAHawO\WmSF]Jh@z_~P]wnCFeJl@|a]PewrcRmHhETaZPdwfsXeK|CxaMPXWksQ]G|DhaOPYwccU}HDDla@PCw^CPEFtCT`}PDwbSOEGpB~`yPIW]CQmFdCl`uPJw\sRMH`Bv`cPRWXcTEETDN`hPTwiSLEE\DT`jOgwZCHeE|A``LOtWZcHuEtA^a}ObWnsG}K@APb@OcwosH]ChEDeOFRRiHs{mmVLJfdsQyh\Layp^WrkWUKZEToAwB[DmAV?j_\nQvrZulyu|z^EB~@t_zo]WN[FuDJAj`SojWS{I}CFAD`Do`wOKGeZ|LfeqrZXk[ueZVKqedrLHiKsqXzKuehrTHfKsyXvKqeRrJhf[qaXjKieZrKHfKqqXzKSexrEHmKpYZjKYe{rZhb{pqZnKSeprYhb{pYZJLkeLrFHk{paZRJievqzHmKmyZfJqe{r\H]knAZnLEdqqyHhKmYYJK}dorOh[[sAU~LWdbrVhX{tiURL_ddqsHi{tqUZIye|qnhnkkAZzJAe}qpHn[jqZvIceHqih`{iIWbKQdRqiH`{iqWbIUeOqeHcKhiXFI_eQqfhckhqXFHqeRrIHMkqiRnHweUq^HeKfiX^LUclrUHJktiQ~HcemrWHKKeIY~LScPrQhB{aAYZGcefqIHi[aYYbK}cCrOH?{_iYFGOebqBHhK_yYJJQc`qtHGklqQVJUcbqRHZKliQRImdzqkH^KjIVvJ{dYr?HVKnyTnHec~qZhO{eaSBHid@q[HPKeqSJGucfqMHIKbqQjGychqOHJKbyQnKAcTr@HDkoYP^KGcWrBHEkoiPfGQdDqDHPkhQOnIMcKqchBkhAOvQ?f[S^xutF}\\PzfWS]xuTFu\hP|gXRmxwdBm]DO|gYRnYFCz}`lN@gWSOYHDAuaLOhgRSNyGTA}`TPDgLSByBd@E_|ORgOSDYCd@e`DOVftSZx|dFE^\PrfwS\X}dFe^dPvfhSTxydDe]lPZfkSVXzdEE]tP^fbRvxxC}]]TNhfoRrX{c|E^DNNfQS?y?cy]_LMhgCRixtd?u_TMbfJR|xrC~e\@O@fLR~xrc~u[|NzgpRayKcwubLMNgsRcYLcxUbTMRfCSRyHSv}[@PLfASTXotDE[DPRfCr^xoKwU[NMBiCt@y_lO}gVSLhQT@YStO]gXQjhSTAyTtOeg\Qlh{SbY^TG}fxQPhHT?Y_TH]f|QTh]SzYVtM}e@Rph`S{y]tK]eHRthiSkYYtJMdhRXhZSuyVTL}dpR\hPSsYRtLMcpRHhdSeySDKue\Q\htS`Y[DGEfDQBhqS`yPTMecPRf^inrVyZ{|}m~PcDq@xAK_eOZGNj?TXIm\UajnTeiwtYimlVij^Tki{tXidLUahVTciUtYid|UyhfTkiWt^IhlTAj~T}iitSin|VqinTMi}tDImLPAjfSQizt]ibLPYjrSYiytNIhLSAhjS}idtMIg|SIhnSyiatUIblTig~T[iOtGij|QYjFSciopgWs{YeLFEjbQo^wNkFUBn@z_{ttIyL\amRVQjntuix\\Ym^V[jetdIxl[akZVMjFtcIyL\IknUQjdttIslYYmnUgjktiiz\Yym~UkjmtnIuLZylfV?jYtoiu|[YlvVCj[t_IrLWIlBUCjPteio|XykVU[jCrDXa{pmWzK^eKrBxaKpMoxWhkTUGzBtaepTW`kUUHzDdaUndW^jwUGy|taUnhW`jzUHy|d`unpWPj|UCzAd^un|WVk@UEz?D`eoHV`kBTwz@D]UoTVfjtUBy|D_ubzP~g|tCYa\PUgnSXiLu\JKTeeq|XdkoUXzLteEq|XjkuUWzMDc]r`XHkwUQzMTdErdXNkxURZKdbmrLW|ksUNzGDemrXXDk`UZzDtdMqxWtkZUTZItbEqtWrkkUMZPdgEsDYNlAUcZOthMsTYVlCUdZRDfUstXvlMU]ZRtfmtDX~lOU^ZU??ItJYq?AUhzU_?YtQ?ClZUizTo?Itu?El[Uj^