static uint32_t num_vectors = 128;

static uint64_t a_vectors[128] =
  {
    0x0,
    0x0,
    0x0,
    0x0,
    0xffffffffffffffff,
    0xffffffffffffffff,
    0xffffffffffffffff,
    0xffffffffffffffff,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0xdf,
    0xee,
    0x64,
    0x9c,
    0xdd,
    0x3f,
    0x27,
    0xac,
    0x67,
    0x38,
    0x18d3,
    0xb220,
    0xbd6c,
    0xe45d,
    0xffc0,
    0xb660,
    0x9ef5,
    0x4522,
    0x6cfa,
    0x7e68,
    0x60c0,
    0xf237,
    0x7e52,
    0x91ac,
    0xb7d7,
    0xefde,
    0x468d,
    0x2f33,
    0x057d,
    0x5d99,
    0x9e99b3,
    0xb474c2,
    0x4a2cf2,
    0xe72a1a,
    0x576f3c,
    0x128b54,
    0xfddb14,
    0xac33d8,
    0xd3d610,
    0x0a7334,
    0xd1f0d3f3,
    0xd3b73ac3,
    0xcffe972e,
    0x276db157,
    0x8b90ec41,
    0x21301abe,
    0x6513649b,
    0xe89c151c,
    0xe6e9d10e,
    0xaee0a72b,
    0x7d8a3288a7,
    0xff0a943d0f,
    0x9160f7465b,
    0x2de5a26442,
    0x9b32e6e86b,
    0x40e2a9195f,
    0xefcc318719,
    0xf22dacbe43,
    0x8f4c71497f,
    0x8c077be9b8,
    0x96fb0330,
    0x4ed6cd6a,
    0x1fdb55cc,
    0xdb5d93e5,
    0x3586c3df,
    0xb8c6dfc4,
    0xd07758dc,
    0xbc21242c,
    0xfd3d8ae8,
    0x47701df0,
    0xbadf753e6e04,
    0x0cbbd66875d9,
    0x4c3da467a078,
    0x515da14e90a0,
    0x89fff362b031,
    0x1554a08fb5bf,
    0x5898e80ccdc0,
    0x7866e5ab575c,
    0x9f0115d90a40,
    0x7f18cb2cc674,
    0xc3f0cb3e29fbcd,
    0xfb0cfbbfa1c18c,
    0xd6d93fc07f06b4,
    0xe3f60a0416e47c,
    0xaaae632b316ca0,
    0x59924e6dd5a968,
    0x5558a445ffd808,
    0xff3453a386eadf,
    0x80f78a7f108920,
    0x71249449347d45,
    0x8dba0806b05d2b32,
    0x1eb6bc352b00b71a,
    0x60514b34aa4e2b9c,
    0xf57cde503857a583,
    0xd233cd60f421613a,
    0xa47cef426ec7983a,
    0x15ef0eba6fd7d6a6,
    0x3099ba19cd655f27,
    0x922ac513ab29821b,
    0xeddb9aef5a0da296,
    0x6e476db9b97043de,
    0xc22c7e6b7b703daf,
    0x325b0a1ebacccde2,
    0x276f14415e3a2260,
    0x80a7b36b858c1e1c,
    0x55a08d547d0d879e,
    0x2abdd24b2de36d53,
    0x1265a35efad19c70,
    0x1c6994593f9a284d,
    0xd398d3e3382f497e
  };

