CAT(2600,7)

Sparse6:

:~?gg_?O?G?C@O?^?O_GOCG@{?}?\?M_FOGoBS@q?v?[_LoEgAc@U?r?W_JoDgAK@M?d?}?XoKgEkBQ@n?u_[OMWF[Bi@z?{_^oNgGKCAAF@A_b_QgGoCiA]@F_f?PgG_C}A[@C_e?PWHgCUAY@H_e?QGHGCmAO@J_y?ZgL{FMBd@p_wO`_McFUBr@w_zo\gQOHCCZAO@EOb_P{HkCpAT`LOeWQsH]ChAR`HOn?SKIEDFAa`PoggR[HyCzA[`OOfwSgJ}DGA}`__jgTwKAD}Al`^?jGVgImDyAi`]?iWV_IaDMB@`R?oGU?KQDaBB`\_pwVOKYEMAx`b?mGWgJYEIAv`Y_pGU_KMDcBA`X_og\_FmBt@|_}O^wNsFmBt@~_~O^WNcGEC@AD`AO_wOSGEC@AB`@O`GOkGYCLAF`BoaWPCGeCPAJ`DOawPSROFZBk`wO{W\sM}F^Bm`wo{G\kMqFnBu`xO{w]kNQFfBq`zo|g]kNQFxB|`{o}G^kNqFpBx`|o}g^[NiGNCEaFpBg_kOQGVCIaCpAG`kOqGZCKaCPAW_{OYG^CMaDpAg_cOUFACB`o@?g\WOMFSCA`s`?W\?OAFMB~`r?~g^wMUF{Bca?_ww_?MIEQBj`c?yg[wLMFKBQ`g_yGY?MeFEBN`p?rgXgMUEWBc`d_wWXOMAEjBS`novgZcLuEvBY`kouGY{LYKs@[_moVwJsEEB@@a_poXwKsEUBH@[_moVwJsEEB@@a_rOXwK[EUBH@g_soZWLcEiBV@h_tOYwLcEuBP@O_goSwISDUAh@V_jOUWJCDmAtFUB[@swv?\ILsFJb[`qgxgZiLqFKbf`nGxoZmLuFPbg@nGvg\ULyFSb^pngwK[AMPFHbbppgwc[UMFFAbd`dWxOXQKmFKbJ@rWxwXUM[ESbK`sWr?\AKoFRbK`sgqw\UKkFSbU@iwt_YiLKEpbW@hgtoY]LYEfbV`iWtwYaLaEgbW@iWtoYmLYEia[pMGe{RYHjCsa^PNwfkRqHvCyad@gGhWYALADCbO`PWsWS]LCDEbP@OGsWSELGDAbQ`OwhGYQLIDGaj`egioXiIgEZai`ewrgTMKwDQae@fghgX}I]E^af@fgrgTEKwDOaq`qwk_[iJ]FTav@tGlg\EJWFObe`YwlO[qMeDhbh@YGxwU]M[Deak`nwj?ZyIuF@al@oGwWUMMCDaao@pWkG[QI}FFbb@VgxGTuMOD[aSpIGdkQqHTCjaXPKweCREH\CnaM`kguOPqLmCfaR@lguwQQHIEuaP`lWcOZQHAEtaO@lGbwZMG{Era}`cwn_XIKKEHbB`aGogXEKGEOb@`bwoOWyKUE@b?@agpgV}KWD}a{`CWn?PAJaCZaw@EgmgPeGoDsaJ`]waoViGiDraI@[gaOVYGeDvdM?GGB{@y?z?a_OoFgBkAA?~?a_OoJwD{BE@`?o_WoIWDKAm@X?i_TOJgDkAq@V?m_UoGwC[AU@H?d_QOHwCsA]@L?g_SOKgESBM@f?t_YOLWEcBY@n?v_ZPdwqsXUKhEXbKOZwL{FEB`@o_wo[wMSFMBd@m_vOdWQkH]ClAU`JoegRKHaCpAY`KohgS{IuDXAj`TOhWScI}D\Ah`SOkGUKJmDtAw`[olgU{JUDhAr`XPLGekR}H|CuaZpMWfCRmHtC|a]POWgCSMIDDDaaPQwhSS]ILDHacPaWpCXMKdEPbGPbwpsWuKXEJbDPRWhcTUIhDMafpSWiCT]IlDRahPWwkSUEJ@DXakPUwjST}I|D\amPXGkkU]JLDhasPYwlSUuJXDnavPDGakPMGdCXaKPDga{PEG`CYaLpCGaKPMGdCTaIPDwasPaGrCYaLpFWbcP}G|C`aOPGgc[QQHJCfaRPFWbcQ]HLCdaQPGwcSQEH@C^aNPIWdCRIHfCpaWPJwdsQqHZCjaTPIWdCQyH^CiaTpJWdcREH`CraXRn@lGxeZOMWexbgxmOyIZaM`ewBgHlwx}[{LmfMbZXr_uq[uLjetBehuGtuYwMoerbmxkoziZIMweqBmXuwuM\kLafYbWXu_uA\cL^fXbVhggyQYGMdefBjxhwyy\WLLfUbRHtWsi\SLJfSbQXt?sa\MLEfRBPxggtEYGLOelbPxjOsYYqLHecBUHhWtYYSLVeibRXi_sqY]LRefBShf?xuXqM[e`bgXs?sIYAMYfLbOHfoxeX}MWfNbNXrorqXuMae\Bgx`GwuWOMKeHbdxaOxYWaMTeGBdHqOo}W[MRfGBBX`_xEWUMNeDBbhcwnuXKJ{eQb@xc_oYXEKDePB@H_WqeWCKge?bGH_?qEV}Kjd~BIh]GxeV_MWfMA}xrgniVqM^d{Bfh]wyEVkM_fPa|XsOnQVeMYfLa{h\Wy]\KJidvbjH\oyuVYMnduBjhtWme\SJgfSaxXt?mQVMMddrBhH\Wv}Z{Jidub\h\_v]ZyJde}AxHmgm]ZgJee|ayXnOmaV]LxdvB]HZGtuUoL[dpBVh[Wt}VAL`doBWHZouIU}LbeqavXk_lqZKJZerauhmglMZgJQdjB^xYwvyZyJSdib^HnWl]ZsJUdhb]XYOvaUiLvezAtHlGk]ZOJEetaqHlOkeUaLldgBZHmGkuZ_JKddb[xXOvIZ]JNdfBZhQchUSnIUdKqeHQShMS`IPdLqehQowe[OIVdIbaxQ_wi[IIOdGb`HQWw][KIQdKb_XR?wASsMBdLb_hPWrmSSKydDbNxPOryXqINe[AbhPwsES[L?e]AbXP_ruYEIKdEbOhNwqmR{KidABIXd?gUXIIEeQA`xOGq]S?KedCbGxP?qISEK_d@BGXPGpUSOKSd@bFxOOpySAK\d?BFHbWg]WsIEeKa`Xb?gQWmH~c~BDhMOoIReKBeBa]x_ofiWAHwc{b?HMonyRmJ~c}a~H^gfqRgKDcyb@HVWoeTsKGdabAxW_oiWYJBeEAohWGo}U?KMeGanhVwpAWeI|eHAnHuGjET_MofXamXuOja\iInfYAjhUwzYTkMvdYbmXU_zaTcMzf\AkxTwwyT[MNfIakXq_jA[eIxfHAmHpgjM[WIqdYbcXU_xATmMVdZBdhTGk}U[IgdUasXT_lATSJFdTaphTWkeTSJGddajXXOiqTQJKdeaiHdghuSwKkdNbJxRoqyTMKvdRBLhSgrUTGKsdPbKhSOrMTAKodOBKXdgfER_KkcrbKxeOeYRQKpcsBKHdwemX[HicuBLHLgrUR]KvcvBLhoweU[KHccpb_xKOwI[IH\cmB`HpGdm[OHYcobaxK?wiQ}M@cnB_HIojiQmIzckAnhVwdeQeI{chAnXI_kMUCHTd_ARhWGc}QaJCdaaSHGwtEQKLOejaPXiocQQELWekaOhiWcuYcHKcdbTXHOtQYuHHelAQH[?cEVAH?dmaMXZ_baPuJbdpAMhFglePwJWc^AvxFwlyUuGvdlALhuWaM\cGacSbmXD?zaO}MzcNBmhCwzA\aGecQblxuoaQ\iG`fYAGHAgyUOgMccMbiXB_yaOuMjcLBihtw`e\[GWfRaCxso`I\YGVfUADh?gnAOGJpdxa?x]O_IVmF|dz@~H^?^}VqF}b|a}w~OniOAJtc?A|G}OpUNeKSb{bEhbW^aN]K^bvBFhbG^YWoFveJ`{W}?pYWyFteM@|G{gfmNGHybpa\XM_]INWH{c}`zW{ofaNMHxcz`yxMo]iReFhcx@yGzGiMMoIablahgzOi]MyI[bmAfXSG\}T?F]dQ`txS_\YS}F`dN@wH?wbUOKGscDaJx@OayOQGlcCAJHAGamO_GicFaKhEW_yPaGKcWABW@k?q?Z?K_DOAw@K?a?R?G_DOAw?{?Y?N?E_Bo@g?c?U?H?D_AO@W@k?q?V?I_CoAGAc@U?n?U_KoEGA[@I?b?P_HoChMSfMRrHwcyq\HN[fiRnHuc}q^HN{fySPIHdBQ`xOkgQSFIAd?q_HQKhASfIQdKqeHQ{hYSjISdLQewJkEEB@@^_nOVGFCBe@v?y_]ONWFKBm@t?{_]oMG[KMAFFBa`qOxW[{MYFRBg`tOywPkGqC^AM`EobGP{GyCbAO`GOcWR[HqC|A\`OOfx?{_YORGGcDqAh@k_qO^GMcGqCG{[]INJFcbrpxg|K]aNVFibuPzZ@p[Wn@VEJotuAxD\cmNVZJcTuaw|\smTV[JctqQz|\wmTVaJdtwqx\Ysm@UkJ_ToQsT[ClFVBJQToasl[KlNVAJRTpQtL[OlPUjJaTpQtTZgk~UyJNTdqvdXWlvUXJ]TeAv\Xgl|UZJ]tfQvtXolzU`J^tgAv|[skHVKJAtrqod[wkJVPJBtsAot\KkNVQJBTtQpL\OkPVVJCTaQyszooFM|K@Rnb?l_O\~N?KBu@`wK{GoRWGF`uApwl_g]HNFKEuB@wtUCj|T~IoTYqnLUgjpTzIsTYQnTUWjzT{Irt_AklWCjHTaJ@t_ak\S_nTTHJttzQhlSonXVnIdtzahT^Ci^VoIfT{qiL^Gi`VtIhTSq}dRslbUoI]TNqt|Rwl\T@JXtOAuTSKljTAJYTlqglZWiHUxIbtmAgtRSlbSsJWTKqt|RGl\UvI[tlafDZOhbSoJYtLqu\RWldUxI\tmAfTUsgZTkIETZq`|Uwg\SPIwt[AaDPKjnSQIzTDQm\POjdTtIJt\AatYGgTUbIDtjA_LYsg@SGJTTiq`LO[lRSEJSThq_lYWgHUdI@thA_T[sfjVKHyTrq]|[wflVPH{tsA^DNkmfVQH|S~QylNomhVVH~s~aytM_jrRhI{Syqn\MgjtRlI}SzAnlM{j|T~HvS{QoLN?k@RrJ@s{aoTKSnTRCJtspq|d]seLVnHctzaXD^CeVVoHdT{qXl^GeXRNJyt|AXtJcmvVYH[SmqzLJgmpQ|JmsnAzdJ{m~Q}JnSoQ{LK?n@VbH`twaWT]OdZVcHUSjq{lIwnJVhHZtyAUt]_djQsJsska{|]WdfQpJrskA{t^cbxVwG}s^q}|FwnlVzH?t}aODGKnzQAJ}S`Q~|GOn|QFK?S`b?LFCkzPoJMS]qr\FgktPxJKs]ArDXWbjUVGyS[qr|FGk|PvJOtgAMtD_nnPXJzT}QJ\^_atPbJ|sWa~TECnzV{GoT~qJ|^wa|P\K?sVB?DUs`RTkGSSIqm\AgjdOkIvSJQl|VS`\TsGVsKQmLB?j`TvGXt\aETWg`NUIGRTaqBlWk_xO`JEsGApd@{kZUKGNSGqp|AGk\UNGQtbaCdX?_bOOJGsDQqT@OkdUPGHtcAAT@[kfOUJHsEQqdXS_pUTGLsEaqd_K]jNSK@U@Py|_O]lWFFku@`zD_c]vWGFlRvR@\_g]xN^KErvb@d_K]RNGK@U@Px\_O]TWFFeu@`xd_c]^WGFfUApyL_g]`NRKErsb@dPshRS[ISTHQb\QOgtSfIKtEActP{hVS]ITTGQdlQ?hXSbIVTGad|LscjR[HISvqQ|LwclQXHoseA[DHkfFQYHpSxQRlHofHRfHNsxaRtIKbJPcHPSXqTLEWdPPhHOsYASDE{dNPmHRShQL\IObTPlHTsZATTCsebPKHgSsqILLGa`RTGhstAITL[ajRUGiSRqZLCwepPVHlsTaZTBSi~T]GYTTqF|TW`|TSG]tTQFdBkirOyIkSMQj\B_itOvImsLajd?SaROCGcSBqG|?waLP@GEsOA@d?kaJOIGaSAQG\CG_PPJGBs@aHS}s^rNkF{Rzp~S}w^vNpF}r{@~c~K^~N}FxR|Q?K~O_@NvG@r|a?S}CcRN_HCRyqQ[}gcdNhHGryAQDG{^NQMFrRxQPdGs^HNbHDrwaPS@y?z?`_POGGB{FmBt@|_}O^wNsIUDHAf`ROiWTCImDTAk`UojwTsJED`Ar`XOlWUcJ]DlAx`[OmgV\DeapPZglSVYJdD}a|P_gosWyKTxkp|]YK^vfRGDxoqB]^K`VfbG\cS|@]`KaUPbs\c[|D]dKcUQRsdwK{r]ANKVbBrDws{r]JNJvabqtw_{j]HNIV`rqdwW{j]CNJV`Rq|u{{f\mNHVbrm\vG{\]QMyVcrmlw{zb\oNFVcRllx?zX]PMtvcBlTq{|f[mNXVKBulzOxb[rNZvKbutrS|r[sN[VLrv\rW|t[xN]vMBvdok|N]eMDVBrt\ow|T[LNSvBBtDpC|Z[ONUVCrt|pG|\]pMIvkBadh{|NY]NRViRS\y_tDY`NTugBtTiS|ZYcNUUhrt|iW|\YhNWuiBuDxkrv]YK|U^Rrlfo{xX~NNu^brtgC|BY?NOU_rs\gG|DYCNQVhROlzKqn]qKjVlRJLzOqpXZNZvlbJTds|rX[N[UVbvTzkq~]{KovnRKDqKzn[aMzV]RclqOzp\zMRv]bctvsxR\{MSV^rd\vwxT[lN?vJBoDnSubZOLyUrr]\kwvdZvLhu|bYTlSvpZSL{utr^TlWvvZXL}uuB^dkouvZLLlUwRW|m?uLZHLnuqBZtkkuzZILmUwrWlmGuHZALqUor[lj[vRYuLsUmR[|j_vLZjL\uybVTmstzZkL]Unb\tj{v^Z@LwuoB]DoCtV[?LTV@RT|oOt\[BLUv?bTdo[tb[ELWVARUTjKwPYtL~ulB^tg[xv[yLBVPRQLsOs`\BLFvObPtgsyBYKM_Uarf|ggx|YHM]uaBfdfCyj\SKwVSrL|tGr\\ZKzvUbMttcrj\WKyU[ri|fGyl\\K{vVBNDdKzNXQMrUQrj|cgy|\dKiVXBIluKqZXKMpVWRH|u?q\XPMsuSBlDp[pf[UKXVERElp_ph[ZKZvEbEtpspr[[K[UMrbtbgw~[`K]uNBcDs[pV\EKTUIRhLa_yPWlMduJBhTa{yZWmMeUHriLaWy`WpMfuKBhthKozYQKMUdRB|hOo|YVKOudbCDhcpFYWKPUHRR\aOstY\KLUErRd`CrJWOKqUCrK\`GrDXhKIuYBAde[onXeKJUBrL\_wrTWXKuuZBBCgmSTILdEQbxPsEMBH@d_pOXwKsB}@|@@__OOwGSFUBl@v_yO]WNCcMQDHFcbQPXGccaQRHJcdQRXHe@|D^_]PVWjsCMIx@@apOPwkCCUJD@JaoOQWksCuJH@N_hPXWksDEK@CVb?PDWbSWUGpEBbBPFWosP}KPC`bDPGwpSQmKPChaRP_wccWUJhAvayOlWmsKmJlBH`bP^wWcVuE@D|``P^wnCJ}JtA|a|OmwnCJeK\A^bEOfWqsI]KhAdbHOgwqCIEDTEZbKOiWrsI}KxAlbOOkwUCYMAlDh_iPYWJSUuApDj_nPZwJcU}Jd@bawOWWmSE]J`@d_tPZWLCUmK[~vbEN|V~sX\~xET^|PcwqB~e?DEZ_?PeWrs?]Kx?DbPOAwsC?eCLBf`AOxWPSMmCPBh`|Obw^CGuFlAR`yOcWQsNMChBp`vOew\cHe@LBZ`kOHWDCLUEl?j_VOvwDcLu@dBb_WOwWEsLM@hBP`fOMwXcBe?dCF_GP@WBSN}?pB|aFOBw`c?uGT?^aCOFW_SAM@@C@_JPCwAcPEH[~J^cPJWfB{UHs~Fa^NrVxsRt}dCr^gPKVysSL}hD@aZNuweb|eB[}n_uNjWMBzEBc}r_zNlwMbzT|p@z^\O]WNr{L}@@|`@NnwOBzt{k~b^INwVsR}\~G}`^nNfvzbxt|K~j^QNyV|rxl~W}X^TN{vtB~Dz|DN]}PRWhRw]IO}DahNawiBwd{\DV^EPTWgrxMIG}PalN_voCTcGUCHA@`?O_wOUVLHJccQxX[sc]QHJdc`QwxGCmEP|J^c]QvXFSl}PpJ\doQLXEsmMUdIVdgQdXSSk}T@JLdTQpxTCkUTLJVdQQtXRskmSxJHdlQexZCheRDGbcOQWXCsd}PHH\clQFxJC`uQdGjcgQIXHca}Q\GlcjQKxIcbER\FncuPzW}semNhHhcxP{xMC^ERtFzc{P}XKs^}RHF|c@Q\x?CfUS`FVdHPtXPs]MN@ILdCPvWzsgmSDFZd?PuW{cf}RxFfbtQ`w|CgUL|GZb]QEX@S[MM@GHbhQ@wyC_UOXFLcFPrwxS`MMPGPcJPpxAc[UTtEfbQQmXTsYeTXEjbVQlwtcjULdJBd_PkWusj}LhI|b\QkwvCjCEaBR@j_tOZWLeWlMPeIRcX_SxMW@MRfJRAX`SxU[lKFeARdXrSou[pKNeHReXrSpE[TLJfCRQXnStMZpLPfBRRxocsuYlL~eiR^XoStm[@LXenRbxjcwuWtL`eKRWxlsq}ZXKleTR\xdCvUZdKfewRHXlSqMX@LheNRXXbcu]VTLFdsRPX]cr]XhJvdxRMx]CreVXKpdvRKxfsnmVpK|d~ROx^csE^\NZfkRzX}S|]^`NTfhRyxyC}e]\NffeRxXzs~]]xNtfpR}x{C~e\DMzfORmXtCz}\xMjfZRhxucyU]DMnfURoXwszM]HMpfNRqxrc{e_|OBgMS?X~t@]^xOTgLS@y?d@e_TObgCSGY@tA]_XOdgHSIyADAc?DOkgVsKiEo?]``Os?A_?iFDBk?HO}g`_@iFdCF