allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/docs/diagrams/chiral_dag_3strand.json
allaun 3362d554d1 feat(braid/dag): land untracked research WIP + register 4 formal libs; ignore build artifacts 
- lakefile.lean: register SilverSight.{AngrySphinx,CollatzBraid,GoldenSpiral,GCCL}
- docs/research/: braid group action, iteration DAG/regime, Sidon
  preservation/creation, unified CRT-torus DAG notes
- docs/diagrams/: DAG + heatmap + 8-strand search JSON/dot outputs
- formal/CoreFormalism/StrandCapacityBound.lean: capacity bound (passes
  hardened anti-smuggle --ci)
- scripts/, python/: braid word solver, collapse/DAG search + tuning,
  heatmap gen, YB search/verification, wrapping verifier
- .gitignore: exclude rust/**/target and coq compiled artifacts
  (*.vo/*.vok/*.vos/*.glob/*.aux) that were polluting the tree

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-07-03 15:11:37 -05:00

2052 lines
No EOL
36 KiB
JSON
Raw Permalink Blame History

{
"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
]
}
]
}
Reference in a new issue View git blame Copy permalink