CAT(2640,6)

Sparse6:

:~?hO_?O?G?C?W?H?C_Ao@W?k?Q?_?E_BoAG@K?m?T?k?ToIwD[Au@X?l_UOJgDsBk@`?n_XOKWEcBM@d?s_VoKGE[BEAk@K_fORWH{CmAT@s?pOXGKkE]BF@e_oOVWJcDyA~@`_moVgJ{EABB@[_pOXGKkE]BL@b_gOSWISDQAj@R_loUGI{DiAr@U`R_SGIKDIAf@T_iOuOUWIuD_As`W_lGU_IyDcAr`V_kwS{IaDRAi`TojGRkHqC|A^`OOewSKIEDDAb`PoggSsIQDJAc`QohgRoIuC}Am`V_ewU?IACwAq`W_fWNSF}B|@|_|o^GOSGMC@AC`?o`WOsG]CPAH`DOawMwIyD]@s_{?kGUOFYBqAp_y_jWQSHMCnAS`IodgP_HaCYAW`F?egPwHiCqAP`K_cGMKFIBf@o_vOZwSwEaDO@h`S_ZGLgIiBSAk`T_YwfwC]AR@G_coPwHCCeAN@G_^OMwFcBuA@?~_]oNGF[ByA@?~__oOgG[CQAL@D__oOwGcCYAJ@A_ZOLwEkBa@r?y`LofWRcIAC~A]`KOegRKCqAZ@N_dORgH[GEC@AA`@o`GOkFaBl@t_zo\GNKHICfAS`IodgQ{GuC\AO`EOcWP{EyB^@o_wo[wMSFEBd@r_wOZgL{ZSLFEcbRPiGskY]LVEhbUPigtsYuLDE`bOpgWsSYILcEgbP`jwuGY]LGEobR@lGsgZML]EjbX`iWt_ZIL[EobY@igtgZEKhEUbHpdwrCXUKmE[bH`gGr?X}KkEZbM`dGroXUKHEDb@p_WosWIJzD}a~p]wncWALWDobU`[WlwYiJgEjax@iWtoVMJ]EFaw@aGmGWeJcEIbE@\GpWVML]DebW@XwuGUaJSEsat`kwuOUeJUEXbL@YWrGUYKsDfat@egrGUaH|C{a[pMgf[RuHeELaY`bgeoXEHoEOaZ`cge_W}J?D}ap@^wo?UMJGD|aq`]wkGVqI|DZanpUgjcTuIxDYalpVWjsT}IhDXajPTWjCT]LODPbQ`RwsoTILGDMbR`SwsWTAJoDNay`RgmoTAJmDPa|@SwnGTIIFDCabPPwgkSIJICoaq@KGk?REJACpap@KgkWRIH{DKa[`QGhORuIQC{ae`MghWRmKUBS`h`aGYgWiKWBUbB_uGYwWeJkBL`h@]gmgKyJmBN`g`]WY?VaJYBJ`b`ZgXGUyJWBKau?qGlgKiEICr`b@LGegKIHoBBaZ?pGewKEH}C`a^`Ggg?QMIACda_`Hgg?QQKYCZbF@FGbgW}G{EPaO@cGbwXIGpCYaKpDWasP]KuCNbM@CGrgPEGcE]aI@gGaWX}KACMb@@Ag`WWYGWEDaC`_wo_OuHYBvaU_}GdoNeFwCnaV_}wdoNiFgDGac_{ghONMFaDJae_|gh_NUIIBd`t@Ow\GS]FMDA`s@Pg[oSQFCE_`o@fGrgMMKuBc`o`fgZwX}EwDVai?uWigLiEuDU`n@UWZgTaDwCDaB_ng`?KAD}CE`]`?wVWOQFyCfaS?~gdGN}HSC?aU@?gdWOEFYAv`Z?{GVOM}DiBm`t_mG\_Je@J?e_SOHwDSAe?l?U_JoEGA{@aTy?`_POGGC[AQ?~?P_HOCwAC@U?hJN?LOEwBc@y?z?Xdl_EgB[@q?z?]_KoHwCsAi@P?h_Qq{?CkA]@L?h_TOIH_OAE@@?c_POFwC[RMHhCuaYpLwfCDqA|@^_ooWGJkJYDpAy`ZomWUkJuDvA}`_OnGV{JyDvA{`^ooGVkKEEDBC`bOowWkKEEFBE`aOogWkKaENBH`eOqwXSK]EPBH`dOrGX[KuEdBO`gorgX{KuE`BP`fosgXsLQElBV`kOswYkQIHJC`aRPGwccPYGnCWaLPEWakN}FzB}a@P?W_COMGHCDaBPAG_{OmGXCIaFPAW`kMuFVBk`vO{G\{NEFdBr`yO|g]kMUFLBg`soyg[{MIFHB_`povw[Kxg[lMSfIrdxrKxa[EMNfGB_XqGwA[eMCfAbbhqOwIZOMVfJBZHqguiZQMXfKBZXq_umYtLWejRUXj[t]YuLEelBPxg_tYYILVekbQXh?taXuMNe[BbhqOru[_KxfGbNHfOxMX]MXeVBdxdgxQ[iKkeWbeHe?xYZOK_eQBZXlGqEXELieQbZHcOumWmM?fAbDhbGwE[CKTeIB_xb?wQWmKseKbLheWpQXcKTeKBLXaor][OKGfCbAXpOoiWYMJfEbAx`_wqWDKDeBR?x_{oQ[SJ|fCA~hpWn}VwMLe?bbHpGoAVkMEfBA}HownmVmMFfBa}hooneZsJ{e?b^XnWnuZwK?e~a~xnonyZeJpewa{hmOnMViLmeva|Hm?nAV[L`emAyh\WuAV]L^dubVX\_tyY_JfeiAxxiOmaYaJheiayXiWmaYSJ\dlbQx[?syY]J[dnBRXh_l}Y]JadrBRHhomMVGLLdqbQx[GsiWML@e@BNh__sIYEKEeAbNx_WsAVWK|e[Ayh\WreVYKye\azx\orqUmKkdibJXYoqyX]JWeWAuhZGrEWsJPeLashb_lMU]K\eNatHY?pyUSKdddbHHX_qEXCJHeParhXgqAW_JEeFApXWWpEW]JGdaBCxaOk]VCKMdpbBx[_pAVAKPdrBCx[gpITmI}d_amXVwjaU?Iyd`AnHVWjuLpEybZplWvKZYZ{IgdTB^xnOiUZuIedSb^Hngi]UiI^djagXYoiATCJYdkAgxZGiQSuKvdLBLXR_rYXcIXdNBLHeWhuS[JFd`achW_hESYJDdFaqHWohAYEIIe^A`xPWr}SWL@dCBOhPGsAY_I@ega_hiWgQYcIBeia`hi_gUV_H{c~A{xNWnQRyJpc~a|XO?nIRiIpczAkhN?jMTkHxdYA]hUgf]WsHneLa[HMWpuWwHpcyBFxMOpyRQLactBWxk_eqZKHjeraZhkgeuQmIncmAkHTodmTUHXdUAUHTgdiUAHTcganhI_juT}HQd_AThIWkIQWKHcdbAxHgoaWYHMeEASHHwoiQOIwd\APXGojeQMIvccanHHOjmP}Kec`bIxG?q]XQHCc`BIhGGqaUeGydfaMXFWlAPwJPc]atHFolITUGrdUALHEgiyT_GwdUaLhTwb]VkGlcWa}X]wayPcJzd{AJxE?niPMIpcSAkhDGjMTgGidZAJHUgamOyMHfCAFhC?wuOwMIcLbbHBwwmZgGTeyaDhmo`]ZmGWcLB]Xn?`eOQMMcDBbxqG_m[cGKfHaBhq?_uNyLaerA?Xkw^}ZIGAeqA?G~ouMYGEzea`nHgoZyYME|ec@oHhGZ}ZgFjey`zG|ovYZmFlbwB]W|wvaXKF^eR`wHd?]EXQFabqBIw{WqiMqJZblAvH[?\uMuJ\bnAvwz_lyMELmev`pHm?[EZaFEb`B[wwgvIUSFFbcAqXXW[eUYFIde@rHXo[mM]L\bfBVGyGt}McL]bebWWy?uARMG`cpaGhK_aMROGccRAXXCgeYO]H\cGAVhAGd}OcHacIAWXAWeASeGEcAadHQg_aOGIUdKA?x?wh]NIFvbr@}G~G]]NsFgb}@yg~W]eNaFRbx@tw}W\YMoFsbi@|g}g\U?Z?L_EOBG@k?qhK?E_COAg?{?e?V?M_FoBg@{?}?\IydZqmXVcjmTpJHddQqxXckyUZJWdkqtXY{liUlJidtqzX\cm}V\Jxd|Q|h]{nmVpJ{d}q~h_Kn}W@?u_ZoMgFKBa@j?t_[OMWFSB]@lA``PoggScIYDJ@z_|O^wNkFqB|AE`BoaGPKGmCT@h_tOYwLkEaBX@j_soYGLcEuBTExbYplgu{ZiLpHjcsqZHLseiRZGrcYqLhE{baPhGXcKQDxAs`iOjGZcMQFXBsaAO~G`cPqHHCkaYPDE{b]pngv{ZmM@FgbrpxW{s]iNRF_bopwg{[]QM~FSbjptWys\MMpF@baPpWw[[YMDV]Jmdtiyx\qmoV\jkdvYzX\qmsV[jTdsIt`\ElYVQjVDsytx\QmiUijPdlYsPZMl?UsjXDfisHZAlaU^jKDnIrHZuksU}jLdnywHXukwV?jEDryxpW}m]UOjfDbYxxXEm[UMjDDqYx`WakUVLjdDaYop[mmOUFjbd^YwPVmmETyjbD^inx[UmGT{ivDqyx`U}mYTqiwdqix@VMj_VHj?dSYiXWIkETOiiD`IihWUk?TQiddkIh`ZEiYUqifdkyhpZUiSUsjJdPig`XIiOURicddIqhS]kkTDiyDPImhSYjkTDizdPyhHVeiOTwi^DZigXVIh}Tni_D[IgHVMiCTpiXdoieh[QhcVBiYDpYex[]hkVEiUDqIxhREhYVHiVDqix`Q}h_VJjidHicx\AhOVPiSdsidX\MhSVSjTdGYcPYilWSdiODjytpQMlYSciNDWIbhT}gsT[iMDWYbxTui{SZidDHidHS}hOTLiTdRIcxSyhSTJj?DDIoHPUkCSUj@dDyohPekGSWi|DBi`xVujwSOi~dCyaHVygcTziZcyyehMuheRiiXCzIe`M}hkRmiscviZxUajSR_itcwilhMMjWR`hhDEiYXPmgwRSiMctYbxL]g{RUhfDdIX`XIeYURhfddYYHX]e_UUj]CgiSX[EdGU|hQdniSxZ}dKV?hMDMIRhRec{SyhNdMyfhIEd?S{hJDVIQxTucoT^inCeYRPUEj?QZjQCaishGmlKQKhEdhyPxYec[UghBDXiO`UUcITdhCdXyP@U]cMTeg{DbINHWubwUOg|dcYppFubsUNguDGILhQEb[SagvdGyMHQUb_ScjScYyspEilGPhgrDhYKxYabOUfijCWIKHT]bCTXgpdUiKhTmbGTWiUCTIdhDUakSngkdKIIxREaoSmgfDSIiXDIa]TPggDSii`DEiiPRgcDtiz@CemmPIgdduYHh\maWVYipcEiBHUMjCOZiqCFIk`@u_oTagDDfIr@?YkqOFjLCAI@XXu_QUZgEDsI@h\E_[VQgFdsyAH\U__VSjZB}iuw~mloN{j[b~X~xZi^{UzfvDYH}XUmjQNnitB{Ilg~IjWNpjDbxh{XWY^GUGfqd`x{xWekSNajZBsIv?|E]cUxfhdmiuw|U]gUzjPBrHxPXy]]U^jPbrYs?{ylANJiyBpImg{U]QTwizBphwxVe]OTvf^DThvxT]]?TWf_dUXwXTm]CTYi]blXuPRa\mSxfXdMhupRm\gS{i_BjXt`SMh{Mmi_bjxuHR}iCMojlbhXs@\YmsMajjbhIzGyMmoM`fMDpXrX[ImEMYfMdpHrp[Y[}VFg`coIGPKEaGRAgacoyWhC]eGPEhVCxI[hI}fKQohrckY\HJMfOQqh?C}iOPNmfkP}hzc^yOXNafqQ@h\C[iVXFMdwPsh]c\YMxJ}d{PuiCCUi`HDmgSP[iDcVY`hD}gWP]gYcqiWpBAeUOshbcKYX@BMeQOqg[cJyDXBi`kOkgTCLyDhBm`oOmi@CFiBxOM`?SCgOd@Y_xAIgKObhYCCiUh@M_gQugIclyVH@]_kQwg?CHY?PAQ_EOegACHy?hAe_AOghwB|I]G~UfcNuhyB}X~@NUfeNvfuCjH|HIa^YQhftCih|XIu^OQjh}BvHzhNu]{R}fnd?X{HOA^?R~fjCNHyxBu]uO~fkCNiGG|ea?NYf[CuHvHLeesMyhlbmxv`Lu\yR[fTCcxsxHA\OQPfScchtXHU\KQS_NoGGCcAM@D?`_JoEGAs@e?x?]_MoEgB[@A?j?P_HOCwAdQAhBSaiPtHYccRAHdCpa[pMwfcRiH|C|_hOSGIKDQAj@R_joUwJSDeAp@U`YolgU{JeDtAw`hotGYsLaEnBTfmrvHz{}A^BN]fURjXtszE\`MnfLRexrcxu[~M]n_FkBrlxw|Z]^NVVebtdzC{x]ZNVv_bt|v{|X]CNVV_RtlzC{F]oN?V]RsDvg|B\zNPV^RsdySz|\{NPuSbpTdK{NXPNCuSBolwWqjXSNCV\rkTuKzp\`M{VVbmtt{zn\_MzVhbiTy_yf]hMivhritykyn]iMiVnbhdss|~\MN^vRrv|zwyb\ON^VPrpLwgyR]DMdvaBhTwWyP]FMbVNRq|xSx~[}NJVMrrDrg{r[{NIV[BedvCxj[vMxv\Retrczd[wMyVcbeLx?xd[mNFVcRe\q{{f]NMWVGbqdqK{j[cNJVHRq|q[{r[eNKV[B`Tokzb[KMxVBRm\o{zj[MMyUzBplm{{ZZpNEU{Bp\ms{XZmNDvhbZTl{|T]fLmviBZ\ycu|]jLmVmBVdzctzY}N\VmrV|zsuB]{L_VkbODzWsF]sL@VkrOLz[sJ]tLAUNbvDb{|rX?N\VmrGLzsqF]{K`VcRCDaO{fWdNFVbrCLxGpD]OKPuEbn|`k{@W[N?uFRoTwOo~W]N@v^bAlvcoh\yKJV^RA|`czv\{KKUBbrT_{{xWONMuCRr|xkod]]KHt~BsD^s|BV}NPT~rsdySoBW?NPvkaz|zKm|]tJovlA{D]K|nVaNZVCBbdpCwz[RMNvCbbtqCwj[SMOV?R\LmWv|ZfL~v?B\DmkwFZiM@UwBdDqovDZ`MSuwrdTqsvJZcMTutB^DlSvrZUL|Utr^\l_vxZXL}ukBXDkctbZILXUkrX\jSuZYsLeUfb]TnWtFY^LxugB]dn[tDZtLOurbRDk{srZOLLUsRR\hsufZQLMVPBQ|hGy@YRM_vObQdsSsl\BLIulbPdjcs^YvLEumBPtjgs`YzLGuYBj\tcrR\YKtVVBL\t_rZ\\KuUXblduwrD\iKpuXrllu{rH\jKquWBNTfoq~X}KouVBN\dwr~X|KmuUrSldWtHYgKlUTrSticqpXXLRuobHTkKqVZCKeUpRHlk[q^ZEKfUKbLtbKr^WsKwU[RElfKpnXqKZUKRk|uOpX\dKUvXbDtb?zRWnMsUHb_da[wJWgMBUIR_|akwRWiMCU\B@Tf[oVXtKCu\b@lfcoXWGK{UMr?|_GprWBK\U@RFl_OpxWEK[T|bOtg[nrYHJ|uaA}|^gsVVwLDT{BGdcSnbXEJxUPq}\ccnjXGJyUia|TiknVYkJuTzrTl]wt^VlLVVDa{tpknR[VJrvEA|D]SwrVcMLQxx\CmeAT@J_eORWH{CyOFGCcBQ@x@C_VEwb`plGv[ZYMBEub]plGv{ZaMJCWbbpqGb[\AHFFIaMprGcKPyM^AkbbpqgU{[aD^FK`WpsGUk[yDf@Wb\oWgw[DyMB@Yb]oWGwkDqL~E[bAp`gr{WaLBEIbPpbgs{WqLJCu`SpKgS{RADBAia\pMGS[RQDJCEanpTG_KOQIzCAajpUg`[OaIrD{`rovGnKLyJvB_a~owgo[MQKBDo``p\GVkVID~Du`[ooGlkJiJ^A]aJofGa[HiGjASaGodg`{HaGZBk_}o^g\KMyCFAC`to_G][NACNDK_|pRgNKFQIb@qahpQGM{SiBbBU_boQgYkCAEb@A`hougGkLaAR?g`yoIg]{AqFr?m`|oKg^{BAFz?[_eoFgH{AAAb@Q_PoHgI{DQ@J?GbUpkg?{?QLR?MbWoAgt{Yi?Z?O^{n}gA[?A?u~{_IoDg?Z~y?q~k_qnzgK{E`~b@i^xoZf}{Ep~jC{^opNf{Z}QIA~ea`pPf|[SP~Q~[`fopFykKX}nBG^koqfzz|iEY}{aonngkZ{AJI~AarnpglZ{QJQ}o_YnkgEzzQ@q}u_\oNFvZza@}}c`CnhgPZyaCY}i`FnjgQZyqCa}WaQnegczxqHQ}]aTnggdzyAHY}K^cnbfxZx@}Y~M^Hnsfqz|@{i}?bGn_gq[XP{Q}CbJn`gr[X`{UH^ClaVOWgK[EQBJ@f_rSOiG\C]aJPEgaXdcoiWbKQeErDH`{pYWZKYeFrEH`[pqSNK]dCrGHP[qISZIOeRqbhckaYWzGmeQqIHb{aiXBGkeRqKHc[qaOvKicMqGHd[qiO~KgcQrIHC[]iWbKSbwrEG|{pINZKUbxp|Hb[_qS~I_cCq?hS[iQOJGIdSqhh?{nqSrIYd|qfH]khIVfISd{qdh]{eIUvHcdmqXhZ{eaVBHkdqqYh[[gIRBHycjq^HJKfyQvICcnq_HJkeyQVHKcwqRhM[dARjHwciqShM{iiP~Ikc_qjhG[jAQJIsccqkhG{bIU^JOcYqLhY[baUjG{dkqMhY{nyO^K?cGr?hA[oQOjKGcKr@hA{^YTnFwd[qmg~[jqNzJ?c?qng~{]QUFFedepvhWk]AUNFgdcpwhX[mYMfJgbiqygy{nAMzJmbkqzGz[|q^FN_firuh|K|a^VN]fqrxhy{vI]bLmfhrqHlKvA]^LkfdrYhxkwq\zMMf^rcHwK{I[fMUfbrpHqkwAZjMIe|r_hm{wQZrMGe~r`hnktq\JL]fRrjHk{uA\RMmeprXHt[tYY^LCegrQHi[tQYNLYedrUHhkxaXrMYe\rfHfkry[~LAfPrOHsKqq\bKmfXrKHukrI\nKuf\rLHvLBYaJPEg\sNIGLCa`jPIg^sMIG\@A^ZNmgHr{IAk~I_nOYfzr|IBL?a`^OMgUs@IDLBI_ZOogBsAiD\@q^rO]f|sHi?\AA^zOcg?sGh~|EQbbPqgrs\ILLFYbVPygvs]ILlCqarPMglsVIILDyafPagjsWIIlG_?DP|hD?@IN|Go?LQ@?@SbiOW?QcdQF?BScIOn