CAT(2688,7)

Sparse6:

:~?i?_?O?G?CDG@d?p_XoZoLKEmBT@j_soYgJ?DUAm@T_k_TWJGDmAm@[_k?UgJWDuAs@]_m?VwJgEABC@^_n?WWKWEABC@d_q?WWKWEYBI@g_q?XwKoEeBO@j_r_YgIwC}Ao@P_k_SGHoDYAY@U_e?TgHwDqAs@P_g?UwKWCeBI@I_q?QwKoCeBO@I_r_QwIODuAg@^_h_VgIOEABC@S_h_WWGWC]AG@G_a_PgGOBq@u@?___MgGWBuAI?~_a?NgFWBu@w?~_\?NgF?CY@m@G_[_PwGGCyAC@L_e?OGEoB]@q?s_[?LWDcAm@ZB??VoKGDsKWAX@M_eoPgHCC]@v?{_\ONgF{BuA@@A__oOwGkCQ@r?v_[OLGEkBYEvB\`mOuoZCLoEtB\@kor_X{LCEXBO@eos_XcLOE\BR@eosOYkL[E^BO@jOp_YSK_EfBF@iOtOX[KcElBI@joqOZSKkEpBI@kokwUSJEDUAv`U_mWT_JaDsAm`W?nGTwJmC}Ax`O_lwS?JaDwAb`Q?mgVWIIDIAs`R?lWSwJYDOAs`T?lgTGJUEKAL`F_qGPoK]BoBB`a_]WNOKQBuBB`a_^WN_KQB}B@`??ogNoKAE?A@`@_ogWGGICGA|`B?nwOgJyDyAF`^_aWVoGaCwAR`N?dWRgHQCuAP`K_cgROHACU@v_z?bGPOFUBgAW_x_dgMOH]BY@n_w_ZGLoFA@D?c_PpLOCkAY@ND@?SOIgDKBI@b?r_WoKgE[EuBX@madPRGh[SEIFDAa_pOwgSSAH~C}ad@OGfoSqH}DJaa`MwgoRuIGC{a\`PwhGRuHwDGaSpIwdSQKINDHAQpH?hCQ?IHCaAbPGOgkNOHpBtA\O{ofKRKFNCs@sOyOeSRSFTCv@uPL_\[RWFHBeAZpLO[kRKFZCs@voz_eSR_F`BqA\O{OfKMCH^BbAWow_eCLwH^B^AWow?eCN{GJCFA?p??_sO_GDCIAAPAO_[PsHXC^AVPF_dkP[GtCXAMPE?b[PKGjCUAGpC_acOwHLCgAGPBoc{NoGVB}AEo~O`cN_FvBv@|O|_^KXw@V?l_UOJGDkAm@^?o_VOJgECA}Le@J_coQgIKC}A`EobXPkWuCZILbEkBNpi_sCXwLVEkBPPgot[YCLTElBQPjossYwLJEnBRpjOtKYwLPEXbLPeGqOZYLoESbZ`cwpwY]K_EhbG`iGp_YQK[EebE`hWsGWMLEEDbP@`Gp?X}KKE_bB`fgoCWIKBDiBXpl?lCZSJRDdBZPm?k{Z[JLDaBXpX?ucUKLjD[anPVWkKT}J@EZAgPfOiSXoIbEZAhpTOrkTOKxDvBIpdonKXWJpDuAvP\OmCU{JhDyAwp^?mSVkJfDjA}pZOn{UoJ|DXBCpaoj[TgKTDVAfpT_hkT_I\?d_RoHgCkA]@LGO?POGwCcAI@F?ccK`ewrkXqL`EqbWomGVKJ]DtA{`\onWV{JyEFBD`aPTwisTaOwGjcMaJXBoaqO{GWcMaDxB_`YO_GXcLaChBO`EOeGXcLaDXBO`QO]GFcCaBh@?_uO]GIcDaBX@__yMYG^cO@qxCG[qOLGCcAqHP?Ka[OFGeC@QCo~s`OO@F~CIp}p@S^sOXF{CDq@o~C^gORFxCCP|PCS^[PHFuCPpzw}K^ANdFsbxpyG{s]]O_F\cG`vxAO\yMuGbbmAHGzOaIP?FVbkaFwz?aEPIFScR`thCo\UPQFRbgaIhD?\IM[GgbgAIgxwaeMBF?b^pogw[[QMJFFbbPqWxS[aLwGjb]aJWvoaqLqGUb\aEGvO`]NEFlbv@xW{_]qNQF_bt`wg|O]EHfCsaXPMGfSReH|D?a^qOHGScER~I@d?QVhJ{eASSHSdCAShPGdMSOHNcgaahPGdASUHKdEARXPgcyQQIJcdabXHOgqQOIOcbabhGog}PtG{c\qNXF{byPbGrcXQK@P{h?P\IMCVq_`LkgOR^IBCvQY`NSekRvHkC{qXpMsecRpHgCzq\@KsfSRHHrCqqWPMKfGRFHaCwQVPO{doSJIEClq^`GkcORxH|C`qL@JCbWQtGtCkqTPE{d[PrHUC[QqXXCk]ULJDdaQdHQshUU?IPdHanxQOjyTmIxdYamhUojaT]IqdYAkXU?jMTuIgdRanXSojqUYIbdfahHXoiUT?IkdPAjhSGiuTQI\dNaixRoiiUCIZd`afHWGhiUSIVdeAeXXWhaHxC|a\pzG|s]uNTFjbspmWv[ZiLxE}b]q~P_CoGV~K@D~Q|`^cnkVjJyDyQ|p]cnWVrJwDyquxZSleVbJrdxQ}PZkn[U|JwDmQt`^kl_V~JVD~QtP^SnoUhJzDhr?`YCoCUdJPE?Qyp\smsV`JkDvqxP\Cm[VTJeDsqw`Z{mCVHJ_DprJODCAi@R?g_TOIWtSYqLVElbVpjgiCTIIbDRaipTHNKfmRtHuc{Q\xM[fURhHqcwq[HIkd]QlHWclQUXYslaUnLME]RS@fss{XzKyEeRMphkrcYVKuE`RM@gcsKXnK~EZRM@gKs?XnKrEcrQ`eks_XhLDEYRPpeksWXfKmEgrJPi[q{YdLPEWrK@i[tGXdKoE]RK`fsrCXzKlE[rJpf[qwXtKKEbrB`gkosYLKcE`RP@cssKXJLJEOrGphkqGYXLGENRQ`cCscW~KZeMrFHbSpaWrKTETrDpdSpWXXKQE^rD@gCpKYBLMEFrS@aKs{W`KfEDRIP`[q_WRKEERrI@`Co[XRKBETr@PdSoOXXMaCFqBX@s`YOpGVdVqkXUCiqT\IldSqixTShQSlITfWbhXswzM\KMqfRBiHtOyU\MMhfPbkHs_y}\CMmfTbghtgyQ\WMbeyR[xmSwi[VMKe|bjhn_y}ZyMoe|BjXtWva\WLxfSB\XtOv]\QLuevbgXm?x}ZaM_fMBZhrouu[yLkfWbYXuWum\cLieqBexkgxeZEMYepBehrWuEZ?MXembdhjox]Y}MWelBdhj_xaYuMVfOBTxjGyE[}LWfNBTXr_tY[yLSfBbbXpGw}[OMMfGB_xqOwE[aMAfIB_HnoxU[eL~erB`Hooua[ILff}B{H}S~E^\Nlfvrn`~Sz{^vM|F{r}pvS~g\vM{F{r}@u{~W\pNvF[rl@}szW^pMtFzrv`|S}?^XN^Ftro`zC{?]rN@FlRs`yk|O]nNRFjR|Px{~K]bNsFgRwPxc}K]\NaFerqP{c{k^LNIFqrupws|s]PNFFmRy@wk}c]FNCFrrHxdKqaXTKkeTsBaCt@?`PONGRsGyClAQ_mOhgTcEIDP@e_fOPgHR~qC|?C`PO?GRR~ADK~w`TOjF}sDA@\@W_ZOTGESEa@D?c_xOIGLsGa?tA?_NO`GAs?aBl@{_HOBGNRdhrCx][rMZfLRfHrsxu\BM_fNsQqDtAoaTPKGUsQAI\CcajPFGiSRqGlCsaLPMGaSOQHTCoaFPJG`SSAFtC?adPPG^sMyFdBu`pOyg[sLqHlBSa^OuGfSKaI\BOajOrGiSJqIDBCadOoGgr|h~C~]^rNzf|S[YM\FIbVPkgusWaMdEOblPbGysWQMdE?blP^Gys\qJdFca|PwGms\qJLFcavPwGlSTaLDD_bTPVGssZaKlF?bNPnGrSbqPLHCcVQOHDS_qPdGwcJQLHAS]aODGGbxPzH?s`aNtFscPQFG~seqQTHschQ[HHseAQlHgcnQXHJO[WL{FABd@s_xoZGLsEuJDDcappRwhsSuQvH\cmQOxGkcQUfJTdiQsHYSlE[BMAf@r^hoCv}^~O@g?R~H~s~ubPPigssXYKtE]eORMhgCqiXxKeeIRJhbcrYWpKqeORBhaCqiXHKIeIQ~hbcoYWpKAdwRAhaCniVhKMdqQ~h\coYVPKAd{Qwh]clyV`JYdqQrh\ClIVXJUdaQuhXClyU@JadiQlhVClITxJMd_QihXCjIUHImdOQlhVchyTpIedGQihRCiyShIqdKQfhQciYS`Iae]Q_hgCfyRpKyeUQ`hPcrYX`IIgG?U_KODwBS@e?vSO?MOFgBlPW@@?^_OoLWEsBQFnBw`zOvg[CL}MVFLbePvWzs\}SfIPdHQdxRKhaWXKLeFRBxaKpA]@NAf_roxwc{U`lOvgYsJyELBAbtP{g|s^YN|FyhyT?i^dOifpSEiIS{i`dMyg`RihySxi^DLyfxRahgSziZDNIehRihmSpiXdMYePRahkSoiYdJie`Q}hcSkiXdJYdXREhSSmiSDJydHRAhUSdiRdJYd`QYhOSaiSdGydPQQg}SdiRdGYc@QYgwSaiNDHIbhQMg}SZiOdEic@PegwSZiNDEYbhPignSWiJTDibDP]eaSRhhdDYYPPQf{T?i?DOi^xSEfuTBh}dPY^`SQfsSOiHC}IaHNefiSOiHC|iaHN]fcSLhxdBy]`OygSRnhwdBI]@OmfWSLhvDBy\hOyfQSKiDCyy\POmgORghrD@y[xOegKRbhqd@I[`OUgMR_iCcwi`@MEe}SDhmd@I_pLyesS@hmD?yZXOIgeRViIcuYa`LaegS@hjD?yYhOIlW?I_EOAw@k?}?\Uw?GOCWATZw?j?R_ITniwDZ}l|V?j^tmqgtZsiNTGJ]ThamDY_jdUfIwtiAm\VSlLTsJRtmAllZcj^UyIvTYavDUoltTjJ[tXqulUcllUvIsTXAuTUWlhTdJXtlqk\UCljUuIpTVauTU?lhT^JXtkAj\ZCizUnImTjajDYsitUkIktTQuLTWl`TVJVtSqtdTOl\UlIhTiqiLT?lRTNJTTRAv\SwlzTLJ]TQQtLYkiVTIJTTgArTYGkxU`JLtdqrlX_k|UXJNtdaqDW{khUTJFTaqqLWskfUKJHT_apDWgkHUBJCt^qolWCkNU?JBTgqnLYSjvUcI|T\anlV_j|TvI}UC_A{@a?l?U_KODwBK@m?t?X_LoEjC_@q?|?\_MOFgBlYYlNUgkQEIjCpaqpIWjkReIjDHaqpOWjkIEFzAXaAocW]kNEDzBx`Up?WUkLEGzCH`aoqWakMEGjBhaMouW`jeTqyxT[}m\VLkBEHz@@aeoMWgk@eHJ?haYoGWdkLe?JBh_IowW@j~EDy~x`UnyWUkLD}i~``aoqVzkHd|y~H`QnoWQj_eBywX`EmCWOkFdpJAH[Yo_VDjyEBJ@p^YniWLjwdyy|h^MncVkjwDyi|x]an[VhjrdwY{h]AnKV^jpDvI{X\ynGV\jkdsyzP\QmuVTjgDtiz@\ImmVPjbeAYx@_moSVH_DOBG@[?i?X?J_EoBg@{?u?^?MlB_CWAS@A?b?Q_GUBzAL`AgBSAi@tAi`dOmgZSNiFTCyalPQsOYMlCebzOxgusSYLlEEbzPXgyrkY@kze_zMhgIsCXwl@e]jOHferuYEk}E`JNhgUr{YEl?E`JNxgUrcYOlHE[zM`hEsWXnkweajPXfAsQXklBeZjP@eur{XjktE_JLHf}rKXwkre]jL@ferEXzk}eXZN`eQriX_kzeWjMpeEqyYXkneezJphiqnXXkkUVJJ\diqiYYkjEezI`heqaYOlHESzIPhEsgXNkgEdZQXcysoXLlJEQzQxcqseXGlIeQjQ`ceqIYUkbeeJGph]pfWtkYUMJEtb]ptWzk[uNJFtbupYXBkVEPJDxcIp_X@kXENzEHcAlTUjjStkyudZIljUvjZTmyvlZqvqYml|ekJ^Pi}v_ZDl`e{jW`nEuCZzl_E}ZWHniv_Y|l^e{jVpnEtsZrlyenJVXnQvkYvlzemZ^@javiYslZE|JUhnMvoYqlXe|z]pjEtDYclPuhZS|iYtRYilSUjJTlimv[Z[lvevZ\hlmvSZWlteuj\`leuiZfljeyZYpmavEZQliEwj[HlMu]ZelqEsZ[hlAuWZ]loErjZxkuuSY[lNEqzRhkes}ZElOeqJS@k]xYZ|mVE~jd`nqxI[jmQFIZcXqixK[_mPFIJcHq]wa[tmZfCzaPrYw_[rmFFLJ`xrIwY[\mDfFz``pywm[GmKfAjb@oewI[[mLf@zbPoYwC[SmJF@J_XpUx]Z~m?fKZ_@rAyq?^_OoGGB{AE@@TpixT[ImdVUjfW~k_uOJGTcQqF\gMpVXBlLuKzT\dMnvXrkDuWzB\bMmVXBjttszD\XMovUrkDtgy~\WMlvURittgyn\[MjVVRi|t_y|\dM^VXrgDuWx~[zMsVNBlLrszT[wMgVMbiTrcyb\LMhvRrilswyh\CMdVPbh\sSyX\FM_vOrhLsGyP]W?IoCwAc@M?j?SkOUFjB|aEpFWaj_toywT[UmLVClruyZ\DmQvLZdlouwz[Tlyv@Z^lbUqJW|kmuTZHn\fhztHze|O]ynZFhJspza|I]vnOfjZsXy}|C]mnTFgzsHyq|U]anNflZuXyA{{]snXFfzuHyA|_]]nRffZr`ye{u]gnKFhJshxe{s]enIfeJrPx]{k]XnMFdZrhx]{u]UnGFYzqHuu{]\knZFbJv@wy|m]LnCfmZvXwm{S]ynBFkzp@zU{M]snUf_zohy}{G]mnWF_JuPwI|a]@m}fijnxyqz{]jm|V^Jn\vazr\vnHF\jq`vQ{e\tnGf[Zq@vM{]\qmvFcjm@xQz]]RoDE_ZO\gIsHYElAvFZb|pywt[[mLvEJa|pewh[UmIwCs@m@T?^_SOFWBSAE?|?d_MOGwAcBM?p?v_JOLWAcAu?l?p_KOJwER{t}`?v^fOLWDR{e@K~J_SNpvwCA}@_~D_UNovvSAD||?d^]OGvtzzL|a}l^SniwABy\|D?R^QOBw@Bx}?W}`^MOAw?Rx]?K}Z_ANeVqC?L{h?F^HO@Vps?D{W~|^~Nav~bwU??}H^~N`wARv|{D?N_GN_Vnc?tzp?J]|OAV{r}l~O~n^qNzV}b}D~c~b^wNvvzB~\~s~\^lN}VyRzT|o~V^iNlwXCImD^Al`QoiWS{KIAVBC_fopgHkKIAJBE_copGG{ByDzB?_`oOGV{BaDz?{`_oMgV{DACf@S`JoSgQkJACbAs`FokgPkGQDrA?`\o_gU{FIBj@m_{o[GM{EaBv@}_uoYgNkHaBFA[_roegKkIABB@[`PofgJ{DaCR@Y`DoTgOzp|xE{`]QnIVc{OUGRCFa@o~w_KPqFrC_`}pFg^[NQHJBuaRo{gc[QIE^Ce`hpHGYKPqERC_`epFgX[MYGnCY`tpEG\KOiFBCM`qpBG[[MqEvBo`nozgZkPAEjBWaIotgaZ~u?A~~_Ao@w?[?e?V?L_HoBwAKVAHRDqaUp\Gd[VII~Dsaop[Gk[UQIrD[aspUgk{VYIfDyajp]GikSqJZDOatpRgl{S]IVDHa`pPWgKUQHvDga^pXgfkRQJVCwavpLglkRAJvCqa{pJgm{JuEBA~``opwWkVuKBD~bZplWu[ZaKjE{bKpmgq{ZaK^E{bHpmgqKWaL~EKb`pagwKZyKFEEb`poGokYILNE_bTphGtKYqKvE]bWpfGt{]QMJFGbppxgw{]aMzF_bupvg|[\ANbFSbvpsg}[[iMnFMblprGzK_AONGIcAq?h@K^QN~Fwb}p|g~Zitt]yp^qnxv|J||~E~``horwYKKeEZBJbOphWs[X}KzEZc_QKXFsbUPxGrcZQIxFSa}PpGlcQQLXCsbMPPGpcPQIxDs`}P@GlcQQEXDC`uPLGZcKQFxCC`mPDG\cEQNXACcEO\G~cZQCxFS`]PpGTc~?BoAG@LxU{l]VoZwMKFMBR@l_tpIWdkQmH^CpaXppWxK[]MVFNbeqjHSKiaSzIidNqdhS[iYSvIcdKqcHQ{hQSvIQdKqbhR{giTBI[dEqcHOkhISRISdBqbhPKgQSZIEdDqPHM[cIRnHEcyqZHS[iYRbIccvqXhTKeaTVHidUqXHO[fyRBHad?q^hJ[gIQzI?cnq]HIkfqQrHycjqRhM[dIRnHOcyq]HHKcqRzHycdrB_@G?s?VKMdfqsHa[kqWbJEeFrChX[kaWbJAeCqpH`kkAWVIye@qnH_{jyWJKAdYr@HVKoYTnImeCqkH`kjIWVJidzqzh^[mqVrJodqqxh]kmaVfJQdpqthZ{lQVBJ{dkr?HZknyUu?N?G_CoAW?{?bLaeiRVXkCtMY|LPejRVXjSuEYpL^e^RTxgStmY@LXe[RSXicruXtLReaRKxhCr]YLKteURQxeCs}X\LLeIRGxbCqUWlK`eLRHxdSp}XPK\?C_Ao@g?c?Y?JfQQ[xM{fURrH|c|rghq[xY\BM]fIreHs[xq[~MYfOrhHn[yaZ~Mee}reHpkxq[bMYfFr`hq[xY[RMIfIr_Ht[yy[JMkf@r]HtKvY\NLsfQrZht[yyZfMkewrXXk[u]ZRLletr?x_{oUWZKJeCr{hv{~Y\zNsf_rrh|k}y]fNofgr{hxK~Y]ZNsfdroh|k~A]NNmfarkxuKzU\nMxf\ruh{{|y^VN[fsrwHyk|a^JNafjsGh~LAY^zOcf|sAiA|@i_ZOMgKs@IA\?a_bOEgIsFH~|AA_FO]g?sLIDLBa`ZOugTsMiD|BI`~Oog]rVXj{uE^NNjfsrwX{k}MaxPLggSUYHtDmaXPRggSTYHtD]a@PXg`SUyJdCUaLPRgdSTyHDDUbxM`fPrfyA|@m_rOTgHsCYPDGEcXP|hDS^yNdGUc@QFg~S_yMtEMb@PxgnS]yOTFEbdQDgyS`yPTEmcXPnhCSZYKdFmblPhg{SXyVDHadfQuhJslIQlJYc^QQhXslIQLIYczQihLsfiTLIAdZQchWsgiT|KidrRMh]srIV\KAeJRAhcsniW|FmbrPvhgSvY[DLMehR^hjSvy[DLmepR\hXslyUlMG?DRnhq?@i]W?QfLRp?ASyI\w?IfXRr?BSyi]N