1{2 "generator": "experiments/synthetic_ecdlp/rho_engine/scripts/gen_fixtures.py",3 "seed": 34,4 "reference": "src/wp34/ec.py (random_prime_order_curve via PARI/GP ellcard)",5 "elapsed_s": 2.9,6 "instances": [7 {8 "label": "20b-00",9 "bits": 20,10 "j0": false,11 "p": "965989",12 "a": "310561",13 "b": "326195",14 "n": "966379",15 "gx": "2186",16 "gy": "365335",17 "qx": "790231",18 "qy": "430817",19 "d": "644583"20 },21 {22 "label": "20b-01",23 "bits": 20,24 "j0": false,25 "p": "896803",26 "a": "773595",27 "b": "853511",28 "n": "898213",29 "gx": "173301",30 "gy": "298672",31 "qx": "592216",32 "qy": "403175",33 "d": "475497"34 },35 {36 "label": "20b-02",37 "bits": 20,38 "j0": false,39 "p": "741973",40 "a": "701852",41 "b": "247245",42 "n": "742009",43 "gx": "484343",44 "gy": "594458",45 "qx": "355679",46 "qy": "90268",47 "d": "316628"48 },49 {50 "label": "20b-03",51 "bits": 20,52 "j0": false,53 "p": "602233",54 "a": "243995",55 "b": "373313",56 "n": "602461",57 "gx": "410017",58 "gy": "523359",59 "qx": "491752",60 "qy": "14613",61 "d": "312720"62 },63 {64 "label": "20b-04",65 "bits": 20,66 "j0": false,67 "p": "675511",68 "a": "84665",69 "b": "672109",70 "n": "675271",71 "gx": "421041",72 "gy": "34051",73 "qx": "631261",74 "qy": "674060",75 "d": "394973"76 },77 {78 "label": "20b-05",79 "bits": 20,80 "j0": false,81 "p": "689509",82 "a": "270653",83 "b": "108306",84 "n": "689891",85 "gx": "597580",86 "gy": "463386",87 "qx": "195051",88 "qy": "517092",89 "d": "106653"90 },91 {92 "label": "20b-06",93 "bits": 20,94 "j0": false,95 "p": "756541",96 "a": "276874",97 "b": "714084",98 "n": "757247",99 "gx": "646167",100 "gy": "336027",101 "qx": "524417",102 "qy": "335580",103 "d": "659101"104 },105 {106 "label": "20b-07",107 "bits": 20,108 "j0": false,109 "p": "611483",110 "a": "601272",111 "b": "227928",112 "n": "611393",113 "gx": "445238",114 "gy": "529496",115 "qx": "495867",116 "qy": "5882",117 "d": "590253"118 },119 {120 "label": "20b-08",121 "bits": 20,122 "j0": false,123 "p": "1028737",124 "a": "174828",125 "b": "571864",126 "n": "1028617",127 "gx": "517076",128 "gy": "88450",129 "qx": "102676",130 "qy": "688232",131 "d": "964241"132 },133 {134 "label": "20b-09",135 "bits": 20,136 "j0": false,137 "p": "555461",138 "a": "532906",139 "b": "253176",140 "n": "555119",141 "gx": "484476",142 "gy": "460493",143 "qx": "409844",144 "qy": "60031",145 "d": "495009"146 },147 {148 "label": "24b-00",149 "bits": 24,150 "j0": false,151 "p": "13584877",152 "a": "3818419",153 "b": "6536874",154 "n": "13590043",155 "gx": "542128",156 "gy": "4773157",157 "qx": "10152652",158 "qy": "4821875",159 "d": "11405371"160 },161 {162 "label": "24b-01",163 "bits": 24,164 "j0": false,165 "p": "9630139",166 "a": "44716",167 "b": "1341637",168 "n": "9634553",169 "gx": "5411328",170 "gy": "15398",171 "qx": "8007740",172 "qy": "221021",173 "d": "1472639"174 },175 {176 "label": "24b-02",177 "bits": 24,178 "j0": false,179 "p": "10292923",180 "a": "1804132",181 "b": "3734898",182 "n": "10298797",183 "gx": "2330204",184 "gy": "8349578",185 "qx": "2242057",186 "qy": "6780160",187 "d": "4556589"188 },189 {190 "label": "24b-03",191 "bits": 24,192 "j0": false,193 "p": "14968621",194 "a": "4518800",195 "b": "89996",196 "n": "14963309",197 "gx": "8793530",198 "gy": "11669870",199 "qx": "12953488",200 "qy": "10422138",201 "d": "3350012"202 },203 {204 "label": "24b-04",205 "bits": 24,206 "j0": false,207 "p": "9971729",208 "a": "3642203",209 "b": "2622013",210 "n": "9973819",211 "gx": "7575103",212 "gy": "5768158",213 "qx": "3603183",214 "qy": "5390510",215 "d": "6778492"216 },217 {218 "label": "24b-05",219 "bits": 24,220 "j0": false,221 "p": "13067017",222 "a": "12138274",223 "b": "5238649",224 "n": "13073513",225 "gx": "3013874",226 "gy": "8186111",227 "qx": "9117873",228 "qy": "1642332",229 "d": "8339607"230 },231 {232 "label": "24b-06",233 "bits": 24,234 "j0": false,235 "p": "13571573",236 "a": "8221262",237 "b": "10735221",238 "n": "13572901",239 "gx": "4382871",240 "gy": "7578489",241 "qx": "903239",242 "qy": "10529168",243 "d": "4872325"244 },245 {246 "label": "24b-07",247 "bits": 24,248 "j0": false,249 "p": "12968269",250 "a": "7303529",251 "b": "7178181",252 "n": "12968563",253 "gx": "985570",254 "gy": "10979989",255 "qx": "5417110",256 "qy": "3220789",257 "d": "10985951"258 },259 {260 "label": "24b-08",261 "bits": 24,262 "j0": false,263 "p": "9093239",264 "a": "4059238",265 "b": "640442",266 "n": "9090847",267 "gx": "7688042",268 "gy": "1575886",269 "qx": "6092943",270 "qy": "428614",271 "d": "784399"272 },273 {274 "label": "24b-09",275 "bits": 24,276 "j0": false,277 "p": "9256033",278 "a": "3477609",279 "b": "3918207",280 "n": "9256813",281 "gx": "544249",282 "gy": "5095105",283 "qx": "7399179",284 "qy": "5085189",285 "d": "8630484"286 },287 {288 "label": "28b-00",289 "bits": 28,290 "j0": false,291 "p": "144316897",292 "a": "134394607",293 "b": "53522143",294 "n": "144308027",295 "gx": "112386288",296 "gy": "79180993",297 "qx": "66782679",298 "qy": "44353001",299 "d": "138427290"300 },301 {302 "label": "28b-01",303 "bits": 28,304 "j0": false,305 "p": "158325179",306 "a": "33261992",307 "b": "31383445",308 "n": "158315567",309 "gx": "82565024",310 "gy": "75747851",311 "qx": "43260794",312 "qy": "43005609",313 "d": "27676511"314 },315 {316 "label": "28b-02",317 "bits": 28,318 "j0": false,319 "p": "248307841",320 "a": "31660782",321 "b": "102981205",322 "n": "248323927",323 "gx": "136208496",324 "gy": "50133709",325 "qx": "33884634",326 "qy": "191823997",327 "d": "53807271"328 },329 {330 "label": "28b-03",331 "bits": 28,332 "j0": false,333 "p": "199065929",334 "a": "184935927",335 "b": "56860946",336 "n": "199051579",337 "gx": "17573083",338 "gy": "135410325",339 "qx": "48309030",340 "qy": "29562640",341 "d": "55883904"342 },343 {344 "label": "28b-04",345 "bits": 28,346 "j0": false,347 "p": "232751371",348 "a": "14787931",349 "b": "178671709",350 "n": "232736261",351 "gx": "185116439",352 "gy": "232649854",353 "qx": "4259232",354 "qy": "41686725",355 "d": "173805540"356 },357 {358 "label": "28b-05",359 "bits": 28,360 "j0": false,361 "p": "156722029",362 "a": "18748565",363 "b": "81879127",364 "n": "156713659",365 "gx": "118789514",366 "gy": "115754706",367 "qx": "98368893",368 "qy": "138303244",369 "d": "93195791"370 },371 {372 "label": "28b-06",373 "bits": 28,374 "j0": false,375 "p": "168052051",376 "a": "48016095",377 "b": "59020881",378 "n": "168047587",379 "gx": "88226930",380 "gy": "41965397",381 "qx": "86180577",382 "qy": "68396293",383 "d": "2424001"384 },385 {386 "label": "28b-07",387 "bits": 28,388 "j0": false,389 "p": "143224811",390 "a": "83301439",391 "b": "72474575",392 "n": "143229461",393 "gx": "59317762",394 "gy": "101097574",395 "qx": "53929840",396 "qy": "6634526",397 "d": "115581433"398 },399 {400 "label": "28b-08",401 "bits": 28,402 "j0": false,403 "p": "254617417",404 "a": "144840729",405 "b": "28377636",406 "n": "254636713",407 "gx": "113999052",408 "gy": "102233368",409 "qx": "228716689",410 "qy": "224772694",411 "d": "99837296"412 },413 {414 "label": "28b-09",415 "bits": 28,416 "j0": false,417 "p": "192696349",418 "a": "29619992",419 "b": "426842",420 "n": "192702619",421 "gx": "9419589",422 "gy": "125612599",423 "qx": "152492614",424 "qy": "2870223",425 "d": "113676357"426 },427 {428 "label": "32b-00",429 "bits": 32,430 "j0": false,431 "p": "4076609107",432 "a": "2233746358",433 "b": "2470475219",434 "n": "4076626093",435 "gx": "641680062",436 "gy": "134963099",437 "qx": "1436637248",438 "qy": "3475079858",439 "d": "1942942780"440 },441 {442 "label": "32b-01",443 "bits": 32,444 "j0": false,445 "p": "2550860707",446 "a": "2142998732",447 "b": "1510739656",448 "n": "2550916001",449 "gx": "798709169",450 "gy": "1016527116",451 "qx": "156703741",452 "qy": "634206832",453 "d": "2525763673"454 },455 {456 "label": "32b-02",457 "bits": 32,458 "j0": false,459 "p": "3028271101",460 "a": "2574182403",461 "b": "915848368",462 "n": "3028233449",463 "gx": "701480233",464 "gy": "2776200409",465 "qx": "1294462920",466 "qy": "905832700",467 "d": "2681266208"468 },469 {470 "label": "32b-03",471 "bits": 32,472 "j0": false,473 "p": "3937428227",474 "a": "1040548278",475 "b": "2580838704",476 "n": "3937524001",477 "gx": "874274353",478 "gy": "2234766132",479 "qx": "3669570305",480 "qy": "2104502706",481 "d": "3296026"482 },483 {484 "label": "32b-04",485 "bits": 32,486 "j0": false,487 "p": "2627016529",488 "a": "1846956558",489 "b": "2072169407",490 "n": "2627011451",491 "gx": "1722764359",492 "gy": "1577079196",493 "qx": "2615971517",494 "qy": "2305448316",495 "d": "2281167119"496 },497 {498 "label": "32b-05",499 "bits": 32,500 "j0": false,501 "p": "3903249209",502 "a": "3705101046",503 "b": "3795614514",504 "n": "3903132067",505 "gx": "1357690811",506 "gy": "1346191982",507 "qx": "236714620",508 "qy": "3304560677",509 "d": "3751573442"510 },511 {512 "label": "32b-06",513 "bits": 32,514 "j0": false,515 "p": "3100519421",516 "a": "2433461291",517 "b": "2667506200",518 "n": "3100495093",519 "gx": "921138525",520 "gy": "685952724",521 "qx": "681323829",522 "qy": "1998755098",523 "d": "267333851"524 },525 {526 "label": "32b-07",527 "bits": 32,528 "j0": false,529 "p": "3083791457",530 "a": "965152280",531 "b": "1699973866",532 "n": "3083809349",533 "gx": "1340340967",534 "gy": "1171714566",535 "qx": "15148302",536 "qy": "1748327694",537 "d": "740498056"538 },539 {540 "label": "32b-08",541 "bits": 32,542 "j0": false,543 "p": "3080208623",544 "a": "269920159",545 "b": "116503059",546 "n": "3080192207",547 "gx": "437950447",548 "gy": "1119339212",549 "qx": "2093153475",550 "qy": "740081798",551 "d": "2366352102"552 },553 {554 "label": "32b-09",555 "bits": 32,556 "j0": false,557 "p": "2663754169",558 "a": "209285126",559 "b": "1692528280",560 "n": "2663716283",561 "gx": "315519659",562 "gy": "2323363003",563 "qx": "1242493637",564 "qy": "1959525132",565 "d": "1749714991"566 },567 {568 "label": "24b-j0-00",569 "bits": 24,570 "j0": true,571 "p": "15870937",572 "a": "0",573 "b": "8142053",574 "n": "15868243",575 "gx": "3774518",576 "gy": "13600061",577 "qx": "12358627",578 "qy": "8871748",579 "d": "9980560",580 "beta": "5788914",581 "lambda": "4713920"582 },583 {584 "label": "24b-j0-01",585 "bits": 24,586 "j0": true,587 "p": "14578147",588 "a": "0",589 "b": "1757723",590 "n": "14571757",591 "gx": "2998640",592 "gy": "9630211",593 "qx": "8728400",594 "qy": "10074493",595 "d": "8043622",596 "beta": "4229053",597 "lambda": "9360226"598 },599 {600 "label": "24b-j0-02",601 "bits": 24,602 "j0": true,603 "p": "13760359",604 "a": "0",605 "b": "6753586",606 "n": "13762003",607 "gx": "563411",608 "gy": "12279370",609 "qx": "4304113",610 "qy": "6097484",611 "d": "5375720",612 "beta": "6038481",613 "lambda": "1706659"614 },615 {616 "label": "24b-j0-03",617 "bits": 24,618 "j0": true,619 "p": "9649867",620 "a": "0",621 "b": "4290879",622 "n": "9645469",623 "gx": "3117840",624 "gy": "6743173",625 "qx": "3742023",626 "qy": "6827686",627 "d": "7584171",628 "beta": "2430563",629 "lambda": "3777460"630 },631 {632 "label": "24b-j0-04",633 "bits": 24,634 "j0": true,635 "p": "14374141",636 "a": "0",637 "b": "8686150",638 "n": "14380231",639 "gx": "12713393",640 "gy": "3165432",641 "qx": "10376546",642 "qy": "10617158",643 "d": "13876665",644 "beta": "7178807",645 "lambda": "5748786"646 },647 {648 "label": "24b-j0-05",649 "bits": 24,650 "j0": true,651 "p": "14316871",652 "a": "0",653 "b": "10569634",654 "n": "14317333",655 "gx": "799944",656 "gy": "7804442",657 "qx": "10401825",658 "qy": "10641588",659 "d": "5015542",660 "beta": "5807508",661 "lambda": "3246925"662 },663 {664 "label": "24b-j0-06",665 "bits": 24,666 "j0": true,667 "p": "10047319",668 "a": "0",669 "b": "2704326",670 "n": "10044421",671 "gx": "1575983",672 "gy": "3572171",673 "qx": "3952820",674 "qy": "909726",675 "d": "4843483",676 "beta": "395101",677 "lambda": "2132317"678 },679 {680 "label": "24b-j0-07",681 "bits": 24,682 "j0": true,683 "p": "11852623",684 "a": "0",685 "b": "8825640",686 "n": "11849707",687 "gx": "3138345",688 "gy": "8343647",689 "qx": "3720100",690 "qy": "3221608",691 "d": "11645139",692 "beta": "589175",693 "lambda": "69104"694 },695 {696 "label": "24b-j0-08",697 "bits": 24,698 "j0": true,699 "p": "11084251",700 "a": "0",701 "b": "6447741",702 "n": "11077921",703 "gx": "4460465",704 "gy": "5576183",705 "qx": "1535931",706 "qy": "6314506",707 "d": "5261679",708 "beta": "176829",709 "lambda": "6101695"710 },711 {712 "label": "24b-j0-09",713 "bits": 24,714 "j0": true,715 "p": "9971107",716 "a": "0",717 "b": "1336706",718 "n": "9976927",719 "gx": "6281423",720 "gy": "5300791",721 "qx": "7931111",722 "qy": "8958525",723 "d": "7550062",724 "beta": "1716970",725 "lambda": "8477217"726 },727 {728 "label": "32b-j0-00",729 "bits": 32,730 "j0": true,731 "p": "3641025571",732 "a": "0",733 "b": "2747407380",734 "n": "3641011333",735 "gx": "3565689723",736 "gy": "1524254990",737 "qx": "2837235017",738 "qy": "3573490484",739 "d": "3613141867",740 "beta": "203287831",741 "lambda": "645750770"742 },743 {744 "label": "32b-j0-01",745 "bits": 32,746 "j0": true,747 "p": "2907844999",748 "a": "0",749 "b": "765997797",750 "n": "2907939787",751 "gx": "1189713354",752 "gy": "2536348013",753 "qx": "1236940443",754 "qy": "2072738281",755 "d": "2131195932",756 "beta": "996595025",757 "lambda": "1180582629"758 },759 {760 "label": "32b-j0-02",761 "bits": 32,762 "j0": true,763 "p": "4016263717",764 "a": "0",765 "b": "3299462436",766 "n": "4016378719",767 "gx": "3964384433",768 "gy": "3525185212",769 "qx": "1423692197",770 "qy": "760875241",771 "d": "3812068841",772 "beta": "1715139237",773 "lambda": "575689215"774 },775 {776 "label": "32b-j0-03",777 "bits": 32,778 "j0": true,779 "p": "3567880201",780 "a": "0",781 "b": "317994930",782 "n": "3567998323",783 "gx": "3448396648",784 "gy": "2869280973",785 "qx": "415880419",786 "qy": "1164647357",787 "d": "3330957741",788 "beta": "1304174223",789 "lambda": "1089673810"790 },791 {792 "label": "32b-j0-04",793 "bits": 32,794 "j0": true,795 "p": "2392760551",796 "a": "0",797 "b": "1655412786",798 "n": "2392751653",799 "gx": "1054661571",800 "gy": "1220530513",801 "qx": "1009854746",802 "qy": "1563305877",803 "d": "790966143",804 "beta": "1045942086",805 "lambda": "1826903682"806 },807 {808 "label": "32b-j0-05",809 "bits": 32,810 "j0": true,811 "p": "2817595603",812 "a": "0",813 "b": "1542933832",814 "n": "2817549199",815 "gx": "511060803",816 "gy": "1134912162",817 "qx": "2610274221",818 "qy": "981626616",819 "d": "1011546044",820 "beta": "142139666",821 "lambda": "2674798552"822 },823 {824 "label": "32b-j0-06",825 "bits": 32,826 "j0": true,827 "p": "4074944053",828 "a": "0",829 "b": "3429303506",830 "n": "4075049599",831 "gx": "1934318426",832 "gy": "1737397127",833 "qx": "998224728",834 "qy": "3225104632",835 "d": "982296600",836 "beta": "818270540",837 "lambda": "125671846"838 },839 {840 "label": "32b-j0-07",841 "bits": 32,842 "j0": true,843 "p": "2326674769",844 "a": "0",845 "b": "509380410",846 "n": "2326770871",847 "gx": "932591121",848 "gy": "1001237293",849 "qx": "1840260048",850 "qy": "39401325",851 "d": "2050030173",852 "beta": "919692765",853 "lambda": "1925373055"854 },855 {856 "label": "32b-j0-08",857 "bits": 32,858 "j0": true,859 "p": "2605596577",860 "a": "0",861 "b": "1554320534",862 "n": "2605555933",863 "gx": "1990721949",864 "gy": "639380912",865 "qx": "308345479",866 "qy": "2126795433",867 "d": "34723078",868 "beta": "1299304498",869 "lambda": "692434356"870 },871 {872 "label": "32b-j0-09",873 "bits": 32,874 "j0": true,875 "p": "3200981101",876 "a": "0",877 "b": "2246812311",878 "n": "3200868553",879 "gx": "412814959",880 "gy": "2280600185",881 "qx": "1942622657",882 "qy": "2666840556",883 "d": "110416947",884 "beta": "1316153874",885 "lambda": "2899230909"886 }887 ]888}889