Evidence

C470 DATA.json

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

C470_DATA.json

SHA-256 2ad6c614fa13487ad7a9bbf817f98908c8975771e5de5badd71de1d9f176c670

C480–C1634/Research_Cycles/C0480_Bridge/sources/C470_DATA.json