CAT(3072,16)

Sparse6:

:~?o?_?O?G?C?[?J?C_BOG?Bk@}?|?h?POGgCCAA@B?`_Y_IoC[Aw@N?l?QOJ?DCAW@R?d?TOP?F[Bq@z?|_\oNGECA}@d?s_XoKWEkBY@n?x_[OMgJ_C}AT@J_fORWHcC]AP@C_aoPgHKCCAh@A?gOOoIKDG@|@T?_OSoF{F[B\@o_wOZwLsE}BZ@i_soYGL[EqAv@Y_kOTwIsDeBE@\_q?VGKgEEBK@]_p?WGKwD}?t?Z_MOj?Q[HICfAR`HOcgP{G}C`AP`GocGMSFEBf@s_zO\WO{GYCFAC`CO`WN{GICBA?_}o^gPGF]BuAI_{?awPoFeBwAK_|?bW[g@Y?l?V_KOEGA{@e?r?X_JOEGA{@A?b?Q_HoDWAc@M?`?Q_IoCWAcAQ@J?b_ROIGC{Au@V?m_UOIWDSFIBb@u_xo\WMcGMCHAD`CO`wOsF]Bt@w_|o]WNcQsGhCNaGPCWaSPMGiCCaL@@g_wPYGOCVaK@@W_WPeG@CA`}o~g_KN}GDC?`~o~W_KNyEpBV`kougYsLmF@B\`mOwWZsL}FCCY`p@EWagMMGkBcaJ_wwb?MQFnBw`{o}g^cNmGMBq`w`?w]_OUFeCC`z@@g`?NUFLBi`soxw[kMaFVBk`tozW\cMuF\Bo`wOzw\sM}EuB``m_uGZwLiE{BX`o?twZ_LYFSBy`r_}w\?N]FQBw`r?}W^_MUDBAb`QOhWSCIIDLAi`RoiGT[IeCsCJaC_fwRWOiCyCK`M@BgRoOuFgAT`y_dg]GHaFcAS`z?dwRGNMEVBI`forgXcKuEICN`b@CGWwPEGgBHaH?qGaWKQGWBAaC_ng`gKMGSA~`_@Bg`WKEDuBP`h_mWVgLUDsBS`g?nGYOJaDfAq`ZolGUkJYEcAl`g_jGTwLMD_BS`i_jgY?JEMo?I_FoBG@k?m?\Fu?CoAW?{?]?P?Gc@?Ag@c?y?Z?J_FqDoZcLuE|B^`oowGFcBu@v@b_pOXGKsEUBN@U_lOTwJCDmArAS`IoeWQ{HYCpAY`NoewRcHuC|A_`OoggS[IUDHAf`ROiGTKImDTAf`TOiWSsIaDVAz`]OmgVkJaDrAk`UojwTsJED`HcCpQWxKSeIRFHbcnqVHJkdyRBH_cdQRhHkc}QXHJcaQQHGkcYQNHHcOQGXCSaUPHGbcdAGXH_aQP?HLcQaRxHWaIQ[GbcNaMXFW`yOyGwcNAMhF_`}PyG\cLQEXA{`aOxGZb^PnWvkZyL~E~b`ppGwk[YMPFFbdprgxc[eMZFIbkpuGz[\qMzFYb{p|g~[^aNnFycIaTxAOdmOaHUcIAUHAodeOeHYcFaWXA?eAO]H[cGAVXJo_yQ}GMcmaAXJo_iRAGLcmAAxJw_aR?GKc@aSHIG_IQcGEcAASx?wdUOIHSb}ANg~gb}N{HBb~aOhG?_EQAG?cX@|xE_^YPiFwb{aLg~Wb]NsGrb}ALhEO^yPeF~b}aLxE__EPiG?cR@yhCw]mPSFkbvAIG|wamPQFlcR@{G}GaeNcGjcS@{xCw^UPSFsbs@vg{w]ANGF`br@wg{W]UNQF^bw@xw{_^ENIFqbr@{w|G^UNOFsbk`Pwz?SYISFYbl`QGhG\uMwDDag@wWhW\yIYF^af@wG{WSqI]Fab]@sguw\MLoFSb[`tWvW\]LsFUbXAAh@gZYLgGKbXaAwuG_eOOEtbV@ywtw]iN[Elbv`kGt_]qLUFlbSAJWsgaqLKGmbRaJxEGYiP_EhbOaDhAGX}OcE_bQACwsO`QLEGTbLaJGrGauKwGnbLAJhEGXyP_E\bK@rwxwXQM_ERbJ@sGqw\EMaETcb`bWqOcUQOEOcb@bgpwcQQQEPck`aWpWdaQsEIcj@aGp_dmQmEFbA`qWoo[mKEFKb@@qgoG[yMYECc^`^Wo?cEJwHAc``^xFoVyQ?Dzay`sgmo\MJmFSa|@tgn?\]JqFTcM@[gmW`aJ]GXawaDxBOVAOuDsc\`YGkWbaJGGxaqaMhF_UYPyDfcg`WWjgdAQcD]apATWk?dMI}HSa^`owg?[QIAFDbb@OwgO[aMMDCc@@NX?oRmOMC{a^A@GfG_MOICyaV`oGe?[EMCCmaU`oGwOREHcF@aSATgdGd]HSHZaUAUHJOQ]HUHXaY@TwegTaHoDXaZ`UgeWTqHkDZav@HglWQQHADhat@Ggl_QMJYCdaM`TWc?TEIcC[aN@SwioPmIgC^fZ`nWv{ZyMFFCbappgxC[]MRFIbdprWxs[qM|F_bnpwW{[]INHFdbrPxw|K]aNdFpbwP{w}k^QNxF}b~p~X?K_AO\GOcFqAH@S_mOXGLcCqCXAS`QOjGUcHoDWAc@A?d?P_HoHgCcAU@P?f_PoNgF{CAAB@A_`oOGGSCEAF?~_^OSGIcDEAj@R_hORgH[CuA^@I_eOPgHCC]AH@H_ao[WMSFQBf@u_ypQGhKSUINDIabPQwhcSuI\DOafpkWuSZQLfEubYpeWrkXiK|E[bLp`Go[WYKBEAbApYWlSUmJXDlavPZwmCVEJdDrayPWwkcUYJNDgaqpTwjCTeItD[alpMwfcRuHrC}a\PKWdsQ}H`CqaUpGGbkPyGxC^aLpGgccQUHFC`aRPGwcSQEHLCcaQpHwdKQaHTCkaTpHwdCQeHTCjaUSeqLpHUckPjhLC[IL`H]coPnguceYQPD}c]P_goccIKPHEbEQSgqCcyMxC]boPGgdc^INHCeaWPyg|cQiF\Bq`zO}g_SNyFXDM`wPSg]cTYIpBya?PWgjcNyJHA}auOrgmCKiJPBEa{OsgWCVYCX@u`AOdgQCFiBxAY`COggOCHyAHEm_gPogvCCiLx@MbYOUguCDY@p@m_]O[gDcDy@`@a_YOXgLCCIBh?a_QO]gNc@YC@?Y`COFgDCGY?K~}_DO?g@s@H~xHe_?QTg?cdiRP?I_GQVhKC?yAw}]^OOYftCEH|`@m^QO[ftcEX{HGe^EQJfqCbIPo}IcSNehEbxY@O|a]qODgCbuhzX?]]yOEfmCAIO_|U]eQFfhC_xy`GU]mQGfjC`h}o{I^mNBf{BpH}_{U^iN?fxboYPGzic[Mzf]CbXvhGi\{QKf^caxv?{M]CMxfZbpXw?z]\oNCf_bmXuXFu\gQ?fZC^xuPFycCMtfWc_YP?y}cEMjhBBjiO_yqcMMohAbjXsxHI\KQPfSccIQ_yUc]MifSCcyKoyy\UPigsbkIKgyubMMnfUCYHsHDyaqMcglBgIJWyI[}P[gmbgxrHCi[wPHfLcQxrhC]aWMYfNCQIA_xM[iOPgIbdhqx@M[oOQgJBdI@WyQ_WM_gEbgxrx?y_]MafOcCH}ozY\aNtfxbkxu_~a\cNsfYb|xsw}u^_MdfRB{XtO~I\ONmfSbzxqG}Q^AMMfGBwx{Owu[cNefqbbxxow}[cNLffbbhqG|E]WMLfGBsHxWxU[eNEfdBeHwwxY]OMVfcbdHQxDISiPMgfaeXQ`DESkPOgeaeHno~eZ}Nyf?B}x~owE[EN{f@B~YGGvaaCLxe|COxnXCQZyPEe}CPXzwvM^?LtfnB\hzovI^?Lsfnb\yPGuuZ]QMewCayPOuyZaQKhEbZHkpAMZMOcesCHXlHAYZUOgetCHyEouA`oLaeqCLXkhBe`sLbgZbWYN_hibqIZdNc]IMwhqbuI\dNC]hi`Ae`SLTgTbTiD_t]YqOmgUbUHgpFUbaLAe`c[hgxFMYGPueac\Hf`D}XyP_gobNiKOr}bGL@gpbOH~GrY^sKve[B}xfG~qXuN|f~BMiIorAamKpgkBKhehDUXgPSeXcSx|?qQ^QKdftbHh|_q]^SKheSBxxcO|]XENUfhbFhy_p}]cK_fibGYOOpmWsQ@eKC^XbHFyWwQ?eMc^yQGpIc]KRhHBDIQ?pUWmQShHbDh``CEWYPAeFCOx`xCQWaPEeGCPX`O{Y]UKHfbb@hx?o]]QKJfdBAHowoUWGMGe?baXpOoAWEMKe@BayNgiYb{IgdRc_HTXGETQQAdTC^yDwnQ`_JtdzCKX]xBMVqOsd{CKh]PH]cqJrdvcdh\pHUcoJohLA{Xz?maVUNXflAyh\G|m]yJkdubvIEwlq`iJ\gZAvx[HBa`qJ]doCMh[O}yVKNqdqbzx[_}uVMNpdpb{Hool][KJYdjB`HZWwQ[IJWfAauXTkiyT^IodWqjHx_lAUcNNfeasXxolMUiNPfgAtIDgkyUSOhgTAqxX`Aq`UJNdecJhW`FEUIPrgxAphWxFQUQPudcC\XV?xe[uIxfMamxr_jiTyMYfNAnHvohISeMydFBmxv_g}\}IOf]acXPCgeSTIJdEqbIOWgYcGIAhBA`yOggMcOIChBa`XowfA[OHpcxBaXMWwiRiMKcyBaxKxCuRQPMgfaXYI?eQacHecsCSXLxEeRUPdcuCXiKweyRSPicucYHjOiAYuI`emAghjgiMTGL^enAhXdosuYOKieVbQxhGqmYWKkeUbQhWGjMTmJAdXAnhVwjYTgJBdYaoHNgtMY[H{c~BRxNwtASALQd?BSXMoniVuHwd}A]XMwnuRuJ~c|A~jKW?i?X?J_FoBW@te{[NMGfCrahpcwm[HMEfArbXpsxA[^MPfHRcxqsxQ[pMVfIreXrSxm[xM]fMrfxsKyM\HMafORhXssy]\PMifSrjHtsyu\^MofTrkXu[zQ\dMufYotgY{LaEtBZ`koEgB[@i?x?Z_MOZwLsFA@^?o_WoLGESBMAx@__moVgKKD}An@W_lOUwIsDeCpAT`IOdgQ{HeCvAY`NOfwRkHqDBAb`QOhWSCIIENBC`bOqGXKKUEDB@`^ooGW[JyDdAr`YOlWU{JYShITdJqeHRKhYSzI[dLQfhR[h}TFI`dPQhHSkiATRIedTQixS{iaTXImdUqkXT{jAS`IPdHQbhQ[g}RxH|c~q^hOKgAR`HqcyQ\XMKfMRHHdcrQXxLKeaR^HicuQYxLseuxi[nL}vKB^\ngxd[rL~U~BedncxbZlMVuzbeDrCv`[qLxU{Redm{xf[\LrvGR\DpwvRZiMOUzBb|mkxD[JLovBB[\mGw`[NLqVBR[towvJZtLqu|b[tn[vDZ`L{UxB]dmKvf[@LnUvr_\lov~[ALlv?BZlm?wHZJLfurbYDkcubZILhUtBXdksufYuL_ukRVlkGtdY}LYukrWDjOt~[iLMUfRd\qos|Y^MSvJbSLqst@[VLJVEBQ|h_wx[XLKvErR\pgstZIL@U^bXtf{uXZLL?uqRO\kks@X}L`u_rXDf{uHY?Lau_bWtgCuNYvK{UmBNLfstxYxK|UmrN\fottY`KzU\RRdhsrjY]KzugBM|h{rlXjL[uZBVTectnXiL\uZbVdj_rZYQKpuYBQleOs`XdLGuXrQ\eWshXPLjUtRI\dGunXSLkUTRZTlcql[JKdvBBHdosqZ[MKfUSBaDo{q^XGKsuPRLTcWrVXFKuUQRLtcgrZWyLTuiBFLbktXYhK]UNbTligpzZlKZUzrE|mwphWrLxU{BFDbSvbY~KUUoBDTkCpVWfL]uIBWTjwpR[VKLvEBBdpcoz[YKNVFBCDpko~WOKvuBrMDfCofXqKIUCRMdfKodWKMCvAB@l_kwT[DKDUBb_t_cwNWFLcU@RWd__uNWBL`u@bWl_OuLV|MOT~bbt^{w~[`K?VFR?TqGoBV{LAU`Q}|^_sLYFJ{uaQ~\g_ntVpMAt{b_t^SwTVrMCV@q}t^OwR[PJtvCa|d]swfVmMIVDa}D]{wj[nJnvKA{DrCnBVaMXTxBed]KxfVWLhTsrYLk{mhZOJiutAyt\[uf[bJgTsbdD[{xN[dJgtrbcd[sxLUULEtdRP|ggkbYMJHUbAq\gkkhX_JGTbrKDWkrBULKpTbbKTWorBYaJAugqotiOkNYdJCTabS|iWkRTsLxu|Qm\nWjnZwI{T\R]|VWvhTlK{T[bNTUwrrTnK|u^QmDfojbZZIrtYRZ|Ugv@Z[IsTZBZlUku|THL~v?AhToCiV[AIeV@AhtoKiZTBMStQBdTS[xV[kIbVJagdqsiJS|LGTNbQLhGh~YRI_UdQgThOiBSvLXUkqfDjWhrYtI\UkQfdjOhvSqMPtKrcdROxJStMSTLbc|qWhbYaIQugqctQ[tHSgLRtIbSlQctLSRLATDrOtPOsJYFIKUaQalg_glYIHvs{RP\NGsZRsLES{BP|NKs\[UHtSzbadpCfZRkMIsyra\McwdX\HpsxRJldwfHRgKnsxbJ|M[q|R\KvsvbMDfCe~XqHoU\A[TfKfBRYLTUiAZDicerR[LTujQY|LktXRPMTSsbd\qoef[lHiStbdLqwejRJKpsrBKlKsrHRNKsUXaXtL?rNZTH^utaWDl[eBZWH`UuaW\KOurQxLrsmb\DJkvRZkH]UyqVtmgdzQrLVSlBT|JSt`YnHZUkAVDiwdnQoMPsjbcdI{xJQqMRSkRdDq[dZZyHPSgr^\ISvxQcL{shb^tnsdBYVHNUeQSDHostYUHMserRDH{svWpJWtkbDlY{p\WnJWUKaudb?lfUbKIthBAtYSonUeKKUEatD`clNT~KOt_BCTWCpFWcJ@uHaodaSkDTxIlt]ajdVkizT]I}TWAntT{jzT`JYtlakTZ[jFUwIqTmaktZcjJXZIjTTRI|T_qrTYKkUVAjLT[qtW~IfuOAiDcCibTSKaTSrGTcKidVXINtuacD\khBV[IPTvacd\shFS\JtTxQbT]WgvS[JrtFa|D]cgrUzIFTnA`|PClzSLJ^TCawDZ{g`V@IBtoa`D[KgRVCIDTpa`d[SgVS@JbtqA_d[cgJSAJdTrA_\OWmVRzJMs~ArtNsk~U_H~Tga_DYCf~UVHyteA]tXcfnUYH{TfA^TXkfrRDIUSpadtK[hZRGITsqaeDKch^UjHSshqtLI_lTUkHTTjaTdYsdV?C_AO@W?k?Y?LX]kmuVzKDeIrBXhktUZJLleyrVF?b`PoWyS\QMfFTbjptg|S]mNXFlbvpzgBk@u?~?]_NoFgOCFuB|AA`?o^wpSWmKNEGbEPaWgSSMH~D@a_PPGb[PqGzC]aOPFzCtaEpDWbkQUHY~l^yn~W?k@U?YY|LaerRYhmSuyT|IydZQohXSk[hYRfIYczqcHL{hIRbIScuqeHMkfASVIEcyqZHOkeySZIMczq[hPKfaPfI?cWq]hF[bYR~Gwd@q^HEk`QORGMcHqCh?{`AOnGIcJqBHAkgANZHwbrq^G|[fiNFFgd@pxHN{ZIOrEscMplhB{ZaOvG_b\qGgvkTyNvD_b}pWg~k^iJJF}asp~gk{NISvIQ`|qcG]khQFnIU`}qeG^KMYPbBgcXoyhEkbaFbBkc\qLg\{LiQRB[cdqRgZ{dAFJHQ`oqRG[[KaORBCcFqBGX[_iEZBEcGooh?{dIDjAicdojHHKcqD^HO`XqRgUKHyRBHa`OqYgS{eQDFHg`SqXgSkGiP^Gc`BqHgPKaaCZGk`GqIgP{FaQz@mcio[HI{FIQr@scno\hJ[_ABJGA_roYH?[_ABF@kcAoYh?kaAA^GW_eoQhB[DIOz@ScPoSHB{bq@fG}_YqOGE{cI@rHE_\oNHGkby?vH?_MoFhGkAAQNG{_QqOgC[ai?Z?EcUo?hD{aY?VGc_AqIG@KdP~nHU^{n}hJJ~qQv??cnn~hJj}iN]~kbwnzg}[^P~bFw^xp|f}juYN]|gbwnYg}[^PzZFw]wp|flzmISIzedBqbf\ZmQSUzkdEmyHPJhiRBHa\MqXFR{eXtBHi\QqYFS[YYJVEgaupigl{VALZDsbWp[gt{VYHFDwaQp]gc{VqHRE?aUp^gd[XIDrAybKpbgU{KAKbEU`]pdGV{\yCzF_`LptgQ[HQMrAWblodgzjqi?^?O]UoEFeK@Hx]{s_IoDfeZziAM~A_coPFwkBx|z@?^_nngGZyyE]}o`gnlGYZzIEi}w`kotfuzyQLJEa^Unhgr[Xp|RE]^TnggsJxYIe}WaipVFrzxiIm}_akpUfrkNx{U}Ka?p?fp{OP{bCG^Ip@fq[Px{RC[^An`ga{Q@{BCW^@pEfnzuH}U~E]lnqFjjtx}Y~O]qnWFxzsyBu|O_}o^fi[G@yjAC]ko_fizsIKE|CbAp`fg{W`yQ|KbEnQgpZ|Hwe~S]InvFbZ|Xwm~W]MnufbJoiHzDC]FnBGgZpAHu{Ga^pOF_znhyA{u\}nMF^zrhwA{}]AnNF_[SXv^DG\wm{ghZnQIazwafm|ghjlX}}zW^omuf{Z}XvAz[^snxFZzkiGUzKaEmsgajkyG]zSaGmsGa[AXt~?g\_oIfWjka@Z?o\`mpgDzjYMiyqbdmmGyK\HtzFM\\mlGxjiYL}ygb_migwZiqMJFG\VmkGw{DXs^@W\GoUfQ[Dpsj@_\KoVfQzghxM{c\EnGFOZgPxE{]\Cm`fdKQxrnCo[{pMFN{RHrzCu\?pLFNZexzexk]yn\fLZf@zqxs]}m[fnWYCLEEfBT`iOsgESA}@`?s_WoKxMsf]RpHxc|Q]|PidbQuiNsjIcLQIdfQsiKsjiblPA`JSKgMtDIC|Oy_~O_iJtCiC\@ahBOYiPsCIbL@Ig~SYgJsDIbk~YgjNqiGtBH|k}yg^NoiHr|Ia|QQY^SkeerPid|QiYVSeecrPIdLQaV^JkiTtHH[kmihZJeiVqyIc|KQezREhnswIXLKifFRMhrsrI[lIAfRQahtsiI]\IQfZQihvshi]LFqgBP}i@s_I_lGIgNQCiDtAIO|EAcbPahFsaIJLGiavP[hHsViPk~ycvQWg@r}IQl?AczQ]f|r~IQ{}AbbPqfps]H|\FY^RPyfqs\H{|?Q\JOEfRsAHtKyq_ZMmgDsBht[xYd~QwfEsohqLJi[^R?fHsnHqkwA\zMAf^r`HwK{I[NNEfDrpHpLCAZRLig`rZIGlCYZ^PIewsQHm[tq`RLagVrViD[uA`ZOqersKHkkti]VLWfhrqHiK{qYfLUfgrTHx|EYXFKggsrIiL\EQXBPmeRsZHckpQ`jKUgZrEIFKpi`vK]g^rFIFlCqWRPMeDsSH`lDYWbKQghsTH`{nqXvJ}e`r?HfKoIXzL?eBrNh_lLYVvJshkstH^LLAVbJuhlssh][zAUrMqdlrlHZkzYU~MydprmH[Kkq]jJMfjqsHzKlI]vJUfnqtHzkkAZjJAezqqhn{kQZrJGe|qphnkxaTjMYdZrfHVKji[~I}fPqnHsKiaXZIieVqjHeKiyXfIqeZqkHekhqfjRudNqhi^lNaTBR}dPqhI^Wx{\EM`kbUcZGdguqPYLkdUbzHthEqXYNkUUVZDtd}p`X`kYUWzEte]pdXdkIT{ZAt^Mo|VzkKT|ZBd^]otVxkCTxZ@T]]nPWLjtUBy|d`En\WRkOTrYxtaemlWbkTTtYyTaUpLVPj_UMYwTbmmHW|jbUNzGT[mq@VHkwTkytDeelTXjkuTjZMTZEr\UnjMU_ZOTX}sHU`lBTgystgesTUdjAT~Y~tW]o@UHk@Taz?tW}oHULklT[ZItV]jXXPivUSzJDVUjdXTisTeyqDUEkdTbiqTdYlTX]jLUXiiTlYitZ]ipUxilTmyvtT}lxT\i|TSYiTWMiPTxi}TQyoDSui\T~i]U\Yftf]i@Xxi`U]ygtf}iHX|jkTKYzTRMmxStjnTLyfT]MhpV`Ba`qOw|satVYqmbukJh\sitj\GlUujjg|iYxb[slSufjd|rItB[wlPvLjSlnywn[?mKv?jb\pqwJ[GmOv@jb|qIvN[clsu{Jd\qYvV[kluvIJ\|oiu^[KlgvBjY\pAuj[SlkvCjY|liuFZClmupjZ|kavBZKlquqj[\jqyJYum\umJfljix~\?l_unjg\nasnY[l|u{jQ\hivzYWlyu|jQlvy{z]EnNv^JqlxY{J]?nLv_jrLvY|R]_mwv]Jt\yIzf]cm|v\Js|uQyr\_msvXjj\uIzV\kmmvVjl|sq{R]ImfvcJilwqyb]Qmjvbji\|A|Z^QnVvtJuL|Y|f]unlvuJulza}J]ynbvnJxLzy}V^Mn`vrJwG?I~P^\?AVyjzw?Q~X^`np??j||}W?L^rnq?@j}N