CAT(2592,7)

Sparse6:

:~?g__?O?G?CBW@j?t_YoN?F?Be@m?x_Z?MgEwBi@o?z_Z?MwGgCG@|@C?_OOOGSCK@~@C?]OOoFkBQ@h?s_VOKGD{BE@f?q_l?OgGcCMA`@M_fORwH{DAAs@T_l?TgIwDmAq@[_m?TGJ?DmAW@P_e_SWH_DMAY@Q_h_QwIOCmAI@T_j_PgH?DQAM@U_k_QgJ?CeBu?i_SOIWD[Aq@Z?y_\oMWNsFyB~A?`?O^wJwF]A{@v_p?\WJgFUBk@`_o?\gLwGEB_AA`@_\GOWFMBaA@_x?_gNWEeBu@j_}?YgLoFuBY@|_}?ZGN?E]Bo@e_p_]WNOEUBs@g_{_XGT?BE@b?r_XoKgESA]@J?e_yo\wMsI}D^Ao`WOjgTsJCDPAp@Sok_TSJKDZAr@UOk_T[GqCZAI`DobwPsHuD@A[`NOgWR{I_CpAY@UoiOQsIoCnAZ@ToeOTSISChAd@GOhoQkHCDNAe@Hoh_QSGSDDAC@POh?OsIOCRAG@Po`oS[Aa@P?h_SoIgDSIIDHAb`QohwSsDQAj@U_joUWJCLwFHB^@qOw?[kMWFFBe@pOwO[kLaErBY`mouwZcLGFTBR@totO\kLOFXBV@vot_\sLwEXBb@fOwOXkMGE^BP@oOs?Z{K_FTBH@toqo\kKgFXBF@vop_\sM[DlBf@Zoy?UkMcDrBh@[Oy?UcJgE@Az@_on?WSJ{EFBD@^OnOWcOuGPCHaDPAw`cO[GnCSA@PDO_[PWGLCXAAPE?_kNoG\B|AFo~_aCPKF~CQA?p??aKNWF`Bp@zo{o^[NGFpBs@{o|O^SQCHXC_AUpG_dsQKH^CdAWPH?eKPwHRCZARPF?c{PsHPC^ATpI_bSSC@J?d_ROHgC{A]IS?n_VOJgD{BA@`@a_moVgJ{EABBB?``ooWWSKUEHAs`YolgVKJ]DpDUAgPU?iKT[IdDXAhpT?j[TSItD@AmPO_jkSKI|D^AapWOgsU?IHDIAgpQoiSSoIfDLAgPTOh{TOI\DAAbpOOg{SKIPDHAbPQOgkSOIPC}AepO?hcS?IVC~AfpNohsRwITDUAXPKoi{ROIpCtAkpLoj[RWItD`A]pVofcU?HtCwAmPMojkRcI|EZ?ToIwDcAu@Z?k`AO`WOsGeCPAF`zO|w^[NaFrBybP@hwsGYaLEEibU@hGsoYmLIEhbO`ewsOXqLEE\bR@fws_YALIE]bK`fGrOXyKsE^bK`ewr?YAKoE\bJ@YWl_XIJUERau`dGqwUaJSETbB@cgowXMKOESbJ`aWpWXUKkEIb?@hwoGYaKCEhb@`igogYmLWECa~p]gncVmJzD}ayP\WmsVaJrDvbE`[Wp_UyK[DnbF`[GqGVIK_DrbE`WgpoUQKWDbbF`XWqGU]K_Debv_]GNSFeELBG`boqwXSKeGtC^aMPEwbsPuNcFwb|`{w~g^UNqFsb|@|w~_^YN]Fqbv`{w}?^QN_Ftbw`|w}G^YMIFwb{`pg~O[]NwFGb}`qg~W[eLrEyb]Pngv[ZuNSEsbX`yw|GZUNWEubv@mGuw]uLYFibV@ywtw]eLaFkbW@zW|oZIL}FVbk@owzO[EMqFCbm@oGwO\mMaF]bh@vWyW\}MgF_bj@wgyg]ENEFJbq@rGxg]UM[Febg@yGxw]]PyGsCDQBpEkbWO\GJCZqB@FKb_OZGgcSqIhD[aqPZGecPQGxCca]PJGCC\QN@?{boOLGDC\QMp@KbkOPGsB~QLO~{bWO@GvC?qM@?[_GPrGoCOqF@Ds`sP^GpCNQKpB{bGP@GYCGqC`A{`kOjGOCJQCpBC`OOrGucZqLXEcbaPrEKbEpbgp{XEK`EQbHpdGqkX]KlHicrqYHLKeqRVHicrqYXLCeqRVHrC]qNpNCfOQ@HtC_q\pGSbwRlHdcoqXHKSeYRFH]CwQZPJ[doR\H\CvqVpMKfGR@HIC{Q[pHKfOQXHtCeq\`HsckRnHlC`qZ`Gce{QJHECwQ[`G{c_RbHTCfqSPJCdGQlHVCgQT@JSdKQrFmbspyg|[]qNZI_dMqfhR{iETDIWdJqeXRchmStIiDGqiPQShKTVISDUQd`TshSTZIhDEQi`P[ikSZIkDFQj`QCisS^H~DAq_@OsggSBIADBqaPOcg_SFIbC{qhPNciORvHyDRQ^`TCfsTNGyc]QMxXglMU[JRdfatHY?lQUiJQdiasXWKkIUFJCdbQpXU?jqT]IzdWanXUOjyTgJ?d^akxUgk]TkJGddAlxXWjaUWIyd[aqX]GlWV\JVDvQu@]ClcV`JnDlqzpZSmaVRJiduQzX\[mGUxJbDmqx@ZsmSU~J`Drqw@[sfeRtH{c|q^hNkf}S@I@d@Q`HO[oOWTKKEBR?p`KoSWVKMECRBP_{oKVbKDDxR@@]coWVfJuECR@p]koIWBJ~e?Q~X^sn_WTJvECrB@^KosVxJzEDrB`^SqsH|D?a^psWyS\QMjFUbhqOxGccUQLHGcbqkHUKjIT^IsdXrMPf{roXlK|EZrM@fsrkYBKyE_RM`e[rCXnKzEYRK@esr_XjKxEXRJ`eSqwXjKlEWRJPeKq{XfKnEYRDpc{p_XPKhEIrI`aspcXXKYETrGXc[qIXHKeeQrNpcCpkY@K|EMrN@b{poYBK}ENRBpc{p?XPKPESrD@d[pKXXKQETR]@\snAV^LtezR\xmkv]ZlLUE{RT@nKt[ZpLTE{rUPnSvgYpL_eorWhkkuQZFLMExRRpmStGZfLPEyRS@mcvKYfLkEer[Phcs_ZZLHEvR[@h[u{YTLkE`RPplksOZ\LnEbRPPmKsKZ`LYErRUpk{toZPL\EsrVpl[twZT?c_POGxmSvMZhM@FQrh`oSwW\NMDFRr_pskyW[HM^fORgXsSyM\HLzFSRi@nsvo\RL|FTRiPoCygZ~MRFErd@psxS[^MOFJRc`rCxC[nMFFKra@rSxk[RM\FDRf`pcxo[VKfeSRIXdSqqXVNHFURq`uC{k\VNMFVRr@t{{s\ZNBfaRpXw{{a]LMpFcrk`xSzK]VMuFerl@xszS]XM|FZrn`vCz{\rN?F\Rn@wS{C\v?a_POHGCcAM@FLkewrZXlsu}Z`Ltezr\h}W}]^ONrftB|X|G~U^gNkfyByxxw}]^ONOfsbsXy_}q]eNifhByx{G}u^CNmfpbzx{_~A^KNpfqb{hz[|q]zN]foRvxyg}u]kNnfjb{Hz?~I^[NYfkb{Xn[vyZxL|f?R^y@t?}_`OQgHsCYA`?I_iOBgJC@IAx?U_qOFgKC@iA_~Y_iNvgJB}YAw~i_qNzgKB}H~`?a_QN|f~CAh~x?m_AOLg?CBID`AY`YOfgVCIIDxAe`UOpgTCKIC@@i`AO\gPCEyCX@q`IO]gNcHIF@BI`qOrg\CLIEhBm`mO|gZCNGg{SaIRF[bjpuGzK\mMtHHcdQQxHccuQ\Itd[QmhU{jYTrJvd{Q}x^KnqVtLYelrVHjkt}Y|MpfXRkxuszU\hOGgCsAi@\?q_ZPlGrsZaLDESbVPkGrS[ALTE{bRPdGnsXaKDEGbTP`GrsXALDEKbRPYGnsWQJLDob@PaGmsXAJtEKavPVGlSUQI\DWaxP]GisUAJ\DsahPVGfSRQI\C{ahPUGgSUAITDCajPMGcSRQG|Coa`PNGcsQqILDGaTPCGcsPAHDCSaTPKGbSPaG|CkaJO}GtsOALlCCb\PkG^sOaMDCKb^?U_JoEGBK@i?vQl?MOFgBlJW@@?^_OpeWrSXaOfGQcGQDHAk`ESVIKdFQbxQCguV@J`dmqvhZcl}X@KZeMRFXb{py[NMGfDrahpcwe]jNUfjruXzS|a_tOZgMSFYB|@yesR_hlcwYZ`MIfIR\hncxIZpMMesRShnCtyZxLaeuRThmCuYZhLYegRMhfctYY@LYeaRXhhctyYPLae]RGhgCqYXPKyeaRJhhcrYYPKqeSRAheCoyW`KueIRGhbcqyWpKedwRAhbCoIWHKMeGQ|hbcniWhJ}dqQ|h[cniVPKEduQ{h\coIVPJ}dlQuh[SlyU|JabaQrgxClIMXJUd_PshXC\iUHFUcuR_hMCwYRhMIc{RbhqcgIRxMQckQlhKcjyR@I}ciQlhVCdyTpHic]QfhGCiIQHIeccQihICjIQXImdMQHhSCaiTHGqdSQJhFCiyPhIqcEQ`hACgiSXGUdGQGhQc`iSpG]byQ`g~CgiSXF}dGQ?h@ChiShGEbmQtg|CkyN@JAbqQphXC^INXJQiW?I_DoBG@k?}?\TW?GOCWATTw?f?T_ITVij|UAi|T^ioSxagtMkiNTGHtTQQ[|SgfPTJHstCQj\Tkg`SSImtDQjdPGixSRImtUA`lT_g\SKIlTAajLTgg^SJIkt@AiTTKgJSEIit@qidO_inSHIjTTa_LTKgFR}IhTTQ^|T[gDTSI?TRA^TS{fpRxIgs}qiDNsi\R{Ies{ahdSsflTMHzs{qh|NOibRtIgSzAgtMsiNTGHvTQQ\|NCiVRoIdTOAfTSChvTAI]TNQg\R{iJS}IaTLAdtRSh^SuIWTLqeLRKhrSqI[TIAcTQchFSiIQTIqclQ[hZSkIRTFAbDPsglS]IJtFqbLQCgvS_ILTk_As@]?p?X_LoEgAs@a?n?X_LoEiw_@q?x?\_MoFgBtTmizT[jaDqiwh[imKVJjeDqYx`[amMVJjXDniu`Z}mAUtjXdoIux[MlkVAj[DnivP[AlqU~j_dmywPZqmEU|jPdpIs`[YlIVFjadhit@[elMVGj[DfYvPXylqU^jODmysPZulAU{jJdkirHZQksUtjKDkyuxXmlkU[iutZil|VIjbToiqDkYkPY}l]TdiodkYu@UYjEUoirdiYt`UajQUliuDjilPYilUTjjDdcYp`XIkYURjFDdIqpXAkiUNj?d`YpPWQkCUHi~d`ioXWak?UFi{d[ym`VijkT{i{D^YmxVyjiTz_DOAw@c?u?^?M_DOAw@c?u?^?MkR_CGAS@I?`?P_GtjyuLZAdNQghSsiiTdImdjQohWskyUdJIpOWmkTEJZCxaup]WkkVeIzDHayoiW`kJEGzBHaIpGWWkLEHjCh`]ouW`kMEGzCh`uo}WakQEFjCpaAp_V^jpEKzEP]EpaV_jqELY{XbQo]WfkGEIjAHamocWkkSeDJD@`MouWHkMEAjBh_mo{WKkFEGJBx_uoEWTkAEDj?h`]oKWWkLEAJBH_]nyWuj~ELy~xbapuW?k?eMZFP_InnVwj{t}i~d^mpkVjkZdzI|hban[Wxk\d{JFP]}p_VdkWdxjEP]]peVgkYdyZE`]imfVSjjttizD\UmrVYjnTuyzd\umYVpjfD{ixx^MmcVsjgd|iy@^UiLTFicTQYhTSmidTSiitSyi|TYrKYOkrecZQPeasgXjksedZQXeir?YOkoecZQ`eUseXblHEWjQheQskXYkledzJ`haqyYZknEeZJxhiqqYZkieeZI`hYsmXUkjeejR@daqDXBkaUPZG|cYqPXHkdURZHdcmsSXMlDeRzIHgqq_YLkhebzIPgyroYClCE]zNHgUsMXyk}eaZN`gYrcX}kxe^zM`gMriY@l?E\zMpgIpwXkk]eZZFpeyqAXnkweOJFxfAuWY[lMerZRxlAtAZNlOEsZRpkyu?ZEl_epzWPkauQZBldepZXPkQugYoljEkZUXlUt[ZQljekjTxlMtOYylSemzTPjqt{Yjl^ejZT`jutgYalYegzUpiQtmYdl[ehzV@iYvq?__NoFwCCAE@BSPiGTCia\PUghVpjxT{y}d^Ynj[DL~v?B_toOwN[@MDV?b`DoKwR[?L{v?b^ToOvv[BL}v?R^tnov~ZuL|U|b^\n[vrZwL~U}B^ln[vx[DLnUvr_tm?wNZ`MCUwr`TmGwRZWLwUuR]LlgvdZZLxu|RZllovhZiLqUyr[lmovLZlLruzr\LmwvP[w?IOCwAk@Q?j?Rj^ToywDZ}mDV@iotWik\UQjLTdlAUaJOlg]sRYEk~U^zODgEsFYAkvU[ZL|eur`XkmkFPJjHsUyu\FmlFPjhHtYyO\VmgFNjiHsEyE\SmhFNzgPtUye\?m^FQjgXsmy?\KmffNzhhsEyC\Mm\fPjfHsQxs\Dm]FQZgxruxo\GmZfMzexraxy[tm]FLjfHrUxs[umDfJz``rAw][pmGFKj`prQwY[rmSfTjdPt]yo[jmUFUzdptixY\XmPfSJc`tExI\QmRFSzd@tUxM\SmMfQjbpsmw}\KmefGJcPs}xA\MmKvDzbDpiwv[[mWFCZeHpIxc[SmYFDZapq}xe[RnTEGZC\aIpLWckQumjV\j}txY}l]ulJUljYtnYxl[Vibutyk|n]kN[Vmrt|yw|r]lN\VkBtTzC|V]qNUVlRtlzK|^]sNVV`butw[|n]zNDvaBvDwc|r]IN\VkBoDzC{B]rN@VlBo\wS|j]CNXV\JnDvUzr\umzvZbsdyczf]dMvvhbmDy[zd\pNSVfblDuc|@]^MuVYbs\yGzZ]`MtvfbkTuK{~\cNOVXRsLu[|F\eNPViBkDyczB\^NQVhRjdyWyz]fMnVfBq|xG{p]RNKvfRqdxg{l]ZNIv]bpdvk{Z\~NFVbrndxCz|]OM}w@B}T~M~h^unzv|[?@{I~{^Bn~fpJwq?E}M_Bo@FpZva?A~{]|n^g?Z~xzz?C^@n_G?zx@}Y~M^HnsFqj|H{m~U^LntFrJ{@~a~A^xnpf}j{P~m~y^dnqF~Jy`|i}k^Znmftzz`|U}}^XnnFuJ|`{y~Y^NnvfsJyH~E}e^mnhF{Jd|rAxb[qmYVK{CuAJ@J_foPwHKDq@r@]_\oNgKKCABF?{_roOgKkDq?R@]_DoWG@kEI?^?Q_roCGKkAq@B?m_PoKGCkAY@f?i_ZoIGEk@QAb@Q_JoUGBKDQ?v@U_MoUgBzrtyA{~]`nPvgjtDyQ|J]enRvi[FADv@i`XoZGUkFIDn@g`WoZgVKHaDbAY`\ofGU[HyDjAu`PogGVKGqDJAM`SocGS{IiCfAU`VodGTkGECFAD`BoawPKFQDJ@u`Ro]GTKIiBv@}`VojGNk?D~y~~_@o@W?{KUDzA~`_opwW[NaEjBW`~otg^[LiFzCA`novG_KKaFrBI`|orG^kKyF~CA`hosG_KMqFBBm`po{G[kNIFNBu`to|G\KOQGzCIaPp@gb{OaHBCMaRpBGckPAHRCQaTpDGdkQyGnCYaXpEGeKRQIBCua`pPGfKSYHvDIa^pQGfj]tnavn]VnHvdJqlxI{l_CoAw@k?}?b?R`ooww[kM]FVBhazPYwnCUuJtDnawP^WmSWEJhD~anPYwkCU}JLDlayPWwmCUeJdDdapPUWkCTeItDhamPVwjcU]ItDdazPRWnCS}JtDPa}PSwoCT]J|DTb^?BoAW@DrUxn[unkvtJzD|U}n^UoYWL[E}Bf@p_up@W`[O]GRCNaEpvg{{]IMnFgbkpzGz[]ANJFibmpqgy{\yMjFKbkprgz[]AMbFQbmptGw{[qMNFMbapsGwk[aMVFGbhpkgo[WYLjEubApaGvKWqLzEIb\pwgs{]QLRFebTpyGtk]qLbFibVpgGw[XqL~Eab`pngr[XyMBEcb_pkgp{ZQKbEubHpmgrKZaKnE{bI_AO@g?mQhHCcBqAhG{_qQNGOc`qBhG[cQORF{cdqRG~[dIN~HMc?q@HHKdAOFHKbwpzhH[^YQbHQbxp}HHK^QQ^GucTqMHDkcAPbGycVqNHEkbyPfGQcNqGhAkaAOnGccKqIHBkaYOu?P?F_BoAG@K?fIadKQfXQCh}SdI`dIQgXQsh}StI\c{QcXNShMRxITc~QdxOShmS@IXcuQ`XLsg]R`IHcyQbXPsf]RdIJcpQVXIceERHH^crQTxLSdeRPHZ?C_AO@g?s?U?JdqPkwukZuLnEzb[qshZ{lQU~JUdoquH[KlqVFJYdpqmh[kkAVZJed]qnh\[myUJJgd`qsHY[lQUNJWdcqthX[lqUZJYdfqjh[kmqTrJedWqyHU[myTnJidYqgxSki]TRIldTqRXHKcmQ^HRcgq~HdknyX^K?eWr@he[oIXnKCeYrJh`KqqWVKoeErKhaKpIXnKseFq{x]KnmVnJxdyrDHc[pYXBKWeQrEhc{qiW~KgeMrVHfKtyXvL_e]rNhk[sIZNL?eqrPhiKsQYfLUecrUHh[tiY^LSeer\HlKuiZnLke{rZhn[vIZ~Loe}qfXSKh}XFK`eSrHXd[q][XMTfJRbXrSxE[`MRfMRbxrCw}[@MRf@RdXrSwe[lMJfBRfXrCwU\xJ^dpqwXiKtMYjLXelrTxwSzu]HM|fbRnxxc{E]TN@fcRnxvCyU\lMhfZRhxrszm\@MzfPRmXwSym\XNDfVRpxuC{m\hNLfXRqX~C~I]^Nqfgr|Hy[|a^jNufjr|hyk|i^NN_fsrxH|[}I^ZNofnrzhzl?Q^rOEf|sAH~l?i_BOKf~sBi?[ze\vMvgMSCYBt@M_tO`gOSEYBd@U_|OVfxr|x}g?I`DOn?ASHID|B??HOlgX?@iDLBG?DOjgW?@iC~