files / problems / ulam-sequence / compute / certificate_L16.json

982 B · on GitHub

{
  "word": "2313131131311313",
  "L": 16,
  "admissible": true,
  "matrix": [
    [
      0,
      260,
      124,
      0
    ],
    [
      0,
      176,
      84,
      0
    ],
    [
      0,
      130,
      62,
      0
    ],
    [
      0,
      84,
      40,
      0
    ]
  ],
  "F2": 150408,
  "CF_float": 1.451408682527181,
  "beats_1.454_exact": true,
  "beats_1.452_exact": true,
  "beats_1.445_exact": false,
  "beats_1.444_exact": false,
  "beats_1.443_exact": false,
  "beats_1.442_exact": false,
  "integer_compare_1454": {
    "left": "150408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "right": "159243241275323288933649628613343683885053623335895820922390089389846230800532965984158503518880137216"
  },
  "count_admissible": 10379520,
  "nwords_reported": 10379520,
  "nwords_match": true,
  "eggleton_root": 1.4655712318767682,
  "method_barrier_T3T1sq": 1.4146717609798722,
  "published_CS": 1.454
}