CAT(3072,21)

Sparse6:

:~?o?_?O?G?C?{?X?M_EoBg@k?q?o?C_CO@W?{?U?L?C_BoAG?s?e?R?T_JODwA{@U?l?p?VoJGD[Au@\?i_`_M?FSBc@z?x?^oMOFcB_@v?w?^OX?E{B]@n?q_XoKWESBQ@j?p_XoLgEcBY@j?o_WOKGGSCEA@?i?jOU?DsA{A~?j?koJ?JSAoAj@Z?TOJOJcA{B@?j?joJ_JsAsAz?f?hoH?IcAOAT@K?QoROCsCw@N@N?SoI?HKD?@L?d?hOSODCAcAV?W?goEOHSCo?t@L?MOFOHKAGA\@N?NOS?B{@kAd?`?doGoIcA?Af?W?ioE_IsD_?v@V?NOG?Jc@oA|@X?MoEOKCDk?~?`?lOGoJkAGA~@`_poWgUO@U?n?U_FoCGAK@I?h?N_HOCGAK@M?f?S`b_BG@k?y?S?D_D?@G@W?]?U?E_D_AW@O?aEaBO`gOsGYKLEEdBR`hosgYsLQEjBW`iouGYsL]EhBX`kotwZSLmFJB_`nOvWZ{LqFHBa`oowwXSKmEZBK`fOrw__NIFdBr`yo{w]cNUFhBu`zo|w]sMmF^Bo`uoxg[{MeFTBp`uOzg\COyGHCNaDp@w`COeGJCEaDPBG`kP[FpCS@|o}_aKPSGFBxALo~OasNoGpB}AKo~obSPGG@CAAGPCo_KQsGxC\ASPH_eSQoHNC]AVPFod{QcHFCrAOpG?eCQgHDCjAQpH?eKKaENBF`coqWXCSSHzCsA_PLOgKSOHxCuA`PLogSS?HpDBA[pP?fSSSHvC}A_pNog[T_IfDSahPTWi{TYJSD\alpUGjKTeItDZakPVGjSTqIzEMAgpPgg{SaIRDIadpRGhkSyI^DOaz@bwpoVqK_D|b?@cWqOVyJmERa{@dGnwXUKAEVbJ@]grGVeKoDzb@`bgo_W}KWEObB@cwr?WUKqEFbG`aGoOXIKQESbE`dWpWXYKmEIb@@YGpWUAKEDebE`Wgk_WUI}EEao``wkwWaKGDdap`agp_UeKQD]at`^GngVMJWDva|@[WlgVmK?Dmb?`Zwn?VAJcD~at@]WmgVYJ{Ds``opGWsKIEBBDbq@tWyc\YMlFSbjptwyk\]MhFTbjPs?rS\?K|FOBNpsOr[\CKxE`BhPhOy[\KL@EaBhpsOrkYKMdEcBhPpWwCZyL~FCbcPqWwK[IMFFEbbpr_t[[{LTEeBdPhoxSY_MVEhBdpj?xcYsMXFLBVPrOt{[wLbFNBWPkgu[ZQLjEvbZPmGv[ZqLtE|b[qK`CsayPNGhcTQIxDcauPPGncWqKHC?ayP?GjcOaJxD?aEPKGacSaGhD_aMPYGccQaKXCgaiPMGbcWAHG}C^YNjFqb|P|w~K^ENfFsb|p}HA[_}OTGGcGQAX@[_qOZGMcGqCg~c^uN|F~cBQ?X?S_MOHGDcBq?G|{]YNNFgbspzg|[]uNXFdbtPxGz?`QMqGTblADgzW`]MwGWbnaEXBo]AOsFacL`vXBw\yNEG\cM@wWUcJIDhAq`XokxR?JYDvAt`\OlwVKJqDzAw`^OoGV{JmDxAt`ZomGVKJuDtAu`^OoGV{IqDbAl`VOjwUCaAPBGacQqGxCcLqE|BZ`novW[CMEEtBa`qoxG[[OeGZCGaApAg_cO]GLCMaDpBw`cTUIdDRaiPTwisTIIjDRajPTGi{VMJ`DiayPZGmkUmJ\Dlavp[WmS`QOjGUcJqExBK`iO|G^cMQEHBkp?VXJldvQzx]KnAVdJrdyq|H]{nYVBJjdoQyh\CmeVLJadrqxH[[mUU~J]dlQuxZclmUxJ^dlQvXZklyVWI{d`Azx\gjuV[I}d_A{XWGnIT}JtdbA{xW_nAUMJsdzapX]okMVGJCdqaph[GjqT}Jad_Awx\WjyUMJidoAnXWGmYUCJfdaayXWWmaTdIqdYQkxUkjATjIpdXqlHUKjATXIjdUqhHSkiYT\IndRqiHTKiiUkIddTatxSolQUiIfdiaiHTGlYUqImdTAtxS_lQUqIndUAuHZ?iuTkI[dZAfXUwhmTmIWdNAmHRwjaTEIxd[aeXSOjmT?IzdOamhVOhiSmIadOAbxRwhAS{IQdOabHPghaSeIXdIAehQghuS[I[dPacXQohmS]HndGA[HPofERcIPcxachM_gqSeHtdIAZhQgfYSkHvdJa]XPgfaRCJGddAWxK_lIUWHdcraqxLOkyRYJRcsAqXXgeYRQJOctasXL_k}QqIEckA`xJOg]SOHZcmaaxPOeASQH]dCAVxPWeEQwIEdCaThPOd]QHG~cbQNhGScEQJHFccqQHG[cAPcJHdcAMhXWbQUWGtdeaLhEWkyUSG|dfaLxFWlAPwJRdgaMHYObeQWHycea]xHwfqQaH|c~ARhIOgAQeIAcda_xHOgEQgICcia`XNwdABr@z_}O^wNkFyC@A@`@O`GNSGMCJAE`BoaGPKGiCXAM`EobwQCGmCfAQ`JoegRKHQCxAT`LodgRCHECzAc`RofgR{IMDLA_`OoggTCIU_cAh`TOiWT[ImDTBe`vOxw\CMiF^Bp`uOyw\kNAFRC[aNPFwbkQMH@C`aPPHGckQ]HLObgMsEiBDAA_|OXgLsGYBdAI_~ORgJSDyAT@Y_jORgISCiAd@]_jJ{GRQ}aDCns`NOdD~sJ@^sn_`ROiE?SIp^[oC`\KBGUr?aD{nc`HKGGBr@Q@soc_POHEBsAp`T?WWVKKGErBQ@coW_^OIEFR@AAKo{_`O?F[S?PvKz{_BOAF\S?`v[zo_FO?F`rnQ?[zw_HN?GAroQ?k{G_HNsFJR|Pqcx{^pNuFIrf`}{~g[pNzFKrfP~Kx[^xMYF}rep~{~w[xMHFxRyPq[xC^^MGFwR{pqS}o[TNlFDrz`pc}_[ZMMFwrc@|S}k[^O^E~R^ABCvs_tM?GLsGpocwC_xMAGMr_qBswS`@O`E~r`qBKwW`DLoFmRvPmKvk]|LyForw@nK|{ZdLrFqR\P{{v[^JLuFrR\@{S}KZpLkFlRs`k{u{]jNSEsRYpzKuc]vLcFgRXPyK|KZLNUEtRu@ls|[ZZLOGCSAPh|?gYbOJEhsB`icsw_XOEEeSBPikt[_NLQGFrTaAL@?YZL_GRrUQDctk`HOiEmrVAClAkZDLYGUsJ`kLA_ZFL^GSsJpjCtw`LNsE_R}@h[~[YBNxE`R~pg{sK^vLCF}RPP~k~SYLNuEcRQP~S~wYTKzFwry@ec}cXjNiEZR{pfsr_^^NjEZrMP|krg^`NmE^rN@|crs^dKcFoRHP{KqK^HK[FmRvpcKqW^FKaFrrvPbk|wW|KfFpRFp{s}SX@KQFkrE@y[pK]vNTELrE`yCp?]lKSFlRDPyKp[]dKXFiRCPy{|_WlMvFfRp@t{yo]JMlFbRppuS{_\\NHFWRl@x{{g\jMrFdrl`xczC]ZM_ESRgPdKyGXTMbETri@e[qs\HKmFQrKPt[ycXXMfEWRi`eSyWX^B@``OogWcKQELBD`_opWWsKMEF@b_ooWgKKEMBD@F_`oPWGcCYAP@f_sO[GLKEiBV@l_vOZGL{FEBd@L_dOSgHKDQAV@R_eORgH{DAAb@c_qOXWKsEYBJ@f_vOZGLkEiBV@q_wOZwLKFEBP@s_yo[wM[FUBhAk`VojWUKIyD`@u_zo\wMsFaBp@__koTgJ{D]Ap@[_lOTWJ[DyAzO@g?S?i?d?U_FOEgDs@y@t?u_`OGgCsBy@d@E_TGpcVQHxCsaiP^GgcSqKHD[aqPZBw`}o}W^SNmFxCAa@o~g^{OAGBB{`|o~W^{OMFpBy`{o~g_COEGDCOaGpCgasPMGhCTaJpEWbCPiGvDuazp]GncVeKBD~b?P]gnsVuJvEJbDP_gpkWMKHEDbBP`wpKWaKXD`anPXwj{UeJPDaappXWkCUQJLDhasPXGkCTyJJDaarPVwk{UEJFF}b~q@X?C_]ODGBcAP~G~k_EOLFjbqPxW{{]eNPFebtPzG|k]}N\F[bnPwGzC\eMvFbblPvW{K\}NDFbblpuGzc\uM|F`bnpuWzS]IN@Jwd{q}h^[oMVxJ|e?Q~h^{oEWDJ|d~r?h^[nqWFJ}d{Q}X_CniWBKJeFRBX_coUWLKGeCrBx_{oqWTKIeBRAH_{omWHKKeErBx`soeWJMkfUrjht{zA\bMrfYRlxukzI\lLKeerRhiCtEYdLReiRThi{s}YjLWekrUhkCtmZDL[emrVhj{uMZBKpeTRIXdcquX\KqeSRKHe[qmX^K]eNrGHcKqIXFK\eMRHXcsq]XHKReJRDHakpEWnKWeLrCHbSpeWdYUL@e]zOPfirkYAkze_jN@gMsEXxk}E`JNhgUr}YDk~E`ZOHgQs?YCkoEYzKPfArSXbkxEVzKxfMrAXkksE\JJpeur[XckweYZMheUrKXnkLEYjMh`]o{XnkxeFzLX`YrWWWkxEGJBHeuouXmkME[JM`aEraW\kMELZBPb]peW`kYEGJEH`]pkWWkNeMJBXbIp]W]kJEJjBHbep_W\kAeajPX_esWW@j~EbY~xgyoKYNkCEcJQP_]seW?k@EcZ?XhUoGYSjxERjGp^MnqXIj}eRJGx^QqOVukgD}y~@ceqUVvj}ERY~Pc}qaVtjxEAi}X_mngWKjyeBZ@p^Yo]Vvj{eCI~P`EnuWQj}eCy~@`UnwWSkPDiitXaMpGUkkQdjZCpYypMUnkSDkJDHZEpSUqkTdkzDhZUpWUskXDiYsXb]k{WmkYdiJDxX}l?WojPEKZE`YYlGWrjReMIsHbelIWukDDcj@XXMoWUSjIeCz@xXuo[UWjKeCjA@XqksWTjJEBYqx`EkuWSj\d`iq@Zuk[U~jEdnIp`ZikQV?j[D`yupWakSUxjGdniwHW}kUUvlDD]jPXVmsWT{lEd^YoXgys]T}i~ecIo@hEscU@lID`JQhWUseUAk\DZjFXU}pwTok]d[YmxcIp{Tqk^d[ym`cMqITtizEOInHcQjoX@iudtilH\am[TgjfdYIlX\ejQVOitDsYlP\IjUVSiudtYyxUqjWVRkhDVIkHdUqeT\inETJJhU]i}XUioETykPdajEXXiqEUjJXUYqwTdkbDTjGxT]qOTWkcdUYixciqUTYikeRIipcuioXMileRzIHTiq_TZiiEPJFPTApyTOk\dSZF`TIieW}iiENyiHcMqITQiheOIihcEiiXAk@dRihp_eoGTKife?ihP_AiUW@kAdRIhh^}iYV}idE@j?xS}iUWGjvdOygH^Eh}Vfi^DyIh@]ii?VhibDyygx]qnYTDjvDOihH^AnKTCi]duyzPRmnGS{jpdMi{@RqhoV\i[dvyfX]EmwSwjqdMifh]IhqV]icDqIfp[Mh}VDi_DpigH[]mCTAi`dqYg`[iiIVJjedPyhH[QmWTEiUDfidhX}l?SmjOdJysPRAlESpiXDhIe`YUhiUgiXdhiexY]hkUhiXDbie`XAkKSnjCDKYd`WekSSoiXdayp`RUkYSvjFdJYepXEh[UFjIdGIdXXehAUQjJdGir`QYkkSbiQDdIr@QUhMURiSDeidHXuhSUZj?DEibpWMgwUAi|DEyohPikASZiMD^ybhVugyT}iNd]ybxWQg{T{iIDGIdHPYgiS`iTdEYd@PQhSSWiJDGyaxQQgiSdiJdHicPPehMSWiCDVYk@OejASIiDdWyjpOqjGSLindBi`xTqjKSOiGdXyaXUIgcTdk}CQiHpfmrkPPl?cSyHhf}r{PQggE]ZMxCaroPHgde]jNhC}aWY?lDCxI[hgmsYRmhrEbJQXM}sgRkhrebi\@g}fQYOlHCyjQhMmfYYPhkE`i[@gYe{YElBcuZOxMEsMR\hlEaIZXgesQRbhmEaZP@MIsOR^jlClIzXJUmwQujmclyzpJadqV^h\DwIVX]EnCQ{jpcnY{hJ}nGQ}iHciy`@IegSQiiECjYTpOydOSNhVdAYUHOud_SJhXDCIaHIqgcQrhMDiitXHulWQ]jVCfyuPIAdAUshPDlYSXZMdGUohQdjythI]dKUpjZCcIuxHEloQQj\CcyvXHQlqQTj]CdivhH]coU}hKdnywHHmcsV?hBd[imxGaj_QKhADZimpGejgQDiyc`iPPVMjqQJhEd]IPxU}c[Tph@EIIOXaqboWdg{eHiNPa]buWhg}EIzC`FupSP}g~eGjDhGEc?WbgudoiLp[Mb]VCgwDpYMH[YbcVGgxdqYM`[ibiVJgzdrIxhFYbWVFknCWIKHd}bEX`gpEXYK`eIbIXbksCXzLHEarMPigrEWJKpEmbQXcgkdyi{pDQnMPTgjDyIJ@]easVjgmDzI|hD]n[P\jvcVi}HD}n_PZjfCNyGP\EaEVRjfcPiG`\Q`wVTgbdtiG@\]moO|jkcNiGH\Im_PDkhCKJIXBEqgOrgZeUJIpBQ`kXTg\ETyFXde`iX\g[EUjJ`BIquOxh}CrI^pLMfyRLh~criXxOAe_S@hgd?iYPOMeiSDhiD@I_xL]gKRUhwCoIWhNafaRIhbC}Y]PKEfeRAhyCoyW`NUeMRuhcC|y^XKeeURy__OOWGCCIAB@A_\oNGFSBy@t?z_^oNGF{Bu@z?}dFqbHPkhMSnIMdJQcHQchISbITcdQQxIkcuQdHNcfQSHIKcqQfHScyqZhL{fARbHqcyQ\hM{feRpHrctqWhK[eQRJHecrqYHLKeiRXHlcjQTxJCdeQtHZcmQVXJsd}RBH_c[QKhFSbmPfGsc]qLXEsb]PrG{gaSPiFdBu`|O~g_SOYGTCMaNPDg\SKiFDBQ`jOugWsKyE|BA`vOxp}Gl[TiNRD[btpVg|k^iJZD_bvp{GjKUINfFsaqp~Gl{^yJNFuaspyGikSaNfFka_pzgg[SQNbFsabp|gh[^aIZFyafp~GiK^yInFiahpFGsKZIHZC]bPpGGskRILbCabRplGdKYaHNCcbTpjGd[QyLnCobVpvg`K\IGnCWblpAg{{PiNBCCbjp@gzKOqMjFOaFpwgaKPIMzFcaIozGyKMyMfF]`{o{Gyk]AFvBqbko|Gz[NYMzFa`}p?g{k]YF~FUa?paGSkXADRAqbKokGqkIYKvE]`Yojgp{IqKfE[`ZomGq{WqDvAibDpVgR[GqIrDY`Fofgl[TqCbDc`PodGl{IAJZA[arpWgQ[HYJRAWaop[GMkVIBnDs_{p\gN[VaBz@}a|o_GnkGIJ~ACb?o`go[WYCVAGbApmGJkZiA~@mb^pnGKK[yBN@kbepoGK[EaMF@cbao[gw{[aBb@ibdoGguKZI@J?UbRoGGtkAYL^Ec_NoIgu{AaLFEs_LpgGBK@qLR?SbToCgrZ~qKU~}bEo?Gp{?IKb?CbHo@gqk?aKn?IbKpaG@kXy?^?ObMpmFukZh|m}wb]nmgvzzqMA}}b`noGwj{IMNFG^apqfw{[x}VFK^cnighjyqIjDG^XnjggKTX|BDC^SpQfrjzAIe}]a`ngggzyQI]}eagnTH?K`@y~GM]rnTh?ZtaOJGI]tnUh?zuIOe|[cCnWH@juaOm|ccIp[FfjsIKJDq]^p\FgKWXy^D{]ap^fg{VXyQ|Ib@nRGoJtAJq|Qa|mxGfJlqHiz]aYmxgfKRxv]zqa\mwGezmIHmzga\mygfkRxvbC{\uq?fWk`PurGK\gqDfZZkYOMzGcCmtH?k_huVGM\eqCFX{_@unGQ\hoveekLXhzBgY[lOg[zRiEzB_YWlOG\ZQqEjBWYVouee[MHhms}`qnBGGjoyAM{O_cnCgHZpQAY{U_fnEGIKDHwv@S]MnGgIzpyAu{__knLF_jrXwEzs]QnAfdznXxMzw]Sm}fdZnpxYz}]Wn?FeZrhwM{G][n`FTjwXt]yo^CmkfpZwpti}M\ZncFVJxHtu}S\]ndfVzxhuE}W\_m\fTJePsixo\RmXfQzepsqyY[smfFLZexs}xq\Om\FSZfhtUxw\QmFFEj`xpmw_[[mGfFZaPp}we[_mOfDJcPpUwk[bmJfHJbHqUwo[]nxF?j_X~UwG^wmAf}Z_p~iwM^znzFAJ}xoe~e[ImDf|J~houwW^{l}F{Z]p}Y~MZvnsE}J|Hne~SZynte}z|`nu~YZ}nvE~z_H}}w?^onZEvjZxz]}?ZfloFmJ[HzevC]yn\ewzv`mQ|yZdn^ExjwHme|}Zgm^EsjfxlMug\?lifOZgPlYyKZZljfPzgXlayGZXmaeujhHlqyOZ\lcgVkKHlBBCZEldGV{K@krBGZNlbgYZXYEbBEZPlfGX[KpkauY`fmREmjcxjmxOY{mSenZVpqit}[jmUEoJWPrAxaZCmUepZdpkMuA[nlvEmZ\PiyvUYnluEkJ\hjEv]YqlXe{JU`nEtiZqlZE{zUxnQviYwoNEh[ApiJ?mYboOEhzTi@v?oYcoKehjTIAF?}YklSGEjTQ@qtU_Z`VojGTkIyD`Apshi`\OQdbQ_i?slI`LIIgFQci@ski`\IagBQiiAsjI_|JYgNQmiCssHHLLIQVHKhisuhJ|MQQvHMhjqSIZLMIQzReckqTiZlMAQfHShnrkIVKzIdvMsh]rliV{zaeBMyh`rnIWkzyeNN?hcroiX[{Ye^NCher_IMLFI[FPsfAs\ho{xIcJPwfCrdiO|GA[jP{fEs]hp[wycFP}fGsCHlKui_fLkgIsGhn|@yZfLmgJsEhm|@qZjLogKsGHnLAYZvOce}s~HjlMaYbRiehrTI\ktYf^LWhwrUi][tyfjRueos}Hk\NyZNRyeqsIHfLAiXvOsecsJHfksi`zK}gVsLhhlBAYBOqe`rPIF|BaY^LEg\ruHak|iWZN[eGrFhy{{aWRKUfgrChxkoi]jNIeFrFHy[pa]^N]eLq{IGKnIaFJsgasPh]{oYafPGd{sQh^[nqaZJ}gfr?IIKoQanKAgir|H\{~AVZJWfoquh{[~IVJJ[fqqvh{{mA^RJaftqxh|kma^nNmdtrJhTkjAXnIyeYqiHcKiiXFI}eXqjhckjIXNKgdYrIhU{jqXbKkd[qcIJKhIavP[dIsVhQ|EASrPadLsXHRlEYS~PgdOsYhS[iYb^Icgus@HPkfa^rHygFq^H~[fy^zI?f~qbi@[gI_BICg@s@hO|?qSROGdDsaHKKeIcVHqhMqXIPkeYc^HghGsfhMKeicfHkhIqZiR\HaRnQUcyqoHEKkIPfHEdeqNHX{kQPjGudbqMHXKbiUVJOc^qshGKlYQJJSc`qJhtKyqPNMWcKrehB[xqOzM]cNqGHsKaI\FGcfQqJHt[yyPRGifRtHJMlgIh^SylDtIJPLQYrnSik{tJJN\RArzSqk~tLJOLRasJYEiZuZjD|eQp~X?kwuZJElcIrfWykruJJJlbqrVWoknuKjKLbYrRXak[uPI{lcYnNVgkctyjH\]qqZVmkft{JIL^IqfVskiuTi}|dinrXWj|tlIxlZYm^Uwjgtsiv\ZqmjU}jjtoIzL[ImvVCjmtpiz|[inFVGjouDIrl`Yk~WWjOuEis\`qlJUekNtiJCLYipFUkkQtjjC|ZApRWijXtZIolUykNUAjLt[IpLVIkVTsjEt\ip|XAjrTyjHt^IqlWAknT}jKu@Ii|TQnzV}iku?Ij\_IizWEinuAIkL_ijFTckEtXj@|UiofTgkGtBIflOyh~SOi_tCig\PQiJSUibtEIhLPiiVS[ietRib|QIifTOiOvFJPlpys^[_lGvGjQ\hix^[clIvHjQ|haxRY[mTufjdlrItFY_mWu~Jf|sav^[wm@u{jh\niyNZum]vOj\lnAxjZsmZu}Jf\nyyJ\?m?usjbLoYuFZImGurJb\jqwJ[Gl^upj`\oquBZCmFuqJa\kywnZOmIuhJYliYunYglkuujT\lqtZYmlnukJ[LjIvFYslqulj[|jivVYwlsvRJnlxAyz\Mm~vVjp\tA{B]QmkvSjo\uA{^]KmjvWjolti{N\SnCv\JsLuQ{j\ynTvXjq|yQzf\gnKv]Js|ui{v\knMvZjr|vY|R]amwvjJwlyy}N]oncvkjx\{q|j]unfvmJyLzi}f]{nivojz\{A}r]}nj_?jzd|}~C?Cnovx??T}[?H^gnt_@j|d~K?L^mnw