CAT(2352,5)

Sparse6:

:~?co_?O?G?C?k?I?E_B_AG@O?e?g?M?GOC_A[?{?b?Y?KOEWA{@]?r?W_LOFgB{@m?z?[_S_HwC{AY@P?e_SOIWDkAi@\?j_UOQ_ESA}@`?p_YOKwHGB}AG@?___PWH?ByAE@F_`?PgFwCiA?@J___RGGOCyAE@N_e_NgHgBu@y@J_e?MwHwBm@w@I_f?NGFOCe@o@E_Z?PGGgBU@q@F_Z_QGE{Bi@j?w_[oLgLkEaBV@i_uOYWL[EeBZ@i_sOZGJSDaAl@V_loUWKkE]BD@b_rOXGJsDqAz@^_ooWGIKDAAd@R_iOTWR?HUCdAR`IOdwQsFqBv@|_~o]gNsGyCZAN`GOcWPcG]CPAH`DOawOsGACDAB`Ao`GOKFaBj@x_zo\GMsE{Cd@m@Jo[?Q[FGCh@p@Io[oQsM{@D?b_OoGGCkAQ@R?i_ToJGDsAuAD?}__oNwG[CA@v?|_]OLgFKBi@j?v_[PB?`SOmGVCJaDPAg_kO]GPCHaAP@g_cOUGPCFaBPAW^[N}FxB|`~P?G_OMyFUCBa?_zG\OOEFYCB`s`?g_?MMFwBc`~?xW[oN}FyBg`r_}w]gMMFOBy`z?xG[oN]FMBw`{_xW\ON]FUBw`s_|g\_NiFiBm`u_}WX?KMEKBI`e?pGWwKeECBL`a_qwX?KyEQBN`g?qgYGKmEeBL`h?rGYgKyE_BU`i?rwYOL]EaBW`h_uWZwLUEuBS`n?twZgLYEwBX`k?ug]_MAFeB_`o_zw]GMIFCBo`x?wW\wLiEuBo`w_vG]OLuFeB^`n?|GV_KIDyBB`^?pGWgKEEMB?`b?nwTOIADUAb`N_jGTwIIDAAm`N?jWS_JeDIAv`R?lgSwJaDuAh`\?iGU?HaDaA\`L?kgR_JMCqAt`L_lGpO@i?v?^_NOFWBcKMELBA`aOpwWkKyE`BN`hosWYSMAFDB``lOvGZ[L}EzB]_ROIGC{IAC|Aa`OogwR{JeDlAv`[OmwVSJADbAq`XolWUcIiDVAm`UOjwTkIQDJAg`ROiWS{HaCrAZ`MofGRSZOM@EtB_po_usZcMJEwB`plowcYwMLEoBcpjow{ZCMPErBdpk_xSYsL|EkB\PmotCZoLRE~BTpnOtSYILFE^bQPgWsCXYKpEVbLPewrKXYKnEWbKpegr[XAKbESbHPdWq[YCKLEcBCPg_ocYKKJEHBOP`or{XsJ~E?BMP_OrcXwJ|EBBNP__rkVwKTEJA~p__pkW?K^EKB@p_OpsWSKTEJBBPb?o{WsKRECBFpb_pC[WHxC}BcPO?x[SCMTC~BcppofkVSJvDvA{p]?mSVgJfD|AyP\_ncVCJzDkA{P[?n[VcJ^DmA}PZOnSY[JNDjBRPhOlCYSJREfArPY_ssSGLhDEBZPOoukZ_IHExAbplogkYwIPDHBVpQ_uCSkLbDKBXPROu[SwM@FDAgPRowK[GIdFBAgpp?i[TSLzEzAkpT_vST[LxDWB^pT?vsTgLPDZBSpV?t[YoIzD^BTPjOjsRaHvCxaZPMge{RUHbCoaXPKwecX?GpEPAKpEoqcPoKjC\BHpc_bSQkHHCkAQpJOcsQwHNChATPI?d{PwGjCSAOPCocKP[HDCUAPpC_b{U?G\DbAGpWOaCUGG^CLAqpB?kcew?n?X_KOcwQSHQCjAV`JO]wNSFyBx@~_}obgPcGuC^AO`Go`gO{GaCRAJ`DO`GOCGECDAD`@o\wNKFQBj@w_zPBG`kO}G`CPaFQfPQ_haSiINdJAcHQwhESeIYdKachNggMS?ICc~a`xNogUSOIAd?a`hPofmSQHwdDA\xPWfeSWHydEa^HMghqSuHpcxAexMohqRgI[cxaexQg_yO]IUcGAdxAGhaOeIYcHAeXM_eQRCHpcxaXXKwfYRiHbcxAXhNobyR}G~c_A_hO?cERyHBd?aOhOWbaPyIEc]A`xFWgaSIGydAAMXEOf]PeHwcYA]hEgfmPmH{cZA]XPOaqSUGldEAJhPGa}PaIMcWAbXCog}PMIPcSAchQWaeSgGjcTAcH@c_uORGGcDQAx?{_MODGCcBQ@WzgeyMoHmblA[GzGfAMuHnbmAZxL_\QROFQcs`sxLg\YRSFTct`txL?[qM_HkbgaYwxgeeM[HlbfaYhH_cQQOHLccaQhHwcUQMHJcbARhCOdeQkG_cjaGXJ?aMPIHZclAHHBOdqOyH`cmaFhBWdyQ}G^cMAWHA_dAQcGUcgaDXIW`]QiGXciAEG~g^]N{Fwb{a?G}o_ENuF~b|@~G}G]mN_Fibx@zG}W]uN]Ftbv@|G{_\yNKF^br`wG{g]INEFhbs@wWAk@Q?lKfD}rHp^sqcW@KhD~r?`dCoCXPJvEOrG`^CqKVrKcD|RH`^cqSVvKZDwrF@]SpsVfK]DyQ|`cCp{VjJjEIqz@aspgV`KVDvRE@\{msWrJbDrqw`\KmOVLJ`DsQw@\SmSU~JLDbqr`XCk{URJIDgQr@YSkkUbJDDhqp@YckCUpJTD`Qt`Wsl[UFJ?DmQuPV[j{UzJYD]QnPZslkT|ItDVqm`U[jWT`IvDWql@VKj_TdKKDTqiP`KigWTIkEDrB`TsosTZKBDPr@pS{oWTPKCDQRA@SsoSTJKNDMqf`aCh{WbI_EIQg`aSiCWf?J_EOBXmWsIYGLqeab[hgwvQYKLse`b[xdSqmXZKkeVrJhkouAZML`esBWhlGuMZILjeqBYhjOuqYuLlenBZhlwtqZaL\ewBVxhorAY]KpegBKhiGrMYcKsehbLXfgsaX}LKe_bRXf_seYSL?e^BQxf?teYgKue\bUHigr]XqLVe\BThsOMyFVBi`uOzW\KBA@h?r_VoKWEScQQJHEcbqQXHCyG\\MbFVrh@uCzC\JMfFXrh`uSyW\RMiFQrhpt[ys\FMkFPRi@sczC\BMqFORfptsy?\^MrFNrgPuCwW\VMgF?riPoSyg[FMDFUrj@ocvmZxL|e~r_HnsvUZtLve{R\hnKxK[ZMSFFRdPp{xG[pMOFJrcPqsxo[NMGFKraPrSxk[TM]FERfPp[}[?d?M_GoBwA[@AJvDwa}p]WnSVqK@EAb@p^wnsWE@J?__POGWC[AQAH@D_bOPwHKCaB\@p_xO[GM[E}G|C^aPPGGc[QEVJJedrqyH\Sme_yONgDsCI@t?q_ZNtGHr{qAK~O_dOSFzSDP~D@W^nNtF|R|p~[~W^xNwF{r{p~s~O^zNlGArza?s~?_NOIFxRzq@D?c^bN~Fus?@|t?C^^OAFwS@@}T?K^bNffsRyx|S}q^ROUFrRxAAK}S_dNeGHsDP{d@O^JN]GArvq?s}?_NN`GCSA`{\?c^DNWF{ruP~S|g^vNZF}Rv@~k|s^|NQfhrtxys|Q]jN~FbRpq?C{__BNHG@Rqq?c{g_FNgF_Ry`wK}o]JNjF`RyPw[{O^NM|GErnqAD?k\tOKF\rna@szo_^NKF[Rl@xkzS]\MuFfrmPyKz[]`?D_CoAG?{?i?LHgcsqYxLSeuRXBG`coqgXcKmEZBT`kOuWYcL]ElBb`qOxw\CMUFLHMcfqQhH[cqQZFobxP{W}[^UNhF_bnPvw{S]MNBNKffRrXx{|E]`QZhNSfIRlIAc~QThJseIQtHicrPvH@s]AOtFccHPyHBs^APDGSbvPvG}s]ANtFccBP{G~s_aN\Fgc@Pqgxs\IMlFYbbOVHOsFASTIO_rQdGKShaBTIK_vQHGtsZqP\EwcXPkHDSbaMDGsbZQRGtSXQQLEWcdQOGrsdALLG{bPPcHHsbqJ|H?b@PaHISWqQLECcdPXHCsbaJdDgcXPZHDsbQJtDscTQBGesRaPDGOa^QDGgS`qITGWabP|Gbs^aHDF{aRQ?GdSRAOLCkcDPDGxSOQMdCGbjPBGwsPaMtCObfOzHOsOASTIK`zQcG^shaFdIS`|OnHIsKQQ|B?clQWGXSeaEdHc`fOkHMSJQSDAwc|OjHNsfQDLAgcvPWGRsSqDDAKahOcGisTqClDW`LOtGMsFqEtAG`tOvGNSGQFDA?`rS^BAP`WpCWeKNEEaHPCwacPUGnCUaKPEwbKPuGxCYdnqwx[CmEVHJagJsEIBL@i_xOZgkSTIIlDMalPVgMsFiB|AI`BO_iZdOyfPS]hoTCi[dPYh@RqhuTEi]dEYb`SAh{SYiNDNygPPmgyT@iHdLya`RigiSwiJDMYb@RmgmS{iHdEYa`PigwSWiMdDybpPUgkSZiTdBYaHQugcSoiUDBidpPAh]SNiBdFy`HQAgSS`iEDGi`@QMgUSci?dKYeXOIhgSBiYd@IepOUgKSqh|dIi^`QUfySeiRc~id@OAhQR~hys}I^LNYftRvhvdKY]@RIfaSrhxDLI]`RYfeSthsdIy\PQqfUSlhuDJi\pRAfYSniNcwy\@QQh?RchqdGy[pQIfMS`hmdIiZpQUhQR`hndHicxMIhOR_hjsvIZDLmerRYi`cqyh@KyiGRKiacrYY@SYe]TFi]cnyfpKAh}RAi_CoYgHKMeGTAhacsYXHLYeKRQhbcsyXPLUeORSh[cjYVPJAduQphXCniTpJqd]Q|hXciYTPJ]dOQshRclYT`JadUQuiITCyatPagnSTbqPxW{s]eNPFfbtPzG|[]}NZFmhUsjiUTJAdbQnhSsiiT\I]dXQgj]tnyv\ZylxV?jedWYxpUIjEVQjgdXiy@UQm]TdjbdlYup[elsVIjZdqIvH[mmWUwj_djywXZMmCUojaDlIwpZEmIUqjPthIslYalLUfj_daywhXAmCUKj`dbYw`W}k[VEjAdpyop[akMVHjCDqipP[qkQVJj@t^yoDWEkHUAi}DnivXVml}T}i}doInHZqjsU|jhdXyy`UajQVTjkDZIyxUijUVUjhdUyy`TqiyVUinDtyz@UAi}VTjedTYxpTYm]TVjgDUIyPTimaTXjJdfYsPXekwU]jLdfysHXil?UWjGdiYqPYilUURjUDdIqpYykiUliudRylpTIieTniiD[Ii@VIjaTPicd[ymhSqjgTIidd\yn@SyjkTLkRdvzD@]AnGWjjpeIjD`]EnCWhkOeBZ@PaIoUWbkQEBJ@paYpIWHkAEBz?h`QoMWRk@eCJ?p`EocWGkXd~ZE`^ypiV~kZE?JF@_IpmW@kUd|y~@aypaV{kVd}Y~PbIp_VzkIdyy|h`eokVkkLD{I|x`]n[WWkLdxZB`]YoyVfkNDyJC@]io}VhjwdvYzX^IneV]jlD|izH^QmwVtkgeVZIpeIq{XTkhEVzI`eAqeX`kdeTzH`daqYXXkfEUjI@dmqwXNkrEPzH@eQrMXIkbEYJGheMqQXdk^eMZF`cMpsX?k^EPJFhcEpuXAkse]ZMxeurSXtkte\jL`firoXmkve]zN`fArgX~kwe^ZMPgAreX}lBe_ZP@gIsQYBlDE`JP`gYsUYDfNrgHsK@I?\?R_GoCG@{v}ZvL{e~R_Hnl@]_rOYgLsFIBDX]kpUXjLtfIrTjOtOYalSegzTPiQtUYflUehjT`iUsyYglSefJTPiAs{YklOejZRximstYUlJueJR\hestYUlJueJRLhmsyYRlHefjQ`iEsiY_lIefJQ`h}tCYLlPebjPxiUtGYOlHEhzSphEuu?D_BO@w@K?i?PSYiKtEybdPygzNefqRxXy[|Q]dNTfjrtj?\_QoJWEkCU@yz\\emtV[jnTvZ^LnYvnZyl|u}J]hm}vWZqltE{J\hnEv[Zrlte|J\Pm]v]ZhluExz\hmavUZhlvEyJ[HnAvCZplqE{j[hnMviZelpe|JZ\lquzZ^loUvjZ\lyuxZ\loUvzZ@jEusYqlkEkJTpliuqYnlXeuZ[PlIvEZRliewZY`mYumZcljExZU`nmtiZvlzElj^@jevqYwlZe}jXhk]uQZKldEsZXXkyu_ZGlfepjWHjiu?Yzl`EnJVpkUt}ZCl`enZhhlautZXg\sNIFlBya@O~i{t]in\VyjxT|lWukjUDiytfYnl`UozWDkEuJZClbUpzXDkeuVZImsFWjkXuezG\imqfYzkxuuzK\kmqFVJkhtuy{\ampfVzkxuEzK\_mfVRzhlsuy^\MmoFQzgxtyyw\HmcFWZjxsqyy\Im`FPJgpsAyE\DmaFNjgpsEyI[~mbfOJfpsqyU\@mcFNzgXsiyC\HmlFMzf@tYxq\VmkFMjjHruyu[{mifLji@rMxm\PmhFKji`rUye[smUfTZd`tAx[\PmVfSjeHtMx_\SmRFTjcxt]yo[gmkfIZjXqmys[imsFGJcHuexC\imPfYzchuuxG\kmFE~Z_@o}weZ}mGE~J_HpIwaZ~mLFAZ``pqwy[GmEfEz`Xp}w{[Im@FDZapoMwo[CmKf@ZaxoYwM[SnafPJgtsUyR\FmcVQjhdsmd~R?h`SoYWdKMnlVtjwt{i}\^QvxZ|l~U~z_LoAwp[TmJVDzbLpQwt[ZmMVFzbtpu~A^enoFyz|P}I~M^bnsFxZ|H}Q}R^IncVqzxd{u}J^FnbVpZw|{Yz_^AmvFojlx{Mze^CmwfozmP{Q|w^Sn]ftZvp|]|}^Un_fuZw@|a}c]vnfFmjvX|E|o^NnhfljvH|A|_^NnhflJyHzM|i^OnhFkjuH{y|I^XnjFhJsp|]|M^SnSftZt@|a}w]SnnfczqP|i{i^ZnmfdzzpxY~?]KnofbZ{Pwy{]^bnGfxZq@}Q{K^enrfaJ|@we~Q]Jntfajox}i{G^]n?FujoH|m}w]AnAfvzzhwM}O\{ncf^Znx{q}S\}m|frZnP{m|S]WnTfeZrPyq{u]lnMfjzr`yy{{\snNf\Zs@vY|A\vm{fgzsPvbAQ^lObVzcGt}|AN`FNwvzCHD~@AP_sN~WLR~}?H@r_uO?WLs?]?D@p_yOMWMsBmAD@z__O^WFcF}@|@x`AOKWOsBMCP?t`?OJWPSB]CD?n_aOGWGsAMAP?d_ROQwDSC}@P@L_IOSWIc@uAd?V_lOEwIs@}Ap?X_GOWwJc?eA|?J_oOBWASE]BH?N^qN|V~R}|~K~r^sN|v|R~d~W~p`lOrwZCL}ExBP`jOww[cLMF@BT``OlwWCKmEHAx`bOmwXcJuEPA~`YOgWTSH}DXAb`VOhWUSIeD`Af`uOfW[sHMChBh`JOyw]CHmF\AX`xPDwbCNuGtBtaOO}wbsN]GxBxaBPBW`SN}G\C@a@PCW`CPUGHCRaVPGwecQmHlClaWPHWfCQ]HdCh^BnaVojULiyt^YolXukkSYI^DGagpQgi[SiIZDEajpQGikSqHvDMa]pSGf{TIIBDCajpTGg[HEC^AL\Am^VNzgDsMyB^unxv{j}d~]~jb@p`Wo{WeKZEJawP]WmSVmJhD|awP\wmcWEJdD~b@PUWjSWUKLD\bCPVwpSUMJ@ELazPXWnCU]J|Dla|PYWncUmK@Dn\{m|V]znlvyz~bXPnwxCZULlF@b[Ppwvc[MLtFDbRPoWtC[ML|EjbUPpWxCZEL\FFbOPdWpsXmLHEVbMPcWsSXeK|ER?C_AO@J~\~a~x^xn}v}kXeK^ETbGpdwq[_IN^GCbwq@g}[]yORG?bxqAg}K^QMVFubep}Gx{^iMbF}bip~Gy[^YNFFsbqp}g{{^aNRF{bup~g|[_iMzFUcCpvh?[_AMrGCblpwH?{`aPbGYcXqFHEkbYO~Gac\qGHFK_qPJGMcRqCHDK`IPVGUcVqDHDg?IPxHH?AQNhH[co?HH@cf?@hGW?IQdHFcg?@hGn