glu-2.2: src/cmuBdd/bddprimes.c Source File

00001 /* BDD routine prime numbers for table sizes */
00002 
00003 
00004 long bdd_primes[]=
00005 {
00006   1,
00007   2,
00008   3,
00009   7,
00010   13,
00011   23,
00012   59,
00013   113,
00014   241,
00015   503,
00016   1019,
00017   2039,
00018   4091,
00019   8179,
00020   11587,
00021   16369,
00022   23143,
00023   32749,
00024   46349,
00025   65521,
00026   92683,
00027   131063,
00028   185363,
00029   262139,
00030   330287,
00031   416147,
00032   524269,
00033   660557,
00034   832253,
00035   1048571,
00036   1321109,
00037   1664501,
00038   2097143,
00039   2642201,
00040   3328979,
00041   4194287,
00042   5284393,
00043   6657919,
00044   8388593,
00045   10568797,
00046   13315831,
00047   16777199,
00048   33554393,
00049   67108859,
00050   134217689,
00051   268435399,
00052   536870879,
00053   1073741789,
00054   2147483629
00055 };