static uint64_t b_vectors[128] =
  {
    0x0,
    0x0,
    0xffffffffffffffff,
    0xffffffffffffffff,
    0x0,
    0x0,
    0xffffffffffffffff,
    0xffffffffffffffff,
    0xd6,
    0x77,
    0x05,
    0x4c,
    0xec,
    0xe6,
    0x27,
    0xc8,
    0xb8,
    0xd8,
    0x6f,
    0x6e,
    0xd4,
    0x3f,
    0xd9,
    0xca,
    0x5d,
    0x1b,
    0x55,
    0xdc,
    0xba25,
    0x283c,
    0x8487,
    0x204c,
    0xeacf,
    0x3e5b,
    0x1f22,
    0x2b1d,
    0xecbb,
    0x4ee5,
    0xa04a11,
    0xaca267,
    0x60047f,
    0x08b87e,
    0x34ffb7,
    0x55b5d1,
    0x9cbef0,
    0xd3dbe6,
    0xfc4c6b,
    0x81cb16,
    0x9e0a3151,
    0xf0b0ac67,
    0xd7ee487b,
    0x6e59461b,
    0x71bafa20,
    0x1ff8d8f9,
    0xf192e1a9,
    0x939c2625,
    0x56401c3f,
    0xa89f3e36,
    0x75fadac9,
    0xb7110e0f,
    0x6bca35c1,
    0x996e2b23,
    0x422a4d0e,
    0x03c27030,
    0x53a06e86,
    0xb5cda7cc,
    0x642dc525,
    0xf969ef2b,
    0x8ceb9531,
    0x0a8c4284,
    0x47d50e79,
    0xe4b2e379,
    0x4e77828e,
    0x7ce1614b,
    0xd401a430,
    0xb22bfc35,
    0x8f17fecd,
    0x3bd2eb37,
    0x526c1727ff,
    0xecdf2f83c0,
    0xd7899f4de5,
    0xdb881e44af,
    0x32fa3b9fc8,
    0x1f2a176cce,
    0x0626002df5,
    0x1ae93c9644,
    0x81bf09b31c,
    0x7b03c60aa1,
    0xdb5cc3ecd1dc,
    0x970f59c85806,
    0xad597ef51e5a,
    0xdf7c77893f79,
    0x00be6515b130,
    0xeff0d2cb1863,
    0x1c5744b29fd5,
    0xeb96a6fd7a59,
    0xb6d393378e39,
    0x2d6f4b8baf97,
    0x95995325f23b0e,
    0xf3effd4d7eb3d9,
    0xaa2b9909010d43,
    0x55ffff4186fae4,
    0xd342e0d61ac583,
    0xcf536fb5cf0750,
    0x134fd089fe052a,
    0x54e8aa5a65976a,
    0x46c633ac0e339a,
    0xca83b8348a7651,
    0x4ca8e1740c870427,
    0x5e5af9877b347721,
    0x42e0ed77ff4b3dcb,
    0xb3f7e3c47889868e,
    0xe984b8378abe20fc,
    0x3e177dcaa12e02ca,
    0xfcdc692311d1deac,
    0xb2ab75807975e480,
    0x62bd48c3732df0ac,
    0x2f7a2b62f9f491a8,
    0x5282a69cbc9a909f,
    0x66ff52f29253e98b,
    0xa82fafc86a71ed32,
    0xfca3aa2dd5117065,
    0x55d9a90a33699957,
    0x561d82084a1b8909,
    0x7db4fb32e3bc44f3,
    0xe5722d3de869fc91,
    0x5c7d4b9eaff72a44,
    0xc1f27044bd32e587
  };

static uint64_t cin_vectors[128] =
  {
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x1,
    0x1,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x1,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x1,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0
  };

