CAT(3096,1)

Sparse6:

:~?oW_?O?G?CBC@^?o_VOKgE[BE@d?r_WoOoGGBiAC?z_]?OGFgCAAC?~___NgGkCMAH@E_cOPwEcBY@j?v_[oMGH{DAAb@Q_iOSwHwDIAa@S_g?SwHoCmAY@I_e?QWKwBu@~?}_eORgHkE]BR@g_r_YgLGEqBO@j_rOXGKkEWBT@d?uOX?L[DiAp@X_i_WWIwEIBE@U_noWGJsDkBB@b?moW_JcG_B\@l_vo^GNsFuBsAA`A?]wOWFeB}@v_{?_WO?FYB_@r_w_\WMOFQCsAM`GObwQKHMCdAJ@JoeOPcGsCpAX@Bo`_RCGSCnAH@IOa?QkGgCl@`_poWgKkEYBHAm`UOjWROIeCwAj`L_igSsIaDNAc`QogwTOIEDUAa`S_gGRgIqC}Am`N?jWMcFUBfAr`YOkgVsKAD~Av@`OlOW[JWEBAn@_okOW[J?EDAy@\onOVKJoDpBU@VokWUCLSElBR@kOt?Y{LKE^BT@eot?XsKmEXBI`b_uGXGLYEOBV`a_sGYOKQEKBP`rOxW[{MQFDBb`lougZKLoFBB]@novO[CGYCNAD`[OmgVKNQFlBt`z?}W]gNaFgBv`t?}W\?N]FQBw`wo{w]SMsF`Bj@vOz?\{OoEfBT`iOzg]CM}GmCRAJPD?asPSGlCKAGpB_`{OsG`CQACpC_`[PGGTCJAGPAOaKOgG^CR@|pDO^SNoGhCEaCP@w`_OMG[CDaE`@G_COIGBB|AHo~oakNwGhCHaDPAwdKQmHTC]AXPL?b{PsHfCYAXPL?bcRKGvCkAVpJ_eCQsHbC_ARPI?cSQCHNCWAPpEOckP[HHC}AbPO?gcR{IJCtA\pLofkRWHxD@A[POofSSGHrDR@KoeGQ{BA@\?n_VOKGD{BQ@j?u_[OLwFKDUAn@U_kOUgJKGmCZAK`BO`wOkNiFvB{ay@YolsUoJ`DlAvpXwkkUYJCDgat@XGkWUeJ?Ddan`XwkGUYJCD[aq@VgkWTuI}DXao@UgkGTmIkD[ak@VgiwTuJWDRai`ZWi_UmIiDgat@Swi_UeIkDQak@SWiwTAIqDOal@SgjWTEJ[DFac`[GlwSaISDLae@RwhWSyLG?l_ToJGtOCAAD@@_\OMwFcBi@x?z_]oNwFsCiAV@H_voZWLsF}CBA?_{o]wNSHqCtAZ`MofwRsKQELBD`boqWXCMaFTBh`uoyw\cQqH\ClaRPIGc{\CMnFXBhpu?yS[{MhFOBjPr_yk[sMdFRBdpsOxc[wMPFOBdProxK[SMVFLBbpp_xc[GMPFCBdPooxK[OL~FBB_po_wC[SLxFFB^Pp_vkZoLlEwB^PlovkZgLfExBYPmoukZ?LlEvBXPm?uKZOLVEkBYpkotSYoLZEnBTPj_t[YsLNEnBSpj_tCZ?LNEqBSPkOtKZkJbExAxPm_m[X_MnFXBLPu?rK\OKjEVBjPd_ykXIKhERbFpcWqCWoLHEMBRPbOskWkLBEbBDPg_pKWWK|EGBOP`or{WKKvEDBMp`?rcW?K|EABOP_Or{XsJ~E[A}peonsYOJtEeA}PhOn[V_MBDxB^p\owCYCJhDuBPp\OsSb[@J?e_RoIGDSAeQKAG`DOaWUkJ]DlB^`oowG_[OUGHCtaZpLgmKVMJdDpaxP[wm{VeJpH`CiqTxIsdaQtHXckQUhJKdGQ^HPCiQSpICcoQ`HPCfQRPH{ccQXHJCfQQ`HkcWQTHGCcqPpH[dsQJHCClqV@G[bCMtGqBmPupE[akQJGkC`qJPGca[QvGeCmqHPJcdGOTHSCEQSp@[cWONHGCCqPp@C_QOLGDc?q?x?S^wQBG?C`QO?~{^kQDF|C_P~@GK^gP~G}B{P}PFkd[NlHTBzqT_}kbwNdG|ByQNo}[]{PtG{BwqMo}Cb_NXFmCZqMO|k]cPnFjC[py`FC]WPtG{BsQMo{{]SPlFbCYPx@EkbKNBGpBpQK_{C\sPlGsBnqLOzsa_PDGiCQQIPC[`kOpGYCJQDpBK`oOfG\CIQF`Ak`?O~GQCOqCPCC_sP\GNCWQB`D{kO@D?c_PoJWD[Aq@V?l_UQspXgkaU]JFdfAqXXOkuUUJNdeArhV[juTxIyd[QmXXOjUUWIvddalhWwjITgJHdcAkxO?lAR}JPd?ashMolARoJQczasXM_kYReJCcyapXWofARcJCdaa[XWGe}UEHld`AZhWGeiUEHkd`AYxJolAR?JQcnasXTwjyU?Ipd^akHT_iYT[IgdUahxTOiMTUIddSahHROhuS}I[dNAexQwhESeIWdKachPWgySYIOdEAbxPOhYSOITdCadHOOfeSGHzd@a]hNoiETCH{c}agHKwgURQIFcsA`hKGeQREHdcpAXgDCAi@R?g_SoIgCsA]@J?d_ROHxe?XmKzE[bNPgGr{YILFE`coqWxKSd}Q|H_e`BNHfsruX]KzeUbMhdoreWyKgeMBIXbWq]XMK]eSbGHd?p}XEKiePBJHdWqEXGKieRBJHcgqmX_JXeXAuxeGliWoKmeVbEhdgpeXGKQeRBCxcgpQWXKMeErAX`[oiXsKGe\b@hfGo]WIK^eABGH_WpyXEK?ePB?h_GqEWyJ~eLa~Xb_nyVwKue[A}h^Wr]VnJxd{RNP\CroVTK}DsrK@[smSXdKpDrqw`e[mOXjJbEYRL`Z{m?XpJ`EZqv@ekrOU|KrDmqtHY[lUUlJWdjrBp]cnWWbKODyqzp]Kn?VfJmDxQz@akmkWnJlEJOGgCcAM@D?b_QRf@EKbIPfGscZQLXFkb}P|H@c`QOHGccUQFMpFTrjXtcym\ZMkfHbeXrWxQ[iMYfJBeXrWxa[mMYeirThicx?[lMQFKRcPq{xK[ZMTFFrd@psxo[TM]FERfPp[wM[DM@fSB\htOv]\QLtevbfxmGyEZ_M_fMBZHrguy[{LlfNbYXsGum\?LierBghl?yQZMMbfRbWxkgyUZGMeeoBhXswuI\KL`embghjwyQY{MbelBiHj_yiYuMhejrUXjCsaYTLHeerQxhcsyY`LNegrSxiSsYYNLDe`RPHg[r{\ZMjE_rj@gCw[Z|MHF?Ra@n{vk[HMEE}r`PncvGZrLyEyR[pnCkEUFJAcqQXhKke]RRHge^rOHgL@E_dORgDcBi@h@A_WONf~R~X~d?k^NNgGEryQ@c}E^DNbfoRvhz{{W_PNGGDRpq@K{K_POIFasAPwc{?_\NAGGRoQ@{z]\rMwf\RnHv[zS_bMsGHrlaASz{_NM|GArna?s~K^HNtFrR|@{k~W]vN\F{R|pzc}s]pNnFlRz`zK|S^`NVFxRt`}K|G^TNRFuRt@|[~{]^O@Fgs?@yC{o^rNLF|rr`~S{c_DNJGARqa?[zC\\MrFVrk`uC~e^vNyfVRkHt|DAadPPg[SMiFLBSalOvGkSLaI|Dc_zO^GlsUaBt@[arOXGlsEAJT@SapPVGJSDAIt@kafOYGiSFAIlCOaTPKGbSQqGlCs`vPMG]sRqFdAo`dOmGYSJQE\A{`ROjGWSIaELAWaNOgGcsHqHDAS`|P?GQSGqF|A?aBPAGPSGQG[kuU^JMcnqVhKCw][RMGfAr`hocvQZdLreaROhg\GkcnQHHJSaaQlGcchQQHDscqPTG{cLQPHBscAPDGWcXQMHCSbQO|GMcJQCh?S_iOLFCcXQMGxsbQMTEOcnPaHJSWqQlECcfQSGnscaKDHCaxQNGnScAJlFgbzP{G~s]qNtEsbhPjGzSZAMlF[bPPxGtS]ALLEwbJPoGrsZqKtK_XNKheSRIhdcqmX\KneUr|h}{~a^fNtfyR{H}S~E^\Nnfuryh|c}m^NNgfsrkXuSzM\hMtfZRjhuCy}fQRbhqcyy\PMQfKRbhqcyI[xMQe]RahgCwY[@Kye]RRhgCsYYPKyeURVhecuYX`LaegRJhjCrYYhKqeyRIhnCqYX@L}esRGhmCqiZXKedGR[hlchiZPIUd}R_h_cwiW@MEdwRhh^CyyVhMidqRSh\ctiVPLUeyQuhncmIZpJ]dhQthXskIUTJEfKQlhVcyITpM]dSRVhUCuYTXLaeaQfhhCiYYXIaeIQ`hPcpyWpIIeIQ]hbCgIWxH}eGQ\hMCoiRXKMcoRAhaCeiRHKMhsMXfLrehf{sAYBOZgLSFIETBQ`fOngWsKIAd@Y_jS|IctNqhTRwiVS|I`TNqgDRwiBSyIbTQAfdRkiNTBI\TPQfdSOhvSCiBT@YcLP}h@TEIGTCQhDPGiNTHIEtQq`|Sgg\SII`tBAglOkiHSFI_TAQgTO_iBSvI@T?QfLR_gFR}IZt?AfLN{hpRzIYS~QetNohjSsH{TLa^TRSfrRtIWtKq]|RGflSrHyTKa]\NGhbSmHvs{QeDN?h^RkIVSzaeDMsh^S[IPTFacdPshFSjIKtJQb\QogtSgIJTIabDQcgnSRIQtHqalPOhLUSJDtbIplWakTUHiidcYixXMikUQjGdSii`XMieUQjFDRyq@TAk]TPieDbihhXAk]TMjAd^IoxVykKT|j@D[ymhWQjgUBitDUIl`TijUTXi{dXylHVmjsTgi~dXIoHUYk?Tdiod[IkXVIjCTpinDZYk@U}i}TmizDUyn@TqjmT\h`SpIW\KUeNREjRDnit@[AlMU~j\tnYvdYql\Ulj_diYtX[MmCUijKDnirH[AkmU~j_ddIqp[MkiVAjPdlYuxYUlkUcjOdjysPZAl?Upj[DfYvPX}lqU]jLDkir`ZQkuUriVTKId|REhfSqiYTLielR]hrSwjpDpI{`[YnEVDjpDvy{`]EnEV_jmDyy|h\ymyVkjldxyzH]YmsVdjsDtiz@]immVhjhttYyd\AmdVPjedyIxx]im[VhjdDyyx`]umUVkjqdpy{x[enKVGjFTcIp|XEkfUQkDUAZ@\_YoPWFj|EBJ@p^qnuWLkED|z@p^enoWLkFd|JAH^Yo_VtkFd{ZAH^Mo_VqjvE?I}@_In]W@k@d~Z?h^}oGV}kQEGZCpaMpIWakLeCjBh`QowWRkReEJBPaeoqWgkNEDZC@`]o}WUkXeIjEhaqpgWjkWEJZDxbIpaWmagpSgiC`UOfGScGQChAKlmUrJYdnQvXZczu\|M~fdrqhxLEEb@P^gmSViJlPYgnSWiItCyadXakrUVjITdiql_AoDW@j}t~y~teWr@XgKpUXrKLdsrFX^KquVbKdeGqtX[KouUrKDd{qnX]KkuVRJDdOqtX[KjUUrIldCqnXRKkuSbJDd?qhXTKfUTbH|dCqVXRKeuSbHdd?qRXIKfUQBH|cSqVXFKeUPbHlcSqFXFKaUPbGTb{qTXGK_uQRGDbsqFW{KaUNbGTbsq@W}K_uNBF|bWrFWwKquLrKdeWprWzKsUMbK|ho?n?W_JOEWB[@itO?[_NOFZTo@}@B?_bRpiWtCgmSZIKdCQaXPSuAZDL`emrVhj|AU`HObgOSGiCLIQdLQdhRsiITLTaitTXimTUyjl[imXVJjctpyxD`IohWRkIuDzAtlSupZVLkutbZTlkudZSLmuvBY\lSu^ZVLgutbYDkoudZSLfUrRY\kcu^ZJLguqbYDkouLZMLcUrRW|kKuLZDLcUpBW|kcu@ZIL`UqrWLkKtzY~LaunbWdkCttZAL]UoBV\jctzY~LZunbVDjOttYuL]UlRV\j[tbYrL[umBUTjOtbYrLZUlRUTi}t`YmlVukJTtectVYkKtuYbTlhWupYWLlUdrZLhKuvYTLmudBZdi_s`YiLGucbTLi_sZYiLFuiRPtgotJYILRuarStg[tDYHLPuaBSdiGsHYcLAugrOtgKtLYALRu_RSlfws~Y?LOu^rSDfksxY\K}u^BRth{rpY`K|UgBNLfSsxY]KzufRMtfGstXsLKu[rR\isr^XpLTujBMDeosrXmLLuZRRTsO?T?K_DoBW@{?yy_?O_HOCZio@M?j?SmjVUJi|tayl\Vmhevj[@tUu}\Sm^FAJg@oix}[HmDfNj``r}wY\?mgF@ZiPo]ya[Em@fSZ_`tIwC\Omee~z_Hs}w?\Ml}FQj^psqvy\Jmee}Zhxnmy[ZylzFQj^@sqvm\Jmbe{zhHnQvi\GmaE{JgpnIyIZpmaEzZgpm}yIZmltFPz\`sevU\GlrfOZgXmeyCZglqFSz[ptUvI\SlofOZgXmMyCZam[FKjfPrQxq[rmVfLZe@rYxm[pmVFHzd`qaxY[emPfIZchqmxG[imLFGJcPpqxA[ZmJfFZbHpywo[^m\fDJapruxw[TmFFCZa@pMw][QnT?DgBC@]?l?V_KOEgB[@e?r?Z_LVn?Bs@u?x?[_NOFZftsAx~]{N`Vnbw\zs}H^?N`VoRwdz{}F]iNZVjBu|yk|p]uNUvmBt|z[|\]oN\VmruLzG|r]rN[vlRvTzk|h\amqVWzklu]zL]]N^vgBwLx{}@]ZN^VnRrlzo{x]rNKVebulzO{r]TNUvdrt|xW|\]oNHvkRqdzG{d]PNTVbrtdx?|V\XNRvUbtLtk|P]fMmvVBtLy_y|]`NEVgrptyG{Z]HN@v`Rp\wO{T]EN?VaBoTw[{B\|Mzv]Rn|vwzp\yMyv^Bmdvkzl\pMtv[rllvGzX\nMsv[BlTuwzP\^NQVhRkLyWz@?I_EOAw@S?q?V?L_FoBg@k?}?\_^?HOCWAC@I?b?OnRviZtDhesvYYlPUhJS\i]tLYdlTujZTe@|@J_`ORwGCCuAH@J_cORwGsCu?t?r_NOLwBcBU@d?`_ZOHWEcAM@L?x_]OIwDCBm@X?x_]OKWDsBm?h@b_KOXwAsEUAL?N_HOQWACCU@|?H__OBWGS?m@X?B_WO@wDs?T~x?`_?OHV~sAM?s~v^|OFwBb~e@K~p_TN|WDB~L~T@P_iNzwIR}t}}~b^onxV|J}\}p@b^mOXvzSET}d@P_iNtwIR|UAw~L^gOWVxsD}Ak~F_lNqwJB{eAo~D_lNowIr{D||@\^\OWVvcD|{m}Z^KnfVsJx||E}f^QniVtjyl|g}J^[Nbvpbz\{_}n^INkvqRzDsEyF\AmdVRJh\s}y\\LmhvTZieHDALaROcWccG}DlCP`\PDWVCPMD`Cb`YPHwUSQUDTCP`VPDWTcPMDHCVaLOiWbCI]GxA^aOOgwbsIECpCVaLOfWbCHmGxAR`JPFwQcQEBj@x_zo]wN{FuCBAD`@o`wP[GeGTBfaFOyw`cMeGHB`aCOxW_sMMGDB^`lO~wZcOEFdBT`kO|wYsNUFpBN`}Osw^SLEFXBH`wOrW\sKmBPBB_uOpwLSKUB\A|`_O[wMCJ}K\ChbHPJWqCQmJlD|a|P_WnCV}J`EBbBP\WmSWUKxDRaiPewrsT]IXETagPdwhsXeILDjadPZwhCUuI|D@aaPWwkCSMHtDXamPNwjSRuHhDda[PYWesU]H\EHaXPbWeCWmNC@B?__NoFwCCAEwP[ImCvBJ`lom}n^XnkVujzd|nFucAp}H?K^QOFFybvp~g}[^qNbFwbup|g|K^QNVFabvpxg}K]QNfFcbmpvg{{]ANFF_bupygzk\yNRFybUp~guK^qL^Eec?piH?[YiOJE_bgphGykYIMfFIbjprgz[[qMrEwbapqGvkZiMNEqb^plgw[ZQMBH_?R_IoDGAk@M?h]un[VlzvLzm|t\XmlvUjjdtyyza@p?W^{NeFzBz`xo|w]kMuFbBn`_onwVkKMEJBFd@QgxSsf}THI@c{QgXNchuRtI^dDQ\xPsfMRhILcxQaXOcf]SLHtdJQZXLshmSpHpdGQZXQcfESdHncsQ_xNsemRLI@c{QWXKcfuRDHzcqQUxJseERDH\csQVxLSdmRLH\cfQAXIC_]OTHRdMQQXHciES|HJc`QgxSsc]THHDc]QaxPscEP|ILcZQdxFShmPpIXdAQKXPCbUSLGrdGQIxQca}SdGlcQqHxDKaMPBG^ciQEXJC`uQlGZcfQCxIS`]Q`GTcEQTXACd]O\HXeaOKwE{BU@r?|_\pYwl{UuJJDharpWwkKT}IrD\alrThh[tiY^LWeerQhiKtQY^LKehrPHk[saZNLEeqrQHj{sQZBLEemq~Hi{oAYvJ}ekrWh]{uYVvLcd{q{HkKtyVjL[dxqyhiKtQV^Jkehqvx[[mEUvJ\dkrNhY[sIUnL?dirMHXklAXzKydfrKhW{kaXnKsddqoHe[kQXnJAeYqnHdkjyXbIyeVrJHUkrATrKmdZrOHUKsITfK}dVqiHfKiqXzIie\rDHb[pYW~KWeMrGH`{pIXJKaeGrAHc{qiWZKgeDr?h[kmaWNJeeAr}Hz{|m]zNTfkrtx}Svu^lL~fyR]x}SvU^lLxfyR\xls}u^`LrfvR[XlC}uZXNpetRzx{szu^TN@fsRnxoCz][HMzf@RmXuC}E\dNdfYRwxrsyU\DMhfORhxrCym\\M\fURexxCxM[lNLfdRdXpc{}[`NRfFRsXwSw]]LMJfaRaXH{dEQfHTckqTyBdCu`@PPgNSRyElB]`rOngXsKYITAe`TPVgiSJYIS~}alOBgiS?YHc~m^pPPgfR~YCT@]_tOfgQSEYFT@E`|OTg]SCyGt?maTONgcSBY?dCE_PPDgBSOxdkrEX^KreZrLXfKruXvLBe_rNyQdDeaxQXhJSUySDG}dHQRhPScYPDHUcXQXhDSdyTDGMdTQFhRS`YNdHmc|Q@g~SfYM|FebvPpgys[yLTHmc|PnguSfYTDEebHQjhRSXyJtIEb@QdhPSWx|k~E^^Nrfzr|Y[\M]fJR\hosvy\DKUfXRHhtSpy\DJ}fXRBhtSoYVDM}dxRrh\S{Y\tJMdlRrhYS{YYDL]ehRZhhSuYXTIueXQphfSjyaTNUfpSVhzTDY`dP}hDSPiFTGY_DPegHS\i@TEy^TO]f|SJh}TAYeDR]htSti[TKycdQmhLSliSTJwz{]EMzKVeIrEXa[o}WbN~g@s?X~[~u^rRPhissyX\K}eZTkiotXImLUyjFTeiltYij|UaizTUiotXIjLTQjFTMimtSij|TAivTUidtUIhlTQiRTOidtSihlSyiRTei]tYigLUah~Tki`t[Ig|UyiJUm?F_CoAKd}QzHZfNrgxsKxe[vM\gqsYYK|D}bFP`hys|y^LNmf~R|jhTrYyt\EmhVNjkTqYzd[mmtVFj_TrYwd\EmDVNjbTmyvt[mlxVHj_TlYwdZemDUvjYTmyvdZel|UvixTgystV]jhUdjhTfYytYEmhU^jJTuYrT\ukpVZjGTjyqdZMkdUpjVTayuTW}l`ULjSTaYtdWUlTUFi~TgystWMk@UdjST]YndYujtUjk^?AO@W?unxW~k?UOy~tcEnlW~k`T}zGD^enhWxjwUNY}TbmnTWrjvULy|dbUppVdjsUNZFT]]pdV^kZTwzEd]EotWfkTUFzBdaeohW`kKUHZAtaMpXWNkWUCzDt`EoDWHkBUBZ?d_k?]?R?G_BoAW@EsdYKl?u`JQLgIs^YElEuajQLgas^XmlBu[jP\fAsRXgl?uZJOlgIrVXak|uXjN|eQrzX[kyuWJNLdyrnXEkiuQJILcQqfXUkduUjH|daqY?H?E_Ao@G?k?ZZSjPthyslYelZUjlhUozWtlEuHZNlcUszXdk}uTZPliUizTtleulYllcUnZXdkEuTY~lbUmZVTkMuHYvllUkZZtjUuxYrlQUtZTDletLZVlmUgZZtiMutY^lHudzQlhusvYXkXuLzElbepzWzmMUzZ]DqEw|ZnmRV?zcTn}xH[@mPU}ZctnuxHZzmMU{zcDn]w|ZtlpuxZ[Lm]vVZhmDVEZ`tpmwX[VmGV@Z`DpUwL[RmhVIZitquyh[jm\VPzhTr}yP[|mZVOzfDsUxh\@meVJzeTtEy\[pmqVYzlDu}zL\lmnVUZkTtuz@\ZlEucZP|pmwr[VmGvDZa\vq{R]Kn?vajn|vq{F]?nBv^jolwIzf\snBv`JmLvY{R]Km|vajnLyqubZRlfvPzh\seyB\Dm`vmJtlzq|b]ynVvkJulzY|Z]mnXvbjtLyY{f]OnTvgJu\zY|J]anYvmJr\zq{~]ynMviJqlyY{r]inJvyJ{T{e~L^DnqVpz{dz}~D^BnrVoZyt|u}t^`nkVvzyD{m}\^TneVsz~T}e~|^ln}Vyz}D~]~\^tn{V{ztLym|N_?oEwCK?]?z?J_MoBwCK@]?b?Z^bnrvxO?U@J?~_S?BWGo?e@Z@A?CoKWFo?U@r@E?EoLWG^