CAT(3072,12)

Sparse6:

:~?o?_?O?G?C?k?I?E_B_AG@O?e?g?M?GOCOA[?{?d?Y?JoEGBK@e?n?W_MOEgBs@u?v?^_S_HwDCA]@L?e_SOIWDSAm@X?l_VOMoEsBU@n?x_[OMgEsBU@n?w_\OMWHwC]AP@H_dORGH[C]AT@H_eOQwHCCEAF@A_aOPgGkCs@|@M?_OR_FkCw@v@L?^oROFcF?AR@G_dOQwHcC]AH@@_`OOwGsCUBl@z_zo]GNKFiBn@w_|O]WN[FYBd@r_wO\GMkFEB`@q_xo[WMkFQBP@i_toYWLcE]BR@g_tOXwL[EqB^@l_vOZWL{EyA^@O_goSwISDQAn@U_lOUGJKDUBL@`_poXGKSEUAv@]_noVGKCDuBZ@n_vOXwLCEeBT@k_tooOVCJkEDBB@[om_WcKWDzBD@]OoOTcKGDZBB@VOk?WcKWDbAn@aoh_VsI[E@Ag@^oiOWCJwDTA~@Tok_NcJKB~As?~O^OUkJ[CBAu@?OfOOSGKC|AD@Loe_O{GOCxAE@Nob_RKG{ChAQ@JOcoRCHCCnAO@Ioa_SCG_DBAK@Pog_PkISCVAc@Cp@_ZKLiE|B\`lovG\[MqFZBm`vo{G[kMYFNBg`soyg[SL}FFB``oOxGY[LUElBW`jotGXkKyE^BO`hOsWW{KeEPBJ`eOqgf?RCGLCFAWpA?eCOcHbCJAWPA_eCQmHTCnaUPJWdsQyHTCjaVpJGdkQQHJCgaRPIWc{QQHLCdaSpHwdCQMG|C_aNpGWcSQEHFC]aPPGGb{O?GLCHA?p@o_SOgGFCJAApA?_cNwGpCX@|PE_^[NoGvB|AMPFO^{O?GpCAAMP?obKOCGtC\AAp@?b[PGFhCR@zPD?]kPSFnCV@{pD_^CPGFtCV@|o~?a[NsGhB~AIo~_asNOGXBuAEo|O`sN_G^BxAGo|oaCNCGXBqAEo{_`sNKG^BpAGo{oaCYC@^?o_XOKWEcBM@~?}_]OMwGCBuDrAy`\onWVcJaDnAr`YOlWUSJYDTAe`RoiWT[IaD\Al`WojwUCIqChAU`JoeGRKHUC|A[`MofwR[HiDBAb`QOhWSSIAFpBu`yo|w^KNQFdBp`xo}w^cNuF|B~`|P?G_KOIGFCDaAPsgy[\YMbFSbipsWys\MMhFTbhPrgxk[}M`FKbdpsGxk[}MXFJbfPqWwk[iMLFFbcPqGwk[YMTFHbbpoo{C[?NBF@BpPwov{[ONJFABqPnoy{\_M@FXB_po_zS[OMxFBBlpmOzkZgMzEzBnpv_vsZoM~E|BnPmoy{\_LrFXB\Pu_vc\oL|FZB]plwusZQLfEwbYpjO{sYwNNEoBsPk_|KY{NVEpBtPj_{CY{NBEoBpPwotk]SLdFcBWpx_s{][LPFgBSpyOtSYoNVFiBTpborsXCKzEOBLpf?qSXKL@ESBNpfOqkXcK|EUBLpe_r{X[L@EWBMPd_sKYGKrEbBIpdossYOKtEWBQpgOpcYGKZEKBQPb_ssYKK\ELBQpW_u[USLlDfBYplokcZ_JLDbBYPMOs{R_LPCyBTPMotKYoHxC|BTpLoqSRSKbCrBIPL?p{X?HdCuBHp]_gkScJzD{AcPP_n{SOJ|DzAbpO_l{R{J`D@AxpN_lsSKJdD?Awp`_jcW[I|D^BCPW?pKWkIzD`BDP__i{WCIvE?AkpT_o[T_KJECAlPS?mcVWIfDtAhPTOm{VcIbDSA{PQ_lKUkIVDiAfpROlCSoJZDkAfQmoCKAI@@?d_QOGwDsAi@V?k_SoJWqCXIK^EPbIPcwqkXiKrEUbKPdwpsWqKZ?t_ZOLwFCBi@r@P_hORwICDQAf@V_ioTgJCDiAr@]_loVGJkD}B@C~a`PNggKSMI@DCaapPgg{SeIPDUakPUWj[TiInD]aoPVWj{TqJBDLadPRgh[S}IXDTagPSWicTMIdCraXPLGekR]HlKCD}R@P^soCVtKAD|r?p^{nsW@KKDyRBP]knWW\JvEFq}PaKn_W`JoEIQz`aknCWdJnEHrDp][nGWlJoEBQz`_{nCWRJqEDq{p`Sm{WPJOdeqrhX{lIUbJGdbqqxXSkqURJFdcQqXXSkqUVIvEHqlPaSjWWjKVD[qm@asjgWhJTDVql@Y[j?UhJTDXqkPY[jGUhIiDgqipX{ksTZIhDgQj`YSioU\IiD_qipWSioUFIlDaQj`WsicUJJADVqopUCkOTbJDDXQl@WskCTfI_DHQfpQKhSSzI]DJQcpSShOTBIbDKqe@TCiOSvIYDQqf@S{h[TLI^DPqg`TCiOSzI]DRqgPSsi?TJIvDJqlPRKj_SvIuDKQm`RcjcStITD\qcPVkk?SlI{DHQnpQchKT|IMD\qb`Vck?S`IOD]qbpVsj{S^JlDEQa@\KgcVTIJDsQypPkmoSTIEDnq_`Zcm?SNIBDnQwPOkgOUzH}DpQ^p[smKRxH|DqQ_@[kgCVNHwDnQ\`Zcf[UzHxDnqwPNSm?RvJUCwQtpMKfGUpHrDkq\PZ[fOUtHlDrQw`LSmKRVJcCuQxpL{mSR\HcDyQXP]kncRLHfDzQY@^Cn[RRJUCnQtpK[l_R@H^DkqWPZ[lgRDHWDsQUP\KdgVTJjClqVP\cdoVZHQE?R@PIsoGQfKBCiR?PI{oOQjJyCeq~@HsnwQ^HKD~qSP^[nsQ`H?EBQOP_{cGWPKHCaqOp`[cOWTHEEEqPp`sc_W`HHEGrB@H[o{QTGgC\QNPDkbkPVG{CTQIPF{bwPXGeBxp{`C[a[NhFuCPP|pCcaSNjG[BuPz`CK`{NZFnCMp{PCC^?O|GsCEqBpE{bSOVGuCEQA`FKb_O\GDCJqEp?s__OlGFCKQAPBK_OOtF}CVQKp?[bCN~G@CVqK`?Cb?ODFxCIP}`AK`?NxGQB}p}pA[`SNpOM?LOEwBc@u?~?]dGqdXQshISfISdRQhHS[iUTPIfdFqbhQCj]TpIydZQmXUkAY@P?f_}O^WNsGAB~A@`@O_wOcGUCNAE`COaWPSGmCZAK`FObwQCHECfAQbvpzG|k]yN`FpbxP{w}c^]NlFtcSQJXDKaiPXGjcCq@H?k_YOPGFcFqBh@S_mOXGLb{P}W~S^mNzF{b~Q?w~{_AOBGAgmCYIKHEqa{PhgucWIJhEia}PjgjCWiJXEYamPbgkCXIJHE]asPdgacQiHXCYaWPFgecPIHxCea[PGgPsHICtA]`POdgLSEyBd@u_~O]gLSEyB|@q_zO]gKsDIAl@Y_nOWgPCAICH?u_UOagOCBI@PAA_QO`gIC?yAh?Q_kODg@CEYB@?Y_mOFgFC@I?P?}_EOOgAcCY?x@M_KOQgCcBi@P?}_aOGgDcCI@h@M_WOQeKCIXbHAe`SKYgTbFYDWpq`SKZfzCNiGO~m^mO~g_B}IGW~eaANygUB{IDg~E`[NqfycKH}XBE^gOnftCMIFO}}^UOxfucNX|pBm^WO{fsCLx|HBI`eNffqCLIEg}Y`kNdfnCMH{HBu]}OxfoCMh{XBq^COzfkCNhzHB}a?NYg_buxzhCIaEN[fhCLhyXBI`iNVgZbthyhBM]gOsgUBjhuHBE`YMngVBkHuXA}\cOofMCSHsHDQ[}PTfMcShs@DM[{PPe~CPHnxCU[?PEf?cPxoXCe[CPGe{CQiHWveZsPKe|cRXnhC}ZwPMexCYHmXEiZgPjeycYYLgv]bWLugjbWYJ?uIaqLbeqCThkhDiauL_gpBXxlPE]ZKPbgqBYIKgumZQPegmbZIJouua}LmevcWXmHEAZ_P[elRUxjstqY~L\eiRTXist]YpLXggBOhg`DIYEPPeacSxgxDUYKPSe]CGxfhAQX{Ode^cHhgHAaY?Off~bJxdg~qXSN|g?BIx~oqqX[O@eNB~HcW~}X?N|g?BFy?GqEXCN}fPBphwwyM]OMcfcbhXso{m\MNIfJBmhqwzm\wMXf]beHrWz}\{MYfHBrhq?{q[aNLfHbrxqg|E[gNOf_BahwGwm]CMKf`bbXwgw}]GMMfSB`Hogye[KMifBbixpGyu[OMkegBQXiOsqYaLIefbQxiWsuY[LGeYbLhe?r]XqKpe[BKhfWrMXsKseQBlHcgzUXKMueRblxdGzeXOMwit?DwBK@adZQihVsiyTtIqdJQehQSiYS|IajUPzitC]ilXFqjSP|iuC^yl`FybqTcgzdXYN@UYbgTfisc\iMhUab[TcgxdXYLxUYjQPqgwDXyMHUaigQsiickiU@TIieQpijCkyixJUi?Syi_dMygPRqhyTBi^dPYfpSQiUSxicdLiehS]hgTEidDLyh@RaioSmikdJyjPREheTZiXDVYe@TqhOSaiSdGydPQQhUSdiRdJYd`QYgaSZiIdEIapPAggSViHdEiaPPefKTPhrdRI\HSufSTOhtdRi\@S}jAR_inCwYjxMIj?RbhqdWykPMQesRwh}cvyZXNeewRyh}Cvi^XLugERXh~CtI^xLUg?RUi@Cty_HLafWRMhfczYY@MyeaRnhwcsy]@LIgORLhcD@IXXOUgQRIiBCqY_xKqfcRAhxcoyW`NQeIRthbC|iWxN]gwQ{iMcnYbpJyg}Q~iOcoYc@KAgSQuiDcly``JadqSLh\dByVPOycoQ]hKcfyRPIAcuQ`hPcfYR`IIccQKhFccyPhHQc[QThGcdyQ@HYcKQ?hBc_YOhGicGQGh@CayOXGe?j?S_JTiQ}|YgnnUjJ{T}Qtt^clZVwJUTuA{\\KnBVaJittAz|]OmlVVJoTrQzL\GmzVMJlTuqyL[{m|VOJmToaxT[KmNVCJctoQxD[WmVVKJatmqulZWlxUvJ_TmAvlZgl|UxJ^tgqt|YSlhUcJWThauLY_lfUfJXTdqrlX_k|UXJNtgarTYCkxU_JLtdQqDWkkbULJHTbAq\XWk\UNJIT{Qol^GkLVrJBt|ApDWgnlVtJCt^q|\]sk@VmJ?tzqoT^?kHUBJuTxQnL]WjtVfI|tyant]cjxVgI}t]AltVSjbTuIwT\AmTV[jZTnIxoAw@c?upwXBk^eOjG@cIqAXCk^EPJFhcMntVzj~T~I~|^up_W?k@eLZEH_EpcWAkAELJ?hbMpGW]kQeFzCpaApMW`kSeGzD@aIocWWkKeCzBP`YouWSkMeDzB``UpuWPkZEBJEx_uo[Wwk\EBzA@beoKWikDEJJ?xamp]WGkDeJj@HaurcIodVqkhUcjETf?s_VoKgECBE@fSPiHtCiaDPUghXrL@u^bMdf{rjY?KzU_RM|fGsDXqK{u\RNTfKrpX{KyU\rN\fsrlYBKwU^rL|fCr|Y?Kvu[ROTgCr`XWK{uTrNDdcrtXYK|uVBNldkrxXJkeURjHldAq^XDkdUPzHDcYqRXPKpuSbKddKrJXeKiUYBIte[qjX\KsuVbLTd{rVX_KuUWbLteCrZYv?HoBgAS?}?`?Pf~r~H~l?A_BN}gCSAi@l?m_ROK_QOGGCKAU@D?bbLpfGrsXuL@E^aXPLGe{RUHlCreYrKHeKrQXdKriutZil|VAjdTpluevJZ\lyv@Z^lmuwbWlmCuFZbLaUxRWtmOuPZeLbuqbW\kouHZJLaurbWtkcuPZLLbutRVljwunY~LjUoBZDkGutZ@LkurrVljwu`Y~LguoBYTlOuDZ@LhulzVDjqttYzl[ulR[tjOvBYtLpUlb[\jWvHYsLqutRTtlWt^ZVLWUuBULjKurZYLXUiBXLicuTYiLduirXtkstZZKLUUgjS\iQtJYflRUdbX|h[u`YWLhUeRYLlOsvYYLhumBQDjgsbYQL]UdRV\hKtrYSLZuwBPtgguxYJLmubBZ\l{sZYNLnUaRRdhwsHYGLOufROli?sLYFLNo@W@K?a?N?I_BTXIklUYjNThisQdxRchmSpIYdKqgXRkhyT@I^dPQiXTSimTXImdUtDibLP]gpSZiLScyQdHUclQVhHS_IOLGIcFQDhAUfJR|hytBY_lMvYzldu}z`\lmvVXZktuezN\imsVPri\s_yh\HMivTbhdt_yT\JMjvRRg|s{yP\OMdVSRhdtGyV\MMcvOjg\sQyJ\@mbV[R[|mgzf\qLsV\B\LmozjZjMzVURf\tgxx\\M_VUrfltwx~\[M^VWretuOxt[tMovLrkDr_y~[xMpVWredq{y~[oMoVXBe\rCzD[qMovURdLtgxT\]MTvJBj\qwyz[lMmVSrblpwyn\SMNvTRcDt_xD[`MjVRRa|swwp\NMKvSBbTtGwx\PMLvObalsOwb\EMHVOra\pWyB\DMIVArmLvGw`[KMxvBrmdoszl[MMyvYr^|o?zX\oM@v?blluwwH[@MvvYb^luSvr\eL|vXr^du_v|ZyMsu|rctqKvp[cLxvIB]dnSxNZuMQuzR_lmwwLZoMBu{b`Dm{wTZpMCvzq?T?Q_FODgBS@xesr]XpKxe\RMxfcryXzK~e_rOIm\VajhTtizt\j[|mavRZkltUyzctqQxN[bmSVHZ\lmyv^ZolxU{[AY?^?g_JoCGD[@I@Z?W_WoDGDz|I?u~U_OntGBj|a@E~[_QnugBz{Y?^?U^coCfxj|A?r?O^dnrgAj|H}M~S^cnsFzJ{x}u~[^entfxZzh~m~y^]nnf~J~p}A~}^ao?FwZyx}}}q^onlF{Zz`~I~g^WnxfuzyI?E}c_Bnhg@Jya?U}k_Enig?j}p{m~i^Kn{frz}x{u~s^On{Frjwl{a}N^EndVqZvy?E}?_An_g?zwQ?Q}G_En`g@ZvH~m|s^{n\f~Zv`~y|{_?n]f~zuX}}|g^pnYf{J}PzY~g]wnxflz}pyu~i]mnWf}Zu@~i|c^vn{Fjzs|yq|P]jnSvikAXxn?g][oIff[Apxz?o]_oJffzpy?u{__MnHGBzqI@A{g_PnHgCjqhyE|I]UnJfgjr@yM{s]enKfhJoHwM{G\}nAf_Jnhwa{M\~nBF_jpHv]{S\wm}FbJnXwmzq]Mm|FbZ{d}M~J^ensVxyOtGicNQGhDsaYPdG}cZQMhGScZoLvyzz]?n@V^zm|vazr\ym}V]{PuG~CVaKpGWb[SYBFDG_qoZGh{SiBN@gagoYghkQyGVCqaEpKGakRYG^CwaGpLGa[QIF~Cea?p?gckOQHRCGaUp@gd[M]FRBj`wozW\{QyDnCo`[pKgV[RQDzCu`^ooGfKIiHFAkaQojgc{JIHZAsaSokGd[IUC~A``RogwTKPiCrAUaJodGbkPaCfAYaOpFgRkEyHv@oa]o[gf{FQIBDC_{o\gg[DYHv@Wa]oUgf{SQAz@_a`oVggKSYAVDG_epQgH{SqAb@QafoTGiKLiE^B[`houGZ{MAEbBU`qowgYkKIFfBC`yopg]{KaFrBK`}oqg^[ByBv@C_}o^gG[GAAN@?`Ao_gHKGY@fAM_[oaGEkGi@n?{`GobGF[TyN^D_bwpWg}[^QJJFwasp|gk{]ILrEsbqpkg{{ZYNRE{bupmg|[YaL~FGbTpogt{YYMBFCbWpjGw{_YKvE[cCqAgr{_qLBEacGqBgsk^iK^F{bGp~gq[_AKjGCbKq?gq{VYMnDwbkp]gz[VqMzF_b?pvgn{[iJVDsbiprGlk[yJ^Dqbgp[Gy[WIIrDUbApUgo{WqIjD[bDpaGi[cyQFHScaqSHG{dIQRHKckqThH[bYQvGwcmqMhJ{eIQBHcc]qNhKKeqP^HgcWqYhEkfAPfHecTqJHL{`IO~GccKqGHAkaIOnGgcMqHhB[hIRfHwdGq\HP[fYSZHydIqbhNkfySnI?dKqaHSKgISvIEdMq`HR{iyTFIcdWqhhU[iaTjIkd[qihUzMLe}r`?R_FOCWAS@A?^XNkduRJIDcyqZZflsuyj\\mqvP`fosWY[L]ErBTeCQ{H[kmYVfJgdyqzh^KmiVvJkdzquh]KlaVfJsdoqvH^[mIVrJ]dzqtXXkk}UbJVdhqtXXkk}UbJRdjquhW{kYUzJGdpqqh[KlaUVJGdnqmh[kmYTzI}dtqyHWKmyUJJkd`rT_@W?s?]?R?I_CVyj|L}y~V^lnuUlZUdjYtFYclPUhZS|iZEfbSpiwtkZEL^DVahpTWjKTuIvMTfErbxq{xM[bMIe~r`HnKwAZjMAe|r`hnkwaZnLmeyr[Hn{uyZrLqe|r[hnkvAZnM?epr_hkkwQZRLifBrZHp[waZNLVekrUxj{uEYzLVemrUXj[uEY~KAegrTH_koAYbJ{eiq~hi[oYYfLCeqrPhk{siZFLkecrRHlKuiY^KGfHrAhp{wqWZMOeGrBhqkpI[nKme\rKhfKsIXjKue]rOHeKryXZKSePrDhcKpaXJKieMrIHb{piXNOyegrTXiZ`\oqwZ[MmGVB{HMCjAV`MoeWR[oMWJK@d}r@x^{qUXNK`ePrIxdKquX^KpeXrLxelEQbbPqgrs\ILLFYbVPygvs]ILlEaarPiglsVIKlDybNPagvsWILlBu`~Ozg\sNyFlEA`nP[gVsKiJLBAbFP]g[sLIJ\AQ`RO_gUsHiD\@q`ROagUsFiD\AA`^O[g[sLiC\BA_~OsgRsKiClDQ_nPKgGsRiA\DA_jOYghsTiBLCi_ZOEg_sBiG\?QaJPGgDsPi@LCi^vNwg_r~IG[~yaJPEg@sQI?LCq^ZNmgfr{IIK~IafNugjr|IIk}AbbPqfps\H{lFY^NPyfts]H|Kxi\zM_f^rphrkxa]BNCfProhr{zI]jNWf\ruhuKza]nN]fZrvHuk{i\JNKfRrsHtK|I\VMkffrjhxLQi`ROlgTsKyD|BE`jOxgZnFvcJqTxE{h]RpbWp[WMKJEFbCreXr[xu[~MbfOrsXx[{u]^NRfcrtXy{|e]~N\fltZIk\UAjnTciytXil|UijbTgixtKyelREhnSxi\tIyd|QuhVSniUtHIOLQQbzSeg~tIIO|QYcFSghAtEIhLPiiVTMiMtFihlQIifTOiOtBig|RqgjSUi`tCIf|OqiJSQi_tNi_LSQgRTAiBtOI`\OQiNS{i@tSi\\MaiZTMhuszihLNIiVTOhwtUIXLTyeNTShasqii|KyivRKimsmIkLJijFTch]tXiV|UieFTgh_tZITlUydbTohXslim\JQjnQmiysiIjlIAijQaijshIjLIii~QeiltKIRLRIcvQ]i[tLIRlRicnQSiZssI]lNYefRwhis}iY|NyevR{hksaIZlGie~R_hEswiP|MYcfRchGuKinTaujxWli~UJzDtWMp`Txj?UKZ@DXuoTU^jQUCz@dYElLWNjPUCZAd\eolVZkLTwzBd]EmxW^kKTvzCd\EmdWfjiUIZCD[upTVVkPTrywD]UmDVfjsTpY|T[]n\VJjuTqY}DZUlxVtjxTly~TZml|Vvj{TmZ?TZElPV|j~Tiz?DYuoLUrkATjyqdWUktUNjHT`yqtWekpUJjGTbZLtfmrpX~kwU^ZOTf]sHXrkyU_ZIteMr@XjkkUXZJTe]rXX\knUYZGDdUqTW~k`URZGdc}qPXRkbUSZPdbusLWrlCULZPTb]s`WzlFUMZUthMsxYxl\UdZRTkEt|YVlKUnZStius|YjlVUgZUDiMthYhlXUhZXtkMuTZTleUtzWdlEuLZXlcUsyc|QehJKBd}q~x_Ko]WJZelvu{J\LnIvVZiluu|j[|nQvRZYluuvJ\|nAu~Zqlou|j[lnQvFWpkVuJYCl@u_~O`gRsGyplW]kJUHjFtazc\qUxN[hmUvIzaDpewd[ZmMVDZaDp]x@[TmNVCzcTnexHZzmRU~ZdDn}xT[Bm?VJZatoUwL[XmNVBZ`Dpmwx[JmOVByRLHUcnQZhMsfzjttMzP\TmoVTzkttezD\\mqVUzkDs]yP\bmnVQzhduUy`\hmfVXzedsExt[nmZVPZfdrExp\BmXVNo@G?c?RUVjGteYq\Xmkj[xmVvLZeLr]xf]anFvhJqLyY{f]MnSvgJq\xA|V]Smtvdjllxaz^]Ymwv\Jr|xqzf]Un@vdJolxi{N]WnCvbJrlwi{~\{nTv\jtLyIz~]_m{vhJn\yY{B]wngvmjy\zq}j]}njvojz\{A}r]knavjjw|zA}R]qndvljx|{q|i?AnsVvO?d}i}}?CnuVwZ{O?Y~]?AnrV{z{_?Y~b