CAT(3038,2)

Sparse6:

:~?n]_?O?G?CBC@\?o_VoJgECA}@b?q_XoLGEsBUAE?x_[OLwFSBq@v@U?foRWHsCuA^@M_e?RWH_C}AW@M_c_QgHOCmAQ@J_aOPWG[CYAP@F___NWGOB}@{@?_sOYWLSEUBN@e_noWGKKDGAh@P?ioS?I[DcBH@b?loW_JSDoAl@V?nOU?JkG{Ad@O_goSwIcDUAf@S_iof_RGHQCsAQ`H_eGQCHEC^AO@IocOQ{G{ClAM@Koe_PkGoCpAQ@Cod?P[HKCTAH@IoaoQ{GgClAB?~O`ON{GOBzAE@?oa?OCG[CDAB@BO`?PCGSCNA?@Eob?OSGwCBAX?yoe_MsFOCp@q?~O[oN{FCBz@y?zo]ONcF_Bv@m?toZOMCE{BXBV?ToJWDcFuB~@}`@O_WOCGQCJAB`CO`wOsGqC\AL_dOQwHKBM@b?q_YOLgEkBy@z?~_]oNwFsCIAB@?__OOgGKCMAJ@C_bOQGG{EuBX@j_wo[wMSEyB`@naG@A__sOoGJCJAAPA__KOoGFCJA@O~O_sOOFvB{AAo|_^CN[FtBt@{p?O\{NCGFCA@wO~_\cO?F\B~@uozO\{NCF\Bk@wP@o\KOcFTCG@tow_[kM?FFB`@qOx_ZkM_E~Bf@nOvo[[LsFHB]@qp@oZSLoGRBZACOw?ZSLoFDBZ@oo{_YcNOElBr@io|_YsLOFnBt@iosO^SLKFpBQ@{osO^[NoEfB|@hOf_XsL?D@A^@fop_]SK[FhBD@xo~_WSO?EFB~@aOyoWKMgE@Bh@^oy?VkMWD|Bf@]OmoY{JgErBW@[okOXkJGEXAo@dokoY{JSErAs@kOqoUsKsDpBK@ZojWTsI}DTAj`UOhoXsL?DRAg@foh?XSIWERAd@cOq_SKK_DDBH@PofGRkHmKO?f_QoHgDCAi@RBT`iOtgDsA}@`?v_[oMGFSBq@v@P_hOSGKcEMBD@d_roXgI{DaAl@X_loUgSSIMDBEqBU`igt_YeL[EjbP`hgsgYaLGEfbR@fWt?X}LME]bL@iWr_YmKuEibJ`gGsOXeLAEWbN@dGqoX}KyETbK`cgr?XMKmEPbG`dGqoXMKcETbU@`gtoW]LYEDbF@`GoOXAKEENb?``wo?WYKID~aF`^woGOuK?CMau`bglwXAJ[ENbU`ZGlOYyLWDjaf`fGrOTEKuDOac`hWhWYMISEcbP@Pgh?YALADFa_POggKR}H|C|a]@^gfOVqHuD|b@`Lwo_ReKCCwbD`LGpgRYKWCta{`KWeWVmJsCqaz`Jgn?RAJkCnaz`JGn?QuJkCjaS@bGdOWuKUCha{`HWnWQ]JsCeaP@\Gc_VMJiCbaN`[wcGVQJiC_bC@FGboWiGyEHaK`^GbWVyGsD|aJ@[GawVIGoDpaH`aGagWiGgEHaw@CGaOVIJaCPar`VgjwUeJ?Dgak@UwjOTuIqD[aq@Sgi_UYJIDRaj@RGiwSyIiDLap@OwkGSUJEDCcZ?HGC[AIKJEFbBOIwDkAq@V?l_UPZWl{UyPwGrc^ALXFgbQPeG~cYaOXE_cAPaGyc\aKhE?bePHGecQqF`F{a?QBG^C_QEpFc`sP|G[C]qEXBC`iMqGxc\`uwzObiPcFPcW@shEG\AMYHAbfaPGxocMMMGwbcaLwx?bYMGGnbbAJWwgayMEGvc[@oWwObYL}Gnb_AJgvoauLyGkb]AIgvWamLoGfb\AIWvGaaPOEubZaIXCwZULcGkcT`kxDOZQL_HBbWaPGtwcIOcGTcIADxAW`YOQGBcAaAx?__iO?Gac@AGxCG_EN}Fvb{`~g~g^aNaFsbx`|g}O^UNOGLbtABg|G_qO]FecG`xxA?]UN[Fabq@{G{W]}OKF^cC@wX?w]ANsF[b}@vg~W\uNUFUbu@twz?]uMSFTbh`rGy_[mT[?f_QoHgCkA]@L?g_SoIgDCAe@TBG`dOqWX[KuEXBM`gOrwR[HuCxA[`LofWt{ZEL`EobWpjxXckyUZIjDcqq`TkkkTXJKDUQipXsksTZJBDSQi`WkicUHJFDSQiPXCigULIsDQql`S{jSTLIvDQqmPS{j_TLIaDVQh@UCiKT^IbDWqh@U[iGTdJ?CfQo`ICkCQ^JEDMQf`XCk[SzIQdGQcXPsg}SZIIDZqb@VCgkTrIsDBqaPUsg_TjICD]qnpOsgST|IBDXq_`UKgCTdH}DVQ_@UCf{T^JBC|q^PWkkORxH_Dcqq`KKkkRDH^cnQVXJ_jmTwHYd\AUxJGjqQmIyckAmxI_juT}HUcianhIGkAQeJAchAoXH[cuQXHDcbqPhHCciQRI`C|Qg@NCh{RrHtDJQ\`Q{f[SpIZCwqePMChgR^IRCuQdPLshORZHqCsq\@L[fKRTHgCqqX@Kse[RFKz?PoHGCSAI@H?bawP[gmKVMJjDsazp]GmsVeJvDya~P^WncWEK@D~bAP_woSOuG^CMaEpBw`stcY`LZEgrU`iSr_YlKxEjrM`jCr_YrKyElrMPjSrkXnK|EYrN@esr{XlL?EZrN`ekmmVTJkeXbOHforQXcK~eVbMxeGruX_K{eUbSxdotUYgKkebbIhhGqmYOKheaBHhgoqaYIKfePbThcgtaXGLVeHrChaKosYbKKEhRS@`[tKWPLTEDRT@`KoGYBLBEAR?pgSsOV~K@EbRPP_CnoYTJ}EeQ~Ph[ncYNJzEcq}`hCnWYTJwEeQ|ph[s{VhJtEerR`][n?YDLBDxQ{PgKmsYZLNDvrR`\smQVJJedsQyX[{lyV@J^doqwx[SlaUtJXdmquxZclUUnJUdhQtHY[p[X@KaEKrE@cKpsWhK^EJRF`ako{WvKOEMRB`bSoSU^KFDgr@`YCa]PRGgcTQJHD[auP^GmdfqsXYC|O][NPfhbsHyO{}\eNMfYbsHu_{}[xM\fLrehrCxe[INPfhb`HyOwM]OL|fdB^hxGv}ZsNFe}BphnW{U]OLvfdB]XxGva]WLueybrXxWvQZaNDexBphwwvMZ_NLevbqxx_uyZLLfeqrYXlSuaZDLceprVxkKuAYwNPfhbVhyOtuZWMxetbmxlgzi]CMlfaBjxwWyy[{MofXBgHuGx}\SMTfTbdxqoyq\MMQfSbdHt?xM\wMNfGbnhq?zu[WMcfRBbhpgyU[QM`fDBgxpWyI[KMufCBmHowz]\}MAf_b_Hw?wE_~O`gOS@I?t?U_YORgIcByA`?y_ANzg@b~Y?O~q^sNqfyB}H}W~e^kNpfzbzx}g~A^YO]fvCFH|`@u^QOOftcCh|P@E_kNefsCEIAw}]^{Nbg?BxX~w}Q^?NVfpBuX{G|a]{OKgDBvxzh?m_qNZgLbvIBO|i]gOFgCbthyh?aPbGqcWQKxEkbQX@KaeOrFXb{pyWtK[eLrAx`koqa]PTgjcSYIpDAa]PQggcTII@DMaWPZgfCVYHhDqaWPWgfCUiHhDe`OPTgjCIYDPD]aLPGgbsOyGlCQa?PZg`CVYGHDq`IPQgRcTICpDMaoOcgPCUiJHAM`mO|g[cNyF@By`sOpg]CKyFXBI`[OsgYcKIEpA}`UPHgdcJYD`Cic[IcdPqghSki]TLIgdTQiXT[iuTXMuf[Rlxu[zU\hMpfXRkHtky}\\MifURixs{ye\PMcfRRhXsSyM\BQXHMseAR|HwcnQYHJseQRdH_cvQbHIShQQtIOcjQSHOSdQSTHWdBQPHSscqT\HGdTQeHGsiAQ\I[cdQMHVscAULG{d`QMHUSjaQDG{dZQeGtSZATDI[bVQbHAshQO|IOcLQCHLs_aRdGKctP~HUSjaOLG?dZP{HSs^aT\FsdTPxg|s]iMtFabnQ\GxsfqMlHwbhPoHOS[aSTFCdBQnGvsZQULEwd`PfHDsbQLLE_cXPcHDsbQKtEScXP`HCSWqPLEGcTQGGnSaaJ|Gcb@S?EZRLxekreXpKyf~S?H~{~m^zN{f{R}h~K~Y^nNtiCd@I`XOMgSSDiBd?y`@OUgKSCi?DByaHOIgASOi?DBY_POygASKhqsxy[tMIfHRbiBCti`@LagMRVhhdByaHLUegSOhgDBIYPOyeaSLiCcrYXxOmgSRMh}cpy^xKef{RGhaC~YWpN}eIR}h_c}i^`KMfuRAh^C}i^`KAfuQ~h\c|yVhNedwRwhzcmIVPNadqRxhyCli]pJUfiQvhXC|IU`NYdeRthwcqi]XKqfcRJhncyy[HMuf?RkhmCzi]@LyeyRnhsCuYZXMiesRhilDSYi\TIi\TOiftTqb\PsirS[IkTTqbDTcgtTWIKtTaalTOgnTTIJTCaidTSghSRIjTQqglSsiNTKIbTQAetSghpTHIZtKqbtRSh@SsINtNqdlSCh^T?IVTJAgTQgiHSjI`tHqeDRGhRSgIWtMQcdRkhLSyIQtGQfdRwhFS|IPSaIPTGecVQLhETZAo|UwkRTlJCT_Yo\WIjdTsixt`Al|WWjbUDIwT`AjlTwkLT^JAtUao|TokRTZJCTYQmlUkjnTiIzTXqntW?jPT~IrTWqn\USjzTcI}TWAnDUGjtT`I{s|I]tNUfnRxh{S}i^dNmfzR~h~TaatDWolTUJJSthQtDY[lTUeJStgauLYOlfUbJXTjar|YCl`U_JVtiqrdYskzUkJNTeYr\XiklUVjKTjaq\XSl`UnJITcAuLXGlfUPJXTiqplYsk^UkJFTTIitTUinTXikTryyL\AmXVMjetsawD[GmhV@Jhtsavl\Ol~VRJ^Tmayl\[lxUzJjTlqyl\[lrUwJjTpaxL[[mVVGJdToqudZWmJVCJYtzQ{|]{nRVmJsTya{L]KnXVaJttuAzt\gn@VXJntxAz\]WmzVdJmT}Q}D^kndVyJwt{q}t^OnnVwJyoaWPSGmJBDbapPVgkCT}Q`HMcfqUHJKd]ZVLkeur_HoSwE`NOdgRSHICTAMexR]hmsuYZ\LiizT^inTUijdTmmLVGjbtoywl[QpKWkkSEJjCxaupQWbkQeIzC`aipKW_kSEGjCxaEpGW]kQeFzBhaMosW_kMEGjBXaEoqW^kNEDzBh`aosWSkMEDjBX`UoaWVkKeCzAP`ao[WSkGEDj@x`UoaWJkHeBZAP_qo[WGkGEAj@x_eoIWJkBeBJ?p_uoOWAkAEAj?X_eoIWAkAE@z?X_YnwWkj~EJi~haupQV~kTe?ZDP_ArU?U_KODwBK@m?t?[_NOFWB{AE@@BP`hosg|S]aNRFdbrpxh][nQVjJodxQ{Xzs|}]zNYfmRuyMDFIbbPngvSZYbtQAg~S`iPtGiqDXIkbULjFtbizD\emtVZjmtvJRphmt?Y[lMefzSHhatEYYlPEeZQhhmsyYVlJEfJQPhasgYYlHeeZQPg}seYPlIEcJQxgysiYKlJEbZPHhAsUYPlDEbzOxgusOYMlEE`jPXgUsSYBlCe`JOxgIsOY?l?e`jNhgMr}YDk~E`JO@firwY@l@E]zNhf]r}Xxk~E]JMxfirwXwk{e]zMdfYrjXtkzU\JDxeapaXikWEYZJ`hyq{Y_kmefzSHdequYblPEUjMHdYreXWkxETzMHdMreXTkxETJI@eUrMXQkrESZKPcurGXNkpeRjHPeUrMXJkrERJGxeIqQXckcEWzLpcQqKXokaeZzLXcErYXBkuEOjFxeyq?Xok^EZzFXempyXlk]EZJJxbapsX`koEMZL@bUrSWvkseLjEPeEq}WskXeWJ`O?i?X?J_EoBw@tpW?d?P_GVF?A[@U?h[]mMVFZbtpqwz[XLQVErStpgtJ[CLgUrb_toSu^[CLgv@bY\oSud[WLeVDbXlp[uV[VLcUqbbDkcwlZFMIupbadkSwfZBMHVCBWdkGwbY~MIuoRadk?wf[QL]UnbaDpCtz[LL[vBrV\owtt[KLZUmB`ToktnYsMFulR`ljKw\YoMDVArULootdYlMBujr`LiwwPYiMKujBbTikwv[FLRuiR`Li_wPZwL~V?B^Tncv~ZtL|u|r^lnWvxZkLxUzb]dmsvfZnLsuyr]DmgvbZ_LrUwb\DmCvNZbLmuvr[lmOu|[@Ljv?rZLoGupZSLlUtbZdlSuv\uMAV@j_k@Y?p?V_JOEGA{@e?v?Y_KoEgB[@q?|?\_MOFgBlwSzl]FM{V`bm|w_zl]IM{VaRm|vKz~\tN?v\BoDvK{D]CMyV\Ro\vcz`\zMxV]bmLv?zx\qM~V[RnlqaxT[hmTvJZdduO{P\eNDVXRpLwSzB\bNBv`bkTtw{D]CMoVVro\tkzx\\M~VVBnlt_z~\YN?vURoDvcyj\zMjv]bitp{zZ[`MvvZbcDqGzZ\nMQVZbc\tGzT\SMuVSrl\scyX\MMdvRRhTs{yL\PMcVSBg|sOx~\DM]vOrftrgy@\AM]VMrgLr[xf[wMXVMReLq{xh[oMZVJbelqSzN[fMsvHblC?i?X?J_DOBG@\|{z^\lmvOBg@{?u?Z?N_FOCgAC@E?`?Q_GuWZJ|eArDXckpuXZK|eYrPXiksvyB{L}g~@^hNnvwB|l}C~X^^Ntvvb{\|o~D^\NqVvR{l|o~N^]NrVsrzL|S}v^SNlVtbzL|_}v^VNlVzbyD|G~`^PNvvzRxt}k}^^kNevyBxT}g}X^hNdvqB{t{[~J^fNcvtbwd{W}p^VNavoR{T{K~H^ANpvsrvt|O}@]~Nivmr}|zs~r]{N{Vlju|zU|r]yn[Vkb}|zO~r]rN{Vzrt|zC~`]oNvVjB}L~K|\^qNUv|BtL~W|V^tNTVhb}L~K|P^qNRv|Bs\yS~l^tNQVdzrLxa{t][nLvcZq\xI{h]UnIvgBp\yG{Z]`NEVfRptx?{~]NNNV@z`Loawb[QmGVCzalpQwr[YmLwTs@eDd?Z`WOFWGSHuALA`_aOfwFcHuA@A`_^OfwTsB]Dd?z`WOMWECIM@hAd_XOhwDSIeDX?n`TOJWScAU@PAf_ROgwBsIeDX?``TOGw@k@E?^?R_JoDW?K?U?F?H_Do@wQsFMCt@v`KO\WLcHECh@p_vOcwPSE]BTAN_sObWNsEECD@d`?OWwPCD}CL@\`AOUwIcFeAp@|_jO]wHr~eAc~v^yOSV~SCt~|@H^}OQwUcPUGpAx`ZPDw_SO}GLCRaAPCW`CNuGXC@aDO~wZsQ]FDCj`oPIWZcQMEtC``kPHW^CLMElBz`zOtWXcMmF\BP`uOrwWsNUFdBJ`wOqWWCMUEDBh`aOxwbSJmG|A~aMOnWloCKAA?~?`_OOFzXtk}u`ZPlhusjrlxy{~]_nPVg[WqKBEObApbgo[WiJvEEa~paGnkVQKBDwb@p\gokVyJ^Dqa|p[GnkVAJRDqaupYgl{VYJRDwaup\Gl[WYHrEGa]pagf[RIKZCubGpLGp{TqJFD]arpWGkkTYHZDYaWpJgjKSQIbDGaipPgi[SiH~DMa`pRGgK]pvAzd\pmxv\Jmk@Q?j?R_HoDWAdqEx@[^mPvHJcUCVAN`Eo`WPKG]B~AB`?o]WNkFmAR@L_doSwIKC}OTGpcEQKx@sa}PTGHcUQ@xDC_UOTF~cFQ?x@c_ENxGFb{QAW~S_UOlFrbzQEW}c`mO`FrbzQDW}c`MPDFlcRP{XCc]}NXG\cOP{W|s`}NpFfb}Pyw~S]eNLGBb~Pyw|C_EKdFZbnPdwqc\uPXFXcSPtxDS\UM\GnbhQKwyCbEMPGXbdQEwxc`]PDFBcRPpxCc[ULxG\cOPoWvs`}LlGPb[QCwvS`ULjErbWpjwt[YuN@EdbqPiW{SY]K|FZbnPgWsS\uN@EZbMPxW{SXeU_}r^ZnlVvJzt|vBv`|o}W]KNUFfBj`vozW[kMeFNJUdqqxhZ[laVFJUdmquhZ{laVBJOdvqsh]KlQVfJOdsqtH\klIVVJmdCq{HPknISVJedBq_h[kgQVFJgc}qyhN{mqSBHydoq]HZklyRnHjcvqZXKkeeRNJIcnqWhX{kqRBHWddqVHX{diUZHQdaqTHXKdYUNHKdaqRhXKdAUNJAcdqoHHKjyQNHAd[qnHGkjiQBGyd_qNhW[jyPzGwd[qLhVkjiPjIedOqhHT[iaTFIkdLqkHR{iySzISdXqeHU{hYTjIMcwqchMkhARfMCerrYxlKuEZJLbeBR^xoSoe[@KJe?R^xoSoU[@KBe}Q}x^svmVxLxe{Q|xnSneVhL|euRNXgCvEX|LneZRBXfSpEXpKNeWR[xecv]XdLteTRQxdssuXXLHefRHXdCtMY`KfeiRFxjCqMYlK`eKRUxbct}WtL\eHROxass]WhLDblpvwzk]ENJFbfnRiXtc}M^@Mjf_rpXw[zu\vM~fkRlXzcze]tMvfnRax{Sw}^@MLfkR`Xzcwe]tMFfPRsxss|]\HNTfcRgXrc{m]LM^fJRjxrSzM[pMpfeRcXyCxU]\MRd[qnXV[j}UFJ@daqqXW{kmU^JLfqSJYEC}e^LOngLSGYBtAU_xObgXSDYEt@e`hOVgGSIYATAm_\OfgCSJYED?u_TOng@s@y?k~u_BN~gXR|yEs~m`hNxfwSHx}TAm^hOhgORyx|tAU`DNle|r^XnKv}[FM@gvs[yMLEmbZPhg{SSYMtDUbhPRgdS\yNDC}bhPLg|SPYHDF}aLP|g|SNyNtCMbxP@gmSMYKDBua|OzgpSTyKtDmbHPXhNS_YSTGUd@QBhTSeYTtHudXQZhEShYQDIec\QfhDSdYQtG]cPQRh]SoyWDK]d|RDhZSkYUdJmdpQraupYwlKiETJIbdNqexRkwm[^MLfAraXo|DubBP^gjsUyJLNafZR{hws}i\|MYffRuhtsyI]lMIfZRchwswI\|MYevRihnsyIZlMQejR_hkswiY|Lae~RShmstiZ\NIeRRIhys|iXlNae^R{hhs}iYLRiNNFjbs_CO@w@MX^KleTrHXdKq]^bNtfxryx|{}ucBQDh@sayPLG]ipT^imTWyjTUEjHTRisTTyktTUipTLigTVYhtTmihTHijTQyiTS]htTLigTNyhtRuhtTJi^TQYfdS]f|Sni@TKy_DREhPT^iUTWydTUEhDTdiRTYYcdU]i@S\iaTFygTQEiDSZiJTPYgDPeghSti[TCyaDR]h\SJiFTKy`dREgHSvi[T@y`DRUmS?H?D_BYpD[mkTVLjETryoT[mkLVNjATrYnd[Uk@VHi~TpyvtV]jtVBj_T]YmD[emHTtjbT[yvtUmmDTnj_TZYstZMlPUvjTTlYuDYUl\U`jUTgyrTZelxU^jMTmyqdW}kdUXjGTdzAO?{?e?P?F_COA\_qofWUkGuDJ@|`iobW[kFuEJ@l`anvV}kMuEi~l^QofWUj{uDI}|]yoNVqkDt{J@L]aoBVkkAtyj?\\ImzV_jgttIz|\YnFVYjrtuI{ldQh^SriWtLyfLRS?Q?L?D_AO@W?urDXNkqUSZKDdMrLXRkfUYzIDeeplXTkkUMzItbeqPXfkeUYzHTeeqDXdkbUWzGdeEqtW|k_UVzJdb}p`XTkkULZItbMp\X\kUUVzDTdmo~WbkOuHzClael~VBj_tqYwl[]rpYhk}UjZNTimt\YJlWUbZUTg}sHYplXUaZTtg]tPX~l@UjZTTgErbXnkuu[zM|fUstYflKUgzSdh]sxYPlOUdZRthMu|YtlpUmZ[Dj]uLZRldUtzXDlUuHZPleUozXtkEttZXlmUnzZTjuv`ZvlyU}z]TnevHZjlsUzz[tmuo^WPkEuhzSliMszY`lNvAJbLoqwj[ImJvBJ`|oawf[ImGvBj^lpIv~[Om?vDJ_\oYwr[UmAvMJI\dEq^ZRljutZYLk}uZ\Gm[vNJglriyN[{m_vMjg\rax~[[mYvFje|rIwv[}mUvOjeLsAx^[emavQJd\qayN[smOvLjclrIxF\smiVZziDvEyd\rmdVZzhtvMyX\pmpVYZktuuzH\jmjVVZkDtmy|\XmyV`zpTvezl]Hm|V`ZntwEzx]BmYvLze\wq{r]OnMvbjr\xI{v]UnMvdJrLu}zf\p?@Vijr|y??L]nnP?@JtlyO?H]j?@ViJt|yW?L]l