content: [benchmarks]
  babybear = [
      { x_len = 1, kappa = 3, n = 512, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 4, n = 512, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 6, n = 512, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 512, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 512, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 1024, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 5, n = 1024, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 6, n = 1024, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 1024, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 1024, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 2048, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 5, n = 2048, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 7, n = 2048, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 2048, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 2048, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 4096, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 5, n = 4096, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 7, n = 4096, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 4096, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 4096, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 8192, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 5, n = 8192, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 7, n = 8192, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 8192, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 8192, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 5, n = 16384, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 6, n = 16384, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 8, n = 16384, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 16384, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 16384, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 5, n = 32768, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 6, n = 32768, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 8, n = 32768, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 32768, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 32768, b = "65536", l = 2, b_small = 2, k = 16 },
  ]
  
  babybear_non_scalar = [
      { x_len = 1, kappa = 3, n = 512, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 4, n = 512, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 6, n = 512, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 512, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 512, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 1024, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 5, n = 1024, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 6, n = 1024, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 1024, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 1024, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 2048, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 5, n = 2048, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 7, n = 2048, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 2048, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 2048, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 4096, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 5, n = 4096, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 7, n = 4096, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 4096, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 4096, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 8192, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 5, n = 8192, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 7, n = 8192, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 8192, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 8192, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 5, n = 16384, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 6, n = 16384, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 8, n = 16384, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 16384, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 16384, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 5, n = 32768, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 6, n = 32768, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 8, n = 32768, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 32768, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 32768, b = "65536", l = 2, b_small = 2, k = 16 },
  ]
  
  babybear_degree_three_non_scalar = [
      { x_len = 1, kappa = 3, n = 512, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 4, n = 512, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 6, n = 512, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 512, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 512, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 1024, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 5, n = 1024, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 6, n = 1024, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 1024, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 1024, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 2048, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 5, n = 2048, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 7, n = 2048, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 2048, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 2048, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 4096, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 5, n = 4096, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 7, n = 4096, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 4096, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 4096, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 4, n = 8192, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 5, n = 8192, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 7, n = 8192, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 8192, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 8192, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 5, n = 16384, b = "32", l = 7, b_small = 2, k = 5 },
      { x_len = 1, kappa = 6, n = 16384, b = "128", l = 5, b_small = 2, k = 7 },
      { x_len = 1, kappa = 8, n = 16384, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 16384, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 16384, b = "65536", l = 2, b_small = 2, k = 16 },
      { x_len = 1, kappa = 5, n = 32768, b = "16", l = 8, b_small = 2, k = 4 },
      { x_len = 1, kappa = 6, n = 32768, b = "64", l = 6, b_small = 2, k = 6 },
      { x_len = 1, kappa = 8, n = 32768, b = "256", l = 4, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 32768, b = "2048", l = 3, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 32768, b = "65536", l = 2, b_small = 2, k = 16 },
  ]
  
  goldilocks = [
      { x_len = 1, kappa = 8, n = 512, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 9, n = 512, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 11, n = 512, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 14, n = 512, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 21, n = 512, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 38, n = 512, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 512, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 8, n = 1024, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 9, n = 1024, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 11, n = 1024, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 14, n = 1024, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 22, n = 1024, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 39, n = 1024, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 1024, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 9, n = 2048, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 2048, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 12, n = 2048, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 2048, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 23, n = 2048, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 40, n = 2048, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 2048, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 9, n = 4096, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 4096, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 12, n = 4096, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 16, n = 4096, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 24, n = 4096, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 41, n = 4096, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 4096, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 10, n = 8192, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 8192, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 13, n = 8192, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 16, n = 8192, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 25, n = 8192, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 42, n = 8192, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 8192, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 10, n = 16384, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 16384, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 13, n = 16384, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 17, n = 16384, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 25, n = 16384, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 43, n = 16384, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 16384, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 11, n = 32768, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 32768, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 14, n = 32768, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 18, n = 32768, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 26, n = 32768, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 44, n = 32768, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 32768, b = "4294967296", l = 2, b_small = 2, k = 32 },
  ]
  
  goldilocks_non_scalar = [
      { x_len = 1, kappa = 8, n = 512, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 9, n = 512, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 11, n = 512, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 14, n = 512, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 21, n = 512, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 38, n = 512, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 512, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 8, n = 1024, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 9, n = 1024, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 11, n = 1024, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 14, n = 1024, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 22, n = 1024, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 39, n = 1024, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 1024, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 9, n = 2048, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 2048, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 12, n = 2048, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 2048, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 23, n = 2048, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 40, n = 2048, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 2048, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 9, n = 4096, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 4096, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 12, n = 4096, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 16, n = 4096, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 24, n = 4096, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 41, n = 4096, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 4096, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 10, n = 8192, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 8192, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 13, n = 8192, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 16, n = 8192, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 25, n = 8192, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 42, n = 8192, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 8192, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 10, n = 16384, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 16384, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 13, n = 16384, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 17, n = 16384, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 25, n = 16384, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 43, n = 16384, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 16384, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 11, n = 32768, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 32768, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 14, n = 32768, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 18, n = 32768, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 26, n = 32768, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 44, n = 32768, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 32768, b = "4294967296", l = 2, b_small = 2, k = 32 },
  ]
  
  goldilocks_degree_three_non_scalar = [
      { x_len = 1, kappa = 8, n = 512, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 9, n = 512, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 11, n = 512, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 14, n = 512, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 21, n = 512, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 38, n = 512, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 512, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 8, n = 1024, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 9, n = 1024, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 11, n = 1024, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 14, n = 1024, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 22, n = 1024, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 39, n = 1024, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 1024, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 9, n = 2048, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 2048, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 12, n = 2048, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 15, n = 2048, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 23, n = 2048, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 40, n = 2048, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 2048, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 9, n = 4096, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 10, n = 4096, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 12, n = 4096, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 16, n = 4096, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 24, n = 4096, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 41, n = 4096, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 4096, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 10, n = 8192, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 8192, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 13, n = 8192, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 16, n = 8192, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 25, n = 8192, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 42, n = 8192, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 8192, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 10, n = 16384, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 16384, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 13, n = 16384, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 17, n = 16384, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 25, n = 16384, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 43, n = 16384, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 16384, b = "4294967296", l = 2, b_small = 2, k = 32 },
      { x_len = 1, kappa = 11, n = 32768, b = "256", l = 8, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 32768, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 14, n = 32768, b = "2048", l = 6, b_small = 2, k = 11 },
      { x_len = 1, kappa = 18, n = 32768, b = "8192", l = 5, b_small = 2, k = 13 },
      { x_len = 1, kappa = 26, n = 32768, b = "65536", l = 4, b_small = 2, k = 16 },
      { x_len = 1, kappa = 44, n = 32768, b = "4194304", l = 3, b_small = 2, k = 22 },
      { x_len = 1, kappa = 99, n = 32768, b = "4294967296", l = 2, b_small = 2, k = 32 },
  ]
  
  starkprime = [
      { x_len = 1, kappa = 15, n = 512, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 18, n = 512, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 23, n = 512, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 33, n = 512, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 47, n = 512, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 80, n = 512, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 169, n = 512, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 512, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 15, n = 1024, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 18, n = 1024, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 24, n = 1024, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 33, n = 1024, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 48, n = 1024, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 80, n = 1024, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 171, n = 1024, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 1024, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 2048, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 19, n = 2048, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 24, n = 2048, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 34, n = 2048, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 49, n = 2048, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 81, n = 2048, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 172, n = 2048, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 2048, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 4096, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 19, n = 4096, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 25, n = 4096, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 34, n = 4096, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 49, n = 4096, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 82, n = 4096, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 173, n = 4096, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 4096, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 8192, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 20, n = 8192, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 25, n = 8192, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 35, n = 8192, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 50, n = 8192, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 83, n = 8192, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 175, n = 8192, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 8192, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 17, n = 16384, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 20, n = 16384, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 26, n = 16384, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 35, n = 16384, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 51, n = 16384, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 84, n = 16384, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 176, n = 16384, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 16384, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 17, n = 32768, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 21, n = 32768, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 26, n = 32768, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 36, n = 32768, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 51, n = 32768, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 85, n = 32768, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 177, n = 32768, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 32768, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
  ]
  
  starkprime_non_scalar = [
      { x_len = 1, kappa = 15, n = 512, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 18, n = 512, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 23, n = 512, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 33, n = 512, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 47, n = 512, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 80, n = 512, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 169, n = 512, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 512, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 15, n = 1024, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 18, n = 1024, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 24, n = 1024, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 33, n = 1024, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 48, n = 1024, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 80, n = 1024, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 171, n = 1024, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 1024, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 2048, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 19, n = 2048, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 24, n = 2048, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 34, n = 2048, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 49, n = 2048, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 81, n = 2048, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 172, n = 2048, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 2048, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 4096, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 19, n = 4096, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 25, n = 4096, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 34, n = 4096, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 49, n = 4096, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 82, n = 4096, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 173, n = 4096, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 4096, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 8192, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 20, n = 8192, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 25, n = 8192, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 35, n = 8192, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 50, n = 8192, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 83, n = 8192, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 175, n = 8192, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 8192, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 17, n = 16384, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 20, n = 16384, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 26, n = 16384, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 35, n = 16384, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 51, n = 16384, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 84, n = 16384, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 176, n = 16384, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 16384, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 17, n = 32768, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 21, n = 32768, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 26, n = 32768, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 36, n = 32768, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 51, n = 32768, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 85, n = 32768, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 177, n = 32768, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 32768, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
  ]
  
  starkprime_degree_three_non_scalar = [
      { x_len = 1, kappa = 15, n = 512, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 18, n = 512, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 23, n = 512, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 33, n = 512, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 47, n = 512, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 80, n = 512, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 169, n = 512, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 512, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 15, n = 1024, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 18, n = 1024, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 24, n = 1024, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 33, n = 1024, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 48, n = 1024, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 80, n = 1024, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 171, n = 1024, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 1024, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 2048, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 19, n = 2048, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 24, n = 2048, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 34, n = 2048, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 49, n = 2048, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 81, n = 2048, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 172, n = 2048, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 2048, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 4096, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 19, n = 4096, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 25, n = 4096, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 34, n = 4096, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 49, n = 4096, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 82, n = 4096, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 173, n = 4096, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 4096, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 16, n = 8192, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 20, n = 8192, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 25, n = 8192, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 35, n = 8192, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 50, n = 8192, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 83, n = 8192, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 175, n = 8192, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 8192, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 17, n = 16384, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 20, n = 16384, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 26, n = 16384, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 35, n = 16384, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 51, n = 16384, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 84, n = 16384, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 176, n = 16384, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 16384, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
      { x_len = 1, kappa = 17, n = 32768, b = "268435456", l = 9, b_small = 2, k = 28 },
      { x_len = 1, kappa = 21, n = 32768, b = "4294967296", l = 8, b_small = 2, k = 32 },
      { x_len = 1, kappa = 26, n = 32768, b = "68719476736", l = 7, b_small = 2, k = 36 },
      { x_len = 1, kappa = 36, n = 32768, b = "4398046511104", l = 6, b_small = 2, k = 42 },
      { x_len = 1, kappa = 51, n = 32768, b = "2251799813685248", l = 5, b_small = 2, k = 51 },
      { x_len = 1, kappa = 85, n = 32768, b = "9223372036854775808", l = 4, b_small = 2, k = 63 },
      { x_len = 1, kappa = 177, n = 32768, b = "19342813113834066795298816", l = 3, b_small = 2, k = 84 },
      { x_len = 1, kappa = 600, n = 32768, b = "85070591730234615865843651857942052864", l = 2, b_small = 2, k = 126 },
  ]
  
  frog = [
      { x_len = 1, kappa = 10, n = 512, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 512, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 14, n = 512, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 16, n = 512, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 21, n = 512, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 32, n = 512, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 60, n = 512, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 512, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 11, n = 1024, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 1024, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 14, n = 1024, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 17, n = 1024, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 22, n = 1024, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 34, n = 1024, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 61, n = 1024, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 1024, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 11, n = 2048, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 2048, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 15, n = 2048, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 18, n = 2048, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 23, n = 2048, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 35, n = 2048, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 63, n = 2048, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 2048, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 12, n = 4096, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 13, n = 4096, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 16, n = 4096, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 19, n = 4096, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 24, n = 4096, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 36, n = 4096, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 64, n = 4096, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 4096, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 12, n = 8192, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 14, n = 8192, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 17, n = 8192, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 20, n = 8192, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 25, n = 8192, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 37, n = 8192, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 66, n = 8192, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 8192, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 13, n = 16384, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 14, n = 16384, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 17, n = 16384, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 20, n = 16384, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 26, n = 16384, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 38, n = 16384, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 68, n = 16384, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 16384, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 14, n = 32768, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 15, n = 32768, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 18, n = 32768, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 21, n = 32768, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 27, n = 32768, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 39, n = 32768, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 69, n = 32768, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 32768, b = "17179869184", l = 2, b_small = 2, k = 34 },
  ]
  
  frog_non_scalar = [
      { x_len = 1, kappa = 10, n = 512, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 512, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 14, n = 512, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 16, n = 512, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 21, n = 512, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 32, n = 512, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 60, n = 512, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 512, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 11, n = 1024, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 1024, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 14, n = 1024, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 17, n = 1024, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 22, n = 1024, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 34, n = 1024, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 61, n = 1024, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 1024, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 11, n = 2048, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 2048, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 15, n = 2048, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 18, n = 2048, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 23, n = 2048, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 35, n = 2048, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 63, n = 2048, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 2048, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 12, n = 4096, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 13, n = 4096, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 16, n = 4096, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 19, n = 4096, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 24, n = 4096, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 36, n = 4096, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 64, n = 4096, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 4096, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 12, n = 8192, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 14, n = 8192, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 17, n = 8192, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 20, n = 8192, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 25, n = 8192, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 37, n = 8192, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 66, n = 8192, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 8192, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 13, n = 16384, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 14, n = 16384, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 17, n = 16384, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 20, n = 16384, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 26, n = 16384, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 38, n = 16384, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 68, n = 16384, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 16384, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 14, n = 32768, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 15, n = 32768, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 18, n = 32768, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 21, n = 32768, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 27, n = 32768, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 39, n = 32768, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 69, n = 32768, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 32768, b = "17179869184", l = 2, b_small = 2, k = 34 },
  ]
  
  frog_degree_three_non_scalar = [
      { x_len = 1, kappa = 10, n = 512, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 11, n = 512, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 14, n = 512, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 16, n = 512, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 21, n = 512, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 32, n = 512, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 60, n = 512, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 512, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 11, n = 1024, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 1024, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 14, n = 1024, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 17, n = 1024, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 22, n = 1024, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 34, n = 1024, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 61, n = 1024, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 1024, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 11, n = 2048, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 12, n = 2048, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 15, n = 2048, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 18, n = 2048, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 23, n = 2048, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 35, n = 2048, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 63, n = 2048, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 2048, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 12, n = 4096, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 13, n = 4096, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 16, n = 4096, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 19, n = 4096, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 24, n = 4096, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 36, n = 4096, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 64, n = 4096, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 4096, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 12, n = 8192, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 14, n = 8192, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 17, n = 8192, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 20, n = 8192, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 25, n = 8192, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 37, n = 8192, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 66, n = 8192, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 8192, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 13, n = 16384, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 14, n = 16384, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 17, n = 16384, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 20, n = 16384, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 26, n = 16384, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 38, n = 16384, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 68, n = 16384, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 16384, b = "17179869184", l = 2, b_small = 2, k = 34 },
      { x_len = 1, kappa = 14, n = 32768, b = "256", l = 9, b_small = 2, k = 8 },
      { x_len = 1, kappa = 15, n = 32768, b = "512", l = 8, b_small = 2, k = 9 },
      { x_len = 1, kappa = 18, n = 32768, b = "1024", l = 7, b_small = 2, k = 10 },
      { x_len = 1, kappa = 21, n = 32768, b = "4096", l = 6, b_small = 2, k = 12 },
      { x_len = 1, kappa = 27, n = 32768, b = "16384", l = 5, b_small = 2, k = 14 },
      { x_len = 1, kappa = 39, n = 32768, b = "131072", l = 4, b_small = 2, k = 17 },
      { x_len = 1, kappa = 69, n = 32768, b = "8388608", l = 3, b_small = 2, k = 23 },
      { x_len = 1, kappa = 157, n = 32768, b = "17179869184", l = 2, b_small = 2, k = 34 },
  ]
  
  
  [ajtai]
  babybear = [
      { kappa = 1, n = 32768},
      { kappa = 2, n = 32768},
      { kappa = 3, n = 32768},
      { kappa = 4, n = 32768},
      { kappa = 5, n = 32768},
      { kappa = 6, n = 32768},
      { kappa = 1, n = 65536},
      { kappa = 2, n = 65536},
      { kappa = 3, n = 65536},
      { kappa = 4, n = 65536},
      { kappa = 5, n = 65536},
      { kappa = 6, n = 65536},
      { kappa = 1, n = 131072},
      { kappa = 2, n = 131072},
      { kappa = 3, n = 131072},
      { kappa = 4, n = 131072},
      { kappa = 5, n = 131072},
      { kappa = 6, n = 131072},
      { kappa = 1, n = 262144},
      { kappa = 2, n = 262144},
      { kappa = 3, n = 262144},
      { kappa = 4, n = 262144},
      { kappa = 5, n = 262144},
      { kappa = 6, n = 262144},
      { kappa = 1, n = 524288},
      { kappa = 2, n = 524288},
      { kappa = 3, n = 524288},
      { kappa = 4, n = 524288},
      { kappa = 5, n = 524288},
      { kappa = 6, n = 524288},
      { kappa = 1, n = 1048576},
      { kappa = 2, n = 1048576},
      { kappa = 3, n = 1048576},
      { kappa = 4, n = 1048576},
      { kappa = 5, n = 1048576},
      { kappa = 6, n = 1048576},
      { kappa = 12, n = 32768},
      { kappa = 13, n = 65536},
      { kappa = 13, n = 131072},
      { kappa = 14, n = 262144},
      { kappa = 14, n = 524288},
      { kappa = 15, n = 1048576},
  ]
  
  goldilocks = [
      { kappa = 1, n = 32768},
      { kappa = 2, n = 32768},
      { kappa = 3, n = 32768},
      { kappa = 4, n = 32768},
      { kappa = 5, n = 32768},
      { kappa = 6, n = 32768},
      { kappa = 1, n = 65536},
      { kappa = 2, n = 65536},
      { kappa = 3, n = 65536},
      { kappa = 4, n = 65536},
      { kappa = 5, n = 65536},
      { kappa = 6, n = 65536},
      { kappa = 1, n = 131072},
      { kappa = 2, n = 131072},
      { kappa = 3, n = 131072},
      { kappa = 4, n = 131072},
      { kappa = 5, n = 131072},
      { kappa = 6, n = 131072},
      { kappa = 1, n = 262144},
      { kappa = 2, n = 262144},
      { kappa = 3, n = 262144},
      { kappa = 4, n = 262144},
      { kappa = 5, n = 262144},
      { kappa = 6, n = 262144},
      { kappa = 1, n = 524288},
      { kappa = 2, n = 524288},
      { kappa = 3, n = 524288},
      { kappa = 4, n = 524288},
      { kappa = 5, n = 524288},
      { kappa = 6, n = 524288},
      { kappa = 1, n = 1048576},
      { kappa = 2, n = 1048576},
      { kappa = 3, n = 1048576},
      { kappa = 4, n = 1048576},
      { kappa = 5, n = 1048576},
      { kappa = 6, n = 1048576},
      { kappa = 17, n = 32768},
      { kappa = 17, n = 65536},
      { kappa = 18, n = 131072},
      { kappa = 19, n = 262144},
      { kappa = 19, n = 524288},
      { kappa = 20, n = 1048576},
  ]
  
  starkprime = [
      { kappa = 1, n = 32768},
      { kappa = 2, n = 32768},
      { kappa = 3, n = 32768},
      { kappa = 4, n = 32768},
      { kappa = 5, n = 32768},
      { kappa = 6, n = 32768},
      { kappa = 1, n = 65536},
      { kappa = 2, n = 65536},
      { kappa = 3, n = 65536},
      { kappa = 4, n = 65536},
      { kappa = 5, n = 65536},
      { kappa = 6, n = 65536},
      { kappa = 1, n = 131072},
      { kappa = 2, n = 131072},
      { kappa = 3, n = 131072},
      { kappa = 4, n = 131072},
      { kappa = 5, n = 131072},
      { kappa = 6, n = 131072},
      { kappa = 1, n = 262144},
      { kappa = 2, n = 262144},
      { kappa = 3, n = 262144},
      { kappa = 4, n = 262144},
      { kappa = 5, n = 262144},
      { kappa = 6, n = 262144},
      { kappa = 1, n = 524288},
      { kappa = 2, n = 524288},
      { kappa = 3, n = 524288},
      { kappa = 4, n = 524288},
      { kappa = 5, n = 524288},
      { kappa = 6, n = 524288},
      { kappa = 1, n = 1048576},
      { kappa = 2, n = 1048576},
      { kappa = 3, n = 1048576},
      { kappa = 4, n = 1048576},
      { kappa = 5, n = 1048576},
      { kappa = 6, n = 1048576},
      { kappa = 7, n = 131072},
      { kappa = 7, n = 262144},
      { kappa = 7, n = 524288},
      { kappa = 7, n = 1048576},
  ]
  
  frog = [
      { kappa = 1, n = 32768},
      { kappa = 2, n = 32768},
      { kappa = 3, n = 32768},
      { kappa = 4, n = 32768},
      { kappa = 5, n = 32768},
      { kappa = 6, n = 32768},
      { kappa = 1, n = 65536},
      { kappa = 2, n = 65536},
      { kappa = 3, n = 65536},
      { kappa = 4, n = 65536},
      { kappa = 5, n = 65536},
      { kappa = 6, n = 65536},
      { kappa = 1, n = 131072},
      { kappa = 2, n = 131072},
      { kappa = 3, n = 131072},
      { kappa = 4, n = 131072},
      { kappa = 5, n = 131072},
      { kappa = 6, n = 131072},
      { kappa = 1, n = 262144},
      { kappa = 2, n = 262144},
      { kappa = 3, n = 262144},
      { kappa = 4, n = 262144},
      { kappa = 5, n = 262144},
      { kappa = 6, n = 262144},
      { kappa = 1, n = 524288},
      { kappa = 2, n = 524288},
      { kappa = 3, n = 524288},
      { kappa = 4, n = 524288},
      { kappa = 5, n = 524288},
      { kappa = 6, n = 524288},
      { kappa = 1, n = 1048576},
      { kappa = 2, n = 1048576},
      { kappa = 3, n = 1048576},
      { kappa = 4, n = 1048576},
      { kappa = 5, n = 1048576},
      { kappa = 6, n = 1048576},
      { kappa = 17, n = 32768},
      { kappa = 18, n = 65536},
      { kappa = 19, n = 131072},
      { kappa = 19, n = 262144},
      { kappa = 20, n = 524288},
      { kappa = 21, n = 1048576},
  ]
  