CAT(3078,2)

Sparse6:

:~?oE_?O?G?CCG@k?z_Z_MgF?BeAU@F_aoPgG{CUAL@A_aOOwGGBu@w?~_^?OGJgCqAZ@J_fOSGH{DYAh@T_k_SWJ?DMAm@Q_k?QGIwCiAq@H_v_MwFKBiBb@o_voVWJ{DyB@@a_ooYwLKEiB_@g_v_XgMGE]B[@d_u_XGKWEqAs@k_v?VGLgDm@~@@__O`wPKGaBj@v_zO`gOkGQCMA@`@_aWP?GIBwA?_}_^gNWF}Bo@q_|?\GNGFMCqAU`L?eGRWH]CaAR`G?dWQOHQCSAL`F_bGPoGmDO@k_vOZWG{CYAJ?}_]ONWFsBu@x?~__oOGJkD}A|@__ooWgK[EUBH@Y_mOUwPkG}C\AI`EOawXwKWEFBF@aOpOXCKIE@B@`Z_owWgJeDoBC`b?lGX?JYEMAt`W_nWUWJyDcA~`V_lGUoIyD_At`\?iwV_IuDuAk`T_mGUwIuDWAx`S?oGTOKIDQB@`]_iGVwIiD{Ah`Q_kGTwI]DKAm`Q_kgSwJMDKAp`\?fGV_HyDuA\`N_ggS_IED?AbaF?KgEKBA@f?t_YOUGJKD]@p?u_ZoLwFCBY@r?z_\OQwHcCuA\@O_foSWI[DIAP@I_coQGHSCeBj@v_zO]GNSFeBz@z_}O[wMcFIHsCqaY@MGeWReHWCvaZ@JgegQuHECqaY@HWeWQQHCCoaO@KWcGQ}H?CbaO`HWcOQQGyCwaN`MgboReHOCZaL@HwcoPqG{CWaN`EWbgP]HSCUaI`IwdGPQGiCeaS@Dga_Q]GPCIaCpBW`cOmHQCDaB`IwdOOYHWCDaB`JgdgOYGCCXaK@@GawOMGCCYaA@FG_WPmGQBIaD?qw`?KeGUBLaE?rg`gKqFoCp`z`KG]oQ}FeCvaZ?|WegNQFdBp`wOzg\{MuFSC?a?_zG^wMmGcBf`s`CWaWMaFwBc`r?~g^gMUFwB``~?ww^gMIE{Bz`o?}WZwNiEuC?`m_~wZ_OEEoBz`{_ugZGNiEiCN`j`CGYoOyEgCPaH_sgaOLME_COaF_rwYGOyLS?m_VOJgD{A}@^?g_TOIWD[Au@XCDaBp@gJ[DiAxAO`HOcWYSLQEfFJBaPogw[[GL~FCB_poowCZcL~EyB_pmowCZcLxEzB^Pm_vkYsLNEnBSpj_tCYsLPEnBRpj_tKZ?HvEqA]pkOfc[KKjEVBaPd_wSZoJbE}AxpnOmSUwLlEwAwPlol{UoLVEkAupYotSUaJRDiarPXWk{UGLHDcBRPWoskT{LhD`BYpW?u[TwLlEwAmPlojkTkLTEkAkpU_t[YGIpE`AjpT_s[ZSIfDTBYPT?u[T?K|DQBOPSOr{YCIZEbAfpg_hsSkK~DKBNPQ_sCXsINDHBMPeohCSSKzEZAbPP?rcSCL`DBBXPO_uKRwLHD?BRPNoskXgKbEWBGPeOp{WSKdEBBHp`?qcW?JzEAA~p_OnsVgKRD{BDPaon[V_K\ELA{pb?m{WWJhDuBCP\Oo{AI@H?bcW_HgC{AUPyEfbSpiGECBI@b?q_WoKGE[BU@h?r_YoLHFWcYQOGyc]APxFWceQUGyc]AQhGGbeQCGwc_ALxGWbePmHDc[APHEGbuPeG~cXANhFobYP}Gtc]aLHCka]PLGbcQQGhHWaAQQG`cdAFxBgcUO{HBcMAPHBWcIOsH?c_aEXGo]AQOFacb`wXEG\]MqGrbkAKgzObUMwGublaLGy_ayMkGncW@tWyGayP_FRbhAJwxoamM_GlbfaJGxgauPUFKcU@qww{[YMJFGbdPqXD?`YPSGWcSaDxAW_uO]GTcIABgzg_iM}GKbnAAx??_MN}G@b~A?g}g^aNsFvb{`|h?_]}OIFpbwA@h@G]qN[GFcC@zW~g]mNuFib}@yW{o^INOFsbr`{w{W`ANIGQbqACXUOAa@T?h_SOIWDSAm@X?l_ToJGDkNeFvBy`}O~g^kN}GBC?aCPAg`KOuGVCK`coqgX[KeEVBI`eorgXcKqE\BLbeprGx[[]MJFEbcPqgxKlcU~J`Dlqw@ZSkoUnJJDkQq`Ysl?UNJQDcqsPXCj?UfIpDiQtPT{lWT^JWDWQtpUKioUZImDfqjPXsisUdImDgqj@YCiWTdIsDSQhpU[jWTPItDRQlpS{ikTpIhD\Qi`VKikTvIhD]qi`Vcd{ULH_DaQV`Wki?UfJTDPQgPYch{U^I]Deqr`RkhmSxIYdJqeXRChWTxISD]qdPV[j_SbIRD\QmPQSjSS\IvDFql`QCgkTdIsDEqb@U[g_UBIID`qaPWSkkSDJKDAQq`O[gSUNIFDcq``XCf{U~J`D?qw@OClcRZJZCvqu`Lsk?RXHjD^QnpLSe[UBHhD`qY@WSkORHJECrQpPKkk?RDI~CpqWPVsloQtHWDnQUPZkloQvH\DnQV@ZkdIQhHRcjQTxIkcqQ\HLcgQSXH{fcRxH}C|q^PNSfWTFHvDQQ]@SkfORbHqCyq[pMCAM@H?a_PoHGCSAU@N?e_QoHwCsuWKzE[bLpgGrsX}LFEabOphGssYUIrDZalPVGjsTuSDICd@q`XO{gYYgL_ejBWhiguEZ?LVekbWhkGtaYuLbeqbVHk_tiZGL\eqbVxjouMWFKCeArSPjktKY~LQEnRS@lCswZLLNErrUPh[t[YZLKEkRN@nCvgXzK}E{rU`f[rcYvKyEmRLhe{raXMLSeSbThd?tUXGLqeRB\HcgvMXCLvePb\XmoqEZ]K]ewbGHm?p}ZKKZesBFXkwpqWsLieKBYxbGueZWKTeJbZhlgpYWgLveHb\haOvUW_LjeGbYX`wuiWWLmeFBZX`guqZcKHeyBAxmWoiZ]KEewbAHm?o]VnJxd{Q}h^[nqVzJ~d~R?h_KoAVlJsdyq{h][nEV`JmdvqzX\cmmZuJge}ayhn_meVILxe|Axx[ovaZuJae}axHn_mMYOKredBLXhGrQX_LAeaBKhgWrEXYK~eVbOXdosAYIKiebbJHgoqmP\GocVqLhEkbQMJFFbbPqGxS[e\xMyf\rlxvCze^kMdfRB}Hsw~]^qMaf|bhH~OyM[}NxfOb}xs?~i^kMXfLb}H}wxi^eMUfybdx}_xa[eNofIb{hq_~E[aNofHB{hq?~E^eMLfybbx}_wyZ~M?e~R_Xo[wI[JMEfAR`xpKwa[WNdfDBxhpW}Q^ANlfpbzx{O}y^?NVfnbthzo|U]]NZfmbsHyG|q]?NYf`BuHwG|e]cM|fiBnxyWzy\gNMfZBrHug{u\aNHfXbqxuO{i\[NEfcBkHwwy}\UNBfUbpXt_{Q\ONffsbih|?ye[wNifMbyxro}qaNPHgcSIIC|AY`uN{g]b~X~pBqaGOqgbCLIGhBM`]OhgTcKYDPBA_mObgKcHYB@AQ_gP@gJCOyAhCI_}OPgMcCyAP@y`WOMgVCCIDh?}_UO`gPCBYC@?q_wOGgDCEi@H@m`iODgZc@yEp?Y`oOAg\C@IFH?M_AO}g_B~y?@B}PnGwc[qNHF[biYPLHedRPXgss]YDLCe`rNxgKsAboP|g{c^yMxFyboP{g{c]iMxFmcEPuhAc\IO`FUbgQ?gzC_YOPFUadPOggs[iM\FEakP|gjc^yJ@FyaeQ?h@CTYI`GEa]P{gfC]yHhFicEPIgeC`IHXGUbOPjgucYiL`Eeb[PdgwCXyLxEYawP^gocViJhEAbCPXgqCUyKXDidkIgdRQhxTSimTRImdUqjHUCjET^NWflRuXy{|U]lNQfiRsxx{|E]`NKffRrXx[{e]TNEfbrqHw[{U]HRDH^spqWLKWe@RCH_SoQWTJ{eFQ|HesnAXdJweVQ{HcSnQXTJweRQzHgsmQY\JgedRNH\SsAV\Jce\QwHkstqU|JWepRSHZStaVDLSdnRRHISsQQTLGcfRDHUsjqWtIweNQiHjsjAZLIkepROHSsiAXtK{dNQcHcShaXTISeRQ`hPSgyRtIAc~QZH`spARlHoeDQWHdseaXlHceXRSHJstQQlLWclQNHXscAUlHCdhQtHESbaUdGsdfQoHCskaP\JCcTQoHBSkaPDJCcNSgEoRWhkKuUZHLbgPsHYCdAA`DO`gNsFYBt@i_xOZiXdJIePQuhUSpiUDJidhRAhUSniTDMYdHR]hOSwiTDLid@RUhQSshxs{i]dOyg^SLh~DMI_@Ref}SviXc~Y^`REfuSqiYC}IepNihiRxhydJi]xRAfkSniQczycxNEf_SeiRczY\pQUfWSehsdGi\XQMfSSchsDGi[pQQfMSbiNcwy[hQEh?RciOcwic@MAg}R`iMCvybpLygyR\hlDFIZXPygyR[iDDEY``PmgUSYiBdCIaPOegaSGiJD@I_pP]goSDiHd?YahOMggSAj@D]YnTVmjlTwizt^qglWCiHU?I`t_QgTV{iBU?I_TNQndR{j|S}I}tMandRoj|SzI}tYam\VSjXTsItt[Ak|VGjPThIwtWqg|UGiLTGIotTQllT[j^TUIvTUqiTTOizTRImTVah|U?ibT^IgTRAkdSwjLTLIqtQqjDSgitTHIkskiUDJEdfQthYTjqqdXWlbUTJWTiytTYekvU[jLTjarLX[lZUkJKTjaotYokNUlJAt_qt|WOlbUAJWTgqqLYOkfUdJHTbarlX?k~UNJNTaqstWslPUKJRtgApDWglDU`JCtFIbtPug~S`iOTGicdQMhNSeiQtsAuT\GlhVPJXtrQzL[wmvVNJlTsqxT[omjVSJdtsAw|\GmRVPJcTpAyt\_mLVVJatoYw\[Il|U~j_Tmqy\ZsmjU{JiTmQyt\_ltVVJ[TlazTZ[mvVXJYt^IntVuj~U?j?t|y~L^anlVtjyT}a|D^onTVzJst}a{l^onNVzJrTwa~|]On|VbJ}t~Qz|^{nBV}JoTza}L^?nfVnJxTvA|\]sm|V\JuUCB?D_{oBWPK@UCb@d_wohWRKEuARAl_konWIKJU@R?t_OoPWBKBuFbCLa?pFW^KPUErBD`gozWXKMOhwSsIUJtD{a|p]Wm{VaQ|H_cnqWXK[eI[TMKfDrfHrsxua\PNgesQyHdCigHSEiAt?Y_\OIkLUFjAt_yodWIn\Vojvtyy|l]qqgXMkgETjIhc}qeXKkhERZIHcmq_XGkceRjHPc}qIXLkbeQzGpcqqOXCkceOjHPcMqKW~kaeOJGxcEpwXCk^EOzFhcIp}Wxk\EOJFXcEp{Wvk]EMJFhbYpiWxk\EKzFXbQpaWtkXEKzE@bQp]WwkZEJjExaup_WkkXEIjEHampSWlkUEJjDxampIXTkQETJCpdYqaWfkheIZIPaasS?U_JoEGBK@m?tYU?MOFWBtho?~?`_OP?g_cOMN^FpbwPzG|k]yW^KPeGRBh`cou^|N{f}r~y?L?AcdQShHsdYQ|HYiLTGibtQYh\SilpUxj\TlYu|ZYoBWAk?U?z?l_QuEZElaeqJW`k]uQZ?ldeojXPkEuEY|l^epZVpkQu?Yyl`EnJWHjmtmY|l^emZVpjatgYylYenJUpjmtmYplXemZV@jItgYmlYekJUpi}tWYolTejjThi}teYhlTEkZT@jItUYdlUEhzThiYtOYalTEhJTHiMt?YelOehzRxiUt?YalOegzRxiQsxY\lNUfJRthusqXXkkEezIxhiuKYDlAEqJWxgYuQY@lde_zXPgIs?YUk~EeJNxh]ryYUk}EeJQxfmsgXwlIe]ZQXfiriYOlHE\zMphErcYOlHE\JMXhEsgXokwedZQXe}rWYLkvEbzLhgyrQYIlDeYzLPgqrKYLksEbzKxgysSXblEEXZPXeQsMXalCeWZP@eAqyYZkneeZJphisMXYkmEaZJXgaxc?I_EOAw@s?}?Z[}?GoCgADsO?f?T_IVPJgtsUyH\EmaurBgLsKu\\ALevJB]tqwvp[lLzvJb^Tqovr[lL|vNb]\nSy@[~LyU{BftnGy@ZpM^uzRf\mwxzZnM]VMB\dmgxtZjM[vNR\DrkvR[{LrvMb[lr_vL[xLqUwRelr[vFZaMZVKbZtm?xhZ^MXuurelr[uzZ[MZUuBeTlgxhZXMXutRd|l[xbZUMWUsbgLlOyF\ALhvJrX|rCub[oLgVHbcDqGxP[`MRvGrblqSw~[cMNVEbadpWwx[ZMIvDraLpcwf[WMHVBb`Do{wT[OMCvBB_|oswL[JMAvIR^|oCxV[?MTV?b^doOv|[BL}ve?A{@Y?p?U_KODwBK@m?t?X_LoEjtO@q?z?]_NOFGBlqqx\[lnWfijuPym|_]knWFjZuPy}|a]mnQfeZrPyY{o]cnRFfJrhyQ|I]ZnRffjtHyA|O]^nRfgZtHyM|O]amgVSjiLtMyj\SnEFjztpwy|Y]LnCfijpXyq{S]jnBFgZp@yM{M]anLf_zohxu{G][nNF_Js@wI{}]@nLF^znhxez{]WmbfdZhHx]yO]UnIfQjqpsm{m\Km|Fcjn`xQzu]Rmwf\znHvMzc\wmvF\Jm@vYz]\tmqfYJkxuizK\hmtfWjk`uuzE\kmlFWJjXuEyq\^mmFTjj@tyyy\VmefbzhxxEy[]O_FOBw@k?y?^?L_DOBG@[?i?X?JoE_CGAK@I?`?Q_GvdZq|xYsNYHlCUcJQThEshYTlHueZR\hj?e_LoIGB{Ai?z?e_OoIgCkAa@E~u_Fn}gA[@@~r?O^~oCg?J~q?^?S_@oEG?{@Y?J?S_CoEG@k@Y?V?k^woKF}kAx~e~i_QnzgCJ}q@E~c_LnxgBz}a?z?G^noBF{[?h~A~{^ko?Fzj~x}u~Q^zn}fyz|P~r?A^ensG?z{y?J?}^boOfx[C@}Q}z^^nnVwJ{T}F?}^YnmGG[C@|n?k^VoKFu[Ax|a}g_[nigF[Bp|Y}a_XnhgEzyQ@j?q^MoLfr{BP|A}U_\oNFrZxa@q|t]zn[vnjvlzq|~^@n_Vojwd{M}O]rndFlZxHzQ|k^DnbfmJwpz]x^[pmWVMJfLrixv[|m]VOZg\sJ@g`~p?gLkEiGBBk`Hodg]KHQF^AK`~p?gQKGyGBBk`Bo{GP[MyCRAC`yo_G]{GIFfBy_|o^g^kNaBzBq_{o|gMkNQBn@m`{o[g^kFAFv@P_ioSwI{DmAr@\_ooVwK[E]BJBE`sopG[{KIFVB_`]ooG[kMID~BY`ZovgV[LqDrAo`folGY[JIEbAi`iouGT{LYDZBG`QorGTKKiDN@C`NoQGS[CYDBAW_dofGH{HiAZCCaqpAGlKOYJNDQakpVGi{TiIjD]aepWgiKUAI^CqazpJgn[RAJrDsaUp[Gd[VIHRDEaPpQgc{SaHJC[a\pFgfkQAH~CsaJpEgfKPaHnCOa_pPGakPIIFCIatpBgl{OqJZE}?^_OoGGCC@}@BZulzu}J^Tnevv^FnbVpZxD{i}RbgPvW{C\UM|FRbdPuwxs\]MXFXbgPpWxC\UMdFFbdPnwxs[MMXF@b]PnwvS[MLpF@b\PpWxCZeLxFFbCPtwpc\mKTFXb@PvWos]EM|EDa}PjWoCZEJ|EnbXPhwusYmLhEhbOPdWscXeLDEVbFPewrsXMKxEPc]?HoDWAc@U?h?RnRVhZsdy]|R]gmbvQZhDsiyX\JouwZ{LuEjBX`jorwY[LEERBL`doeWRkHmDBAb`Nq_hJ[gAQ~H}cmq]HIkfqQrHycjqRhK{dIRVHOcsqRhKKeQQfHacgq[hHKcqRnHscdqZHH[cqRbHmccqPHJ{diQNHAcmqNHIkcAQrG}cjqMhFkbaQBGuc^qLhG[biQNGwcapwhD[]YP^FccUq]HCkfqPRHycRq^hB{aISFG_d?qEHM[`qRnGYcyqXhA[eiOnHgcIqBHKKeQObHacFqZH?{_iRbHmcCq@X?[_ENvF~b}p|HEK^aPjFucXqIg|{ayNfGkbwpyhE[]qPjFgcWrGG@{@M?b?T_KoDwg{SmIRD@aapOwfkR}HvCta[pLxeSq]XTKveSRLXdcq]XTKpeSRJxfsqEYDKde_RGxcCreXHK|ePRMxZCrMUxKvdlRLXfslMYDJVe_QtXfCk}UXK|dgRMxdck]X`JJeVQqXV[juT~Itd[qlxbSi}W|IreMQkXbCiuWhIjdSRDxaSiMTLKNdQRCXRco}WdI`dNRCXQsoeStKLdKRAxQCoeShKLdHRAxbSgmS\K^eMQbXacgUWpIHeJQ`x]Cn]VhJzdxQ}X^cm}W@Jld~Qyx_SmUVPKFdrR@XWCl}UHJbd`QwXycz]\vMxfWrlXu[tY]^LYfhrUHyK{yYbLSfhrsHi[{aYVNKefrqhhksQ]RLGferPhx[tq[~L_fPrVhsK{I[rNEfMrpHr[wq\zMOf_rbhv{wAZvMCe~r_hnkwYZjMIe{raHm{uy\JLqfSr[Hs{ua\VLkfVrYhtkuI[fMUerrXHqkamP^GlcWqLXE\@E_jORgDsBy@l?a`^OCgXsKI?|Aa^~Okg@sIi?K|i`^OqfnsKHzlAa]jNWgUsIhy{~I^rNuf}r|H~\@Y^ZOYfwrziBLAI^NOeftsHH|L@q^BO_fqsFh{[oeWZKJeFrCxaKpeWjKVeLrFxblBQbzOwh?sLiN|FybVQ?gvs^ILlFYbJPygss]IK|DycFPahBsWIOlDabbP[gys[iJ\DManPTgfsRYILCYbbPsgds[iHLFYaBPygas]IG\BicFO}hBsNIOk{e]ZNJffrsxyLGecZQJh^soyWLIAeJQchcsgiW|KQcvQ]hcspiRlKicjRMhKsrIQ|Kic^RMhHsrIQLJad^Q{hUsmiULIYdfQuhTslITLLAfbRQhvstI]\MafjRwhus|i\\NiezR_h~s~IZ|MIenRehlsxIZLOqgfSOiJtBialOAgVSCiCt?i_{ZuLvExdwq|X][mmV^JlfnrvXz[|U]rNVhUskYT|I]dVQhi]TQYgDSuh|TJi`TLyfTS]hpTDi_TKYfdRMh|StiUTLyfTQmhpSniQTKYdDRUhLSriQTIydDQ}hLSliKTQYbdSugtTJi`TFycTS]iHS`jD?BoAG@MPnGzc[r]xn{vuZjLxezsLYFLB]`vO~g]ssYYlLMenRZhktiiu|YqlrUgjYtjis\YYlfUojQtfIs\YYlBU]jQtiIq|YqkvUijKtcIrlXIlBUSjNtciq|XAkvUSjKtSIn|TIkFTMj?tjinLVqlbTyjXt[iulVYlrTsjZt[Ip|UqkVTmjEtXip\UakZTijFt`IkLUQkRUEipt^ij\WIi~U?imtTIolTakRTUjBuE_@G?s?VWYjltvJB|\aozVQkLttjB|\QozWSjguEIxl`Ym^VEkFtqjA\[aobV?kFtojAL[QofWSj\tnjBLZqonWAjzu@i~\_QnrVoj}u?I}\^ynjVmjntyi{\]qnBWGjqtyJ@l_inM?N?H_COAW?{?bXmknUYZLdeEqxXjkpUYZLde]rHXjkdUWzHte]qXXdkaUVZHDeEqLX^kgUNzGTdUq@XRkjUMZJTbuqpWzkWUGZDdaMp\WdkXUHzDTb]phWh?C_Ao@g?c?Y?JlWT^yo\WEkJUHjBujjR|iItZY_lTujjSliatVYelUukJO|jQsVYqlCueJSlhqtRYYlRufjQ\iIsnY_lIuljPljisbYwlFu_jU\gQtjYol?uljN\jir~Ywk}u[ZL|fMrjXxkzuBzA\`EonWXkIurJ^|kawFZIm?uuj^LlyvvZ[l}u~jYloIur[?lju}JX|nqufZylgunzVlkEuFZDlbu{j[|nYvVZslsuwJ\lnAvJZalvvJj_lrIwR[EmWvGja|qYwr[cmLvFjaLpqwj[_mHvAjdLoyxZ[KmTvLJgLrayJ[um`vMjg|six~\Gm]uYZL\euvfZvlyuzZ]Lm}zP\XmqVVZkttmy|\XmoVVZkTtmyX\dmfVXziDuey|\RmpVTzkDtU{PYllVuizc\q]xJ[`mNvFZpdxU{p]HnDVdzqDwe{X]RnDVbzoTu}zX]DmtV`zptvu{`\~nHV_Zmtx]zt]Xm{VdZmDw]zh]BnAV[zwdyQ|~]an`vgJwL{I{v]}nNvoJrlya|f]unRvijulza|Z]{nWvmjt||Y}J^YncvuJw|{q}b^Mnivsjx\w]{J]BnsVvZ|d|}~T^`npVyz{t}u~H^hn^vozwL~g?D^nn~?@j}L~o?H^rn|?@J}l~_?D^~n}?@j}~