CAT(2688,3)

Sparse6:

:~?i?_?O?G?C?_?J?E_BoCO@s?}?`?N_GOBgBg?Q?H?C_R?GOA{A??r?a?KODoBk@c?~?W?NOK?DkA}@\?u?WoKgECBo@h?r_YoLgFCB]AI?}_]oNGFGB}AA?z_\?OGHoBi@r?z_m_SgIKDMAb@R_hOR_ISD?Af@N?goRWH[CqA[@J_e_SGH_C}AH@A_`oQGHKCiAL@F_aoJWD{AyAD@C_`o^_NCFiBr@y_{o]GM{FUBl@Y_mOUwLkEqB\@e?yoY?M{E[Bl@X?xOU?McD[Bf@h?ioT?L[EgAl@c?voXOMKEKB`@\?oOW_J{DwBB?k_UOJGT?Aa@N?e`V?IgDKAmBX@l_vOWGKSEEDjAu`YOlGUsJUC~A``OOfwSKIADDAb`QOjoUKJKD\Ao@XOi?T[IgDZAh@UOioTsJ?DZAn@UOhoRsISCzAe@MO_wOKGIDa@}`X__GUOF}DIAU`R_eGSoH]CwAR`N?dWRgHQDGAO`H?gwQGIIDOAJ`S_agTOGqCRAF`CO`gOkGQBx@z_}oeOPkG{CvAM@LO{oC[AQ@JCD?QoGwCc@u?~?]aF?GGCSAEDJAf`ROQwHkCq@\?l_VoKwEcBU@l?v_[OOgGcCMCTAK`DoaWO{GaHcCeaSPHwbKP]GpBp`wO{g]CNEFdBs`xo|W]cNUFfBu`{O|w^{OAGBCMARPBoc{Q_G`CJAPpB?ckOsHHCFAOPG__kQCGLCGAOPA_cSOcHBC\A@PFo_cPwGFCMALPC?bcO{GvB~AKP?ObKO?GnCUA@PD?_cPSGFB}AGo~?a[PGFzB|@{o~?^[NwFtCGAEpA_`cOcGVB?ALOo_bcKCGvBv@uo}?\{NWF\Bk`toyg[{MeFPB`APowockMGHHBD@{ooo^[NgEHB_`novgZWPuEwC^aN?vWa_LaGiBYaJ?uWWoOUEOCEaB_pwVOPEGeA{aH?mwYWLUEgBV`h?tgX_MQFKBM`e_xWVoKeD}BI`]_qwVGK}EaAw`g?lwsGNYFpBvaDpBW`cB}AB@?_\OMwFKDQAj@U_ioTgIcE}Bb@o_nOVwJkLIEhBRba`owwc[ILqE~b\`oWvO[AL_E{bX@nguGZuL_Eub[@kWuwZILeEibU@lWu_YmLWEmbV`igtgYmLBEbbPPgWs[YIH{E~a_@oWfw[ALMETbJ@iGqwYeLqEQb\`dGvOXMKUE{b^@agvgWeMCEEb``aGw_W]LoEAb?@lwoGZYJtD{a|poom{[GJrFCA{Pn?mcVSL|DuB]ph_mSYOJfEdAwpP?s{SWLRDDBSPYoscUsLLDkBQpjok{YsJLEmAqpX?u[UKLjDaBYPVorsUCL@D_BNpeog{ScKzE[AcPUWjSTmIiEXai@eGrOTMKoDLbK`RwrOSyHgE~aX@oWeW[AHbCoaVpJ_rkQsKxCkBLpIorsQcK~CiBOPb?p{WwKbELBGP_olsWSJ`ECAvpOolCUgIDD@AspMojcRsI|C{AmpT_fCT_HtDVA[pQ_iKSoIdDJAgPLOn{RWJzCvA~QNOBS@q?v?V_KoEHGo@i?x?Z_OOGgCKdG@F?d_QOgwScIIAJ@F_bO_GNsF}CBAB`@O`GOsGUBv@{_}o^WN[FqJjDuayP[gm[VEIHDEaapPwhKSaHlCvaYpIwdSQeH\ClaUPKGd{REH^CpaWQ^XNcfyR|H{c}q]hNKfmRtHzc{q[`MkfKRbHsCwQY`JCeoQtHjCkqXpJCecQtHgCkqT`OSdSSHHVD@q^pIcdGSBHRD?QN`NCb{RlG|Czq\`HkcoRpHvCfQ\@ICdCRjHrCfqR@MCcwRbHqCeqP`Lkc_R^HFCvQQPLsckR^HICuqZ@GcekQJHiC`qSPKseSQ`HcCfqVpHSe?QVH]CcqO`J[dsQ@H[C_qN`GcbsQJG~C`qS`GCdOQDHRC_pvPKc\{RLF]CqqI@J[doPTH\CSqHPF[a[PtGeC]QFpKKaCRFG_CpQF@LKe_O|HfCMqEXBS`mQKGUccAEHGw`]O_H]cHAWHAGd}SCGLcFa`HOW_yQiGIcjaBHIo_mOKHbcAaWX?_eINWGyc]@zW|obmNEH~bqa_W{_gAMaGvbhaMGyObeM[GvbgAMWxwbaMNFEbaqIp?KasOFGkC@P}`Cc^cPDGbB{QKO}SbKNhGqBxpzo~[^CNzFoB}P~_|K_?NVF~BtPx`Dsb?NPFfCVqA?{S_cN@GFBopu_}k\oNlFZBzpt?y{\_MjFXBjQL?x[[sPlGtBePq@Ak`OMTGRBcrI`FSbmPxHLcfQRHH{dAQbBx`|O}w^cNyFz?o_XOKWFcBy@z@X_kOTwJCDeAn@Y_loVGJSDqAv@r_yO[gLCEYBNA~`^OnWWCKEEDBi`uOyw[{MeFPBe`qOxWW[KUEHAw`[olwVSJqDvGXcLqEh@{_yOZFnbwp{Gws[]MJL]enrVXiktYYhLQehrSXhwuUY[LbeqBSHh[suYXLGedRQXmOsaZgLIexbQXgot]YMLWekbPXgSsQYFLhE`RP@l[sKZTLYE^rV@gKtkY@KxErRMplCrgZNLMEZRM@iCs{XnKyEYrMpe[rcXhKoEpRK`kCrCZBKoE]RK`fkrCX|KleVrJhdSqqXVKceRRHXccqYXJKfeSrIHdKq]XPKaEbrP`cKqKYJK]E_rNpcCp{Y@LnDOR[@SKvCTDKQEuRD@lspKZZKKEprXP`suOWZLaEDrAPkKu?WTK[E?R?`bkoCWvKYD|rE@^SpcVxJxELRE@^Cn[WrJjErQzPlCmoZNK\DsRF@\SpkVRJXEmrV`Z[lgY~JQEuqs@lslCZXLnDfr[PXsv?UZLPDbrSpXKtGUPJCEirT@WskSYlJBEjrUPWSkCYpLqD\r\@VkvKTxItEsqlpl[jWZTKrDXQl@ekrOTfIkEdqj`hkisYXLYDRRV@TCtkTNK{DMqfpfshwXzIYEIrDpRchkWlKVDIQdPakhWWlIPEZQcpfChGXnIMETQc@dcg{XVIJENQbPcCgoW~KlDDQa@dsgcX^KbDBq``cKqGSJKNEBrCP`Cp?WLJmD}q{@^{m{V|JaDqqx@[{mKVLJUDnqwPZCm?UnJIDyQ|`X[koVjJ[D^Qo@Zsj{UzIwDxqm`]KjcVdIpDiQtPT{j?UfIhE@qip_kigWHIVDPqePSkh_THOq?MOEwBTBwWjKVeJREHbKpiX@K^eNRGXc[qIKpEYbKpfGr[XuK|E^bOOiwTkIq@f?t_YPMGfSReHvC{a]pOGfsR}IBDBa`P^Wn{VyHhCraXPIwdKQiHXCmaUs\qLxEib_PhgvCYIKhEmbYPfguCXiJtDuaxPXglsUiIpD}aoP_gocTyKPDMbGPTgpcTIIDDIabPLgfsRiIXCiaWPTgdcTIG|CeaPPCgbSPYGHC]aCPHg`cQIG`Bya?PEgacNyFlBq`vOzg]SNYE|BY`jOwg\SMYIpBIaoOsgjcKyDhFY`WPsgVC\YEHAe`UOngTCKIKXAabGOfgpCHiCXEAbAOdgQCVyDx@u`_O]gNcKYBPFY_wPsgLc\YAxFE_qPrgKC[iMX@IbaORgxCCY@pBi`oOOg[cBy@PBY`iOGgCcLx~@BM^mOsfzCKiHw~Aa[Nqgeb{X{xCi^QPKfsCQx{@B}a?N^fnCNhzhCMaAN[g`Buxy`DI]cPPfhcSIJ_{Y]OP]fbcVYJG{MauNDglBpHv`FMbcMzgwbmhuxFQ\qPuf[C\YM?zYb[MtfYCZxtpEmbYMnguBkHsPEa\GPifPcYYKgxe[uPfgrBehqKxA[dMFfCRaX~x?I_AOCg?C?xvw}y\yNnf^BzX{o~u^{Ncfqb~H}W|U^iNVfyBth~G{}^uNPf|BsH{G{q]YNbfpBrhxG|a]UNYfdBuX|O{A^WNAftboY@_x}_YM`gDbgHr_yU\MM]fRBfXtOxY\OMWfSbdyA_xM_iMSgJBdXtWwu\YMNfUBbiC?wi`CMKgObaxuGwQ[KMrfAbkhnp?U[?OFe~c@hoGvaZsMAf@b]XnWvUZwLve}b\ifObePnGwcaqPHG[OAGBB~a@P@G_[\eMpFVbmPugz[yq\ZMjfVRkHt{zE\fMqfYRlhukwu[\MNfAR`XoswE[FMAe|r^XncveZtLweyr\xmtV?ijTVijTRyiLTAiITEicDOyg`S]iUTAicdOIhPSEh}T?i^DOYfhSIiIS{iaDMygXRihhSuiYtLyfDRehcTeiXdXYk`REhcT`iXdWykPREhmTZi[DVYfHTqhgTWiZDUiehTejUSditDHicxUqjYS`iODZybxUyiUSXidDEyhHPigkTEiJdPyh@PajQSOiHDXyaHUajSSLitdBil`O}jUSIiuDAylPOqjYSCiBDZylpOUj]SBiud?ilpOEi{R}ind?Ik@N}fcSyhyDMy]XRqhyRnhwdNy]@Ryi}RkioCzijpMujQRihtdXy\HUafKTUiicyI[xT]i]RbhqdSYi@MQemTZhkdVYZ@TqegTWhjDUiYhTeeRRIhcSpyWlKYjAQuipcmIkPJ]deTchYdXiU`UUdETShOdSiiXIIiWQ]ifCgIhhH}dKTKhQDRYShSyigQhhSDSiiXI]g{SiiMDIYbhQagiSciIDGiaXQMeyQlhVcvyTpLyfuRAhaC~Y^`KMf?R?hocoYVxMIgMQ{iCcni`@JuduR[h[cuyZPJid_RMhgCkiXxJEcuQihMcjIR`ImhUQUiUcdyd`HUccSmhIDKIQXQ}coQNhLCcYRHHAcKRxhCC}IOxNicERvhAc|iO`NUcQQ?hDc_YOPGicYP}hFC^yNhGqbsRJg}CrYNXKqbmRPg{csyN@LIouSsiZTLYe|RehpK[eMrEwR{IADBJpdxq{hY[lUUhILdDqbHPshAS^IDdBq`hPCgiSRRyh{s}I]lN]flQKhFSbYPLGmcTQ@h?S_iNlF}b|XPKZULzFDbSq^XOKXuLBHtbApdWpkeEJZDxcmqYWmkQeIjCpaqpGWjkQeIZCpaapGWfkNUGJB|`uoxWZkKeQJBPciqQWWkaeEJBHc]osXEjITdiql_cpBWJKPUAbC\_WpDWGKOu@rC\_OpRWDKRu?rDD^kpTV{KUT}bD\^cq\VwKgT|rH|cknhXLJzURA}l]wqVVoKetzrHd]_q\XOJtTyRH|]Sp~VfK_TxbGL]GqDVbK`txBGd\}nBV_jnTvIzl[{prWzJfUMaxlbomTVKK^UNQx\Zko|U|KOTnBB|Z_ovUyKMtmRBdc_kzXIJNuQQrtcSktXFJMUPar\XeknUWjGeOiqXcQkcXBjFeNyppcAk_X@k\DazFXWukWWxk]DaIpPbypyUHkVd_ioXaukGWmkXd`jE`WUpiUFi{eLinXbajsWvkXD]JEHV]p_Tujkd~YzX^}msV}k?Dtiz@_ImmW@jaDlYux[YlkVDjbdkixHZQmOUrjWdzI|hY}l_VjjUeDItp`IlWWRjTdsiy@YemaUijSEDysp`YlMWTjQdtIsX\UlGVRjOD{YsP^MlAVqj?DoywHWEj}VAi}Dninp[AjyU~kED[ym`_yjiWLkFd[JAHVIo_Tplw?CWA[@I?j?S_JSJyELBA`vO|g]SLiE|BU`pOyg[o{g]KNA\PMifSrhXs{yYwE[ImAFAZ_PoawG[Em@f@z_PoUv~[@m?U~j^dnuvSZrlyeyz\`nQv_ZglxEyZ]Hm]vG[GlrFAj[hoevC[Flpf@Z[HoYvuZ[l{evZ^PlmuiZxlje}zYpnivkZ?l{Eoj]xkEvkY|l^e}JVpn]viYyl]E{zVXnQtoZql[e{JUxnEt[Z~m?ekJ_@i}tUZ{lUE~jThnusgZllIezjQXm}vYYOlHEzz\phEqtXZkmUTJItdUsqZQlLEszY`hmskZWlKEujQxleu_YNlEesZXxgyv?YKlneajPXlysMZHldEaZP@kmuWYClfE`jXhgUtCYAl@ehJOHiMr{Ydl?EhzNxiYs}Xzk}egZN`iAroY[lMe]ZRpfiriZEkzeqJMpk]rgZDkxEpJMXkMrKYskreljL@jUtaXdkpekjUXeQr?XnkweWjKHfAtOX\lTEVzTHdyqmXlkvEUZL`daqaXjkhEYZIXei?`?M_Fv``ccqUXLKgeSrHzI|deqpXPkhuSjpxwm{a]HnGFajoxwy{O]KnBFbZpHwM{I]JnAFajopwA{O]AnBf_Znptyyw\~m}fVZjXvuys\~mkf^jj@wqym]MmjFbZpxtM{a\TnGFTJeXwI{?[smXF_ZdxwM{G[onAfKZmXuizc\hmwfYJkhvYzK\smrf\Zhhs]y]\HmfFQJiPsqya\ImgFQzlpryz_\?mvfNzfXumxy\lm]FZJcpt}xO\`mRfWJk`qUxG\ampfGzf@qAxC[ymOfMZbhrUxm[^mNFLjb`qmws[imLfIZd`pewm[mmUfEJa`v]wk\xmIf]JnXpEzw[Qm|FCz`psEyE[Om`FBz`XsQwY\EmEFPW@c?m?Z?K_DoBYx|[ymZVKjdTqz{@|]~C^XnofuJy`}M}k^cnifxZ|@{U}M^enbFxz|P{M~Q^AntfpJ{@yu~C]nnofjjtP}M|W^dnTfxJrX}e{y^jnMFyjr@}Y{s^gnrfeZqlx]{l]RnIVcjyX|m}w^Qngfujzp{}}}^Onmfrju@zq|c]}nWfnZuXz}|i^@nYFoJsxze|u]hnSFmjupyQ|K]wnQflzx@yE}S]bncfgjrp{m|?^LnNfrIeLRMhdQUhJsdYQdHMcdXnkwu[JTDietT_jOSWIcDmAd@X_mORWKCC}A|@J_aOVWHCD}AL@`_jOPWJSCeAp@F_XOQwEsC}@h@L_UOSWISBEAh?n_@o@w?j~u?A~~^zn}v~J~D~i~r^kOEvzc@|}t?\_HOOwACCE@|?N_EOMwFc?e?T?x^tOGV|sAT~X?b^qOHv|CAl~L?h_INvwBB}M?k~``cKKUEjBLWIkHUBjAt`yotVQjjTriwt[imDsQyL\Dm_vOzgU?f?N_GoAw@k?eFzBx`|o|w][NUFDBh`qOxw[CMmFXB\`wOvw\sLmFdBT`kO|WYsN]FpBN`}Osw^SLEFXBH`wOqw\sKuETBf`cOywXcMeEt@z_~OvwZcFuEHAx``OmwWsJ]EHAt`WOpwWSJMCrAZ`ModwQkHMC@B``AOxWOSMMBPBN_uOsWLSLMBDBT`kOXwYsEUE@Af`]OiWScJ}DTA^`UOgwTsIECT@v`BO]WPCFUB\AL_xOcWMCG}Jw?R?I_COAW@C?ic|Q_hNsgYS\IIdHQehQshyTLIasfYTlIUcjQLhArLXgkruXZK\eREubHplGp{ZIKbEGbUpbGuKWiL^D|b?p^wo[W]KJEeb@p`gtKYiKJE_a}phGoKYIJ~DobFp\GqKVIKfEIavpbGlkWaJVDuaspXGn[VaJND]azpWgnKUAJvEsaeplgiKZII^DGbKpPgqkSiKnD?bLpfGg[SQK~CmbUpKguKRAL^C[bOpGGskPyLFCYbTphga{PaLRCQbKpdgakPAKjE[aEpfg`{OiKvCyahpNgi{RqIjDYaZpVGfKRQIrCa`~p?gc{QQGBCCaSpAGdkOYHU?b?R_HODGAs@U{D]@n?V_zolwQwh[UmIvCZa\pJHEcnqOhJkcQQvG{ciqNhJKcAQnGwc]qMhGKbYP~HAcWqPhEkcQPfGRcIqDx@{_uObHScBqAhJKdYORFscmp}HJ{^YQvHKbapqHH[caMNFMchqRgxk[iQbE}ccqRGw[[AQVHMb[qSgvkdALvGic?qJh?kaqOFGcb|qIG~{aYNzFmcNqGg}[aANbFicLpzHBk]aOrFUbmpwGz[\yMrFabgpxgyk]QMfJQ``opwWj\lm}v\`KofWR[HMCnAT`GobWP{G]CVAHdkQ{x]CluUtJtdtQvXZCm}VXJZdeQxX[sk}U`JhdgQwxZskuV@JNcuQvxMCmMR\J`dhQgxSsl]THJTdiQfXYSiEUlI^dxQbXPsnEVhIJdtQaX\sgUVXIFdsQ\X[sfMRlJddVQpxUSkmT`JHdUQpXTCkMTTJ@dJQlXRSjeSpIvd\QdXQCj}TxIRcrQ^xLSgMRPI@c{QWXKcfuRDHzes?Ao@w?s?U?N?E_EoBG@]U^JLdgp\wn[VeF~CBa?pPwh[SeIFD@aap@W`KO]R~IBd?q]XNkfm[pLxfMR\XrSv]Z\MRfJR[xmCxUZTMLeuRcXpsue[LLtfDR]XpCv]ZtLfepR^xkcvuZDLzeqR^xksvuZTL^eoRYXlctuZ\L\ewRWXmSt}[@LPeiR`XoStM[HLLf?RRxoSsmYlKxelRNXjCrmYpKtelRKxisr][LKfeTRaxdCwe[pK`fMRHXrSqMWtM^eNRgxbcyEWhMfeJRiXbCyUWPMdeERiX`Sy]WDM^eBRgx_cyEVxMLe?RcX^sw}VlMRfJQ}x^CxUYHKNeHRQXgspEX|Kle`RKXgCq}YnLZekrVXkKt}ZFLfeqpqWwk[]MVFNbesLIDLBa`ZOugTsMIClBY`FOsgRsCID|BI_jOogHsAiD|BI_^OogEsMhylBy]nNWg]sMhx|By]fO{fgsPhxLCi]ZPGfdroiGK{YaJNCg`rnIGKzyaFN?garjIG{yyaVPGfTs@IA|@i_ROEgKsFH~|AA_FO]g?r{h|k~A^nNmfyr}H{{~q^VNyfsrwHu{}Q\vNaf[ruhuK|y\jN[fXsSIRlHya^PKhLsgIO\IQcNQahAsiIOLFqdVQeg~saIM|GqbvQIg{s[iQLHIbbPshFsWiLlDyb^P_gtsXIJLEYavP[gssSiQlDYcrPShJstiWlLieRRWhbsniTlKIdbR?hVsmIYLJqejQyhhsqiU\JYe^Qshe_?i\tLuf??Ehx_@I]DL}fC?Ahssx_?tMufG?Cht