CAT(2592,3)

Sparse6:

:~?g__?O?G?C@W?T?K_DoBg@k?}@s?v_[oMGE{Be@p@E?]OMwFSB}@|?|_\ONGF[Bu@~?}_bOQGG{CeAT@J_f?OGH_CIAA@L_`_RwG_DEAI@O_z?SgI[DQAl@V_ioUgJCDeAv@\_mOdoOsG]CJAI`COaWMCFIBb@t_yO[wOWFqB{AA`A?^WNwGICGA@`@__GOgFYBoAF`B?\wNGGaBuAH_|?agJoEEBC@^_p_WGK_EeBI@g_r?XwLgEiB[@k_v_YwYWBQ@l?t_ZOLWEcAy@`?n_XOKWE[FABd@p_yo[wMcNCFRBg`tOyg\KMaFZBk`toyw\kMqFLBd`rowG[KL}E~B``oOxG[SMMFHBb`pOpgWcKUDpAx`\OmWVSJaDvA{`]omwVkJqEPBF`corGXSKmE^BM`eosWYSLAEaBj`g?zGYOMuExB]`mov?[kM[E|Be@motWY[LQEnBU`kOuGYsL]EWBN`d?rgXWKuEMBR`c_tWX?LQFOAS`s_dg\OHUD{AL`^_awW?GqC]BB`G?oWPoKIEIAR`b?cWQOKQDiBd`r_lw[oJYD]BX`l_kWU?LiDcBX`l_lGUWLiDFAd`QOhgTCI]D{AW`K_oGVwH]CuB@`M?owROKIC}Aj`M_iWRoIiDAAm`U?ggS?IuJc?l_ToJGD[Aq@Z?j_UoJGCcAM@D?d_RoHgB{AE@@?`_OOFwDCAi@R?g_TOIWCcAM@D?d_RoHgBc@y?zA~`_OngWKKIEFBC`bOpWV[JuDxBL`forgYCLIEbAP`HocgQSHMCbAU`IOdWQcHYCjA^`MofgSKIID@FcB]Pmgv[ZqLvEyb`ppWwc[MMJFCbbPqGw{[aMNFEbiptgy{\qMzFZbnPwGz{]MNBFabZPlGukZ]LrEwbn@lG{?ZYM}EtbZ`wW{WZaLqFabTpjWtc\oLPFZBTPvOtK\_LZFYBTpj?zKYULNEebQ`tWsw\]LKFUbPPhGs[YGMdEcBiPgoy[[{K~FPBOPgOyCXWMTEVBcpe?x[XkMXFMBLPrOrKWsLtENB]Pb_v[W{LzELB^pb_vsXGMBEOB_Po_qK[KK`FDBGpp?qSWoMLFFBDPaoxCVwMXE?BfPrOn{W[MVFHBCpa?xS[{KHFOBBPsOok\GJxFSA}p]oy[\cKDFYB@pu?oKW?LbErA~Pk_n{WcLTEFBSPa?tKXoKTEKBNPaorkXcJxEZA|pe_nkXWKBEWB@pdooSXMKjESayp\wmsVaJtDxa{@uwnO\uJqF[av`nWmGZ}J_E}au@fwsGUyJYE_bA@dWooXQKIERat`[glOVMJQDsat@\GmOUeJUDrav`XgmGUaJ_DfaH@qWaW[mGgFIaK@rGxoPiMYCXap`nWkgZ}JGE}ap@sWkG[}J?FOav@VGlgTiJWDZar`VWjwUYJOD]a`@vgg_]AIEF^aa`wW{WS]IKFabM@QGhOXuIQE]a_pOGf{P{L`C]BVPG?t{QCMdCbBiPG_y[RkMBFAA[pM_wCVSHlDvA[P\_e{\_H`FXAXPu_eKQiHXCjaQ`tWco\]HGFUb`@IWd?[AHMF@`y@kg]oZMFiEp`}@kGtwNiL[Bz`~O~W^{MyF`Bnak@BWiwOyGWDXaL`NGbgRyGwC|aX`SWegTMHgDQa@`Bw_gPAGGCPaC`DW`WP]GSCUaf@@g`?TAGMDNaU`?g_?Q}GACm`x@Qw]WSuFaDKai?|wigNeIkBwdl?DgA{@a?p?V_JOEWB[@i?t?Z_KoCGAS@E?j?R_IPXglCU]JRDjatPZGlsUu@j?u_YOJgECA}@f?q_Wo`WO{GYCRAG`DORGHsCuA^@P_gOOGGKCIAF@D_aOVgKCD}BB@b_pOXGKkEYBN@h_sOYwLcEiBZ@n_vO[GMSFEBh@t_xo^GNsFuB~A?`?pBwaKPAGdCSaHpDWa{PYGtCXaKPEwbkPqG~C_aNPGgc[QEHpCuaZpKgeKRAHHCeaQp?w_kOQGRCJaDO|G]sNUFtB{`|ozw\sNAF\Bo`vr\`jouEZ?LbenbWhk_u]ZKLheqbYHlOuuZ]LketbZhm?vMZcLtewb\HjWtYYyLVemBTXm_siYQLtexbQxhGsqY[LJedBRXg{sYYPLNEbRSPhCt?YNLBearPHlwsAYALmeubOhf?vQZeKve[b\XfGtMYgKve[BShlGrQZOKuerbLXeOuIXaLbeXbWXdwumX_LieVBZHkoqUZGKeeqbHxgWqUYGKfeabHhcOu}XGLmePbZXc_tQXELQePBSxk?nUVkL]dzbVxhwnUVmLPdzBSHjWnIYwJrema|H\wtaYsJpeka{H\_taYqJmelAzX[_tUVILVdpbTh]OluVeJ^dnA|H\wlmV_J[dlA{X[?mqVCJmdoazX\Wr}X{Jhe]ayhfOmaXwJee\axx_Gm]WEJee@AyH^omeVUK?d~ayhYwliUqJ[dkAuxYoluUgJ^diavhYgmAUkJadoatHYwmQUoJddpauW{s]QNJJDEBqp``Ko_UNJAEBQop_koOUHIvd[QlhU?p}TcK`dWbGHT_oiWWIjdTBAxdOiaTQKgeSahxSWqqXYI`dPBIxRonmT?J|dNa~HaWhqWiI\dLbDHa?hiSqKQdKBCXQ_sqSeLMdHBRX`gg}W]IPeFAcHPgoaS[KHdEB@xPGoQSUKEdDB@XbwgYSOK_dBbGXbGgMWuIDeLA`HO?oiWWIAd?bAxNgouR}KNc~BBhb_fiW{H{eMa]xb?feWmHvc{BDhbGfEReKZcxBEh^?eyVsHod{aZxfOemXwHle\aZHL?naRSJycsa}XKOqqREKjeUaXHJguMQ{L`cmBWhkod}ZIH_eqAWXIot}QoL_enATxm?dUQgLqchb[Xl?c}ZQHLeraRhHccmQTHFEYQQPesc_XjHCcaqPg|k]yN^GzE_QNPgSboYBFsbxp|XfoayPWK~e]aJX_GbUWEGve@ALhF?nyPsK?c[a~xaWaMPIKTeIAHHa?aAWcGaeGaGXBguiO}LkcNBYxdo^]X_FweV`|hBOqaOwKicLbIXm?`]ZaGWexAEXAonuVuGTcIA~G~WrENqKrb|BKg~s^uNxG?b~q?X@?pYWoGIeJaAXb__mW{GLeMaBH?[_IOHGFcAq@hTgkyU]IndVAsHSojqTGI}dQanXQgjMTiIVdYAdhM_lERkJRcyashVGeURMIyd\aXg{wdAQcFhcg`yG|OcIQEFkc_`yxEOdePgHYcXaUxEG^ANcGncW@{XCokmPOJLcRarHDGkaUSGjcTAqXVw`EUAGRd_AChFo_yO]H?cGANw@c?i?V?M_EoBwBk@y?x?[_NOFWP[GuCXAM`GObw{s]UNHIud[QlxJcdyQzH_coqVw|k]}N\Frbyp|HBk`}O|GWcKqDx?[_QODGDcBq@iYPLUegRVhhctiWpKeeORJhbcqiZXJueyQ~hmCniVPLadwRXhlCmyVpH}d}Q`h]cgIRHJicuQ{hLCmyOlGQcLQBh?s_iYHFye_Q?hfc^yNXKqbwRMg}crYYHFAe]PphgCZyUHEidePjhXCYYKlEQbFR?GoSWaWTECeBRTGiStaIlDWenOtgYSKyU@BId]OohVCKYCHKI`CR@gPcoIBpKM`?RDgNcpITx@Ad[ONhWCCY@hJI_[QrgECkY?hKy_GRLg@crH~pKUeGN~f}cox~PJ]dqN{f|cmH~@JY^qQsfzclX|XJ]dqNlfuCmH|@JQ^QQuftClYZW{ieyNKhmBqxwxKY]QRGfcCpxw`LeesNEfacuIYO{EegNBhhboiXWzm\yRHf]CqiT?}UdSNfhSbxiQxIucoQjhJCjIL`HAb[QQguccYIPIIdGPRhPcSYHXIUaYQfgeChiJHCaamPIgkCQYJPCUawPFglcPiFHGm`uQIg\CbIEpHM`oQTgZcdIAhB}aAOVg_CDiGP@I_gPCg`cCyR`?Yc{OGhMc@y?@Bu_CO}g?cNIPG~AcMNnfvCaH{`Ea^CPfgrBwxzxFe^?Pyg{BwXz`FYbmN]fmc\YMW|ibgNZgxBuYDOzU`UMvgUBlhuPAu\gOnfXcJhvOzA\aMwf[bjyPgyqc]MmhFBjXvoye]?Mjf^bihspA]\OOhfRcIH}gyM^kMdfyBhHs@AQ\COefOcHY@Gxu_UM^gDBfhrW|][wNWfjBehqw~E^eMXfKB{hq`Du[kP^fIcVhqG|Q[eNTfhbchq?|I[[NPfgBbxph@q[UO\fECExp?{y[SNNfCbrXoh@a[KOYfBcEYHowIa]MBggB`HmoveZuLwe|B\xnov}ZyM?e}B_W@K?a?N?C_BO@YvGVEJ`Dn_VOJwECCaAL@F_coQwHSEEBF@a_soXwLCEyBZ@naiPTgikT]IrDWaTPJGd[NuF~B}hAS`iOlGEcFQAg{S]YNTFUbnPugdSQIHLCQaFPAfHRcxqKwm[ZMKjyDzq|d]wnbVlJwTxa|T]_nRVfJttvQ}\^Km~VrJnTwqzl]Sm|VcJntvA}T\kndVYJxTvA{L]GmtVZJoTmQ|d]wlvVlJ\TmQ{tZknPUyJrtla{\Z_nJUvJqTla{D]GlpUvJotjQ|LY{nVUmJtTzqtTYonbUjJwTnAs|ZwlRU|JSTgqv|[ClDU`J_Toar\[OkzVBJMTeQytXgmjUWJiTtqp|\_kbVXJGT_AxDWGmTU@Jct]ax\[sjxVKI|t\AwlVWmNTtJbTnAmLZwjfU|IxTZqxDV?mRTmJdTYqx\[sjZVKIuTYaxtUcm`VNIsTVqydUCmlT_JitsqiL\Ci`VQIhTpQhl[Wi^TMJbttqgL\ciFVWI`Traf\Rsm`VNI]TMAu\RglhSxJYtLQulR[lfSuJYTKauDROldSrJWtkAd|ZGhbUpIWTAAyLOgmfSHJhToa\l[Of\VBHvtoQ\dMgm@RjJ^syY[|MafLRdhqSwY[\MIe|R_hntNartY?i@S~JNtXQjdTwjNTeImtWaddUOh\TbIUtSqdLTShVTSITThActQ_lLSfJQtGAjLQGivS`IlTdQblX[g~UUINTcabTPokhURILtDqpLWkgrUIIKTDAo\PWkJSTJATCQnlV{gfSQI~T\q`tVcg`TwIFtAqc\OshJSKIQT?a_lO[gHSEI@s~qgdOCiLS?Ias~AitNwipR|Ijt`a^LNkkPUFH|Tba]|WsfpUKHzTQA]lScfhRrIbs{AhTNGiXRpIdujau|ZYlpAy`[omGXCKeENBI`eOqwISDQAf@T_joTgPkGqCVAO`FobgQ{HeCpAY`LofHU[jUThIedQqhHQ[hIShGMcGQBy`dOugVSCi@t?i]\NUfhRphwS{j[\mIvBZ_lnuvjZ\lquzZXllUuJYplAumZPlierzXplMugZKleesjXHmEuUZaldEwzWplyv?ZGlnepzWXjut}ZDl^EpJWHjmuCYyl_EnJUxlqtqZ\l[EuzU`latkZYlYeuZY@jIteZPlfekZXpjIteZKleekZTpjut}Ynl^EkJTpjit_Y{lVemzAPlIugWSkHeszFpiqpyYjk]EjZTXaup]YllUEJjT@aitSWklSeIzT@a]tSWglSeIZYh`UumWVljEDj?XkeoIZJkAEqjW`_AuIWAl`e?Y~hkYn}ZGj~Epy~PkAnuZ@j}EojUx^]nqYwj{EmZU`^QtkVulYd|ZJhhYq}YWknEdzJXgus]XYkmEbjOPdeqmYBl?eUJI`heqiYYkjEezOxdEqcYHlCESzNpcyq_Y?k~eRzPPcusWXKlDeQzH@gQqSYEkce`ZGhh}qMY`kbEgJL`cIr[XCkueOzFxfaq?Xyk_e]ZQ@bescWzk\EcZSPbYtGWwlPeLzEXiUpiYfkYEhjE@hMpcYTkWedJC`fmryWek}EHZCHe}raWbkPE[JMh`yrmW_kzEFzMP`mrgW\kxeFJB@hqosY]kKefZ@xeUoaXbkGEXJKP_qo[X`koEBZLX_irQWJktEAZKp_arOWFkre@g?c?Y?J?F_CoAJTDiitRYjlUujGAS@A?b?R_IODWEKBM@d@__noVgKsEQBJ@k_toYgNCFYBn@y_|o]W`kOyGXCsaXpLW_COIGBCFaCP@g]KNMFdBv`{o}H{s}U^NPPghsSiHlCmaXNnfwRzjuXz}|g^@nYfoJupyQ|K]wnQflzv`yE|{]bn]fgjrpze|u]_nNfmju@xA{a]qnFfkZpxyi{_]knGfizphy}|[]MnEFjZsxwq|Q]MnSFbZo`xq{I]\nLf_zoPxa{s]@n?FeZqhwI{k]@n?FdzqPwM{I]SnAFczvxvyz}^@m}foJnPzYzw]wm|flzvpv]zq]{n]f]Jm`ze|u\umyfmjlpwez_]JmvfajpXuu{Q\knDFYzp@ui{M\gnBFYZkhwa{M\fnBFXjdxxyxa]_mWFfzsXqm|A[imSfgjspqMxI]cnQfHJuXpQwk]tnYFDZqPoU{g[FnHf@j_PxYwG]Vm@fdZtPn}wA]km?Fiz^`yuv{]nl}fjj^Hxa{sZzl|FeZ]pxmvo]\lzffJu@nMvi]qnWe|JsxnA|QZqnSE{Zf@tYyo[xm\FTzhpvEyY\qmff[zjpsqyw\JmmfQjgxuIzE\GmqFQZg`t}yK\`mafWJjHsEyE\Zm`FUji@ryya[~mhFOJfXtMxy\Tm]FTJcpqAxA[gmPFHzdhpuxW[^mVFFjexpmww[tmLFLjb@rMwq[smJfKj\hoav][IlvFAZ\PomvW[LltfBJaHmavM[RmHEyZ`pmUw_ZemFexGCSAQ@F?f_QoHgCCAE?~?i_SOIW|K]aNNHZckqUg|S]qNVFobxP{W}s^aNnFxb|p}g~c^uN|F~c?Q?[KyFNBQ`tosG\KKaFBBK`qoqg[[LaEJBE`iotgW[LiD~B?`novGVkKaC~BK`PoqgSKHaE^A[`hoegYKJqCfB?`JodGV{KQCbBE`FoogPkIq@nAm_XoigEkAqDn?o`[oJgV[@iDJ?]`SoFGS{@QDf?U`YokGBK?yEj?Q`koCGY{Li?RB]_EovG@[?IFN?E`to@G\J~qFF??`qn~g[KJ@{nAq^LolFrJxIDQ}S`RncGSkJX{U}K`\nbgVKIp{RAm^BoifokDYB^@Y_xoUGMKDQBZ@Q_soYgIKDqAV@__foVgHkCQBF@G_roPgKkBx~m~y_`oOF~J~A@r?{^yn{gFZ}i@A~m_QnzGCZ}Y@V?e^snxGDJ|@}U~M^bnqFxj|H}A~U^antFwZzh}q}}^mnnFzZz`~E~_^ZnvfukG@|^AC^Xo_fuJyaBi}k_{nigMzyIBv@}^RnhGNkGX{zAI^OoaFrwAC@E?d?S_HoDWOSGQCF?w_[oLwGCCEAD@B_aoPJLLemrTXekruYJK\eUrHX_kpUW[^iMvF}bjp~GzK^QMnFwblp|gzK\AN^FSbxpsg}K\QNVFObspsg|kOYMNCGbapqG_kSaN~DIb|pPg~kSQNrFsa`p|ggKRyNfCybwpNG|{RaNRCsbtpLg|k[aGvCWbbppGa{[iGbFMaIprGa[[qG^FIaEprg`[]YF~Faa?p?g{kNaMzF_`}pvg^[]AFfF]`yo|gzkMyNJBobpozG{{ZaLNE{bTpmgtKZYLJEsbOpkgs[YqKvE]bWpfGt{ZyKjFAbKpoGq{VAI~Dsapp[gkKUiIrD[avpUglkUQIfDgajpXgikVYIZDyagp]Gh{QyKRCqbEpKGp[WyHREQaUpcGd[QIJzCeb?pHGn{PqKFEEaOpFgokjO?i?X?J_EoBw@slQUlJTdjquXZDmuv^ZmltUzJ\\m]vPZhlqUxj[mUdJFdjQqxYckeULJLdgQqxXCk}U@J^daQwxWSmEU@JXdaQuxWSluT`HrdVQ\xUSfURXIrdWQ[XTse}RLIjcsQjXTCemTPH`cpQjXKcimUdGpdjQLXYcbMPTJLdgQJxDck}PHJ^cSQwxCsmEUpG^cPQvXCClmTtGRd^QDxVc`UOXIvcGQmX@sjUTtGFcDQnxVc_eO@IvcAQmX?SjUS`GXdIQFXQS`mR|HZd@QVxOCduRpHTc}QUXNSd]Q\IJdFQSxICguSHHHdBQQxHcgeSlHBdLQPxRCcUPxI\c_QgXFsh}PlIbdRQMxScbc?a?R?F_AO@g?mTZIhdTqjxU[jE[@LnfAR[xoSvE[@LheuR`XlSwM[LLbfDRXxpCuUYHMFecRaxgsweVlLzd|R^x^CvuVdLvdwR\X]cveVTLtdvR]X\cv]ZtJddsR^x[svuYDL`e_RVXfst}YtK|ekRMXisrmXdLPeiRLxectMXXLJeWRRxdssuVxKTe?REX^sp]W\KfeHRIxdCpEWPK`eERHX`SqMWDKZeBRFx_cpu[XNTfkRcXps|]\lM|f\RoXvCz}]DMpfbRlXwczM]PMjfVRrXtc{m]\MffQRsXySye]xMbfnRgXzSx}[tNbfKRwXrc}U^LMRfJRyx|CxU_HOVgLSAY?t@e^|NlfwS?x|t?E_TNxgFR~Y@c~m^dOPfzSDX}d@M_w?AgVsK_?dAE``O]?B_@ICTAc?LOegU_?iCdAn