static uint64_t addcarry_res_vectors[128] =
  {
    0x0,
    0x1,
    0xffffffffffffffff,
    0x0,
    0xffffffffffffffff,
    0x0,
    0xfffffffffffffffe,
    0xffffffffffffffff,
    0xd6,
    0x77,
    0x5,
    0x4c,
    0xec,
    0xe7,
    0x27,
    0xc9,
    0xb9,
    0xd8,
    0x14e,
    0x15d,
    0x138,
    0xdb,
    0x1b6,
    0x10a,
    0x84,
    0xc7,
    0xbd,
    0x114,
    0xd2f9,
    0xda5d,
    0x141f3,
    0x104a9,
    0x1ea90,
    0xf4bb,
    0xbe17,
    0x703f,
    0x159b5,
    0xcd4e,
    0xa0aad2,
    0xad949f,
    0x6082d2,
    0x94a2b,
    0x35b78e,
    0x56a5b0,
    0x9d057d,
    0xd40b1a,
    0xfc51e9,
    0x8228b0,
    0x9ea8cb04,
    0xf1652129,
    0xd838756e,
    0x6f407036,
    0x7212695d,
    0x200b644e,
    0xf290bcbd,
    0x944859fe,
    0x5713f250,
    0xa8a9b16a,
    0x147ebaebc,
    0x18ac848d2,
    0x13bc8ccef,
    0xc0dbdc7b,
    0xcdbb394f,
    0x24f28aef,
    0xb8b3d321,
    0x19e69bce9,
    0x14b179633,
    0x1a84a9657,
    0x7e171e1dd8,
    0xff15207f94,
    0x91a8cc54d5,
    0x2eca5547bb,
    0x9b815e6af9,
    0x415f8a7aab,
    0xf0a0332b4a,
    0xf2dfd8ba79,
    0x8fdb89484c,
    0x8c434ed4f0,
    0x5303122b30,
    0xed2e06512a,
    0xd7a97aa3b1,
    0xdc637bd895,
    0x332fc263a7,
    0x1fe2de4c92,
    0x6f67786d1,
    0x1ba55dba71,
    0x82bc473e04,
    0x7b4b362892,
    0x1963c392b3fe1,
    0xa3cb3030cde0,
    0xf997235cbed3,
    0x130da18d7d01a,
    0x8abe58786161,
    0x10545735ace22,
    0x74f02cbf6d96,
    0x163fd8ca8d1b5,
    0x155d4a910987a,
    0xac8816b8760b,
    0x1598a1e641c36dc,
    0x1eefcf90d207565,
    0x18104d8c98013f8,
    0x139f609459ddf61,
    0x17df144014c3223,
    0x128e5be23a4b0b8,
    0x68a874cffddd32,
    0x1541cfdfdec8249,
    0xc7bdbe2b1ebcba,
    0x13ba84c7dbef397,
    0xda62e97abce42f59,
    0x7d11b5bca6352e3c,
    0xa33238aca9996967,
    0xa974c214b0e12c12,
    0xbbb885987edf8237,
    0xe2946d0d0ff59b05,
    0x12cb77dd81a9b552,
    0xe3452f9a46db43a8,
    0xf4e80dd71e5772c7,
    0x1d55c6525402343e,
    0xc0ca1456760ad47d,
    0x292bd15e0dc4273a,
    0xda8ab9e7253ebb15,
    0x2412be6f334b92c5,
    0xd6815c75b8f5b773,
    0xabbe0f5cc72910a7,
    0xa872cd7e119fb247,
    0xf7d7d09ce33b9902,
    0x78e6dff7ef915291,
    0x958b4427f5622f05
  };

static uint64_t addcarry_cout_vectors[128] =
  {
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x1,
    0x0,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1
  };

