CAT(2928,1)

Sparse6:

:~?lo_?O?G?CAK?v?[_LODoBS@_?v?X?MOJoDsAq@Z?t?XOLGE[BU@n?u_[OMgFKCC@z?{_\oKGD{BEAk@E_aOPWFsCA@~@B?aOO_GsCCAJ@g?oOWWJ{C]AR@G_doQgHcDEA`@Q_fORWH{DKA~@T?oOT?KKDqA|@\_loUWJSDaAn@U`H?IgD[Ae@V?i_SoFWB{@y@B?__POHgDCA]@H?b_QoLWE{BYAb@Q_gOSgICDEAZ@N_fOTGIkDMAt@Z_kop_VSJeDpAz`]onGVsKAD~BC`aOpGWkKUEJBB`_oogWKKMEDAo`XOkWTcIiDVAk`ToigTkI}D\Al`VojgS_KIDKBB`Q_oWQKHAC^AF@[om_OsG_DpAP@_Oc?V{G{D|AH@ZOa_UsJWCVAM@ZoloPcJ[CZAf@CO`_TKG[DPAr@PolOSKJODDAc@Ooh_S[ISDDAW`LOeWRcHuCvAZ`MofGUOHaCsAp`K_kGQkH]ClAR`IOcgQSHMChAU`JodWOWGyCIAK`A?bWOgHyCGA_`@_fwVWFYDw@t`]_\GVgFMDu@p`]?[gLoI]B_Ah_v_iGVwGEE?AA`^?_GNoGeB}AI_}_awNSFqBv@i@[Om_LKE_Dr@d@YOXoUkEWDf@a@NoWoRsEOD@@j?zoZONCFcBX?R_GoCghO@Q?l?T_JoEWBCGMCJAC_VOJGDkBI@h?r_^ONwGCGECDA?_rOXwKkEIBH@bat`VwkKUAJFDaaqPVGjkTyIqD]al`VGjOTuIhDTahpSgiCTEI`DQagpRgh{SuISDgae@YWlOSmJOBo`w`Yg]OUeH{Dda_@XwfwUYImC|ak@MwioRqHoDXa[`UwjORiHjCvaZPKgecRMH^CpaWPJGdkQyHQDFaT@QGhGQmHPCfaRPG?kSUKHDC`AqPFWb{PyGvC[aLPE?kkP[JNCXArPBogsSOG\DDAGPBW`[OqIiCIaC`Swi_OaGIDGaB`QWgwOYGDCCa@p?OhsN{I^C?Aeo~OgkNwILB{AaPT_]sT_FpDV@zpVo^SUCFvD_@{ozg\{MuFTBj`uOyG\KM]JSBc`r@YWl?MUFFBa`oov_gKSGF@B^A`oqGW{KYETBJ`cpO_XsSKEXD@@eouGZSLeISBUae?tWhWL]EcDd`i@XwYWUYFeCb`y`HW]_QQEuCS`m`DgZ_PUE]CP`g`CwY?PINuDFacPQWDKAm@T?\_NoFgBs@u?~?__OoGgC[AU@H@`_noWGHKC]AP@J_dORGHkC}A\@R_ioTGIsDaAnCsaXPKwacPYGjCWaKpDw`COiGRCFaBP@W\sM}FZB^`oOvg[SMMFBBW`kougYKK}E`BQ`iOsxKGdWQpHTClQTpJKbOQtGtCkQL`JKbAP^GmciaJhE?d]QkGnciAJXIOamQeGkc]AJXD_biPuGjcTALxD?bePQGwcQaRxIGa]PKHOceAGhHoaMQYGccOqGHB{`{QXG`CfQG@Hk`kPtGYC]QMpBK`kPdGrCKqE`EKdOOlHRCJqS`BC`KQnHTCIqD@Is`?OlGPCJqC`BC`oOVG\CDQF`@c_WQ^GCCgq@PICdGOBHSC@qSp?SbsOBG~C@qN`?Sa[N|GdC?QH_~{_{NzFzCFP~@@k^kN|F|C?P~?~{bONpFyCZP}PEk_sNpFyCFP}P@{ccNjHJBzQQ_}{^GQTHJByQQO}[^CONFnCCP{@@KcsNXFmCfQR?|k]eNVFibppxG{k\oPTFYCSpupDCcWMnFWCbpuPHCcWMlHGBiqPoycbCMbGrBhQK_y[[{QFFOCapr`GcckMVFLCcqQ_xc[GPzFCC^popFscGM@H?B_qOOv{_SLvExCBQ@?vS`KLlEwCIplpAcZCPDEoCQPk`C[c?LNHABSqOOtCYOQFEeCaphPGcYMLBEabNPgGr{XoQBEZC`QO?rkXgOREXCBpe@@CXWOdGOBIpdpAKXIKfESbGaPWpwcQK_HBbCpawpS`wKJEBCMqF?ocW?QrE@ClP_`JC_gJzGKA~qAonsV_Q^HPAzp]PICb[JhDtC[p\`FCcWJVHGAuqPolc\sNPFfBnpx_zsZwMRE{BcPnOxSWWLjEGBYP`ou[YsLTEkBVpj_t[WoJxEMA|pbOnS[SJbFFAxPp_m[U{NDDmBop[?{CrK?f?P_HODgAk@QXwFwb|P}WB[@i?x?V_KoEGO{GaCLAH`DoagPcGyCZAN`GocGDcAy@Z?s_XoKgFCBi@r?}__ONwGKCMAD@s_zO\WNsF}Bz@y_|o^GKSEQBF@e_roXW{s]aNNF_bopwgz{\uM|FWbkptwx[[uMXEibTpjGs{YeLPEWbLPeWqkX]KlE?b@P_WnCVeJnDkaupYwlsVAJ^MdFLreXrSxe[tMZfMrfhrcxq[zM]e{R]hnKxWZrLyFKRdpnCxGZnMPEzRc@mkvW[FM@Ezr\PoSw[ZfLqFCra@mcv?ZPLeEwrZpk{wgZFLdFERX@p[uSZZLcEvRZ@k[tsZ@L^EorV`kStgZRLZEtrV@lSucYhLiEjRTPl[sw[\LOFFrRppksWYfLPEbrPPiSs?[HMEE_r`Pf{r{YVL@EerO@hcrqX|K|e|bNHngryZwK|fBbMxfGweXsMGe~BKxo?rUZ}Kse~bLhf?wAZ{KvevbKHmGrIZ_KpefBMXi?rmY]KydUBKxTgrQT[KtecBGXcWsiXCLHeaBGHgWpyW}LAeKBPhbOs]WqLDfHbChqgpQ[gKReFbdhaGxaW_MVeEBOhg_oyYEKLeDbRX`GsqYUKIeBBdh`?xaWMMVe@b[h__vMWILsd{Bchq?neVmMPfNA{hrgnM[wJpelAzhj_nAYuJndtqzX\cmO[DJaF@qwpoKm?YnJ`EkRUPZ{q{UxKmDnRJPZkl[XTJWEUQt`d[scUhJTEdRQ@Y[uWUZLfDfqr`lCkmUTJKdab`HookY[IJCd_qoxWSjmTzI{d[QmXVSjSXTIvEUQl`d[jOYjLUDXRT@U[q[T^IoESrI@UKicXlKwDTqi`e{iYTPIfdOBWHSOuITAL`eRAfXRwqUS{KceRaehdGhmXOI[eUadxdohaX]IXdHbZhQGuuZWIQdDbeXrWguSWMYeRA_hcggMXGICc|bbxNGwyRsMLcyBbHMgwiReMJe|aZXngeyZwHnctBTxjGeqRULWfHaXHqgeY[gHdeWAWXeGeMXcHacnBVXK?t}Q}L]cmBSXiWdmQyLQeLb?H_OpuWAK[dqa~h[wn}VKJ|d^a|H]okAT{JtdIaqXQok]SgJGdFAsHQ?lIS]JPdDAuxP?liSQJXeJa_XNwpUS?KUdPa^HNgiUR{Icd|A\xN?nqRkJzcxAyHMGmiR_Jhcsa`XKwgYROIFhR_CG@{?ydqKieURIwgcSYIJ?__OoGgD{BE@`?{_\oNWHSCmAX@G_coPwaKPMGdC[aLpEg`[OuGXBc`rOxW\CMeFNBZ`movGWsKaENBI`doqXJkdqQvH]coQVyZTLmexRShjStYZhLMeaR^hhCviWhLQeMRUhbCtYZPKIeGR[hlcoyVpKye_Q{hfcnYX@JMeSQthcclIUpKueWQwhdclyVHJUduQsh\CkyVHJYdsQwh\clyU@IqdaQihXCiyTpJEd]QqhWCjYR@LEcsRRhKcsiPxKye_QPhfccIN`MmbsRig|cyYNHKmboRLgzcrIX@FQeSPuhcc\YLpMAb_RagvcwYLhMafMPjguCxiZxEieyPghnCYYKhL]bMRXgrCuI[hDqa{RcgmcwyJHJ}auR@glCoISxAe`UQggTCiYA`MA_kRagIcwYSx@EdQORhSCCi[p?yfOOOhrcBy@XJq_YQ}gECnY?hMMfIOFgBCxH~xIQdIO@g?Chh~HIIdENyf|cgYWg~YeKNwhbb|x}C~E^dNmfurzxzpL]]}RXfoCuIRw|m]yQ_hNBvHyc|I]fQ]FgSfpyK{{d@QcFbRqASs{[dJNDHPSgpwc{KdBN?f`RoY\Ozi\wRjhsbmxuxKIeGMxf[CoxuHJ}\cR@fXcoHt@Iud]MihVBiYTOyydWMohTbjyR_yE[}Q\hLbgIRWyMcyMahMBhIKPH]bGQUgpcdYKHGmcSP^hCcWIPpDaakQLgjcbIOXDMcIPShACTYOpDEa_QGhBcSiHhCQa[PDgfcPiHXCEaWPBg`CQiDhHM`WQQgVCdH}hAa^eOefyCHyC@GEcCOagOc_INx@u_}P|g~CFiAxFE_qPrgKC[i@HBU_SOvgZCAH~pAM`IN|gQB~IG?}q^UO~ftCNi?O}]^QOCfsC?x{`BM^IOsgXBxiDw|a`aNYgWBuYF?|Y]mOyficMXx`@i][O[fecExxHBm]UO{fdCNXvhC]\}PHf^CQH{Gyq\UNbfpBjXsozQ\iMdfRbliww@E?f?Qje_DGAs@UcvQ\hMSkYUTJAB^@o_vOYwLkEqBb@r_xOYGLSEeMbFRbhPrgyC[}LxE}b]pkwukZQKvE\bMP]gncVmJzD~a~P[Wm[VI]|N_fnrkXu[zInoVrj{d{Y}P^]nQVtjtD|i|@^QmfVTjiTtYy\\QmmVOjkDsYyP\YmsVPjkdsIzX\InyVIj~dqyx`^ym]V}jed~yxp^unsVCj}Dpi~X[UnsVFj}DqY~X[alWVvj{dji~@YumwUejnDiIzhY]nCUbjqDhY{XYQl?VpjPD{isH^MkyVijsdfy|@Xym}USjJDwYqh]AmYUPjfdcyxpXIk]VujGD|Ypp^QnYULjDdzIp`]mmMT{jcd^ix@VumKTyjaD]ywhVemWTvi{Dqimp[mnITljrdZy{pUyn[TQiiD{IiX]}i]VjjudSYi@]qnCTKjqDRi{XSuhlStiYTIyddQug|S\iMTEYb\Pin[SIjwDBI|xOmnISLjrdBy{pOyg@R}h~t?y_TOEfwVYh}duy^X\efcVUjkC|IyxNMmwRnhwdvi]@\ufWV^hvDwY\h]AlqSOiHDmiaHZakIU}jBdoIopZ}mAUAj`d`IwPWMlwTfj\dYIlHZuj}Tcj?dXYo@UYjST`iuDWylXUIisUGjDDUYj@Wei{THidDWIjxSmksTEjMDPyh@XmkmTBjKdPYr@SQi?UtjZdOiupSEhmSyi[dNIf@RmiiSmijdKIipQ}hOTZiTDVYdHTqhCUhjTdHIcXYil]S`iODkIbxZEgkSpiXdEIePP]geUsiIdkia`ZMhySDiBDNyfpOQgMSdiRdAY`@QYfoTriyc}im`NefiTohzd[i]pVEts?M_GOBw@{?y?`KceRRHXdCqeXNKleVrJheCrIXbKxe\rMgXcKyEZBV`ioth^SnqVvJsdzQ|X\CmiVRJddrqxhNcfyRzHfcsqYHJ[duQxH_cnqViiLS}i`TKifTRY\|NEf`RkhvSzZ^xnevvZyl}U~Z^tmgvZZkLvuyr\tnCvNZqLsu{B\DnKufZSLyusb]dnWu^ZwLgu|rYDngtvZxL]U}rVTnotzY}L}unr^tj_vbYvLxUmR]DjOvZYuLvulR\t`wtzY~KOUnbB|mCtVZbLUuwbTdi_vHYhLrUib[llktNYdLmUhbZliGudYcLhutBS\h{vNY`LsugB\DmCsxY]LpufR[ThOu`YTLgucrX|hGvTZkLGUyrQLkcsRYFLduaBXTkosBZLL@urbOTmOrvX|LrU^B[lf_uvXyLmu]RZdlSrnZVKzUtbMlfKunZUKyU[bYlnWrFZwKqu|rKde?vfZtKouWb]dl_qrZYKjuuRJDl{qhZ_KiuTbZtcSvxXFL~UPb^lngqDZzKaU}RG\kSprWyL`uMrWdk?plZ@K[UobE|bKupWtLlULBZLb?uLWqLcUKRW|a{uPWlLbupbDtagttWkL\uIrVda[u|Z_KSuvrDDaOu@WeL`UHRWLkKpBZCKPUpRC\`gu\ZLKKUERXd`mozW[ldeDJXP`IuQWRkIuDzAtjOoRYuKDulR@T_WtrWGL[U@rU|gst`YMLVujbP|gktbYrLEUabUTecsHXjLBUYbOleWr|XgL?UXrN|dCsnXQLJUSrRDhkq^XOLKuebHtb{rXX@KvUOBLlbor^XpK^UNRMD_{qVWPKeuCBHdc_oXWMKdUQR@l_KqtX[KAuUr?ddso@X]K@UVr?K?u?Z?LnXcfiSDH}dDQbhOshIStIUdhQthXsliVDJ]LDEbbOpdGq[XIaTPKgdsNYF\Bq`pOyg[sLYE|BY`^OpgWSEiBd@m\LMffQrixtcyu~K^`noVwj{l}M~H^NngVrjx\{u}X]~NpvoR{l{?~H]{NoVnb{Lzs~D]mnVvjZtty}|Z^GMMvqbbt{cw~^bNQVhb{lyS~H^_NOvwbs\}C|D]QNdvdBxdxK}Z]PNfvbrxtx?}`]rNEVlRptzO{Z]rNCvlRp\zO{T\~m~V^ZnDvezn\sNlVvBmtvS}v\oNkVZrzLuw}n^PMtvsrll|GzX^^MsvvblT|szP]oMqvkbktzCzN^SMpVXBytuK}j]oMmVkbjtzCyz\XNaVUrwTtg}F\UNavUBw|{Wyn\RmivTJiLtAyd\CN]vnbgtzoyJ^@M_vOrv|sG}@^QM_Vsrft|Cx~[zNkvNRy|ro}p[wNiVMbylrc}l[tN[vLrv\rW|t[qN[vmredrK|t[nNcvqBeD{gxb[kN[VJbutqs|n]uMSvmBd\z[xT[bN`VHRwdqO}F[`NavprcD{WxD[YNlVvBb\po}v[VNmvERz|p_}|[PmHvCjatpQwj[HmDVAJ_lo]wL]iNKVebtdyk{r]fNIviRq|y_{l\pM}V]rm\vgzd\^N?VWRoTu?{B]ZMbvfRhLxoyP]]MRVgBdDx{xN]EMFVaBaDw[w^[JN@v`R`lwOwX\LL~v?Rh|o?y\[CMdV?bhdoKyVaPD\qnHVkjaTtIxiqTXiklTaitTXn~Gc[?AHM~}aQpGGSkPyDRC[`RpLGR{RaDFCu`OpFgQ[HYHBASaMpJgO[RICJA?aWpJgN[FyHfCo_}pLGMkRaBrCu_zoNgdKCIHZ@?aTpHG@KQI?ZCe_Do@Gd[?IHZ?EaSn|V}Z~D~m~x^|o{g^{OIFnBsa?ozG^KNAFzBm`|osGQKGqEfBM`Fo`gXKGiEZAG`doZg[KFIFJ@o`poYG[{EqFV@i`soTgU{DiDv@W`[oSg_{OaAb@SaAokGH{JQAVAq_epAgFKBqG^CK_\oeGDkHq@bAY_VoigDKAiD^?e`UoGGYkLa@JBU_PougB[Ly?~B[_MoDGE[@a@n?U_YoPG@{@IAR?O_bnygVkK@~]~k`^nxGWZ}aEM~e`aoVfz{E@~F@[^onvGKZ|aBM~Y_qnrga{P`}Y~OaLnsgaJ|YGi~SaH_AO@g?k?]?R?G_CoAG?{?i?X?J_DOBG@[?i?V?K_CoAG?|IidXQjhUsjyTsya\RMifWRjht{x}\BM_fNrgXsCyI\HMbfPRgxsdeMrJXckoUWjKLd]qpXXkiUTjIldEqfXQkfuSJHt_YoPWFkCuAz@UEfBP`foqWXkKmB^@r_woYWLkEm@b?l_VoIWD[A\~a~t^xn|v~Z~d}}~b^onuVzj|mSlIndLQkxRCjES`IhdIQjXQSimTtHZd^QVXVcd}RLHZctQVxLCduQ\ItchQmXICj]RDHRcfQWXKcdETPHFdUQPXTScMPxIpc_QkxFsi}PpIPc\QdXEshMPlHrc\Q\xFCfUSlGpdLQLXRCbMRXGpcwQLXLsbMPZGjcVqJxDkamPBG^cPqHXDKa]ULGXddQFXXC`mU@GXdaQFXWS`mOdIbdQQDxSs`UOXI\cGQgX@sh}PHIJcSQbXPsa]SHG^cPQ`xCCgeOXHTcGQUX@sd]OdHHceQDxAccmKLJBdaP`XWCWMO@ItcAQmX?Sj]TtFzd^P~xVc^uNhHVb{QUW}sdUN\HHceP{w}CcmNPGFcDPzW|S_eNHGFcDPww{s_eRLF\boQYwzseeMlH`cqPuxKS\eLlG~bXQNWuccELLHBbTQPwtCcUR|ETd@PeXOCX]RpENc}PcxNSXEKPJFbEQqwpSkeJtIJdFP]WmsguJxIDb?QaWnsg]J`IbdRP\XScVMSxDjdOPZxRsUuJDHnanQ[WkCeuRdDXamQ\wjSfURpDRc}PTxNSTUILIBadQ_WhCf}MTExbfPnWxcZmM`ElbiPkWySY}L@E~bPPowsc[EKxFFbaPewxCX}I`DfaePYWhsUUHtDBaaPNwfcSE_S|`]qnWtpIwt[UmTVKjdv_JoTwEzt\{m|u~z_LoAwD[Cm@wnKV]JvD|b?p^y?ckuU`OHgBQryAC~}_hOBgHS?X~D@]_tN|f|SEX}TA}`dNvgWR|YDC}u^`OlfvSIxzdAM]tOffnSHYBc|U]pO^gORty@s{}_TNRgERsXxD?m]XONfdSBXutAm\tOlf[SIXuDA}`dMtgWRkyBcwu`@MPgNRbxotAU[PObfDSHxoD@]_tMDf@SEYACv}ZtOTgHR^XjTB}YlO|ekSMyEctEYhOxgZRSyFSqU`xKbeOSNyEcq]XTOveSSMY@Cl]_HJTdhS@xqsy}[hMjfURcxmsy]ZpMheyRhXlsyMZdM^ewRgXrCtu[xL`fLRVxwSsm]LLNfaRRXgczuYPN@ebRnxfs}MY@Nde`RwX{sre^TK|fsRMxdco}WdKpeVRCX`CueZXKLetRAx_SrMWLKveARLX_CuMVxLfd~RXX\SnEV\JtduQ{xbSmUVPK^drRFXZsn]VDJzdoQ}XasleWhJ\eKQuo@G?k?Y?H?E_Ay@L?]_JC\aNpGUlJUtjUtnYxl[WZ[L}EzBT`kotvxj{|}a~R^jntXakpeWnK^eLrFXcKqUXFKfeTrIYdDT}hHT\iRTUycdTUhPTXiRTTylTP}hDThirTGYbTUEjHSXiMTWyeDCMa@StiXSPY`tPegXSZiGTFY_DP}hDSDi@TGY^TUEjHR~h}TWylDM}jLRpitS{yXTTEi\RLhfTSydtKehTRFiUSpYdTJ}hXRBh_TJyVdSudtTJh[TQYUTR]dlSzhYTMYjTIui|QpimSjyidI]ipQjijSiYhtIEidQdigSgyhDHmc|TLidSfYMDR]bhSzgxTMYLTREb\StguTKyfdEUi@Phi^SXyJtSMbDTFgoTPYgTDeaxTFiaSUyfdDMi@PVi^STYaTNUfpSVhzTDY\DO]fXSJhtTAYPDLEcXRThDSsyYtGMetQFhkS`YNdHUc@QXg~SdyMtG}btQRg{ScYHdLuf@PPgfSvyGtMMaTRfgcSxZ?D^mnlV|j~T}Z?T^MoHVtjwU@z@D\}oXVbkDTwYzT`MmpWPjmUByod[ukPVPjBTryyTZml|VVj]TtYud]]nPUxjZTxY|TYMlLVnjuThYrdaEl@WdjNUGyqta]pTUZjKUIYqDYekhUljHTiyttWmldUNjWTbYnt[]kDVJj?TqYwDVejxVDi|TozAdVMopTvkJT\ZBTUuo|TpkMTZzDdeerXWpkVUYzJDeUqtXfkjUWzJddEr@XTknUSzMdcuqTXvk{URzGtfuqPXzkaU^zOtb}qDYJk_UaZOTbusHWxk\U_ZLtbMrdWvkwULZPdiUs`YhlFUhzRtj]tDYzlOUmZRDjEsxYtlLUkzQTimt\YVlIUjO?Tkyty?ElhUoO?dlAt}?AlcUozWo?YuZZC?AUq~