emergency commit
[cl-cudd.git] / distr / dddmp / exp / varauxids.ord
blob9dc88561e56dbc475bf92902873f9b05a7dabc0a
1 1\r
2 3\r
3 5\r
4 7\r
5 9\r
6 11\r
7 13\r
8 15\r
9 17\r
10 19\r
11 21\r
12 23\r
13 25\r
14 27\r
15 29\r
16 31\r
17 33\r
18 35\r
19 37\r
20 39\r
21 41\r
22 43\r
23 45\r
24 47\r
25 49\r
26 51\r
27 53\r
28 55\r
29 57\r
30 59\r
31 61\r
32 63\r
33 65\r
34 67\r
35 69\r
36 71\r
37 73\r
38 75\r
39 77\r
40 79\r
41 81\r
42 83\r
43 85\r
44 87\r
45 89\r
46 91\r
47 93\r
48 95\r
49 97\r
50 99\r