{
  "schema": 2,
  "createdAt": "2026-10-01T18:34:02.122Z",
  "definition": "Pj=P0+jG; canonical |dx|<=R and |dy|<=R; j=0 excluded",
  "curves": [
    {
      "curve": {
        "name": "p10007",
        "p": "10007",
        "n": "10008",
        "G": {
          "x": "5",
          "y": "566"
        },
        "curveOrder": "10008",
        "factorization": [
          [
            "2",
            3
          ],
          [
            "3",
            2
          ],
          [
            "139",
            1
          ]
        ],
        "primeOrder": false,
        "certificateMs": 29.085500000000003,
        "membership": "nQ=O; exact generator order; gcd(n,#E/n)=1"
      },
      "cases": [
        {
          "P0": {
            "x": "5",
            "y": "566"
          },
          "T": {
            "x": "5",
            "y": "566"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "106",
              "maxX": 10001,
              "fieldBits": 14,
              "modularRootCalls": "106",
              "maximumRoots": "212"
            },
            "xChecked": "106",
            "rootsChecked": 104,
            "subgroupRejected": 0,
            "points": [
              {
                "x": "5",
                "y": "566"
              },
              {
                "x": "21",
                "y": "663"
              }
            ],
            "distinctFromTarget": [
              {
                "x": "21",
                "y": "663"
              }
            ],
            "elapsedMs": 0.9568000000000154
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 57769984,
                "heapTotal": 10788864,
                "heapUsed": 6854248,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 54943744,
                "heapTotal": 11051008,
                "heapUsed": 6119024,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 20.4966,
              "elapsedMs": 20.4966,
              "totalIncludingEnumerationMs": 21.453400000000016,
              "totalWithCurveCertificateMs": 50.53890000000002,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "21",
                    "y": "663"
                  },
                  "residue": "6178",
                  "positiveJ": "6178",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "5",
                    "y": "566"
                  },
                  "residue": "0",
                  "positiveJ": "10008",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 54943744,
                "heapTotal": 11051008,
                "heapUsed": 6123320,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 54755328,
                "heapTotal": 11051008,
                "heapUsed": 6803136,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 54759424,
                "heapTotal": 11051008,
                "heapUsed": 6556848,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.42600000000001614,
              "solveAndVerifyMs": 0.6504999999999654,
              "elapsedMs": 1.0764999999999816,
              "totalIncludingEnumerationMs": 2.033299999999997,
              "totalWithCurveCertificateMs": 31.1188,
              "tableEntries": 101,
              "tablePayloadBytes": 2140,
              "rows": [
                {
                  "Q": {
                    "x": "21",
                    "y": "663"
                  },
                  "residue": "6178",
                  "positiveJ": "6178",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "5",
                    "y": "566"
                  },
                  "residue": "0",
                  "positiveJ": "10008",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 54759424,
                "heapTotal": 11051008,
                "heapUsed": 6558632,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 54771712,
                "heapTotal": 11051008,
                "heapUsed": 6681552,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 54779904,
                "heapTotal": 11051008,
                "heapUsed": 7387112,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.18389999999999418,
              "solveAndVerifyMs": 0.4847000000000037,
              "elapsedMs": 0.6685999999999979,
              "totalIncludingEnumerationMs": 1.6254000000000133,
              "totalWithCurveCertificateMs": 30.710900000000017,
              "tableEntries": 16,
              "tablePayloadBytes": 266,
              "rows": [
                {
                  "Q": {
                    "x": "21",
                    "y": "663"
                  },
                  "residue": "6178",
                  "positiveJ": "6178",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "5",
                    "y": "566"
                  },
                  "residue": "0",
                  "positiveJ": "10008",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "10008",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "4265",
            "y": "9477"
          },
          "T": {
            "x": "6883",
            "y": "2890"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 14,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 192,
            "subgroupRejected": 0,
            "points": [
              {
                "x": "6786",
                "y": "2917"
              },
              {
                "x": "6792",
                "y": "2891"
              },
              {
                "x": "6883",
                "y": "2890"
              },
              {
                "x": "6976",
                "y": "2959"
              }
            ],
            "distinctFromTarget": [
              {
                "x": "6786",
                "y": "2917"
              },
              {
                "x": "6792",
                "y": "2891"
              },
              {
                "x": "6976",
                "y": "2959"
              }
            ],
            "elapsedMs": 0.7699000000000069
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 54788096,
                "heapTotal": 11051008,
                "heapUsed": 5751184,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55812096,
                "heapTotal": 11051008,
                "heapUsed": 6100368,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 12.681299999999993,
              "elapsedMs": 12.681299999999993,
              "totalIncludingEnumerationMs": 13.4512,
              "totalWithCurveCertificateMs": 42.5367,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "6883",
                    "y": "2890"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6976",
                    "y": "2959"
                  },
                  "residue": "549",
                  "positiveJ": "549",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6792",
                    "y": "2891"
                  },
                  "residue": "8244",
                  "positiveJ": "8244",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6786",
                    "y": "2917"
                  },
                  "residue": "9497",
                  "positiveJ": "9497",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55828480,
                "heapTotal": 11051008,
                "heapUsed": 6101496,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55943168,
                "heapTotal": 11051008,
                "heapUsed": 6341808,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 56004608,
                "heapTotal": 11051008,
                "heapUsed": 6894216,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.24569999999999936,
              "solveAndVerifyMs": 1.1725000000000136,
              "elapsedMs": 1.418200000000013,
              "totalIncludingEnumerationMs": 2.18810000000002,
              "totalWithCurveCertificateMs": 31.273600000000023,
              "tableEntries": 101,
              "tablePayloadBytes": 2140,
              "rows": [
                {
                  "Q": {
                    "x": "6883",
                    "y": "2890"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6976",
                    "y": "2959"
                  },
                  "residue": "549",
                  "positiveJ": "549",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6792",
                    "y": "2891"
                  },
                  "residue": "8244",
                  "positiveJ": "8244",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6786",
                    "y": "2917"
                  },
                  "residue": "9497",
                  "positiveJ": "9497",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 56004608,
                "heapTotal": 11051008,
                "heapUsed": 6895000,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 56020992,
                "heapTotal": 11051008,
                "heapUsed": 7013656,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55533568,
                "heapTotal": 11051008,
                "heapUsed": 5933384,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.12330000000000041,
              "solveAndVerifyMs": 0.9077000000000055,
              "elapsedMs": 1.031000000000006,
              "totalIncludingEnumerationMs": 1.8009000000000128,
              "totalWithCurveCertificateMs": 30.886400000000016,
              "tableEntries": 16,
              "tablePayloadBytes": 266,
              "rows": [
                {
                  "Q": {
                    "x": "6883",
                    "y": "2890"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6976",
                    "y": "2959"
                  },
                  "residue": "549",
                  "positiveJ": "549",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6792",
                    "y": "2891"
                  },
                  "residue": "8244",
                  "positiveJ": "8244",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "6786",
                    "y": "2917"
                  },
                  "residue": "9497",
                  "positiveJ": "9497",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "10008",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "9912",
            "y": "1840"
          },
          "T": {
            "x": "581",
            "y": "8904"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 14,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 204,
            "subgroupRejected": 0,
            "points": [
              {
                "x": "523",
                "y": "8838"
              },
              {
                "x": "568",
                "y": "8814"
              },
              {
                "x": "581",
                "y": "8904"
              }
            ],
            "distinctFromTarget": [
              {
                "x": "523",
                "y": "8838"
              },
              {
                "x": "568",
                "y": "8814"
              }
            ],
            "elapsedMs": 0.6803000000000168
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55119872,
                "heapTotal": 11051008,
                "heapUsed": 6787064,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55808000,
                "heapTotal": 11051008,
                "heapUsed": 7029512,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 9.212099999999992,
              "elapsedMs": 9.212099999999992,
              "totalIncludingEnumerationMs": 9.89240000000001,
              "totalWithCurveCertificateMs": 38.97790000000001,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "581",
                    "y": "8904"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "568",
                    "y": "8814"
                  },
                  "residue": "8091",
                  "positiveJ": "8091",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "523",
                    "y": "8838"
                  },
                  "residue": "9510",
                  "positiveJ": "9510",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55808000,
                "heapTotal": 11051008,
                "heapUsed": 7030448,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55824384,
                "heapTotal": 11051008,
                "heapUsed": 7289272,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55840768,
                "heapTotal": 11051008,
                "heapUsed": 5713848,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.14179999999998927,
              "solveAndVerifyMs": 0.3925000000000125,
              "elapsedMs": 0.5343000000000018,
              "totalIncludingEnumerationMs": 1.2146000000000186,
              "totalWithCurveCertificateMs": 30.300100000000022,
              "tableEntries": 101,
              "tablePayloadBytes": 2140,
              "rows": [
                {
                  "Q": {
                    "x": "581",
                    "y": "8904"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "568",
                    "y": "8814"
                  },
                  "residue": "8091",
                  "positiveJ": "8091",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "523",
                    "y": "8838"
                  },
                  "residue": "9510",
                  "positiveJ": "9510",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55840768,
                "heapTotal": 11051008,
                "heapUsed": 5714632,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55869440,
                "heapTotal": 11051008,
                "heapUsed": 5824064,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55910400,
                "heapTotal": 11051008,
                "heapUsed": 6994320,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.09999999999999432,
              "solveAndVerifyMs": 0.24610000000001264,
              "elapsedMs": 0.34610000000000696,
              "totalIncludingEnumerationMs": 1.0264000000000237,
              "totalWithCurveCertificateMs": 30.111900000000027,
              "tableEntries": 16,
              "tablePayloadBytes": 266,
              "rows": [
                {
                  "Q": {
                    "x": "581",
                    "y": "8904"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "568",
                    "y": "8814"
                  },
                  "residue": "8091",
                  "positiveJ": "8091",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "523",
                    "y": "8838"
                  },
                  "residue": "9510",
                  "positiveJ": "9510",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "10008",
          "j0": "excluded; residue zero is represented by positive n"
        }
      ]
    },
    {
      "curve": {
        "p": "1019",
        "name": "p1019",
        "n": "17",
        "G": {
          "x": "838",
          "y": "259"
        },
        "curveOrder": "1020",
        "factorization": [
          [
            "17",
            1
          ]
        ],
        "primeOrder": true,
        "certificateMs": 2.660500000000013,
        "membership": "nQ=O; exact generator order; gcd(n,#E/n)=1",
        "discoveryAndCertificateMs": 6.900999999999996
      },
      "cases": [
        {
          "P0": {
            "x": "838",
            "y": "259"
          },
          "T": {
            "x": "838",
            "y": "259"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 10,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 214,
            "subgroupRejected": 40,
            "points": [
              {
                "x": "838",
                "y": "259"
              }
            ],
            "distinctFromTarget": [],
            "elapsedMs": 0.6260000000000048
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7546312,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7571064,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.057699999999982765,
              "elapsedMs": 0.057699999999982765,
              "totalIncludingEnumerationMs": 0.6836999999999875,
              "totalWithCurveCertificateMs": 7.584699999999984,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "838",
                    "y": "259"
                  },
                  "residue": "0",
                  "positiveJ": "17",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7572048,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7587936,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7589112,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.023200000000002774,
              "solveAndVerifyMs": 0.010499999999979082,
              "elapsedMs": 0.033699999999981856,
              "totalIncludingEnumerationMs": 0.6596999999999866,
              "totalWithCurveCertificateMs": 7.560699999999983,
              "tableEntries": 5,
              "tablePayloadBytes": 68,
              "rows": [
                {
                  "Q": {
                    "x": "838",
                    "y": "259"
                  },
                  "residue": "0",
                  "positiveJ": "17",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7589896,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7608392,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 7610272,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.03740000000001942,
              "solveAndVerifyMs": 0.015699999999981173,
              "elapsedMs": 0.05310000000000059,
              "totalIncludingEnumerationMs": 0.6791000000000054,
              "totalWithCurveCertificateMs": 7.580100000000002,
              "tableEntries": 5,
              "tablePayloadBytes": 68,
              "rows": [
                {
                  "Q": {
                    "x": "838",
                    "y": "259"
                  },
                  "residue": "0",
                  "positiveJ": "17",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "17",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "221",
            "y": "451"
          },
          "T": {
            "x": "800",
            "y": "999"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 10,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 194,
            "subgroupRejected": 22,
            "points": [
              {
                "x": "800",
                "y": "999"
              }
            ],
            "distinctFromTarget": [],
            "elapsedMs": 0.5129000000000019
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6423208,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6455864,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.019599999999996953,
              "elapsedMs": 0.019599999999996953,
              "totalIncludingEnumerationMs": 0.5324999999999989,
              "totalWithCurveCertificateMs": 7.433499999999995,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "800",
                    "y": "999"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6456800,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6472544,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6489328,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.015700000000009595,
              "solveAndVerifyMs": 0.015099999999989677,
              "elapsedMs": 0.030799999999999272,
              "totalIncludingEnumerationMs": 0.5437000000000012,
              "totalWithCurveCertificateMs": 7.444699999999997,
              "tableEntries": 5,
              "tablePayloadBytes": 68,
              "rows": [
                {
                  "Q": {
                    "x": "800",
                    "y": "999"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6490112,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6508624,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55140352,
                "heapTotal": 11051008,
                "heapUsed": 6534192,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.039600000000007185,
              "solveAndVerifyMs": 0.043299999999987904,
              "elapsedMs": 0.08289999999999509,
              "totalIncludingEnumerationMs": 0.595799999999997,
              "totalWithCurveCertificateMs": 7.496799999999993,
              "tableEntries": 5,
              "tablePayloadBytes": 68,
              "rows": [
                {
                  "Q": {
                    "x": "800",
                    "y": "999"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "17",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "333",
            "y": "906"
          },
          "T": {
            "x": "221",
            "y": "451"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 10,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 212,
            "subgroupRejected": 35,
            "points": [
              {
                "x": "221",
                "y": "451"
              }
            ],
            "distinctFromTarget": [],
            "elapsedMs": 1.0492000000000132
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 54988800,
                "heapTotal": 11051008,
                "heapUsed": 7527680,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 54988800,
                "heapTotal": 11051008,
                "heapUsed": 7559272,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.019800000000003593,
              "elapsedMs": 0.019800000000003593,
              "totalIncludingEnumerationMs": 1.0690000000000168,
              "totalWithCurveCertificateMs": 7.970000000000013,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "221",
                    "y": "451"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 54988800,
                "heapTotal": 11051008,
                "heapUsed": 7560208,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 54988800,
                "heapTotal": 11051008,
                "heapUsed": 7575824,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 54988800,
                "heapTotal": 11051008,
                "heapUsed": 7593216,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.021600000000006503,
              "solveAndVerifyMs": 0.015799999999984493,
              "elapsedMs": 0.037399999999990996,
              "totalIncludingEnumerationMs": 1.0866000000000042,
              "totalWithCurveCertificateMs": 7.9876000000000005,
              "tableEntries": 5,
              "tablePayloadBytes": 68,
              "rows": [
                {
                  "Q": {
                    "x": "221",
                    "y": "451"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 54988800,
                "heapTotal": 11051008,
                "heapUsed": 7594000,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 54988800,
                "heapTotal": 11051008,
                "heapUsed": 7612272,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 54992896,
                "heapTotal": 11051008,
                "heapUsed": 5615352,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.02600000000001046,
              "solveAndVerifyMs": 0.2091999999999814,
              "elapsedMs": 0.23519999999999186,
              "totalIncludingEnumerationMs": 1.284400000000005,
              "totalWithCurveCertificateMs": 8.185400000000001,
              "tableEntries": 5,
              "tablePayloadBytes": 68,
              "rows": [
                {
                  "Q": {
                    "x": "221",
                    "y": "451"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "17",
          "j0": "excluded; residue zero is represented by positive n"
        }
      ]
    },
    {
      "curve": {
        "p": "2003",
        "name": "p2003",
        "n": "167",
        "G": {
          "x": "1394",
          "y": "1350"
        },
        "curveOrder": "2004",
        "factorization": [
          [
            "167",
            1
          ]
        ],
        "primeOrder": true,
        "certificateMs": 4.675299999999993,
        "membership": "nQ=O; exact generator order; gcd(n,#E/n)=1",
        "discoveryAndCertificateMs": 9.957300000000004
      },
      "cases": [
        {
          "P0": {
            "x": "1394",
            "y": "1350"
          },
          "T": {
            "x": "1394",
            "y": "1350"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 11,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 202,
            "subgroupRejected": 21,
            "points": [
              {
                "x": "1354",
                "y": "1391"
              },
              {
                "x": "1394",
                "y": "1350"
              }
            ],
            "distinctFromTarget": [
              {
                "x": "1354",
                "y": "1391"
              }
            ],
            "elapsedMs": 0.6440000000000055
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55164928,
                "heapTotal": 11051008,
                "heapUsed": 6681824,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55218176,
                "heapTotal": 11051008,
                "heapUsed": 6970536,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.12569999999999482,
              "elapsedMs": 0.12569999999999482,
              "totalIncludingEnumerationMs": 0.7697000000000003,
              "totalWithCurveCertificateMs": 10.727000000000004,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "1354",
                    "y": "1391"
                  },
                  "residue": "27",
                  "positiveJ": "27",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1394",
                    "y": "1350"
                  },
                  "residue": "0",
                  "positiveJ": "167",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55218176,
                "heapTotal": 11051008,
                "heapUsed": 6971472,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55234560,
                "heapTotal": 11051008,
                "heapUsed": 7006616,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55246848,
                "heapTotal": 11051008,
                "heapUsed": 7039776,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.030499999999989313,
              "solveAndVerifyMs": 0.023400000000009413,
              "elapsedMs": 0.05389999999999873,
              "totalIncludingEnumerationMs": 0.6979000000000042,
              "totalWithCurveCertificateMs": 10.655200000000008,
              "tableEntries": 13,
              "tablePayloadBytes": 230,
              "rows": [
                {
                  "Q": {
                    "x": "1354",
                    "y": "1391"
                  },
                  "residue": "27",
                  "positiveJ": "27",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1394",
                    "y": "1350"
                  },
                  "residue": "0",
                  "positiveJ": "167",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55246848,
                "heapTotal": 11051008,
                "heapUsed": 7040560,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55255040,
                "heapTotal": 11051008,
                "heapUsed": 7079368,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55275520,
                "heapTotal": 11051008,
                "heapUsed": 7127648,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.035900000000026466,
              "solveAndVerifyMs": 0.03459999999995489,
              "elapsedMs": 0.07049999999998136,
              "totalIncludingEnumerationMs": 0.7144999999999868,
              "totalWithCurveCertificateMs": 10.67179999999999,
              "tableEntries": 13,
              "tablePayloadBytes": 230,
              "rows": [
                {
                  "Q": {
                    "x": "1354",
                    "y": "1391"
                  },
                  "residue": "27",
                  "positiveJ": "27",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1394",
                    "y": "1350"
                  },
                  "residue": "0",
                  "positiveJ": "167",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "167",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "936",
            "y": "1629"
          },
          "T": {
            "x": "414",
            "y": "1717"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 11,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 192,
            "subgroupRejected": 14,
            "points": [
              {
                "x": "414",
                "y": "1717"
              },
              {
                "x": "441",
                "y": "1700"
              },
              {
                "x": "476",
                "y": "1737"
              }
            ],
            "distinctFromTarget": [
              {
                "x": "441",
                "y": "1700"
              },
              {
                "x": "476",
                "y": "1737"
              }
            ],
            "elapsedMs": 0.8837000000000046
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55664640,
                "heapTotal": 11051008,
                "heapUsed": 6074584,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55693312,
                "heapTotal": 11051008,
                "heapUsed": 6396824,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.13980000000000814,
              "elapsedMs": 0.13980000000000814,
              "totalIncludingEnumerationMs": 1.0235000000000127,
              "totalWithCurveCertificateMs": 10.980800000000016,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "414",
                    "y": "1717"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "441",
                    "y": "1700"
                  },
                  "residue": "135",
                  "positiveJ": "135",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "476",
                    "y": "1737"
                  },
                  "residue": "139",
                  "positiveJ": "139",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55697408,
                "heapTotal": 11051008,
                "heapUsed": 6397760,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55705600,
                "heapTotal": 11051008,
                "heapUsed": 6432904,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55721984,
                "heapTotal": 11051008,
                "heapUsed": 6564864,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.03350000000000364,
              "solveAndVerifyMs": 0.06419999999999959,
              "elapsedMs": 0.09770000000000323,
              "totalIncludingEnumerationMs": 0.9814000000000078,
              "totalWithCurveCertificateMs": 10.938700000000011,
              "tableEntries": 13,
              "tablePayloadBytes": 230,
              "rows": [
                {
                  "Q": {
                    "x": "414",
                    "y": "1717"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "441",
                    "y": "1700"
                  },
                  "residue": "135",
                  "positiveJ": "135",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "476",
                    "y": "1737"
                  },
                  "residue": "139",
                  "positiveJ": "139",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55721984,
                "heapTotal": 11051008,
                "heapUsed": 6565648,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55738368,
                "heapTotal": 11051008,
                "heapUsed": 6604456,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55816192,
                "heapTotal": 11051008,
                "heapUsed": 6786576,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.03850000000002751,
              "solveAndVerifyMs": 0.1518999999999835,
              "elapsedMs": 0.190400000000011,
              "totalIncludingEnumerationMs": 1.0741000000000156,
              "totalWithCurveCertificateMs": 11.03140000000002,
              "tableEntries": 13,
              "tablePayloadBytes": 230,
              "rows": [
                {
                  "Q": {
                    "x": "414",
                    "y": "1717"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "441",
                    "y": "1700"
                  },
                  "residue": "135",
                  "positiveJ": "135",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "476",
                    "y": "1737"
                  },
                  "residue": "139",
                  "positiveJ": "139",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "167",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "1523",
            "y": "1895"
          },
          "T": {
            "x": "1432",
            "y": "107"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 11,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 200,
            "subgroupRejected": 14,
            "points": [
              {
                "x": "1432",
                "y": "107"
              },
              {
                "x": "1509",
                "y": "28"
              },
              {
                "x": "1523",
                "y": "108"
              }
            ],
            "distinctFromTarget": [
              {
                "x": "1509",
                "y": "28"
              },
              {
                "x": "1523",
                "y": "108"
              }
            ],
            "elapsedMs": 1.1461999999999932
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55382016,
                "heapTotal": 11051008,
                "heapUsed": 5770752,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55394304,
                "heapTotal": 11051008,
                "heapUsed": 6087160,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.1366000000000156,
              "elapsedMs": 0.1366000000000156,
              "totalIncludingEnumerationMs": 1.2828000000000088,
              "totalWithCurveCertificateMs": 11.240100000000012,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "1432",
                    "y": "107"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1509",
                    "y": "28"
                  },
                  "residue": "76",
                  "positiveJ": "76",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1523",
                    "y": "108"
                  },
                  "residue": "145",
                  "positiveJ": "145",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55394304,
                "heapTotal": 11051008,
                "heapUsed": 6088096,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55398400,
                "heapTotal": 11051008,
                "heapUsed": 6283232,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55406592,
                "heapTotal": 11051008,
                "heapUsed": 6254448,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.034000000000020236,
              "solveAndVerifyMs": 0.07969999999997412,
              "elapsedMs": 0.11369999999999436,
              "totalIncludingEnumerationMs": 1.2598999999999876,
              "totalWithCurveCertificateMs": 11.217199999999991,
              "tableEntries": 13,
              "tablePayloadBytes": 230,
              "rows": [
                {
                  "Q": {
                    "x": "1432",
                    "y": "107"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1509",
                    "y": "28"
                  },
                  "residue": "76",
                  "positiveJ": "76",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1523",
                    "y": "108"
                  },
                  "residue": "145",
                  "positiveJ": "145",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55406592,
                "heapTotal": 11051008,
                "heapUsed": 6255232,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55164928,
                "heapTotal": 11051008,
                "heapUsed": 6294312,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6453424,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.046899999999993724,
              "solveAndVerifyMs": 0.09620000000001028,
              "elapsedMs": 0.143100000000004,
              "totalIncludingEnumerationMs": 1.2892999999999972,
              "totalWithCurveCertificateMs": 11.2466,
              "tableEntries": 13,
              "tablePayloadBytes": 230,
              "rows": [
                {
                  "Q": {
                    "x": "1432",
                    "y": "107"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1509",
                    "y": "28"
                  },
                  "residue": "76",
                  "positiveJ": "76",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "1523",
                    "y": "108"
                  },
                  "residue": "145",
                  "positiveJ": "145",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "167",
          "j0": "excluded; residue zero is represented by positive n"
        }
      ]
    },
    {
      "curve": {
        "p": "4001",
        "name": "p4001",
        "n": "29",
        "G": {
          "x": "707",
          "y": "2326"
        },
        "curveOrder": "4002",
        "factorization": [
          [
            "29",
            1
          ]
        ],
        "primeOrder": true,
        "certificateMs": 21.574399999999997,
        "membership": "nQ=O; exact generator order; gcd(n,#E/n)=1",
        "discoveryAndCertificateMs": 44.011399999999995
      },
      "cases": [
        {
          "P0": {
            "x": "707",
            "y": "2326"
          },
          "T": {
            "x": "707",
            "y": "2326"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 12,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 198,
            "subgroupRejected": 12,
            "points": [
              {
                "x": "707",
                "y": "2326"
              }
            ],
            "distinctFromTarget": [],
            "elapsedMs": 0.9917999999999836
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5727736,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5775880,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.02389999999999759,
              "elapsedMs": 0.02389999999999759,
              "totalIncludingEnumerationMs": 1.0156999999999812,
              "totalWithCurveCertificateMs": 45.027099999999976,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "707",
                    "y": "2326"
                  },
                  "residue": "0",
                  "positiveJ": "29",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5776816,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5795464,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5796640,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.018799999999998818,
              "solveAndVerifyMs": 0.0069000000000016826,
              "elapsedMs": 0.0257000000000005,
              "totalIncludingEnumerationMs": 1.017499999999984,
              "totalWithCurveCertificateMs": 45.02889999999998,
              "tableEntries": 6,
              "tablePayloadBytes": 98,
              "rows": [
                {
                  "Q": {
                    "x": "707",
                    "y": "2326"
                  },
                  "residue": "0",
                  "positiveJ": "29",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5797424,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5819296,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 5821080,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.032300000000020646,
              "solveAndVerifyMs": 0.015499999999974534,
              "elapsedMs": 0.04779999999999518,
              "totalIncludingEnumerationMs": 1.0395999999999788,
              "totalWithCurveCertificateMs": 45.05099999999997,
              "tableEntries": 6,
              "tablePayloadBytes": 98,
              "rows": [
                {
                  "Q": {
                    "x": "707",
                    "y": "2326"
                  },
                  "residue": "0",
                  "positiveJ": "29",
                  "j0Excluded": true,
                  "exactTarget": true,
                  "returnToStart": true
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "29",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "2097",
            "y": "161"
          },
          "T": {
            "x": "2908",
            "y": "2003"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 12,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 214,
            "subgroupRejected": 14,
            "points": [
              {
                "x": "2908",
                "y": "1998"
              },
              {
                "x": "2908",
                "y": "2003"
              }
            ],
            "distinctFromTarget": [
              {
                "x": "2908",
                "y": "1998"
              }
            ],
            "elapsedMs": 0.8452000000000055
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7292616,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7360096,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.030499999999989313,
              "elapsedMs": 0.030499999999989313,
              "totalIncludingEnumerationMs": 0.8756999999999948,
              "totalWithCurveCertificateMs": 44.88709999999999,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "2908",
                    "y": "2003"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "2908",
                    "y": "1998"
                  },
                  "residue": "20",
                  "positiveJ": "20",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7361032,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7379680,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7423296,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.013800000000003365,
              "solveAndVerifyMs": 0.025100000000009004,
              "elapsedMs": 0.03890000000001237,
              "totalIncludingEnumerationMs": 0.8841000000000179,
              "totalWithCurveCertificateMs": 44.89550000000001,
              "tableEntries": 6,
              "tablePayloadBytes": 98,
              "rows": [
                {
                  "Q": {
                    "x": "2908",
                    "y": "2003"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "2908",
                    "y": "1998"
                  },
                  "residue": "20",
                  "positiveJ": "20",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7424080,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7446024,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 7510552,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.021800000000013142,
              "solveAndVerifyMs": 0.03619999999997958,
              "elapsedMs": 0.057999999999992724,
              "totalIncludingEnumerationMs": 0.9031999999999982,
              "totalWithCurveCertificateMs": 44.91459999999999,
              "tableEntries": 6,
              "tablePayloadBytes": 98,
              "rows": [
                {
                  "Q": {
                    "x": "2908",
                    "y": "2003"
                  },
                  "residue": "5",
                  "positiveJ": "5",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                },
                {
                  "Q": {
                    "x": "2908",
                    "y": "1998"
                  },
                  "residue": "20",
                  "positiveJ": "20",
                  "j0Excluded": false,
                  "exactTarget": false,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "29",
          "j0": "excluded; residue zero is represented by positive n"
        },
        {
          "P0": {
            "x": "2450",
            "y": "3290"
          },
          "T": {
            "x": "2106",
            "y": "825"
          },
          "R": "100",
          "existence": {
            "status": "complete",
            "complete": true,
            "estimate": {
              "xValues": "201",
              "maxX": 10001,
              "fieldBits": 12,
              "modularRootCalls": "201",
              "maximumRoots": "402"
            },
            "xChecked": "201",
            "rootsChecked": 188,
            "subgroupRejected": 7,
            "points": [
              {
                "x": "2106",
                "y": "825"
              }
            ],
            "distinctFromTarget": [],
            "elapsedMs": 0.9133000000000209
          },
          "methods": [
            {
              "name": "walk",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6697736,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": null,
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6753808,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0,
              "solveAndVerifyMs": 0.026499999999998636,
              "elapsedMs": 0.026499999999998636,
              "totalIncludingEnumerationMs": 0.9398000000000195,
              "totalWithCurveCertificateMs": 44.951200000000014,
              "tableEntries": 0,
              "tablePayloadBytes": 0,
              "rows": [
                {
                  "Q": {
                    "x": "2106",
                    "y": "825"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "bsgs",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6754744,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6773392,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6791648,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.015900000000016234,
              "solveAndVerifyMs": 0.013399999999990087,
              "elapsedMs": 0.02930000000000632,
              "totalIncludingEnumerationMs": 0.9426000000000272,
              "totalWithCurveCertificateMs": 44.95400000000002,
              "tableEntries": 6,
              "tablePayloadBytes": 98,
              "rows": [
                {
                  "Q": {
                    "x": "2106",
                    "y": "825"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            },
            {
              "name": "pohlig-hellman",
              "memoryBefore": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6792432,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfterSetup": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6814256,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "memoryAfter": {
                "rss": 55156736,
                "heapTotal": 11051008,
                "heapUsed": 6840904,
                "external": 1736387,
                "arrayBuffers": 137503
              },
              "setupMs": 0.017099999999999227,
              "solveAndVerifyMs": 0.018100000000004002,
              "elapsedMs": 0.03520000000000323,
              "totalIncludingEnumerationMs": 0.9485000000000241,
              "totalWithCurveCertificateMs": 44.95990000000002,
              "tableEntries": 6,
              "tablePayloadBytes": 98,
              "rows": [
                {
                  "Q": {
                    "x": "2106",
                    "y": "825"
                  },
                  "residue": "8",
                  "positiveJ": "8",
                  "j0Excluded": false,
                  "exactTarget": true,
                  "returnToStart": false
                }
              ]
            }
          ],
          "allIndicesVerified": true,
          "firstPositiveReturn": "29",
          "j0": "excluded; residue zero is represented by positive n"
        }
      ]
    }
  ],
  "curveConstructionAndCertificationMs": 90.2648,
  "secp": {
    "status": "complete",
    "complete": true,
    "estimate": {
      "xValues": "201",
      "maxX": 201,
      "fieldBits": 256,
      "modularRootCalls": "201",
      "maximumRoots": "402"
    },
    "xChecked": "201",
    "rootsChecked": 216,
    "subgroupRejected": 0,
    "points": [
      {
        "x": "55066263022277343669578718895168534326250603453777594175500187360389116729240",
        "y": "32670510020758816978083085130507043184471273380659243275938904335757337482424"
      }
    ],
    "distinctFromTarget": [],
    "elapsedMs": 135.7975,
    "firstPositiveReturn": "115792089237316195423570985008687907852837564279074904382605163141518161494337",
    "membership": "SEC2 cofactor 1, prime order n; every candidate checked with nQ=O",
    "generalDlpAttempted": false
  },
  "elapsedMs": 305.0893,
  "budget": {
    "maxX": 10001,
    "maxSmallP": 20000,
    "maxDlpOrder": 20000,
    "secpX": 201
  },
  "memoryNote": "tablePayloadBytes = measured UTF-16 key/value text payload, excludes JS Map/BigInt overhead; tableEntries exact. Each method records process heap/RSS before, after setup and after solving (includes runtime/output; deltas affected by GC, not exact allocation peaks). Node runner also records suite memory. Walk uses constant working points plus output.",
  "prediction": "No new predictor or fitted formula. All indices computed by exact algorithms.",
  "runtime": {
    "node": "v24.21.0",
    "platform": "win32",
    "arch": "x64",
    "wallMs": 305.6178,
    "memoryBefore": {
      "rss": 45670400,
      "heapTotal": 6594560,
      "heapUsed": 4358768,
      "external": 1659623,
      "arrayBuffers": 137503
    },
    "memoryAfter": {
      "rss": 55754752,
      "heapTotal": 11051008,
      "heapUsed": 7742016,
      "external": 1736387,
      "arrayBuffers": 137503
    },
    "sampledPeak": {
      "rss": 57769984,
      "heapTotal": 11051008,
      "heapUsed": 7984216,
      "external": 1736387,
      "arrayBuffers": 137503
    },
    "samplingMs": 5,
    "algorithmBoundarySnapshots": true,
    "note": "Whole suite process memory, includes engine/runtime/output; timer plus algorithm boundaries; synchronous work blocks timer; observed maximum, not exact peak allocation."
  }
}