-rw-r--r-- 908 high-ctidh-20210523/testrandom.exp
batchkeys
random_coin
boundedl1_2
boundedl1_3
boundedl1_generic
0 0 1
0 1 1
0 2 1
0 3 1
0 4 1
0 5 1
0 6 1
0 7 1
0 8 1
0 9 1
0 10 1
0 11 1
0 12 1
0 13 1
0 14 1
0 15 1
0 16 1
0 17 1
0 18 1
0 19 1
0 20 1
0 21 1
0 22 1
0 23 1
0 24 1
1 0 1
1 1 3
1 2 5
1 3 7
1 4 9
1 5 11
1 6 13
1 7 15
1 8 17
1 9 19
1 10 21
1 11 23
1 12 25
1 13 27
1 14 29
1 15 31
1 16 33
1 17 35
1 18 37
1 19 39
1 20 41
1 21 43
1 22 45
1 23 47
1 24 49
2 0 1
2 1 5
2 2 13
2 3 25
2 4 41
2 5 61
2 6 85
2 7 113
2 8 145
2 9 181
2 10 221
3 0 1
3 1 7
3 2 25
3 3 63
3 4 129
3 5 231
4 0 1
4 1 9
4 2 41
4 3 129
5 0 1
5 1 11
5 2 61
5 3 231
6 0 1
6 1 13
6 2 85
7 0 1
7 1 15
7 2 113
8 0 1
8 1 17
8 2 145
9 0 1
9 1 19
9 2 181
10 0 1
10 1 21
10 2 221
11 0 1
11 1 23
12 0 1
12 1 25
13 0 1
13 1 27
14 0 1
14 1 29
15 0 1
15 1 31
16 0 1
16 1 33
17 0 1
17 1 35
18 0 1
18 1 37
19 0 1
19 1 39
20 0 1
20 1 41
21 0 1
21 1 43
22 0 1
22 1 45
23 0 1
23 1 47
24 0 1
24 1 49