{
 "generator": "experiments/synthetic_ecdlp/rho_engine/scripts/gen_fixtures.py",
 "seed": 34,
 "reference": "src/wp34/ec.py (random_prime_order_curve via PARI/GP ellcard)",
 "elapsed_s": 2.9,
 "instances": [
  {
   "label": "20b-00",
   "bits": 20,
   "j0": false,
   "p": "965989",
   "a": "310561",
   "b": "326195",
   "n": "966379",
   "gx": "2186",
   "gy": "365335",
   "qx": "790231",
   "qy": "430817",
   "d": "644583"
  },
  {
   "label": "20b-01",
   "bits": 20,
   "j0": false,
   "p": "896803",
   "a": "773595",
   "b": "853511",
   "n": "898213",
   "gx": "173301",
   "gy": "298672",
   "qx": "592216",
   "qy": "403175",
   "d": "475497"
  },
  {
   "label": "20b-02",
   "bits": 20,
   "j0": false,
   "p": "741973",
   "a": "701852",
   "b": "247245",
   "n": "742009",
   "gx": "484343",
   "gy": "594458",
   "qx": "355679",
   "qy": "90268",
   "d": "316628"
  },
  {
   "label": "20b-03",
   "bits": 20,
   "j0": false,
   "p": "602233",
   "a": "243995",
   "b": "373313",
   "n": "602461",
   "gx": "410017",
   "gy": "523359",
   "qx": "491752",
   "qy": "14613",
   "d": "312720"
  },
  {
   "label": "20b-04",
   "bits": 20,
   "j0": false,
   "p": "675511",
   "a": "84665",
   "b": "672109",
   "n": "675271",
   "gx": "421041",
   "gy": "34051",
   "qx": "631261",
   "qy": "674060",
   "d": "394973"
  },
  {
   "label": "20b-05",
   "bits": 20,
   "j0": false,
   "p": "689509",
   "a": "270653",
   "b": "108306",
   "n": "689891",
   "gx": "597580",
   "gy": "463386",
   "qx": "195051",
   "qy": "517092",
   "d": "106653"
  },
  {
   "label": "20b-06",
   "bits": 20,
   "j0": false,
   "p": "756541",
   "a": "276874",
   "b": "714084",
   "n": "757247",
   "gx": "646167",
   "gy": "336027",
   "qx": "524417",
   "qy": "335580",
   "d": "659101"
  },
  {
   "label": "20b-07",
   "bits": 20,
   "j0": false,
   "p": "611483",
   "a": "601272",
   "b": "227928",
   "n": "611393",
   "gx": "445238",
   "gy": "529496",
   "qx": "495867",
   "qy": "5882",
   "d": "590253"
  },
  {
   "label": "20b-08",
   "bits": 20,
   "j0": false,
   "p": "1028737",
   "a": "174828",
   "b": "571864",
   "n": "1028617",
   "gx": "517076",
   "gy": "88450",
   "qx": "102676",
   "qy": "688232",
   "d": "964241"
  },
  {
   "label": "20b-09",
   "bits": 20,
   "j0": false,
   "p": "555461",
   "a": "532906",
   "b": "253176",
   "n": "555119",
   "gx": "484476",
   "gy": "460493",
   "qx": "409844",
   "qy": "60031",
   "d": "495009"
  },
  {
   "label": "24b-00",
   "bits": 24,
   "j0": false,
   "p": "13584877",
   "a": "3818419",
   "b": "6536874",
   "n": "13590043",
   "gx": "542128",
   "gy": "4773157",
   "qx": "10152652",
   "qy": "4821875",
   "d": "11405371"
  },
  {
   "label": "24b-01",
   "bits": 24,
   "j0": false,
   "p": "9630139",
   "a": "44716",
   "b": "1341637",
   "n": "9634553",
   "gx": "5411328",
   "gy": "15398",
   "qx": "8007740",
   "qy": "221021",
   "d": "1472639"
  },
  {
   "label": "24b-02",
   "bits": 24,
   "j0": false,
   "p": "10292923",
   "a": "1804132",
   "b": "3734898",
   "n": "10298797",
   "gx": "2330204",
   "gy": "8349578",
   "qx": "2242057",
   "qy": "6780160",
   "d": "4556589"
  },
  {
   "label": "24b-03",
   "bits": 24,
   "j0": false,
   "p": "14968621",
   "a": "4518800",
   "b": "89996",
   "n": "14963309",
   "gx": "8793530",
   "gy": "11669870",
   "qx": "12953488",
   "qy": "10422138",
   "d": "3350012"
  },
  {
   "label": "24b-04",
   "bits": 24,
   "j0": false,
   "p": "9971729",
   "a": "3642203",
   "b": "2622013",
   "n": "9973819",
   "gx": "7575103",
   "gy": "5768158",
   "qx": "3603183",
   "qy": "5390510",
   "d": "6778492"
  },
  {
   "label": "24b-05",
   "bits": 24,
   "j0": false,
   "p": "13067017",
   "a": "12138274",
   "b": "5238649",
   "n": "13073513",
   "gx": "3013874",
   "gy": "8186111",
   "qx": "9117873",
   "qy": "1642332",
   "d": "8339607"
  },
  {
   "label": "24b-06",
   "bits": 24,
   "j0": false,
   "p": "13571573",
   "a": "8221262",
   "b": "10735221",
   "n": "13572901",
   "gx": "4382871",
   "gy": "7578489",
   "qx": "903239",
   "qy": "10529168",
   "d": "4872325"
  },
  {
   "label": "24b-07",
   "bits": 24,
   "j0": false,
   "p": "12968269",
   "a": "7303529",
   "b": "7178181",
   "n": "12968563",
   "gx": "985570",
   "gy": "10979989",
   "qx": "5417110",
   "qy": "3220789",
   "d": "10985951"
  },
  {
   "label": "24b-08",
   "bits": 24,
   "j0": false,
   "p": "9093239",
   "a": "4059238",
   "b": "640442",
   "n": "9090847",
   "gx": "7688042",
   "gy": "1575886",
   "qx": "6092943",
   "qy": "428614",
   "d": "784399"
  },
  {
   "label": "24b-09",
   "bits": 24,
   "j0": false,
   "p": "9256033",
   "a": "3477609",
   "b": "3918207",
   "n": "9256813",
   "gx": "544249",
   "gy": "5095105",
   "qx": "7399179",
   "qy": "5085189",
   "d": "8630484"
  },
  {
   "label": "28b-00",
   "bits": 28,
   "j0": false,
   "p": "144316897",
   "a": "134394607",
   "b": "53522143",
   "n": "144308027",
   "gx": "112386288",
   "gy": "79180993",
   "qx": "66782679",
   "qy": "44353001",
   "d": "138427290"
  },
  {
   "label": "28b-01",
   "bits": 28,
   "j0": false,
   "p": "158325179",
   "a": "33261992",
   "b": "31383445",
   "n": "158315567",
   "gx": "82565024",
   "gy": "75747851",
   "qx": "43260794",
   "qy": "43005609",
   "d": "27676511"
  },
  {
   "label": "28b-02",
   "bits": 28,
   "j0": false,
   "p": "248307841",
   "a": "31660782",
   "b": "102981205",
   "n": "248323927",
   "gx": "136208496",
   "gy": "50133709",
   "qx": "33884634",
   "qy": "191823997",
   "d": "53807271"
  },
  {
   "label": "28b-03",
   "bits": 28,
   "j0": false,
   "p": "199065929",
   "a": "184935927",
   "b": "56860946",
   "n": "199051579",
   "gx": "17573083",
   "gy": "135410325",
   "qx": "48309030",
   "qy": "29562640",
   "d": "55883904"
  },
  {
   "label": "28b-04",
   "bits": 28,
   "j0": false,
   "p": "232751371",
   "a": "14787931",
   "b": "178671709",
   "n": "232736261",
   "gx": "185116439",
   "gy": "232649854",
   "qx": "4259232",
   "qy": "41686725",
   "d": "173805540"
  },
  {
   "label": "28b-05",
   "bits": 28,
   "j0": false,
   "p": "156722029",
   "a": "18748565",
   "b": "81879127",
   "n": "156713659",
   "gx": "118789514",
   "gy": "115754706",
   "qx": "98368893",
   "qy": "138303244",
   "d": "93195791"
  },
  {
   "label": "28b-06",
   "bits": 28,
   "j0": false,
   "p": "168052051",
   "a": "48016095",
   "b": "59020881",
   "n": "168047587",
   "gx": "88226930",
   "gy": "41965397",
   "qx": "86180577",
   "qy": "68396293",
   "d": "2424001"
  },
  {
   "label": "28b-07",
   "bits": 28,
   "j0": false,
   "p": "143224811",
   "a": "83301439",
   "b": "72474575",
   "n": "143229461",
   "gx": "59317762",
   "gy": "101097574",
   "qx": "53929840",
   "qy": "6634526",
   "d": "115581433"
  },
  {
   "label": "28b-08",
   "bits": 28,
   "j0": false,
   "p": "254617417",
   "a": "144840729",
   "b": "28377636",
   "n": "254636713",
   "gx": "113999052",
   "gy": "102233368",
   "qx": "228716689",
   "qy": "224772694",
   "d": "99837296"
  },
  {
   "label": "28b-09",
   "bits": 28,
   "j0": false,
   "p": "192696349",
   "a": "29619992",
   "b": "426842",
   "n": "192702619",
   "gx": "9419589",
   "gy": "125612599",
   "qx": "152492614",
   "qy": "2870223",
   "d": "113676357"
  },
  {
   "label": "32b-00",
   "bits": 32,
   "j0": false,
   "p": "4076609107",
   "a": "2233746358",
   "b": "2470475219",
   "n": "4076626093",
   "gx": "641680062",
   "gy": "134963099",
   "qx": "1436637248",
   "qy": "3475079858",
   "d": "1942942780"
  },
  {
   "label": "32b-01",
   "bits": 32,
   "j0": false,
   "p": "2550860707",
   "a": "2142998732",
   "b": "1510739656",
   "n": "2550916001",
   "gx": "798709169",
   "gy": "1016527116",
   "qx": "156703741",
   "qy": "634206832",
   "d": "2525763673"
  },
  {
   "label": "32b-02",
   "bits": 32,
   "j0": false,
   "p": "3028271101",
   "a": "2574182403",
   "b": "915848368",
   "n": "3028233449",
   "gx": "701480233",
   "gy": "2776200409",
   "qx": "1294462920",
   "qy": "905832700",
   "d": "2681266208"
  },
  {
   "label": "32b-03",
   "bits": 32,
   "j0": false,
   "p": "3937428227",
   "a": "1040548278",
   "b": "2580838704",
   "n": "3937524001",
   "gx": "874274353",
   "gy": "2234766132",
   "qx": "3669570305",
   "qy": "2104502706",
   "d": "3296026"
  },
  {
   "label": "32b-04",
   "bits": 32,
   "j0": false,
   "p": "2627016529",
   "a": "1846956558",
   "b": "2072169407",
   "n": "2627011451",
   "gx": "1722764359",
   "gy": "1577079196",
   "qx": "2615971517",
   "qy": "2305448316",
   "d": "2281167119"
  },
  {
   "label": "32b-05",
   "bits": 32,
   "j0": false,
   "p": "3903249209",
   "a": "3705101046",
   "b": "3795614514",
   "n": "3903132067",
   "gx": "1357690811",
   "gy": "1346191982",
   "qx": "236714620",
   "qy": "3304560677",
   "d": "3751573442"
  },
  {
   "label": "32b-06",
   "bits": 32,
   "j0": false,
   "p": "3100519421",
   "a": "2433461291",
   "b": "2667506200",
   "n": "3100495093",
   "gx": "921138525",
   "gy": "685952724",
   "qx": "681323829",
   "qy": "1998755098",
   "d": "267333851"
  },
  {
   "label": "32b-07",
   "bits": 32,
   "j0": false,
   "p": "3083791457",
   "a": "965152280",
   "b": "1699973866",
   "n": "3083809349",
   "gx": "1340340967",
   "gy": "1171714566",
   "qx": "15148302",
   "qy": "1748327694",
   "d": "740498056"
  },
  {
   "label": "32b-08",
   "bits": 32,
   "j0": false,
   "p": "3080208623",
   "a": "269920159",
   "b": "116503059",
   "n": "3080192207",
   "gx": "437950447",
   "gy": "1119339212",
   "qx": "2093153475",
   "qy": "740081798",
   "d": "2366352102"
  },
  {
   "label": "32b-09",
   "bits": 32,
   "j0": false,
   "p": "2663754169",
   "a": "209285126",
   "b": "1692528280",
   "n": "2663716283",
   "gx": "315519659",
   "gy": "2323363003",
   "qx": "1242493637",
   "qy": "1959525132",
   "d": "1749714991"
  },
  {
   "label": "24b-j0-00",
   "bits": 24,
   "j0": true,
   "p": "15870937",
   "a": "0",
   "b": "8142053",
   "n": "15868243",
   "gx": "3774518",
   "gy": "13600061",
   "qx": "12358627",
   "qy": "8871748",
   "d": "9980560",
   "beta": "5788914",
   "lambda": "4713920"
  },
  {
   "label": "24b-j0-01",
   "bits": 24,
   "j0": true,
   "p": "14578147",
   "a": "0",
   "b": "1757723",
   "n": "14571757",
   "gx": "2998640",
   "gy": "9630211",
   "qx": "8728400",
   "qy": "10074493",
   "d": "8043622",
   "beta": "4229053",
   "lambda": "9360226"
  },
  {
   "label": "24b-j0-02",
   "bits": 24,
   "j0": true,
   "p": "13760359",
   "a": "0",
   "b": "6753586",
   "n": "13762003",
   "gx": "563411",
   "gy": "12279370",
   "qx": "4304113",
   "qy": "6097484",
   "d": "5375720",
   "beta": "6038481",
   "lambda": "1706659"
  },
  {
   "label": "24b-j0-03",
   "bits": 24,
   "j0": true,
   "p": "9649867",
   "a": "0",
   "b": "4290879",
   "n": "9645469",
   "gx": "3117840",
   "gy": "6743173",
   "qx": "3742023",
   "qy": "6827686",
   "d": "7584171",
   "beta": "2430563",
   "lambda": "3777460"
  },
  {
   "label": "24b-j0-04",
   "bits": 24,
   "j0": true,
   "p": "14374141",
   "a": "0",
   "b": "8686150",
   "n": "14380231",
   "gx": "12713393",
   "gy": "3165432",
   "qx": "10376546",
   "qy": "10617158",
   "d": "13876665",
   "beta": "7178807",
   "lambda": "5748786"
  },
  {
   "label": "24b-j0-05",
   "bits": 24,
   "j0": true,
   "p": "14316871",
   "a": "0",
   "b": "10569634",
   "n": "14317333",
   "gx": "799944",
   "gy": "7804442",
   "qx": "10401825",
   "qy": "10641588",
   "d": "5015542",
   "beta": "5807508",
   "lambda": "3246925"
  },
  {
   "label": "24b-j0-06",
   "bits": 24,
   "j0": true,
   "p": "10047319",
   "a": "0",
   "b": "2704326",
   "n": "10044421",
   "gx": "1575983",
   "gy": "3572171",
   "qx": "3952820",
   "qy": "909726",
   "d": "4843483",
   "beta": "395101",
   "lambda": "2132317"
  },
  {
   "label": "24b-j0-07",
   "bits": 24,
   "j0": true,
   "p": "11852623",
   "a": "0",
   "b": "8825640",
   "n": "11849707",
   "gx": "3138345",
   "gy": "8343647",
   "qx": "3720100",
   "qy": "3221608",
   "d": "11645139",
   "beta": "589175",
   "lambda": "69104"
  },
  {
   "label": "24b-j0-08",
   "bits": 24,
   "j0": true,
   "p": "11084251",
   "a": "0",
   "b": "6447741",
   "n": "11077921",
   "gx": "4460465",
   "gy": "5576183",
   "qx": "1535931",
   "qy": "6314506",
   "d": "5261679",
   "beta": "176829",
   "lambda": "6101695"
  },
  {
   "label": "24b-j0-09",
   "bits": 24,
   "j0": true,
   "p": "9971107",
   "a": "0",
   "b": "1336706",
   "n": "9976927",
   "gx": "6281423",
   "gy": "5300791",
   "qx": "7931111",
   "qy": "8958525",
   "d": "7550062",
   "beta": "1716970",
   "lambda": "8477217"
  },
  {
   "label": "32b-j0-00",
   "bits": 32,
   "j0": true,
   "p": "3641025571",
   "a": "0",
   "b": "2747407380",
   "n": "3641011333",
   "gx": "3565689723",
   "gy": "1524254990",
   "qx": "2837235017",
   "qy": "3573490484",
   "d": "3613141867",
   "beta": "203287831",
   "lambda": "645750770"
  },
  {
   "label": "32b-j0-01",
   "bits": 32,
   "j0": true,
   "p": "2907844999",
   "a": "0",
   "b": "765997797",
   "n": "2907939787",
   "gx": "1189713354",
   "gy": "2536348013",
   "qx": "1236940443",
   "qy": "2072738281",
   "d": "2131195932",
   "beta": "996595025",
   "lambda": "1180582629"
  },
  {
   "label": "32b-j0-02",
   "bits": 32,
   "j0": true,
   "p": "4016263717",
   "a": "0",
   "b": "3299462436",
   "n": "4016378719",
   "gx": "3964384433",
   "gy": "3525185212",
   "qx": "1423692197",
   "qy": "760875241",
   "d": "3812068841",
   "beta": "1715139237",
   "lambda": "575689215"
  },
  {
   "label": "32b-j0-03",
   "bits": 32,
   "j0": true,
   "p": "3567880201",
   "a": "0",
   "b": "317994930",
   "n": "3567998323",
   "gx": "3448396648",
   "gy": "2869280973",
   "qx": "415880419",
   "qy": "1164647357",
   "d": "3330957741",
   "beta": "1304174223",
   "lambda": "1089673810"
  },
  {
   "label": "32b-j0-04",
   "bits": 32,
   "j0": true,
   "p": "2392760551",
   "a": "0",
   "b": "1655412786",
   "n": "2392751653",
   "gx": "1054661571",
   "gy": "1220530513",
   "qx": "1009854746",
   "qy": "1563305877",
   "d": "790966143",
   "beta": "1045942086",
   "lambda": "1826903682"
  },
  {
   "label": "32b-j0-05",
   "bits": 32,
   "j0": true,
   "p": "2817595603",
   "a": "0",
   "b": "1542933832",
   "n": "2817549199",
   "gx": "511060803",
   "gy": "1134912162",
   "qx": "2610274221",
   "qy": "981626616",
   "d": "1011546044",
   "beta": "142139666",
   "lambda": "2674798552"
  },
  {
   "label": "32b-j0-06",
   "bits": 32,
   "j0": true,
   "p": "4074944053",
   "a": "0",
   "b": "3429303506",
   "n": "4075049599",
   "gx": "1934318426",
   "gy": "1737397127",
   "qx": "998224728",
   "qy": "3225104632",
   "d": "982296600",
   "beta": "818270540",
   "lambda": "125671846"
  },
  {
   "label": "32b-j0-07",
   "bits": 32,
   "j0": true,
   "p": "2326674769",
   "a": "0",
   "b": "509380410",
   "n": "2326770871",
   "gx": "932591121",
   "gy": "1001237293",
   "qx": "1840260048",
   "qy": "39401325",
   "d": "2050030173",
   "beta": "919692765",
   "lambda": "1925373055"
  },
  {
   "label": "32b-j0-08",
   "bits": 32,
   "j0": true,
   "p": "2605596577",
   "a": "0",
   "b": "1554320534",
   "n": "2605555933",
   "gx": "1990721949",
   "gy": "639380912",
   "qx": "308345479",
   "qy": "2126795433",
   "d": "34723078",
   "beta": "1299304498",
   "lambda": "692434356"
  },
  {
   "label": "32b-j0-09",
   "bits": 32,
   "j0": true,
   "p": "3200981101",
   "a": "0",
   "b": "2246812311",
   "n": "3200868553",
   "gx": "412814959",
   "gy": "2280600185",
   "qx": "1942622657",
   "qy": "2666840556",
   "d": "110416947",
   "beta": "1316153874",
   "lambda": "2899230909"
  }
 ]
}