static uint64_t subborrow_res_vectors[128] =
  {
    0x0,
    0xffffffffffffffff,
    0x1,
    0x0,
    0xffffffffffffffff,
    0xfffffffffffffffe,
    0x0,
    0xffffffffffffffff,
    0xffffffffffffff2a,
    0xffffffffffffff89,
    0xfffffffffffffffb,
    0xffffffffffffffb4,
    0xffffffffffffff14,
    0xffffffffffffff19,
    0xffffffffffffffd9,
    0xffffffffffffff37,
    0xffffffffffffff47,
    0xffffffffffffff28,
    0x70,
    0x7f,
    0xffffffffffffff90,
    0x5d,
    0x4,
    0xffffffffffffff74,
    0xffffffffffffffca,
    0x91,
    0x11,
    0xffffffffffffff5c,
    0xffffffffffff5ead,
    0x89e3,
    0x38e5,
    0xc411,
    0x14f0,
    0x7805,
    0x7fd3,
    0x1a05,
    0xffffffffffff803f,
    0x2f82,
    0xffffffffff6016ae,
    0xffffffffff544fcf,
    0xffffffffffa079d2,
    0xfffffffffff7d92d,
    0xffffffffffcbb820,
    0xffffffffffab3a0c,
    0xffffffffff63879d,
    0xffffffffff2c534c,
    0xffffffffff03b911,
    0xffffffffff7e9282,
    0xffffffff62946862,
    0xffffffff1003c85b,
    0xffffffff285be476,
    0xffffffff928de3fe,
    0xffffffff8e9c751b,
    0xffffffffe019b25a,
    0xffffffff0f6af96b,
    0xffffffff6d100db2,
    0xffffffffaa93b9d0,
    0xffffffff576b34fe,
    0x5bf5f92a,
    0x1ca62cb4,
    0x6434616d,
    0xffffffff8dff8633,
    0x49669f33,
    0x1d6daa8d,
    0x1172f615,
    0x32ce6d4f,
    0x82bc0be9,
    0xffffffffb576b7ff,
    0x7cfd46f376,
    0xff0007fa8a,
    0x91192237e1,
    0x2d00ef80c9,
    0x9ae46f65dd,
    0x4065c7b813,
    0xeef82fe2e8,
    0xf17b80c20d,
    0x8ebd594ab2,
    0x8bcba8fe80,
    0xffffffae2ae3db30,
    0xffffff136fa749aa,
    0xffffff28963c07e7,
    0xffffff25533f4f35,
    0xffffffcd3b4b2417,
    0xffffffe18eaf72f6,
    0xfffffffaaa772ae7,
    0xffffffe5d2e48de7,
    0xffffff7f3e33d7cc,
    0xffffff8543aa134e,
    0xffffdf82b1519c27,
    0xffff75ac7ca01dd2,
    0xffff9ee42572821d,
    0xffff71e129c55126,
    0x89418e4cff01,
    0xffff2563cdc49d5c,
    0x3c41a35a2dea,
    0xffff8cd03eaddd03,
    0xffffe82d82a17c06,
    0x51a97fa116dd,
    0x2e57781837c0be,
    0x71cfe72230db3,
    0x2cada6b77df970,
    0x8df60ac28fe997,
    0xffd76b825516a71d,
    0xff8a3edeb806a218,
    0x4208d3bc01d2de,
    0xaa4ba949215375,
    0x3a3156d3025586,
    0xffa6a0dc14aa06f3,
    0x41112692a3d6270b,
    0xc05bc2adafcc3ff8,
    0x1d705dbcab02edd1,
    0x4184fa8bbfce1ef4,
    0xe8af15296963403d,
    0x66657177cd99956f,
    0x1912a5975e05f7fa,
    0x7dee449953ef7aa6,
    0x2f6d7c5037fb916f,
    0xbe616f8c601910ee,
    0x1bc4c71cfcd5b33f,
    0x5b2d2b78e91c5424,
    0x8a2b5a56505ae0af,
    0x2acb6a138928b1fb,
    0x2ace0a61522284c5,
    0xff830b4c32f1fe95,
    0xad08d7184a27285f,
    0x2cf3762112679fde,
    0xbfec48ba8fa2fe09,
    0x11a6639e7afc63f7
  };

static uint64_t subborrow_cout_vectors[128] =
  {
    0x0,
    0x1,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x1,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x0,
    0x0,
    0x1,
    0x0,
    0x1,
    0x1,
    0x0,
    0x0,
    0x0,
    0x0,
    0x1,
    0x1,
    0x0,
    0x1,
    0x1,
    0x1,
    0x1,
    0x0
  };