CAT(2408,2)
Sparse6:
:~?dg_?O?G?CBO@J?f_ROGgCcAMAA@?__OOGE{Be@p?y?^ON?F{Bk@z@L?VoJgECDK@f?p_XOIgDCAeAw?t_ZOLGEcBY@j?n_VOKGEKBM@d?y_\oNGFkB}@|@p?^ONwFkB]@r?w_ToJWDcFaBr@v_e_QwHwCiAW@M_g?QgH_DIAa@J_e_SWHwDAA[@Q_i?TWIWDQAe@T_j_VGJ?DuA{@U_l_WGJOEEAq@^_p?TgJ?EQAm@b_k_XWJWEYAs@f_q?VWKODyBE@[_q_VwKwEEBK@__t?ZGLgEaBQ@j_v_ZGLoEmBY@o_v?[wM?FEB]@q_x_\GMOFYBa@t_y?QWH?FYAM@t_{_PgN?CQAI@v_`_YGGOEeAA@i_POHGC[AI@H?b_RoHgCkAU@N?e``?PGGsCUAB@B_`OqoU?JyDaA{`X?nWUWJyDwAs`]_lWVwJYEAAw`_?lwVWKAEAAx`\?nwNkFyB~A?`@O_WUoH]CkAw`I_lwR?JeCsAz`K_mgWgIuD]BF`b?jgUgIqDeAj`Y?igWgHmEMA\`b?fGSCH}C|A``PoggS_KIDKBC`Q_owU?I]DcAh`W_iGNOKIBwBC_|_owOWG}CIAP`A?cGOoHICOAS`B_cwPGGuC[AJ`D?bGD{BA@\?y_]OMwESBM@bCO?SOIgDKAa@T?haM?IwDkAqHOC^aOpGGcCP}HBCbaQPGgccQMHDC[aNPFWc_PmHCCXaP`EgaoPAGoCPaH@Dwa_PaGeCUaI`Dw`gPeG]CZaF@EgYwOQEqCE`k@@W`gLiEuCM`m@BwaWOEGiCBaI@?g^WPEGcB|`}@CG^oOiG?CK`~`Aw^CNiFrCH@yp@o]sO_FnBeAMPF_\CPsFNCF@ppAO[kO_FHB\ABOvo_kLwGHCJ@opA_[SM?GXBJ`eorGX{LAE\BR`gosgYcLYEjC^@cpGOXSK_H@Bq@vo|?]CNCFfBh@vOyo\cMgFZD{?goSGISDmAt@X`coqGXSWIKHEBa`pPWgcVAJdDpb?@SWi?V}KADNaf@^ghgVuIWD{ac`_GhOV}KADJa}@PwgoVuJ{DGa\PNGf[R}H|C|aZpMGfKRSJrCuA|PL?n[WGHXECAUpIoo[Q_JrCiA|pIOnSUCJZDbAvpW_lsU?JXDjAnPVolSV[IxDwAmp\_j[T_JPDYAspUOk{TSJHDVArPT_kkTGJfDSAypSomcRKI@DAAXPOOeKQ{HJCoARpJ_csZmLzE{bRPiGs{W]KJEEb[@kgvOZQLqErbV`aGu?WiLaEHbZ`gwsgZULGEubO@oWsO[MLAFAbK`oGqwZ}KoE}bN@dGqoX}KyETbL@cWr_XMKuEQbU@bgtoXALYENbD`iWp_YiKYEj_wOZgL{NAFbBn`uOzg\k]{NTFoBspz_|C]gNVFhBupy?|c[sN\FNBwPr_|{\YMpFVbhPsGyK[ONZFEBuPpO|[\oNDFcBnPwozk\cM~FZBopu_{C]SMfFfBipx_yc[[MVFHBePq?xS`SDxA}`]ooGWKJ}JZDnavPYglcUmJNDhasPXGksUUH^CoaVPKWe[RIHJCfaRPHWc{QYMTFJbeQN@FWbaPkGxcZaMhEWbePuGtcYAMhEoauPoGncZaJhE?bYPcGwcWaLxEGaaPcGhcWAHxCwaiPQGkcSAIxBo`aO}GXcLAGHBW`aOsG\cMAEXAoaQPKGVcQaDXAgaEOmGbcJAGhAObePuGScHaMhAObMOgGtcHaLG~GaYNmGccQ`}H@c_uO\GHCOqApC[_gPDGECTQA@Dc_[PVGDCMqEp?[_OOxG?c?q?g~o`}N}G_b}aFg~OauNuGmb}AJxA?^UOaFscF`|hAG^EO]FrcG@{hPOPYGpCV`cOqWXSXyK~E\bLPfGr[WqKVELbBp`gokgsSrINDLQb`R[hWSZIWDFqdpPshKSTITDEQd@P[ggS`IKDHQapQKbsR~G}D?QN@Nsf]RjHucyQ[xMSeoSbHmDHQZPQChKRRITCtqd@LSh[RLHgDKQXpQsd[SNIHCkqa@JCdWSNIHCiQa@IkdGSLHRDAqSPOcgWQ`ICCfQ`PH{gCQVIBCeq_`Hcc_SFHID?qQPOSg?QHH}C`q^pGSb{SrH@DLqO@RSf_R^HxCwq]`MCe?RvH|CpQWPNcdsRJH^CpqV`KcdoQNHYCaqP`J[mOUpJYdkqshYclMVAIddpahx[OiYVAIadpahH[OiMTAJ]doAfxS?l}V?I[dMavxRolyU]IgdTAsXTGlAUuJHddavXXOlqUmI}d^atXYojuTmIyd[anHV?jmTgJEdZAqHUgk]U?Ipd`AkxWGjIT[JCdaakHWWi}UWIldUArhTWkuO^GPcGQChAc`MWZKJeERAH`SoeW_J}eFa~X`onqVuKPd{bCx^OpIW_JfeFAyH`wmeVGKPdrBCx[gpIVkJrd{A|X]wnQV_J~e?a{h]GoAWCJleAAzx_WmyWKJiduB@x\WoUR~I?c~Q_XO[gISHIEdAq`xPKgaXgKSeXBDheWpUXoKne[bKXfOrAXiKkeVBLxdgrYXuKhe]bIxf_qiXKKqeSBLHcwrMXFKdeQRGHcKqIWyKteNbLxborYWsKze]BFHbWruWmKweKbMhb?reV@J]dnqwX[[mIX~L?e^RUXj[tiYwLIembRHjosmYML\enBQXj_saYGL^ebBWXgguAY}L@e`bWXk?sIY_LUehBUHiGt]YeLLefbTXhotQZmLmewB]XlwvaZiLlezBZHm_umZOLaeqBYhlGuMZILperB[xkwvIZsMBfAb^HnWwQZyM?e~b_hnowE@V?l_UP]Wn[ViBt@{_|pSgicTMHhCuaYpIgdCQeHVClaUPqGxK[]MHFEbaqZxMKfARJHccpqxx\KmaVHJedqrShiCtEYZLNefRl`uCzG\pMpFZrl@tkzS\^MrFVRi`uCzC\XMqFTrhptkyc\^MgFVRhpscyW\PMhFQri`sKyo\FMjFPRf`sKy?\FM^FPReprsxs[~M[FORh`q{xW\JMTFQRc`qkxO[nMRFJRf@p{xC[zMOFLrbprSxC[rMOFKRb`rSws[rMKFKRd@psxK[XMQFEr``usw[\nMGF[RkppKzS[VMsFDRz?As@a?n?Z_LOEX}g@q?|?\f~?FwCCAEG\CNaEpEwbKPiAV@K_dOtwZKLaEtB[`lpaGpSWeL@EabOp~g~{^uNtF{b|qjhUCi}TVIkdUrDHaspUWnKXeKRWhkcuMZJLferSIqClAs`NOkGRSIaCdAK`POaGSsFqCTAC`HO_GPsHQBdA[_|OeGMsGQB\@{_tO_GKsDqBt@__xOUGMsDQB\@O_tOXGHsDaAD@__dOVGGsAaAD?o_dOJGGsAQ@l?{_NOMGCSAa?|?c_XOJGCSDQ?l@O_LOCGHsBQ?\?C_^OAGFS?Q?t?K_JOAGAR~y?C~y^~N}g?RmP~[zg^zN{F\rxaDC}_`TNfGSsIp{\As^JOkFqRw@~S}C^rNaF{RvP}k|{^nN]FzR|PzS~[]xNuFlruP}S~K]nNsFkRtP~S|O^pNUF{r{@yK|K^bNQFvrr`}S~O]^NrFgRqp|c{s^\NKFurq@|c{g^\NHFurpP}K{[^^NoFbRyPwS}k]HNiF`rnp~[{C^zN?F}Rn`|[zo^RM|FtSd?@S?q?V?L_FoBiRg@E?d?OhR?CwAk@QdNQghRShiTDI]dEOmhQcKIS`A}c[PWgkccIPxDic[PZhGCVYPxDqakQ_hOcTYIxIIcyPQhNCSyRxDQa]Q_ggcgiI@IEaYQYgfCfIH`HmcyPHgdcfyRpCicwPGhLCPyRXCYcqPBhKCPYG`H]a?QSg`CdiGHHU`{QVhKcNyR@Bu`sQSg]CdiFXHUdEOvhQcMYS`BacaOsgYcciEpHMceOqhGcKyQPBEcCQDh@c`yO`GYcOP~hDC_YPHGAbqP{g|c^iNPFubePug{C\YMxFQbYPpgvc[iLpFAbMPiguCYYL@EmbAQJhEcWyKPGqbGP]grCWIKhD}fs?U_KODwAs@a?n?X_LoEgBK@m?tSK?MOFgBk@u?|?[hFScIP|PGg\SSIETCq`lPGg^SPIITCqaDOWftR{ICS}q_|OWfzSGH~t@q^tOcgBSJI@TAa_DOkgJSHIATAa_\JIdfQshYslyUtPCf\RoIFszqaDMkgXRkIEszQ`tM_gJRiI@syQ_dMSfzRfH~sxa^tMGftR{HqS}q[\L{g@R`I@SwA_LIcfnQjH{sia^DIwfnQkH{s}ATlNCexRrHnS{aZlLgefRTHksuqYdL?elRQHkSsQY|K_eXRHHdSpqX\KOeBREH`spQWTJweZRNH_SnqXtJgdzQzH[SmQVdI{fhQpHzSkA]k?u?^?M_EoBg@{?i?V?K_EOAw@TU{?d?P_GOCGAK@IfnRxh{Ryx|K}i^dNsfxr}H~S~e^vN|f}T\Ql|V[jbTuIwT\AmlV[jdTuIxtYqjlT{jTT]IstWAl\UcjDTiIotZQklUKj\TkIqTZAk|UwjPTlIrT_QjTWKixUAIltTqmTVOirTWIxtTAlDTWjNTTIrT[AiLTKjbTnIhTWAhtUGi`T`IftQqjlT{iZT]IeTQAk\SgjHTHIqt]AglVgiNTxIbTNygLSAiFTCi`T]QfdRwjtS|I{T_QfLWKhvUAI\TLan\R_jzSvI}T^qe\W?hjSsI~TKan\R?jzT{IWt_AdtQ{j|T~IUtEyblPqg|S_iNtGic\QEhHSeiQtIaalQkglSkIJtHqbDQ_gtShIKscYQ\HIctQ[hLsgISTIEdFQdhQTda{L]KkpVaJJtjQzTYkmrUkJkTuAtT\glPVXJSthQ{L]KlNVaJRTgaz\YOmzUbJmTuqr|YCmzU_JmTfQz|Xwn@U[JnTeqztXgn@UXJntaipdWmkZUNjFTcYqTXAkhUTjHtoqyl[OmlVVJatsawD[GmhV@JhtsQvt\?l~VNJ]tmaxLZomVUzJdTlqwtZcmPUwJbtrQud[wljUuJeT`Au\ZCkLUDJXTjao|Z?kRUnJCTxBAd]WolVdKIuCR@\`KoZWQKEUBb@D`?oTWNKCt}rB|^gozVxKNU@q}t^_oJWEJzuEq}\`onjWYJyT{A~|^GoBVpK?TzQ~d]{n|VmJ}u@A|T]koDWBJuTxrA|]copWXJsUOOCC@}@B?__OoFyJDDiarPZgmSVYc|QehPSiiUTIzI@ciqaXKkhEQzH@cyqQXNkbeRZHPcQqIXKkbEQzGxcEqQXBkcEOjFpcMq?XAk^eOZGhbyqKX?k^ePJCpcupOXNkReRjI@aMpIXPkQESjFPbupwWwk\eMZEhaApmWakZEGZDxbIpaWskWEKzDHaqpSWmkTeJZO?@M?j?S_HoDWAdOYgPSFiDtAi`LImdRQihUSjiTl\Em^VOjeTrixl[emVVIjbTqIw|Yyl`UnjWtkyuTiCs^YbLGugbQDh{sXY_LFUfbPlgkslYILJuaRQlhOsTYQLDucrPLhksLY\LCU`rRdh_sLYGLLU`rRLgKs^YDLGu`BQDg?sXYALFU_RPlfss@X~L?u^bOTfssFX~LAU^bOldKrnXTK{uTBNDh{rlXsLOUfbMlfCtBXrLPu[bSTewsvY\KwUZrRdhSrVYVKuudbLde_spXiLLUYRRLhGrJXeLIUXrQ\eQrFXakouVzKDdortX]K|u^BJlf[qrXZK{u]BJTd_rtX{KjuTbN\nGjVTiistZYldUyoJWFkBU?j?d_Mn~W@k?T~I~t^uvkZ|lze}z]hnqviZylze}J]pnewAZqm@e|J_PnMvcZ}lyE~z_@nMu_Z{lfE~ZXxnmwAZJm@erZ_Pkqv{ZGm?EqjXHn}voZDl|Epz^HkYt~Z?l_unJVtjuv]Yxlwemz]@jitkZmluEmJ\hj]teZhltelZ\PjQt_Zhltekj\PjEt[ZflVeyJThmYtSZflUEyJTXmYv]YflSe{ZT@nAv[YcluEhj\hiUusZ\lneuzZ`lyv?ZVlpEuZ[HlaugZbljExZYhmQuCZPlaEszWXlIyW[|m^vNjfTrmxx[LMcvBrh\owyT\HMDVBBh\okyT\EMCvQB`Ds[wN[CMbV@RhDs[wL[PMXVCbe\p?xb[mM_VObeDq{yB\BMSVPRdTsOxR[aMNvGRc\qOx@[dMMVHrbtqWwz[XMYVEretpgxj[UMZvEBfLp[xp[RMTvJRalqowhXvk{u]JNTfqrv\imuVYzk|uezP\cMzVXbnDuSzn\xMovWrn\vgzD\zMgv]Rh|vgy`\uMeVRbnDsszn\ZMnVVRkDtoy~\XMuvZrjTt_z\\rMiv\Ri|vOyl\oMhV[bi\vCyhZflsUxj\LmmvTZklvUzZ\|nEv`\{NOv^RsDvw|D]`NJvgbrLy?{p]\NIVfrqtxw{j]dNHvcRs\xG|H]ZNFVcBrdw{{t]JnEvbJpLwi{P]YNAvfBo|xk{L]\N@V`Br|xw{F\~NPv_RsdyS{@\EmcVPzhLsmyT]enSVhzw\{E}D^ENYVkbwdzK}J^CNVvpbuLz?}J^FNUVqRtt{_|Z^FNSvqRtT{_|V]zN[VnRvTzo|r]}NYvoBu|z{|l^INkvrBz\{k}t^^NjVwRzD}?}n^[NgVsbzt|C}z^SNfvtRxt|K}Z^gNtvyb|l}c~X^aNqvxr{d}K~LW~k_UNjZTlquvZWlkutzh|tEy`\KmfVRZvDzi|r]tnZvlk?A?Z?O_Ao?g@z~y?U~y_Bn~G@K?P~j??^{o?f}z~h~]~}^xn~F}J}h~i~k^znyF~J}`~]~k^xnyf}K?X}z?G^noAf{K?p~F?O^rnxG@{Cw?]?R?Gk}u^zNtp}xB[_mMVFZbtvqzz\}n?V_Zn|{i}X^JnevrzxuB\@z_wO^WLcFeBd@f_tO\wLCFUB@@f_tOXWLCEMAt@p_uOVwLsDuAh@`_kOXWIsEMAh@Z_kOVwIsDu?h@B_JOPwASCU@x@r__O\wFsFU@t@|_ZO]wNCBe@`@N_hOLWESDEAd?j_UOSWDsC}AX?d_SOQWCsCmAD?^_bOGwGcAE?p@J_LORWBcCeE{?H?E_AwRcL}D@Bb`NOwWQsL}CtBb`KOwWQcLuEtAR`kOcWPSLMElAN`EOtWOcLMElAH`BOtWNsLuC@BX`@OuwWsJmETA~`cOnWWcJeEDAv`_OlWTsKuDdBP`WOrwSsIeDXAb`TOhO@w@K?a?N?H_CWeSQAHZCoaQpJgc[QYHZCoaTpJgdKPAHVCeaHpBgdKOqHFCGaQpAgcKOYGnCAaKp@GakPiFzC]a?pFG^{NIFRBs`qo{G[{NYFVBm`|ozG^G?c?Y?J?C_BO@[VQAJ@F_`oQWHkCmJ`DbaxPXwkcU}J`DhaxPZWlSU}ITDzafP^whcVuIxDhaoPZWjsUmItDfaqPTwkSTeJhDPa{PTWmsTMIPDtabP]WgcV]JxD@a~POwnSR}HfCvaYpNWfKRmEfBV`iouWZkLmK`FDbEPpwps[MK|E|bPPoWsCZ}KtFFbMPowrC[ULxERb_PdwvsXUKFEDb?p`wp[WeLpEjb\PjwusYuLHEpbXPiWucY]MTFnbeP{WxC]uNLFZbnPyw|C\uNDFTbqPtw{C\eM\FrbzPsw}c\ENpGDb}QAW~S_]OTF~cEQ?X@s_MHZCpaVpmWv[Z]LbEtbXqIHBkaAPZGicNqGhBkaAPNGccNqGhA[aYOjGccGqIHA{aqOvGicKqRGm[VEJ^Ffbspyw{K]UNFHKckqSHJkcyQvHOciqRHI{cyQfGmccqPhE[bAQVHQc_qThGkdQQFGyckqNhJkbqQvHGcYqMHG{bYQVIGcsQ_xKcg]RLIDdAQVxKSgMSLH`c}Q\xNSgERpH~ctQ[XLsfURXHrdLQaXRsguSxIJdGQdxPshUSdIXccqQxG{iqTBIodPqhHT{iYT^IidWqiHTkgMSNID?@QnhUW?YUDIt?AQoHU{jw?HIxd]??hW[jiU??F