{
"step": "C480",
"normalization": {
"context_keys": [
"gear",
"Cainan",
"Terah60",
"full430"
],
"formula": "beta_role + 2*(gear-1) + 130*Cainan + 60*Terah60 + 215*full430",
"roles": [
{
"role": [
"LXX",
"Flood close",
null
],
"beta_role": 2890
},
{
"role": [
"LXX",
"Flood start",
null
],
"beta_role": 2891
},
{
"role": [
"LXX",
"Noah birth",
null
],
"beta_role": 3491
},
{
"role": [
"LXX",
"Noah death",
null
],
"beta_role": 2541
},
{
"role": [
"LXX",
"Shem birth",
null
],
"beta_role": 2991
},
{
"role": [
"LXX",
"Shem death",
null
],
"beta_role": 2391
},
{
"role": [
"MT",
"Flood close",
null
],
"beta_role": 2240
},
{
"role": [
"MT",
"Flood start",
null
],
"beta_role": 2241
},
{
"role": [
"MT",
"Noah birth",
null
],
"beta_role": 2841
},
{
"role": [
"MT",
"Noah death",
null
],
"beta_role": 1891
},
{
"role": [
"MT",
"Shem birth",
null
],
"beta_role": 2341
},
{
"role": [
"MT",
"Shem death",
null
],
"beta_role": 1741
},
{
"role": [
"SP",
"Flood close",
null
],
"beta_role": 2890
},
{
"role": [
"SP",
"Flood start",
null
],
"beta_role": 2891
},
{
"role": [
"SP",
"Noah birth",
"companion"
],
"beta_role": 3490
},
{
"role": [
"SP",
"Noah birth",
"primary"
],
"beta_role": 3491
},
{
"role": [
"SP",
"Noah death",
"companion"
],
"beta_role": 2540
},
{
"role": [
"SP",
"Noah death",
"primary"
],
"beta_role": 2541
},
{
"role": [
"SP",
"Shem birth",
"companion"
],
"beta_role": 2990
},
{
"role": [
"SP",
"Shem birth",
"primary"
],
"beta_role": 2991
},
{
"role": [
"SP",
"Shem death",
"companion"
],
"beta_role": 2390
},
{
"role": [
"SP",
"Shem death",
"primary"
],
"beta_role": 2391
}
],
"contexts": [
[
1,
0,
0,
0
],
[
1,
0,
0,
1
],
[
1,
0,
1,
0
],
[
1,
0,
1,
1
],
[
1,
1,
0,
0
],
[
1,
1,
0,
1
],
[
1,
1,
1,
0
],
[
1,
1,
1,
1
],
[
2,
0,
0,
0
],
[
2,
0,
0,
1
],
[
2,
0,
1,
0
],
[
2,
0,
1,
1
],
[
2,
1,
0,
0
],
[
2,
1,
0,
1
],
[
2,
1,
1,
0
],
[
2,
1,
1,
1
],
[
3,
0,
0,
0
],
[
3,
0,
0,
1
],
[
3,
0,
1,
0
],
[
3,
0,
1,
1
],
[
3,
1,
0,
0
],
[
3,
1,
0,
1
],
[
3,
1,
1,
0
],
[
3,
1,
1,
1
]
],
"LXX_qualification": "Cainan=1 native ON; Cainan=0 theoretical OFF; SP and MT Cainan=1 are declared insertions."
},
"template_summary": [
{
"family": "A",
"coordinate_pairs": 24,
"label_pairs": 48,
"source_equation_terms": [
500,
650
]
},
{
"family": "B",
"coordinate_pairs": 24,
"label_pairs": 48,
"source_equation_terms": [
500,
650
]
},
{
"family": "C",
"coordinate_pairs": 2,
"label_pairs": 4,
"source_equation_terms": [
350,
650,
215,
-60,
-4,
-1
]
},
{
"family": "D",
"coordinate_pairs": 1,
"label_pairs": 1,
"source_equation_terms": [
750,
130,
60,
215,
-4,
-1
]
}
],
"coordinate_pairs": [
{
"coordinates": [
1741,
2891
],
"source_indices": [
[
168
],
[
80,
128
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1743,
2893
],
"source_indices": [
[
264
],
[
64,
112
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1745,
2895
],
"source_indices": [
[
360
],
[
48,
96
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1801,
2951
],
"source_indices": [
[
170
],
[
82,
130
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1803,
2953
],
"source_indices": [
[
266
],
[
66,
114
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1805,
2955
],
"source_indices": [
[
362
],
[
50,
98
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1871,
3021
],
"source_indices": [
[
172
],
[
84,
132
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1873,
3023
],
"source_indices": [
[
268
],
[
68,
116
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1875,
3025
],
"source_indices": [
[
364
],
[
52,
100
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1931,
3081
],
"source_indices": [
[
174
],
[
86,
134
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1933,
3083
],
"source_indices": [
[
270
],
[
70,
118
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1935,
3085
],
"source_indices": [
[
366
],
[
54,
102
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1955,
3105
],
"source_indices": [
[
346
],
[
89,
137
]
],
"family": "C",
"label_pairs": 2
},
{
"coordinates": [
1956,
3106
],
"source_indices": [
[
169
],
[
81,
129
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1958,
3108
],
"source_indices": [
[
265
],
[
65,
113
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
1960,
3110
],
"source_indices": [
[
361
],
[
49,
97
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2016,
3166
],
"source_indices": [
[
171
],
[
83,
131
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2018,
3168
],
"source_indices": [
[
267
],
[
67,
115
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2020,
3170
],
"source_indices": [
[
363
],
[
51,
99
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2085,
3235
],
"source_indices": [
[
350
],
[
93,
141
]
],
"family": "C",
"label_pairs": 2
},
{
"coordinates": [
2086,
3236
],
"source_indices": [
[
173
],
[
85,
133
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2088,
3238
],
"source_indices": [
[
269
],
[
69,
117
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2090,
3240
],
"source_indices": [
[
365
],
[
53,
101
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2146,
3296
],
"source_indices": [
[
175
],
[
87,
135
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2148,
3298
],
"source_indices": [
[
271
],
[
71,
119
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2150,
3300
],
"source_indices": [
[
367
],
[
55,
103
]
],
"family": "A",
"label_pairs": 2
},
{
"coordinates": [
2245,
3395
],
"source_indices": [
[
0
],
[
223
]
],
"family": "D",
"label_pairs": 1
},
{
"coordinates": [
2341,
3491
],
"source_indices": [
[
160
],
[
176,
432
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2343,
3493
],
"source_indices": [
[
256
],
[
272,
464
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2345,
3495
],
"source_indices": [
[
352
],
[
368,
496
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2401,
3551
],
"source_indices": [
[
162
],
[
178,
434
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2403,
3553
],
"source_indices": [
[
258
],
[
274,
466
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2405,
3555
],
"source_indices": [
[
354
],
[
370,
498
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2471,
3621
],
"source_indices": [
[
164
],
[
180,
436
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2473,
3623
],
"source_indices": [
[
260
],
[
276,
468
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2475,
3625
],
"source_indices": [
[
356
],
[
372,
500
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2531,
3681
],
"source_indices": [
[
166
],
[
182,
438
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2533,
3683
],
"source_indices": [
[
262
],
[
278,
470
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2535,
3685
],
"source_indices": [
[
358
],
[
374,
502
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2556,
3706
],
"source_indices": [
[
161
],
[
177,
433
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2558,
3708
],
"source_indices": [
[
257
],
[
273,
465
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2560,
3710
],
"source_indices": [
[
353
],
[
369,
497
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2616,
3766
],
"source_indices": [
[
163
],
[
179,
435
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2618,
3768
],
"source_indices": [
[
259
],
[
275,
467
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2620,
3770
],
"source_indices": [
[
355
],
[
371,
499
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2686,
3836
],
"source_indices": [
[
165
],
[
181,
437
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2688,
3838
],
"source_indices": [
[
261
],
[
277,
469
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2690,
3840
],
"source_indices": [
[
357
],
[
373,
501
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2746,
3896
],
"source_indices": [
[
167
],
[
183,
439
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2748,
3898
],
"source_indices": [
[
263
],
[
279,
471
]
],
"family": "B",
"label_pairs": 2
},
{
"coordinates": [
2750,
3900
],
"source_indices": [
[
359
],
[
375,
503
]
],
"family": "B",
"label_pairs": 2
}
],
"label_pairs": [
{
"lower_record": 168,
"upper_record": 80,
"coordinates": [
1741,
2891
],
"family": "A",
"lower_context": [
1,
0,
0,
0
],
"upper_context": [
1,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 168,
"upper_record": 128,
"coordinates": [
1741,
2891
],
"family": "A",
"lower_context": [
1,
0,
0,
0
],
"upper_context": [
1,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 264,
"upper_record": 64,
"coordinates": [
1743,
2893
],
"family": "A",
"lower_context": [
2,
0,
0,
0
],
"upper_context": [
2,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 264,
"upper_record": 112,
"coordinates": [
1743,
2893
],
"family": "A",
"lower_context": [
2,
0,
0,
0
],
"upper_context": [
2,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 360,
"upper_record": 48,
"coordinates": [
1745,
2895
],
"family": "A",
"lower_context": [
3,
0,
0,
0
],
"upper_context": [
3,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 360,
"upper_record": 96,
"coordinates": [
1745,
2895
],
"family": "A",
"lower_context": [
3,
0,
0,
0
],
"upper_context": [
3,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 170,
"upper_record": 82,
"coordinates": [
1801,
2951
],
"family": "A",
"lower_context": [
1,
0,
1,
0
],
"upper_context": [
1,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 170,
"upper_record": 130,
"coordinates": [
1801,
2951
],
"family": "A",
"lower_context": [
1,
0,
1,
0
],
"upper_context": [
1,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 266,
"upper_record": 66,
"coordinates": [
1803,
2953
],
"family": "A",
"lower_context": [
2,
0,
1,
0
],
"upper_context": [
2,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 266,
"upper_record": 114,
"coordinates": [
1803,
2953
],
"family": "A",
"lower_context": [
2,
0,
1,
0
],
"upper_context": [
2,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 362,
"upper_record": 50,
"coordinates": [
1805,
2955
],
"family": "A",
"lower_context": [
3,
0,
1,
0
],
"upper_context": [
3,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 362,
"upper_record": 98,
"coordinates": [
1805,
2955
],
"family": "A",
"lower_context": [
3,
0,
1,
0
],
"upper_context": [
3,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 172,
"upper_record": 84,
"coordinates": [
1871,
3021
],
"family": "A",
"lower_context": [
1,
1,
0,
0
],
"upper_context": [
1,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 172,
"upper_record": 132,
"coordinates": [
1871,
3021
],
"family": "A",
"lower_context": [
1,
1,
0,
0
],
"upper_context": [
1,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 268,
"upper_record": 68,
"coordinates": [
1873,
3023
],
"family": "A",
"lower_context": [
2,
1,
0,
0
],
"upper_context": [
2,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 268,
"upper_record": 116,
"coordinates": [
1873,
3023
],
"family": "A",
"lower_context": [
2,
1,
0,
0
],
"upper_context": [
2,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 364,
"upper_record": 52,
"coordinates": [
1875,
3025
],
"family": "A",
"lower_context": [
3,
1,
0,
0
],
"upper_context": [
3,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 364,
"upper_record": 100,
"coordinates": [
1875,
3025
],
"family": "A",
"lower_context": [
3,
1,
0,
0
],
"upper_context": [
3,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 174,
"upper_record": 86,
"coordinates": [
1931,
3081
],
"family": "A",
"lower_context": [
1,
1,
1,
0
],
"upper_context": [
1,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 174,
"upper_record": 134,
"coordinates": [
1931,
3081
],
"family": "A",
"lower_context": [
1,
1,
1,
0
],
"upper_context": [
1,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 270,
"upper_record": 70,
"coordinates": [
1933,
3083
],
"family": "A",
"lower_context": [
2,
1,
1,
0
],
"upper_context": [
2,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 270,
"upper_record": 118,
"coordinates": [
1933,
3083
],
"family": "A",
"lower_context": [
2,
1,
1,
0
],
"upper_context": [
2,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 366,
"upper_record": 54,
"coordinates": [
1935,
3085
],
"family": "A",
"lower_context": [
3,
1,
1,
0
],
"upper_context": [
3,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 366,
"upper_record": 102,
"coordinates": [
1935,
3085
],
"family": "A",
"lower_context": [
3,
1,
1,
0
],
"upper_context": [
3,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 346,
"upper_record": 89,
"coordinates": [
1955,
3105
],
"family": "C",
"lower_context": [
3,
0,
1,
0
],
"upper_context": [
1,
0,
0,
1
],
"delta_context": [
-2,
0,
-1,
1
],
"lower_role": [
"MT",
"Noah death",
null
],
"upper_role": [
"LXX",
"Flood close",
null
]
},
{
"lower_record": 346,
"upper_record": 137,
"coordinates": [
1955,
3105
],
"family": "C",
"lower_context": [
3,
0,
1,
0
],
"upper_context": [
1,
0,
0,
1
],
"delta_context": [
-2,
0,
-1,
1
],
"lower_role": [
"MT",
"Noah death",
null
],
"upper_role": [
"SP",
"Flood close",
null
]
},
{
"lower_record": 169,
"upper_record": 81,
"coordinates": [
1956,
3106
],
"family": "A",
"lower_context": [
1,
0,
0,
1
],
"upper_context": [
1,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 169,
"upper_record": 129,
"coordinates": [
1956,
3106
],
"family": "A",
"lower_context": [
1,
0,
0,
1
],
"upper_context": [
1,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 265,
"upper_record": 65,
"coordinates": [
1958,
3108
],
"family": "A",
"lower_context": [
2,
0,
0,
1
],
"upper_context": [
2,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 265,
"upper_record": 113,
"coordinates": [
1958,
3108
],
"family": "A",
"lower_context": [
2,
0,
0,
1
],
"upper_context": [
2,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 361,
"upper_record": 49,
"coordinates": [
1960,
3110
],
"family": "A",
"lower_context": [
3,
0,
0,
1
],
"upper_context": [
3,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 361,
"upper_record": 97,
"coordinates": [
1960,
3110
],
"family": "A",
"lower_context": [
3,
0,
0,
1
],
"upper_context": [
3,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 171,
"upper_record": 83,
"coordinates": [
2016,
3166
],
"family": "A",
"lower_context": [
1,
0,
1,
1
],
"upper_context": [
1,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 171,
"upper_record": 131,
"coordinates": [
2016,
3166
],
"family": "A",
"lower_context": [
1,
0,
1,
1
],
"upper_context": [
1,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 267,
"upper_record": 67,
"coordinates": [
2018,
3168
],
"family": "A",
"lower_context": [
2,
0,
1,
1
],
"upper_context": [
2,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 267,
"upper_record": 115,
"coordinates": [
2018,
3168
],
"family": "A",
"lower_context": [
2,
0,
1,
1
],
"upper_context": [
2,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 363,
"upper_record": 51,
"coordinates": [
2020,
3170
],
"family": "A",
"lower_context": [
3,
0,
1,
1
],
"upper_context": [
3,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 363,
"upper_record": 99,
"coordinates": [
2020,
3170
],
"family": "A",
"lower_context": [
3,
0,
1,
1
],
"upper_context": [
3,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 350,
"upper_record": 93,
"coordinates": [
2085,
3235
],
"family": "C",
"lower_context": [
3,
1,
1,
0
],
"upper_context": [
1,
1,
0,
1
],
"delta_context": [
-2,
0,
-1,
1
],
"lower_role": [
"MT",
"Noah death",
null
],
"upper_role": [
"LXX",
"Flood close",
null
]
},
{
"lower_record": 350,
"upper_record": 141,
"coordinates": [
2085,
3235
],
"family": "C",
"lower_context": [
3,
1,
1,
0
],
"upper_context": [
1,
1,
0,
1
],
"delta_context": [
-2,
0,
-1,
1
],
"lower_role": [
"MT",
"Noah death",
null
],
"upper_role": [
"SP",
"Flood close",
null
]
},
{
"lower_record": 173,
"upper_record": 85,
"coordinates": [
2086,
3236
],
"family": "A",
"lower_context": [
1,
1,
0,
1
],
"upper_context": [
1,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 173,
"upper_record": 133,
"coordinates": [
2086,
3236
],
"family": "A",
"lower_context": [
1,
1,
0,
1
],
"upper_context": [
1,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 269,
"upper_record": 69,
"coordinates": [
2088,
3238
],
"family": "A",
"lower_context": [
2,
1,
0,
1
],
"upper_context": [
2,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 269,
"upper_record": 117,
"coordinates": [
2088,
3238
],
"family": "A",
"lower_context": [
2,
1,
0,
1
],
"upper_context": [
2,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 365,
"upper_record": 53,
"coordinates": [
2090,
3240
],
"family": "A",
"lower_context": [
3,
1,
0,
1
],
"upper_context": [
3,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 365,
"upper_record": 101,
"coordinates": [
2090,
3240
],
"family": "A",
"lower_context": [
3,
1,
0,
1
],
"upper_context": [
3,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 175,
"upper_record": 87,
"coordinates": [
2146,
3296
],
"family": "A",
"lower_context": [
1,
1,
1,
1
],
"upper_context": [
1,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 175,
"upper_record": 135,
"coordinates": [
2146,
3296
],
"family": "A",
"lower_context": [
1,
1,
1,
1
],
"upper_context": [
1,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 271,
"upper_record": 71,
"coordinates": [
2148,
3298
],
"family": "A",
"lower_context": [
2,
1,
1,
1
],
"upper_context": [
2,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 271,
"upper_record": 119,
"coordinates": [
2148,
3298
],
"family": "A",
"lower_context": [
2,
1,
1,
1
],
"upper_context": [
2,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 367,
"upper_record": 55,
"coordinates": [
2150,
3300
],
"family": "A",
"lower_context": [
3,
1,
1,
1
],
"upper_context": [
3,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
]
},
{
"lower_record": 367,
"upper_record": 103,
"coordinates": [
2150,
3300
],
"family": "A",
"lower_context": [
3,
1,
1,
1
],
"upper_context": [
3,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
]
},
{
"lower_record": 0,
"upper_record": 223,
"coordinates": [
2245,
3395
],
"family": "D",
"lower_context": [
3,
0,
0,
0
],
"upper_context": [
1,
1,
1,
1
],
"delta_context": [
-2,
1,
1,
1
],
"lower_role": [
"MT",
"Flood start",
null
],
"upper_role": [
"SP",
"Shem birth",
"companion"
]
},
{
"lower_record": 160,
"upper_record": 176,
"coordinates": [
2341,
3491
],
"family": "B",
"lower_context": [
1,
0,
0,
0
],
"upper_context": [
1,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 160,
"upper_record": 432,
"coordinates": [
2341,
3491
],
"family": "B",
"lower_context": [
1,
0,
0,
0
],
"upper_context": [
1,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 256,
"upper_record": 272,
"coordinates": [
2343,
3493
],
"family": "B",
"lower_context": [
2,
0,
0,
0
],
"upper_context": [
2,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 256,
"upper_record": 464,
"coordinates": [
2343,
3493
],
"family": "B",
"lower_context": [
2,
0,
0,
0
],
"upper_context": [
2,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 352,
"upper_record": 368,
"coordinates": [
2345,
3495
],
"family": "B",
"lower_context": [
3,
0,
0,
0
],
"upper_context": [
3,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 352,
"upper_record": 496,
"coordinates": [
2345,
3495
],
"family": "B",
"lower_context": [
3,
0,
0,
0
],
"upper_context": [
3,
0,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 162,
"upper_record": 178,
"coordinates": [
2401,
3551
],
"family": "B",
"lower_context": [
1,
0,
1,
0
],
"upper_context": [
1,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 162,
"upper_record": 434,
"coordinates": [
2401,
3551
],
"family": "B",
"lower_context": [
1,
0,
1,
0
],
"upper_context": [
1,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 258,
"upper_record": 274,
"coordinates": [
2403,
3553
],
"family": "B",
"lower_context": [
2,
0,
1,
0
],
"upper_context": [
2,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 258,
"upper_record": 466,
"coordinates": [
2403,
3553
],
"family": "B",
"lower_context": [
2,
0,
1,
0
],
"upper_context": [
2,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 354,
"upper_record": 370,
"coordinates": [
2405,
3555
],
"family": "B",
"lower_context": [
3,
0,
1,
0
],
"upper_context": [
3,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 354,
"upper_record": 498,
"coordinates": [
2405,
3555
],
"family": "B",
"lower_context": [
3,
0,
1,
0
],
"upper_context": [
3,
0,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 164,
"upper_record": 180,
"coordinates": [
2471,
3621
],
"family": "B",
"lower_context": [
1,
1,
0,
0
],
"upper_context": [
1,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 164,
"upper_record": 436,
"coordinates": [
2471,
3621
],
"family": "B",
"lower_context": [
1,
1,
0,
0
],
"upper_context": [
1,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 260,
"upper_record": 276,
"coordinates": [
2473,
3623
],
"family": "B",
"lower_context": [
2,
1,
0,
0
],
"upper_context": [
2,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 260,
"upper_record": 468,
"coordinates": [
2473,
3623
],
"family": "B",
"lower_context": [
2,
1,
0,
0
],
"upper_context": [
2,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 356,
"upper_record": 372,
"coordinates": [
2475,
3625
],
"family": "B",
"lower_context": [
3,
1,
0,
0
],
"upper_context": [
3,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 356,
"upper_record": 500,
"coordinates": [
2475,
3625
],
"family": "B",
"lower_context": [
3,
1,
0,
0
],
"upper_context": [
3,
1,
0,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 166,
"upper_record": 182,
"coordinates": [
2531,
3681
],
"family": "B",
"lower_context": [
1,
1,
1,
0
],
"upper_context": [
1,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 166,
"upper_record": 438,
"coordinates": [
2531,
3681
],
"family": "B",
"lower_context": [
1,
1,
1,
0
],
"upper_context": [
1,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 262,
"upper_record": 278,
"coordinates": [
2533,
3683
],
"family": "B",
"lower_context": [
2,
1,
1,
0
],
"upper_context": [
2,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 262,
"upper_record": 470,
"coordinates": [
2533,
3683
],
"family": "B",
"lower_context": [
2,
1,
1,
0
],
"upper_context": [
2,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 358,
"upper_record": 374,
"coordinates": [
2535,
3685
],
"family": "B",
"lower_context": [
3,
1,
1,
0
],
"upper_context": [
3,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 358,
"upper_record": 502,
"coordinates": [
2535,
3685
],
"family": "B",
"lower_context": [
3,
1,
1,
0
],
"upper_context": [
3,
1,
1,
0
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 161,
"upper_record": 177,
"coordinates": [
2556,
3706
],
"family": "B",
"lower_context": [
1,
0,
0,
1
],
"upper_context": [
1,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 161,
"upper_record": 433,
"coordinates": [
2556,
3706
],
"family": "B",
"lower_context": [
1,
0,
0,
1
],
"upper_context": [
1,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 257,
"upper_record": 273,
"coordinates": [
2558,
3708
],
"family": "B",
"lower_context": [
2,
0,
0,
1
],
"upper_context": [
2,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 257,
"upper_record": 465,
"coordinates": [
2558,
3708
],
"family": "B",
"lower_context": [
2,
0,
0,
1
],
"upper_context": [
2,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 353,
"upper_record": 369,
"coordinates": [
2560,
3710
],
"family": "B",
"lower_context": [
3,
0,
0,
1
],
"upper_context": [
3,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 353,
"upper_record": 497,
"coordinates": [
2560,
3710
],
"family": "B",
"lower_context": [
3,
0,
0,
1
],
"upper_context": [
3,
0,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 163,
"upper_record": 179,
"coordinates": [
2616,
3766
],
"family": "B",
"lower_context": [
1,
0,
1,
1
],
"upper_context": [
1,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 163,
"upper_record": 435,
"coordinates": [
2616,
3766
],
"family": "B",
"lower_context": [
1,
0,
1,
1
],
"upper_context": [
1,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 259,
"upper_record": 275,
"coordinates": [
2618,
3768
],
"family": "B",
"lower_context": [
2,
0,
1,
1
],
"upper_context": [
2,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 259,
"upper_record": 467,
"coordinates": [
2618,
3768
],
"family": "B",
"lower_context": [
2,
0,
1,
1
],
"upper_context": [
2,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 355,
"upper_record": 371,
"coordinates": [
2620,
3770
],
"family": "B",
"lower_context": [
3,
0,
1,
1
],
"upper_context": [
3,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 355,
"upper_record": 499,
"coordinates": [
2620,
3770
],
"family": "B",
"lower_context": [
3,
0,
1,
1
],
"upper_context": [
3,
0,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 165,
"upper_record": 181,
"coordinates": [
2686,
3836
],
"family": "B",
"lower_context": [
1,
1,
0,
1
],
"upper_context": [
1,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 165,
"upper_record": 437,
"coordinates": [
2686,
3836
],
"family": "B",
"lower_context": [
1,
1,
0,
1
],
"upper_context": [
1,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 261,
"upper_record": 277,
"coordinates": [
2688,
3838
],
"family": "B",
"lower_context": [
2,
1,
0,
1
],
"upper_context": [
2,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 261,
"upper_record": 469,
"coordinates": [
2688,
3838
],
"family": "B",
"lower_context": [
2,
1,
0,
1
],
"upper_context": [
2,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 357,
"upper_record": 373,
"coordinates": [
2690,
3840
],
"family": "B",
"lower_context": [
3,
1,
0,
1
],
"upper_context": [
3,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 357,
"upper_record": 501,
"coordinates": [
2690,
3840
],
"family": "B",
"lower_context": [
3,
1,
0,
1
],
"upper_context": [
3,
1,
0,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 167,
"upper_record": 183,
"coordinates": [
2746,
3896
],
"family": "B",
"lower_context": [
1,
1,
1,
1
],
"upper_context": [
1,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 167,
"upper_record": 439,
"coordinates": [
2746,
3896
],
"family": "B",
"lower_context": [
1,
1,
1,
1
],
"upper_context": [
1,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 263,
"upper_record": 279,
"coordinates": [
2748,
3898
],
"family": "B",
"lower_context": [
2,
1,
1,
1
],
"upper_context": [
2,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 263,
"upper_record": 471,
"coordinates": [
2748,
3898
],
"family": "B",
"lower_context": [
2,
1,
1,
1
],
"upper_context": [
2,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
},
{
"lower_record": 359,
"upper_record": 375,
"coordinates": [
2750,
3900
],
"family": "B",
"lower_context": [
3,
1,
1,
1
],
"upper_context": [
3,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
]
},
{
"lower_record": 359,
"upper_record": 503,
"coordinates": [
2750,
3900
],
"family": "B",
"lower_context": [
3,
1,
1,
1
],
"upper_context": [
3,
1,
1,
1
],
"delta_context": [
0,
0,
0,
0
],
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
]
}
],
"signature_solutions": [
{
"lower_role": [
"MT",
"Flood start",
null
],
"upper_role": [
"SP",
"Shem birth",
"companion"
],
"baseline_gap": 749,
"delta_context": [
-2,
1,
1,
1
],
"label_pairs": [
[
0,
223
]
],
"label_count": 1
},
{
"lower_role": [
"MT",
"Noah death",
null
],
"upper_role": [
"LXX",
"Flood close",
null
],
"baseline_gap": 999,
"delta_context": [
-2,
0,
-1,
1
],
"label_pairs": [
[
346,
89
],
[
350,
93
]
],
"label_count": 2
},
{
"lower_role": [
"MT",
"Noah death",
null
],
"upper_role": [
"SP",
"Flood close",
null
],
"baseline_gap": 999,
"delta_context": [
-2,
0,
-1,
1
],
"label_pairs": [
[
346,
137
],
[
350,
141
]
],
"label_count": 2
},
{
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"LXX",
"Noah birth",
null
],
"baseline_gap": 1150,
"delta_context": [
0,
0,
0,
0
],
"label_pairs": [
[
160,
432
],
[
161,
433
],
[
162,
434
],
[
163,
435
],
[
164,
436
],
[
165,
437
],
[
166,
438
],
[
167,
439
],
[
256,
464
],
[
257,
465
],
[
258,
466
],
[
259,
467
],
[
260,
468
],
[
261,
469
],
[
262,
470
],
[
263,
471
],
[
352,
496
],
[
353,
497
],
[
354,
498
],
[
355,
499
],
[
356,
500
],
[
357,
501
],
[
358,
502
],
[
359,
503
]
],
"label_count": 24
},
{
"lower_role": [
"MT",
"Shem birth",
null
],
"upper_role": [
"SP",
"Noah birth",
"primary"
],
"baseline_gap": 1150,
"delta_context": [
0,
0,
0,
0
],
"label_pairs": [
[
160,
176
],
[
161,
177
],
[
162,
178
],
[
163,
179
],
[
164,
180
],
[
165,
181
],
[
166,
182
],
[
167,
183
],
[
256,
272
],
[
257,
273
],
[
258,
274
],
[
259,
275
],
[
260,
276
],
[
261,
277
],
[
262,
278
],
[
263,
279
],
[
352,
368
],
[
353,
369
],
[
354,
370
],
[
355,
371
],
[
356,
372
],
[
357,
373
],
[
358,
374
],
[
359,
375
]
],
"label_count": 24
},
{
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"LXX",
"Flood start",
null
],
"baseline_gap": 1150,
"delta_context": [
0,
0,
0,
0
],
"label_pairs": [
[
168,
80
],
[
169,
81
],
[
170,
82
],
[
171,
83
],
[
172,
84
],
[
173,
85
],
[
174,
86
],
[
175,
87
],
[
264,
64
],
[
265,
65
],
[
266,
66
],
[
267,
67
],
[
268,
68
],
[
269,
69
],
[
270,
70
],
[
271,
71
],
[
360,
48
],
[
361,
49
],
[
362,
50
],
[
363,
51
],
[
364,
52
],
[
365,
53
],
[
366,
54
],
[
367,
55
]
],
"label_count": 24
},
{
"lower_role": [
"MT",
"Shem death",
null
],
"upper_role": [
"SP",
"Flood start",
null
],
"baseline_gap": 1150,
"delta_context": [
0,
0,
0,
0
],
"label_pairs": [
[
168,
128
],
[
169,
129
],
[
170,
130
],
[
171,
131
],
[
172,
132
],
[
173,
133
],
[
174,
134
],
[
175,
135
],
[
264,
112
],
[
265,
113
],
[
266,
114
],
[
267,
115
],
[
268,
116
],
[
269,
117
],
[
270,
118
],
[
271,
119
],
[
360,
96
],
[
361,
97
],
[
362,
98
],
[
363,
99
],
[
364,
100
],
[
365,
101
],
[
366,
102
],
[
367,
103
]
],
"label_count": 24
}
],
"alias_groups": [
{
"coordinates": [
1741,
2891
],
"family": "A",
"record_pairs": [
[
168,
80
],
[
168,
128
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1743,
2893
],
"family": "A",
"record_pairs": [
[
264,
64
],
[
264,
112
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1745,
2895
],
"family": "A",
"record_pairs": [
[
360,
48
],
[
360,
96
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1801,
2951
],
"family": "A",
"record_pairs": [
[
170,
82
],
[
170,
130
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1803,
2953
],
"family": "A",
"record_pairs": [
[
266,
66
],
[
266,
114
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1805,
2955
],
"family": "A",
"record_pairs": [
[
362,
50
],
[
362,
98
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1871,
3021
],
"family": "A",
"record_pairs": [
[
172,
84
],
[
172,
132
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
1873,
3023
],
"family": "A",
"record_pairs": [
[
268,
68
],
[
268,
116
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
1875,
3025
],
"family": "A",
"record_pairs": [
[
364,
52
],
[
364,
100
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
1931,
3081
],
"family": "A",
"record_pairs": [
[
174,
86
],
[
174,
134
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
1933,
3083
],
"family": "A",
"record_pairs": [
[
270,
70
],
[
270,
118
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
1935,
3085
],
"family": "A",
"record_pairs": [
[
366,
54
],
[
366,
102
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
1955,
3105
],
"family": "C",
"record_pairs": [
[
346,
89
],
[
346,
137
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1956,
3106
],
"family": "A",
"record_pairs": [
[
169,
81
],
[
169,
129
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1958,
3108
],
"family": "A",
"record_pairs": [
[
265,
65
],
[
265,
113
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
1960,
3110
],
"family": "A",
"record_pairs": [
[
361,
49
],
[
361,
97
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2016,
3166
],
"family": "A",
"record_pairs": [
[
171,
83
],
[
171,
131
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2018,
3168
],
"family": "A",
"record_pairs": [
[
267,
67
],
[
267,
115
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2020,
3170
],
"family": "A",
"record_pairs": [
[
363,
51
],
[
363,
99
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2085,
3235
],
"family": "C",
"record_pairs": [
[
350,
93
],
[
350,
141
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2086,
3236
],
"family": "A",
"record_pairs": [
[
173,
85
],
[
173,
133
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2088,
3238
],
"family": "A",
"record_pairs": [
[
269,
69
],
[
269,
117
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2090,
3240
],
"family": "A",
"record_pairs": [
[
365,
53
],
[
365,
101
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2146,
3296
],
"family": "A",
"record_pairs": [
[
175,
87
],
[
175,
135
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2148,
3298
],
"family": "A",
"record_pairs": [
[
271,
71
],
[
271,
119
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2150,
3300
],
"family": "A",
"record_pairs": [
[
367,
55
],
[
367,
103
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2341,
3491
],
"family": "B",
"record_pairs": [
[
160,
176
],
[
160,
432
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2343,
3493
],
"family": "B",
"record_pairs": [
[
256,
272
],
[
256,
464
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2345,
3495
],
"family": "B",
"record_pairs": [
[
352,
368
],
[
352,
496
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2401,
3551
],
"family": "B",
"record_pairs": [
[
162,
178
],
[
162,
434
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2403,
3553
],
"family": "B",
"record_pairs": [
[
258,
274
],
[
258,
466
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2405,
3555
],
"family": "B",
"record_pairs": [
[
354,
370
],
[
354,
498
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2471,
3621
],
"family": "B",
"record_pairs": [
[
164,
180
],
[
164,
436
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2473,
3623
],
"family": "B",
"record_pairs": [
[
260,
276
],
[
260,
468
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2475,
3625
],
"family": "B",
"record_pairs": [
[
356,
372
],
[
356,
500
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2531,
3681
],
"family": "B",
"record_pairs": [
[
166,
182
],
[
166,
438
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2533,
3683
],
"family": "B",
"record_pairs": [
[
262,
278
],
[
262,
470
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2535,
3685
],
"family": "B",
"record_pairs": [
[
358,
374
],
[
358,
502
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2556,
3706
],
"family": "B",
"record_pairs": [
[
161,
177
],
[
161,
433
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2558,
3708
],
"family": "B",
"record_pairs": [
[
257,
273
],
[
257,
465
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2560,
3710
],
"family": "B",
"record_pairs": [
[
353,
369
],
[
353,
497
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2616,
3766
],
"family": "B",
"record_pairs": [
[
163,
179
],
[
163,
435
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2618,
3768
],
"family": "B",
"record_pairs": [
[
259,
275
],
[
259,
467
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2620,
3770
],
"family": "B",
"record_pairs": [
[
355,
371
],
[
355,
499
]
],
"Cainan": 0,
"LXX_state": "theoretical OFF"
},
{
"coordinates": [
2686,
3836
],
"family": "B",
"record_pairs": [
[
165,
181
],
[
165,
437
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2688,
3838
],
"family": "B",
"record_pairs": [
[
261,
277
],
[
261,
469
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2690,
3840
],
"family": "B",
"record_pairs": [
[
357,
373
],
[
357,
501
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2746,
3896
],
"family": "B",
"record_pairs": [
[
167,
183
],
[
167,
439
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2748,
3898
],
"family": "B",
"record_pairs": [
[
263,
279
],
[
263,
471
]
],
"Cainan": 1,
"LXX_state": "native ON"
},
{
"coordinates": [
2750,
3900
],
"family": "B",
"record_pairs": [
[
359,
375
],
[
359,
503
]
],
"Cainan": 1,
"LXX_state": "native ON"
}
],
"fixed_pivots": [
{
"coordinate": 2756,
"residue_mod23": 19,
"source_indices": [
193,
441
]
},
{
"coordinate": 2758,
"residue_mod23": 21,
"source_indices": [
289,
473
]
},
{
"coordinate": 2816,
"residue_mod23": 10,
"source_indices": [
195,
443
]
},
{
"coordinate": 2818,
"residue_mod23": 12,
"source_indices": [
291,
475
]
},
{
"coordinate": 3620,
"residue_mod23": 9,
"source_indices": [
188
]
},
{
"coordinate": 3622,
"residue_mod23": 11,
"source_indices": [
284
]
},
{
"coordinate": 3680,
"residue_mod23": 0,
"source_indices": [
190
]
},
{
"coordinate": 3682,
"residue_mod23": 2,
"source_indices": [
286
]
}
],
"all_trials": [
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 2756,
"outputs": [
"38013/23",
"66763/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 2758,
"outputs": [
"38009/23",
"66759/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 2816,
"outputs": [
"37893/23",
"66643/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 2818,
"outputs": [
"37889/23",
"66639/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 3620,
"outputs": [
"36285/23",
"65035/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 3622,
"outputs": [
"36281/23",
"65031/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 3680,
"outputs": [
"36165/23",
"64915/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1741,
2891
],
"pivot": 3682,
"outputs": [
"36161/23",
"64911/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 2756,
"outputs": [
"38063/23",
"66813/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 2758,
"outputs": [
"38059/23",
"66809/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 2816,
"outputs": [
"37943/23",
"66693/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 2818,
"outputs": [
"37939/23",
"66689/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 3620,
"outputs": [
"36335/23",
"65085/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 3622,
"outputs": [
"36331/23",
"65081/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 3680,
"outputs": [
"36215/23",
"64965/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1743,
2893
],
"pivot": 3682,
"outputs": [
"36211/23",
"64961/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 2756,
"outputs": [
"38113/23",
"66863/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 2758,
"outputs": [
"38109/23",
"66859/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 2816,
"outputs": [
"37993/23",
"66743/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 2818,
"outputs": [
"37989/23",
"66739/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 3620,
"outputs": [
"36385/23",
"65135/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 3622,
"outputs": [
"36381/23",
"65131/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 3680,
"outputs": [
"36265/23",
"65015/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1745,
2895
],
"pivot": 3682,
"outputs": [
"36261/23",
"65011/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 2756,
"outputs": [
"39513/23",
"68263/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 2758,
"outputs": [
"39509/23",
"68259/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 2816,
"outputs": [
"39393/23",
"68143/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 2818,
"outputs": [
"39389/23",
"68139/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 3620,
"outputs": [
"37785/23",
"66535/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 3622,
"outputs": [
"37781/23",
"66531/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 3680,
"outputs": [
"37665/23",
"66415/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1801,
2951
],
"pivot": 3682,
"outputs": [
"37661/23",
"66411/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 2756,
"outputs": [
"39563/23",
"68313/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 2758,
"outputs": [
"39559/23",
"68309/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 2816,
"outputs": [
"39443/23",
"68193/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 2818,
"outputs": [
"39439/23",
"68189/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 3620,
"outputs": [
"1645",
"2895"
],
"integer_outputs": true,
"output_source_membership": [
false,
true
],
"status": "upper_only"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 3622,
"outputs": [
"37831/23",
"66581/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 3680,
"outputs": [
"37715/23",
"66465/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 3682,
"outputs": [
"37711/23",
"66461/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 2756,
"outputs": [
"39613/23",
"68363/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 2758,
"outputs": [
"39609/23",
"68359/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 2816,
"outputs": [
"39493/23",
"68243/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 2818,
"outputs": [
"39489/23",
"68239/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 3620,
"outputs": [
"37885/23",
"66635/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 3622,
"outputs": [
"1647",
"2897"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 3680,
"outputs": [
"37765/23",
"66515/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 3682,
"outputs": [
"37761/23",
"66511/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 2756,
"outputs": [
"41263/23",
"70013/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 2758,
"outputs": [
"41259/23",
"70009/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 2816,
"outputs": [
"41143/23",
"69893/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 2818,
"outputs": [
"41139/23",
"69889/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 3620,
"outputs": [
"39535/23",
"68285/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 3622,
"outputs": [
"39531/23",
"68281/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 3680,
"outputs": [
"39415/23",
"68165/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1871,
3021
],
"pivot": 3682,
"outputs": [
"39411/23",
"68161/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 2756,
"outputs": [
"41313/23",
"70063/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 2758,
"outputs": [
"41309/23",
"70059/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 2816,
"outputs": [
"1791",
"3041"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 2818,
"outputs": [
"41189/23",
"69939/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 3620,
"outputs": [
"39585/23",
"68335/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 3622,
"outputs": [
"39581/23",
"68331/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 3680,
"outputs": [
"39465/23",
"68215/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 3682,
"outputs": [
"39461/23",
"68211/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 2756,
"outputs": [
"41363/23",
"70113/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 2758,
"outputs": [
"41359/23",
"70109/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 2816,
"outputs": [
"41243/23",
"69993/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 2818,
"outputs": [
"1793",
"3043"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 3620,
"outputs": [
"39635/23",
"68385/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 3622,
"outputs": [
"39631/23",
"68381/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 3680,
"outputs": [
"39515/23",
"68265/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 3682,
"outputs": [
"39511/23",
"68261/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 2756,
"outputs": [
"42763/23",
"71513/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 2758,
"outputs": [
"42759/23",
"71509/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 2816,
"outputs": [
"42643/23",
"71393/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 2818,
"outputs": [
"42639/23",
"71389/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 3620,
"outputs": [
"41035/23",
"69785/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 3622,
"outputs": [
"41031/23",
"69781/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 3680,
"outputs": [
"40915/23",
"69665/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1931,
3081
],
"pivot": 3682,
"outputs": [
"40911/23",
"69661/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 2756,
"outputs": [
"42813/23",
"71563/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 2758,
"outputs": [
"42809/23",
"71559/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 2816,
"outputs": [
"42693/23",
"71443/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 2818,
"outputs": [
"42689/23",
"71439/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 3620,
"outputs": [
"41085/23",
"69835/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 3622,
"outputs": [
"41081/23",
"69831/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 3680,
"outputs": [
"40965/23",
"69715/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1933,
3083
],
"pivot": 3682,
"outputs": [
"40961/23",
"69711/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 2756,
"outputs": [
"42863/23",
"71613/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 2758,
"outputs": [
"42859/23",
"71609/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 2816,
"outputs": [
"42743/23",
"71493/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 2818,
"outputs": [
"42739/23",
"71489/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 3620,
"outputs": [
"41135/23",
"69885/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 3622,
"outputs": [
"41131/23",
"69881/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 3680,
"outputs": [
"41015/23",
"69765/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1935,
3085
],
"pivot": 3682,
"outputs": [
"41011/23",
"69761/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 2756,
"outputs": [
"43363/23",
"72113/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 2758,
"outputs": [
"43359/23",
"72109/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 2816,
"outputs": [
"43243/23",
"71993/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 2818,
"outputs": [
"43239/23",
"71989/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 3620,
"outputs": [
"41635/23",
"70385/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 3622,
"outputs": [
"41631/23",
"70381/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 3680,
"outputs": [
"1805",
"3055"
],
"integer_outputs": true,
"output_source_membership": [
true,
true
],
"status": "both"
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 3682,
"outputs": [
"41511/23",
"70261/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 2756,
"outputs": [
"43388/23",
"72138/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 2758,
"outputs": [
"43384/23",
"72134/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 2816,
"outputs": [
"43268/23",
"72018/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 2818,
"outputs": [
"43264/23",
"72014/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 3620,
"outputs": [
"41660/23",
"70410/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 3622,
"outputs": [
"41656/23",
"70406/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 3680,
"outputs": [
"41540/23",
"70290/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1956,
3106
],
"pivot": 3682,
"outputs": [
"41536/23",
"70286/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 2756,
"outputs": [
"43438/23",
"72188/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 2758,
"outputs": [
"43434/23",
"72184/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 2816,
"outputs": [
"43318/23",
"72068/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 2818,
"outputs": [
"43314/23",
"72064/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 3620,
"outputs": [
"41710/23",
"70460/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 3622,
"outputs": [
"41706/23",
"70456/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 3680,
"outputs": [
"41590/23",
"70340/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1958,
3108
],
"pivot": 3682,
"outputs": [
"41586/23",
"70336/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 2756,
"outputs": [
"43488/23",
"72238/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 2758,
"outputs": [
"43484/23",
"72234/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 2816,
"outputs": [
"43368/23",
"72118/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 2818,
"outputs": [
"43364/23",
"72114/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 3620,
"outputs": [
"41760/23",
"70510/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 3622,
"outputs": [
"41756/23",
"70506/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 3680,
"outputs": [
"41640/23",
"70390/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
1960,
3110
],
"pivot": 3682,
"outputs": [
"41636/23",
"70386/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 2756,
"outputs": [
"44888/23",
"73638/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 2758,
"outputs": [
"44884/23",
"73634/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 2816,
"outputs": [
"44768/23",
"73518/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 2818,
"outputs": [
"44764/23",
"73514/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 3620,
"outputs": [
"43160/23",
"71910/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 3622,
"outputs": [
"43156/23",
"71906/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 3680,
"outputs": [
"43040/23",
"71790/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2016,
3166
],
"pivot": 3682,
"outputs": [
"43036/23",
"71786/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 2756,
"outputs": [
"44938/23",
"73688/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 2758,
"outputs": [
"44934/23",
"73684/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 2816,
"outputs": [
"44818/23",
"73568/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 2818,
"outputs": [
"44814/23",
"73564/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 3620,
"outputs": [
"43210/23",
"71960/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 3622,
"outputs": [
"43206/23",
"71956/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 3680,
"outputs": [
"43090/23",
"71840/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2018,
3168
],
"pivot": 3682,
"outputs": [
"43086/23",
"71836/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 2756,
"outputs": [
"1956",
"3206"
],
"integer_outputs": true,
"output_source_membership": [
true,
true
],
"status": "both"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 2758,
"outputs": [
"44984/23",
"73734/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 2816,
"outputs": [
"44868/23",
"73618/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 2818,
"outputs": [
"44864/23",
"73614/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 3620,
"outputs": [
"43260/23",
"72010/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 3622,
"outputs": [
"43256/23",
"72006/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 3680,
"outputs": [
"43140/23",
"71890/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 3682,
"outputs": [
"43136/23",
"71886/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 2756,
"outputs": [
"46613/23",
"75363/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 2758,
"outputs": [
"46609/23",
"75359/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 2816,
"outputs": [
"46493/23",
"75243/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 2818,
"outputs": [
"46489/23",
"75239/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 3620,
"outputs": [
"44885/23",
"73635/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 3622,
"outputs": [
"44881/23",
"73631/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 3680,
"outputs": [
"44765/23",
"73515/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "C",
"input_pair": [
2085,
3235
],
"pivot": 3682,
"outputs": [
"44761/23",
"73511/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 2756,
"outputs": [
"46638/23",
"75388/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 2758,
"outputs": [
"46634/23",
"75384/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 2816,
"outputs": [
"46518/23",
"75268/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 2818,
"outputs": [
"46514/23",
"75264/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 3620,
"outputs": [
"44910/23",
"73660/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 3622,
"outputs": [
"44906/23",
"73656/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 3680,
"outputs": [
"44790/23",
"73540/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2086,
3236
],
"pivot": 3682,
"outputs": [
"44786/23",
"73536/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 2756,
"outputs": [
"46688/23",
"75438/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 2758,
"outputs": [
"46684/23",
"75434/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 2816,
"outputs": [
"46568/23",
"75318/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 2818,
"outputs": [
"46564/23",
"75314/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 3620,
"outputs": [
"44960/23",
"73710/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 3622,
"outputs": [
"44956/23",
"73706/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 3680,
"outputs": [
"44840/23",
"73590/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2088,
3238
],
"pivot": 3682,
"outputs": [
"44836/23",
"73586/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 2756,
"outputs": [
"46738/23",
"75488/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 2758,
"outputs": [
"46734/23",
"75484/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 2816,
"outputs": [
"46618/23",
"75368/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 2818,
"outputs": [
"46614/23",
"75364/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 3620,
"outputs": [
"45010/23",
"73760/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 3622,
"outputs": [
"45006/23",
"73756/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 3680,
"outputs": [
"44890/23",
"73640/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2090,
3240
],
"pivot": 3682,
"outputs": [
"44886/23",
"73636/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 2756,
"outputs": [
"48138/23",
"76888/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 2758,
"outputs": [
"48134/23",
"76884/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 2816,
"outputs": [
"48018/23",
"76768/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 2818,
"outputs": [
"48014/23",
"76764/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 3620,
"outputs": [
"46410/23",
"75160/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 3622,
"outputs": [
"46406/23",
"75156/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 3680,
"outputs": [
"46290/23",
"75040/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2146,
3296
],
"pivot": 3682,
"outputs": [
"46286/23",
"75036/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 2756,
"outputs": [
"48188/23",
"76938/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 2758,
"outputs": [
"48184/23",
"76934/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 2816,
"outputs": [
"48068/23",
"76818/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 2818,
"outputs": [
"48064/23",
"76814/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 3620,
"outputs": [
"2020",
"3270"
],
"integer_outputs": true,
"output_source_membership": [
true,
true
],
"status": "both"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 3622,
"outputs": [
"46456/23",
"75206/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 3680,
"outputs": [
"46340/23",
"75090/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 3682,
"outputs": [
"46336/23",
"75086/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 2756,
"outputs": [
"48238/23",
"76988/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 2758,
"outputs": [
"48234/23",
"76984/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 2816,
"outputs": [
"48118/23",
"76868/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 2818,
"outputs": [
"48114/23",
"76864/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 3620,
"outputs": [
"46510/23",
"75260/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 3622,
"outputs": [
"2022",
"3272"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 3680,
"outputs": [
"46390/23",
"75140/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 3682,
"outputs": [
"46386/23",
"75136/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 2756,
"outputs": [
"50613/23",
"79363/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 2758,
"outputs": [
"50609/23",
"79359/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 2816,
"outputs": [
"50493/23",
"79243/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 2818,
"outputs": [
"50489/23",
"79239/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 3620,
"outputs": [
"48885/23",
"77635/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 3622,
"outputs": [
"48881/23",
"77631/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 3680,
"outputs": [
"48765/23",
"77515/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "D",
"input_pair": [
2245,
3395
],
"pivot": 3682,
"outputs": [
"48761/23",
"77511/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 2756,
"outputs": [
"53013/23",
"81763/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 2758,
"outputs": [
"53009/23",
"81759/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 2816,
"outputs": [
"52893/23",
"81643/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 2818,
"outputs": [
"52889/23",
"81639/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 3620,
"outputs": [
"51285/23",
"80035/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 3622,
"outputs": [
"51281/23",
"80031/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 3680,
"outputs": [
"51165/23",
"79915/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2341,
3491
],
"pivot": 3682,
"outputs": [
"51161/23",
"79911/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 2756,
"outputs": [
"53063/23",
"81813/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 2758,
"outputs": [
"53059/23",
"81809/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 2816,
"outputs": [
"52943/23",
"81693/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 2818,
"outputs": [
"52939/23",
"81689/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 3620,
"outputs": [
"51335/23",
"80085/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 3622,
"outputs": [
"51331/23",
"80081/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 3680,
"outputs": [
"51215/23",
"79965/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2343,
3493
],
"pivot": 3682,
"outputs": [
"51211/23",
"79961/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 2756,
"outputs": [
"53113/23",
"81863/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 2758,
"outputs": [
"53109/23",
"81859/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 2816,
"outputs": [
"52993/23",
"81743/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 2818,
"outputs": [
"52989/23",
"81739/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 3620,
"outputs": [
"51385/23",
"80135/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 3622,
"outputs": [
"51381/23",
"80131/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 3680,
"outputs": [
"51265/23",
"80015/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2345,
3495
],
"pivot": 3682,
"outputs": [
"51261/23",
"80011/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 2756,
"outputs": [
"54513/23",
"83263/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 2758,
"outputs": [
"54509/23",
"83259/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 2816,
"outputs": [
"54393/23",
"83143/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 2818,
"outputs": [
"54389/23",
"83139/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 3620,
"outputs": [
"2295",
"3545"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 3622,
"outputs": [
"52781/23",
"81531/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 3680,
"outputs": [
"52665/23",
"81415/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 3682,
"outputs": [
"52661/23",
"81411/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 2756,
"outputs": [
"54563/23",
"83313/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 2758,
"outputs": [
"54559/23",
"83309/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 2816,
"outputs": [
"54443/23",
"83193/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 2818,
"outputs": [
"54439/23",
"83189/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 3620,
"outputs": [
"52835/23",
"81585/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 3622,
"outputs": [
"2297",
"3547"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 3680,
"outputs": [
"52715/23",
"81465/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 3682,
"outputs": [
"52711/23",
"81461/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 2756,
"outputs": [
"54613/23",
"83363/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 2758,
"outputs": [
"54609/23",
"83359/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 2816,
"outputs": [
"54493/23",
"83243/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 2818,
"outputs": [
"54489/23",
"83239/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 3620,
"outputs": [
"52885/23",
"81635/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 3622,
"outputs": [
"52881/23",
"81631/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 3680,
"outputs": [
"52765/23",
"81515/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2405,
3555
],
"pivot": 3682,
"outputs": [
"52761/23",
"81511/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 2756,
"outputs": [
"56263/23",
"85013/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 2758,
"outputs": [
"56259/23",
"85009/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 2816,
"outputs": [
"2441",
"3691"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 2818,
"outputs": [
"56139/23",
"84889/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 3620,
"outputs": [
"54535/23",
"83285/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 3622,
"outputs": [
"54531/23",
"83281/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 3680,
"outputs": [
"54415/23",
"83165/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 3682,
"outputs": [
"54411/23",
"83161/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 2756,
"outputs": [
"56313/23",
"85063/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 2758,
"outputs": [
"56309/23",
"85059/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 2816,
"outputs": [
"56193/23",
"84943/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 2818,
"outputs": [
"2443",
"3693"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 3620,
"outputs": [
"54585/23",
"83335/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 3622,
"outputs": [
"54581/23",
"83331/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 3680,
"outputs": [
"54465/23",
"83215/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 3682,
"outputs": [
"54461/23",
"83211/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 2756,
"outputs": [
"56363/23",
"85113/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 2758,
"outputs": [
"56359/23",
"85109/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 2816,
"outputs": [
"56243/23",
"84993/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 2818,
"outputs": [
"56239/23",
"84989/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 3620,
"outputs": [
"54635/23",
"83385/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 3622,
"outputs": [
"54631/23",
"83381/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 3680,
"outputs": [
"54515/23",
"83265/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2475,
3625
],
"pivot": 3682,
"outputs": [
"54511/23",
"83261/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 2756,
"outputs": [
"57763/23",
"86513/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 2758,
"outputs": [
"57759/23",
"86509/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 2816,
"outputs": [
"57643/23",
"86393/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 2818,
"outputs": [
"57639/23",
"86389/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 3620,
"outputs": [
"56035/23",
"84785/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 3622,
"outputs": [
"56031/23",
"84781/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 3680,
"outputs": [
"55915/23",
"84665/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2531,
3681
],
"pivot": 3682,
"outputs": [
"55911/23",
"84661/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 2756,
"outputs": [
"57813/23",
"86563/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 2758,
"outputs": [
"57809/23",
"86559/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 2816,
"outputs": [
"57693/23",
"86443/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 2818,
"outputs": [
"57689/23",
"86439/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 3620,
"outputs": [
"56085/23",
"84835/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 3622,
"outputs": [
"56081/23",
"84831/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 3680,
"outputs": [
"55965/23",
"84715/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2533,
3683
],
"pivot": 3682,
"outputs": [
"55961/23",
"84711/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 2756,
"outputs": [
"57863/23",
"86613/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 2758,
"outputs": [
"57859/23",
"86609/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 2816,
"outputs": [
"57743/23",
"86493/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 2818,
"outputs": [
"57739/23",
"86489/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 3620,
"outputs": [
"56135/23",
"84885/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 3622,
"outputs": [
"56131/23",
"84881/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 3680,
"outputs": [
"56015/23",
"84765/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2535,
3685
],
"pivot": 3682,
"outputs": [
"56011/23",
"84761/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 2756,
"outputs": [
"58388/23",
"87138/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 2758,
"outputs": [
"58384/23",
"87134/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 2816,
"outputs": [
"58268/23",
"87018/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 2818,
"outputs": [
"58264/23",
"87014/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 3620,
"outputs": [
"56660/23",
"85410/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 3622,
"outputs": [
"56656/23",
"85406/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 3680,
"outputs": [
"56540/23",
"85290/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2556,
3706
],
"pivot": 3682,
"outputs": [
"56536/23",
"85286/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 2756,
"outputs": [
"58438/23",
"87188/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 2758,
"outputs": [
"58434/23",
"87184/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 2816,
"outputs": [
"58318/23",
"87068/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 2818,
"outputs": [
"58314/23",
"87064/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 3620,
"outputs": [
"56710/23",
"85460/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 3622,
"outputs": [
"56706/23",
"85456/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 3680,
"outputs": [
"56590/23",
"85340/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2558,
3708
],
"pivot": 3682,
"outputs": [
"56586/23",
"85336/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 2756,
"outputs": [
"58488/23",
"87238/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 2758,
"outputs": [
"58484/23",
"87234/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 2816,
"outputs": [
"58368/23",
"87118/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 2818,
"outputs": [
"58364/23",
"87114/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 3620,
"outputs": [
"56760/23",
"85510/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 3622,
"outputs": [
"56756/23",
"85506/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 3680,
"outputs": [
"56640/23",
"85390/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2560,
3710
],
"pivot": 3682,
"outputs": [
"56636/23",
"85386/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 2756,
"outputs": [
"59888/23",
"88638/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 2758,
"outputs": [
"59884/23",
"88634/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 2816,
"outputs": [
"59768/23",
"88518/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 2818,
"outputs": [
"59764/23",
"88514/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 3620,
"outputs": [
"58160/23",
"86910/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 3622,
"outputs": [
"58156/23",
"86906/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 3680,
"outputs": [
"58040/23",
"86790/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2616,
3766
],
"pivot": 3682,
"outputs": [
"58036/23",
"86786/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 2756,
"outputs": [
"2606",
"3856"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 2758,
"outputs": [
"59934/23",
"88684/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 2816,
"outputs": [
"59818/23",
"88568/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 2818,
"outputs": [
"59814/23",
"88564/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 3620,
"outputs": [
"58210/23",
"86960/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 3622,
"outputs": [
"58206/23",
"86956/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 3680,
"outputs": [
"58090/23",
"86840/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 3682,
"outputs": [
"58086/23",
"86836/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 2756,
"outputs": [
"59988/23",
"88738/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 2758,
"outputs": [
"2608",
"3858"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 2816,
"outputs": [
"59868/23",
"88618/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 2818,
"outputs": [
"59864/23",
"88614/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 3620,
"outputs": [
"58260/23",
"87010/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 3622,
"outputs": [
"58256/23",
"87006/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 3680,
"outputs": [
"58140/23",
"86890/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 3682,
"outputs": [
"58136/23",
"86886/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 2756,
"outputs": [
"61638/23",
"90388/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 2758,
"outputs": [
"61634/23",
"90384/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 2816,
"outputs": [
"61518/23",
"90268/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 2818,
"outputs": [
"61514/23",
"90264/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 3620,
"outputs": [
"59910/23",
"88660/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 3622,
"outputs": [
"59906/23",
"88656/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 3680,
"outputs": [
"59790/23",
"88540/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2686,
3836
],
"pivot": 3682,
"outputs": [
"59786/23",
"88536/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 2756,
"outputs": [
"61688/23",
"90438/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 2758,
"outputs": [
"61684/23",
"90434/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 2816,
"outputs": [
"61568/23",
"90318/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 2818,
"outputs": [
"61564/23",
"90314/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 3620,
"outputs": [
"59960/23",
"88710/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 3622,
"outputs": [
"59956/23",
"88706/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 3680,
"outputs": [
"59840/23",
"88590/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2688,
3838
],
"pivot": 3682,
"outputs": [
"59836/23",
"88586/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 2756,
"outputs": [
"61738/23",
"90488/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 2758,
"outputs": [
"61734/23",
"90484/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 2816,
"outputs": [
"61618/23",
"90368/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 2818,
"outputs": [
"61614/23",
"90364/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 3620,
"outputs": [
"60010/23",
"88760/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 3622,
"outputs": [
"60006/23",
"88756/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 3680,
"outputs": [
"59890/23",
"88640/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2690,
3840
],
"pivot": 3682,
"outputs": [
"59886/23",
"88636/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 2756,
"outputs": [
"63138/23",
"91888/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 2758,
"outputs": [
"63134/23",
"91884/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 2816,
"outputs": [
"63018/23",
"91768/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 2818,
"outputs": [
"63014/23",
"91764/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 3620,
"outputs": [
"2670",
"3920"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 3622,
"outputs": [
"61406/23",
"90156/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 3680,
"outputs": [
"61290/23",
"90040/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 3682,
"outputs": [
"61286/23",
"90036/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 2756,
"outputs": [
"63188/23",
"91938/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 2758,
"outputs": [
"63184/23",
"91934/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 2816,
"outputs": [
"63068/23",
"91818/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 2818,
"outputs": [
"63064/23",
"91814/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 3620,
"outputs": [
"61460/23",
"90210/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 3622,
"outputs": [
"2672",
"3922"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 3680,
"outputs": [
"61340/23",
"90090/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 3682,
"outputs": [
"61336/23",
"90086/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 2756,
"outputs": [
"63238/23",
"91988/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 2758,
"outputs": [
"63234/23",
"91984/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 2816,
"outputs": [
"63118/23",
"91868/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 2818,
"outputs": [
"63114/23",
"91864/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 3620,
"outputs": [
"61510/23",
"90260/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 3622,
"outputs": [
"61506/23",
"90256/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 3680,
"outputs": [
"61390/23",
"90140/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
},
{
"family": "B",
"input_pair": [
2750,
3900
],
"pivot": 3682,
"outputs": [
"61386/23",
"90136/23"
],
"integer_outputs": false,
"output_source_membership": [
null,
null
],
"status": "fractional"
}
],
"integral_trials": [
{
"family": "A",
"input_pair": [
1803,
2953
],
"pivot": 3620,
"outputs": [
"1645",
"2895"
],
"integer_outputs": true,
"output_source_membership": [
false,
true
],
"status": "upper_only",
"output_indices": [
[],
[
48,
96
]
]
},
{
"family": "A",
"input_pair": [
1805,
2955
],
"pivot": 3622,
"outputs": [
"1647",
"2897"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "A",
"input_pair": [
1873,
3023
],
"pivot": 2816,
"outputs": [
"1791",
"3041"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "A",
"input_pair": [
1875,
3025
],
"pivot": 2818,
"outputs": [
"1793",
"3043"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "C",
"input_pair": [
1955,
3105
],
"pivot": 3680,
"outputs": [
"1805",
"3055"
],
"integer_outputs": true,
"output_source_membership": [
true,
true
],
"status": "both",
"output_indices": [
[
362
],
[
402,
514
]
]
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"pivot": 2756,
"outputs": [
"1956",
"3206"
],
"integer_outputs": true,
"output_source_membership": [
true,
true
],
"status": "both",
"output_indices": [
[
169
],
[
209,
449
]
]
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"pivot": 3620,
"outputs": [
"2020",
"3270"
],
"integer_outputs": true,
"output_source_membership": [
true,
true
],
"status": "both",
"output_indices": [
[
363
],
[
403,
515
]
]
},
{
"family": "A",
"input_pair": [
2150,
3300
],
"pivot": 3622,
"outputs": [
"2022",
"3272"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "B",
"input_pair": [
2401,
3551
],
"pivot": 3620,
"outputs": [
"2295",
"3545"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "B",
"input_pair": [
2403,
3553
],
"pivot": 3622,
"outputs": [
"2297",
"3547"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "B",
"input_pair": [
2471,
3621
],
"pivot": 2816,
"outputs": [
"2441",
"3691"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "B",
"input_pair": [
2473,
3623
],
"pivot": 2818,
"outputs": [
"2443",
"3693"
],
"integer_outputs": true,
"output_source_membership": [
false,
false
],
"status": "neither",
"output_indices": [
[],
[]
]
},
{
"family": "B",
"input_pair": [
2618,
3768
],
"pivot": 2756,
"outputs": [
"2606",
"3856"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only",
"output_indices": [
[
225,
457
],
[]
]
},
{
"family": "B",
"input_pair": [
2620,
3770
],
"pivot": 2758,
"outputs": [
"2608",
"3858"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only",
"output_indices": [
[
321,
489
],
[]
]
},
{
"family": "B",
"input_pair": [
2746,
3896
],
"pivot": 3620,
"outputs": [
"2670",
"3920"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only",
"output_indices": [
[
204,
419,
523
],
[]
]
},
{
"family": "B",
"input_pair": [
2748,
3898
],
"pivot": 3622,
"outputs": [
"2672",
"3922"
],
"integer_outputs": true,
"output_source_membership": [
true,
false
],
"status": "lower_only",
"output_indices": [
[
300
],
[]
]
}
],
"failure_summary": [
{
"family": "A",
"trials": 192,
"fractional": 185,
"neither": 4,
"lower_only": 0,
"upper_only": 1,
"both": 2
},
{
"family": "B",
"trials": 192,
"fractional": 184,
"neither": 4,
"lower_only": 4,
"upper_only": 0,
"both": 0
},
{
"family": "C",
"trials": 16,
"fractional": 15,
"neither": 0,
"lower_only": 0,
"upper_only": 0,
"both": 1
},
{
"family": "D",
"trials": 8,
"fractional": 8,
"neither": 0,
"lower_only": 0,
"upper_only": 0,
"both": 0
}
],
"admitted_expansions": [
{
"family": "C",
"input_pair": [
1955,
3105
],
"output_pair": [
1805,
3055
],
"second_pivot": 3680,
"input_indices": [
[
346
],
[
89,
137
]
],
"output_indices": [
[
362
],
[
402,
514
]
],
"pivot_indices": [
190
],
"endpoint_changes": [
-150,
-50
],
"output_label_classifications": [
{
"lower_record": 362,
"upper_record": 402,
"coordinates": [
1805,
3055
],
"family": "A_matched_Shem",
"delta_context": {
"gear": 0,
"Cainan": 0,
"Terah60": 0,
"full430": 0
}
},
{
"lower_record": 362,
"upper_record": 514,
"coordinates": [
1805,
3055
],
"family": "A_matched_Shem",
"delta_context": {
"gear": 0,
"Cainan": 0,
"Terah60": 0,
"full430": 0
}
}
],
"predecessor_trials": [
{
"first_pivot": 2756,
"predecessor_pair": [
"50477/25",
"76927/25"
],
"complete": false
},
{
"first_pivot": 2758,
"predecessor_pair": [
"50481/25",
"76931/25"
],
"complete": false
},
{
"first_pivot": 2816,
"predecessor_pair": [
"50597/25",
"77047/25"
],
"complete": false
},
{
"first_pivot": 2818,
"predecessor_pair": [
"50601/25",
"77051/25"
],
"complete": false
},
{
"first_pivot": 3620,
"predecessor_pair": [
"10441/5",
"15731/5"
],
"complete": false
},
{
"first_pivot": 3622,
"predecessor_pair": [
"52209/25",
"78659/25"
],
"complete": false
},
{
"first_pivot": 3680,
"predecessor_pair": [
"2093",
"3151"
],
"complete": false
},
{
"first_pivot": 3682,
"predecessor_pair": [
"52329/25",
"78779/25"
],
"complete": false
}
],
"complete_predecessors": []
},
{
"family": "A",
"input_pair": [
2020,
3170
],
"output_pair": [
1956,
3206
],
"second_pivot": 2756,
"input_indices": [
[
363
],
[
51,
99
]
],
"output_indices": [
[
169
],
[
209,
449
]
],
"pivot_indices": [
193,
441
],
"endpoint_changes": [
-64,
36
],
"output_label_classifications": [
{
"lower_record": 169,
"upper_record": 209,
"coordinates": [
1956,
3206
],
"family": "A_matched_Shem",
"delta_context": {
"gear": 0,
"Cainan": 0,
"Terah60": 0,
"full430": 0
}
},
{
"lower_record": 169,
"upper_record": 449,
"coordinates": [
1956,
3206
],
"family": "A_matched_Shem",
"delta_context": {
"gear": 0,
"Cainan": 0,
"Terah60": 0,
"full430": 0
}
}
],
"predecessor_trials": [
{
"first_pivot": 2756,
"predecessor_pair": [
"51972/25",
"78422/25"
],
"complete": false
},
{
"first_pivot": 2758,
"predecessor_pair": [
"51976/25",
"78426/25"
],
"complete": false
},
{
"first_pivot": 2816,
"predecessor_pair": [
"52092/25",
"78542/25"
],
"complete": false
},
{
"first_pivot": 2818,
"predecessor_pair": [
"52096/25",
"78546/25"
],
"complete": false
},
{
"first_pivot": 3620,
"predecessor_pair": [
"2148",
"3206"
],
"complete": true
},
{
"first_pivot": 3622,
"predecessor_pair": [
"53704/25",
"80154/25"
],
"complete": false
},
{
"first_pivot": 3680,
"predecessor_pair": [
"10764/5",
"16054/5"
],
"complete": false
},
{
"first_pivot": 3682,
"predecessor_pair": [
"53824/25",
"80274/25"
],
"complete": false
}
],
"complete_predecessors": [
{
"first_pivot": 3620,
"predecessor_pair": [
"2148",
"3206"
],
"complete": true
}
]
},
{
"family": "A",
"input_pair": [
2148,
3298
],
"output_pair": [
2020,
3270
],
"second_pivot": 3620,
"input_indices": [
[
271
],
[
71,
119
]
],
"output_indices": [
[
363
],
[
403,
515
]
],
"pivot_indices": [
188
],
"endpoint_changes": [
-128,
-28
],
"output_label_classifications": [
{
"lower_record": 363,
"upper_record": 403,
"coordinates": [
2020,
3270
],
"family": "A_matched_Shem",
"delta_context": {
"gear": 0,
"Cainan": 0,
"Terah60": 0,
"full430": 0
}
},
{
"lower_record": 363,
"upper_record": 515,
"coordinates": [
2020,
3270
],
"family": "A_matched_Shem",
"delta_context": {
"gear": 0,
"Cainan": 0,
"Terah60": 0,
"full430": 0
}
}
],
"predecessor_trials": [
{
"first_pivot": 2756,
"predecessor_pair": [
"54916/25",
"81366/25"
],
"complete": false
},
{
"first_pivot": 2758,
"predecessor_pair": [
"10984/5",
"16274/5"
],
"complete": false
},
{
"first_pivot": 2816,
"predecessor_pair": [
"55036/25",
"81486/25"
],
"complete": false
},
{
"first_pivot": 2818,
"predecessor_pair": [
"11008/5",
"16298/5"
],
"complete": false
},
{
"first_pivot": 3620,
"predecessor_pair": [
"56644/25",
"83094/25"
],
"complete": false
},
{
"first_pivot": 3622,
"predecessor_pair": [
"56648/25",
"83098/25"
],
"complete": false
},
{
"first_pivot": 3680,
"predecessor_pair": [
"56764/25",
"83214/25"
],
"complete": false
},
{
"first_pivot": 3682,
"predecessor_pair": [
"56768/25",
"83218/25"
],
"complete": false
}
],
"complete_predecessors": []
}
],
"counts": {
"coordinate_pairs": 51,
"label_pairs": 101,
"source_role_context_signatures": 7,
"templates": 4,
"tradition_alias_groups": 50,
"tested_signature_equations": 65340,
"trials": 408,
"fractional_trials": 392,
"integral_trials": 16,
"admitted_expansions": 3,
"complete_2K_predecessors": 1
},
"limits": "Finite source/context grammar only; no new date, pivot, phase, operator, canonical or graph edit. Same-agent alternative computations; no independent-agent review or historical-intention inference."
}
Evidence
DATA.json
Edition and provenance
DATA.json
SHA-256 8c454f9d40694603ee866f91d78e0e3d9872b3c1a2aee3953a342470405f1347
C480–C1634/Research_Cycles/C0480_Bridge/evidence/DATA.json