CAT(2400,3)
Sparse6:
:~?d__?O?G?CAG@B?^_OOGwCcAI@D?c_PoIgDKA]@P?d_ROOoEKBU@f?q_ZOLGEsBQ@d?r_WoLWD[BA@X?l_VOJwKwDcAj@V?lOToJKDgAl@W?ioU?IsB]@v?w_[oNGFSCEAD?|_^oOGFsC}Ah@P_hOSwICCMAH@D_bOQGG{CyAV@K_coRWHSHs?x?\_NOUGJSDe?~?`_OoGGCC@}@x?y_[oLwFCBm@z@@_^OOgGCB}EAAh`VOiwTkIiDXAn`WOkWUSJQDfAn@Sol?T[JKDXAo@VOkOTkJGDTAJ`EobgP{GqC`AJ`GObGPsGuC^AP`HocgQ[HICbAT`IodgQsHQChAX`JoeWRCH]CpA[@SOe_S[ISCxAY@ROh?R[HkDNA\@Poh?RkISC|Ae@NOi?R{I[C~@q_uoZwMCEyBb@u_{O[wM{FUBh@c_qoWgKKEYBF@Z@OOVOSCDwDB@[@POW?SSD{DB@z@CO]OOkGWBxAF?~O]_PSFsCR@f?~oY?OCEkCB@h@@O`?LcGKBTDG?JODwBC@i?r?Z_JoEWBC@Y?v?Y_JoEgBC@Y?v?X_IODWA[HQClAT`KoeGQ{FMBh@t_zO]GM{GAB~A@`@O`GO[EAA~@Z_nOVGJkW[JjDyazp]WnCVYJjDxazp\gnCViJLDcarpWwlCUUH`CqaXpLGeKRUIFDCaapOgg{SYICDyaz`PWn?S]JiDEaz@OwnGSQJaC|a_@[GfwVIH{Dsa_`Zwf_VMJSC{a^`Zgg?UeJUC|au@OWfoUuI}CoaY`VgeGTuIyCqan`LGeWTyJACwao@MWk?RYJCCzap@LwkGRiIvDYalPUwjcTqIlDTaiPTwjKTaIgDdaj`Xgj?UQIqDfaj@YGigUMHUClaU`HwdGQ}HSCmaU@Jwd?QyHADGac`GghOQEIUCbae`Gwh_QII]Ceaf@HGi?QYHIDPaQ`Swc_TIJSB_av?wwZwUeJYB`au?xGlWMIJ]Bkaw?zg\gVQFUDpax?{G\wVMEqCf`l`IGZ_QiHQBY`n@JGZgQmG{CzaN`Lgc?RiHmCZa[@FGbgReGjCXaLPDga{PaGZCIaCpAw`sOqI[Bvaf_}Gi?NeIaBy`}@SwiONmIQBu`w`QG]OSiFeDJ`y`RW]_SqEZBM`fosGYSLEENBK`cOqWX[KiFKCN`r`CGaWMeFOCPaI?ygaOMUEgB@`a_tWYoKMEKBW`h_pGYwKIDuB~`]@?G^oJuFyB?`^@?gVwOEDiCC`Z@@W_WJ]DsCGaB_mGVGOYQA?Q_EoBgAC@E?^HI?DOAw@[?q?X?I_GOCWAS?y?Z?Ncq`IwdKQiHNCkaSPKGe[RUHdCsaWoFGBk@y?|?\_MOHWC{AY@P?i_SoMWE{Bm@t?{_[ORwICDEAd@R_iOQWHSCmAX@M_eowWZ{MAFDBc`ppAg`cOeGZCMaDp?W^kOIF|B~a?OpwXCKeEXBI`domwV{JqDzB?`^QoPSKiYTDIddPqhHR{iASvI]dMQfXQ?jqSgI}d\acXPwjuSeI~d_AchV?g]SOIvd[a_xUggQTkIEd\A`XOCfuSDH}d?q^xNCfeRnHyc}Q]xTwfERcIocyakXMWjITgHucyAkxLGhUSkHddJaXhKwhaRSIYcsAeXV?deTsHYd[aUxJgjUQ{IvcmAlhUgeMTkH_dZaWXV?eITsHccnamXT_eATQHadTAWxJwi]TUHccoaiHR?daSiHUcjaeXQod]QoIYdJaThLgdAQcHkchaYxIGfAQiHnciAZhEgi]PkIgdUAMXTGb]TSGydTaMHJGa}P_HYcnAKxEOdmQyGscmAKXDGdAQaGichAIxIWauQiGmciAJHC?fiPAH{cMa\xCOfmO}HxcNA]HTg`]T[GWdUaEXBOiuOwImcLajhSG_mO]IacGAhXS__uTEGKdRABhGw_aOIHFcBAQXH?_iOMHHccAAW~GciNsHJb~ARg~WcqNyHNb}ARXHO^MQUFsce@|XHg^YQ]Fwcf@|w}GjuN[I~d]@zW|wjyU?FqbwAmw{GcUNEHEbrAOW{_cMNIHCc`@whGo\iMqH@bkAPXGO\]QEFUbiaPHPG[}SSFOdD`sXP_\IS[FSdE`swxGfERcFIcy@qxMW[qM[Hubea\Ww_jAMIIpbbakxU_[YMOIqb`ajwuwbmLoG}b[aNWvOcAPwE{b\aNwvggMMCIGb^A`GvwgUMAIFb_A`guGhqS{EqdO@kwu_huS}EudL`lXFWYmL[G}bUAOGtgbqL_G~c]`jxTwX}TaE_bOakxU_YILGIobPakgsweURSEibQaXhLGYYROEgcr`iWr?eyRUERcu@dGqoeuR_ETbJaZwpgg}K_IPbFacHQ_XIKaIQdH`bhPGW]SUEIdD@aGpWgqKWIMdE`aWoOjuKEIzbAanhVwWEU?EEbAAnHNoVmSCD{d?@^xNgVyK?I@c~`^XAG^}OcG?cHa?h?_`YOiGBcIA?W{waMNOGccQ`yXCo]iPOFkcR`ywrg]AKqFZbL@vGzgXqM{E]bL`vwAk@M?f?S_IoDGPkGyC^AJ`EOcGEcBU@b?r_ZOKgOsGiCRAF`AoaGNKFuBt@z_~O^GJ[DqAz@__nOVwKcEEBD@e_poXWrcXiKrEZbNPfX?k_YONGGcCqAgws[]MFFCbapqGsKYMK~E_bQPggp[WqKPEFbDPaWn[VqJzD}b?P^woKWIKFECbBP`Wo[WEKDECbBP`X~X@E^wOQf}cCyA_~e^{OUgIb}h}h?A^eO@fzC?h}x?M^gOCf~b}H|g}]^SNnfuB{H|W~E^QNqfsBzh}W|m^?NufyBvHzg~U]{Nwfnb|x{G{}^CNOfhbxH{g|E]gNefhBwx|G{e^UNJfdBxx|O{y^WNKfsBrXxO|q]QNZfmbqxzo{q]}NMfoBrY@o{Y]MOOfcCBy@W{M_WNCgEbpY@Wo}_YKRgEBCHaH?y__KSeHCBxu{za\xMzf\RmXs[x}\@M`fQRghq@?U_SMMgBBbxph?]_QMQfGcAHow}E[ONafCbwxp_}Y[SNdfDbxHm_{YZaNDevboxm?{Q]OLrfbb[h~Gt]^sLWemB}xjW~uYqN}elB~Hi_}yYiNqegbzXiO}}YkNpehb{Hfw{}]gL?e`BsXgW|M]cLCe_bsHdgzuX[M}eVbnxe?{AXcNAeWboXcx?U_QKieSC@hdH?]XWOGgDBIy?GqA_?K[eMc@H~wpm_EK^g@BFhvgoy\{KHf`BAxvwoiWYN?eEBoX\X@EVWOQdvCCyA_nA_kJngIazXzOme]iJdfjAxhywma]oJidrbuXWg|iUENWdaBtxWG|U]kJEd`BuXuGy]\cMdfSBkxsozQ\SMufSblXoWsuY]MEf?bQxoOsqY_MCefB`XgguMZGLEeqbPxl?siZKLGerbQXtWrU\WKueYBjXeWyyXoMofVbLxagqEXCKUeJbGxb?qQWsKeeKbHX_oxaWEMReABdH_gxUWOMVeBbdhnWnuZyJ}e~A~xn_oAWCM?e?b^x^?nQVkJxd}A{h]wnUVsJrd|a{X[OuIYyJ^doBVh[Gt}VGL`dpbWHZOuqUwLldlbYhlWlyZQJ\dkbZhmglMZkJSdib\xYovaZsJVdkB]XfGkuXsJMe\arxf_lAX{JQe]asXWwxeUQMYddBexr_kq[{JGddbfW?c?U?L?F_CoAGcSQEHFCcaRPHWgcSIINDBabPPWIsD]Aj@C_cOPWG{CYAFBR`iotgY{LaEhBd`rOyW\SMaFNBj`uozg\cNAF^CBaAp@g_cOaGNJ`dqQvx[SmAVFJEd`QpHW[kUUBSrIStKadTQ_h`SjIVTJQeLQoh^SJIJtBabTOogpSNILtBQbLOgglSFIJTAAb\O_gnSHIKtAQbTO[gpSgH~TIQ^tQgf~S?IUt?AddN{hVRzIEs}q`dNogTR|IFs~Q`tNogVR\IPSwAc\LwhHRaIRTHq[LL{hJS]HitFAYLLGg~S\HhtGQYtQ?ehROIHsqqaDPGeZRNIGtDAXdPSe\SrHZskqd|JOh\QtIWSmAeLRGdlQ`IGShQadIOgjQbIGtCaStPKdDS`HNtFAR\PscxS]HMtGASDP{c|QYHzs}QQ|HSfpQUH|SeA]tHcfjSaHCtGqPTQOcVSdHETHqPtGshLSEGqT?QJ|OGb@P`I@sWq_dEGgJOtgZSLyFDBi`rOqIAsJq_TB?gFSEGXt?QEdBCgHObHysHA^DASfrOeH|S|qDDNW`NOZgLSDyBD@q_rPFHjsQAZDCcerRYGdSRAZdCkevQxHUsjaVTI{dvQoH]SkaVlJCd|QGHIS_qP|GOc`QDHGs`aQ\G[cdPvHas]AWtFceNPyHcS^AXTFkeRPpGtsZAMTF?blPlGxsZqMdEwbjPdH^sXaWDE[eBPgH`SpALTEceFPVHrsTa\DDKfFPSHqSxQJDMWajPLG}sRqNtD?b~PMH?S_aITDCcBP@Hvs{AGTNKaLRsGas{aGdNCaFRhG\szaF|Mg`xRjG]sOA\dMs`|PYGSsIaJdAkazOkGksJaJ\Asa|O`HSshqBlI__|O^HTSGaTdA?dVVmC\qNHFkcAP|G~cnqWHK[eERDHc`HocgQKHmCtA[_VOJGDkBA@V?nbdPqwxc[uMRFMbHpdGqkXYKpEVa|p^GnkVyK@D~gjSTYIdD]apPRggsSIITC}aZPMkPUFjCLaApFW^kLuEjBd`eozWWkNEBJBx_uo[W_kFeGZAHaMo_WakAEAj@X_IoMW@kBE?J?h_aoEWHkBD~Z?x^yoOV}j}eAY~x_mn}WIjyEEJBH^UosVukLd|y~H`unoW[kHD{i}X`Yn[WVjveCy}@`UnaWSjvD}i|x^mn_V{j|d{i~P^MnaV{judxI{x]mnKVkjudwy{h]mnCVkjsDoI|HZynSU~j_dyIwX]emCVikHDXJAXUUogTekIdXylH`]okTgk@dRYi@_IoITPieE?Z?`Syi]W?i\EBIfX_uo[S{i]eByfx`Eh{WOiYD|Ieh^UhqVuiZD|y~@R]nqSwjaDkiwhZMlkVFjbDlIux[emOUtjUDSiiXYuigUmiidjyixZEikUojTdrit@[ilKVJjeDhyxxYemYUij[DbivHW}lsUOj\dcYv`XIlyURj@DtizHWYmsUFjjd_yzXWUmoUCizD^ImxVujoT}i~d]YoHVmk?TyjgD[IyHVEmcTqjhd[ymh\UjgVSitdvYlh]Ej[V_itDvIlx\yjWV^indeYjpXQkiT_jJDWYqxUMkoTajODUIsPTulATXjPdUishTmlGT[jLdPihXXuiQU]jLDPyhPX}iOU[jDDOig@WaiGUHjEDPYphSMkUT@_EoCW@s?}?d?OjsTyi|L]unXVj_AO@W?s?e?P?Fa\pLge{RaHrCya]PNWgKRyI@C~_]oNgF{CIAB@?`_oogW[KQEJBE`[olWVSJYDpAv`_OngVcJuD~AzdkquxZSlqU|J\dcQqXW{kmUXJIm?ezz\`nuvSZ{m?Eyz\pnyvYZ~ltexJ\`mUvSZelvExz\xmevYZglkEsjZHlMugZYljevJYhluukZZlzErJXhnmvoZMl|Erz^HlEvmZOlee{Z]hlAu[Zqlge{zX`nAu]Zsl_EvjZxkEv?ZAlpeoz[PkUvAZClkEmjZHjmuuY{lmEnZVxlut{ZYlYEvjZxjUv?Yuloelz[XjevCYwlbekjTpkYt]ZElWEpzUXkataZGlce^jXPgAuQX~lde_zXXgEuSYAkrEszY`e]uiXgljEYZLXlIumXil_EWJWPeEuEXalaEWzWheUuAXckeEyJH@mQqQZdkdexjHhmeqSZflwEOjGXnMviXFkaE|JGhnEqKZqkZE~J_@bmpmZ|k[E~jFPoEpqZ~kWE|jEHn]pcZwkXe}Z^PbUpgZzlSE]JNhiqtYXzlSe]ZN`iitUXylMedZQ@hqs{YPlHEfzQXiEsgY_lDehZPPiIs]YflEEgzPhiYs[YclJE`JPHhmsmYDlBeeZR@gYsOYYkxEUjJxf]quXrkmE\JJpfYqyXtkiEZJIheuqqXokjEZjMHdaqmXnkUeRjDXc}q_WikVeSZIXaqqcWmkRENJC`bupIW}kReNzDHcApOX@ckqUhJ[dqQ|H\_uoZgL{FABd@pcNQFXB{aAPDG`cLqFHA{`aOrGYb~q?X?S_QOFG?bEpbgp{XEK`EQnNFiztPyA{}]knUfgzsPy}|A]mnLFkJuhxa|a]XnLfkjrhzM{w]snFfgZs@wq{}]LnPfbjqHxy{_]anBFfZoxxa{O]XnLFaZr`wm{u]InRfVJjhyQ|I\]nSFWZtHt}|K\_nIFTZi@xIyg]VmhfdZiHxY{e\QmaFlZuPs]|_\DnWfPju`se|e\GnTFNjtXr}|W\?nUfOZgXy}yC]mnQfGjt@qA|K[cmOfhJsxqUxE]hmFFcj`xx]{e[RmHFdja@xU{g[PmvF\JlxvUz_\umwf\znHvMzc\wmqfYZl@uIzE\imqFYzkpuqzM\lm[FQjhxrqyY[|m[fQzhprixu\KmXFTjjXrMxg\VmkFLZextiyq[umUFEjeHp}xY[ZmVFFJdxpyx_[\mKFIjcppQwm[jmRfDZbHqawk[hm|FAJnXoewU\{m}fAj`hv}wW\}m@F_J_XwEwG]AmAf_zoho]{G[E_DoAg@cQ}H\Cl`kougZ[LqE|B\`YolgVCJ]DtAxjLTeyrdXuk~U]jCtaIpTWmkZUKoZgHkEaAV@i_doZGHkFIA^@o_foPGM{CaBz@G_yoPgN[FyAJ@E_{nbgKkDp{J@]^BnbGK{E@{R@a^DnpgNj{QBq~I_|o^fwJ{IBj@u^coYFukEh|m}w_wnmgLzzyBe}{_unegKZxaBI}U_mncgKzxQA}}O_on]GIKDPzz@Q]|oUFn{DX{F@Y^?n\gIKDHzZ@Y]woTFl{D`zf@U]yoIGG[CA@F?__[oHGF[Bq@V?e_^oDGDk@Y@^?Y_XoEGEK@y@n?[_YnuF}J|h~e~y^onvF}j~X~E~]^{nxFxj{x~M~O^snsf|Z|X~]~S^uniG@Jyi?U}k_Enjg@{@H|f?O^Wn~Frj~x{~??^Ongg?ZyQ?I}e_BpLAPxHKcaQnHWcjOWWKSEMBH@d_rUJzDTampXWmkUuHJClaYpNWhkSWhcRuI\CzagPNWfSTMH|DVa^PTWecTeItCtamPLwjsR]JDCxaoPMW]SQeFhCh`uPIw\sQuF`Cl`zPIwdsMEHdBdaVOxweSMMH`BjaWOyWUCSuDdDN`YPSWUsTMDtDV`[PTWScTeItAfamOiWTST}D\Db`UPWWPcSEC\DBaaOcWgsHMClDJ`IPQWgsGeC@D@`@POwgcGUITAJacO`wbCIMCpCP`LPCwRcPUGtA``NPDw_cLUE|CJ`jP@wZCOeExCN`lPBWXCNeETBz`eO~WXsN}GDBR`gP?WbcJuG|A~`_PGWWSQMELCf`aPHWdKQuHVCraVpKO@G@K?]?J?G_BW~S]eN|Flb~Pzw~c]mNtFrb}P{W}c[UNhFLbdP}W}s[}MPFxbzPpwmS_EOTDvawQ?wmc_UJpGFa|QAWkc_EJLGFasQ?wlS_eOTDncAPZWvC\EM@FVb`PuwvS\ML|FTb]PuWuc\uM|ElboPjw{SZELlFfbXPxWosX]KhE@bKP`WnsXmK|EBbMP^WpCYEKTEbbFPhWqCY]KXEjbHPiX@sdeOXHTcJQVXAcdmOdH^cGQTxECcePlHNc\QSxEScmPpHPceQLXCsbuPHHFcSQNxDScEQDGncUQPXCCeUOpH`cpQExKs`uPDHjcsQFxLcgUR\IFcwQaXMSgmS\HvcyQbXNChERtIRc}QdXNsh]SDIZd?QeO?SiaSy?CdTQfo?SiqTA?EdVQgxSo?YTfIc?AQk^