{
  "config": {
    "n_strands": 3,
    "A0": [
      1,
      2,
      5,
      6
    ],
    "S": 7
  },
  "stats": {
    "explored": 65,
    "sidon_found": 3,
    "terminal": 30,
    "axis_swaps": 43,
    "adjustments": 21
  },
  "nodes": {
    "1": {
      "step": 0,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        3,
        5,
        17,
        19,
        29,
        31
      ],
      "M": 4355655,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        6,
        5,
        5
      ],
      "braid_word": "1",
      "parent_id": null,
      "child_ids": [
        2,
        3,
        4,
        5
      ]
    },
    "2": {
      "step": 1,
      "A": [
        2,
        5,
        1451886,
        2903776
      ],
      "moduli": [
        3,
        19,
        17,
        5,
        29,
        31
      ],
      "M": 4355655,
      "sidon": true,
      "terminal": true,
      "reason": "Sidon (goal reached)",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1",
      "parent_id": 1,
      "child_ids": []
    },
    "3": {
      "step": 1,
      "A": [
        2,
        5,
        1451886,
        2903776
      ],
      "moduli": [
        3,
        5,
        17,
        31,
        29,
        19
      ],
      "M": 4355655,
      "sidon": true,
      "terminal": true,
      "reason": "Sidon (goal reached)",
      "capacity": [
        6,
        0,
        0
      ],
      "braid_word": "\u03c3_2",
      "parent_id": 1,
      "child_ids": []
    },
    "4": {
      "step": 1,
      "A": [
        1,
        6,
        1161510,
        4646037
      ],
      "moduli": [
        5,
        4,
        17,
        19,
        29,
        31
      ],
      "M": 5807540,
      "sidon": true,
      "terminal": true,
      "reason": "Sidon (goal reached)",
      "capacity": [
        6,
        5,
        5
      ],
      "braid_word": "\u03c3_1\u207a",
      "parent_id": 1,
      "child_ids": []
    },
    "5": {
      "step": 1,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        7,
        17,
        19,
        29,
        31
      ],
      "M": 4065278,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        5,
        5,
        5
      ],
      "braid_word": "\u03c3_1\u207b",
      "parent_id": 1,
      "child_ids": [
        6,
        7,
        8
      ]
    },
    "6": {
      "step": 2,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        19,
        17,
        7,
        29,
        31
      ],
      "M": 4065278,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 5,
      "child_ids": [
        10
      ]
    },
    "7": {
      "step": 2,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        7,
        17,
        31,
        29,
        19
      ],
      "M": 4065278,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        5,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2",
      "parent_id": 5,
      "child_ids": [
        11,
        13
      ]
    },
    "8": {
      "step": 2,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        9,
        17,
        19,
        29,
        31
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        4,
        4,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 5,
      "child_ids": [
        14,
        15,
        16
      ]
    },
    "10": {
      "step": 3,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        7
      ],
      "M": 4065278,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 6,
      "child_ids": []
    },
    "11": {
      "step": 3,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        31,
        17,
        7,
        29,
        19
      ],
      "M": 4065278,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1",
      "parent_id": 7,
      "child_ids": []
    },
    "13": {
      "step": 3,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        9,
        17,
        31,
        29,
        19
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        4,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b",
      "parent_id": 7,
      "child_ids": [
        17,
        18,
        19
      ]
    },
    "14": {
      "step": 3,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        19,
        17,
        9,
        29,
        31
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 8,
      "child_ids": [
        21
      ]
    },
    "15": {
      "step": 3,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        9,
        17,
        31,
        29,
        19
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        4,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2",
      "parent_id": 8,
      "child_ids": [
        22,
        24
      ]
    },
    "16": {
      "step": 3,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        11,
        17,
        19,
        29,
        31
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        3,
        3,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 8,
      "child_ids": [
        25,
        27
      ]
    },
    "17": {
      "step": 4,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        31,
        17,
        9,
        29,
        19
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 13,
      "child_ids": []
    },
    "18": {
      "step": 4,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        9,
        17,
        19,
        29,
        31
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        4,
        4,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2",
      "parent_id": 13,
      "child_ids": [
        28,
        30
      ]
    },
    "19": {
      "step": 4,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        11,
        17,
        31,
        29,
        19
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        3,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 13,
      "child_ids": [
        31,
        33
      ]
    },
    "21": {
      "step": 4,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        9
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 14,
      "child_ids": []
    },
    "22": {
      "step": 4,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        31,
        17,
        9,
        29,
        19
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1",
      "parent_id": 15,
      "child_ids": []
    },
    "24": {
      "step": 4,
      "A": [
        1161509,
        1161510,
        1161513,
        1161514
      ],
      "moduli": [
        2,
        11,
        17,
        31,
        29,
        19
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        3,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b",
      "parent_id": 15,
      "child_ids": [
        34,
        35,
        36
      ]
    },
    "25": {
      "step": 4,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        19,
        17,
        11,
        29,
        31
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 16,
      "child_ids": [
        38
      ]
    },
    "27": {
      "step": 4,
      "A": [
        1161509,
        1161510,
        1161513,
        1161514
      ],
      "moduli": [
        2,
        13,
        17,
        19,
        29,
        31
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        2,
        2,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 16,
      "child_ids": [
        39,
        41
      ]
    },
    "28": {
      "step": 5,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        19,
        17,
        9,
        29,
        31
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1",
      "parent_id": 18,
      "child_ids": [
        43
      ]
    },
    "30": {
      "step": 5,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        11,
        17,
        19,
        29,
        31
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        3,
        3,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b",
      "parent_id": 18,
      "child_ids": [
        44,
        45,
        46
      ]
    },
    "31": {
      "step": 5,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        31,
        17,
        11,
        29,
        19
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 19,
      "child_ids": []
    },
    "33": {
      "step": 5,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        13,
        17,
        31,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        2,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 19,
      "child_ids": [
        47,
        49
      ]
    },
    "34": {
      "step": 5,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        31,
        17,
        11,
        29,
        19
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 24,
      "child_ids": []
    },
    "35": {
      "step": 5,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        11,
        17,
        19,
        29,
        31
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        3,
        3,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2",
      "parent_id": 24,
      "child_ids": [
        50,
        52
      ]
    },
    "36": {
      "step": 5,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        13,
        17,
        31,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        2,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 24,
      "child_ids": [
        53,
        55
      ]
    },
    "38": {
      "step": 5,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        11
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 25,
      "child_ids": []
    },
    "39": {
      "step": 5,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        19,
        17,
        13,
        29,
        31
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 27,
      "child_ids": [
        57
      ]
    },
    "41": {
      "step": 5,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        15,
        17,
        19,
        29,
        31
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        1,
        1,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 27,
      "child_ids": [
        58
      ]
    },
    "43": {
      "step": 6,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        9
      ],
      "M": 5226786,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 28,
      "child_ids": []
    },
    "44": {
      "step": 6,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        19,
        17,
        11,
        29,
        31
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 30,
      "child_ids": [
        61
      ]
    },
    "45": {
      "step": 6,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        11,
        17,
        31,
        29,
        19
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        3,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2",
      "parent_id": 30,
      "child_ids": [
        62,
        64
      ]
    },
    "46": {
      "step": 6,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        13,
        17,
        19,
        29,
        31
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        2,
        2,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 30,
      "child_ids": [
        65,
        67
      ]
    },
    "47": {
      "step": 6,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        31,
        17,
        13,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 33,
      "child_ids": []
    },
    "49": {
      "step": 6,
      "A": [
        1161509,
        1161510,
        1161513,
        1161514
      ],
      "moduli": [
        2,
        15,
        17,
        31,
        29,
        19
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        1,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 33,
      "child_ids": [
        68
      ]
    },
    "50": {
      "step": 6,
      "A": [
        1161509,
        1161510,
        1161513,
        1161514
      ],
      "moduli": [
        2,
        19,
        17,
        11,
        29,
        31
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1",
      "parent_id": 35,
      "child_ids": [
        71
      ]
    },
    "52": {
      "step": 6,
      "A": [
        1742263,
        1742264,
        1742267,
        1742268
      ],
      "moduli": [
        2,
        13,
        17,
        19,
        29,
        31
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        2,
        2,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b",
      "parent_id": 35,
      "child_ids": [
        72,
        73,
        74
      ]
    },
    "53": {
      "step": 6,
      "A": [
        1161509,
        1161510,
        1161513,
        1161514
      ],
      "moduli": [
        2,
        31,
        17,
        13,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 36,
      "child_ids": []
    },
    "55": {
      "step": 6,
      "A": [
        1742263,
        1742264,
        1742267,
        1742268
      ],
      "moduli": [
        2,
        15,
        17,
        31,
        29,
        19
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        1,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 36,
      "child_ids": [
        75
      ]
    },
    "57": {
      "step": 6,
      "A": [
        1161509,
        1161510,
        1161513,
        1161514
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        13
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 39,
      "child_ids": []
    },
    "58": {
      "step": 6,
      "A": [
        1161509,
        1161510,
        1161513,
        1161514
      ],
      "moduli": [
        2,
        19,
        17,
        15,
        29,
        31
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 41,
      "child_ids": [
        78
      ]
    },
    "61": {
      "step": 7,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        11
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 44,
      "child_ids": []
    },
    "62": {
      "step": 7,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        31,
        17,
        11,
        29,
        19
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1",
      "parent_id": 45,
      "child_ids": []
    },
    "64": {
      "step": 7,
      "A": [
        3774902,
        3774903,
        3774906,
        3774907
      ],
      "moduli": [
        2,
        13,
        17,
        31,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        2,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b",
      "parent_id": 45,
      "child_ids": [
        79,
        80,
        81
      ]
    },
    "65": {
      "step": 7,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        19,
        17,
        13,
        29,
        31
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 46,
      "child_ids": [
        83
      ]
    },
    "67": {
      "step": 7,
      "A": [
        3774902,
        3774903,
        3774906,
        3774907
      ],
      "moduli": [
        2,
        15,
        17,
        19,
        29,
        31
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        1,
        1,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 46,
      "child_ids": [
        84
      ]
    },
    "68": {
      "step": 7,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        31,
        17,
        15,
        29,
        19
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 49,
      "child_ids": []
    },
    "71": {
      "step": 7,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        11
      ],
      "M": 6388294,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 50,
      "child_ids": []
    },
    "72": {
      "step": 7,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        19,
        17,
        13,
        29,
        31
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 52,
      "child_ids": [
        87
      ]
    },
    "73": {
      "step": 7,
      "A": [
        2032640,
        2032641,
        2032644,
        2032645
      ],
      "moduli": [
        2,
        13,
        17,
        31,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        2,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2",
      "parent_id": 52,
      "child_ids": [
        88,
        90
      ]
    },
    "74": {
      "step": 7,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        15,
        17,
        19,
        29,
        31
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": false,
      "reason": "",
      "capacity": [
        1,
        1,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 52,
      "child_ids": [
        91
      ]
    },
    "75": {
      "step": 7,
      "A": [
        2613394,
        2613395,
        2613398,
        2613399
      ],
      "moduli": [
        2,
        31,
        17,
        15,
        29,
        19
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 55,
      "child_ids": []
    },
    "78": {
      "step": 7,
      "A": [
        3194148,
        3194149,
        3194152,
        3194153
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        15
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": true,
      "reason": "Capacity exhausted: [0, 0, 0]",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 58,
      "child_ids": []
    },
    "79": {
      "step": 8,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        31,
        17,
        13,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 64,
      "child_ids": []
    },
    "80": {
      "step": 8,
      "A": [
        1,
        2,
        5,
        6
      ],
      "moduli": [
        2,
        13,
        17,
        19,
        29,
        31
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        2,
        2,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2",
      "parent_id": 64,
      "child_ids": []
    },
    "81": {
      "step": 8,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        15,
        17,
        31,
        29,
        19
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        1,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b",
      "parent_id": 64,
      "child_ids": []
    },
    "83": {
      "step": 8,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        13
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 65,
      "child_ids": []
    },
    "84": {
      "step": 8,
      "A": [
        580755,
        580756,
        580759,
        580760
      ],
      "moduli": [
        2,
        19,
        17,
        15,
        29,
        31
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 67,
      "child_ids": []
    },
    "87": {
      "step": 8,
      "A": [
        1742263,
        1742264,
        1742267,
        1742268
      ],
      "moduli": [
        2,
        19,
        17,
        31,
        29,
        13
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1 \u00b7 \u03c3_2",
      "parent_id": 72,
      "child_ids": []
    },
    "88": {
      "step": 8,
      "A": [
        1742263,
        1742264,
        1742267,
        1742268
      ],
      "moduli": [
        2,
        31,
        17,
        13,
        29,
        19
      ],
      "M": 7549802,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        0,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1",
      "parent_id": 73,
      "child_ids": []
    },
    "90": {
      "step": 8,
      "A": [
        2323017,
        2323018,
        2323021,
        2323022
      ],
      "moduli": [
        2,
        15,
        17,
        31,
        29,
        19
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        1,
        0,
        0
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b",
      "parent_id": 73,
      "child_ids": []
    },
    "91": {
      "step": 8,
      "A": [
        1742263,
        1742264,
        1742267,
        1742268
      ],
      "moduli": [
        2,
        19,
        17,
        15,
        29,
        31
      ],
      "M": 8711310,
      "sidon": false,
      "terminal": true,
      "reason": "Max steps (8) reached",
      "capacity": [
        0,
        0,
        5
      ],
      "braid_word": "\u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_2 \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1\u207b \u00b7 \u03c3_1",
      "parent_id": 74,
      "child_ids": []
    }
  },
  "paths": [
    {
      "word": "\u03c3_1",
      "steps": 1,
      "final_A": [
        2,
        5,
        1451886,
        2903776
      ],
      "final_M": 4355655,
      "node_ids": [
        1,
        2
      ]
    },
    {
      "word": "\u03c3_2",
      "steps": 1,
      "final_A": [
        2,
        5,
        1451886,
        2903776
      ],
      "final_M": 4355655,
      "node_ids": [
        1,
        3
      ]
    },
    {
      "word": "\u03c3_1\u207a",
      "steps": 1,
      "final_A": [
        1,
        6,
        1161510,
        4646037
      ],
      "final_M": 5807540,
      "node_ids": [
        1,
        4
      ]
    }
  ]
}