CAT(2906,1)

Sparse6:

:~?lY_?O?G?CAw@V?l_UOL?DsBA@^?y?W_LGEoBM@c?t_b?IwDkAqAL@G_boOoGsCSAP@C?boNOGCCC@|@A?^oO_GcCCAF@D?_OM?FkB[@|?x?^oMgFcBmAJ@B_aOJgECA}A_@[_g_VWHwDmAo@]_l?WGJGD}Al@V_ioSwIcDIAW@]_f?WGHgD}Aw@H_m_QwJWCiB`@q_woXGKsEUBY@i_v?ZGLwEmBM@`_p_YWKOEaBw@r_~?\WNgFQBq@u_{?]gNWF]B~A@`?O_gOcGMC[?|_^oNgGSCAAB?v_[OMWFCB]@r@j_uOYgK{EeBPA\@IOfoQsHwCjAY@HOf?Q[HkCbAM@JoeOP{H?CpAM@HOc?Q[G{CbAS@Dod_PkHSCXAK@JoeOPkGkCpAD@Mo`oR{GWC|A[@COeoPSHgCRAJ`EobGWwJaDtAx`[OmgVKIADDA``ZolgUkJIDhAr`VokWUCIqD\Al`SoiwTSIYDPAf`PohWScKQELBD`m?wgZoMQEyBb`m?vwZgMEE{B_`e_uWZWK}E[BY`o?tw[GLaE}BU`i?rgYgK}EeBL`g_wwYOMQE_Ba`d?uWZWKqEUBY`b_twXGLaEOBU`i?oWYgKMEeBA`b?sgYGKQEIBO`^?qWWwKAEOA~`^?rGXOKAD}BJ`]?oWVgKMDuBAaK?IGDKAi@V?l_UOKWE[BI@b?r_XOLGEsBUAp@Y_koQWH[CiBf@t_yO]GMsF]CLAF`AoaGPSGeHkCpa[@KgewRAHiClaX`Jwe_QyHSClaT`Jgd_Q}HOCoaW`HwdGRIHACfaS`Gwd?QIG{CcaO@HgbwQUHSCZaT`FGbgQqHGCZaM`HgcgPqH?CUaN@DwbwPUGkCbaO`DwagQIFOCY`t@EW\GPaGRCJaDP@w`COYHkCBa[@@WewOQHeC?aY`?ge_OEGcB|aI?~waWNyFsCO`}@CW`wNmFaCQ`x`DG]OPMF_CPaF_zw\oPAGoBl`t`Eg\_PeFgCK`z@Bg]gOuFmBd`r_}W[oNaKG?a_QOGwCsA]@JCzBCpMOo{RgKPEBApp__kkWCJHD_BBpW_pKUCKPDUaiPTWi[TIIbDMA~P_?iCS{J~DJBAPROosSoKJD}AcP_?hSScJ~DzAbpPOnkVoILDAA|pOonkSOJxC~BAPOOosS?KJE@A]P_ofkRwKDDuAwp\omCVSJ^DkAxPZ_mcUsJfDeAmpVolCU[I|D[AspYojSUgIvDXA|P]?jCT[JrFB?SOIWDSAa@T?h`_oowWSKYEHBD`\onWVcJqDvA|bl`rWxs[qMcFHbh`qwy_[iMCFPbf`oWy?[AMCFQbi@oGyW[EMEE~ba`ngw_ZuMKE~b]`qGwwZyLsFEb]@pwvW[aLnExb[PlWucZYMEEpba`kww_ZIL[FNbW@sWtw\AK_FKbf@cgxgXEKYFHbF`qwpo[iLOEjbU`igt_YeLIEIbE@hwpWYYKqE[bL@fgrWXuKmE^bO`eGqoYALGESbP`dWsOXMOy?c_PoGgCSAQ@F?e_RoHWCkA]@LCOaGpBwaSPQGfBe`roxXGOcEQBH@c^qOHFsbmPzG{c\QMXFCbkPdG|CXqN@Ecb{PjH?CZqN`EsbSOnGvCKQL`BK`gPvGZC]qN@Bcb{OnG}CKqO@BC`gPdG[CYQEpE[`OPFGdCIqD`CcaWOjGgCIQHpAs`COzGRCNqC`Bs`CPBGRCOQC`CSbGMlGsBiqKoy{\_PjFYCZpuPEs`AO\GNcDqBX@c__P@GICPQAPCK_SPLGFCSQ@`C{`{ODGCCNQFP?[^{PpG@C\Q?@FK^oPFGdB~P~PCc^gPTFzCTp}PDKaoNlGmB{QJO}{^OPXFrCVP|PDk^?PRFqCTp{PDS]sP^FnCWpz`EC]aNRFfbtPzG|[]UNLFcbpPww{K\wPpF_C\PvpFKbCMvF\CVqK?zciwJvD|a}P^goCV}KBEBb@Ptgy{\UMrFYbkPtWy{\YMpFYbkpvWz[\qUcJNDgQs@YKk{UbJMDaqr@WcksUFI~DbQq@Vsk[TzJ?DcqqpWSkgUBIxDSQi`U{icTpIlD\QipVcioTvI|DSQnpTSicT|J?DTqo`TkkCTXHkDbQZ`XCesUNHnDcqqpMKkgR`JLDRQr`S{koTJIOdGqchPkg}S\JBDAQpPOskOSJIuD@QlPOKjOSFIsC~Ql`OCjSR~ImC|q^PUCi{RxHyDXQ]PU[f_TbHtDWq\pU[fWTdHqDVQ\@T{fKT`HecsQXxLKemRTH_cpQWXK[eURHHScjQTXJKdaQnHYcmQUxJkd}Q|IvCfQmPICj_Q^HPD]QSpVSdGTvHJDcqqpHkkgQXHGDeQQ`XsccUZJNCaqP`YCc[UbHADbQP@XCcKUNIbDMQf`SSiOSzIRDKqdPRShOSvIIDKQd`PcgkSnI`DBqa@SCgcS~HDcbqPhHCciQRHJceqRHGScQQFLMEYrLphks{XlKeEbrI@hKq[YPLCESrP`d[sSXTKJeErBH`SoaWRJ{EdQ~`hcnsYVJcdqqxh[{meVPJ]doQvx[KmMVDJWEerRpZSswUrJZEdQvPhcloYVJVEcqt`g{lSYPLDDiRP`Y[sOUdKwEURJ`fSqsXrKbDtQz@ckmkXHKqEORG`ecrKXBKpENRJpb{r?WzJlELQzpbcmwWvKDEGr@pa[oWWdKVE@RE@_[pcWHKME?RC@^{oCW^JxEIQ}pasngWjJuE^Q}@gCn[X~LBDxrOP]knOYDKzDwRNP]SroVbMWfLReXqsx][jMZF@r`Prkxo[HLyFBR^@pCvk[NM?Ezr_`nKwCZpMQEyRd@msxKZjLhEiRY@iktKZTLdEwrXpm[uWZdLcEwRWplsu{ZDL^FFrcPkKx?Z@L[FCrV`p[ts[TLXFERUppstg[ZLjEkRT`lkuoYnLOE}rSPnstGZ~E}b]pnwwS[AMBI^dOqgHRchySzIXdLqehQshaSnNKFgrspxk|G]VNKFgRrPxs{k]^NHFkrq`zC{_]nNHFirq@ys|O]TNSFQRh`yk|W\JM~f_roHvkzy\xMfFgrsptK|G\PM`FkrtpsS|_\FM_FfrfpyCxw]\MuFarppvCz[]LMrF[rlPv[zO\tMlFWRk`t{zC\\MiF`Rj@wcyk]FOICJqEXBC`iOxGZcIQDhAk`EOfGQeLRFHb[pyW~K\eORGhcKqMXHKdeIRDhakpeWpKVeFRCH`{pEWfKQgTcCyAhAu_gOkgTCDYD@@M_gOhgQcCICx@I`KOPgPCCIC`@E`EOQgNcBYC@?}`AOMgDCFI@`@y_UO\gFCEyBH?}_YOYgDCDi@`@]_UOWgKbxh|@@m_sNfg?cFI?X@y_CO\f~CGi?@AQ^}Obf|cIIDO~u^wOhgNb}ICG~i`?NxfzR|x}k~I^fNsgJBzyB?~E_mNogUbzIDW}y`WNlfscHx|XAU^SOegCbwx{`?]^IOGgCbwH{P?]^AOGfmc@Hzp?U]}OEgABui?o|q_INZg}AiHTKiiTZIjdURYxlkuqZRLgetRXXk{uYZFLaeqSaQN|GgcBQGH?S_aN|GOcBQBH?SbQNlFwcVP{HES`aNdG[b|QDG}sWyKTEEa|P_gnsbQITDOcXPRHDsSAPLDCcTPNHCSRAOlCwcNPLHBS_aHLCkcHQBGdS]QG\FgaHPzGasOaMtC?bnP@G{S]QFlFk`~PyG^SMaMtF_`vPvG]SLqMlBcbhOwGxs\QEdBWbfOtGyS[AELFG`fPpGXS[AD|B?bdOmGwsXaGtEOaPPdGbsZQJ\E{azPmGmSUAK|DcbPPYGssYaIlEoanPUGtstaXlK}e\RJhdSrIRHLMegQVhKCtYYXHQeiQThiCdiY@HEecQRhgcciPpLAc_RQhFcsYVXHmcwQ|hLCnIU@KYeGQphVcpYWxIqd[RHhcCjYUPIedgQjhXciiSpJadsQgh[chySXJydIR?hQCnyUhIAdmQahZCgYRhKEc}RBhNCoi?d?Y_JOFgCsAI\TMafRR|h~s~i_@Myf_SAi?czy\hOQfWSDhtd?y_XLeeuSDhlD@I_@LYgARWi@Cty[hN]fMRxhrC}I]HMIfeRchxCwyZxNifwR`h|cwIZhNUewRshnC|iMDFIbbPrgys\IMtFabnPxg|s]i_pQ]gOShiBdIIcxQEhQSbiSDGibpQih?SkiNdIydhPmgySniMDJib@QQgsSeiKdHYalP]glSSiHTCydPO}gaSkiTdCI``QugYSniVDBi`HQQgUSeiDDHYYDLIebRThhstIeTRAhbTJietRIhpRqh{TOi]dRyhpRei_SzifdMiepTIieSwiZdSYiXRMhiTQiYDSYgPSUiGTFi`dPih@R}iST@icdOIi`UQikTdiidWyk@UYjCTgiodXylHTui}TjinDYiixTiiqT[ikDUymhVIjgTvizD[yl`U}j[Tpiud[GV{KAD|D^ampVgjcTmItFrbyP|W}C^INbJwdzQ|x][nQVjM`fPrghsCx}[|PWglSUYIlD]alRYhksuyYtLaenTAiaTOyf|SEi@UaJSThAtTYKlRUdJNtgAs|YClLUaJMThArtYKkzUXJNtgAr\YCktUVJMTeArtXWkzUXJHtdQr\XgkhUVJGteAqDXWkdULJHtdQp|WwkhUIJGTbAqTWkkbULJBtbqpLWwkPUKJAtaqotWgkHU@JBt_qpLWGkPUDI~T_AotV{kHT~J@T_qntW?kBTwJST]atTVclRUdI|thqnlYWjxV]?JOEGA{@e?v?Yjt?FgBk@qn_?__OoFwakP]GlEUbJpeGq[XUKhHtczq\hMSfQRfL]emRVXj[teYtNkfvRzX|S}m^RQYhMSeyRlH}c|SEiCT@y`LOmgTTUiitTIi|TeipW\KJuERB|`wopWZKIUFBAt`gojWPKJuERA\`GopWMKIUCBAt_{ojWMKDuBr@l`?oXWPKCUCr@T`GoRWFKDu@b@l_SoXWGK@U@B@T_KoRWFK?u@a~|_So@WCJ}U?q~t^soDVxJ~t}r?L^go@VwJ}t~a}t^onnVxJxt}q}l^gnhVrJzT}A}l^OnnVojxT{Y}D^InbUjJutjQ||Yon\VWKMUEqzT`gmrW\JittrB|`wmlVQJtTtA|d\KnVVNJttsQ|T\?nXVKJrtra|L[snPVcJctxQx\]WmTVEJrtqA|L[[nPVDJrTxAwd[KnJV?Jotoa{\[CnDU|JnTnq{DZwm~UyJotwqvd]GlvUvJnTmQ{DZ_m~VZJYTlazl\oljVlJWtzqu\]wldUmJltkAzlY{mxYE?DOBG@[?u?^?MlH?CWAS@Aso?S_IoCzRLhispYWlKuejQhaAsmWalJEGZO@ciqUYAl?eRJO@cusCXMl?eRzQPcasgXHlHePzGphQseXCkaecjGHg}qCYPk`ecJFxgyq?YLk^EbJFhg}pwYPk\ecJPpbapsYLlEEMZPHbUsUWvlDELjEPgYsOWslBeKzDxgepaYJkWEajD`gYsMWllCEJjDHgMpUYDkTE`JCphUpOYVkRedjC`gQpIYDl@eGzM`firwXukye]zMHf]reXxkxE]JL@eyrSXokseZzLXeUrMXlkrEZJJ`eIq{XckmeWzJxdiquX`koEUZNhdMr}XTk~ETJI@dYqcXWkgeTz\_@Y?p?V_JODwBC@m?t?X_LoEgBLnw?z?[_NOFGBk@ysBYAl?V?B_loWv|[CL~v?R_doKwJ[AMBUzB^LmwvtZlL{U}b]Dn_vbZxLvu}r]\nsvhZ{LxU|b^\n[vzZtL}UhZStiQtNYglSuwB_LmGwFZ`M@UvR^tl{w@Z]L~u|rZTnWuxZtLlutr\|l_vbZXLwUtB]dlWvfZTLxUzBYLmwufZlLhUfR\LmksxZiLLufb\Lmkt@ZiLNuwrXtmSu`ZcLfupRXDkguNZHLbUqrWTksuHZKL`unrVLkCtvZ?L\UlbVdjwtpYvL]ulRTtjKt^YsLUuibUDiotbYjLXUgR[tiKvPYaLroAg@[?q?T?K_DoBW@{?y?Z?M_FvWOAK@I?`?P_HOCJ\LmmvTVZjmtvI{t]UnHVfjstyI|l]}n\\fMovWrlDuczD\cMrvXRlLuWzP\NMlvSBjdtCyz\ZMhVVRi\toyh\^MivWBittwyn\WMnvUbkDtcy|\rMeVRbmlsszh\cMcvXbh\uSyT\EMpVWrhDs[zB\WM`vURglsOyt\QM_VObidtKyB[|MivNri|rwyl\NM\VSRfdt?xv[vMtVMRldr_zV[pmXvKjedrYxj[mMxvKBmlq{zh\iMTvJRldqozV[gMuvZrdTuwxR\oMQv[bc|vCxL[cMuvGbl|uwxF\oMNvGRmTvCx@[LmFvBjaDpEwd[SmIvCzbDp]wl[[MCVFb`Lo[wz[YMDVBBb\okwrYDlAU_zPdgysZYNlGucJQlh]sl^RNCVtRpT|O{R]\Ndvfrxdxw}T]YNeVfBx\xk}T^RNJvtRrL|O{p]TNfvdbxlxO}\]PNgVsbq\|C{d]ONfVbrx|{s{\]JNgVsbpd|C{Z\{m~V^ZoLv}{@]An@v`Jolw]{L^FNYvqRu|{_|l]qNavpbudzK}H^ANVvkRw\z?}B]|NUVnBttzk|Z]}NSvoBt\z{|T]eN[ViBvTy[|r\uNPvhRm|v_|H\xNOV]rsTvg|B_HNjWArzE?g}n^|O@v~s?l~x?H_?N|W?b~e?C~v^jOFvzSAL}p?`^gOEVyc@t}d?Z^vNqvxr~D~c~L^qNqV{r{\}G~b^sNnv|b{L~S~@^\NwVvb|||o~\^XOBWABz\|h?N_r?OOGWB{AA@B?^kdURJH\cuq^XMmLvEjbLpqw|[\o`GNKGaBzAE_|o^gM[GIBnA?_yoZgN[FABz@k_{o[gK{EiBn@g_yoYgKKEaBJ@a_ro[GKKEyBJ@k_po^gE[GI@jA?_WoJGOkAiCN?m`CoTGJ[DaA~@U_moRgCkDI@R?e_goNGHKCAAZ?}_doOgE{CY@v@C_[ox?CwAk@Q?j?R_IU}j^LnavzZ{l|uezRlhqs|Y_lNvoZw\{I||^?n^vmzvlzq|p]yn[vgJsTyE|F]dnQW_cQeGLCja@PHwcSOEHHB|aOO~w]sO}FpCR`|PCW`CNeFlCLaDO}wbSNMF`C\aNO|W]CPUGpBt`xPDw_SM}GLBj`uP@W\CN}FHC@`rO~W[SMeE|Bf`oOxWZsMmF\Bb`uOwWPSLUElAN`EOswcCKuHDBNaQOsWWsQ]ETCj`cPIWWCPmEHC^``PFW`sJmGdA~aGOnWUcPUGpAx`ZPDwTsOeDdCL`WPAwTkIeDVAf`QogwZCHuExA``lOfwYsH]CtBT`KOswZCHEChB\`lOcwxBj\tuyx\^moVVj}|~e~p^snyv|j}T~M~b^nnwVzk[yMvF]bhpsGzk[yMjFQbkpsGy{[aNVFKbspqg{{[aNBFKbqpqg{[]aKBFibApxgo[ViMvF]a}p^gzk]QJrF_aypwgm{\QJ^Dqbkp[Gy{UMJNDdaopVwjk[IIrDYbbpTgwkTIMBE{aipSGv{ZYI^DKb\pQgvKSQLnDGb\pPgvKZIH~Esa`pOGuKRaLbEsa]pkgf[RYMJCsbbpKgw[ZqHZCob^pJgwKXyKrE[bPpgGr[YaKjEcbJphgq[WqLVEObVpbgtkWYJREIatpaGlkfqRBHbcnqUXJkdmN|Hvc|Q?xNC_ERpFzc|P~W~Cf]R`FrbzQ\W}cfMNXHpbwQ\W|sfMOHHFcCQQx?sceRHH@csQPXKscMPpHjcZQZxLcbUPDGhcRQJXCcamP\G\cOQKxEC`}QXGVcgQExHs`eOdHTcIQTxACdMOTGzcFQNx@cbuEfBT`jouWZkLmTrI|d\qkxU{jUUhIpdgQjxYSiuTPJXdTQuxSsl]UlIBdlQ`xZCgUU`I@c}QtXYSf}StJJdNQrxRckuT|ITd`QeXWCh]S\I`dQQcxQCiMUHIHdcQbXWsgmLbEtbXplwv[ZeMBE~b]ppww[[UUxKddoRHxdCl}WdKfeJRHXdCpUWpKLeMRCXbSo}X\KFeURAxdSoeW@K^eARGx_SqEVzJ~d|q|X^Kn]WpJneMQ{xbSnEVPK^duRGx\SqEVLKneUQwxdSmURbHtcxq]xM{feXbKreYrXxl[ueZXLHewRRXlssmZXLBewRPxlssUZlK|e_R\XfsvMZhKvezRMxmSreYlLZekRVxictuZ@LNeqRSxkStE[tLxfKR^Xqsvm[xMPfORdXrsxM[HMbfCRhxosyU[TL~f@RbxoCwu\hMzf[Rnxuszu\`MhfURkxtsymBB@b_qpfWrKXmKnETbHq_xO{gURzI@c~rTXjKt]Y^LRegr{H{k~Q^RNqfrrvh|[}y^FN_furuH{k|q^RNYfrrvhyk}A]fNafjruhxk|q]^NWfgrrHy[|A]nNMfir{HwK{Q^jNAfxrph|[}y]VNGfusK_@w@K?bB^`oowxC[a]PJG\cOqFxZkmEU~JbdrqxXnKvuZvL~f@r_YJdDMb@PTgnSSYHTD]a\PXgeSUyHTCUaPPNgbSRYIDB}ahPBghSOYFDCUaPOzgbSNYFTB}`pPBg]SOX}tA]^tOjf{SIYCDD]`HPZgPSUYBTDu_|P`gMSVyEd@e`lOTgXSDyET@M`lONgYSCY@DAu``OJgESJyCt?M_LOjgASIX~dAu``O@f~SJyWO?c?Y?Jh`S_yOdK]c@RDg|SoyNtK]bxRDg{SnYMdKEblQ~hZSZyMTJmdpPphZSYYVDEmdtPlgpSnYKtKEbHQ~hNSiySTI}d@QlhQSeYTDHudLQZhHS`yPTH]cPQThESkYUdHEc\Qr?F_CoAG@K?]?PiJTCI_|PQgRSQiAtCI`\OygjSKiHs{i`\NYg^SKhyszI_lNAgRRmiBs}I[|NqfVRyhsswI^|MQgFRai?suIXLKiejRKhjsriZ\LIe~ROhm_AO@W?s?Q?L?DtUIC|Am`ROlgWsJyitS]ihTJihTQYitSui`TRifTTYjDQ}ixSrilTKYgDSui`TDifTOyfTS]h|TJi]TQYjtRUhpTbioTLydTTmhXT\iSTUYcTT}hLTbiQTWYbLP]gvS\iOtFyU|JmdrQ~h_snYstVUlTTpjST[yoTYEkLUbjAThYstVulTU@jST^ysDV]jtUdjPT]Yk|UUjRTjiutZyrTW}kdU^jGTfYqdWekpULjJTayytYumtUpjkTjyvt[mm@VNj`TrYwtZelxVDjcTmyuT\EmhUvjhTlY|D\unXV`jtTvy|t]MndVfjwTxYaLPMgjUZjNtfYqlXeknW?kGu@J@l_Io^W?kBu@J@L_IoVVskEt|j@|^aobWEj|t~j@\_anzWoiitTyi\[mm^VLjctpywlbQpzX?kWuKjF|bAprWsk\uKjE|aionWSkUuJjA\bYpJWwkRuMjDL`yp~X?kPuGJFl`ap^WikMuJJB\eqqXXfkdUYzHDeeqDXjkbUXzGdeeqtXPknURzJddMr@XTkkUXZIteMrXX~l@U[ZLtgErhXxkzU^ZMTfmp^WlkTu`JQLgYsjYGlHuajQ\gysjYKlGuXzL\ec?DYalJue??ti]ss?ClQuf??diK?DY_lRuf_?tiV