CAT(2328,2)
Sparse6:
:~?cW_?O?G?CBO@T?g_SoM_CkA]@L?v_[oMGF[Bq@t?z_]OMgEwBE@q?r_[?KgEcBY@j?k?WOJOD{Ak@\@W?ZoMWFCBA@^?m_WoKgE[DyB@@^_loVWJcDcB@@W?nOU_J{DsAl@Z?ioToJcDgAf@W?iOUOISC{A@@@?goO_ICCKA^@C?goPOICCoAj@M?jOToHkCeAV@I_bOQGG{BsAh@Q?^OSoF{HO@F?c_POGwCcAI@J?f_ROHWC{AYA@@A__oOwGkCQ@z?~_^Ol?TSIqDVAk`TOiwU?IuD]Ao`W?jgSoImDOAk`R_igROIECwAa`L_gGS_HuDIA^`N?gwQOIeCaAh`H_iWPoIAC_A``F_ggQOIMDGAP`Q_cwRgGqC}AL`N?awR_GuCsAK`L_awQcHYCjAV`KoeGOgGiCMAG`B?aWPoGiC_AG`F_aWOWH]CqAA`A?eGQoGICEAS`A?dWMSFABb@s_yo[wOKF}C@Ag?~Oh_NcI[Bz@z_{o]gMsFaBn@l_vOZwL[EqBTAn?soY?TkE[D\@c@Ao`_KsESCNAl?oojoK[EGD\CJ@GocwQSG}C`AM_ToJWDcPEGfCQaC?lG`GJYGSAtaH_|gaON]FoCP`yo|G][MEFDBb`qoxg[cLyE~B_`l`CGZgOyEwCNaC?uG`GLeGSBY`fosWYCLQEfBQ`b@AwX?OuEMCKaD_owWgOuGWBC`_@BwWOPAEACM`}@?g^oOQFyCB`~_}W_GNmG?By`w_mW]OJaDmBo`s?qW\GKmFMBI`u?rG\OKyFUBL`]_zgVoM}D}Bl`\`@WV_OYDsCF`W_tWUWLYDcBV_SOIWDSJMDdApakpUwjSSQILDDaN`UwboTeGyDYaj@Egj?PqImCZaj`Dga_TaIkCTaJ`RwhoPeIYCWa_`SGgWTIICDPad@LWh_R]IUCua]@Kge_RuHeCza[@JwfOREHqCoa^@IWdOSAH}CjaR@PwhGQ]HODGaP`Swi_QUIiCcaO@JGcOQyHACl_WoKwESBQ@l?t_}O^gNkFeBv@y_ooWgK[PyG~C\bF`dWqwXEKkEObF`aWpWXEK_EIbB@cgp?XQKMERbE@`gpoWaKYEFa}p^wnsUwKdDoBIPZoq[UiJRDgbD`XWkoWeJMEIan`bGkGWyJ?ELam@dWqwTyKkD\at`_wlgWUJWECa|@\GmoVqJiDza{`[wmwVEJoDqb?@WgoOUQKADbbc?SWH{DAAf@S_hOTgIkD]@P?i_SoQgH[CeFxB}`}o}W^[NiFlBw`zo{w]kNQFZBn`vOxw\KMaFTBk`tpt?{C\SNBFUBpPsOyk\KMhFQBjProzk\?M~FMBnPu?xs\cM`FNBjpwox[[sNHFdBePu_x[[sMvF[BePqO|S[gNVFGBspx_xS]_MRFfBcPh?|C]WLLEdBrpno{C[CNDF?Bopn?|KZwNVE|BtPmOy{\cLvFWB\PwousZ_NHEvBqpkwukZQL`EqbWpjOzkY{M~EmBnPsOtSYoMfFQBTpu_s{\oLRFZBSPgOwkYKMNEaBbPpOrs[[L@FEBNpoorc[OKzFABLpo_rC[OKtFBBKqM_P[GuCXAA`@o`GeCREH^CqaYPKwcKQIH@CdaPpHHFgceP}HJc^AQhGobuQMG~ccANhGWbiPwHDc\aPHG?biPwHAc\aOX?k_YOHG[cNQFXA?caQKGQcbaCXGW_uO]HDcaABhGO_qQ?GIc_aAx?wciQQGGcCaQxEw_IPqGBc?aMG~ob]O?Gxb~aMG~WbQNwGub}aLXE_^aNsGtb{aLhEG^]PeFtcX@|hEG^IPeFscX@{xE?^EN]GnbwAJg|_ayN[GobuaJxCg`}PMG`cRAGHD?`eOuGicLAIXAoaIOoGccJaGxAWamOiGlcIAJHQ_gmSXILdCQahPKdSSbIRCjqT`QSdGSbIRCiQSpQSdCS`IMCgQbpH{cwS`IMCeqR@P{fcSJHzDBq]`OsgGR`HqDAQ_pMKegQtHkCkQYpJKe[R~HhD?qY@OCewRJHnCrQZPKcfWRBHwCpq\pKSfKQ|HtCoQ\@J{dsR|H|ClqV@Nc[MMHFAbappwwsiWT|J?DSQnpS{jmTzI{dUQjXTsicUBIjD`qi`WSkCSnJBDKqo`RChST|ISD_QnpQsiKT^IdDWqh@UCi?TpIaD\QgPVKjSSzI^DZqf`UshgTdIsDMQepU[ayP`GncWqKxESbQPlGtc[qLxFCkOVJJEDrqpP[smkU~J`Duqw@\cmSUxJfDnQx`ZklcVPJZDsqu`\SlWVDJVDpqu@[clMUjJSdgQshYKksVPJNDtQr`\KkkVZJjDeQq`\cmGUNJcDcqwpXChAS^IMdGqcxQSoeWVKIeCR@x_sooVtKMD}RBP^[ooVnJwEFRBP^Ko{VhJuEGrC@]ko{VbKPDxrC@]SoKW@KAEAr?P_cmwVzJoD~qzp^sq[W|KhEORI@b{qOWvKeEMrHPbcp_WdKYEHrEPacpWXBKVEPrG`akrKXTKsETrLPdcqsX`KnEXRJ`eKOaGTCH_PoHGCSJQDjAu`ZomWVCLUEnBU`kougZCJIDfApanpWWkCTqI|D\cJQEHA{`MOhGTdJqeXRChQSlITe@R?H_KnyV~J|erbWHl?uIZKL`eqBVXkgt}Y{LbelBWHj_uIYuL`embTxjGt}Y{LWelbThjOtQYwLTehBUHjGtMYaLVegBThhwtQY[LTegBQHhwsiY[LHebbShggtMYKLPe`bPXgwsIYGLEedbOXg?sqX}LLecBNxhOsEYQL?e]BRXfosmXyLKe]BOhg_ryYEK|e[BXxl?rYZKKveqBMXfOuMZIKzfM?DwBC@Y?t?Z_KrhOBc@u?|Mm?OoFwCCGYCNAD`COagPKAu@X?j_VOKGD{EUBL@caRPIGc{PUGlCSbRPhGskYiLXEjclQUXJCdmQzH[ddQrHX[k]URJGeHRDHa[pUWlKVfibuHyw|i]kNXfhBuxzg|Q]eN[fibsHyo{}]mNPfhBrHy_{y]eNLfcbrxxW|E]SNOffBphww{q]ONLfdbpXxO{Q]QNBfcBoXwO{Y]MN?f]bmhv_zy\}MzfZbpHvG{U\oNBf[bmhv_z]\oMzfZBoXu_{I\iN?fXbnxuOzu\aM}fXblXuGzY\cMsfVRjxuCyy\`MnesbixlWyuZSMkfJBuHr?|i[mNXfHbuxzgxU[gN[fGBiHqGyi[cMhfEbhXsow}\MMMfDBghp_yQ[UMbfCbhXsww]\KMGfAbiHooyi\QMCfNb_XsGwM\?MAe~Bgho?yQZ}Mbe|bfHngxyZwM\fNb]HnOyE\?LxfMB\XrgvY[{LvexBeXrWvQZeMYevbixmGyuZ_MkeuBeXlgxi[uLmga?Ag@c?m?Z?N_FSROAK@I?`PU?IOCwAlDaalPVgjSTyJC|wafN^GirwAIdBw_POIG^sAQGD?k`|P?GEsBAF|DC_JPQGBSSA?|?Ga^PMGASRQ?[~{adO@Ggs?AIDCo^xN}GdSQp~k~kaTPKF|SQp~LCs^lPNF{SR`}{~KaRNtGcR|AG|CW^`PDFxSP@}K}{aRNlGbrzaHC}oaHNjGbRyaGlCC^NNhG`ryAGS}OafNeGirxQIdCC^BPBFpsO`{TBg`hOxGXSMAE\BW`^OvGWsLQEDAg`ZOjGVSJADLAO`NOdGSSGqCtA?_zOaGNSFqCL@[_tOWGMSEQB\Bk_bO|GHsNAAT@O_\OUGGSDQ@|Ig?l?V_KODwBC@Y?v?X_LOEwBS@edw?[_NOFWBc@y?zO}g_SNyVhKIeGQ}h]CoyW@KIeGR@h^coyTXJYdSQwhUClyUpIud]QwhVClyVXJEdqQoh\CkiVHJMduQth\ClIKTEQbFPdgrsXiRpJ}d?R@hNcoIRXJqcwQ}h]cfYR@JUcsQshKckyTxHUcmQlhVCdiUHHQdcQQhWCcyQHIqc_QjhFciiJHIedMPZglCiISxDudQP]hSCVIS`Gqc[QehEchYOXGecIQJhACaiP@GEcCQEhBc_INxFYbyPtg~C\IMxFEbqPrg{C[iLpFib]PzgwC^IL@EmbYPiguCYYJxIEdEP_gocgg@S?q?V?I_EOAw@k?}?\?L_FoBibw@I?`?P_HOCWADI]dRQgfKrexrSyQ\DMbfSRihtKym\ZMkiOdHicxQAg}SdiPDHYcxQQhESeiFDEY`xPmgYSYiLDCIaPPmgaSXiMDDYbhPMg{SSiNDDyb`PagySUiSDAidPOmhQSKiBdHI`HQIgOSbiBDDib@OQgmSDiOD?ycHOEg}SAh~DCIaPN}gaS?h|dCy^hPUfwSSiEc}I`xNig[RxhydKYeXN]hcRuhwS{Y\|NQffRqhuDKYeXMyhcRliSCyYdPMmhQRihrDIy\@QufMSkiVcwy[hRAh[RciUcwid`MAhUR`hmdJiZpRAe}SnhdsrYXdKye`RNhhssiYLLQejRUhlCpYZ`K]euREhdCuIXHLeeORVg`SOyGLCmaXPIggSSYITDMajPSjGdPih@XMkcTFjDDUyp@TuiwUHilDcyj@XEiqUQiidaIpPT]ikUHjDdSii`WuieUKjEdRyp`TAkUTPieDbipxSyiYUOidDcIhXWyiQUNi\TNIf\Ruh~S}i_TOYgTSQiJTBjAd[ymhW]jgUEj@D[Io`VIkETpj?dZynxUyk?TliuD]YlPVmjUTyird^ilHVqjyTgizdXImpUYjoTdiYDWiepUMhiT`inDLyk@Rei}SwjIdpYqp[YmGUSj`dmywHZumCU{j[DnivPZ}lqV?jediYtX[}m[UijSDlYuxY]lkUejQdqyx`YMlGVIjODjysPZElAUojMdkyrpZQlcU^jUDeitpXqlYUZjJdpyrH[ekoVGjw_FwCKAA@B?^_OSAi@D?e_VOLgESuIZLL]etR[hlt}b?D^ooDVzK?t}A~|^cnzV}Jzt}a}d^onlVzJyt}Q}L^KnnVwJxT{A}\]wnbVnJxT{A}t]{nhVmJyt~Qyt\_n~VVJ~TtB?L\SoDVRK?TsA|D\GnTVPJstxq|d]snJVeJttwaz|]KnBVcJoTuQzd\km|VYJmuK?A[@U?h?T_IOCyUtJadnQyh\smYJ\DiarP[gnSVYoLV}k@T{i~T^YnLVmjtTui{T\yjtUAi~TbipTWZIXb}qaX@khEOJI@bup{XNk]ERjGhbepuXFk\EPjFXcMpsXCk`EMZHXbYqYWwkeELzH@bYqSWwkceLzE`b}piX@kXeOJE@bqpaW}kXENZE@aupcWmkVeKZEhaupgWmkVeKz?Xa]oIWhkAEIJC`cyq_WekQeRzIHaEqeWbkhEGjC@cuo}XJkNERJGh`mqMW\kbEFJH@`aosXIkKeQZAhcIomXBkJEPJAd`IofWOkGuBz@paipWWKkTeBZCx_epQWJkSEAj?xaqoOWjkBEIjSPPegvSYiMTFiblZUlnUujXTlIu\ZAl^UpjUTjitliktJYlLRujBSti_tJYiLRuiRStiGtbYrLQUgrUTiGt\YbLWUhBT|fwtbYrL?U^rUTfotZX|LTujBN\f_t^YoK|UjbNLi_rjYiKzuiRMte}rbXokvUZJLli?rVXhLOufrLTe[sxY]KsUXbRlhcrFYZKquebKde?srXaLLuWRRTdwspX^LJUVRQ|hWqtX[LKUUrQ|iCqrY^KkUgBI|hwqlY\KiUTRRdgksZYKLFuabPtgcs`YQLCU`rQLhKsHYTLBUdBOlfOsFXrL?u[bOTnovZZnlvUyj\dmmvqY|l^e}jVpnmvqYyl|enJ^PjmvkYvl{EmZ]xjatgZulZE}JUhn]u?Z`l`EwzWHmIu}ZoloE{j]HlyviZYlkE|JZHnMuaZQliErzY@lMuiZKljerjYpkuuQZcldexjXPmUvOZGlbEyZ[xk]uGZ[laevZWXlmpNWhkSUIjDdamwt[[mLvEZa|paxK[SmJFIJcxpUwa[imHfIZaPqmxQZ~m?fIz_@qixKZ{mSE~jcxnuwU[bmEfHZ``qQwy[GmNfAjbpoew[[DmGF@z`xoYwC[_mPF@JcHoMslYWlJuejR\hesxY\lNUgZR|iAxW\OmVFSZdhtIya\FmhFQJi@seyG\ImbFRJghsmye\@m`fTZgPtQy[[}mefOJhxr}xv[|m]VMJfTreyS[tmZfRJhXrYyY[qmffLJhprMx_\TmWfTJdxtMvlZwlzu}Z^\niyl\Wmjv[zmTvEzg\amqF\jkXvUzg\^mzFWZmhuAyw\vm{fVjjhvayq\vm{fUzjPvazQ\jmsFZZlPuqz[\dmwFXzlxuYzs]Im}FaZnXwm{K]KnCFbjoxwu{_]?nFf_jqHwEzy]BnAf^zo`vy{u]WnLFfZr`xe{c]VnIFdjqXxUn\VnjwUajPdgmsNYHlCU~z_LoAvxZ}l}vYJlTuezN\emqvkBvDzG|n]pNZVkrtlzS|^]sNVVkbtTzC|X]oNTviRtly[|^]gNVVibsdyW|X]dNTvhrsdyW|P]dNSvfbuty?|p]^NZvkrsLzS|F]sNPVto?{?a?RWlkVuJjX|lAubZKlfUrZddqyxZ[nmWVKZnTvqzv\|m~v^j|@}y~W^enrfzZ|H}M~U^dntFxJ{@}M~C^dnofxJ{x|}}y^gnnFxj{@|i}w^`npFuzz`|}}{^YnmfuzyHzi}e]xn\fsj|H{y~U^OntFrzxX}q}W^lnefzjxP|e}O^VncfuJyx{U}M^XnbFuJy`{I}k^CnifozyHz}}e^@nhFoJv`|Q|{^Un]ft[Bw?Q?L?DoNf~{?AAE~{__oNf}z~iAF@?^{n{gFKBp~i~o_\nygEZ}q@m~m_YnxGEZ}a@i~e_ZnvgFKBp~A~a_\oHgB[Ai?~?g_MoDGCK@Y@J?W_PoCg?[?Y?^?O_AoJG@KBA?Z?m_D_BoAG@K?e?N?GocgOcGuCDAP`?ObwOsGuCTAP`CObwLsG]BdAJ_wOaWLCGEBXAD_tO_wMcEMBp@f_zOXWJcFmB|@`_nO^WISCUAh@H_bOSWIsCmAt@N_kORO@G?k?Y?H?E_AwYbyL|M}d^SnjVt[KIEfBE`gopGX{KaEfBK`foqgYKIiEjBW`VotgTkKaDzB?`eoqgV{KIDnBE`[opGV[LiDbB]`YovGU[LaDRBU`RohGYkLiC~B]`PovGSKHUCfAV`KofWR[BM@n?t_]oMwFKMyHFBkaRo{GckPqF~CAaNpGG_KQIFrCe`}pHG^[PqFfC_`zpFg]kMMFBBd`royW\[OiGnCYaFpEG`kOQGbCGaIp@ga[TIHRDUaUpTGd[SYHvDIa]pQGf{RQIFCwa_pPGe{QyIZCqagpKGh{UQIrD[aspUgk{TyJVDaavpWGlkGuC^APaJpEwbKPEGjCRbEP^WpCWEKTD~a}P_woCWUKLD~awPaWmSWmJhELazP_wosVmJpEDbUOsWY[K}INDJacpPWg[SELpEpb]PjWvSY}LhElbZPkWuSY}LLERbGPiWpsYmLdE`bYPgwusYULtEZbNPnWrcZeKhEjbRPeWtCX]NPFGbppxgw{]QMJFeb^pwgw[]QMBFKbjpqgz[[yMrFObmpwGyk\yMfFybsp~g|k^qNVFsbwp}G}[^YN^EjbSphx@c_EO`GBcFQ@X@s_]OTGPcEQAW{[]]NI?AcHQFxCO?YOjG_?AQDo?c`aO~Ga?@QFXC??YOv