{
  "generated_at": "2026-10-16T19:18:58.072332Z",
  "log": {
    "line_count": 20182488,
    "size_bytes": 21916,
    "mtime": "1792178335"
  },
  "metrics": {
    "largest_prime": "407199083",
    "most_efficient": {
      "prime": "407199071",
      "steps": "202",
      "ratio": "0.000000",
      "sequence": "407199071 \u2192 1221597214 \u2192 610798607 \u2192 1832395822 \u2192 916197911 \u2192 2748593734 \u2192 1374296867 \u2192 4122890602 \u2192 2061445301 \u2192 6184335904 \u2192 3092167952 \u2192 1546083976 \u2192 773041988 \u2192 386520994 \u2192 193260497 \u2192 579781492 \u2192 289890746 \u2192 144945373 \u2192 434836120 \u2192 217418060 \u2192 108709030 \u2192 54354515 \u2192 163063546 \u2192 81531773 \u2192 244595320 \u2192 122297660 \u2192 61148830 \u2192 30574415 \u2192 91723246 \u2192 45861623 \u2192 137584870 \u2192 68792435 \u2192 206377306 \u2192 103188653 \u2192 309565960 \u2192 154782980 \u2192 77391490 \u2192 38695745 \u2192 116087236 \u2192 58043618 \u2192 29021809 \u2192 87065428 \u2192 43532714 \u2192 21766357 \u2192 65299072 \u2192 32649536 \u2192 16324768 \u2192 8162384 \u2192 4081192 \u2192 2040596 \u2192 1020298 \u2192 510149 \u2192 1530448 \u2192 765224 \u2192 382612 \u2192 191306 \u2192 95653 \u2192 286960 \u2192 143480 \u2192 71740 \u2192 35870 \u2192 17935 \u2192 53806 \u2192 26903 \u2192 80710 \u2192 40355 \u2192 121066 \u2192 60533 \u2192 181600 \u2192 90800 \u2192 45400 \u2192 22700 \u2192 11350 \u2192 5675 \u2192 17026 \u2192 8513 \u2192 25540 \u2192 12770 \u2192 6385 \u2192 19156 \u2192 9578 \u2192 4789 \u2192 14368 \u2192 7184 \u2192 3592 \u2192 1796 \u2192 898 \u2192 449 \u2192 1348 \u2192 674 \u2192 337 \u2192 1012 \u2192 506 \u2192 253 \u2192 760 \u2192 380 \u2192 190 \u2192 95 \u2192 286 \u2192 143 \u2192 430 \u2192 215 \u2192 646 \u2192 323 \u2192 970 \u2192 485 \u2192 1456 \u2192 728 \u2192 364 \u2192 182 \u2192 91 \u2192 274 \u2192 137 \u2192 412 \u2192 206 \u2192 103 \u2192 310 \u2192 155 \u2192 466 \u2192 233 \u2192 700 \u2192 350 \u2192 175 \u2192 526 \u2192 263 \u2192 790 \u2192 395 \u2192 1186 \u2192 593 \u2192 1780 \u2192 890 \u2192 445 \u2192 1336 \u2192 668 \u2192 334 \u2192 167 \u2192 502 \u2192 251 \u2192 754 \u2192 377 \u2192 1132 \u2192 566 \u2192 283 \u2192 850 \u2192 425 \u2192 1276 \u2192 638 \u2192 319 \u2192 958 \u2192 479 \u2192 1438 \u2192 719 \u2192 2158 \u2192 1079 \u2192 3238 \u2192 1619 \u2192 4858 \u2192 2429 \u2192 7288 \u2192 3644 \u2192 1822 \u2192 911 \u2192 2734 \u2192 1367 \u2192 4102 \u2192 2051 \u2192 6154 \u2192 3077 \u2192 9232 \u2192 4616 \u2192 2308 \u2192 1154 \u2192 577 \u2192 1732 \u2192 866 \u2192 433 \u2192 1300 \u2192 650 \u2192 325 \u2192 976 \u2192 488 \u2192 244 \u2192 122 \u2192 61 \u2192 184 \u2192 92 \u2192 46 \u2192 23 \u2192 70 \u2192 35 \u2192 106 \u2192 53 \u2192 160 \u2192 80 \u2192 40 \u2192 20 \u2192 10 \u2192 5 \u2192 16 \u2192 8 \u2192 4 \u2192 2 \u2192 1"
    },
    "highest_value": {
      "max_value": "109005159866976880",
      "prime": "394393759",
      "steps": "582",
      "ratio": "0.000001",
      "sequence": "394393759 \u2192 1183181278 \u2192 591590639 \u2192 1774771918 \u2192 887385959 \u2192 2662157878 \u2192 1331078939 \u2192 3993236818 \u2192 1996618409 \u2192 5989855228 \u2192 2994927614 \u2192 1497463807 \u2192 4492391422 \u2192 2246195711 \u2192 6738587134 \u2192 3369293567 \u2192 10107880702 \u2192 5053940351 \u2192 15161821054 \u2192 7580910527 \u2192 22742731582 \u2192 11371365791 \u2192 34114097374 \u2192 17057048687 \u2192 51171146062 \u2192 25585573031 \u2192 76756719094 \u2192 38378359547 \u2192 115135078642 \u2192 57567539321 \u2192 172702617964 \u2192 86351308982 \u2192 43175654491 \u2192 129526963474 \u2192 64763481737 \u2192 194290445212 \u2192 97145222606 \u2192 48572611303 \u2192 145717833910 \u2192 72858916955 \u2192 218576750866 \u2192 109288375433 \u2192 327865126300 \u2192 163932563150 \u2192 81966281575 \u2192 245898844726 \u2192 122949422363 \u2192 368848267090 \u2192 184424133545 \u2192 553272400636 \u2192 276636200318 \u2192 138318100159 \u2192 414954300478 \u2192 207477150239 \u2192 622431450718 \u2192 311215725359 \u2192 933647176078 \u2192 466823588039 \u2192 1400470764118 \u2192 700235382059 \u2192 2100706146178 \u2192 1050353073089 \u2192 3151059219268 \u2192 1575529609634 \u2192 787764804817 \u2192 2363294414452 \u2192 1181647207226 \u2192 590823603613 \u2192 1772470810840 \u2192 886235405420 \u2192 443117702710 \u2192 221558851355 \u2192 664676554066 \u2192 332338277033 \u2192 997014831100 \u2192 498507415550 \u2192 249253707775 \u2192 747761123326 \u2192 373880561663 \u2192 1121641684990 \u2192 560820842495 \u2192 1682462527486 \u2192 841231263743 \u2192 2523693791230 \u2192 1261846895615 \u2192 3785540686846 \u2192 1892770343423 \u2192 5678311030270 \u2192 2839155515135 \u2192 8517466545406 \u2192 4258733272703 \u2192 12776199818110 \u2192 6388099909055 \u2192 19164299727166 \u2192 9582149863583 \u2192 28746449590750 \u2192 14373224795375 \u2192 43119674386126 \u2192 21559837193063 \u2192 64679511579190 \u2192 32339755789595 \u2192 97019267368786 \u2192 48509633684393 \u2192 145528901053180 \u2192 72764450526590 \u2192 36382225263295 \u2192 109146675789886 \u2192 54573337894943 \u2192 163720013684830 \u2192 81860006842415 \u2192 245580020527246 \u2192 122790010263623 \u2192 368370030790870 \u2192 184185015395435 \u2192 552555046186306 \u2192 276277523093153 \u2192 828832569279460 \u2192 414416284639730 \u2192 207208142319865 \u2192 621624426959596 \u2192 310812213479798 \u2192 155406106739899 \u2192 466218320219698 \u2192 233109160109849 \u2192 699327480329548 \u2192 349663740164774 \u2192 174831870082387 \u2192 524495610247162 \u2192 262247805123581 \u2192 786743415370744 \u2192 393371707685372 \u2192 196685853842686 \u2192 98342926921343 \u2192 295028780764030 \u2192 147514390382015 \u2192 442543171146046 \u2192 221271585573023 \u2192 663814756719070 \u2192 331907378359535 \u2192 995722135078606 \u2192 497861067539303 \u2192 1493583202617910 \u2192 746791601308955 \u2192 2240374803926866 \u2192 1120187401963433 \u2192 3360562205890300 \u2192 1680281102945150 \u2192 840140551472575 \u2192 2520421654417726 \u2192 1260210827208863 \u2192 3780632481626590 \u2192 1890316240813295 \u2192 5670948722439886 \u2192 2835474361219943 \u2192 8506423083659830 \u2192 4253211541829915 \u2192 12759634625489746 \u2192 6379817312744873 \u2192 19139451938234620 \u2192 9569725969117310 \u2192 4784862984558655 \u2192 14354588953675966 \u2192 7177294476837983 \u2192 21531883430513950 \u2192 10765941715256975 \u2192 32297825145770926 \u2192 16148912572885463 \u2192 48446737718656390 \u2192 24223368859328195 \u2192 72670106577984586 \u2192 36335053288992293 \u2192 109005159866976880 \u2192 54502579933488440 \u2192 27251289966744220 \u2192 13625644983372110 \u2192 6812822491686055 \u2192 20438467475058166 \u2192 10219233737529083 \u2192 30657701212587250 \u2192 15328850606293625 \u2192 45986551818880876 \u2192 22993275909440438 \u2192 11496637954720219 \u2192 34489913864160658 \u2192 17244956932080329 \u2192 51734870796240988 \u2192 25867435398120494 \u2192 12933717699060247 \u2192 38801153097180742 \u2192 19400576548590371 \u2192 58201729645771114 \u2192 29100864822885557 \u2192 87302594468656672 \u2192 43651297234328336 \u2192 21825648617164168 \u2192 10912824308582084 \u2192 5456412154291042 \u2192 2728206077145521 \u2192 8184618231436564 \u2192 4092309115718282 \u2192 2046154557859141 \u2192 6138463673577424 \u2192 3069231836788712 \u2192 1534615918394356 \u2192 767307959197178 \u2192 383653979598589 \u2192 1150961938795768 \u2192 575480969397884 \u2192 287740484698942 \u2192 143870242349471 \u2192 431610727048414 \u2192 215805363524207 \u2192 647416090572622 \u2192 323708045286311 \u2192 971124135858934 \u2192 485562067929467 \u2192 1456686203788402 \u2192 728343101894201 \u2192 2185029305682604 \u2192 1092514652841302 \u2192 546257326420651 \u2192 1638771979261954 \u2192 819385989630977 \u2192 2458157968892932 \u2192 1229078984446466 \u2192 614539492223233 \u2192 1843618476669700 \u2192 921809238334850 \u2192 460904619167425 \u2192 1382713857502276 \u2192 691356928751138 \u2192 345678464375569 \u2192 1037035393126708 \u2192 518517696563354 \u2192 259258848281677 \u2192 777776544845032 \u2192 388888272422516 \u2192 194444136211258 \u2192 97222068105629 \u2192 291666204316888 \u2192 145833102158444 \u2192 72916551079222 \u2192 36458275539611 \u2192 109374826618834 \u2192 54687413309417 \u2192 164062239928252 \u2192 82031119964126 \u2192 41015559982063 \u2192 123046679946190 \u2192 61523339973095 \u2192 184570019919286 \u2192 92285009959643 \u2192 276855029878930 \u2192 138427514939465 \u2192 415282544818396 \u2192 207641272409198 \u2192 103820636204599 \u2192 311461908613798 \u2192 155730954306899 \u2192 467192862920698 \u2192 233596431460349 \u2192 700789294381048 \u2192 350394647190524 \u2192 175197323595262 \u2192 87598661797631 \u2192 262795985392894 \u2192 131397992696447 \u2192 394193978089342 \u2192 197096989044671 \u2192 591290967134014 \u2192 295645483567007 \u2192 886936450701022 \u2192 443468225350511 \u2192 1330404676051534 \u2192 665202338025767 \u2192 1995607014077302 \u2192 997803507038651 \u2192 2993410521115954 \u2192 1496705260557977 \u2192 4490115781673932 \u2192 2245057890836966 \u2192 1122528945418483 \u2192 3367586836255450 \u2192 1683793418127725 \u2192 5051380254383176 \u2192 2525690127191588 \u2192 1262845063595794 \u2192 631422531797897 \u2192 1894267595393692 \u2192 947133797696846 \u2192 473566898848423 \u2192 1420700696545270 \u2192 710350348272635 \u2192 2131051044817906 \u2192 1065525522408953 \u2192 3196576567226860 \u2192 1598288283613430 \u2192 799144141806715 \u2192 2397432425420146 \u2192 1198716212710073 \u2192 3596148638130220 \u2192 1798074319065110 \u2192 899037159532555 \u2192 2697111478597666 \u2192 1348555739298833 \u2192 4045667217896500 \u2192 2022833608948250 \u2192 1011416804474125 \u2192 3034250413422376 \u2192 1517125206711188 \u2192 758562603355594 \u2192 379281301677797 \u2192 1137843905033392 \u2192 568921952516696 \u2192 284460976258348 \u2192 142230488129174 \u2192 71115244064587 \u2192 213345732193762 \u2192 106672866096881 \u2192 320018598290644 \u2192 160009299145322 \u2192 80004649572661 \u2192 240013948717984 \u2192 120006974358992 \u2192 60003487179496 \u2192 30001743589748 \u2192 15000871794874 \u2192 7500435897437 \u2192 22501307692312 \u2192 11250653846156 \u2192 5625326923078 \u2192 2812663461539 \u2192 8437990384618 \u2192 4218995192309 \u2192 12656985576928 \u2192 6328492788464 \u2192 3164246394232 \u2192 1582123197116 \u2192 791061598558 \u2192 395530799279 \u2192 1186592397838 \u2192 593296198919 \u2192 1779888596758 \u2192 889944298379 \u2192 2669832895138 \u2192 1334916447569 \u2192 4004749342708 \u2192 2002374671354 \u2192 1001187335677 \u2192 3003562007032 \u2192 1501781003516 \u2192 750890501758 \u2192 375445250879 \u2192 1126335752638 \u2192 563167876319 \u2192 1689503628958 \u2192 844751814479 \u2192 2534255443438 \u2192 1267127721719 \u2192 3801383165158 \u2192 1900691582579 \u2192 5702074747738 \u2192 2851037373869 \u2192 8553112121608 \u2192 4276556060804 \u2192 2138278030402 \u2192 1069139015201 \u2192 3207417045604 \u2192 1603708522802 \u2192 801854261401 \u2192 2405562784204 \u2192 1202781392102 \u2192 601390696051 \u2192 1804172088154 \u2192 902086044077 \u2192 2706258132232 \u2192 1353129066116 \u2192 676564533058 \u2192 338282266529 \u2192 1014846799588 \u2192 507423399794 \u2192 253711699897 \u2192 761135099692 \u2192 380567549846 \u2192 190283774923 \u2192 570851324770 \u2192 285425662385 \u2192 856276987156 \u2192 428138493578 \u2192 214069246789 \u2192 642207740368 \u2192 321103870184 \u2192 160551935092 \u2192 80275967546 \u2192 40137983773 \u2192 120413951320 \u2192 60206975660 \u2192 30103487830 \u2192 15051743915 \u2192 45155231746 \u2192 22577615873 \u2192 67732847620 \u2192 33866423810 \u2192 16933211905 \u2192 50799635716 \u2192 25399817858 \u2192 12699908929 \u2192 38099726788 \u2192 19049863394 \u2192 9524931697 \u2192 28574795092 \u2192 14287397546 \u2192 7143698773 \u2192 21431096320 \u2192 10715548160 \u2192 5357774080 \u2192 2678887040 \u2192 1339443520 \u2192 669721760 \u2192 334860880 \u2192 167430440 \u2192 83715220 \u2192 41857610 \u2192 20928805 \u2192 62786416 \u2192 31393208 \u2192 15696604 \u2192 7848302 \u2192 3924151 \u2192 11772454 \u2192 5886227 \u2192 17658682 \u2192 8829341 \u2192 26488024 \u2192 13244012 \u2192 6622006 \u2192 3311003 \u2192 9933010 \u2192 4966505 \u2192 14899516 \u2192 7449758 \u2192 3724879 \u2192 11174638 \u2192 5587319 \u2192 16761958 \u2192 8380979 \u2192 25142938 \u2192 12571469 \u2192 37714408 \u2192 18857204 \u2192 9428602 \u2192 4714301 \u2192 14142904 \u2192 7071452 \u2192 3535726 \u2192 1767863 \u2192 5303590 \u2192 2651795 \u2192 7955386 \u2192 3977693 \u2192 11933080 \u2192 5966540 \u2192 2983270 \u2192 1491635 \u2192 4474906 \u2192 2237453 \u2192 6712360 \u2192 3356180 \u2192 1678090 \u2192 839045 \u2192 2517136 \u2192 1258568 \u2192 629284 \u2192 314642 \u2192 157321 \u2192 471964 \u2192 235982 \u2192 117991 \u2192 353974 \u2192 176987 \u2192 530962 \u2192 265481 \u2192 796444 \u2192 398222 \u2192 199111 \u2192 597334 \u2192 298667 \u2192 896002 \u2192 448001 \u2192 1344004 \u2192 672002 \u2192 336001 \u2192 1008004 \u2192 504002 \u2192 252001 \u2192 756004 \u2192 378002 \u2192 189001 \u2192 567004 \u2192 283502 \u2192 141751 \u2192 425254 \u2192 212627 \u2192 637882 \u2192 318941 \u2192 956824 \u2192 478412 \u2192 239206 \u2192 119603 \u2192 358810 \u2192 179405 \u2192 538216 \u2192 269108 \u2192 134554 \u2192 67277 \u2192 201832 \u2192 100916 \u2192 50458 \u2192 25229 \u2192 75688 \u2192 37844 \u2192 18922 \u2192 9461 \u2192 28384 \u2192 14192 \u2192 7096 \u2192 3548 \u2192 1774 \u2192 887 \u2192 2662 \u2192 1331 \u2192 3994 \u2192 1997 \u2192 5992 \u2192 2996 \u2192 1498 \u2192 749 \u2192 2248 \u2192 1124 \u2192 562 \u2192 281 \u2192 844 \u2192 422 \u2192 211 \u2192 634 \u2192 317 \u2192 952 \u2192 476 \u2192 238 \u2192 119 \u2192 358 \u2192 179 \u2192 538 \u2192 269 \u2192 808 \u2192 404 \u2192 202 \u2192 101 \u2192 304 \u2192 152 \u2192 76 \u2192 38 \u2192 19 \u2192 58 \u2192 29 \u2192 88 \u2192 44 \u2192 22 \u2192 11 \u2192 34 \u2192 17 \u2192 52 \u2192 26 \u2192 13 \u2192 40 \u2192 20 \u2192 10 \u2192 5 \u2192 16 \u2192 8 \u2192 4 \u2192 2 \u2192 1"
    },
    "latest_exec_time": "0.0272467"
  },
  "histograms": {
    "steps": [
      {
        "steps": 109,
        "count": 70
      },
      {
        "steps": 153,
        "count": 13
      },
      {
        "steps": 158,
        "count": 38
      },
      {
        "steps": 171,
        "count": 3
      },
      {
        "steps": 189,
        "count": 3
      },
      {
        "steps": 202,
        "count": 84
      },
      {
        "steps": 233,
        "count": 51
      },
      {
        "steps": 246,
        "count": 46
      },
      {
        "steps": 277,
        "count": 78
      },
      {
        "steps": 290,
        "count": 43
      },
      {
        "steps": 308,
        "count": 9
      },
      {
        "steps": 339,
        "count": 55
      },
      {
        "steps": 352,
        "count": 2
      },
      {
        "steps": 401,
        "count": 5
      }
    ],
    "sample_size": 500
  }
}