-
Notifications
You must be signed in to change notification settings - Fork 0
/
data.txt
83 lines (42 loc) · 4.22 KB
/
data.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
This data is from running count-forms on various inputs. It is formatted to be easily insertable into a scatterplot visualizer, such as Desmos.com.
Improved pruning:
(dimensions 0-4 unchanged)
Dimension 5/6:
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(11)),(8,log(16)),(9,log(20)),(10,log(20)),(11,log(16)),(12,log(14)),(13,log(7)),(14,log(2))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(12)),(8,log(33)),(9,log(116)),(10,log(322)),(11,log(883)),(12,log(1804)),(13,log(3596)),(14,log(5539)),(15,log(7736)),(16,log(8153)),(17,log(7503)),(18,log(5452)),(19,log(3506)),(20,log(1969)),(21,log(974)),(22,log(451)),(23,log(207)),(24,log(69)),(25,log(35)),(26,log(17)),(27,log(1))
Full pruning:
(1,log(1))
(1,log(1)),(2,log(1))
(1,log(1)),(2,log(1)),(3,log(1))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(1))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(2)),(7,log(2)),(8,log(1))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(11)),(8,log(16)),(9,log(22)),(10,log(22)),(11,log(19)),(12,log(14)),(13,log(7)),(14,log(2))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(12)),(8,log(33)),(9,log(116)),(10,log(322)),(11,log(883)),(12,log(1804)),(13,log(3599)),(14,log(5555)),(15,log(7785)),(16,log(8234)),(17,log(7612)),(18,log(5532)),(19,log(3564)),(20,log(2005)),(21,log(991)),(22,log(454)),(23,log(208)),(24,log(73)),(25,log(36)),(26,log(17)),(27,log(1))
No pruning:
(1,log(1))
(1,log(1)),(2,log(1))
(1,log(1)),(2,log(1)),(3,log(1))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(1))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(3)),(7,log(5)),(8,log(1))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(11)),(8,log(23)),(9,log(55)),(10,log(65)),(11,log(72)),(12,log(59)),(13,log(44)),(14,log(8))
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(12)),(8,log(33)),(9,log(116)),(10,log(348)),(11,log(1106)),(12,log(2785)),(13,log(7128)),(14,log(14978)),(15,log(31761)),(16,log(52916)),(17,log(86793)),(18,log(105192)),(19,log(118521)),(20,log(95413)),(21,log(72592)),(22,log(37018)),(23,log(17869)),(24,log(5155)),(25,log(1228)),(26,log(102)),(27,log(1))
Total counts for each form:
Improved pruning:
(0,log(1)),(1,log(2)),(2,log(3)),(3,log(5)),(4,log(11)),(5,log(116)),(6,log(48388))
Full pruning:
(0,log(1)),(1,log(2)),(2,log(3)),(3,log(5)),(4,log(11)),(5,log(123)),(6,log(48846))
No pruning:
(0,log(1)),(1,log(2)),(2,log(3)),(3,log(5)),(4,log(15)),(5,log(347)),(6,log(651077))
(partial results)
Dimension 7, pruned = 1 (no pruning), semipruned = 22:
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(12)),(8,log(34)),(9,log(131)),(10,log(483)),(11,log(2043)),(12,log(8237)),(13,log(34324)),(14,log(130535)),(15,log(505491)),(16,log(1782478)),(17,log(6360902)),(18,log(20550064)),(19,log(67118732)),(20,log(196605810)),(21,log(579975047)),(22,log(1522392450))
(7,log(2395466783))
Dimension 7, pruned = 13, semipruned = 22:
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(12)),(8,log(34)),(9,log(131)),(10,log(483)),(11,log(2043)),(12,log(8139)),(13,log(33392)),(14,log(127273)),(15,log(493617)),(16,log(1740301)),(17,log(6208071)),(18,log(20046865)),(19,log(65453065)),(20,log(191772594)),(21,log(565869164)),(22,log(1486566918))
(7,log(2338322112))
Dimension 7, pruned = 16, semipruned = 22: (with original pruning, takes too long to run with improved)
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(12)),(8,log(34)),(9,log(131)),(10,log(483)),(11,log(2043)),(12,log(8139)),(13,log(33392)),(14,log(123434)),(15,log(462682)),(16,log(1546127)),(17,log(5560142)),(18,log(18021693)),(19,log(58676838)),(20,log(171610430)),(21,log(505011865)),(22,log(1326731070))
(7,log(2087788525))
Dimension 7, pruned = 15, semipruned = 22: (does not change with improved pruning)
(1,log(1)),(2,log(1)),(3,log(1)),(4,log(1)),(5,log(2)),(6,log(4)),(7,log(12)),(8,log(34)),(9,log(131)),(10,log(483)),(11,log(2043)),(12,log(8139)),(13,log(33392)),(14,log(123434)),(15,log(462682)),(16,log(1644723)),(17,log(5880375)),(18,log(18970556)),(19,log(61856470)),(20,log(180990730)),(21,log(533506230)),(22,log(1402090415))
(7,log(2205569859))