CAT(2304,9)
Sparse6:
:~?c?_?O?G?C@o?J?D_Ao@G?c?Q@O?S_IoDwBC@Y?f?p?EoBwAK?y?`?Q_E_Cg@w@E?[?O_VoJgECBA@^?m_c_DOAs@_?f?V?IOROGgCaAE@F_a?PgIGDAA`@O_goSWISDMAf@Q_iOTgI{DUAp@X_lOVwJcDmAz@]_u?YwK{EaBR@e_tOX_KCE[BB@c?sOW_LKEKBV@d?tO^_MCEyB^@k_woZWM{FIBf@t_zO\GHsCuA^@Z_mOVWJsD}AtAI@Eob_P[G{CVAO@EOc_PSHCCXAP?~oc_OSG?CZAM@?o_oP{H?B|AG`Ao`gO{GQCR@w_{o^WN[FiBx@K_eORGH[CeATAj`UOiwTcIuDZAo`VOkGTsI}D^AX`LoegRsHuCxAU`HodGQkHaCnAh@Noh_S[IgD@Ac@Qoi?SKI[DD?z_]OMgFkB}@|@@_`OOGZWEqB\@o_woZwLkLMEbBO`fotGYSLQE^BO`gosgY[LkEpB\@lOw?ZCLoEtB]@kovoZKJEDdAr`YolgUcKoEnBU@eotOX[KcEjBV@fOq_YsK_F@BZ@`op_ZsLoEHBD@mopoZ{JsDnA~@[Om_VsK?DrA{@_omoWSBM@h?p_ZOKgEkAy@`?naM_LwFKBaENBG`aOpWW[KYHHCdaOPGWc[QIHHC`aPpGgckQAGzC]aMpFgb{P}GeCWaI`CWa_PEGcCUaH`EWaOP]GkCZaK@FGagPiGmC[aK`Ega_PmFNBk`tOyW\CMmGUB`aE?wg`gMQFECO`r@Bw`oMUGUBxaE?}g`gNmFwCM`~@CG^gO}GECE`~`@W_wOAGOC@aD@@G`GOIFaBr`y?{G]gM}FkBl`x?}G]wMyGxCYaLoxw\CMeFTBk`to{w]cNUFpBv`zP^OmSVEJhDrazP\WncViJrDva|p]Gl[UqJ^DlavP[Gk{UiJPDeaspXWkOUaJGDhap@XwkWUUJSDcap`XglWQYJWCfaS@ZWdOUyHUDoaS`ZwiCTUIbDRaiPSghOVaIUDvae@]WhgViI]D{af@]wmwS]JwDGa{`PGhGVaJsDEa|`PWf?VEHqDqa\@\GfWVMJkC|ay`NGfoVEH}Dqa_@[wgGVQJiDBaz@Ogk?Q}JACkaU`VGjwQyHaD\aW@VgioRIHeDVaY@UGegTeHmDZaZ@UgxoAe@T?l_SOIwDcCUAH@B_bOQGG{LiEpBX`AOaWOkGYCNAG_{O]WNSFmBz@{bmpvgz{]ANDF`biPtWys\]MpFXbp`sw{_\IM]Fdbg@xgyG]aM[Ffbl@tgzW\UMsFSbk`uwz_\]MoF[bLpfWrcXyL@E^bp`mW{_ZiNIEzbr@nG|?ZyNME|bU`rGu?[mL]FJbe`kgxgZEL[FKbf@dGxwXAM_ERbF`sWqG\MMcEQbD`vW{?WiM}EHbE@vgpg]IK[F`ba`nwwo[AMCFHbb`oWwW[aMGFIbP`lGsGZaLIEtbP@kwsoZYLmEcbR`dWqoYaKsEibJ`iWrGYmLWEWbB@^WowVyK?EDb@@aGo_V}KAEB__oOgGCCIAB@?c_?GgCcAU@F?f_RONWFsBi@~?z_]OFWBc@q?|?]_MqU?CKAE?~?^_OOGGBC@M?h?U_JoDWBS@m?rHx?QOGwCSAY@J?fd@?iGSkIiDLAf`SpbWpcWyKTEHbDq^xN{gASBI@d?Q]xNSfqR|H|c{q\@PSg_RjHuDEQaPNCgkRnHrDEqXpOSecSLHgDBqZ@O[ekSHHiDAqZPO{ewSJHnDBQ`@MKfGSDIBCwQO@E{cCPpHAC[qN@GkbkQFHCC\QSPG{cgQ`HECeQQpH{c_Q\HHCeqT@ICdCQfHQCeqTPHcd[Q\HUCfqS`JKdOQtHUClqV@IkdsQfHVCkQZPKcewRJHcCvqXPMKfGRLHoCrQWpNcd{RrH}CnQW@N[eGRtH|Coq\P?KfOODHrC@q@@Ms_WRpGDCzqIpJCaoQrGlClQJ`J[b?QzH[CVqIhCkaYPNGgcSqFpGCa?QBG`C`QG`G[aOQJGbCaQV`BK`gQ~GZCoQF@KK`wRFG\CpQQPA{ckOpHECHqPpAccgOlHGCIqXp@ke_OdGOCsqZ@@s_{RVGPCtQAh@K_aOXGJcBqbP?CgcNvIGB}Qa_~{^sSXIJB~QNO}k^gPzG}BzqNo}sb{NpFxC^PzpE{^OPpFrC\QMo}CboNdFpC[qKO|KbKNZGqBtQLO|cbWNVFmCYOKgEcBU@l?p_XoIwDCAq@R?l_TOPGG[C]AP@D_bRK@FkbyP~HQchqTXIcd]Ql@S_koTwJCDUAl@__pOWWK[EUBHA@`@O_GNsGMB~Ap`XOkwUcJYDjAw`[omgVcJ]DvCjaRPHwdSQaHRDCaapPgg{SeIPG@c@q@h?c_IOJFnbwP{W}S^QNfFlbspzg|S]mNXLzEyr]hnCveZlLveybWxk_vYZILwerB]XnOu]ZOLvejrVHjCtmYrLYe^bWxk_sEZKLAeqbOHg_u]YELgesbNhfOuyXqLie\bYxfguqXwLle]bQxfosqXqLLefBMhi?rqY]KzeXb\Xe_vYXiLve|BLhf?vaXmLxevbKxmWr]ZaKuewBLHm_rUXoLqeWBYxe?uqXaLheWbYheOuyXcLleUrJhd{quX^KmembIhjoqmY}KjepBJHk?qqXSL`eQBNxcgsAXML@eSBOhg_qeYEKeevajHm?iuZaImexAjxm_jEZeIoehbDhawtQWcLTegbCxa_tYYcKTeEBQx`gsqWaLLefBBxi?pAY]KMeABIX_gqaXIK?e?bHH_Oq]WEKeeNA|HbwnUVkK_ePA}X]wqEXEJwdvBVX\wtyV_L^dwbWH]WuIVcL`ekayHj_meYsJidtbTx\gtaVWLZdpQwx[cmUVNJeeKAmHbOjeWuIyeKamxbgjuWwI{eNanhVwqAU?K`d_bFhcWkMXCJAddBEHXWpeU]K\deBEhXgpqU[KZeaapHgokUYMJEecApxhOkeYQJGdOQhHSSiMTBIddSbSXiOi]YeIedTbTHioiaTSLTebAexRosaYQIYdNbQhgwhqYII\dmakhZojMTgJ^doalxUolqV?ItdjA~hYwnmUoJ|dka~x^OlmUsJ{eBAsX`?lMUiKHdgBAx_wlQUcKIdJacHR?hESeISdKachQgg}SkIM_EoCGAK?y?d?Ngd@DWbKPQGlCVaKOhGR{IED@Aa`PoxW[sMMFDB``qPgWs[YILHEebQpbwqCXEKdESbHp^gnkWAKBEAa~sPaILD?aNPQGcsPAI\CSajPGGiSMpw[{_`|O{FaSNPwk{[a@NEG^sVAEdA{azOoGnSKQJ|EC`dOrGoSJaJlAga~P[GSsWQD\Aob@OlGnSTqC\D_`HPXGQsTaCtDk`NPYGSSWaBlEK_|O^GqSGQKlAGbNO_GrSOaBLCC_nP@GKSOaBTCK_xPBGLr}QHS~wa^PKF|SRP~\Cw^xPJF}sR`~C~KaVNvGfr|AHS~SaZPKFzSO@{{}c`vNjG^RzAF{}_`xNiG]rxALS}CbPPlFqrwaLLEo^FNeGtsLPzdBW]vN\GZrvaFC}?`rN^G\RqQGs{gaNNJGcsPPxs{saPPCFeRnqIk{CahM|GgrnaIC{GadN?GhsW`skyWbFMfGqRiaKsy_bNMhGqsT`r|D_\@PXFOsTpsTDk\HPYFPsLPplBc[^OwFFRcAFTBW[dMPGZr_QLSwGbRMCGtsY@o[wWbZMDGuRtp}S|S^^NUFwRzPzC|g^bNmFks@Px|?W]`OFFgrsa@D?g]hOHFhs?pv[~{\nO?F[S?PvKzo_HOAF\RkQ@[zG_XMrGErlA@szW_`MtGFrcqAKxO_dMTGHsD@qt@W[pOTFJr`prKxo[PMHFLReppcxw[TM\FDr^`tsvk\ZL|FUR^puCw?\^L{FTtF@OCgER~@j_rOYgK{EaBR@w_{o^GNkFiBvA|`^OnwWCKIEBCkaUpJgeCREH^CqaXpLGekR]HlOKgEsBi@|@A_VLze}R^XoCvyZ~TNIbtOygtSQiPTDi`TNif|Rui@T@i^DDifxPaiCSXi]dEygHP]i?SYiHDHiaXQegiSdiRdDIaHQahSSOiJDBY`xPmgoSMiFDEYaxO}gYSYiTd?Y_XRAf{Skh~dJY_PQyg?Snh}DGibxNah?RxiOc}i^hQMfuSchxDKYePNMhkRviXc|IehNUhgRuiCCyy[pOefOSKhrdAy_xMegSRii\CxIexMAfIS{i[CwY[PRmhqRbhndJYZPQmeuSkhmDJiZpRAeySnhiDLyYhRaekSxhjdNIfXLehsRWiNcriXxQAe_S`hgdGyYXQQecSah`DPyh@K]iERBhbDPiW`SUeITCiYcoIe`J}dwSpiXCoYepJyheQ|hWdCIaHJIgiQtiHCkyU@PMggQshND@ISHOQc}SDhPd@i_pIAdCSDhKDFIRHPug{Q\iNCeyb`HqgyQYiTC`yOpQUcOSeiRcaYd@GmhQQIiCC_I`HGEcCSJh@dBI_xGUcGSIg{CqYM`KqeOPthdC\iNHKmbmRLhTCliTXJ]dWQwh[cjYTxJmd[QyhQCzIShMydKRlhRczy]HIef_Qgg}cbIPxFmc[P{hGC^iPhF}bsQPgvCdyLxHIbaQRgxCdIM@HUbeQU_POGwCsA]@H?diAT@i_lOug\SNeURIhd[quX\Knb@p`GokWYKPEFd|Q}x^snqV~J|dmQvXZsl}VBJ_dIQdhQkheSnIWjwt{Y}T^MnfVqkCdvz@P]AoUV`jpEBI{X_uo[Vcjkd~YzP^ymuW?jmE?izp^}myW@j}dpy~p[an}VHk?Dqix`_IoAVJkADoJ?XZmoOU|kBDnz?hZyoMU{jYd|yup^almVxj|DmYvP^qloVzjPd|Is`^QlIVtjSD|isx^YlKVtk@dfZ?xX}oGU]jOeAIsP_Ul?WEjGd|yqp^inoUQj{dcyqh^qnuUSjEdxYpX]Yk[VhjEDyIq@]ik]Vfjvd^i|pVqn]T|jwD]Y}@Vin[TzjqdXy{pUajQVfitDyIl`]ijUVhipDyykp]mnYTbjudXIkH]qjIVkimtWIjtTmixT^iceAyhP_eo[TJieEAihp_qiYWLjfDkYxhY}m]UojgDkiyPZMmaUsiudiYthU}l[TojUD[YmPYilUTmj_d`YwPWYmEUFjaDaIpP[YmIUHjhd[yyxVajgVSiydtYz@VYjmVUi~dTYo@TYkATYj@dUYj@WQkCTVjJdRyr@TAkqTPjLDSiiXXqigUZ_DOBG@\hW?V?I_DOBG@c?m`vO{g]sNiGDB}aLPCgbsQIHLCURPHfcsqYhLcemRZHqcvQZxMKfARfHscyq\hNCf]^bNqfurzx}C}y[XMFfCRaXp[wiijTWilTUYi|TYifTSigTSih|TEiRTLidtQihdSyiTTLictQyhtSquXZOleurzYLkyuoZElcevJXPliuuZGldeuZWxluteZUliejjY`jEucYqljekJTxlMtSZGlSEpjTHkmuSYllceizT`k]t[Y[lMekJRpjEs}YqlXegZS@i}spYUlLudzRLhis_ZQlHetjQhl]ugYPliedJQPlMuoYLlkebZZPgyuuYNlFEvZPxlqosYSkIecZQP`YsiWVlGEEJBHhMsMZ?l_ebJP@kMsQZAlDEpZPXkQtuXzk}EnJNhjut}X}l^E^zO@jitsXnl]E[JMHjyrcY~kyEmzMXjurSZOleEYzL`lEuYXllfEZjLHk}soXakmedjJxh]rAYZknEejK@heqaYakhEgzIXiQqgYekjEhzIhiUqIZ@kbEojGxkMqOZDkdEpJW@cetgX?lZeNzUpcItqX@lYePJV@cMtCWxk^EhzFPiMpyYck\ehjF`iUpiYxlYEKzUhbQtkWwlZeLzV@bYpYY[lNEKZRhayp]Y^kXEgZE@iAtQWflSEIJTPaetUWilUEIzThaqqmXckrEUZKXdirOXWkmEXZJXe]riXJkzERJI@firmXLk{ERzNHcyouY@kME_jBhgMo{YCkOE`jBxgUo]W`kGEGjAHaMpGWQkREDJCh`M?R?F_CO@w@K?a?r?Y_LoEwBK@isbYOlHUdZQ\hQgRSFiCTAi`dOmgdSRiItCIaLPQglSYiJtEIb\PeMXFLbdqcHQKg}SfIQdFUVZJtd}r@X`kpUCJAd`Io^WPkHversLxo|D]\NPvfbsdyS|@]eNNvbrr\x?{x]_NFVfrpdxC{z]]NEv_BsLwS|L]@NPV_bs\wO|H]dN@vcbn|vk{f\yNIv^Bqdvw{n\|NJVjBkLts|V\[NTViBjty[y~]hMoVbrh\x?y^\MNEvRRqLso{\\INEVPBrDsS{r]YMbVebg|sc{r\GNKVhreTygxj]jMXviBedr[|X]hMZV]bcDqCzv[aM}VGrnlqSz~[cM~V`badw[wj[XNCVEBp\p[{T[UNCv\R`DvWwR\vMDVArnDvcwZ[KMyVcb^dxKvz]SL~V?Bqlx[v~[@NJU|boDwOvvZvN?v`R^Dng{DZxN@v`r]DwWvb]GLxVaR]\nS{V]ILyUxBmdmSzjZeMzUxrm|vcvRZgM{VYRilt?zP\PMtVSbl\tKzX\SMuvZbftu{x~\oM_V[RgLsKzf\AMxVMB`to{xz[{MHvMRaTrkw`[yMGvHbitq[yn\WMSVURdLtkxV\YMTVKB_tq{wN[kM@VJR_\oSxb[mMAUybbTmkwvZkMMUzbblm{w~ZlMNUvbkTl{zFZ_MqUwRklmKzNZaMrO@g?s?YaFPAg_rkxuKzI\hMtfZU~Z^dn}v|[@m?UvjZ|mAvDZblowOcG]CT@|`CO]wNsHEC@AN`@ObWORxT{\AD^HO]vpSFuB{}P^EO_WFsEMA@@b_`OXWGcEUAP@f_bOXwOs?}?`AH_HOawAcGu?pAP_JObvzCF\}d@n_yNvVycFD}t@x^jO[wLB{]BO~H_tNqvyCEt}\@l_tNrWLry}B_}p_xNkwMbzT|p@x_zNlwIsA}@L@X_SOUwDSDu@`@`_UOVv|SBL~X?t^vOLv}CBe@w~t^xOMvvS@l|x?\^^OFvwCAD}H?d^`OGvqsCl{p@L^LORvrcDEAg}`_hNfvnr~\{?~x^|N_v~bwU??}H^~N`vzrvL~?|t]zNwv{bvd~O||^rN]vks?LzP?D]tO@vlc?dz`?L]vOAvsRtl|G|\^SNVvkBytzG}j]pNhoAW@C?^DGaRpQGdkSiHFDEaQpPgdKSiHVCm`rpLg\KRAFVBkaXo{GfKMyHjCya?pAGg[NyIBCEa^p@GfkOIIJBA`fopGYKKYEfBW`cotgXkKiEjBq`Zo|GVKNYDvBw`]ooG^kNiD~Ai`lojGZkIyE~Ao`oolG[kJIFFA]aJpEGSKPiDFC[`RpGGTKPyDJAWaIpAgQ[HQGZAUaFofGa[HiGbDYbQpVGs{YAIrD]bPpWGtKUILVEIa}pcgo[WaJ~EKbAp`gp{XAKBDoaqp[gk{VQJRDuatp]gl{VaJZDKbIpRgq{XqInDObKpfgi[TQKvFObUpsgt{\QLbEqbjplgz[ZQMrEwbapmgw{[aLzFIb^prgw[[qMA?AbsPvWzo?QNVF_?@PzW{O?YN]?EbrP{o?c]QNb