CAT(2304,5)

Sparse6:

:~?c?_?O?G?C?S?H?C_AODO@O?e?U?M_E?BW@w@A?e?S_G_CgCG@q?v?Z_MoFWBcAg@J?`_ROGwCcAI?~?]_NOFwCCAA@f?s_XOKWEkBA?N?F_BO@W?k?YAI@C_aOPGHoCeAT@L_cOQwHcD?Ab@M?hoRoISDgAh@U_ioUGI{DaAn@X_koUgJ[DmAx@[_lOPWGkCYAN@F_bOSWH{DIAf@O_fOZwMSFMB`@s_wo\GMKE}Bd@o_xoYgLsEqBR@j_uoZGLsEeBT@l_toWgJkDyB@@^_ooXgK[EaBJ@c_roOwG[CM@~?|_^OOWGCBqDO?{_]oNgF{CEA@?x_ZOMwFCB]@tAv?`OOgGSJsAR@I_doRGHkCaB@@\_nOVwKSEEEDB@`^OnWV{KADVAk`SOiWTkIiCxA``MofgR{IAC|A``OOfGR{HuDsA|`]?oWVWJyDwBA`\?oGVWJ}DGAm`V_ggSgJEDMAq`R?kwU?IMDQAx`S?lwTgJaDSAw`U?mWTWJ]DaAs`Y?jgTwJYD_Au`X?lWUWJUBiBB_{?pGWgF]EK@y`c?\gNGK]BwBC`a_^WWoF}C?BB_|_qGWwFyCfAT`IOdgRCH]C[Ab`Q?bwQ?IIDIAL`R?cWSwHICNAJ`EOaGPKGiCqA@`K__gOWHiCuAE`A_ewO_HiHE?k_VOJwD[Au@TCn?WOKgEKBM@j?sab_ggScIYDJAf`PolGUsJUChAU`JocwRCHUCDAB`Ao_WOcGYCNAG`CoagPcGmIkD[aj`VWj?TyJ?DYan`UwkGTeINDGadPQwhcSeIADRai@PWgOTAIiDBab@Sgg_TEI[Czae`NWfoSuH}DMaf`NGg?S}HiDFaZ@RGhOR]HoDGad`MghGReGyCgaM`HGbwQUG{CbaN`HwboQYHQCfaU@GwdgQQHOCjaV@HWdOQYHeCxaZ@JwewRAHoCpaY@MgegRIH]Cza^`KgeWRqHgD?aW@NWfoREHQD@a``JgdWSIHSDEaU`PGd_SUH?CLaD`GWc?OqHCCOaP@BgcGO}FrB{`|O}w^sNuG@B~a@P?W_cOMFMD[`s@WW\GTuFUD]an_zGk?MiFiDZ`y@Tw]WTYIsBw`z@UWj?N]IiBH`f@Swi_KqESDO`e`SWXWTIGmCPaH@EGaWPeGgC[aJ@EwagPiE_B]`l_sWZ_LQEcB\`h_wGZwK}FaBY`i_zW]OLaEmBo`v?uWYoM}GQBd`o`@W[oOiFCCEaC?ww_wMQ?|?__Npw?CsAE@H?d_POGw}OAe@N?f_SOIGDKA]@R?gaMpFwbsQAHBCaaSpIwdSQyHZCk`kotwZSLUEpBU`lovGZkLyE~B_aHPCWasPMGhCTaAp@g_{OaGTCH`foswYCLEEhBQcBaBXAG_mOOGMcHABH@w_iO_GHcAQ@X?K_YODGBb{aGw~GaINsG_cN`}G~OaQPAFwbxAEXB_^YOsFrcL`|HBo^]OyFtc@@zX?g^AOGFkbva?W|o_MOKFpb|`xg~W]]NwFgb}`yw~g]iNwFhbo@yw|O]ENKFabp`xw{g]aNGFhbw`wG|o]EN_Fabp`zW|w]UNGFkb?AAgoG_eKCGFb@aBH@?WUKGGJbiPtgyk\]MrFWbfAFwxwaAM_G`bgaGgyWaQMcGbbn@qWxg\uMyFGbn`qwzw[qM{FIb]PnWvsZ}MBF?bWACwuG`QOmEtbXADgu_`aOiErb~@igt_^yLYF~bVa?Gto_AN}EjcH`fhA_YAOiE^bOaDgsW`aLCGVbBABWow_yO]EGcG@aWpW`IOaEIbK@{grG^MKsFsbM`|wrW^UKwFubIPcgqkXMKnEUbGPbWpcWyKbENavaEXBOVAOuDpcM@[glo`yOyDrbm@XwzOUMMsDabm@XgzWUQMuDdb`@lguw[MLsFFb[@pGwgZmLqFEa|@\GmgVuJkD{az`]wnGV}JoD}bQ@YGswUeJSEgat`iWlgYUJWEe_LoFGBk\yMzF^_joUWJCiCT|I\D^Qf`V{k?TDI~DNqo@SCfKUBHsD_qo`MsfSUDJBC{QopM{dQQdHRcfqSXICcqQZHHcdQRhH[agTzGhD]qHPV[aWTvGfD]QI@VciKT^IdDWQh@UKiWTdIsDSQhpU[hkSdISDKQcpRKh[SbITDLQd`RcicR~IiD?Qj@OcikSBImD@qjPOSjSRrIuC|QlpNcfsTpIyC|q^`VKe[SVHgDEQYPPkeoS\HjDFqY`QCdgRLHTCoqT`KSd[RFHXCqqU@KcbsQFG}CaQNpGkc_Q@HFC`QP`GKd{PrGzCmqLpJ[doPpH]C\QN@KCbCSJGqDBQKpO{g_PhIICZQaPEkakRZHmCUqZpDsf?P^HqCUQK@MK@e?p?YeNAyHbomeVUK_eOAyh\gp}VWK^eEBEH`opeWYKYeGbFX`wpqW_KZe?a~H_On}VsK?e@a}x_gnuWGJ}dpAzh[Wm}VGJodqa{X[wnIVKJreBAvH_wluWQJ]eCAvx[GomV?KIdlasXYwlAUsJQdiauHZGlMUkJSddA|X]okqUUJsdzarX^GkyVoJNdcBDhW_pIWmJHdabCxWopUUMKS_JODwAktGY@LCEgrSPf{sKYfLRE`RS`gKqEXDKdeRRHHc[q[YVLNEURS@d[q_YXLMESrI`hks[XfLDEYRM@hCsWXjLIEZRQPe{r?XxKlE[rJ`fSq{XvKpE^RK`fkvS@l?x_ZoMGF[BiHvC{a^PNWf{SASdISdHqdhQkhE[IL}e~b_Xn_wMZyMCfBB_HnWwI[ILseyB`HmOwEZcMAfBB[xmWwMZuLte~B\hn_v]ZyLwe~b]XnOwAZKLterb\hl?v]ZQLwe|BYxlOveYtLZemRVxjstuYhLTejRUXjCt]Z?LkeobZXkOuyZ]Lbeqb[Xk_vA@^?i_VOIwDcAu\s?R_FoCgAC@Q?bFebspyw|C]]NTAy`\onGOCFmB~@{_}o^gQCG}CbAQ`FObWtSYyLVElbVpjGlCUeJVDkaupYhYsl]UpJXdlquh|g|m]|N^foRvHzk|S]^NVFgrspzC|O]rNYFgRs`ys{c]jNIFjRqpy{{o]pNMFkrrPzS{_]ZNIFbRppxc{w]LNGFcrppx[{?^BN@FpRwpwk{G^HNBFrRp@{kzi\vM}f^rnXvcz[^JN`FZrw`vC}K\rNcF[rm@{szG]@MrFaRl@wSzS]JMuF_rkPw[ws\vMQF^rnPpszw[^MOF\Rn@qKzC\VMqFURkptkzW\\MtFWRl@t{yU\LMifRriHtK{{[rNOFLRepySxo]hNRFNRfPyKxK]vMSFmRvPqk|w[nN^FKRw@qsx{[XMFFOraPsSw_\@MIFQRaps[?e?X?M_DoBW@SRUHpCuaZpMgfKSMIHD@aapPggSCaAX@J_coRWHSEYBF@d_qOYGK{hqSnIWdKqehR[dmQ|H[coQVxJkauPXGmcTqJxECx}\FM`fPRhHsDEmb^Pkgus[ILtDcbJPYGrSUqK|DobPP]GtSVQLLDMalPSgkSTyIlC{bJPMGrsSALTDCbPPeGhSRQLLCIaFPCgasPiGLFC^NNiGxryqMc}_bjNkGzRyQMTBkaNO}GcsOAHdB{aTPJG]sNAHDBSbHOuGnsLqKDEC`pPbG\SWaFLCo`hOnGbsKAHDBKaRPJGWsKaHTCs`FOcGhSRaClDC`PPOGRsRqCtACbHO\GnsFaKDEG`DO^GpsWQCDEw_xOVGvsZABD@kbVPoGKsZQBT@WaDPCGGsOqATCS_fOSG_sDQGt?kbbPqGGSBAM\?wbhOLGzSBqMl??arN~GlS?QJd?Ga|PZGAS?qJk~cafNzGir}aIdDW^zPWF}R~aI|?c`ROiGDSJA?lAw_POlGBSIq?{~K^ZNwFxR|p}K~O^^NtFvR|`}DM{NXFlbwPzg}K]}Bj@u_zo]GNSFeLHEdbRpiWtCYYU`JSdgqshYklM^NNkfsryH|[}i`ROkgUsIiDtAm^ZNmfvr{H}S~EgMSRiCdDY`@PQgSSUiEDEI`XP]fQSLhuDCI\hOyf[SNiHCyiaHMmgMRbhsDAi`XMQfISKhrDAY[xOafQRbhvCxI[hMufKRkhrcyy\@MieyRthpC}iZpNYe}RvhoC}Y[HNaemRnhwCuYZPNIewRrhlc|I]HLafuRPh}Csi_@LUf{RRh}cti^xLQe_RthzCqy^@KufmRKhfC}iXxNeeJRFhdSpiXDKed}S@h_D?iWHOMeCSChaD@Y_pKMdqS@h\D?yVXOIdwSCiBCniVhOUdfQsh[SlyUlJYdYRnhVC{ITxNEd_RqhXC|IUHNMfuQgh}Chy^hIeg?Qih~Ciy^xIqgeQZiICfIahHugkQ]iKCgIaxH}c]SLhGDBiQPO}caSOiGccyaPHQciQ`hLChiQpIIdEQVhKchIR@IUcCQBhAc^YOxFycOP~hBC_IO`GEc[P{gzcaYNHGicYPwg|CayNXGqfHRdhrSwy\DM]ERBM`dOqwXkKqRZHocxQ[XLse}cFQChAs`yPDGYbxPvg{S]YN\Fik`UJjFtbIptWukySpiXDfisHRUheU^jPDLis@RQkIUPjBDciqpWekOURjDDdIqhW]j}UVj?DeyoHXakCUXjADfIoXXijfTsiyt]ImtV]kmT`jKDWirHUMksTcjLdXYr`UYibTNigTSyiTTQkYTKjDdRYhpXAiSUKicdbihXW}iEUPicDdYqpS]iGUQibDcyghXQlESvjQDMyshRalKS{i\DiIfHY]lESjjQDJIshQulKSmjSDKIsxQ}kySdiRdfyrpQYl?SgjPDIisHQejqTfiuD^inPUajQTzitD^YlXVqjYTZiwdVIjxVIj[T\ioDZyjpVAiiS^ijDGYc@T]ioSailDHIjHQMhySXi^DEifxPmgwTAiNDOIbhSEl]VpjXD|iu@^IlaVrjXd|Y}`ZQoEVXkBdvJ@@\uoGVYkAdvj?p\mmmVvj{dtIz@^qnsVTj{Dti~X\Mm[V^jpDry{`\AnEVQjedwYyH]AnyVFjeE?i~p[an}VHjdE?Z?@[mnIUzjrDnI{xZunOU}jtDoI|HZ}nUUtjZDzI|hZ]n[UwjwDmi|xZemAUljUDoiwXYimKUhjVDpYtX[QpAWlkQeKjC`bEp_WbkREJjDxaIoyWukMELzBpbapgW^kYeGJBXbMoQWTkDEDj@X`]o[WXkLEBJ@h`ao]WfkGEIJAHaeocWikIEJJAXamqIXJkgEQjGpcqqQXMkbeRzH@cupqXCk\ENzFhcMpuX?k^EOZF`cIqaXVkhEUJJXdUqeXXkmETjI`di?f?N_IOCGAS@EZdLsexrUhj[tqY~L]emrxx|S}q^PNjfstUyjdT}i|T_imu`BMPfareXxkye]zMpfirwXvk}e\JL`far[Xxk}eZZMHfmrwXokve]jLHeqrQXlktEZjLXfAraXikteZzKteMrHXdksUXzKteMrHXdkruYJMPduq}XtknE\JK@fYrmXakxeWZTW?e?T?J_EOBW@tMufRRihuSzi\[za\nMxfRrhXtCyY\TMhjetriyT[}mbVOjUTiytTYylRUllcupjW|kiuVZGl^epZWXjuu?Yyl_emzVpkIuGY{lZemzV@jit}Yxl[EnZVpjetmY{l_EkZWHjIteZAlYEozUpkUtiZClTujJTli}t`YmlTujjT|iutXYolSE_ZTPgItOY?k~EijTHgMtQX~lPEkjUHi]teYblZEhJU`iYtiYdlde`JWpgUuSYHlceaJWxgYsMZGlMecZRxhAscY[lIegJRphQseY`lDEdzPXhaskYLlFEezPxhisWYXmMeiJTTie_VOKgEsBiAD?}iRTIidtRihdSusBYAl?U^jO\f}spYXlJUdzR\hisxY\lNUfzSLiAxo[qm[fKzfPrQxu[tmZfNZf`rYxW[smUfLZdprIx][rmZfKZe@rYw|[^mMvFZb|pyx_[ZmJfJjd`pex][YmKFKZdhpqwc[TmGFDJappMwk[NmGfDJ`ppUwm[OmFFEjbXpEwo[NmMFCzbHpIwU[imRFAJcxoexO[ImEFIz`hqexI[Em@fGJcHoQxC[AmQF@zcXoUw?[dl}FGJcHnuxCZ}m?fGzc`n}vk[elzfHz^@qavq[hl|fIz^PqixoZom[e{ZfPnIxuZrm]e|J]hrquYZ]lnesJ[@kyvAZKlpesZ[Pk}vSZYluEuJ\hlev]ZZltevZ\plqvIZQlrEszY`mauiZhljexzYpmQ{i[SmJVDZbLp]wp[YmMVEyP|HAcdQPhIScywt[UmBVAj`tpJXdkuu\ZNlgusJ\DmUvLZflsuxJ\TmmvXZllvuzjuHzY|_]xnXFmjuXz]|u]tnYFmJrLxi{z]WnLvfJq|xY{j]TnJvdjqPsA{c[}nHfNzgXxQ{e\@m`FdJp`yQ|I]LnRfbjpxyY{a]hnGFiJpXyI{M]]nCfgZp@x}{K]bnDFgJrxwA{I]bnOf_zo`yA|C]AnNF_ZtHvY|K\snRf\ZmxyQzq]dnSF]JkhyqzE]nnTFWjk`ymzM]lmrFjju@tq|a\\nXFVjuXt}|i\`nYFWJuptYyo]vmkfmJjPze|u\ZmjfmjiXyuy_]imgfiziPyqyi]nmiFjjr@sqyY]XnLfRzrPsy{y\JnMFQjnPuazu\hm}FYjnhumz}\lm~FZJlpsQz]\DmwFPjmHs]ze\HmxFQKBHzt?l]}OJVnsA}@[}B]{OKVoCBE?O}\_DNfvsc@M?W}`^ROBvsS@E?g~X_JNuwBR}E?w~b^mOFwBB||}`?d_RNswDB|U@?~L_TNtvxsAL~G~@^rNov|B{T~S~F^vNqv|b{d~_}t^]N}V}Rz\~s}z^^N|VvB~]?C}p^}NiV~rym??}l_BNkw?by|{g}D^JNaVqRw\{o}J^FNevpbxEB\@z_~O]WMCFuCD@v`AO[wOCFUAl@b_tOWWJCEUAt@f_uOVWLCD}Ah@@_^OQwGSCuAH@N_hOQWGsDE@xAL`BOKwPCBUCT?v`GOMwPsBeDlAR`MOmWQcJmE@AZ`JOnwRCJuDXAf`TOfwTsIED`Ab`YOiWUSIUEDBN`dOtWYsKuEHBP`kOpwXCLLxM{h]Ql?u^jN|gAsFYAozg[{NAFRBq`to|g[{NQFRBk`tozGZ[MyEzBo`no{g[KNYFJBs`poKWD{AtpIw\[NmGVCzaL{Y}F^AnbvpJwmHFCdaRpJWdKQmGpCPaLPCwbcPUG`CVaOPDWbsPMHDBxaQO}wcsNuHPB~a@PJWdSOEGHCVaKP@wbsOuGtCHaMPAwcCO|sqyT\JmevRzhuI|DRarPTWkCT]JPDXamPWwjSUUILD`acPWwjsSmIXDfagPYWhsUUHhD@aVPMwgcR]H`C|a[POweSR{?a?P?GneVqJxl{e}V^IpMWd{RUHbCvaXpggp{YQKbEebHpbgtKYAKfEObTpdGl[XYJZEWavp[Gr[XyJjE[axpdgo[XQKJEEbLpaGrKXqKZE]bDpigoKVYLREaa}pgGnKYQJvEea~pmGyKZiMfE{bipngy{[IMvF?bkpjGwkYyMNFGbWpkgx[ZYM^Esbe_?g|C\uM{?Cbtpw??c]uNC?Ebv_?g{s^MNG?Ebw