files / problems / landau-legendre / compute / q1 / certs / edge_summary.json

6.9 KB · on GitHub

{
  "csv_sha256": "6c0c46d0cd449fa00c67f747a9e17b4d17fece66d4724ad5349177cb9803e8cd",
  "end_n": 4294967295,
  "left_top": [
    {
      "half": "left",
      "n": 4294952072,
      "offset": 489,
      "prime": 18446613300777093673,
      "slack": 4294951583,
      "width": 4294952072
    },
    {
      "half": "left",
      "n": 4294933977,
      "offset": 398,
      "prime": 18446457866789036927,
      "slack": 4294933579,
      "width": 4294933977
    },
    {
      "half": "left",
      "n": 4294919819,
      "offset": 390,
      "prime": 18446336251638993151,
      "slack": 4294919429,
      "width": 4294919819
    },
    {
      "half": "left",
      "n": 4294895928,
      "offset": 385,
      "prime": 18446131032350981569,
      "slack": 4294895543,
      "width": 4294895928
    },
    {
      "half": "left",
      "n": 4294884161,
      "offset": 376,
      "prime": 18446029956408674297,
      "slack": 4294883785,
      "width": 4294884161
    },
    {
      "half": "left",
      "n": 4294890425,
      "offset": 376,
      "prime": 18446083762756681001,
      "slack": 4294890049,
      "width": 4294890425
    },
    {
      "half": "left",
      "n": 4294903542,
      "offset": 373,
      "prime": 18446196435084146137,
      "slack": 4294903169,
      "width": 4294903542
    },
    {
      "half": "left",
      "n": 4294951340,
      "offset": 373,
      "prime": 18446607012967795973,
      "slack": 4294950967,
      "width": 4294951340
    },
    {
      "half": "left",
      "n": 4294918749,
      "offset": 368,
      "prime": 18446327060511725369,
      "slack": 4294918381,
      "width": 4294918749
    },
    {
      "half": "left",
      "n": 4294912188,
      "offset": 367,
      "prime": 18446270702630947711,
      "slack": 4294911821,
      "width": 4294912188
    },
    {
      "half": "left",
      "n": 4294960756,
      "offset": 363,
      "prime": 18446687895580091899,
      "slack": 4294960393,
      "width": 4294960756
    },
    {
      "half": "left",
      "n": 4294889762,
      "offset": 357,
      "prime": 18446078067732417001,
      "slack": 4294889405,
      "width": 4294889762
    },
    {
      "half": "left",
      "n": 4294927270,
      "offset": 357,
      "prime": 18446400254589653257,
      "slack": 4294926913,
      "width": 4294927270
    },
    {
      "half": "left",
      "n": 4294914126,
      "offset": 355,
      "prime": 18446287349714344231,
      "slack": 4294913771,
      "width": 4294914126
    },
    {
      "half": "left",
      "n": 4294907077,
      "offset": 352,
      "prime": 18446226800064684281,
      "slack": 4294906725,
      "width": 4294907077
    },
    {
      "half": "left",
      "n": 4294867810,
      "offset": 351,
      "prime": 18445889505374196451,
      "slack": 4294867459,
      "width": 4294867810
    },
    {
      "half": "left",
      "n": 4294947179,
      "offset": 348,
      "prime": 18446571270400058389,
      "slack": 4294946831,
      "width": 4294947179
    },
    {
      "half": "left",
      "n": 4294871321,
      "offset": 346,
      "prime": 18445919663948285387,
      "slack": 4294870975,
      "width": 4294871321
    },
    {
      "half": "left",
      "n": 4294939505,
      "offset": 346,
      "prime": 18446505351609645371,
      "slack": 4294939159,
      "width": 4294939505
    },
    {
      "half": "left",
      "n": 4294955132,
      "offset": 343,
      "prime": 18446639585893137767,
      "slack": 4294954789,
      "width": 4294955132
    }
  ],
  "right_top": [
    {
      "half": "right",
      "n": 4294923873,
      "offset": 479,
      "prime": 18446371079160244481,
      "slack": 4294923395,
      "width": 4294923874
    },
    {
      "half": "right",
      "n": 4294892011,
      "offset": 467,
      "prime": 18446097390446516599,
      "slack": 4294891545,
      "width": 4294892012
    },
    {
      "half": "right",
      "n": 4294950841,
      "offset": 437,
      "prime": 18446602730901558559,
      "slack": 4294950405,
      "width": 4294950842
    },
    {
      "half": "right",
      "n": 4294951017,
      "offset": 433,
      "prime": 18446604242724285739,
      "slack": 4294950585,
      "width": 4294951018
    },
    {
      "half": "right",
      "n": 4294899608,
      "offset": 421,
      "prime": 18446162647093453693,
      "slack": 4294899188,
      "width": 4294899609
    },
    {
      "half": "right",
      "n": 4294919984,
      "offset": 413,
      "prime": 18446337673257480653,
      "slack": 4294919572,
      "width": 4294919985
    },
    {
      "half": "right",
      "n": 4294963078,
      "offset": 411,
      "prime": 18446707845678197573,
      "slack": 4294962668,
      "width": 4294963079
    },
    {
      "half": "right",
      "n": 4294884038,
      "offset": 409,
      "prime": 18446028904162069891,
      "slack": 4294883630,
      "width": 4294884039
    },
    {
      "half": "right",
      "n": 4294874389,
      "offset": 407,
      "prime": 18445946021582998117,
      "slack": 4294873983,
      "width": 4294874390
    },
    {
      "half": "right",
      "n": 4294958992,
      "offset": 405,
      "prime": 18446672747256615461,
      "slack": 4294958588,
      "width": 4294958993
    },
    {
      "half": "right",
      "n": 4294959256,
      "offset": 401,
      "prime": 18446675014995033193,
      "slack": 4294958856,
      "width": 4294959257
    },
    {
      "half": "right",
      "n": 4294961791,
      "offset": 399,
      "prime": 18446696790444889871,
      "slack": 4294961393,
      "width": 4294961792
    },
    {
      "half": "right",
      "n": 4294951971,
      "offset": 389,
      "prime": 18446612437491737201,
      "slack": 4294951583,
      "width": 4294951972
    },
    {
      "half": "right",
      "n": 4294939369,
      "offset": 377,
      "prime": 18446504187681057907,
      "slack": 4294938993,
      "width": 4294939370
    },
    {
      "half": "right",
      "n": 4294891640,
      "offset": 373,
      "prime": 18446094203636781613,
      "slack": 4294891268,
      "width": 4294891641
    },
    {
      "half": "right",
      "n": 4294868391,
      "offset": 371,
      "prime": 18445894500305797643,
      "slack": 4294868021,
      "width": 4294868392
    },
    {
      "half": "right",
      "n": 4294906248,
      "offset": 371,
      "prime": 18446219683404344123,
      "slack": 4294905878,
      "width": 4294906249
    },
    {
      "half": "right",
      "n": 4294947676,
      "offset": 371,
      "prime": 18446575543872749023,
      "slack": 4294947306,
      "width": 4294947677
    },
    {
      "half": "right",
      "n": 4294885150,
      "offset": 369,
      "prime": 18446038455985408019,
      "slack": 4294884782,
      "width": 4294885151
    },
    {
      "half": "right",
      "n": 4294909884,
      "offset": 367,
      "prime": 18446250915975803707,
      "slack": 4294909518,
      "width": 4294909885
    }
  ],
  "row_count": 100000,
  "schema": "landau-legendre.oppermann-edge.v1",
  "start_n": 4294867296,
  "top_count": 20
}