CAT(3072,2)

Sparse6:

:~?o?_?O?G?C?s?H?E_AoGoB{@u?|?__POGWDwAU@F?c_ROIGC{CC@t?w_[oM?EkB[@t?u?[oJGDsAu@k?q_Y?LWEwBM@]?h_T_KWE?AiAw@O_hOSWFsCA@~@J_eOQgG_DEAK@Q_a_SGF_C]@y@H_\_QGGGCyAE@N_`?RWB[@q?t?[_LoEgQ_FaBp@w_zO\wMkFUBn@u_wOZwLsFMBd@p_joUGIsDiAv@X_h_\GM_DUBg@S_uoZGL[EaBT@h_q_\gKwF]BK@t_pOXGK[FGBB@r?oO[OJ{EwAx@o?nOZoJk@]?p?X_JODgAsLK?n?W_Kov?A{@e?p?`_POGGDKAm@T@^_ooWGJcDyAzCH@zo}W^CNeFnBw`xO{w]KNYFhBt`u?zg\gNAFUBn`y?|w]oNeFiBw`poxG[SMEF@B^`s?vw\OMEFQB_`_OnwVsJyE@A~`_oowWSKMEDB@`aOpWWsKUEHBE`fOrwXkLQEjBR`louWZSLyEzB[`m_zgZoNAEwBn`x?tg]GL]FeBW`w_uWZWNMFcBY`h_xW[wLUFKBS`g_wwYOMQE_Ba`k?rgYoK}EmBL`DobGPkGyC`AN`HocWQSG]CJAE`CoaGPSGKFjAC@zO|?OSLGC@BO?~osOOKJkEVA|@eOn?XSK[DjBG@ZOqOU{JGEXAs@dokoXSMkD\Bl@UOz?TkK_DRBH@TopoTSIaDLAf`s?gwS_MiDIBh`OoggSCHsFJBf@Nox_RsHoFZAY@uOeo\[MwCpAX@wOdo\{HUClAS_~?mGVOFuBwAx`V_]gU?FmBqApbK_CgAK@A?f?T_IOCGAS@ELg?F_CoAGwo@M?j?S_EOAw@S]C?\?N_EpzOWcKUELBN`eorgBS@q?v?e_SOHwFkBq@vAL`DobGPsHAC^AP`HOcwPkGqCVAO`FObwQKHMCdAD`Bo`gPSGeCP@x_|o]gNsFuBx@~`?o_GN{GACBAt`ZolgT{JED`A_`POgWRSHmCxAT`JOdHG_buPvG{c_QNhF{bSPpGvC\QL`FKauP\GkcXaFxBgbQPcG]cLAJXBWayOwGkcAq@x?s_eOTGGcEqBH@[`sODGCCNqF`?[`GQ@G}CHqCPF{^cPbFzCVqK?~S^gPpFzC\P}PFK`ONlGUB{QDO}{^WO\GNBzqC?~CacNfGjByqI_}cb?N`GpBxP{PD{^?OrFqCKP{PA{bkNZFnC]pz`FcXMKhETbHpdGqkXeKvEYbNPfWrcYALBE^bQPggs[YmLXElbVpjguC[qM\FLcW`yhE?]qNUGncX`xxE_]aPcFhcY`wXEo]INEGvbqaLg{ob]NGGtc]@vhFW]APyF^bmaIgzWamMwGhbkAHgzGaaMsGfbiaGwywaQPIFUbiAGWyWaIMcG_bg`~wxw_AM_G@bfAAH@O[qMYGHcG`qxAW[eOcFIbc@|Wwo^QMMFrb\@nWvWZ}LwE}b]@oGwOZiLuF@b]`oGvo[EMCE~ba`lWwWZQMGEubZ`owvG[ULoFCb[@pguw[]LqFGbg@kWyGZMM]EqbW`sguW\QLcFRbV`tgu?\]L[FTbq@iwt_]YLYFdaU`igdwYaH[Ehbo`HwdG]IHOFbaY`qWe_[mHeFIbt@KG|_RINUCpbGPcgqKWsLLEMBRpboskb_KTEKC[papFSWeKNEGc^@`HG?WYP}EDb?p_go[ZSJ~E?BZPl?nsVkOnD|CKp^@BCVSPLDvCSP\`C{YSJdEfAxph_mcYOJ^EbAwpg_mCUoM|DmBoPZOz{UWK~DgBOPgOk{TaIrDVai@~wio_EIiG?am@zW|oTiN]DZbM`Vgr_TuI}E]ao@uWzOUIMoD`aZaGgf?aAHkG`cD`SX@gTMOWDQcB@Rh?wTAOIDNcI@MXAoRmOiCyad`~ghg^uIWF{a]pNgfcXcINEZAape_gs`gIPDICMPQPB[_{I@C~CFQC?gKSOODGCA`POp?[QEHFCabJ@Fgr?QAKmC^bJ@EwqwPqGyEWaKPEWbSP]GlCTaFPBW`cOkPFGdADPAPCc^oGbF}AFp~OaCPGNNCRBspD?|COYGNCGcY@@HEOOUPeCBa?@iG_OYiGAEh`}`vW^w\mF{F[aT@]GdWViHWDxap`HgkgQUJGCc`}@YWlWNiJSBzex_@G?k?Y[aESbIpcwqsXaKnEgbTPiWt[YuLXEobVpjguSZMLbE{b\pmgvkZ}L|F?b`PoWw[[UMHFLbfPrGx{\EM`FSbhpsgyk\]MlFYbkPuWzc\uMvF_bnPvw{k]YNHFfbspyG|S]qNV?t_ZoLgFSBa@r?\_NoFgB{@y?z?`_POGGDSAm@R?k_UoJgD{BE@`?s_XOKwI[DUAh@R_ioTGJSDmAr@X_loUgIsDaAn@a_poXGccQYHJChaSPHwdSQqHVClaVpJgeCRIHbCtaXpLGpcWmKTD}b?P^wnCViJrDVakpUGj{TyIzD`apPWGe{RaHlCxa\pMggCSEH~C]aNpGGbcPmGzCHaDpAg`{PEG`CRaHPDG^[NiFxB|`~o~g^kN}F|C?a@P?W_COIGBCDaAP?w_[OUGHCEaCP@w_sOaGNPkGqSWyKlCGa\PCGgSOqH|EG`fOsGoSLQKLAgazOkGnsIqJt@{atO_GmSUqBt@q_vO\gMCNYBhBy_uO{gKCNIBPBy_qO|gJCOiAhCQ_mPBgCcHy@PAa_UOhgDcDy@P@U_QOUgBCFiC@?a_}OFgAs?y?d?E_DO?g?cMy?PBi_?OxfzcQH~HCi^oPHgpB|X}pEAbANsgqb{h}XEMbGNpgfBziHw~Aa_NngbB{H|pC]aINnftcEiB?}u^WOXgFb{X}X@E__NqftB~H|G~i^ONzgZbxIF?}I`kNbfncUYJ?}EamN_fncVX{HD}^?P]gUbvHzhA}]{OmfkcCiA_|m]sORgeBsXyPCuaUNOffrrXxtDg]ZP[FfSUpx{{C``NAGXRoqEKzwahN?GisT`v|Dc\vM|GjrnAJC{[\zM{Fcrq@v[z_]FNAF\RoPvLES\nPcFYsWputAg\dOkFYSIpu[y{b@MpGosW`uD?O\\MkGAs?ptkyi\RMjfMb|h}gx}^gM]fLbgHsOxi[wM`fJbxXrG}][oNefICTXqhDQakMUg_bcyG?xE[cO~ggbbxq@DMacMMglBayJ_wuauMKg_baiG?wa[QO~fAcLXopBM[MOsgOb_iCWwQ`CMBf~b_Xo?~u^{L~e~Bxhng}]ZwNdfpB]XnO}QZuNbe{Buxmo|eZmNYfjbbhq?|a]kMNfBBqhog{m[MNKfcb]Hwwv]]OLue}bphno{UZwNCeyBmHmgziZeMxfZBbXugwm\mMKc}bgxNwyUR{McfRBZHt?um\MLieqB~X~wuY^{LdeorWhk\?oY~L]GFSBPkCts\JL[FPrUpsctg]hNTEkRUPy[s{\~LPF_RS@vsswalPSEerRAIlCWYTPDEdrQQG{}cYJLBFtRy@gcrwazK~GnRNQJ|A[XnKxGSrMADCxOXhMUEZRdPekgMSJICeVcGxe@AIX[O`gZbIyEoqqXYOwf{BIH~Gqe^mKif?bGHnwqE[?K^ewBFXmOpyZaK[fMa`hrog]SOM^fRBEXt?pm\MKYeJcMYFWpYWoOyfVBDXaWyu\WKSeGCHiC_pIWaOddDqahPKo{afKLGhRBaIKzGWHMsEBRkp_knwZ\LnE?Q~pllAsVvOnD}sJ`^cnaVtJxfCA|X]wwiVkMHdyQ{h][m{\@JpFPQ{@sKmo_LJmGCQzQ?{mK_^JdGGqxAAC~kU~J]F}R}`Zklg``J[GXQuqEL@GSdOSDIQcqA[l]UrJWfmatHYo|yUiN[fhasXyglM]gJQfdArhx_lA]UJNd_QnxWKkG[nJCFKqoprCu{UNJDEuqp`lsjg]LIzFaqmPwch[]`NQDJQdPyKjWZjIwEyQlpm\C_TfItGdQlAHKjETdIodRbehTGxq[uIgfuAhX|giY^UIcdNB[HS?vIS}LpdLcSyIGhuacI[gjaeYJGhiaoIWc|B_xoOfqRuMCfHa]HqOfe[aHvcyB]XnWfYZsHtgEA[XMP?yReOLcvQ[HL{euRVHkgdaYYHgeiROPKckqUxJSycQ`HQFTqSPtTAOQ^HLGRSHPHsck\^MpCdQR@uC|WQJHEFkRtpGcqSZNKfEsrH`lCsWWTKKEbrQ@`[roSZKzDFRM`Pcg?VLIADsQ_P[{m?XDJaEQQwPc[rGSbKrDFrKPQCk_VRJIDtqqP\SkkTxJLD^Qr@VkisWNImECqjp`CtGRDLSCqRSpK[igQ~IkCoqipKCiCQlIbCjqg`JCdoYjH]EjQVPi{dSRJHfChqT@KsoCQPKBCcqPp_ScCY@HBE`QO`gLaS?N?H_COBw@k?y?`?Q_GuKO@S?q?V?F_CoAG@[?q?T?R_IoDHlku}Z\LoexR[XmsvaZnLze{r]hnkvqZ|L~f?R_Xo[wI[HMDfBr`hpCwe[TMJfErbHpsw}[`BF`cOqWYKLIE`BU`jouGZ[LiEr@O_hOSWC[AQ@J?z_]oNGFsCA@~@?_^ONwG{CeAP@B__oOgOkG]CLAH`DOaGNSFeBv@{_~O^WO[GICHAB`AO_gTcIyDZAb`QOhWSsIaDNA\`NofgRKHaCnH|c~q^hOCgESDLWelRUXhcsyYZLHedrQhgssaYNK}e^rNXOkgQSFKmeWRJxOsgaSNKOeHRCXPKgmSTILdFQbH^CniVrJqdyQ{x\KmmVTIPdFqcHQShQSfIUdIqdxJSdmQrHLcfqRhGccYQJHFccqQHG[cIQBH@c`qOj`@oOwL[AMAv?r_|mgv~[@LsV?B\LlOvxZTL}u~bY\nkudZxLgu}bYDl_u`ZVLhUtbYLnWuZZwLfU|rX|j{t^Z?LWunbUDiguNZHLTuiRXDi?vpZuLOu|rSThsstY^LLufbRdmGs\ZcLGUwrP|l{s\Z`LGUwBP|gst\YJLUujBPdiKsJYdLBU`rSdo[sHYAMBV@RO\gGuHZDLAU_rWtfstBX}LPU^BSDfctvXyL]unBN\fWv~[@K{V?BM|j[rlYuK{UlRM|nSrZZtKvU|RL|kgrZZKKvuqrLte_vzXhL~UXr^dj{rRXgL_UnbK|eOsLYDKquXbO|gCrDY?Kpu^rKLfoq|X}KoU^RJ|dktdYsKmukrJdhwqpY^KlUfRJLmGqXZcKfUwrHlksqXZNKfUrbHlg_qVYIKcuaRHTccrDXJKpuQbKLcKsbXDLHucbGdcKrHXDKrUPBKldCq@XAKfuSBGLb[vdWwLxuMR]dbkvdW{LyUMb]\bSvJWsLruLb[tbCuBWrL`uKbWTawtdWoLYUJrU\i_pvW{LRuMbStiKpVYcKUuJBSlhOpVYTKUudbDdfOpPXtKTU[rDLa[qPWdKbuPbCtcWhFXGIQuPqcd`opzW\K^uNbBtioolYmKKUjRA|_wpRWNKTUIB@lgsoXYKKDUar@\_OpbWEKXU@RE\g_n|YIK?UaQ~|b?nvV|KVUJq~dbsnjW~JzuNa}t^GpjVsKZULA}\aOn`VpKPtzrCTnWnXVmL{TzR]|kgnRZKJtuqq|TncnBVaL|u}a{DdGmhXSJjUSqyl[{uLVOLaTrbWl[suBZBJdtrBWToGmJ[CJbv?qwtmgl|U|LstnB\DZ?qjUqKjtkRItl{lZZ`JVuwAttd?lFU`KgtgbH|XkwLU[MBv@QrldGkHUBKiUSqollcjzT~LluuantVCsbYQIxucqmTlojPTiLnTYRZlj_jJYyIrumQktdSirXVIluTajTTKq|TTKoTTBJ|SsvbTNLwtRb]LSkppTKKZtQbFLngiLZzIaU}QglRwvdT?LyTNr]\mwhvS|LwUzqfdR[sBX~IZTLRODRGstSsLMTKrR\hOh^YUIWudQeDQwr`XqIUU[QdlP{utS\LktFbZ\PCt^SRLWtCbUDmkg\ZkIGUzQ`|Ocv\SILwTAB\|OWrvSFK{u]a_lOCv|S?L}S~r^lNotRR}LTs~RTToGfrRzMAV?q^TNKuxRtLms|BZtN?v~[@HxV?A]LfKfTXtHuU\A\\egfBXkHpuYq[TLkp@R\KOsvBB|mkepRYLuuzAZLc?eXXAHfUOQXldoeVX\HcuUqXTKWufZTHcUtAW|aGeFRDKPspBCdh[e@YXH`UeAWLJ[r`QxKxU[QVDjWdhYvHZUlQUlJGvNQrLqskR[tI{tzQoL]SjbV\jgd@YxHOumAR|HctLYgHLsebS|egclQWKuUYqQ|mkcfZlHIuzAQdH?v\QQLwScR\|Gso~QNKOsbbCDdccXQJKlSabJDGOulQELkS`RY|F[pNWdGyuHaMtFGuNZHGyS[rXDh[bTYWGsueQL\^_oNVyKCt}R@D\goBWBJmTur?TZcmRUyJdTmqxDYol~UjJ_tiawDXSorWYJJtdbB\VOjZTjIzT\QldT{kdT`JITWAq\TWkLTWJCTTqo|WoiBUMI`tbQgT]OhpVdI\TwqfLQcmbSjJhtIayTY?hPSfJNTHar|Q?jtSaI}TGQn\`?gtS[KHUCQb\`KgnWTIKuDAbDPSiNTHIJTQAadUGgXTcIEtAqk\OGkRUJIATaa_\Msi`RmIhTSQ\|TofHRdImtVa[tLSfpRuHjsta]|LKlfRQJYstAudK{llRPJ[SsAu|]Wd|Q|JsTxqV|Jgk^Q{JGsmqqDUwdVToHUtZqTdLwdPR_HTSvqTLIWfRRfHRshQ\DIOkrUYHPSgqrDV[cxTwHNSfQnLG[mzQHJnsaAzt\[cBQBJks_azDW?b|UAH?T_QN|FgbxPwG}s]QN\F?lHPnJRS[QslEsmFPmJaSZAwTEWlNPfJSsYAtC?Q?J?EkOuFzCDaIpHWbkVUKJD{YILHEbb[PmWu{Aq@Z?m_joUGIsTQIlDTalpVGjSRqH|C|aEPBg`kNiFxBzjoTwi{L\imxVZjjtuYzDZelvUyjQThislXaktUXj@t`YodVuj|T~iwTZyltS}iZTMiUTJidlMQfLRdh`spYWdHUchQRhHScIQLFmbzP{gvSZILlEibVPhgssYyLTEYbNPggrSYIK}Q@IBc~QNxFcgERtGzc{QMXEsfuPdHtcYQ\xECfMOdHTcJQUXAcd]PLGTcQQDxASaeO\H\cGQUx@cd}P@GLcPQBxAC`}NHH^brQUw{SduMlF\boPuwzs\eOtFDbcQFXBC[]MTGZbfQFWxc`eRtExc}PnXNCZmM\EjbdPiWxcY]L@FpbQP{wsS]}KLFHbaP`WoS[]J`FdayPxwmS]MRPDXalQYwjce]IXG@agQ@Whs_MP|D@c]POwgccEG|FBaOPnwbc[EPtBzcZO~XFCNeO@BfcAOyx?SMeEtE~`mPowZs[EEpFxbzOtWYs^UEPFh`dPzWXc]mQDA|`_QPxGcJ}DlFn`[P{wVS^EC@Hp`AQZWOSe}AlFh_kPywJS]uR\?x_]Q[XLcBmMl?`blOHWzCAM?xHB_LQPwBscU?hH`cqOEXKS@]Rc~v^|Q\xMb~eRK~jctNzxLB}uM_~^biNwwyR}ENk}nb{Nkw}bzD|DHHceNhvsccmNw}\b~Nfw~RyEQg}VckNexIrxd{HF\boNaWzrw]Q[|~chN_xIBwER{{jd@NJxOBquOS{L]GQ@v`s_eLo{F]DPnV`CZmPSzp\xQJxDbm|uxG^cPMwXCBl}PGzPcSMtXCrlLt|Gp\`QLVWCbLsPH`cqMbXKRgmNsx|b~M^w~bgDr`HHceM\VMScmM_xdbiMYWyRe]OSxN[eQAVIC_\p`Gj[XQJvDsauQ[whcgMIvDcdMLdDRbYPTWusT]JHCParPDWlCPMFXCVaLO{WbCM}C|E@`PP^wSCVuH\AR`JPKwQcREELAP``ObwWcGuK\AJ`CPcwOsXEBXDJ_tPPwLCSeKx@bbNOXwKcXmD`@D`XOQWGsJU@|AX_`OfWGCHm@LCh_TPJWDCQmJT?N_HPZwACUuI{~XapNvWkB|l||BP^\OsvvcK}Jk}t^[P]wnBz\|P@J^UORvtSCt{`@t^IO]VqSF]??|t]zN~v~bvLzS~D]sNovkr{Dz@@z_~NXVkSFuAw|Z_oNVWJrt|yd?F]gO@Vhs?LyW|p]dNZVlrseHs|Ba]NPvgcR|xx@P_iNNwIRsDxlAd]\OiVfCI\x_}J]YNbvpbrLw|?v]POKvcCBUHC{XaRNFWcbpm@W{R_WNDwDrpTvg~p\{N|V]r~MDSzh`VMzWTbmmGOzfaAMww_rmUF?zV`qMuw[RlduTET\fPeVXcX\tdEl\ZPkVUcY}Bcyl\WOZwMBi|ygyf]kMivirid}cy`^jMhVybiLst?H\NOBVRc?mKOyTbEMeWpRh]F{yBa@M`vOcODrk~L^gM]vxrfdvsxj[vM~v^betzox^]}MWvnReDqo{d[lNIVJbq\~GxR^sMTv{rdTqLCJ[cPBvHSOt}Kx@[aNqvGR{ds[w~\HMNVQBbmHgwx[YPMWerb]Fcwb`zMHw]baTowyz[OMnVBrjdokzD[KMqVWr`lw?wP]AMDV_R`KdYQnHWcmQVhJmX|Sje_TJxgTQuhHK|iRRMYdCrmhHKHiSRBYcsomhXJziVQ}YdSn]dlS\hYTEYbTJMdPSFhRTAYTTOmdHQ\hNSgySDHmchRHhKSpyQtKUcPQBhES`yPTGUbHS^iPSYYKtQEfpOdgPS|Y]tA]blOLgDS]YNT?}_HQlgCSjy?tJE_`N~gIS?yAT?EdpNxh]R}yVS~u^hO`gMR|x}T@}d|Nfh`RyyWC}e^DR\fqSvy[C}E]tS@fnT@XzdOM`|NRffSNYFS|E]DRzfbS~xwdNu\`OhfXSIxudAufDMjfVSxxtdMUf\MRfJS{y]CxUaLMLgdRcYHCw}[PRlhsRaxotMm[@MffARiXoSyUZ\LtexR]XmCv]ZTMZeuReXrcuea|LPeiSWYKStMbxLJg~RRxhdGEYHLzebR^XhCv}XdOVeYSEYBSr]XXPLeWSSXdtC}XTNpeSRzxcs}uX@PXgmRHXcTDmgdKZiJRFyacpuWhNHeKRrXas{m\xKNeHRoXvspEVxNTfkR?X^s|]gXJpiGQ|Y`snMVPMbdrRfxsCmUetJbhjQvyZCmEUtPndmSYxZDEu`dJTdjSJyEClMUXPpdgS\YMSk}YxJHeoQqxjsk]TtLbd]RXxVsuU`hJDd_SMYEskMThP@d[SPXUtCMe`InhhQkyYcjETPKBdUR@xTSoUTLRNdQSrYXSiMYlI\elQgXjCh}StMzdKRmXQsz]S`JjdIQzxQSmuc\IJdFScyQCguSHPRdCSTxOtDSYULNEeubJC|aisbYMkStuJPl\qsbVYlFuPJIlcYqbXGkhuTjFLdipzXWk\uJJK\bArNWmkquBJ@|_aofWIkGtyjLLeqn^VkkttxI~l]aoBV}jruKiz|bYnFWsjouRiyLcim^XKjeuVIw|eAmVX]jct|IvL^AlnVqjYuOiu\cAl^Uok^tdi}|XinvUWj{tciv\ZykjUOj]u@ipl_Ik^WCjDt`IhLWaiZUEidt^is\YYkFU?jQu\InLVqrrTykzuDIm\`ajnWUiyuZillfIjbXoivtXirlUilBTgjNtXIy\\QjFVUiotUjN\TyrzT[k~u`iilgiirYGijtRjOLgQifYAiguEig\`yiNW[iatNJCLSApJS}kPtoIe|RimJSwj`tiIeLYqhjUiiX`dOqwXeux\JlnVPzZTseuD\FmcUpzWdsmxt[Vm^VEzfdpexh[RmZVCZfDpUxdZ|l{VKZ^Tq}v`[`mMUzzbtmuvP[Bl~Uyz[toEv@[DmCUxZ_tmMu\\@lhVPZYDsMuP[JleVBzXTouvdYvlzUmz]djet`[blXVHZUdq]s|YjlVUgzSDiutH[hlSVJZStqmspZTlMUuZRTl]txYRl_UdzVthU|L]HnEViZpTymzl]@m|V^ZnDv}|@\pmyVgzsdvMzT\XmvVVZldtmzP]FmrV`ZkdwMy|]TmpVeZkDx]yh]^mhVezitxuyX]NmgVczhtxE|X^JnfVkZxdy}}`]~niVozyT{E|p^Dn]VqZvT{]}l]rnZVuzzDzS?D^gnv_@j|d~K?H^inwvw_?T|u~K?Enovx??d|~