CAT(2304,4)
Sparse6:
:~?c?_?O?G?C@??N?H_CO@G?s?U?H?E_AoHOCKAA?~?p?UOJWD[Aa@T?h__?LGEkBY@l?s_YoKGDsA}@d?p_XoUoH{DEA`@N_goSGISDQAf@S_hoSgHcCyAZ?}?iOS_FkDK@~@K?]OR_FSCs@v@H_doQgGsC]AP@B?foPOIKCOA`?v?_OO_FKCC@pAM@?O_WN{F}CBA?`@O_wOcGICHAB_}o^gNcFuBx@}_nOWGJ{FmBt@x_zO]GM{FABb@q_uoZwLsEQBL@d_o__gKWGQBCAB_~_YgO?EmCA@k_koUgJCE[Bf@g?yoYOMcDoAj@\?jOToJ[Ks@D?c_PoHwCkAYAz@Z_mOVgKCD}Bf@t_yOWWK[EIBJ@c_rOXwLCEeAp@X_lO{O\CMiFRBj`uozG[cMIFFB^`oowGZsLqEzB[@pOv_[cLsFFBU@uoz?ZCMkEnBC`bOpWW{KeEPBI`eOqw\OKmFOBK`s_qgXGLeEuBF`c?ugWOLeEuB@``_ugYOL}E_B``g_wGYOLME_BT`g_tGWoKuEGBN`a_rgQ[HECdAO@_oboW[GwEDA}`_OnwV[JuDxAy@soy_VCM_DrAv`YolgQ{HeCpAq@qoxoUcMWDfAp`VokGTkIyDXAg`RohgS_K}DIBM`e_gw[oIEFMA_`P?xWRgLQEiA^`h_fg\gGqFUAL`u?awP?LYCSBV`C_uGR_IeCuAj`L?igOgHUCMAS`B?dgAC@I?bD}?JoEGAsXK?h?R_IpeOBk@q?|?X_LoEgB[@e?t?\_MOFg@k?}?\BE`aOpWDCAi@R?j_UoJGFKBa@n?y_]OMwFkB}@|?|_^oNgG{CYAP@?_`OOWGcCUAFAQ`GocwQsHQCjAn`WOkWTkIyDXAh`ToigSsIaDNAb`QohGSKIADDAD`Bo`gPCGiCRAI`COaWPcGuCVGqCRQIHC{aePTGjcVQJHDka}PbGocPqHXCc]{NXFmBtPyo|k^GOBFsC@p{p?S]gNpFxBuP}_|[__OXGICDqAP@k`?OXGJCFQBp@k`sOhG^CIqF`As`OP@GUCPQDPCK`gP@G[CPQEpCKa[OnGgCKqH`BCbCOxGZCVqE`EC`sPXG^CVQF`DkacP@GjCPQI`CK`GNRFfCHqCO|C]QNLFdbpaBxA?]ENCGMbr@xw{g]aNGFhblaAGzg_iMwGHcR`thCo\]POFTbfaCxAO\EOaFObe`sgxo\QMeFKbn@qg{?[mMQF^bk@qgzO[mMqFHbbPpwxC[KPXFDCVPp@Dk[GONGFB_Q@owK_OLtGEB]Q@Ov[ZOOBEtC@Pl`?[_OLbGEBXq@OuSYwMdEoBiPjoy[Z_L^EvBWPj_vKYsN~G?BTpj?~s`gLRG[BTQEotCZ[LPExBSpm?tS^wKbEOC?P~oqS^GKPFsBBp{opKWgNpEKB|Pao~K^kKfF|BIp~?qc_WK\GCBFq@OpkXWNjEVBzpe?}sWOOPEECDP`P@KWCOVEBCEp_`@cW?ObGRA~qC_nsXWOnEVCKpe@BCVoOnDzCKp^PBC`sJ|E?CNqF_n{V_PFGdA|P]PCc]CKjFbBHpd?{SVSN@DvBnP\_z{\cKLFYBAPu?okWCMXFMB@prOoS[WKdEOBcPpoqK[KJhFDAxPp?m[V?MBDpB_Po_l{WsL~EMB]pbovsZkJhE{AxPm_m[V_LVElA|Pj?nKYWO\GOBRqBoskYWOhEfCIphPAsXoNZFnBNPz_rkYGNbEcBwpgo}KYGNZFnBQPz_s[YCN`FoBNp{?sCZKK~EpBOPgOuSUWJRDjAsPY_k{UoJFDmAqpZOkcU?JXDaAvPWOlkWoIzEJAnPVopSW[JRDjBCpY_pCVkKxD{BNPfOnkXcItEZAmPe_j[XcJ`DnBLpe_mKNCMvBqBmo{ozcTWJNDSArPTOlCSkPFGdAepR@CcSaITDHaq@PWkgS]JEDEa_@TwfwTeIADWb|`NWfo^uNwC{cS`MXDWRmPSCyaZ@}G~ORaNqCvaX`|Weg^YHgFvaj`KGjGRIIoCpay`JWmoQ}JmCmaT@~gd__AHUF~c?`HwdG_MHOGAbt@HWco]qHGFjaPAJxEGQEP_CbaMPFWb[PeGtCWaI`{gaw^QGkFraH@Wga_UEGeD_al@BwjWPEIwCOby`@g`?^]GMFuaD@tg`W\]GQFT`y`lG]oZYFgEtb]`?wvwOUL{CCa?@VgjwOIGAD\`~@sGxwN}FyFP`|o~G^S^kFnF|@{p~?^CSwIdDOAgpRoi[PwGXC_AFPFo`kSKF`DC@vPO_\{ww?T?K_Do@G?s?U?V?K_DOBG@S?m?N?G_Cpagp[WqJdDsaxpXwksUaItD[alp\Wm{VYJFDcaqpZGlsUuK^ELbFPcGqSXEKHEEbApZwmCVEJrDya{P`wpCWeJvD|a}PWgkCUEI|D^ampYWl[UiKBEBb@PdwqsXa@D?c_PoGgCcAMB|@{_}oJwECAy@\?o_VoKWE[BIAj@V_jOTgI{DUAp@Y_ko{w]KNII@D@a^pNWfcRyHvCya[pKwekRQHdCoaWpIgdcQmHNChaSPGWc[QIGLCFaCPAW`[OiGXCMaEo|G]sNUFzB~`~O}g^cNmFpBx`zozg]CM}F\Bo`vsOQFXBy`yO~g_CNIBxBa`?Oyg[cFiEh@u`mO[gZCEy?xBQ`cOGgBCKy?HBE_COpg?CKY?@Ay_AOog@CJyEO~u^}Osf~CKx}x@y`?NxgNb}IG?~U^kO}fyCNx|_~a^YNxftb|x{PBq^GO|fpcMyC_|q]yOdfnCHh|W|i^YNXfuBuyDW|A]cOlgUBsXyXAa`SNTfiCIXyXBa]gOyficMXxh@I_gNNffCCxxP?Y]WOGfdc@xww~i]ONzfcb~H|o{Q^_NEfvbpXzw{E^ANBfoBohvw}Q\{Naf_Bwxzwzm\yN`f]BwHv?|q]yMyfnBmXug|e\mNZfZBuhvo{m]?NKf^bqhxozA\aNNfebjxuO|A]cMrfYBsXuw{Y\iNDfZBpHwWyy]CMlf_bjIBOxi[wOWfLcEY@_x]_[MXgEbeHq`?M[kODfIc@H|?xi[wNhfLbyiDWwm`YMLgUBbIEgwa`mMIgZBaXoh@m[MO[fBCFYAgwI_kMCgJb_xo?~i[AN{e~b}x}gvuZwNufyB^h|Ovu^OL}fsb^HuWvY\gLvfXB]HnOyeZuMjfTB]XsoveZsMge|bhxtgcMQAMkc`BjhGwxEQQMRccBchmgyUZgMbexbhIEOuuZ]OsgXbZhkxAyZQOoesCJxk_yMZKMdeqbhHvguI\wLbeobmx{gtaYsNeekbxxigzaYmMyejBmXhxAEYaObegCGhh`@IY[OSeecCxpOse[OLJfCbQhgowmYOMLebbbHg?wy[_LAe_bbxfhAa`SK~e^CIYDgrq`UKze\CJHnwrQ[?Kuf?bLYAgqmXYOVgJBJHdGv]ZkKieSB]HchByXMO~g_BHhuGqQXEMnePBkHbxA]`MK`gRbGIEgpq`mK]gZBFXaW~I^eKTeIB{X^W~u^}J|f~A~H^@AQVsOed{cHXyonUVmNWdzBtxtGmY\SJffTayIF?lu`sJ^g[avhz?lQUkNUdibtxq?lIUeMNdgbbhX`?UUYOBddc@Ht?keUSMefRaqHVG}yTuNod\BzxUxAe`SIud[CIHUh@ETgOOgFakxqGjA[cIqfHakYDohm`_I\gVafHP`BuSYOzdFCNI@Gge_UIJgDAahOWyI\?IDfOa`I@OgA_UIAgCa_Xoofq[MHzfAa]hNGwIRmMBc{B`HMX?q_[HpcxCBXHX?}QSOPceCCHrgcu[}HNfNARhLWyARYMacuBgXL?~ERQNqfxaYhrgeURMM^fNAXhwwdY]QHWfcATyCGdAQcObcgcGhKOxe[mHccpbeHKG}]R?NdcnbxiB?bY_sGvcYcEXFgxQPuMTc]BdhbOcQWuHDcbBEXa?rEWcKreGbKh\_oiWWJmdubAx_wmeVUKHeCAyh[WnIVIJsdqA{x[GtqVCL\doBUx`gliW]J[eFAuxYwr]XqJXe[AuHdokUX_JFeVaph__jqWKI}eAanX_WiuWCIme?ajxTOi]TQIkdTaiHSGkITEJCdPAoxVwhaUAIYd_AeXgWhUYIIVeaAdhlOhISgLkdHbYxQGoAS]J~dGA~hS_gYSOIedQa`xM_m}RkJpcya{Hm?eyZaHoexAZxI_t}QiL_chbVhXodeU_HYdfaUxJ_tIQyLRcnBTHRobIT?GrdNaLHFGpYWmGyeKAMHNwb}R{H?c}aNivo@Q?f?T_KODwAswU[LMFe{r]xnSwM[DMCezR]Hm{wm[ZMKf?R_Xn{wa[TMHe}r^Hns@i?v?X_MOFgBk?u?^?M_EoBw@sAA@B?^_NoGWCCK]ERBG`eOqgX[KEEDBB_fORWHcAa@T?h_ToJWDcB]@r?w_\oNGFSCeAV@I`FocGPsJiDrAw`JoeWRCHiCxAZ`MofgR{GYCNAD`DobWPcuaZRLfecrQxhSsYYPLFeNrGXcCgMSHIDcsqYhLCbIPhGrcZqLXEsbaPtGxc\qNHFkbyP~H?kaeHbEdaOpjWdKXuJrCLaspFWaKVUFbCLa?pDW^KPuERA|`gojWUKKULR?DbOoDWrK?uKA~TbGnxWpJ|uHq}dacnlWgJyt{bCD^Ko~VpKNULa|\]spnWwJuUCQ|T_{nRWOJsTxRFLbgnLWzJrtwrD\]GpTVcKUTwR@l_wm~V_KETuR@L\koVVYKDTta|d\_nVVVJutsazt\?mxVPJmtvAy\\wmjV\JiToa{\[CnDVBJqTxQvt][m@VeJ^tsAulZWmdUvJgtjAxlYwm^UlJfUOatTYkqHUhK`tuAtD\[lLUfJjTgA}|^_lDU`J{t~qr|^wk|V|JMt{ard^CkvUYJxtdrDLX_pPWfJKuEqqL`skfW[JHUOQo|WSq@W~JBT[AxT[ojdTpJdtZR@l_wj^TmKETYa}|^cjXVwIttWQw|UKmRTaJcTVbBD`gj@WXIntUA}dTgnlTXJytTqylTSmhTUJhu?AiTTOoDTRK?tzah|^?ibVnIgU@Qhd_KiZWCIfT~QgtS_n|V~IbtOrDla{iJTCKVTrqgT[siBVMI_U?qf|RsoJS}KATNAx\[ohtSzJdUBqe|`ChrWOI[TIAw|QgmRShJcTGbGTQOqHSbK`tFB?tPwoPS\KBtyA_dOWnTVhIAs~bFLbkg@WyH~s~BAdNsodRzKHt}a\|NCnxRoJ|sybGDMkqBRhK^sxazLM_mvRfJlUEqZl`se~W[HnSuawdLomLRZJauKAYdbGelWpHitpAXtL?mLRNJasqqz|KonBRLJoSqbGLK_p~RHK_TmqWDZseBQ~J]TmqWTZseFRCJ]SmRCdaSdvQyKRU@aUt__dpWFHZsfBDTHspXQZKTseBATHgofQXKISZavtF?m@PnJ^toqL\EomDV@GuuNAKlbwbLW|GrsURAlDkolPYKJsTb@TD_oVPVKCsRREtC{ppPMKZsSbGTDCqHPOK`tzaHD^?aRVnGbuNaGtbsaJW{GaTQQt|SklbTIJWTXAeLRKjLSqIqtmAdtZgh`UxIVt]QclQ[jtTzIRTFqatQCgpS_IJtAQ_TO_gFSFI?tbq^DX?ftUMH{s{apDWgfhRrJCtBQ[\MSg^SMHqTBA[LOkf@SIHpSsQd\LKhZRQIUSnAuTJwlhQ|JXskAs\JGlJQpJQTXqTlUcd^QmIsSiabLIkgvQkILTCqSLIKgjSSHPT^qRtWCd@U?HNt_aQlWOcnUBHJScandHOj|QRI}sbqedHChlQOIYskqPdGwdjQLHYS`a\dG_f\QFHus_qqdXWcJUTHAS_aPLG?cVQIH?tCQNdPGbvPyIGS\qp\FckZPwJET\aMdV_blTvGyshqMLFGdRQgGxs|QLDN[bTRuGssWaY|EOerPbHkSVqm\ECjjTsGoSpQJdK[a|REGmshQIlIWafQcGiTUqHTCkixPKImsOQNlCKb~PAG~TmyvlZq?N?H_COHgC{AUxA]RmPFdJqPqA{i[\nJfFzqppy{gZpnHe{jqPnAvU]VluFdj\PxUrw]Nk}fcJqHfm{]XwnGe]jq@feyi]Kmhfbji`wuyo\QmgfTji@t]yYX}mfe_Jhpf}z[\CmwFPjlxsUxQ\jmTfZZdPuqws[PmMFCzbXpIw[\[mGFVj`xtuwU[wmEfMj``rezI[Dmrf@zkpoYwC\zm|F@J_Xvqvm[~l{FOJ]pryvQ\amqEyJkXm]vAZ~m?ewz_@mIv?[WmKevjZxp]uuZ{lme~jZ`nuuiZlljezjYpm}xWZQliFJjdhlMzOZNmtEsZlHlAuUZcldExZXHmYuK]BnAEpzohkauE]Alaf_JW`wEuC]Jl_faZW@wivuY{l{emj^PjmzaYvmxemZmPjati\GlZFQZU`s]tYYqlUEkZUXim{KYdnCEhzoxiYtC\ulPf\Zm`iQzyYXm~eeznphiso\wlJf\znHhYseY^lIegZQ`iAs_[SlHFDjQHpUsS[zlEFNZPXrqsM\XlCFUzPHtiySYDlBFRJO`sms{XtkzefJRhfYrcY@kyE_zMXgIr]\@kwfOzgPfArWYmkvEkJLhi}rQZWkteujLPlerK\^ksFWZKxuArE[tmZeXZK`rYuWX_lfEWjXheEqyYLknebzJpgyxKXYkmFIJJXq]xEXVmQeUZc`daqgY|l^eTjVpdUqa[qkhfLJIPrMx]XMkgFKZe@c}tOXJlTERZTHcqqO[GkdFAjHHoeqIZrlyePzGpnQ?d?P_GWLSGuBXAP_sObwQBvUC[|r]zObVicDEAg|X_hNTwAcFmB|?X_JO^W?SFU?L@x_AO\wIr~\~t@Z_kN}V|R~D~[~t^uN{v{cG\~PAJ^rOaWER|}@k~b_YNwVyS@l}l?^^iOFWOB{t}`AD^fO_wJr{l}L@`_mNqVwCCl}H@N^`ORVvCAL|l?d_ONlWGby}AO}r_bNkVsSBe@w}f^QOMvvRx||{}`^]NfWLrx]Bc}Z_wNeV~bwl{\?@^EN~vns?}?c}B_GN_VnC?dzx?L]|OAvkr|dzO~\]tNuvkCELzH@f]pOXVtBtl|W|^^TNVWCrs}@S|R_SNSWDbsdyX?p]dOJwFrsMAC|F__NPVfbwTy?}H]^N`verxDxs}T][NcvlbrDxg|p]vNKo[GMSFFDEaJpEgh[PaIRBkabo{Gh[MyIRC[`~p?gcKPyGBCm`{pKg^kRAFvBuaIo|GaKNIGfB_`roxG\[MIFRD?`iouGg[LYIJCa`fpHgY[QQEbBGa\orGf{KiHzBEaCoog_{OQEJBY`]ooGZ{LqD~AoaSolGdkJIHVAiaYojgfKIqHnCK`RpAgTKOyDJAW`ZofGV[HiDrA]`HodgS[HQDBE_bLpfgskXqLFEQbJpbgqkXAKrEeb@p`gt[YaKJD[b?pUgn{VqIrDoaqp\GlKVIJND_a{pVgm{UIJvEKajpaGikWiIfDKatpSGl{SyJZFIbUprguK[qL^FObapqGyk\IMNE}bjpogz[[AMrEqb[plgvkZQLu?CbsPvW{??YNZF]?@Pyo?S]IN]?CbrP{w{_?YNb