source: vis_dev/glu-2.3/src/cmuBdd/bddprimes.c @ 26

Last change on this file since 26 was 13, checked in by cecile, 13 years ago

library glu 2.3
File size: 544 bytes
Line 
1/* BDD routine prime numbers for table sizes */
2
3
4long bdd_primes[]=
5{
6  1,
7  2,
8  3,
9  7,
10  13,
11  23,
12  59,
13  113,
14  241,
15  503,
16  1019,
17  2039,
18  4091,
19  8179,
20  11587,
21  16369,
22  23143,
23  32749,
24  46349,
25  65521,
26  92683,
27  131063,
28  185363,
29  262139,
30  330287,
31  416147,
32  524269,
33  660557,
34  832253,
35  1048571,
36  1321109,
37  1664501,
38  2097143,
39  2642201,
40  3328979,
41  4194287,
42  5284393,
43  6657919,
44  8388593,
45  10568797,
46  13315831,
47  16777199,
48  33554393,
49  67108859,
50  134217689,
51  268435399,
52  536870879,
53  1073741789,
54  2147483629
55};
Note: See TracBrowser for help on using the repository browser.