CAT(2352,6)
Sparse6:
:~?co_?O?G?CA??v?]_NoEgBc@u?v?^_LOFWBc@y@c?m_UoKGDcA}@b?}?YoLwESBM@l?s_\ONGF[Bu@r?w__oOgF{ByA@@B_j?GGC[AU@B?c_POHgDCA]@V?h_TOMgFCBe@v?|_]OOGFsB}AB@B_`O__McFABb@q_yo[wMsF]Bv@w_{o]gLwFiBo@m_v?]WLwFYB]@z_v?\wM?EeBa@k_x_YwMOEiBY@s_s?\WJCDeAl@V_loUgMGDuBe@^_w?VGM_EEBc@__n?\WKODeAo@b_q?UwKgDYAm@f_l?XgKODuBG@__p_VGKoD}BM@`_q_VgNODEBo@O_{_SwNWDUAg@u_h?\wIGEaBQ@S_t?TWIOEmBY@O_h_ZGHCCYAR@C_aoPwHSCuAV@M_eORwYoLAEbBQ`hotWYcKgEHBG@dopOXcKWEZBH@fopoXsJUDdAu`XolwUcL?DXBP@Uok?YkJCEfBS@VOjoYSIkEZAh@eOh_XSI[EVAi@foi?XsIADFAc`OoggSkHQCrAW`JodWQsL?CDAB@go`?YSGSEfAF@io`_YcJwDpAz@_onoVKJgE@A{@`onOWSH?CvAM@MOboRkHgCbAR@Noc_RsG_B|AH?~o_OPcFoCZ@|@DO_?P[QO@r?{_]oMGFSBmHcCdaRPHwccQeHPC_ARPGOccP{HNC]ASpI?cSQKHJB[ALOv_bcPsE~B_ALovObKMCGpCUAMPC_bCPKGvC\AIPDobSPSGrCMaEPBw`kPEG`C]ABPAOcKOgHFCFAOPAocSO_G~C@a@P?G_cOUGFBy`~o~W^sNmFxBsATpIo]{QgFpCj@ypI_]sQgFrBc`roww[SMUFLBV`louWYsLaEtBg@vOyO\{MgF`Bp@to{o\cNGFZEHAKPEWbkPiGvC[aNpGGcKQIG|Cb_aOPwGkCaAR@E`yO|W]sN]FrBwbU`gwsSYELHEdbRPgwskYQLBEebPPcWqCW}KdERbIPaGpCWYKLEFbBp`Or[WCK|ECBMP__rkWKL@E?BNpboncX?JzEPA~P]_qSVkKhERA~p__pKWKKTEKBApaooKW?K\ELBAPNos[RwLBEcA`Pg_gKSKLLD?BQpZ_pKU{KTEJAxPb?mKWwJ`ELAxpX?nsUWJ~DyAqp^?k{UKJvDaA}pVGjkTyI~D`aoPTgjCTmIrDValPe_hsXcIZDIBIpd_h[X[I^EWAePNWfCReHtCza]PL_sCXkHdCrBMPL?rkR[K|CtBNpJOqkX[H\EXAVpe_eKXWHXEWAWPZOnKUcJhDtAtp\_lcUgJnDwAsPP?iCSSIbDEAhPPoi[ScIjDSAcQL?Ac@Y?j?X_JoEGAS@M?d?P_GoCwAc@]?j?U_KOEWAC?y?^Dya|p^GnkVyJ~EEbCP`wXcK}EZBJ`dOrgCcAU@D?__OoGwDKAY@P?f_TOIwDkAy@^?k_WoKGRSHmCxA\`NOfwWcKUENBE`coqGV{JyEDB@``ooGPCGeCTAL`EOawNsGEBzA?_~o^GlsVEJ^DrawP[gj{UEIxD\aoPVghsSqITDJafpRWekRIHlCraZpLGdsQ}H`CpaUPJXT_h?TLIPDRqb`TChKTTIjDFqiPQSgoTDIHDOQbPSkg_TBIIDPqapScikSNIADRqi`O[gOTPIeDBQiPOkfsSzI^C}Q^`RSgCSvH~DMQf`OCgKRtHuDAQ]pO{f[SDHxDAq]@Osh{RHIZCqqf@KshwRPHhDLQXpRkdaQtHZcmQVXJKfWQrH[C{QVPNSd_RrHvClqU`N[dGRTHRCtqTPLsdWR^HkCjqT@LkccS\HIDFqQpQCcoSbHMDHQcpHkfSP^GpCwQ\@E[bGRbGoCxQ[pDse[PXGhCrQI`KcecPPGlCqqY@D[dCPfGmCfqRpD{b?Q`HPCXQKPICcWTNHFDRQPpTCc_TVIiCcQP`TKh[QBIUC`Qd@Gkc?SrITC`qe@GcdwPlH^C[QL@K[e?PjH`C[qW`E{bkQdHSC\QN`IsboQjHRC^qNPI{aSO~GeCQQH`CSaSP@GfCOqHpC[`oPpG[CYqFPEs`wPhG]C[qFPE{acPtG}CTQMpDca_P~G{CTqNPDk\[RxF[D?pu@Nk\cR|FYD?Q^oz[ccOZHICFQBpH[`?QXGQCfQCPHk_oRbHsCDq[`@KfSOTHrCBqA@MC_QOLGDc@q?h?K^wRBFzCpqW`?CdwN~H^B}p~@KC]cQBH?BtQO_|[cKNXFmCaPzPGk]ST@FfDQPwpSK]_TJFeDPpx@SShOMbIXBiqdOyShWMlIWBiQdoy[[]MTFDbbPqWxCgkMBFADCQbOwC[OSTFBDCqb?v{ZcRTEyCtpmpLcZoRZE}CvpnPLs`{LjG_BZPm@CKZOPDErCQPlpC[Y[OrEiCKqE_tC`kLRGZBTpj@BS]{NjFpBzP{_}{^?NpFyByP}O}[`KMzGSBnQDOz{`WN@GWBpQDo{K[sL`ElBdpjoxc[wL\FOBXProuKwgOrGZcLQHXC{aY?t?\_NOEwB{@qA`@P_ioSgI[DQ@f?v_XOLWEsBQA^@J_eORWHSCyFtB}`|o~G^{NuEvBW`kotwZSLYL~F?b_pogwc[MLvE{b\PnWvKZy\yMof]BjxuOz}\[MyfXbmxuGzy\AMwfMBlHrozU[yMufOBlxrwze[\MNfErbXp{wy[WMafEBhXpOyM[SMcfRbaxsowm[OMyfAbnxowzm\wMHf]b`HoozyTWMafRajXTwyMT_McfRAkXToyU[ILlewB`Hlwwe[OLmewb`xoouq\OL_fSbWXtOuIZGMkeqbjXtWuMY}MVelBdhjWxaYwMXenBehrWtu[_LSfHBThqWtU[iLVfGbUHjGxQY[M\efbfhi?x}YaM_ehbgXr_tI\gK{fYbNXuory\mK~f[bOXv?sAX`KteWrKhecrMXHKfeSrIHcsqU\OKQfTBCxawyu\QKTfTbDht_pQWEMSfHB@X__xM[_K?e?bdX_OxEVVJhduqzH\CmiU_MUdgbdxYWxeUgMYfLashYgxaUUMnddBkHuGkq\cJLfXarxXoyyYWLweeb]XnOsaZuLHe}bQhn_smWWKve[BBX`oriW]KzeGbLhfGpAZ{KEe~b@xo?oa[AKHf@bAxoOoiVaKkdvBIh]WqmXYJqeVazxdonAVkJfdpA|H^?mQVEJtd{axX]wmYV?K[eKAvHbGluWsJ]dobFXbWl}UkLedjbXxZ?uaUqLhdlbYxZOuiXEJFeNaqHW_pyUIK_dcbGXcOkYT{LAd^bOxg_kMU?LDd`BPxWGsYZcIweyanHmWjeZgIyezanXVWvYTkJ{d|Akh^WjMTgJ~dZa~hUgnubs?S_IoEWA{@a?l?P_HoCgAC?}?\?N_GOBgoCWEKHEDb@P_wD{BE@X?l_WOJgOsG]CFAC`@O`WNcF}BzA?`?o^glCUqJRDiaupYwdsRAHXCnaWpJXiktQYlLVekrUHYSlMU`JPdiqtIVxJedvQyh]snIVtI{dNQgHUsjaTLJ?dXQqHTskQTTJKcjQWHYSeaUtJSclQvHJseQVDGKdvQxHAsnAOtGOd|QyHCSnQO|F[dZQmG{sjqMtJ?bhQqGys]AULEwcnPnHIseAMDFCclQYGxseQMTH?bVQNGsScaLTHCbRPkHISZQQ\EGdNPbHSSXATLE[dXPdHTsXaTTDocRQMGnsVQPTDwcVP`HEsWAPdHkaTPJHMSRqSDCsc~PMHNSRARlCGc^QOG^ScQF|C?cdPBHISOQQ\Hk`dQ\GXsLqR|Hw`hOuHOSLQRdAobtOoG~sJQNtAwbvP|GWsJqNdAOdnO_HXsGQUdAGdjOdH[SGqUt@gc@OZH?SFAOL@{cDQAGNSFQOL?odDQ`GCSgq@TIO_VQeGEsAQSl?GdBOBHPSgq?dIO_JQeGBshQ?t?CcNQCF}S_p~k~wcJO?HCR~qOtFg^`PzFwr|QN|Fo^dNrG~R|ANlJc^TQyFtsn`|tJk^XQ{FvsnP|k|_cRNYHDruQPS|kcXN\HFSbPzdF[]ZNMGzS]@xc{{bjPsFgS]PyK{I]FN?f_rpXwdDWaHPVGasUAGtDcaNPZGcsUaHC}?`vNbG]rvaFC}G`xN`G[rvqFT?wa`PQGHSBqIL@?afORGisCQIc}O`LNhGTrxQC{}W`POiFrryADK|G^lNSF{rtP~S|W^vNvFjrsp~C{__rOSFbSDpx[{[_jNHGKSD`xS?u?Z?LixaFHBk`yPPGlcSqIhDcamPdGncVQKXE[bAFDBf`rOww[kMQNzF}b|p~x?C^qN^FobxP{W}[^QN\FhbtPyw|c]uLdEpbUpkGt{YylKUajOtgIsdYUlFUQjGtcyptW}k`U_I}TgQnlYGj|T~JPt_QslW?lHTmiutZyllU}j\R]I{t\aZlV_fBR^I|T]q[TV[f@UdIqtgAkLYCjDUaIpthAktYKjHTSJHTbah|W{i`TRJGTSQq\XCidTIIxtQQm\VOiVTtIeT\AhtVSiZSxiZtMif\RqhpUAIWtKaodRWkLSrJAtLAo|RSkFSjJLTJAr\QskxSmJMtKAr|Q{k|ShJEtbAdTWghJUJIRTIApDQ[kRUUINtdQcdXchDS_JITdqcLX_hFSZiKtEibtPugxSGIwtAQmTO[jdSKIwTAamDOkjbS@JCTaq_lOGkRUII@tbQ_dOWkXT~H~t_A^lNkjzR{I~T_Q^tO?jxUAHyt_q]tWSfnUEH{T`q^TWOfrRnJIS{AqlNCklUWHyS{arLX[ffTuHst\q\TV_fVTxHuT]q\tVgfZU[HjsuAr|XwerRYJLsvArTLkkzRUhissYYTLQefRDhdSpiXLK]ePTiIktTQk|TWjPThIjtZAjTUkipSUIbtQAbDPKiJSSIbTDqg\PSiHTZHptVA[dT{fPRdImsxakDTwfNS|HdtNaXdR{eZROI`TOQXtK{i@Q~IEsoA`tKCg^RAIGSpAaTPCeFXPAjpUGjKTYIvDYe\rLhe{raXtKxkgEEJBHcyosXNkLeRjI@`uowXNkBEUJ?xdeoOXYkmEAz@Hd]quWIkje?JJ@_EqqWAk@eUjJ`_UquWCkgdyJIP]eqeVikidyy|hdYqgVkkhDpZIH[QqeVEkiDpzIh[eqkVGj]TmIvTZelzUzk^eMZGHbapuX?k]ELjFPbup{WvkQECjCh`MpQWVkREDJD@`YpMWTkGD~y~p_qnsWLkFD}zAH^qo]V|kWD|ZEH^YpcVvj{EKzE`^QnqWtkbd{y|pcIn]XBjwEPJGp^EqIVqjjdniwX\YmqU~jlDoIwP\mmAVWjgEIjDx\MmaWljhEJjD`\UpUVSjpDqi{X[mmWVcjedxYxp]Ym]VfjXeGyux`}o{UqkODlZCHZQlkWajVdvItp]AlWV\jWdviu@]ElYV^kcDhjHHYeqSUikddhyt@culUXK_AO@g?k?]?R?G_Co@w@C?i?X?J_DOAw@c?q?T?J_BoAW@C`}PDGccOQGxCKZMLhEtbZPmGu{YqLNEgbSpiwtSY]LPEhbUPigt\AE`@OagQSHYC\?y_^OOgGsCyAT?m_POHgDSBY@c{q]`NLffRsXx|aQpJWekRuIZDD^QnjVvj{t|i~D\]mlVXjkTuyzTZelpUyj\tnYvdYqlZUmjVtkYuDo_wj[JMJVDB`Tp[wR[LMKvBBbDmgwtZjMLuzBbdmwwzZnMNuzRbtmsvbZiLxUzb]\m{v`ZtLuUyr]dpOu|Z^MIvDb[Dp[vB[XLpvEB[Tl_wRZXMDUub`Dokuv[LLmvBBZdlkv|Z{LmUub^lo?upZ\L~v?RZLlUulZVliutzYtlEuhZNlgUszYTkox@[`LeVGbXlqKu\ZLMQvHBXtp?uP[MLbVBrW|kgwbZJMHuqRaToGu^[BLgV@BYLoWud[DLhutB_|k[vRZcLbUqr[lkcvLZfLcUqb\DgCx@[`L@VGbO\qKsH[dLBVHBOlpgtzY}MLunrbdk?wzZAMNuoRbtj[vJY{LsUmB[tjcvNYyLsuxBV\jWuJYtL`uorULjKuHYsLaupBUTikv`YkLxujR]dnSt`YmLxUjr]LmKs`Z`LGuwbP|gsu|YQLnuwBPtg[vlYGLzuaR^DgkvrYKL|uab^ToGrvX{MAU^R_lfwwN[BL?U^r_to{rn[QK|VBbMlfWw`XwMHvCRNLngrXZuKtu|rLLn_rTZzKvU}RLloCrJ[?Kru~BK\nsrHXgL~UXb^|hctJYYLRUerS|i_sxY]LTUfRTLhKs~YSLOUeBS\hStBYULQUdrSTfGrDXpKoUVRL|fOrBXrKnUVrMD{Sj`Tqiwr`Hokwe[LMGfBtPYg\SQiLTGibsoyWdJ}e@RAh_u^JN\gArzX}k~vnrx\zo}P]|NcvnbxT{C}Z^?NeVtbvTzk}h]uNkVuRvL|[|n^TN[Vibwlyk}J^ENVVpbtd{[|^^FNUvhrxt{{|H]dNgVsbtL|C|P]eNhvfRyl|O{p^WNKvebytxo}n]ZNkv`bxtw[}^]GNgVsRpL|K{T^QNDvqBoD{c{B^JN@VrBo\wS}Z]CNdVYBzTuc}v^[MtvvRlT|{zZ^]MuVvbiTt?}v\PNlVvBil|syf^^MiVHbwTq[}F^CMTvIbwdqc}F[gN`V^BqTvw{n\yNHv^Rqtv{{j\zNIVZbpdu{{Z]OMwv[BptxCzf]NMxVgrkTuK{|\cNNvXbsLu[|D\dNOVkBjdzKyz]tMovkRjtzOy~]qMoVKBhdssx\\NMWvRbd|qoyV[lMdVPBitsSyn\WMbVURg|tkyR\YMcVNrm|vWyB\AM{v\RgDsKzp\sM^VMBeTrcxf[yMYVMrelr[xz[{MZO@G?k?Y?H?E_Avojw\{Qq\XOkfs\IMlFYbnPxg{UIjD\a}pXWmkUtiit\YYlRUgjRvQjh\sqyZ\NmfVSJiLtIyf\TmiWScLUElAf`kOiWZSI]E|Ad`mOiWRCMECtBb`OOxWRsMmCxBf`POyWRcGuCpAN`NOcWRSHMClAb`IOgWOCMECDBb`AOxWOsM]CTBj`COyWGcKeALBJ_cOrWHSK}AXBR`gORwTSBeDT?z_]OjWTsCMA@An_^OjWDcJE@\Ar`YOLWUsB]@dAz_WOmWCCLUEl?b`kOHWCsLm@TB^_SOvWAcKu?lBN_KOsWBSLMET?^`cOFV|cJt~HA~`_NxwWR}eEK~n`aNywUb|uD_~X`XNuwUr}L}|Az`[NwWVb{t}\A~^gOovySK]EG~V`_NtWLCFUBT@v_uO]WLsFmB|@r_wO^WKR{l}@@\^`OVvwcED}L@f^cOXV~cDEAc~~_iO?WIs?MAt?F_kO@V~C?|~l?L^|OCv}C?e?_~r^yOAwmCVuJdD~ayP_WmsWMKLDza{P`WkcXUKpDnbNPXwlCX]JXEZbMPYwesSuHxDTafPMwecTMHpDVagPNw_cQeGLCjaCPJWeSOmH`CNaVPBWjsQ]ItC\aNPUWjcQEJDCbaoPHWpCPEKTCRbEPDWpsP]GtERaKPcW^CSEFtDBaaO~WgsN}GDDJacP?W]CY]FXE``vPgw]SYUFhEj`zPiW{C^MNHFpbpPzw|C\uM|FlbrPywuS\]MpEnbhPkWuc\ELlFZbiPjW}c[UNlFFbcP}WxS^mM\F~beP~WvC_ELtGBb]Q@X@S[MM@GFb^QAX@cbEO\GrcGQLXEs`MPtGVc[QDXCc`ePLGZcSQFXDS`}PDGncOQJO?SbqQQ?Cc^QQxH_?YQBHM?AQOo?SdIQNHO?BQP^