CAT(3072,17)

Sparse6:

:~?o?_?O?G?C@??H?H_CO@W?s?]@Q?e_ROHwDCAa@N?t?XOLGE[CO@l?v_YoLWEsB]A_?w_]ONWFKBi@v?}_`OOWGCCM@~@E_aOPwGkCeAP@j?WoJwECBE@`?n_WoJwECAe@X?j_TOJWDsGoBJ@g_tOYWKsE]BF@b_pOXGKSEQBh@u_zo]WNCFUBp@s_yo\gNKF]Bf@m_wO[gL{FEB^@m_wO[WM[FIBI@j_r?ZGLgEaBQ@j_t?ZGLgE]A`@P_ioSgIcDMAt@U_loTwJKDaAz@^_mOVgKCEEAX@J_foQgHkCyEs?__OoGgC[AU@HBk@goswYSLAE\BN`fOrwYCLIEfBP`iotgZKLQEnBW`jotgYkLeEhBW`eorGXCKeEVBI`aOogW[KUENBE`^onGVkKEE@A}`W?wGUOMUDeB``W_wgU_MMDiBc`TojgTcIiD^Al`Q?wWSgMIDKBd`R_wGTGMQDOBb`l_fwS?LiEwA``m_fgZoIME}Aa`BOagP[G]CRAG`o__W[?GACIBc`p__gO_MUCEBa_|?ugZ_FmEy@~_}?vwZWFyE{@|`E?mGQGJYC]Av`\_bWQ?JeC[Ay`M?dwQoHaCqAR`L?dGRgHUCuAQai_FWBs@q?x?]_MoFwB{@}?|?\_MOtGYkLYEnBX`kOPGG{CYAP@H_aocwQSHQCjAV`JOjwTSImDXAl`VO^GNSFmB~@|_~O_wOKGICJAC`?PfOoKV}K@EBbAP_gnGWUJsEEa|``wp?VyJwEIa}`aWm[VYJhDwazp\WmcVUJfDva{P\gk{UaJRDiauPYwk{UeJPDiatpZGk[UEJDDdarPXGkGWUJIEEap@`wkWWeJKEIaq@aGikTiIrDUajpUGj[TmIxD\ampVGj{TyI~D]aoPWGoOT]K?DTb?`TgoWTaKGDYak`^whwW]KIDQag@aGooTEIgEHah`agh_VIIWDpae`ZglgSyI[Doae`Zw_sO]GJCHaCP@GgsSeINDGadpQggCSUIBDCa`POwe_S}HiDOaZ@Sgi_ReHmDPa[@SwdKQuHVCiaSPJGbcP}H@C]aOpFWlgPYJ[CVaw@EWlwPiGoDqaw`Ewa[PAGdCSaGpDW`OVuGUDzaE@^GnGO}G[D}a|@BW]SNMFhBt`zo|g\CMYFRBf`toyg^oRiF}Cza?@NG_GRuH}CBa^@?g\_QyF[Cp`w`KgeWM}H]Bo`u`KG^GQUFoCe`}@GwcONmFyCfaQ?}gBS@e?n?Z_JOEHHo@Y?n?W_KoEwBS@E?d?O_IoDGA[e??l?V_KOEWB[@iSG?`_QoGwCCAI@H?g_RoHgICDIAf@S_ioSWJsDqAz@`_noWGH{CqAT@M_doRW_sOQGJCFaCpAGdsQ}H`CpaXpKgaCPEGdCRaIpDG]CMuFbBk`vOzw[sM]FPBh`toyg[{MaFRBi`toxhXWj}T|J?d]qohWKhKTnITD[qe@VShWTpISD\qdpVchSTZIWDWQd@T[ioSnIRDVQd`T{iKSbIaDEqg@PsiCS^IcDHQfpQCgkStIIDKqa`R[hwSXIKDMqapRcg]SRICdBQ`XPCgOTbIDDXQ`pU[jOSRIGDZQlPOsciQLHDcbqQHHKeMRDHccqqWHKKeaRLHhctqYhK{fURdHvcxq\hMcf{UFIADaQ^`W[g?UFJCD@q_PWcfsT^IoC|qipNCioRtIlC}Qj`NKesTJIhCwQi`Lce{TLHpDSQZ`S{fGTJIiCzQiPM[fSTLHvDRq\@TCh{RLHfDOQY@SKecTDHjDQQY`S[f_RHHxCqqW`NSe?RvH|CpqWPNcf{QtH]D?qV@NsdsS@H^D@q_`J[X[SZEWDFpePQSXgS`E[DGpepPsdOP~HTC_QT`GKd[QDHXCaQU@G[aSUBGeD_QnpCSaCTzJACPqH@Vs`kQ\G[CfqFPICdCO|HRCOQS`B{_{Q\GOCfqCPICdCOdHRCIQS`A[_mORGKcFQBX@S__QVGFCdqR@?[_OQZGDCeQ@`HkdONzHTB~qUP?SdWO@HVC?p~`JC^ORZFrCwP{PL{^GRXFuCwp|PLsj_NBFcD]Qloz{]KTtIzBoQmO{S\_Q|FUClqV?yk\OQtH^BhqVOy{cWMrFYCaqPoz[c_MxHIBmqQOzs[{StFLDKqf_yK[wSvFQDMps@Rc[EMDFBbappgwcjWLvE{DXQlOwCZwTbIsB^pnPU[b?P|GmC\QN@D{bCPzGzCXQJPFK]wKbERBup{?qSXWN^FjBIPz?qk]WNnFgB{P}O{k^gNNF{Bsp}o|SacMRFFCTqHoxcaoMTGiBdqI?xCbKL`GsBWqLOuSZKPpGuBYPjpE{YwLjEhBZPm_t[Z[LTElB[Pj?vKWsLHEKBPphOqCWkLNEMBSPboss`SKzE`CLQDor{`WK|EaCKPg@BK?i?V?Kfd?Bw@s?u^I?C_Bo@W@C?e?L?C_Ao@g@C?e?N?I_DoBG@S?m?X?L_EoBg@{?}?\H[clqVXJsd}QtHecsQXxLSeeRVHlcvqZHMCfER\Hqcyq\hM{fMRhHwc}Q^XNKfiRvH}c~q_HOKgMSDBQ`gorwY[LAE\?h_TOJGDkAy@V?r_YOKwEcBI@d?w_\ONGFKBu@v?x_\OMwFcBu@p?}__oOGGSCM@~?~_^OOWG[CAADAK`EobgQKG}C`BJ`eOqGXkKiERBC``OpWWsKMENA{`]ongV{KEE@Ac`QohgS{IeDPA\`KoegRCHmCxA]`NogwSCIEDD@|_|o^wNsFqBtA?`@O`WO[GECHAG`DOawO{GeCLAJ`DOaGOsG]CREJbGPbwpsWqKZEJbFPcGp{WuKXEPbHpcgqkXYKhEVbKPegrcXeKvEZbKPdwrSXqKrG_cNQFxB[`qOzGNcGQDHA[`EOdGIcCqAx@c_yOZF|b~Q?G~{_IOBFvb{p}g~C^qNvFpbxP{w}s^QNjFRbiPtWzC\]MlFXblPuwzk\yMxFLbfPsGyK[}MdFAb`ppGwK[UMLEtbZPmGu{ZiLrEhbTPjWtsYqLVEnbWPkWuSZQLfE]bNpfWsKYIL@SDHuc}Y\xNif_R{h|czi]PNyfaR|hmcyIZXM]e{RjhmCyY[@Mqe}RihgsryYTLMehROh~coyW`OAeKS@had?iX@OQeMSBhhCoYYXKAe_Q|hiCoiYHJye]Q~huclyV@M}faQzhxCnIVHNAdsRmhRShYTTI]dPQhhQcqYSpKidSRLhRcqyTHKydORKhCcxIP@MEcSRbhpCay[pGqfIQFhBccyPHHQciQJhJCbIR@GacSQVhAC\YOXFYbmQ@g{C`iOPFibqQDgkCVYIxDybCPXglCVyJXEAbAP[hxcSyIPN]fgPShycTYIHNaakRugdc~yHxOMaWS?ggD@IHhOIa[S@hGCPyPpCUc]PEhGcQIQPCicYPHg~CQiN`C]byPHg|cPYH@GAaKP~hzCNIFPN]foO}hyCMy]hBufeOxgXclyEhJi`gQwh[cLiExJm`oQ{gVC~y_PBI`YS?gVd?YEHOQ`_SBhlcGYZ`AM`GR_gPCvYZpAYe}OdgOcNIFHAQ`COygQcNYCpBy`EOzgJc]yB@Fq_sP|gIc^iBHGA_kP~gGCjIAHIm_cQlhVCByA`JAd]ORgpcByK`@AbIOPgrCCiA`EabMORgCcEy@X@q_SO\gOCBY@p@y_}OKgBCWI?XDu_IP^gnC@yKP?abAOCgRb~X~pAa^}OhgTc?i?@Aq`SO@f|C}i^g~afuNzfzc}Y^_~ef{N{fyCzH}hM]^eRifzCyy\G~EfONqftcwY[o}qfINnfucwh}@MM^[RchbBxx|HK]eINdfrCox|PKa^ORCfsCkX|HJYdiNfftCkyU_}UdcNefpCix{XIud]N^hVBwIU?}Q^AQkhFbuiQG|eccNZhEbvHzpHA]yQMfhc]hyxFUbmNSg{buIN?|U]kPufhcYXypEi]mPjguBtXy`EybYNWglBsIJW|AamNPgkbsXyPDa]cP[focHyDO}Q^COhfncJH{XAa`UN_fecExxp@q]]O\ffcFiC?{y_}NLdzcNyG?naaCJyg_a}YG_nUVkPBf]bqxvw{m\{NIf_BrHx_zm\wNIgDblY@GzY_YMwgFBmY@_z]_SMyfWbpXx?zA\cNEfbblHuW{e]GMnhlBihtHLU\YRUfTctxtpLa\WRXhKbgyROyQ\KQZhNBhXt@Hu\MQ[gYbfYEwyA`kM]fNcKxsPBQ`oM`hcbdxrXKm[oRKhdBeXr`Ku[sRMfGcnXqPJy[eR?fICnxqpKI[iR@hWbayU_wy[_QtfECliUOw}deMLfAccxoxHQ[OQTfDCdhopH]coMHgvb^yM?wQbaM?gxB_XoPFQbeMBexctXm`LYZiRVezCuIZOvaZmRXhKbZYROuyZ]QZewCfHmPHyZaQ\gdbXyH_uaaYLhgfBYiI?uma]LkggbWYIOuIZGPReqcTXkpDQakLbemc_YOOtycEL_elc`IOot}YwQDefcJXi@AyYaOnehCKHi`BIYeOpgIbNYAory_sL?gJbNyBGsI_oL@e\C?H~or]XoN|e[b~xf`?IXuO@eWbpHeO{UXeNEfbbLHxGrY]OKtfta}x|_ny^YJ{d}bzx}?n}^[K?eTrJHdsrAXZKne@CYh_XEmWAPkgvB@YLgoYWGPheQboXco{EXMNAf`bIhd?{IXQNBeBcfx`@IEWQQ_eECgyS_oiWUQaeLc[XbhFQWqPneLC[Hb`FMbcK]eNb~HcO~iXGNwePb}x~GqE^mK_eHcfyS?pUWoQaeICgXaxIQdEKUeFB{X}Wo}^gKOeGb{h}opIWYNtg_Azx]@B}aAJpg`A|IG_nIaEJrgBayi?WmeVWOCduc@X\p?aVUOEdrQyH[{mMVJJcdlbvHYw|e]yJWfnAvHZO|mUqNYgqAsyL?lIbEJPgqatHYpEYUiPfdbqqhWkkaULJHe`b]XnOsQZuLDe}BPhnosaZyLFdmbThiwl}V?LWdobTXjOmIYqJ]ddbQXX_siUYLJdfBRHholAU]LLlq_DWAC@E?h?R_HU|@ws{Q]JNFfcrqHxs{u]^NOfgrshy{|M]hNTfkRthzK|i]vN[fnRvX{C}E^HN^fpRwwh{TAIdDRaiPSWCSAM@H?`_OOHWKkEYBN@g_tOYWKSEQBF@Z_jOTwJCDiAr@I_doRwHcCyAZC_aOpFWbsP}GxCLaDPAw`cO}G\Bq`xo|W]cNYFnBw`{o}g^cNuFvJtdzQ|x^CniVrMDfBR`xpCwi[RLTejRTxjCteYtJ{d}q~x_CnmV|KFeCRAX`SoqWVJldsqyh\cmmV\JDdbqqHXKkYUT\zMyfZJmpuuz[\xmsf\znPumzS\wmhFOZiXr}yC\UmgfOJgXtUyG\SmUfMZdxrqx[[ymWFMzePryxa[|mrFFJkxpmwo\gmpfEZk`puzI[Ym[fBz``riwY[{m\fCJ`prywa[|mJFCZ`xpIwY[RmEFDJaxpAw[[Tm?fSZ_PtIwE\RmAFTJ_htYw?\TmAf@j_@o]wA[Hm@FAJ`XoQwE[Il|FTzj@niyqZzmlE~Jj`nmyuZ{lxU{Z]\nMvdZpluFQj\XsUvY\ElwFQZ\ps]v]\GlqfNz[psAyCZfm`eyJ\PsEyGZhlnepz[@kqvCZGldExJXXmEuQZblafGJcXkYuE[]mPEoZWPp}xAZCl^fRzVXsmt{\Ml]FRJhhkAy_Y|maecZQPsYse\FlJFQZQhsisg\GlDfTzj@gqyuYOmkebZj`gyysYNmme`ZjpgYsQ\alBfVzPPuAsO\`k}ewzZxfirwZalqE]z[@fyvAXxkxfYZM`uiri\jkzfZJlpfYro\ll{eXJ]peUviX`l{EWzKPnQrKZvkWfKzEXrQpg[tkXFLjexbYxoWtkUEvJDXlypYZ\kWEvjZhayp]Z[kQfHzCpqapM[hkSFIjd`aipQ[jmsEDZkp`YzIWWmreDzk``MzEWSjpf\Y{`vYnO\vm{dxZnP]]nK\wluDwJ]@]EvUV^ludvi{Pmyv]V\jjfFiz@p}xCV[jlFGJcX\mxAVXlrDtYyPm]meZglqdtJ\P\YmaZhjZfKZdhZQx[UtjZFJzePZMlo[ojLfIIr`qeky[ijNFIys@qqxMU^l}dcyq@n}k]Z|jGe~iq`n}kcZ}mwDaJlxW]zaUBmxD`IohvQzeUEmmd^ZjpVyj}\^j?FWIoPuIkA\`mvd[YmhvQz_Tqmwd[ympvIjg\rinfQyk@sqy[TbmgDXJhxUIyYT`mKDRZbXSywsTNmKdSJb`TEwyTQieFCyhXpUiO[UicfDyhPpQwcTFlkdPYgPleiAZYi`euzZPSYiGZZi\fLYf`rYhy[wi^FLIg@rMxmS~mBDJz_xRAwOSpmDdLIePoihe[HiPe|J]hQQvkSdlzdHid@nehMZwiMfHIbpqQg}[dmRDGicHqYh?[dm|DDYaHvUgc\um{dDIapv]ge\wlYedzUphatmYXl[EejVPhqtqYZkoEjZJxiyquYhkmEijJpimqyYkkcejzHPjAqUYpkeEkjU`cyteXLlAEBJ@PgMr}WJl?EAJOH_eoMYAj|eLy~`banyWxk\D~jF`_ApuV~jyeOy}pcQqIVvj{EPi~PcanqXFjwE@i|x_IoEVqjwe?Z?h^QoGVrkudqyxxfAmYXmjfEZzMP\AmWXpjaeszY`[YuiVFljDqJZ@[iumVHj_EBYwH_ymCWNkGDpJAPZ}mEWPkrdmZL@ZirQU{ktDmzL`ZyrUU|jUeFytpaAl]W`jWEGiuPaMpGUpkidhzIpYaqmUhkkDiit`dilUXXjDEhYpXiQtEUHjEehjT@WykWYfkhd]ymxc}q_TwkiD]jIHVqqcTxiteNZFxVAjWW}iueOIlpcIj]X@ledXZXpUYu]TflgDYIlPlIjQZPiDDVIjHOUgKTYiCDVYjpOegMTZjJDTYiXXekiTSjJdTij@XikoTVkKdLZBpReosSukLdLzB`RioySwiSdyYdP]ihUVjjvDJi|hQqhYVklODDzRhPes{SWiMEfzSPPmtASYjOdAysPOqlESLjQDBispPAlISNlkuujZ\lyuxZ\lnuwJ[TmMvHZ`luUzj\|nAvZZjlwu{z]SJYDnAw`[omwVSXIKbERbIPdgqkauP\GncWQKXESa]PPGhcTQJHD[ZmLxE|b^PoGv|kQuDZ@l`upjWljAtdYrlWulJT|fMrhXukyu]JM|QihZSkiVTIydLPQgbSQiItDia]S`IrdFQlxUCguSdItdJQmXVShUT\ILdQQcXTChUSlIldRQcxPsimQ`I@chQ_xIcgUQtIHcjQaxJCg]R\HFcsQPXLccmQXHpcfQ[xLScePDGfcQQKXCSaePHGncOQIxCCauOTIzdWQ?x@cjeTdGDcBQlxUc_eNpGpc?QJW~sa}NlGfb|QIw~caeN\G^btQEw|c`mN`G\byQFxBc^MLlGzc[PmXFcZEL\GrbXQLwucbULDIXbQQewsshuLPI^bUQgwtSiERxC|c|PLwfSfURpCxc~PNwgCf]EpHz`nQ\xNcMEElH~c{OuwZcfURDBDcmOnwWCd}EDH`crOqXKcK]BlI`_~QgxRCFuC@IZdMO]wNCh}BhIH_wQawLSgMBXIDd?O[wLsg]ALH\_cQVwHSeERH@PcrORXKSC}QH?bcbOHWDCce@XHJ_RQRxHcAmPs|j]pQKxFButzLGtc]NYXEruTydHB]dQOViCb}P{|T]eQOvhscERc|HcwNPXLrsMRO|@]^QZXLRs]TG{fdRNIXTBqmTS{ldVNKXTbq}Q_{ZchNFVbsd\x@HT]QQUvcSdeJ{}Fb?NaWoRwl{\EDbCNcVpcW]ItDNaoPTWkST]IxDPaqPUWjsTMJLCjasPJWdsUmH`DlawPLWeSU}GLGNaCQCW`S`MGXGTaGQEW`s`]DdEV`YPeWUsXmKxAxbOOnWrsJmMdAfbiOiWTS\]DXFX`WPvWTs\mM|AZboOfW{SH}NHA`bsOhW{sIMFtAN`}OcW^sHMChC@aAOeW_SH]AdBb_mOywIcMUAlBf`uOUWJSMe@xBL_`OrwGcKmE`?z__OtWFsLM?lFFbcOEWyC@}MT?ZbfOGWxc@u?PET^~Paw?CWu?DENbGO@w?cXL~xAF`DN|wOR~MCG~t`EN}V~SGd~L@^^sOWV|SEL~X@d_sN{V|sE\}\?J^gOBVyS?}?_~T_INuWAR|\}D?t^cOMWEB{m@k~L^aOKwDr{]Gc}v^[PDVvSP]Go}~^]PFWbR{EF[}^`wNgVsSNL|HBx^SO|vssNT{dDBaaNdWgrx]IO}XaeNfWhRxlz{}t]|Nivnbyt{?}n^ANkVoRzL}s|n^mN[VzrvLzo~`^qN\Vmr}MG{{r]YPGVesQLxpCd]]PIVfSQ\whFDb\NDwwBpdw\E|]HPovaCZ}Jc{BayN@Wmro\wPDx]EP^V`SVlvk|V]?NUV^Rtlvw|\]oM}V^rt{OAF|CA`~p?W_[oEWFKCeAr@h_SkyUZJJdeQsHX{kUULJFdcQqhXLzQ|d]rnWvljumh`SkiOtHid|QIh^SciVtIidlQahZQwhxsli]lJQfbRuh\s}iV|NadzPwh}s]i^|FqgBP}i@s_i_|GAgJOwiNsKIalBIgnOsiKsMib\BYgzNkhys|h}[~AfvNmhxs}H|LNA^VSOfBr_Ia[vqgRL}iDtBHokwIg^SOeLtAHaKpagVKQiFrDIa\OqWnR{d{q~i_{oIgJR}d|r?I_KnqgFJkiIqzia|PaVjJoiLq|ib{nIgzSedjtGhYlQaU~JWiOtIhZlQQUvRKhAsriO|GaebQIhhsbiY|GqejRIgnsoIIlDqeRRAgjspIJLKYavQigVsJIU\Aid^OghUsHIULIa`NPGfgsQhy\Cq]jPMfjruiI[|aabM_gurgiL{yQbbPqfRs\ht\FQ\RN[fIrdhz{xa^BMYfprfh{{xq^JRcfCszHp|MY[VRmfHsyhqLMa[ZOCeyr]i?[vA_BOIexs@hnL?aZnLmgIsBHkl?yZNOOesrYiA{uq_fLWfyrUh}{tq^rL]f|rWH~kuI^~LSfarphhk{aY^LUfdrrhi[{qYbL?gKsFHhL@iYFO]easGhh\AAYNKshkrLiZ[raezKyhnrNi[\MAXzKkfZrIHtkqi\^MoeVrkhe[rA\jP_eMsXHclEIW~PeeOsYhc|EaXFQQeFrAiQ{oQcbKEhIrBIR[oacrJ_hMsfh[\IAVJJehPqyiS{madJMwdcrmhX[lA\~M{derohY[ky]BI{g]qniF{kAaBJAg`sPhW{kQaIQVHKcezGtg}qPYNlEURZHthEqTYPkaUbZCDbeqDWhkPUMzCdbupTW~k_UHzAdduolX^kKUWZBTeMo|XfkMUXZ?DemrPV|j~UZZMD_]oHXrkvU?ywD]UmDVfjsTpY|T[]n\VJjuTqY}DZUndUvjyTmY}tZml|Vzj]T}ZDdXup\U^kWTgZETYMlLWvkYThYpT_}kHWHjBUAypD_ukXWPjFUCzIDVeqtUBi|USynddUqpU@kjT^yld[umdTpjjT\ylt[}mhTriyTsYzDUEmtTbiqTvYkt\}jTVbisTwYtDTUlTTVjUTUYttTmldT^jWTVYhDgEsDTJlATRYhtg]idYJigUaYfdfUh|Xvi_U]YgTfmiLX~iaU^YqDREklSrjLTLyrDRUhtURi[TdPRWhsSrYimbvQJTljAyVYmmdulJg|satf[ymWvJjglrIxz[sm_vMJf|rYyF[kmKvGJd\qIwn[]mRvFJclqawvZqmDu|J`lnYw^ZwmGu~JalniwfZel~uyJ_LmiwFZomBvAJ\lmywJZ_lPuwjTLmQtNZYlNuvJSllytBY}lkuljX|jaubYylhutJWLjqunYQl`upJQlkYsnYWlcufJXlhiuV\{nCvbjo|xA{J]Im~vcjoLwq{F\]mwvWjn\tazf\smlv]JjluAzn]_mqvgjk|ua|V]cmtviJl|yYzZ\MnLvRJqltA{n\UnNvSjrLtQ{z^OnUvsjt||Q|b^UnXvljz\|a|j]wnavmjw|zq}R]}ndvrjw\{q}A?AnsVvO?T}i}}?CnuVwZ{O?Y~^^e?BV{z{_?Q~b