CAT(3174,1)

Sparse6:

:~?pe_?O?G?CBg@N?b_QOHWCSAYAi@Q_iOSwIkDUAn@U_jOTwK_DAA^@P_nOVwKCEAA~@]_qOXWKcEUBL@e_k?WWJGEEBC@[_p_VWKWDiBC@Z_eORWHsEMBD@`_~?YWN_E]B{@i_}_YGNgEmBw@k_xo\wMcFUBp@u_u_]WLoFiBu@q_|_[WNOFABq@n`EobgP[GqC`AN`A_^wOoGACMA@`C?_gO_GiCEAH_eoRgHsCqAX@L_noVgKCIOC|Aa@PofOS[ISD@Ad@Ooh?R{HKD@AS@POfOQsHCC|AQ@NodOSKH]CpAX`LOfGR[E]BP@j_uOYgLKIqD^Ao`UojgUKJGDzAr@[On?UcJSDrAz@Zom_UsIWDpAf@[om_TCJkDVA|@TOn?TKKUEPBF`copgWcJ{ETBJ@_or?WSK?EZA}@foooXsL?ElBZ@ios_Y{LKEpBP@kot?ZSLqFBB_`nOvwZkMkA`@N_gORwIKDEBZ@q_wO[WLsE}CfAP`HOdGQsHUD|A~`_OoWWSKMFyBv`~?}G^wNeG?By`}@?g_GNmFaBv`x?}G]_NeFiBy`}?|g]WNmFaBj`x_zG]oMuFiBm`x?{G]_M}FSBn`s?zG\GMuFOBm`t?{G\GMmFyBb`~?wg^wMQG?Bd`r`?g[oOEFRBg`tPJOc[QIHBC`aPpGg_[OQGJCEaCP@wb[PqH@C\aNPFwbSPUGlCVaKpEG`{PMGhCOaHPCW`KOiGVCKaFPBWdCQmHRCfaTPJGeWSmHgDKaY`RWeoSyHoDOaZ`RwhWSUIQDMae@PghwSaISDOae`PwfwSUI?DFa_`QGhOSIIQDCa``PgeWReHkC|aY@MgegRqH{CwaZ`MwgOQ}I?Cla_`JgfwRAIGCqa``KWfOQ]HOCxaT@MwdWRqH{CkaS`NWc_Q}HGCoaU`HWdoQYHKCqaQ`KWpOCYAP@H_doQgG{DIAd@R_iOSwIcDaAr@Y_loVWJcGUCNAE`CoagPCJIDfAs`ZolgUkLAEhBP`hotWYSMIFFBc`rOxw[kYwLPEnBSpj?uSZ?LTElBXpkOt[YKLPEkBPPh?tKYSLTElBRph_t[YKK|EaBMPh?rkYWK~E`BRphOsCXWKxEVBMpe?rsXcK~E`BLpe_sCXWK`EVBGpe?qSXcKfEZBIpe_qcW[KjEQBCpaOqcX?KPEFBHpcOpCT[KTEJAlPb?jCW{IrEMAmPbOj[VuJ|Dza}P^woCVSL\DuBVp]OuSVgLfDvBWp]?uCWCJ^ECAwP`OmKWGJdEBAyP`_m[WCJLEAApp`_k{WKJPECAqP`OkkTsKTEJAnPVopcU?K\DaBFpWOpkTCJRDiAhpT?l[UoIdDTAvPT_lk_wA@@@_`oPGGSCUOQEscD`lh@OZULmGLb[aAGv?_qNGGHbqaAg{o_mNQGLcC@yG{w_qMlFQbhptWyc\]OKFOc@@rGxg_MOGFMcB`sX?g[}OGFGbbA?gww_MOIFHcB`qx?o[iM?GMcF`oWwO`AMEGRcG`pWw_`ILsGMcF`mxA?ZqOaE|cH`nxAOZyNaFubx@|w}W^aNqFtbw@}w~O^QM{Fjbn`zG|O]ANAFlbv`wg{W]yMoF{bl`~wzG^uMsF}bma?Wz__ARC?m_WOKWE[BI@^?m_VoKwECBI@b?u_ZoMWFCBQ@j?t_YOMWFCB]@l?y_\oNGFsBu@~?{_^oNWF[By@t?g_UoIgD[Aq@R@G_coQwGsC]AT@H_boQGHSCmALCiaRpIGdcQmHRI_DNA\hRofQS}HvdNa\XRwfeS{HwcsAeHLGheRSI\ctaexLghiRWI[cmAbXJgg}Q{IKcnacHK?hERAIMcmAchQoeESgH]dHaVxJgh]SiH_cra^XKOfiREHzcqA^HNweUR{Hed@a[HO?fESAHmd@AZxMWgURcICc|A`hNWg]SOH{dCa^xNogiRyIJdCA_HPGgESSIAd@a`xOggYSUICcjAWhKwd]REHZckAXHJGeYQsHdcsAThLGd]RYHWctaUxL_deRSHYciA[XLodAQcHncxASxIGfMQiHocga\HIOfaQeHtcia\hNGdAQgHvcdAdxQWcmSgHKdJARhQgc}QYIQccqPHGkcYQNHGc^AbxFwgqQ?ILc_acXGWhAS[HAcLAeXBWhiOwIZcMafHBwhuO{IWcIAMHAgbeOkGyc\aDxFg`ePwGWcXAJHEWauPaGvcYAJhEga}P_GucRAGXCwaMPIGgcSaGhC?amPSGceN?GgC{AM@H?e_QoGwCsAU@H?f_POOWG[CIA@@D_aOOGGcCIAF@D__p`GokWEKDEEb@pTWiKTIIfDUaiRE@dsqsWrKnELREpdSpsXXK[ETrEPeCpgXbKZEYrK`bkp_XhK[EXrC`bspKX@KSEOrDpcSqKWlK^EIrH@a[q[WhKeEJRC`dKq_WjKVEQqm@bsjcW~IyEOQmpcKqKTzKaD]RBH`souW^KPeGRK@_so[XjKqECRKp`KrCWVKsEDRJ`_kqsW@K@ETR?`d[oKX^KCEURM@^KrcVhKyDyq|`f[n_XlJvEZqzpesn?XnKwDwrMP]SmwXvKyDxqypgCrsVPK~DtRN`\KmsYBJkE]QopdKqOT|J?EQqoPcsj{XNJAESQjHUCiuT\IndWqkhU[jYThItdZrN@Ssi[YBIhE_Qi`fkikX|K~DSQt`^{l[VtJWD|quP^clkV|JYD}qrpZ{kgUxJJDmqr@ZsmCUZJ_DfQp@YCkSUdJEDhqq@YclCURJTDbqgp[si?VDI`Dpqg`[ciOVNJdDQrm_DsA}@`?p_XoKgEcBe@j?u_[OLwDCAe@T?j_UoJGD[Aa@Z?i_SoJH?c_IOLGBcBq@X@C_eOTGJcEqBHxGzQ\iNEfbblxxWzY]OMwfdBmXu_{q\iNLfZbsHv?{}\kNPffBmXjOzmYuMyf]BVHvgtu\}L]f^BVxw?yy]AMnf`BkHuG{Q\eNDfXBoxt?{u\QNMfTBrxtW|E]WMlfUBsHxGyQ\MNEfbbghx?yM]UMdfRBqhr_|a[yNXfNBuhrw|m]yM_fObvHqozi[mMzf]BeHvgxe\}MYfLbnhw?wQ[IN@fCBpHoo{M[MNDfCbohncvaZrL|e|R]xz?uq]qLlflbZhlw|i]yLpewBvHyOuY]iLhfhbXxy_ua]mLjfjBYhy_uA]eLafibWXyOuMZINVeqBthhss}Y`LPehRSxi{tQYjLUekrUHgSsMYNLDebRPHh[sqYPLHeerQhqgwM[_MAfGb^hqOv}[gM@fHb_Hm_wuZeMKfDb\xmOw}ZkMMfDB\XICdEQdHRciQTXIsd]QvHWclQUYC|AY`ROigTsIIIp?IamOBgkc@IJX?]aoODglC@iI?~qaaN|f~CSx~xDQ_APTg?CSiJO~iakNugjb}yJ?~]auNxgkb}II?~AaaNpghB{h}XDM^iPSfyCTXzs|}^BN_fprwh{c}U^LNhfsRxx|XBE^SOkgUbzIDo}u`]NnfvCKIG@AAaAOdgOcOiCPCM`EO}gQCNyF@@i`qOZgNcNYFX@q`sO\g]CFiHh@a_iPMgICRyH`@YaUOXgJcQi@pBI_]OrgZcCyA@BQ`kOPgYcCiG`?a_QPDgDCPi@XC]_YPHgECQIRTHacvQ[hMseYQ@Dua{QKhFcVIKHGycaP^hEcWIS`GYdIQFhRCaISxGedQQJhSCaiRpFQc}PthOC\iMxIEboQahPc]YLpGAb]Q@h@C[IOXFEcIPrhAC[iNPEabuPhguc^INhEib}PjguC^iKxH]bCQQgpccyKpHUbGQUgqcdHJceAQzH]coqVxqkxA[bMQfHrdHp{wi[VMKfErbiYpMMegR`hicwiYxMQfIRXhoCuIZXLQewRWhmctiZPLUe}RXhnCtyUDJMdhQphYskiZPJYeuQvhmCmIVHLudsR^h\cvi[@ImfEQlhTCwY[PIqd[RchqcjyWPKye]RBhaCsIWhLEeMRRhbCsiV`KadyRHh^CqiVxKmeARLh_CrIaopIWfKSeIrDha{puWpKXeLRExbdBy`~P?g_sOiG\Bq`pOxg\sNYFTBI`fOvgYSLYEtBE`XOlgVSKID|PohPS\IStFadTQ?hVS`IUtFqddPohDS\IPtFacdQ[h@S`IRTFqclRSglSuIJtLqbDROgrSxILtMAbTPWh\SVIVtEAeLPch`SrILtKabTNGhDRsIPs|QcdNWhJSfHzs{qctOgh\SJIVtBAeDOshbSrIFtKa`tQ_gHShIAt@adTO[hVSHIUtAAddOAf|R~i?t?y_TRSfrSuH|TLA^DNkhnR|I[s~AfDMog`SPHvTCa\lPKf^RoIIs{QadM[g`SPHrTCa\\PKfPSTHtTDA\LW_\hMtfZRlxvKzac@Q@hAS_iO\GUbtPzg}S^YN|FykOUSjIdaYpPXYkUUVjEdeIp`Xek[UGjFdaYpPXAkUUPjEdcyp`XIihTQihtTYi|TYi{UMindbyk@XEjAUQipDcykXXAioUSjIdUYqpTikmTZjKdVYr@TqkCTKj@dRYo`S}i[UDjBdSYopTAkCTEj@dPyhHWQiOUDidd`yhPWYi?T{i_d^YgPVyj}TBj?dPYo@SQhsT{i\d^Yf`Vyh{U?i^d_YfhV}jSToitd[il`VMjYTpiyDZymhUyjkTci{DXYmxUYjqTfisd]ynPUanCVUjkTtyzL\mmtU_JmTgQztYGm~UbJmthQ{LYOn@UYJmTeqztXom~V\JMtfa{DX{nBVCJRtpQtD[clTVEJRTiqw|[_lRVOJ^TsQv|\Gm@V@Jhtoqyl[GmhUwJXTmQu\ZglhUzJYtlqvlZWlxUkJdTjQx\[wlbVKJVTrqt|[sl`SOiGtCia\PUghVvjyT|Y~D^enlVyKET~R@l_wnvWNJ}UCQ~t`?n~VaKETwr@l_wnHWNJquCQ{|`?nLVmK?Tzr?L^?oDWBJwu@Q}\_OndWEJsU@q|L__nTWHJttzR@\_gnXT{i}t_YntWAj~UAj@t`IolW]kLWoKHuKRAd`GpfWqKJULBA|bSojWoKTUKrDlbCpVWqKUUJrElbOp\WcKZUHrFLaSpnWeK[UMrDLbgpPW]kNuGJCLaMpDWuKKUERFL`gpnWZK[UMrBdbgozV[jmtviz|]En@W{k^UOZFlcAp~XGKlUUrHLdoqTX\KduVbHld{qXXAKlUUrG\doqHXDKmuPrJ|cWq|XSKfUTRH|d?qlXPKjuSbJLdKqpX_KuUWRLleKr\XnKqu[RKTeOr`XeKxUXrM\e_rhXhKyuYrM|egrlX}K{U^rNLg?rtY@K|u^ROTfosFCdaRPHG{[\yM~F_bopwh\sm}V`Jpdxq{iAd@a_jOUgKsDyTTImdZQnhVSjIkdUUjLTfistYI{\]InHVdjrtxjH|cyq`XRkguSjTXjEtWYqlXejZUhiytkYolYEjzT`iUtYYelTehzT@iytSYolSejzSHi]tSYalNehZS@iYtOYclSegzRhiEtCYZlNeeZS@hitGY[lNEgzRhhasgYZlHeeZQhhqs{YVlJEejQXgusgYMlIebzQphAscYVlKEcZP`hEsWYOlDEbjPXg}scYJlDEbZO`jIsIYplXe`jPHjYsMYtlCElJ]W@Y?n?X_KOEwBS@q?|?\_NoGWCCW]KREGcOQGXCkaIPHGbeqrWhkCuMZHL`gmSWYJlD}a|P_hys{i]|NMflRsjRTiIt\YilRUfkHUCzAd`UonWUkouWJK\eIrJXcmRFGJcHq]xC[gmPfIZchqixG[jmLFGJcHp}xC[ZmPfFJc`puxI[]mLFDJbxpUwq[ZmJfFZappqwo[]mGFDZbHpEwk[MmJfBzb@pMwc[SmEFCz`poew_[ImGfAJ`ho}wU[Qm@fAj_PoawY[CmDf@Z_xoewW[Em@E~z_Xn}w?[Dm?F@j_Ho]wA[Cl}U~J^lnyv|Z|luemJUxmyv]YxlwEmz]PjqtsZplofHz[PqYvE[glqFIZ[pqmvI[il{euz^Hlqv?Zzl|evZZxnivsZ]llExzZ@meukZgltEtZ\`l]vUZXlfexzY@mavSZPluEsj\XlMugZhlce{zXPnQviZJlzErJ^@kyvmZLl`e{zW`nQviZDlzEpj^@kavmZFl^ezjWHnAvYY|l^EzzWPnIu?ZpnH?Ag@[?q?Z?N_FVf_AC@I?b]c?IODWA\yQ|J]enRVhJslqo{X[lNEvJbptw{x^]PMWVcBeLyCyl\YNPVgRi|tk|F\WNPvURsTtC|@]]Mivfbidt?|@\QNNvfri\s{{r]ZMdVfBh\sw{z]WMeVRRrTxkyL][MbvPBrLsS{z]YMcvQBrDsK{d]RM^VdBf|sG{n]TM_VdbgLr_{d[xNHvMbqdrs{n[zNJVNBqlrG{X[rNEvLBptw{xj[vNGvcBetwW{@]FN?vaBoTwc{F]DNDv`BpTvgzh\zMyv]Rnlvozl\~Mzv^bnDuwzP\nMsv[RlTv?zV\qMuv[rlduKyz\[MpVXBjtuSy~\fMovXbkD~w|B]bnPODgA{@e?v?W_LODgBC@e?n?Z_LOFGBc@u?z?]_NV~c@m?@?`^}OFV~sAU?@?^^~OGw?R~E?K~t_AN|v~S?e?W~x^xOAv}C?}?_~r^|ODwAb~]?o~x_HN|VyS@l}h?\^jOFvzCAD}x?d^lOGvws?}?g~H_GNqwAR{t}\?V^gOEVvS?L|x?D^^O@vwC?l}H?L^`OAVkzudzU|l]vn[Vhr}lyc~l]gNzv|rtd~S|V^uNTVjR||yw~`]nNwvkB}TzG~h]pNxvsRy||G}p^RNkvtbzT|o}j^SNlvqRx\{o}J^ENevprxt{_}^^INgVorvTzk}D]{N_voBvLzs}H]}N^oAg@[?q?Z?N_FOAg@[?q?Z?N_FWZR}|~U~l?O_GOCWAS@I?bZflsuyJ\TmqvVZmlwUzZ\|nIvb`nOywZSMeEtBf`mOwWZcMME|Bd`ZOrwVSLUDpBR`gOnWWCL]EpA~``OrwXCLEEHBR`bOtWYsKuEpBJ`uOQw\sCuF`@P`xORwISN]AhBt`TOwWTcMMD\Bd`WOywUcMeDdBf``OfwWcIEELAb`dOiWXcIUEPAf`ZOcwQcJeClAz`KOnWWCHuCtA~`BO}WPCNuCTB~`EO}w_SHEC\C@_|o^wNkGMCJA@`{OWw^SEUFx@f_sO~w_SEuBTC@`uOTw]CDeF\@Z`xOVW]sEEFh@^_XoLwEkBu@r?z_^oPWGKCeAN@B_ROZwDSFM@P@p_UO\WECF]@\@x]KnEvbjp|xE{`]YnLvfJrDxu{rbUPUWuST}ItEnamPkWusUMLhD`aePjWhsY}I`EpbXPSwusT]LhDTb[POWhS[ELtDBaaPnWhC[MILE~b\PMwfc[MHhE~aZPoWvCR}HpE|aGpDWbKPMGvCVaMpFwcKQMHNCdbOPIWsSQmLHClaVPiweSYeH`Efa}PdWoCXeJ|EVb@PewosX}KxEDawPaWmSWmJhELazPbwnSXMJpEPaEPXW_cUeGTDjaBPZw`CU]G\DlcQPpXCs[]MPGhbdQIwxsa}MXGlcEQEX@s`mO`G\cHQFxCS`]P@GTc[P{W|sbENPGrc\P{w|cbUPlFjc?PvWzs_MN@GDbpQ@w{s_eOTFdbyPsW~s\]NlFRb|PtW~C\mNxFXc~?NoFwCKAE@@?_mjVUji|tayv\XoZwM[FEBr@t_zqdhP[hiSZIMdKqcHSKhQSzIQdNq^hP[gySBIOd@qdHO{gaSZIQdAq]HOKfaR~Hyd@q^HPKfqSNHydAqdhHKhaQVHKdLqRhRkdITBHOdNqNHLkbyR^H?cwqOhM[cYRnHCcyqTHKKeIQnHcckqXhJ[eiQ~Hgcmq~F}J~\~i~r^|n}ODGAk@M?j?R_IVhztDye|T]knTwqkXeKnEZbNpfWpKWmKZENbHpcWk{UUJRDlavpYxacrmWlKxeKRNXfspmYDK^e_RFXacoeWlKJeKRBXbco}WdK^eLRCX^cquV|Kne?RKX_srUWHKve@RKx^cqEV|Kde?RHxdSo]WDKbeSR@X`Sn]VlKNeEQ}xaSneWPJxd|RCX\SiMTLJndQQzXTSnMTXJtdSQ{XZsreV@KzdpRNXfsmUVLL@dsROxYSquUhKndjRKXZCrMUxKvdlRLXWsqEUPKbddRHXXcq]U`KjeSQrxW[jmTzI~daqoX\Si}V\IpdwQkx]SjUVhIxduQlx{CK}EbBR`kotWY{_EOFGDcBqAx@K^UN~Fvb{p~W~[}A^rNaf|ryI?[}Q^zN}ftrxi?K}A^ZNmfpr{H{k~Y^NNsftr{h|Kxa^rMYf|rfH~kyI_BM]g@rgH~{wq^ZNmfFr{HqK~I[fMUfzr|HqkveZjLzezr^xnk|QZRLofnrYhy{|aZZNYexrZhzktq]jL]fjruHkK|qZFN]erruhkk{iYbNKehrTHxKtY]^LYfgrUHy[sY]ZLCfdrqHhK{yY^LIfgrRHy[zQ\zNEf\rkhv{zY]BNAfWrpHvKwA\JMAfRr`HtKwY\VMmfDrjHpLHQbbPvgxs\YN\Fec\OPhCSCyBTGmcXOThHSEYQD@]_HQNhCS@yPT?ecXOJgEScyQD?}_xPLgNSRyCdDU`@PPgRSTyCTDMbxP@g~SOyODCUaLQBgdS`yHDGU`|PXgmSLYEtDma|OzgpSMYKDBubHOhgrSIyLDAubXOngXSYyEDE}VVJnduq{X]knMejRVhgssyZ\LefPRDhtSpy\dKeeTRrheS{YXtM}fPQThuSeYRtNMfTQZhJSzy]DHudpQlh\SjyVtJMdxQphZSoyUdKEd@R\hoShySTL}fLQjhpShY[dIe]ZNJfcrrxy[|E]jN^fjruXzk|mfpSrh|TLY]tR]hpR~iWS|YfTNuhHSpiRTLYdDRMhtSliVTLyfDQmhxSXi_TEygTPuh|S^iPTPygdQEgZSRiItBya|PEhxS@i^T?ygDOUiDSFibTAygdOec^QLhCsayQ\HEibTHidtSyh|SukHT`irTaypDUMjHUFitTbylDWuihUDijT`yjDWeitUJinTbyjdWujXTxi|TZyndVMj|Tvj@T\YoDVEk`UhjJTjyqTYukhUjjLTkyrDZEkxUtjNTlysTZml@UxjRTnyvdYUm@VLj`Tryyd[emLVPjhTpYyt[mRzHzc{rlXu{zE\fMzf[sdYQ|Hec~QZhMtZYl|VEjfTviyu?i}|_YnrW?kEuAI~\^yoJWIj}tyi}|^InvV}jwtzI~L_AnjVmj}tzi{l]qnNVgjttyI}L^QnNVqjqu?izL_QmvWEjmuBI{\\yoVWGjouQh^[n]Vq?N?H_CYE|Bm`jO~g]sMY]lN]frRzh~s~YqLX]kvURjKtdZMde]r\XbkxUXZNDeerXXpkzUYzIteMqpXdkoUYzLdd}qtXhkmUXzJTcmr@XNkmURzJtcmqlXLkkURZ@tb}ohX@kJUOzGd`EopXHkbUCzLtbMr`WtkxULzNDbmrhW|kzUMZDTdUp`XPkUUTZDtdMq`WfkhUIZBTb}q@W\k`UFzGdaEqLWbkcUHZZO?c?Y?JllUfZZThmu|YTlKUvZZth]uxYRlgUcZOtlMsPZNlDUtZPtlesXZVlhU^ZYDfmsDZVlfU^zOdlUs@ZXlZUozWdjeuXY~lbUmzXDkEuTY|lNUizUTiEtDYllVUhZUdiet`YfmP?CO@w?{?a?R?HvFJd\pyxF[_mQvGJc|pyxR[[mUvGj_loYxJ[GmRvAjdLoyxZ[KmTu}JaLniwfZ{mIu~ja|oIwv[?mKuwj\|nIvJZulru|J\\mavZZolovXJF|cEqRXBkauPo@G?c?U?L?E_AzjtvEy|\rmoV]zkTvezl\bmyVWZkds]yX\lmcVXzhTumy\\hmgVZzmDtuyd\rmyVUznTtUzp\VmzVUZkdrmzX\DmrVNZlDr}yD\nmtVOZd|rExf[tm[vLzY\k}ubZTlkutzvDwe{T]znEVnZqD{E{\^BnHVnzvTxU|p]Vn]VeZwDx}}D]\n^Vezn|vu{F]FnAv_ZsDy}|D]lnQVkZstzM|l]jnSVlZ|D{U~T^FnuVqZ|t{m}\^rneV{ZyT|u}`^^npVtZ{d|]~L^ZnkVw[?D~V?D^vn{W@Z~U?]~|_Jn}WAZblqEw~]nnUvlZuLz]|f_WoOwEKC]AZ?z_[oNwIKB]AR?v_]oEwBkCMAZ?j_UoPwCkDMAR?b`GmnvWzkL|u}~^`nqvxz{]CbA^`OocwSkH]DbAZ`UoewTKH]CR@b`AoYwOkE]AjAN_kobwJkGmBZA^`Oo[wMkI]BrAn`?okwNkImGRB|`Zo~WV[OED~C@`dp@WW{OUEFBL`rouW\[MEF^B\`xo}WY{LEFnCHaPpHW`{QeGfClaLpKWa{RUG~AJ`Fo`wiKRmIjC~akpRwjKSmIbDBaipPw^{O]GC?Damp\_@KUEJk?Hawp]wn_?uJVD{?ApZ_@kUUJv