-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