Download evaluation/behavior_analysis/transitions.json from davidwdw/b1k_model: direct link, hf CLI and curl.
- Browser
- Download file 109 kB
-
https://huggingface.co/davidwdw/b1k_model/resolve/main/evaluation/behavior_analysis/transitions.json
- Command line
-
hf download hf://davidwdw/b1k_model/evaluation/behavior_analysis/transitions.json
-
curl -L -o transitions.json https://huggingface.co/davidwdw/b1k_model/resolve/main/evaluation/behavior_analysis/transitions.json
109 kB
| { | |
| "human/301": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2520 | |
| } | |
| ], | |
| "human/302": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 400 | |
| } | |
| ], | |
| "human/303": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1100 | |
| } | |
| ], | |
| "human/304": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 860 | |
| } | |
| ], | |
| "human/305": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2340 | |
| } | |
| ], | |
| "human/306": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1640 | |
| } | |
| ], | |
| "human/307": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1000 | |
| } | |
| ], | |
| "human/308": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2060 | |
| } | |
| ], | |
| "human/309": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2040 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2480 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2500 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2660 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2680 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2880 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2900 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2940 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3000 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3020 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3120 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3140 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3180 | |
| } | |
| ], | |
| "human/310": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 940 | |
| } | |
| ], | |
| "human/311": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 820 | |
| } | |
| ], | |
| "human/312": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1260 | |
| } | |
| ], | |
| "human/313": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 980 | |
| } | |
| ], | |
| "human/314": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 1, | |
| "after": 0, | |
| "step": 380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 860 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2620 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2700 | |
| } | |
| ], | |
| "human/315": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 1, | |
| "after": 0, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1080 | |
| } | |
| ], | |
| "human/316": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2940 | |
| } | |
| ], | |
| "human/317": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3180 | |
| } | |
| ], | |
| "human/318": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1860 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2000 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2020 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2120 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2140 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2240 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2260 | |
| } | |
| ], | |
| "human/319": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 940 | |
| } | |
| ], | |
| "human/320": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 80 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 280 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 640 | |
| } | |
| ], | |
| "codegen_success/301": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 400 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 640 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 880 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 940 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1000 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1140 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1240 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1260 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1380 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1420 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1480 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1500 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1620 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1740 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1860 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1960 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2360 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2380 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2420 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2480 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2500 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2600 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2620 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2720 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2740 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2840 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2860 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2960 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2980 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3020 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3080 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3100 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3140 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3200 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3220 | |
| } | |
| ], | |
| "codegen_success/302": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1520 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2400 | |
| } | |
| ], | |
| "codegen_success/303": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 80 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1960 | |
| } | |
| ], | |
| "codegen_success/304": [], | |
| "codegen_success/305": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 1160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1380 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 1500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2520 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2620 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2860 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2980 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 3040 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3100 | |
| } | |
| ], | |
| "codegen_success/306": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 60 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 480 | |
| } | |
| ], | |
| "codegen_success/307": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 60 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 1, | |
| "after": 2, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2860 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 3160 | |
| } | |
| ], | |
| "codegen_success/308": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 880 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 940 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1060 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1280 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1340 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1400 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1480 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1940 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1960 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2020 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2080 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2160 | |
| } | |
| ], | |
| "codegen_success/309": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 1160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1460 | |
| } | |
| ], | |
| "codegen_success/310": [ | |
| { | |
| "kind": "Stage skipped", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 620 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 860 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 940 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1060 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1160 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1280 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1300 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1400 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1420 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1520 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1540 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1640 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1660 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1700 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1760 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1880 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1900 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1940 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2320 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3120 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3140 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3180 | |
| } | |
| ], | |
| "codegen_success/311": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 100 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 1, | |
| "after": 0, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 0, | |
| "after": 1, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 860 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 1000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2820 | |
| } | |
| ], | |
| "codegen_success/312": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1680 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1740 | |
| } | |
| ], | |
| "codegen_success/313": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1940 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 2240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2740 | |
| } | |
| ], | |
| "codegen_success/314": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1300 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1620 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1740 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1860 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1960 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1980 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2020 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2080 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2100 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2140 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2200 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2220 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2320 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2340 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2440 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2460 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2560 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2580 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2620 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2680 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2840 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2880 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2940 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3020 | |
| } | |
| ], | |
| "codegen_success/315": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 140 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2100 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 2320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2800 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3180 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3200 | |
| } | |
| ], | |
| "codegen_success/316": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 620 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 860 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 980 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1100 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1140 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1220 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1340 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1440 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1460 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1620 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1680 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1800 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1820 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1860 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1920 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1940 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2340 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2360 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2500 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2520 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2560 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2680 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2740 | |
| } | |
| ], | |
| "codegen_success/317": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 140 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 640 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 1340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1940 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2000 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 2820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2880 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2980 | |
| } | |
| ], | |
| "codegen_success/318": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 880 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 940 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1060 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1300 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1420 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1440 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1540 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1660 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1680 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1800 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1920 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2040 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2140 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2160 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2340 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2360 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2400 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2480 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2840 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2880 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3100 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3120 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3220 | |
| } | |
| ], | |
| "codegen_success/319": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 140 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 1, | |
| "after": 0, | |
| "step": 220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 280 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 400 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2180 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 2280 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2380 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 3020 | |
| } | |
| ], | |
| "codegen_success/320": [ | |
| { | |
| "kind": "Stage skipped", | |
| "before": 0, | |
| "after": 1, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 220 | |
| } | |
| ], | |
| "mix_h50_c50/301": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 280 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 640 | |
| } | |
| ], | |
| "mix_h50_c50/302": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1300 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1420 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1440 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1540 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1600 | |
| } | |
| ], | |
| "mix_h50_c50/303": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 80 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 980 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1100 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1220 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1240 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1280 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1340 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1400 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1480 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1700 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1820 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1880 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1940 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1960 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2060 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2080 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2180 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2200 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2300 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2320 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2480 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2560 | |
| } | |
| ], | |
| "mix_h50_c50/304": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 1, | |
| "after": 2, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 180 | |
| } | |
| ], | |
| "mix_h50_c50/305": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 400 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2400 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2640 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2920 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2980 | |
| } | |
| ], | |
| "mix_h50_c50/306": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 60 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 1, | |
| "after": 0, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 0, | |
| "after": 1, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 640 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 880 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 940 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1000 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1160 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1620 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1800 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2040 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2160 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2240 | |
| } | |
| ], | |
| "mix_h50_c50/307": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 80 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 1, | |
| "after": 2, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 440 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 620 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 860 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 940 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1060 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1180 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1300 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1420 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1440 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1540 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1600 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1660 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1680 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1800 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1920 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2040 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2140 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2300 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2320 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2420 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2440 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2480 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2540 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2560 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2600 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2660 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2680 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2780 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2800 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2920 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3040 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3100 | |
| } | |
| ], | |
| "mix_h50_c50/308": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 2080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2260 | |
| } | |
| ], | |
| "mix_h50_c50/309": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 840 | |
| } | |
| ], | |
| "mix_h50_c50/310": [ | |
| { | |
| "kind": "Stage skipped", | |
| "before": 0, | |
| "after": 1, | |
| "step": 120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1140 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1160 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1300 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1500 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1760 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2100 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2120 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2220 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2240 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2280 | |
| } | |
| ], | |
| "mix_h50_c50/311": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 280 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 620 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 760 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1120 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 1680 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2280 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 2340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2520 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 2660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 2720 | |
| } | |
| ], | |
| "mix_h50_c50/312": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 380 | |
| } | |
| ], | |
| "mix_h50_c50/313": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1260 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1420 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 2, | |
| "after": 1, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 1640 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2700 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2760 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2940 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 3000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3080 | |
| } | |
| ], | |
| "mix_h50_c50/314": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1140 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1160 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1260 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1280 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1380 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1400 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1440 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1500 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1520 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1620 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1640 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1680 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1740 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1760 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1800 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1860 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1880 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1920 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1980 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2000 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2160 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2180 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2280 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2300 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2400 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2420 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2520 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2540 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2640 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2660 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2700 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2760 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2780 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2880 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2900 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2940 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3000 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3020 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3120 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3140 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3180 | |
| } | |
| ], | |
| "mix_h50_c50/315": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 80 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 180 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 460 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 520 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1140 | |
| } | |
| ], | |
| "mix_h50_c50/316": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 560 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 580 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 620 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 680 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 800 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 860 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 920 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 940 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1040 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1060 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1620 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2620 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2640 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2680 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2740 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2760 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2800 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2860 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2880 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2960 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3020 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3040 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3080 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3140 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3160 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3200 | |
| } | |
| ], | |
| "mix_h50_c50/317": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 40 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 160 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2080 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2240 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2520 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 2600 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2660 | |
| } | |
| ], | |
| "mix_h50_c50/318": [ | |
| { | |
| "kind": "Stage skipped", | |
| "before": 0, | |
| "after": 1, | |
| "step": 240 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 1, | |
| "after": 2, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 420 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 620 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 840 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 860 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 960 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 980 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1020 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1080 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1100 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1140 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1200 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1220 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1260 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1320 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1340 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1380 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1440 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1460 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1560 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1580 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1620 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1680 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1700 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1800 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1820 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1860 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 1920 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 1940 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 1980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2040 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2060 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2100 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2160 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2180 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2220 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2280 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2300 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2340 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2400 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2420 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2460 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2520 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2540 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2580 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2640 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2660 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2700 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2760 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2780 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2820 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 2880 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 2900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 2980 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3060 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3080 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 3120 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 3180 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 3200 | |
| } | |
| ], | |
| "mix_h50_c50/319": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 200 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 300 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 360 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 480 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 500 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 540 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 600 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 620 | |
| }, | |
| { | |
| "kind": "Stage skipped", | |
| "before": 2, | |
| "after": 3, | |
| "step": 660 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 720 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 740 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 780 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 3, | |
| "after": 4, | |
| "step": 880 | |
| }, | |
| { | |
| "kind": "Stage corrected", | |
| "before": 4, | |
| "after": 2, | |
| "step": 900 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 940 | |
| } | |
| ], | |
| "mix_h50_c50/320": [ | |
| { | |
| "kind": "Stage advanced", | |
| "before": 0, | |
| "after": 1, | |
| "step": 60 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 1, | |
| "after": 2, | |
| "step": 140 | |
| }, | |
| { | |
| "kind": "Stage advanced", | |
| "before": 2, | |
| "after": 3, | |
| "step": 820 | |
| }, | |
| { | |
| "kind": "Stage went back", | |
| "before": 3, | |
| "after": 2, | |
| "step": 880 | |
| } | |
| ] | |
| } | |