CAT(2928,2)

Sparse6:

:~?lo_?O?G?C@K?d?O_GoDWAc@M?h?T_HoF_B?@q?k?[_J_FGBG@u?u?\_L?FWBsAA?~?`_PoGgCgAa@G?f_R?IWDcAm@T?r?WOKgEKBc@[?o_V_KgDgBE?Z?N_FOA_D{?o@\?J?UoAG?{?e?U?X_D?Ew@_@i?k?o_K?KgAwBE?a?G_H?AWA??]?G?f_A_IW?oAa?]?P_E_Cg@o@A?G?e_Q?@gCg?U?P?H_BoBw@s?uBE?C_BO@W@S?q?V@u?v_YgLoEmBY@k_w?[wMGFUBc@s`@?WoLCESBL@c?roV_KKEGAz@^?oOUoLCDgBN@e?mOU?KKEGAr@V?oO^GNkFyBz@{_~OcgQKHMC\AN`GO^wOKGAB~A?`?oS_IsDKAh@P?ioR_H[CsA^@K?gOPOHCCWAT@F?coO_GCCO@~@@?`oM_FcBk@|?x?]oNOKCEG@|?{?ooM?GcBWAF?v?`OfWR{HyCxAZ`LOToE[Dc@j@W?YOWoE[ES@j@c?YOM?JcB[At?u?loM?JsBWAz?v?noVWJsD}E]BM`eorGX{LEE`BW@hOtGY[LUElBV`kouGZSLSEpBV@kot_ZSKiETBI`doqwX[MsFSBc`r?zG\WMUFQBj`r_zG\?MiEwBc`r?vWZWMUFMB``s_ww\?MIE{Bk`t?wGZwMmEXBM`eorgXcKuEvB\`mPAo_KOAF~B~A@P??_cOCGFCA@{p@?^[OKFtB{@uo~_\sNsF^Bp@}o{_^sNoF`Br@zO|O^CNOFnBN`gosGYkL]ElC_aPPGWcSQAHBC^aNPFWbkP}G|CDaBP@w`COiGRCYaMPEwa{PeGpCSaJPDWaKPMGdCOaFPBw`kOqGVDLAWPJweKQ}HbCoaYPKge[SYIJDCa_pOwgSSEIFDAa^POGf{RyI@C~aUPJgdkQqH\ClaZ@MwewRuHiC{aZ@MgewRaHiCxaS`Kge_QmHeCiaa`Hgd?SYIGCfa\`Hgd?RuHwCfa[@GwfOQUHqCcaT`GwdGQUHSCc`ROiGS{IIDBA_`PohWScIeDVAi`UOjgTkI}D`Ap`XOlGU[YCDjAv`ZPhoVCJiDrEr@`oogWKJmDzA{`^OoGV{KQELBD`boqWXCZYLnEwb[pmwvSZULhErbYPlWu[ZYLpEvb[pmgv[ZyLxE|b]pngvcZ}MBF?b^poWwCZIL`Epb?@`GoGWMKCEDb?@`goOWaKAEFb@`aWpWWUKGEIbE``gpoWaKWEFbF`aWpWXEK_EIbE@cgpoXQKYERbJ`cGqoXEK]ETbJ@cgqwXQKeETbK`ewr?XuKsE[bL`fwrgYAKwE]bO`fgsWX}LCE_bP@hWsWYYLAEcbQ@iGsgY]LKEhbS@iwt_Y]LQEibU@jWtwYmL[EibV`SGtgTIL[DPbW@RwhgZII[Epae@eWhOXiIUEWaz@Swi_VUIiDsaz`YWnGUaJSDwaq@]wkOViJED{ao@ZWjwUqJUD`a}`Vgj_VyIyD~av@UWjOVAJ]DZaj`Xgj?UUIkDfac`[WmOS]JeDGc_?dgQkHQQKAV`KoeHIgHqCtAZ`MofwRsf?KjEVbJPeGrSXeK|E_bNphGssYULTEkbTosgYcLME~B_`nP@W_{OYGPCHaDPAG`KOiGVCLaEPSgiCTEIfDTaiPXWk{UYJPDiaspWWkCT}JDDcappUWj[TiIxD]ampTgjCT]INDHacPQGg{SeITDKadqm@UgjETmIndZAkHSOiaT?IfdOahhSWhuS{IddNahHQ_hiSiI[dJAexQKhISfIRdGqchP_jMTgIJdEakhP?ieSSIjdCaihPgheSWIVdDaeHTogYTWIFdUa`XP?gUSQIFdDA`hNsfuRxHuc{Q\xMcfURfHrcyQ\XLse}RZHkDXql@LSekTdHfC~QYPNcfsRPH`C{qWpNSeGRvHxCqQ]pKsfgRJH_CzQV`M{d{RpHoClq[`JkdoRbGpCZQKpEkbGPhGuC[QLPFKbOPnGzCZqMPFSboPpG|C\QN@F{bkP|G~C_QN`GSbsQBHAC`qOPGkc?QHHEC`qQ@Gkc[QHHECcqQ@H[c[QTHHCeqQ`HcckQ\HLCgQR@H{dCQ\HQCfqT@ICdCQfH_CkQV`JSd{QrHTCrQT`Kcd[RJH`CkQWpJKeGQtHgCiqYPI{e[QlHQCtQT@L[dKRXH[CvQZpJ[dsRZIMCVQK@QCg{P^GkDWQJPUKakT^GiDAQI@O[acSDGdDTQHpT[icPLH~CPQ_PCcg?PFG^DFQGPQCa?S^G[D@qF`Oc`sSDH~CKqEpOK`gS@ISCJQd`BChSOnGpCHqKpAkbGOhFzDJp~PRK^oSpF}DLQ?@Rc^{SvG@DMqfp?[hwODGCDOQ@`SK_STDGFDPqAPSk__THGIDRQB@TC_kTNIkCEqBpTsisO\GODYqC`U{`CTlF\bnpvhM?\]RcFXbkA[XUw]ETiFadZ@wGxo]YM_Fgbf`xw{W\ENIFRbq@sg|o[]MIFkbb@zW|G[mMYFjbt@rGwW^IMCFsba@{w|w\YNaFSbw@tWxG^]NiFIbc@|gzW^aNsF[b{`ugN{GEC@ML@@O`GO[GUCNAE`COaWPSK]ERBG`DobWPcG}C`AM`GocwQSywPbGrcXQMHFKb]P|G~c]qOxGkcQQRHJcdQSHIKc}QxHZcmqYhL[eqR\HncuppGw[[IMLFFbapqWxS[aMZFJbePrgx{\AMbFRbhPtGys\UMrFVbkPugzc\mMzF]bnpwG{S]E]iNWfjbuhyo|e]cNZfmbtHyW|q^?NOfnBsXzw{}]QNKfdbrhxO{u^GNEfcBxXww}Y]HNBfaro@{K{G^FN@FpRnxvszu\zM~f^Rmhvczm\lMsfYrkhu[zE\dMrfWrjhuCy}\YMyf]Bixt_zm\KMvfRbmXv?yU\OMxfTBmHtGz]\kMcfYbgxu_yI[}McfObghs?yM[{MhfMbiHr_yi[}MdfRBgXswyA[wMkfNBjXrgym^?JyfnA~Hzwnm[AMXfLb_xoOxiZ}MUf?BeHnox]ZuMSe}bdXn_xMZsMQfGB]HqGveZkMLeybbhmww}[uLsexbehmOxeZWMLeubbhlow}Z]MRewbdHm?xUZQMIetbbHlOwm[kKifKBJHqwqmVyNZfma~x^o|qW?NPe?brx_O|A]eKBfiB@XyOoQWKNWeCBuh_w|e][KJfebAhx_oeWWNUeFBtX`g|]]QKNfdbCXxOpA^AKQfpbDH{OpM^GKTfrBDhaw}UWqN?eLBohb?{EXONEfcBIXwwq]XJKeeQRGxcSqEX@K]eNrFHbkpm[cJxdzbcXq?naVONffsayh|?meVCNBdqBpX[W{QUmNffsauH|?lY[SJRfEAtHYgwm[OJQfCasXowlAUMMmdcBkHtwke[MJAfCAoxWGweT{MCd_B`hVwwUTyMCfBAnHogjmZOLbeqbXxk_uYYULAeaBRXgWsqYaK~ehbOXiOsAXwLVekbNhfgtaY[KxegBMxhwriYyKue[BVxjor]XeLSeYbThe_tUYIKoebbKhgorEXYLYeVbVHdotmVaJsdxA|X]onMVUJmdua{H\_m}VILGdrbQh[oseUwJ^doavh[?luUYL_dfbWhXouEUuJEdaAuhZGkUUSIyddamHX_jeeU@}_}O^YYGZALdEpaAp@w_suMZJLcdrqxX[tLoehRYHjSuqYlLCenRRHkssaZDK[ejRDHjSpaYdLgbzR[G~suqNtLCbVPlHhsZAYTE_enPiHksYQZDAm`TOhgRSIIC|AU`FOcgOsGiCC~oe\N}HgSrp~k~We\ROF{Srp}{~KeXNtHer|AX\K_^`RIFxSqP}LK_^ZRIFvsqP|s}geVNkHeRyqXlJGeBQoH^skQWDIOdVQeHUShQTTI_dBQbHSshqSTHsc|QZHNsfASDH_drQYH\seQVTHSdlQVH[SdaU|HGdfQSHYscqUdG{dxQPH^ScAVlGWeDRCHCS`qW\I{cJQmHAS_qTlGcc@QAHDsaaOLFcblPvGys]AMdF?bbPnGxsZaMTFgbJP{Grs]qKtAoaTPKGVSQqDlC[cXQMGcsbQHDCWahPCGisPQI\CCarPBGlsOaJTDo`|P?GnSVQF|DW`vPWG]sTqFdEG`pPcG\SWqFLB[adOuGgSLQILCs`dPNGYSRaE\B?a~P`GVsKQKD@g_|O^GMSEqBl@O_nOUGKsDQBD@?_bOMGHsBqAT?k_POIGEsAQ@d?G_JOCGBs?q?t?C^rO?F|r~p~SFeBv@yiXDXylHRMhaTgiVDXylHRAh]TgieDPih@SyiYTFicdOyhPSUiUTCi^dOifpSAhyT@iYDSii`RYieStiSDIydPQuhQSkiEdHYcxO}g[SeifdEYiHPmi_SYiJDGib@QQgmSbiMdDIbpPUgwSRiGdFyaPQEh?SOiidAiixOqikSJiBdVyk@Oei{SGild@I_pTuiwSDikD?YjPOMiqSAh~DXI_@UUf}Teh|dWY^`UMfyTahyc}i]xNefkRwhwc{i]XM}f_RshrCzi\@MqfMRlhqcyi\XMQfQRbiZcwIfHMIhoR`hndMiZpRqeySz_zo]GMtYOlhUbJXThQu\YGlfU`JYTgAuTUuj^TmiuTYil\Yol^UmJWtjQuDXolPUYJRteqstV?kbUQIxT[Qq\WkkJULJBtbAotWGkhUUJATdQo\V{kPUIJ?t_ApLVolRUjI~T^QtTVckzTzJNt]artV[k\TwJGT\ap|X[jfTtJKt\ArCJeDpAy`YolwUt]_RFH`cpQXhKceUbhPugys[YM\FInaVjjxDzI|h^Mn[VgjvdyY}@]inKVpjqd{y{x^In[VdjwDxi|x]]nYVcjpdyy{P]qnSV_jsdwY|@\}m_V^jgdwYyP]AnCVIjeDwy{`[ml~V?j^TmyvdZulrUyj[TlYu|ZYmwVUjkDviyx\umAVLj`DriwX[}mqVFjldqYzP[amGVRjbDtYwh\QCnAW`KodgQkHQpY@q_wO[WMcFMBjMHfBraHpSwm[XMdfRrhhtKyi\PE[bMpewtsY}LZDMafpRWh[SqITJ[dmqvhZKlmUtRthzs|i]TNQffX\KfuSJHtcuqXXJk]eTJFpdYpwXTkgeMZFXdMpsXQkbELjGxbaqIWvk[EPJEpcIpmXBkcELZEXcepgXIkXeOZE`b}piX?kUuJzDtbApdWpkjEJJI`amqiWikgeIzIXaiqcWkk]EIZCxbypyWgkQeMZC`bmpsWekWD}jEH^qnuWqkcEGZHPaMqQWakReFjDHaApOW^kbeFZGp`mqIW[kQEEJBPaUoqWekIuDzAt`IohWRk^eAZGH_mq?WIkBEOj@@cQoMXBkAeRz?XdAoGXMkee?ZHX_IqWW?kVd~Y~xayn{WljzeBZ@p^enoWKkGD|JAH^Yo]Vt_tOZGL[E}BZ@mhcsqIXTLAe\RNcYQLhEkbqPvGycfQRXHcdIQhHRcnqWHJseaRRHfgzs]YNDEyb`PngGsCiA\?i_POHgAs@y?s~e^vNykGUCZ@|_yoZWKloUvzZtluuxZZlkuuJZTlYunZTl\EpjV`katuZFl`enJVPkUuGYzl_elzW@jauCYxlZenZVxjet{YwlWukzUTjQtjYukjexj[`devIXWkmEwz[PdiquZ`ldejjXPjAuQYnlTerZThkyuWYklSEsjY`ietSZRlgEhjYHi]u]YdliEhJSXlMtCZQlNerZSHkyt?ZKldEfJRpkmsyZHlIepZQXkQsgZBlGEnZQPj}t{YPl_EbZWPg}uAYMlDEpjP`kasUZFlBerzPHlEsOZOlme`jZXgUsGZ[l?eujZHgMuoYAlYE_JNpjYtiX~k}ekjN`jMtaXzkyexJMxmYrkZdloe]J[XfivCXxkwevj[@e}u}XolieYZYxemukXiksEdjKxharKYVkpeezRPeUsqXckyEWJMPeEreXaknEZJJxeyqyXlmnbgxscyI\VMlfUQvx[KmAVDJcdpqpXWskQUPJHdbs}I^TNef^RohwuUJJLd]qvX[klUeZR\hislYWlJuWJKTeEqzX^knV]bo\wSzx]CM|v`bm|w_zp\xNBvVBoDtw{D\\N?vURn|tkzz\YM~V]bi|vkyl\WM}VTBnDtSzn\xMhvUbi\tcyh\ZMivVBi|tsyl\WMnV[BiTuwy`\nMgvRRlDs{zT\MMsvQbkDskzB\^MeVPrkTuKyP\cMcvPBldsWzZ\DMtvObktsKzN\dM_vNjgDr}xv[{m]vMBmLrgzf[xMxV\Belr[zj\uMZV[ReTvKxh\qMXvJrmdrCzl[oMyvJZddqyzO[hmtFIzlHqixK\^mSFWZcxuAz[[bmvfHJm@qUx?\amPFXJcHuMzI[\mrFFjkxp}wu\jmLFZJb`uuwb[RmHV`b`tw_w`]FMFvAro\wSwZ]CMEV?Bntvsv~[@M~v?boDoO{D[BN?vDr_lpcwN[WMBVABadpWwT[HMIu{B^dnGv|ZpL}uzR^\ncv^ZmL|Uyb]|movpZjLzUxr]\nSvRZgLyVTZidtMyl\WmjsBY@d?m_\OOgFr~y?L?A_FOCg@U{J]TnEvZZnlvUyj\dmmvNZhlsV~{?D~y~z^{n|wBrs]?s|D_MNOwAb~E?k~t_KN{v|S?}?c~n_GNzV{c?d~L?L^sOAw?r}M?C~`_ANvvxj|D}]~F^dnqVsS@T|L?X^QODw@RyD{x?L_CNfw?Rx]?K}Z_ANeVqC?}?c}T_GNcvnJvtzu|r]yn\vlb~dz_~v^|NZvks?D~{|h^}NYwCrtU@S|X_SNTvhsADyd?d]gOGwDbsdyX?p]dOJwCrru@S|@_SNNvesADxt?d][OGwBRrDxh?^_MNKwDbqm@_{n_VNJVvRzT|o}~^]NlvyRy|}k}r^iNkVtB|d|W~\^TNuvpb{D{[~D^`NavcrwDxO}B]QN^vbrwTxC}H]ON`vbBtlww|^]LNVVkBpLzG{V]pNDWFsKeADBL__OqwScLME\Ah`gOhwQSLUElAV`IOuWWcHEELAL``ObwRsGmCLAb`COgWOCHeCHA\`@Oew\cFmB|Bn`wO^WZSFUE|@x`mO\wLsM]BdBh_wOywLCMEBTBb_uOxWIsJEAtAt_kOkwIcJmDp@P_hOlwHSJuE@@N_eOnwTSCUD\@H`UOPwKSBe@x@f_qOMwJcBUA|?v_XOWWfSQeH|Cla]PIweCQ]HdCbaVPHWbcRUG|CxaOPLwgCP]IHCZaKPOwhcPEI`CTafPCwhCO}ITCLabPAw_cNMGLBvaCO|W^CN}GDB|`|P?WiSUmIlDnaiPZWkcVuJPE@arP^wmCT}JhDbaxPWWjSVmIxDva{PUWpsXUKdEXbGPdwpCWMKTEDbBPbO[GMSFEBh@t_xtxi{|]Ul~U}j_TnYv\ZqqpXXkjuUjJddm}x^ZnlVpZw|{ZFgbdPtwxs\mMXFXbcPsWyc[UMdFFb^PtwwS\mM@FXb[PsWvc\ULtFRbXPowusZ}LhF@bXPmwusZuLhExbRpiwtKYeLVEfbUpjwuKZEL^ElbaPewxCX}KxFFbOPrwxSYUMXEbcZ?uoZwLsEqBT@jmlvUjjLtqy|\\kTuIjDd`UonWUkIUCjA]CNAH`Do_WO[GU@z?x_\oKwEkB]RjHvcxqZxMKeuQtH`cqQVxKSduRTHXcrQTXLCd]Q`HZcfQVxISduQ`HXchQTXHsd]RLHHceQYxLCcmQLH`cqQPXKScMPvGxcZqMxE{beP~H@c]qNXGKb}P`F\boQLWzsbMNLGtbpQKW{cbMPTHHceQJxDccmPHHBcSQPxCscUR`FrcvPzxLc^ENPHrbuQ\w|SfUPDGFcDQFxCC_eOdG@cJQ@XAc_MOXFzcGP~x@s^uNhGZb{QFW}s`eWtGpcYqKu\ZM|fYrpXyk{vmJutz]|f]tnYWzk]EM~FbbrpxX@k`EO^GRcJqDXBK`uOvG^cPqGXhStEYhLNeeRSxissUYtLHekRPxfstEYhLBe_RSxgsreYPK|eaRMxbkp}WvK\eLrFxasrmWhK|eKRMXaSsEYDKPe^RBx^coeV|KLe?RAx_soeWDKLeARAx_spEWdKDe@RBx^spUW@KXd}RDxeSnmXlJveYQ}XdcnUX`JpeVQ{xdCmuXTJndtRHxcCmUVPKddrRGx[Sq]XTJ^eSQwXZCqEUxKddlRGxYSquUlKpdiRJxeSkuU`KveYQrxisk]YtJJekQqXWCsmUHLNd`RRXNChuRtI^c}QgXVSh]T|IXd]QexQcjMS`IpdHQjxTcgmS\IhdTQbXPCjUSHIxdBQlxOCiMTLIBdQQ^y@SomWZKHeFrCxaKpUWrKVZ~m?v?J_\oIwH_roWwKkD}BB@\c|q^XNKieTZIjdVqkXU[j]TrItd]qnxV[f}SFI@gbSOYHTCUaPPBgeSMyHtB}a`O|gLsEYA|@M_jOPgFsBY@\?u_^OJgCRVY?cuE_LL^gOS?yBs~}_xO@f}SIx~TAu^pOhfxSJyES~]``NtgMRzX|t@}^`O`gRRyyCS}]`HNhfqSHx{DAU`DNbgXRrxyTA}``NPfcSIXxTAm]XOlfVSTxtdDMahMjgYRiYFCyU`lMfgdRfyGsyMaPM`fKSMxrdB}[tO|ggRcYHcwua\MNg_RcxqtCM[hPDgYR`yFCwm`lMHf?SSxodD][DPTgLR]yAsv}ZxOXgGR]Xmt@UZhORgARWy@Cu]_LLdflRlxzszm]xMxfWRtXzCzU\dNVfaR[XwsvM]DLnf]RYXlc{EZTM~iHTBIK\DygbSMgosVI`lPAarSMglsyINlMicBP}huswi\|MYfbRchxsmi^lJqf~Qwh|ski]lJYfrQshzt?ITlOQdbSAhVshi_|IigVQgiCsgIWlIQeRQahbssIR\HyejRQhMsrIRLKycjRIhJsbiY|HIevQOhksaIZlMAcZQIhnsniO|KIcJR?h@s]iL\FabZPugvs\IK|EQbbPqgstRij\TIi~TOimtTIhlTaiVTUictOIglRqiNS}i`tWIe|UQhvSwiptIib|QIh^SkiOtIIe\QQhjSeiWtZIbLUygvToiMtXia\UignTgiIteim|XYjjUWixtcIolXQkRUQjBt_ip|WAkVT}jEtfInLVqlBTyjNtkIvLZIljUmjZtiIs\YYlZUijQsAY?l?]M~F`bmpww{{]UmdVFjiTqYyt[mmPVNjdTrYwt\EmdUzj^Ttyvd\Um@VLjaTsYwT[}g^SPiEq~x_KnuWFKFeAsZyL\EubJPhgruAZ@l_moFWFkAt{I~l_AnjV}jxt{i~\^QnrVojzu?izL_YmzWCjltyi}|]ynvVkj{txI~l]aoBV}jruAIz|_qnFWIjor\XnKv]Z~L|e|uMJF|cIpzX?k\uOJE\cIpnWsk^uJJGlayqRWokbuPjC|aiqRXCkSuHJA\aIobW_kFuDJB\`aozWUkN_soYWLMbfPtgws\yN\Feo^WRkGuDZBL`]r\YFkxUazMDgesDXrkwU_ZLtgUsTXLlCUQzOtc}rhXhkuU]ZMtemrDXzkrU^zKdfusHX\l@UWZJtgEqlXtkkU]ZJTf]rtXPkhU^zNddUspYplMUlZRTjMtlYjlVUmzVDius|YRlPUdzSDhUsXYdlGUiZPti[?DZMl]_@jYTkC?HZOl^uq??dkMuK?AleupJXO?^