CAT(3086,1)

Sparse6:

:~?oM_?O?G?CB[@b?r_XOKwEKBIA??m_VoKGGSCAAB?|?_OO_F{CC@|?v_[OMWFSBq@v?}?YoL_F{Bs@h@I_doQWHsCqAZ@E_boQGHwCUAG@P_`_SGD{BA@\@c?nOWGJ{DIAh@R_ioTgI{DqAz@Z_k?WGJODyAq@^_YOLgEkFcBf@t_yOXwLKEaBX@j_tO[WMSFABY@r_v_\WLoFQBG@`_p_XgKOEUCa@b_pOWWRWHSCnAU@JodOQsHMCdAP`H?dwQWHYCaAT`F_dGPoHQC_AS`?o^wOCGwBxAN?~Oc?NkGUCNAE_{_awNWGuBsAK_{?bWPWFYCW@v`C?_gO_GiCEAH`YOlWU[J?DZAn@XOkOTsI_CpAX@Soe_S{IODTAd@UOh_T[J_DFA`@Zol_SSHkD@A\@NOf?R{Kw@b?q_XoQgH[CeAX@M_eoXwLKEaBX@i_toegRCHeCrAY`KOiWTCI]FWBe`sOxw\?MEFKBa`r_wGZwMMEyBd`n?xGZ_MMEuBd`q?ugZ_LQEkBY`l_tWYGL]EeBX`h?uGY?LQEkBN`i_rgYWKyE_BP`h?rwZwKmE{BL`m_rG[?KmFCBL`o_rGYwKIEqBC`k?ow[oJ}FOB@`r_oGWwKiEKBG`a_qWV_JeDuA}`\?nWd?Am@Z?k`DobWPcGyC`AN_]oNwFsB]@r?w_]OMwFSBQ@l?t_hOTGI[D]Aj@U_lOUWJCFuB|@{_~o_WOCGICHAB_{o]wNSFYBp@v_zO]GM{JeDvAyak@Sgi_TiIqDRae`PWhoSQIWDBad@OWhWSIIQD?a]`QGfoS]H}DEaf`MgiGRqI_Cza`@MWg?R]IACwaZ@NWfoRQH}CtaZ@MWe_RaHiCvaX`OwggREIGCqa\@KWeWRqHuCqaV@QGe?S]H]DEai`IwiwQuIkCkaT`RwdgTEHWDOaRPHwckT_HDDYAQPUOc[P{IdDSAOpG?i[TSG~DVAOpT_cCMkHLBhARoy_ckPKHDCTAQPD?c[SoG`CQAfPROaKScGZDJAFpQ_`sOgH`CKAVPAod{OeGNCGaBP@G_kOGGxC]A@pFO_KQ_F|Ci@~pIO_CNkGxB|ANO~?bkQ_FpCi@{pIO^SNSGrBvALo|_bSNGGrBsALo{obSP[F^CU@wO{ObCPWFXCV@upE?\s[s@J?f_ROIGDSAeHDCcaPoJwECAyAH@D_`oZWL{EyBH@e_qoWwKKEIDZAn`VOfgSCH}F\Bk`up{O|o]mN_Fkbv`zW{_]iNEFgbs`wg{W\}NGF`bo@wg{g\qNMF]br@vWzG\qMuF]bl@vWzw\YMoF`bo@twzW\]MoFXbl@tgxS[mMXFmBdP{?xc]{MVFFAlpqOjk[_IxFmB\Pm?}C]{LrEVBuPeO|kX_NVEUBspy_qc]_KjFdBGpxoq[]WKdEMBhpc?ykW{MhEJbEpbGpKWiKPEDBbp`oxKWWMPEABhp`?ykWKMhFCA~p_OwsW?MJFCA}Pp_ns[SJzDxB_po_nS[KJvDuBgP]?ySV[MbDrB_P\OvsZ{JhFLAwPromS[wJbFLAuprol{[wJ\DiB]PZ?vkUkLvFOArps_lK\CJPDcB_pooks[GJJD`B]pWov[UGLxE~AnPW?wCT{L|EkBVpj_uKYsL`EbBRPhOtCYOLNEsBOPgOuSYGLfEvBNPfousXsLjEYBSpf?t[XkLTHk?QOGgC[[iMXFJ_ToJWDcAm@Z?kc|a\@L[fGRTHrCsqY`MkecRlHjCzqY@L{e[RbHoCrQTxJKdaQjHUciQSPMkdKRnHQCzQ[`HsfOQ`HrCfqBpL{`CRbGOCwQAPK[_gRHGJCqqA@Kse_OLHfCBqZ`?[_SRXGCCuqZ@?CewODHlC?p~PKC^{RDF}Cop}`KC^oRDFzCoqVO~Cd{NnFxCnQVO}cd{NjH]BzP{PK[^KRJFqCqQN@Gkc[P|HEC]qNpFKbkQ@H@C\QKpFCbSPlGsCZqKPJSb?QxGqClqI`GSaoQHGjC`qB@C[aCO\GaCEqF`Dka?P^G^CVQEpCcaWOzGdCMQHpBC`gPRGgCKqR@AscsOnHJCIqQ`Acc_OfGQCcqv_CsA]@J?e_RoHWDCAi@R?g_TOIWbCP]GlCXaLpEgbcPyGzCeaRpHW\[MeFTBh`toyh?s_aONJzDyq}P]cngVfJ[dmquxZWnuUwJ}d}AvX]olaVoJYdzauXZOnmUoJyd{auXYonMUmJtdia|H[_lIVIJSdrAsx[wlIUeJhdsAtHY?l}V?JPdfavh[OlAVEJPdoarxO_miVWIEdta`X]okMVoJDdzapHWCkIUBI|d^qnhVOm]TwJhd\ayHUwnATqJqd[A{XU_mQTkJedYaxX[WjEVAIrdpAkh[?iyT_J]dVavxRChYSnIRD}QdP^shOVzJjDGqz@QSh?VTJlDEqzpP{mwS\IIDwQap]KgoVdJlDBqaP\{g_V\IBd@Q_XNkfqRvH}d?Q^xYwfaUkHydia]XTWkqTWJLdUarhT?keTSJJdSaqhSOkYTGJGdPapxSohqTMI\dNAhXRwhmTAIXdOAehlWlUUnJUdmqvHZ[AM@D?c_POGwCcZqLzEzb^poGvs[EMFFAbaPpgwk[]MRFGb@P`Go[faRtHxfDrahpKwkZVMIEuraPlcvKZRLpEtR[`lCu_ZhLhEzRY`mku{ZNLdEvR[@kspuW~K]eyBWhk_vYZiLbexBWXmWt}ZaL_fBBVHp?ty[ML\ekb]xjWvqZsLYejB\xj?veYmLweiRTXi[s]YRLGe\bZhm?ruZ]K{e~bLxnorYZyKteYB]HeWveXcLve|BJxn_rAZuKpe~bJHdgvyX[L|f?BIXoOqm[AKieRB_xogqaXMMCePb_HcgwIXGM@eOB_xcOwUXAMCeJrEXbCpiWxKZeGrCxaSpQWlKTfBBBhp?pA[MKNeDrBH`koaWTKHe@BXxkooQZIKBe?bZXlWoAZWJ~eaBSHgotIYILPefBOXgWs}YCLLe^BQxg?sqX}LIe[b@XfOo]XoKEcmqVxJseARDH`cpqXHKkoQWFKAgAB~a?L??_FN~G@R~`}S~O_@NrF~rxX{[}Q]PNIfcrphwk{]\eNzfYb~Xu_~q\WN|fTB}xtW~q\QNvfRb|Xt?~Y^oMcfRB}h~GyU^iM`fzbgx}oyI[{NwfOB}hrw~e[rMYfKRdHqSxM[jMVfJS?Pp{xC_FMOG@S?Ppd?K[\OAFErf@|{xs^bMZFwRvp{{|s^PN]FrRw@x[}G]ZN`FeRtpwS|c]HNWF`ryPv{}k]BNiF_Rn@yczw]lM|FirmPyK|K\vNQF\Rl`xsz_]`MvFfrz@uCzG^\MpFurjPzSy{]xMmFlsRYHtCq`hOugYsOAHLCkaDP@GdSKa@D?c`fOpGBsLqDtBc``OwGVsIqCTAs`HOkGPsIaCDAC`RO^GSSRqBdDC_|POGMsOqBLCS_vPCGLSDqG|@_aPOUGbSHQA\@S`LOSGRsMaAL@?`xOzGHSBQFl?{`~OMG^SBA?d?g_LOJGAqYHKse]RRHjctRSHiStEYZLNefRQxhcsiXpKye[s`QN|G[cBQEH?S`AODGGcBQBG~s^aP\GsbzP{HESaANtFscTP{HCs_aJDGOatQBGks]IMtF]bfPtgySUqP\GsazP[HESaAIlD[cTPUHCs`QITG[ahQEGhsZQMDE{bdPmGwsXALTEobLPdGtsWQK|EKbRPaGsS]QJtFga~PzGoSn`YClEU^JSdhqshZKliUpHyc{Q]X{S}E^@N^fnRvXzK|a]nNSfjRtXy[|E]dNMfgRrxtky}\\MMfERbYXHMAeMR`hcCvyZ`K]e{RHhmcqIXxKUeKRMhaCrYW`KmeKRKhacqiYXKMeiRAhiCoYYHKEecRBhgCoiVpLeeuR?hlCnyVpL]e?RWh^ctiRPLeeuQ[hlCeyUhKue]QvhZCriZ`JIe{QshmckyTxLMdaRThWCtIYpIqemQlhVCuITLImdTQehSShySXL}dIR`hQCwIS@KqeUQahdCgYYPHyeaQ^hgCfYVXH]cqQ|hKCnIVXHQdyQUh]CdYQXJadsQQh[ccYPpJadqQOh\Cbye?uUZNLeesRYXlTAm`ZOkgSSIYDTAU`NOegESAy@TRShvSsI\TKqfLRKhlStI[TLAe|SCh`T?IWtKaf|R?hxSqI^TNQeLPUgnSUiHTDIa\OWhxS}ICTNQ_|OKhvSxIAtMa_dRWg@SwI@TLq_LNsh~R~I_s~agDQ{frSmH{TJQ]|NOhZRuIVs|QdtNGhTRrIUS{Qd\Qgf\RoITtJA\|Q[fXSgHutIQ\\QcfTSfHstIA\DMShHRfIRSxaclMGhJRcIRTHA[\P{ftR{IOS}qbtO{gvSPIMtFAaDOogpSMILTBQbLOchBSJIPtAacTWgkFUAj?t^ioDV}iUUHied`yh`WaiSUGicDaYhHW]kGTEjBDPYohS]iCUCiaD`igXWUjmT|izD]ymhVqi[TeigDYIhxU]jsTdi{DWynHUQj]T\ind[YjpVAisTqiyDVIjXVMjQTVitdUYlPTaigT_ijDWiihUEjWTPihdZilhTIdpQyh[smyVlJqlqU]jZdfYv@XqlbUqjXtgaudZWlHUbJYtfysLYAlmULj[dbyv@WykWUsjDDlipXZUlUUXjUDeythXikmUgjJDiir@YelIURjIdhisxXQl[UOjWDcitxXEhHSdiRTIYdDQ]hTSkiTtJydtQumsUzjkDnIzHZimiV`jjdwy{P\YmuVQjmdtIz`\MmoVNjkdsYzP\AmWV]jfDwIxh\}mRVJjdTpixD[]mEV]jadwIw`\}nCV?j`DwywH]EmyU|jldniz`Z}kHUEjAtaYo|Wao@W@j~t}Y~\^in_WAkAD{j?X^En]WAjvE@I|h_MoKVkkBdyj?h]moIVfkBdyZ?p]anGVuj{Dxi{h^]n{Vtj}D{y~h^QoyWVkNEEJBH`}oSWUkCEDZ@H`QosWPkMECzBX`Io[WJkGEBZ@x_qpKWhkSEIzCxaip?WbkQeGjC`aEEXBL`dpgGsSYEKzE^bNQ`XOsgQSRIGdBrfHrkxm\`MpfXSTYI|DYafPSghTBI`tOugRSJiDTbYp|WykTUKjDt|i~D^]njVsjxuVRJDdwqnX[KjUSrJLdkqjXSKlUSRJDdGqlXOKjuSrHldSq^XSKfUSBHddGqTXPKduPrHlccq^XGKfUPbHdckqHXDKdUPrGLccqFXGK`UOBGdcWp|XDK^uNRG\boqDWzK_uMrFDbgpzW{K[uNbElc?pnW~KZUKbFDbgphWrK[uKbElbOpnWrKZUJBJLdkp\WlKlUJrJdbCq|WoKmueoAs@a?n?X_LoEgBs@q?z?__OoFwb{QEH@G`cPqGhBsaAO~KgeRRHxc[qUXHOOgGsCi@l?}_\QahOSgYRtH}czTMigTRyiLTIifVBjatpIvlZ}l|WIkCuAJ@\_uoXZJLfUrRYDkou^ZPLcUqbY\kcudZJLaurRW|kouLZALcUqbWdkcuFY~L`UoRWdk?uFZDL]unBW|jwuLY~L[uoRV\k?ttYuL]UnbVDj[tzYrL[ulRV\jOttYuLWUmBUTj[tbYrLUulRT|jOt\YiLWUjBUTiktbYlLRuiRT|i_t\YgLTUiRTdiktNYelQUhZSliYtHX`LKUWBRTd{srYKLfUbRYDk{s\YHLguarY\ggudY`LBUaBS\g[tDY`L@ugrOliGsHYTL@U_BQ|hWsBYQK}udBN|hKr|YSK|u^BQThKrtYVK{UdRNLhWrnY]KyUgBMth{rjXpLLufRM\fGsxY]KvUgBMDh{r^XjLLuZRRdhsrXXgLFuYbQLecs`XfLLUXbRDhcrJXaLFuXBQLeKs`[y?DOBG@[?u?^?Mmb?CgAK@AyW?R_IODZhdsyyZ\KmfVRZY`seuk\JlifQj_@rQv{[tl~fLj_HrQwE[um@FLZ^XsayMZ|mbE~J^@s]vs\Gl{fPj]hsMvm\DlzFPJ]PsAyCZslxfOZgXm}yIZpmaE{J\`sAyCZmlufOZfpmevU[|ltFNzfPmYxwZgm\exz[XruvI[~lqFNj[@rivC[{lofMzexluu}[xm[EvjZPseuw\JllfQjexl]xqZXm[EuJdpqax_[hmVfIjchqmxY[fmUFHjcPpqxG[]mPfFZbPp}xA[ZmKfGJb@pIwk[OmJfCZ`xpUwY[SmFFCzeHoiwW[rmDfKj_`o]wK[HmAfAJsprQxl[t_JOEGA{@Y?p?V_LoEgBK@e?v?Y_MOFgBk@y?z?[nRFljt@z]|M]tnRFmJsxzi|O]xnWfgzshy}|_]cnXFgzu`yQ|I]rnTfgZtPyI|Q]_nOFjJsPyu|A]mmkVUjjLtmyz\[nIFmjqpze{i]wnGflZqXz]{c]unXFbjq@zQ{]]rnDfjJphyy{W]lnWfaJu@wi{Q]nnAfiZoxym{K]imfffZiHx}y_]]nMfSjrxtQ{{\RnJf_jo`xe{o]Bm{f^JnXvyzs\|m~f\joHva{?\vmxfZZlxvUz[\smwfYzm@uizc\kmsFWjkXuezM\`mqFVjkpuAzI\^nLFTZr`t]{u\U_DOBG@[?i?X?JoFffZr|xy?Z?N_FOBW@{?y?`?Q_GoCWAS@As^YPlGUcjQdhMsjYVlJUeJRThf?]_YoKgC[BA@B?]_ZoGgFKAA@v?e_KoFGCkAa?v?i_MoJgB[Aq?r?S_BoDg@[@I?R?S_EoCGA{@I?^??_foSg?k?IAa~y_\n~gEz~q@r?o^yoLF~KBH~n?i^voJf}[Ap~a~g_EoCF|j}i?]~a_QnxgDJ}Q@N?E^moAf{K?`}~?{^joOFz[Bx}q~J^fnrVyZ|D}i~C_goSfxJ{YA^?{^^oOFw[Bx}A}w_dnmgHJzqAZ@A^XoPfu{CP|j@A^WnjGG{CP|]}i_dnhgHjyaAQ}R^FncVqjxd{m}B^An`vpJwt{U|u^OnhFnZyHzq|{^Ln_Frzvx{yxn[xm[VOJgTsEyJ\Cm`vQZh\sjCM_{pCgNkPABvAa`}ohg_KIQF~A[`}ogG_KHyF~AYaHoeGaKHYG^CA`GodG_{OQCfCG`DpBGP{OiCZCE`Cp@GOkOICN@}aEo_g`[GAGR@l_woZwM[F]Bj@`_qoWwK{EmBRBu`ho}gYkLYFrBo`eo|GYKNIE^BE`tozgX[MqERB?`nopG[[KIFBBc`\oyGV{MYDzBW`YougVKLqDnAm_koTgU[DQDb@Y`SojGJ{IiAzDyaJp^GakPaJ~DaaspXglkUQJVD[avp[gkKVAI~EIa_p`gg[WaH~C{bApMgoKRaKFCqajpUge{RQIrDIaUpKGh{QyIZDOaRpTGd[TIHRDCaOpQGckSYHFCYaypFgnKPqJnFM?^_OoGGCKAA?~Z}m?U~z_LoMwD^LnfvrjyD|I}bboPzW{c^ENDFnbnPyw|C\mNLF\boPtW{c\eNDFVbfPuwzs\MM`F\bcPrwxc\MMTFPbdPtWxC\eMXFVbrPeWrc]mNPEZbHPzWqs^EKhFnb]PowwC[]L|FDbZPbWvSXELpENbQPkWucYeLdEfbOPiwsSY}K|ElceNOVgjsLyM|H]d_HoDWAc@M?h?TmfvSJiLtIyh\Royw\{MuFJBh`rovw[[MEErB\`loiWTkImDbAr`VqbhL[hAR^IQcuqXHPKeaSVHedEqYhJ{eIR^HkcoqXHJKeaQzHeclqShM{fiQnHwciqShMKdYRjHScxqRHO[dASNHMdAqRHNkdASBHMc~qUHG{dqQVHYccqPhJ{ciRBHaccqMg}[^YP~Fsc]qaHEkbaSZGudDqbhD{hIPfIOcWqIHO[aqSNGidAqGhM{fiPNHwcQq[HBkaARjHqcNq^HA{gAOvH}cKqCXAk`MO^GJcEqOH?kcQORHAcBqMg~{byOFG{c?p~HGk^iQBFwc`rKGAk@]?f?X_MoEwjKT]IvDPaipSwh[S}IZDDacpPxgSr]YLKzeaRMXesruY@Kze^RMXeCs}XhLReXRSXeCseXhLLeXRQx\Cs}VXLRdtRSXgSmMVLLFeaQxXhCluYXJ`edQvxfsl]UtK|e_QuXX[k}UZJDdcqpxdSj}X\JBeUQoXdSjeTxKnd\RJXUSqUXPIvdYRHxTcqUXPIpdVRHxSsp}TTKbdSRGXbSiETHK\eKQgxRSp}S|KbdMRGXQcpmWpIVdKRFX_CoeWDKFeARAx`cnmV|KPd}RBxaSnUWlJxeIQ|xYCm}UhJrdhQ{X{c{]]VNHf`rpXwK|yZNLifprwHlK|yZBNaeqrwHk[|aYvN[enruhjktQ]rLWfmrThz[uq\FLofRrZhskxq]fM_fjrfhyk{q[bNOfIrrhq[wi\RMkfFrbHt[yy[JMofCr`hu[wA\rMse~r_hu{va\vL{f^r]hvkxYZfMYezreHmkbmP~G|caqOxGLAE`JObgMsEyB|By_jP?gKsDiG\Ba_^O{gHsMiAK}y`~Nig`sOH|lBa^JO{fssMh{|BI_FOEgZs@IElAY^zOig?sIH~|?a^nOKf|sAh~K~A`ZOofyr{iD{peWzKZeOrGxb{qUXRKfeTrJxdlGQaJPGh@sPiOLFicJP}h@s^IOLFQcZPwhGs\iP|EycNPqhDsaIMLHIbRQUgusdIL\EMbNPdgmsWYJ|GqanQOglsbiJLDAcfPShJsSiQlGiaZPIhBsaIH{|e]zNZfnrwx{LHeczQZhfssyYLLQdbQshkstiU\LQdVRWhVstiTlIQevQghnshiZlHyevQahnsgIZlJqeRRKh^sqiWLJYeFQyhbsmIWlMAf~Rci@swi_LNagVSMh}tBI^\MqgJRoiCszi_|MiffRuhrsyI]lQIgzSeiOtHIb|PAgnSSiLtCibK[mMRFLe?r?x_kn}VvJ|ftrzx|k}U^RNfh]soYV|J]dvQxikTRYiDTui\TZiiTPyitSmidTHi`TRYiDSUi\T@i^TQyfTSehxTFi[TPYgTRUi@Svi]TLyfDR}htStihTIYdTT]ihSlikTJyjdRMitSpjLQPxHKck?a?R?Frbxpkwm[JMHfBsPYHLC]aVPNgeswY[lMMfVRhhrtpIvLZqmRVEj\tniu\[IlnV?jYtjIu\ZAlnUmjYtiIv\ZqlVUej[tjIr\Yyk~UojMtiir\YYk~UgjMtVip|XIjFUOiotnipL[IkZV?jDt_iwlWYmRUCjbt^IsLWAlJT}jPt]IslVilBTujPtdImLXajjUUixtYip|XIj^UOiutYIq|UQkrTejIuI_@G?s?VVgkTtzJD|]ipZWijpuJI{laynNV[kQtwJDL\ypNVUkNtujC\\apBW]jgttJC\\IpBVIkSuHIx|[qpNWEkHuDj@\`QoRWAkGu@J@l_Ao^WWj|t~jBl`inzVmjyt{i~L^AnnXq?F_CoAG?{?e?PkuU[zMDf]r\XtkwU^ZLtfmrXXxklU]ZJtfuqxXzkxUTZJDf]qlXtkoURzKddMrDXPkcUXzHdemqTXhkXUNZGDbEphW~k`ULzGtbmqHWxlYTbyq\XEknUXjI_AO@g?k?Q?J?EujjW\kQtbYql_upjU\iyuVYolcumjQ|hit~YWl]upjTLkitZZGlTupJS\iYuFYcl_ufJUliAtrY]lZulJQLjasjYulHubJVlgyt~YIl\u^zO\gEsNYDlCuFzC\aEpRWdkRvBjZLliwbZ[mHvAJ\\oqv^[IluuxJaLpIvR[MlrvAJZ|oqvF[IlousZX|kuufZVliv@j^\nawFZumAu{J^lnQwBZql~vMJalrqwr[ymJvKjc|rYxV[smSvHJeLqIxZ[_mVvNjb\pyyF[[m_vSJglsayj\QmbvQji|syyv\KmkuZzMLeuwN[Dm@u~Z_Ln}zp\hmyVZZmtumzX\nmsV[zlTvEz\\\mnV[zkDvEzh\bm{VXzmtuU{pYrlWujze\r]xj[pmVvJZtDxe|H]\nRVezsDxu|D]ZnKVfzndxUz|]Vm|Vczpdx}|D]PnOVbzsdw]{T]hnRVaZqdwE{l]DnHV_zyd{y|j^OnWvsju\{y|V^QnVvsJtl{I}R^KnbvpJx\zY|z]yn_vmJv|}Y}j^inkvyJy|}Q}v^]novwjzlxU{n]Rn{VzZ~d~E~t^nn|V{z~d~]~p^tnfvszyG?I~|_JoF?@k?G?R?D_L?AW@K@]?w?D_H?BW@k@n