remainder__x0 ≤ 5954.

0
squared_error = 3315336666590.547
samples = 436
value = 4768764.771

remainder__x2 ≤ 1.5 True False remainder__x2 ≤ 1.5

squared_error = 1670481679035.375 squared_error = 3612899662650.156
samples = 288 samples = 148
value = 4057119.792 value = 6153587.432

remainder__x0 ≤ 4016.0 encoder__x8_yes ≤ 0.5 encoder__x6_yes ≤ 0.5 remainder__x2 ≤ 2.5

squared_error = 1119769021012.744 squared_error = 2199239484375.0 squared_error = 2361558320882.914 squared_error = 2921453860366.696
samples = 232 samples = 56 samples = 86 samples = 62
value = 3770299.569 value = 5245375.0 value = 5297412.791 value = 7341184.516

remainder__x3 ≤ 1.5 remainder__x3 ≤ 2.5 encoder__x7_yes ≤ 0.5 remainder__x0 ≤ 3730.0 remainder__x0 ≤ 6010.0 remainder__x0 ≤ 12320.0 remainder__x3 ≤ 1.5 remainder__x9 ≤ 2.5
squared_error = 827780523139.047 squared_error = 1170108903463.106 squared_error = 1472437750000.0 squared_error = 2244751127500.0 squared_error = 1826618040516.066 squared_error = 2071139023011.18 squared_error = 2344917044875.0 squared_error = 3252790138888.875
samples = 138 samples = 94 samples = 36 samples = 20 samples = 47 samples = 39 samples = 56 samples = 6
value = 3447170.29 value = 4244680.851 value = 4744833.333 value = 6146350.0 value = 4704223.404 value = 6012282.051 value = 7112365.0 value = 9476833.333

encoder__x6_yes ≤ 0.5 remainder__x9 ≤ 0.5 encoder__x6_no ≤ 0.5 encoder__x10_yes ≤ 0.5 remainder__x0 ≤ 4215.0 remainder__x0 ≤ 3565.0 remainder__x1 ≤ 4.5 encoder__x5_no ≤ 0.5 encoder__x7_yes ≤ 0.5 remainder__x3 ≤ 2.5 remainder__x1 ≤ 3.5 encoder__x8_yes ≤ 0.5 remainder__x9 ≤ 2.5 encoder__x10_no ≤ 0.5
squared_error = 0.0 squared_error = 0.0
squared_error = 666184722694.166 squared_error = 814494309917.356 squared_error = 998295311874.002 squared_error = 1115567004132.226 squared_error = 856313802289.277 squared_error = 3546424000000.0 squared_error = 392889840000.0 squared_error = 1828494888888.89 squared_error = 297024388888.891 squared_error = 1434927617252.07 squared_error = 1738159659972.297 squared_error = 1388502066115.703 squared_error = 2276386602695.508 squared_error = 2057639360000.0
samples = 1 samples = 1
samples = 61 samples = 77 samples = 83 samples = 11 samples = 31 samples = 5 samples = 5 samples = 15 samples = 3 samples = 44 samples = 38 samples = 11 samples = 45 samples = 5
value = 9800000.0 value = 12250000.0
value = 3131696.721 value = 3697090.909 value = 4099933.735 value = 5336863.636 value = 4547064.516 value = 5971000.0 value = 4621400.0 value = 6654666.667 value = 7313833.333 value = 4526295.455 value = 5912605.263 value = 6115454.545 value = 7356054.222 value = 8922200.0

encoder__x4_yes ≤ 0.5 remainder__x0 ≤ 3855.0 encoder__x8_yes ≤ 0.5 encoder__x7_no ≤ 0.5 encoder__x7_yes ≤ 0.5 encoder__x4_no ≤ 0.5 encoder__x8_yes ≤ 0.5 encoder__x8_yes ≤ 0.5 remainder__x3 ≤ 1.5 remainder__x0 ≤ 4355.0 remainder__x9 ≤ 0.5 remainder__x0 ≤ 3440.0 remainder__x3 ≤ 3.0 encoder__x10_yes ≤ 0.5 encoder__x5_yes ≤ 0.5 remainder__x0 ≤ 8460.0 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 6380.0 remainder__x3 ≤ 2.5 remainder__x9 ≤ 2.5 encoder__x5_no ≤ 0.5 remainder__x0 ≤ 9880.0 remainder__x9 ≤ 0.5
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 384918818900.0 squared_error = 1167440185950.414 squared_error = 662723598842.976 squared_error = 978417143078.51 squared_error = 1295048753600.0 squared_error = 572745560047.56 squared_error = 998307246913.582 squared_error = 60025000000.0 squared_error = 455566888888.891 squared_error = 1173805290000.0 squared_error = 1093542187500.0 squared_error = 266180250000.0 squared_error = 1480616666666.664 squared_error = 1423007638888.89 squared_error = 93789062500.0 squared_error = 1248728740000.0 squared_error = 613244187500.0 squared_error = 1059454602387.516 squared_error = 3408114640000.0 squared_error = 511131250000.0 squared_error = 843584000000.0 squared_error = 1779351518659.5 squared_error = 2100957687500.0
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 50 samples = 11 samples = 55 samples = 22 samples = 25 samples = 58 samples = 9 samples = 2 samples = 21 samples = 10 samples = 4 samples = 4 samples = 3 samples = 12 samples = 2 samples = 40 samples = 4 samples = 33 samples = 5 samples = 6 samples = 5 samples = 44 samples = 4
value = 9240000.0 value = 3773000.0 value = 6629000.0 value = 12215000.0 value = 10150000.0
value = 2956100.0 value = 3929863.636 value = 3540154.545 value = 4089431.818 value = 4794580.0 value = 3800517.241 value = 5083944.444 value = 6475000.0 value = 4263333.333 value = 5142900.0 value = 5153750.0 value = 4833500.0 value = 7910000.0 value = 6340833.333 value = 7656250.0 value = 4370100.0 value = 6088250.0 value = 5675939.394 value = 7474600.0 value = 5337500.0 value = 7049000.0 value = 7245623.636 value = 8615250.0

encoder__x8_yes ≤ 0.5 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 3520.0 remainder__x0 ≤ 1802.5 remainder__x0 ≤ 3820.0 encoder__x4_no ≤ 0.5 encoder__x5_no ≤ 0.5 remainder__x9 ≤ 1.5 encoder__x10_no ≤ 0.5 encoder__x8_no ≤ 0.5 remainder__x3 ≤ 3.5 remainder__x0 ≤ 5085.0 remainder__x0 ≤ 4043.0 encoder__x5_no ≤ 0.5 encoder__x6_yes ≤ 0.5 encoder__x10_no ≤ 0.5 remainder__x3 ≤ 2.5 remainder__x9 ≤ 1.5 encoder__x5_no ≤ 0.5 remainder__x0 ≤ 4580.0 remainder__x3 ≤ 2.5 remainder__x9 ≤ 0.5 remainder__x1 ≤ 2.5 remainder__x0 ≤ 8940.0 remainder__x9 ≤ 1.0 encoder__x10_yes ≤ 0.5 encoder__x8_no ≤ 0.5 remainder__x9 ≤ 1.5 encoder__x10_yes ≤ 0.5 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 7297.5 remainder__x0 ≤ 8850.0 remainder__x0 ≤ 9333.5 remainder__x1 ≤ 3.5 encoder__x6_no ≤ 0.5
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 308827220276.817 squared_error = 332145275224.977 squared_error = 571635102500.0 squared_error = 631489351111.111 squared_error = 510545822500.0 squared_error = 732715222222.223 squared_error = 513922050094.523 squared_error = 1102500000000.0 squared_error = 551137061224.488 squared_error = 175017111111.113 squared_error = 1142729000000.0 squared_error = 308709187500.0 squared_error = 169158888888.891 squared_error = 459899626666.668 squared_error = 470596000000.0 squared_error = 523294734375.0 squared_error = 275625000000.0 squared_error = 24806250000.0 squared_error = 64386000000.0 squared_error = 15006250000.0 squared_error = 811390234375.0 squared_error = 927554687500.0 squared_error = 573831270233.195 squared_error = 1965138331360.949 squared_error = 29410888888.895 squared_error = 612347555555.559 squared_error = 841068801097.387 squared_error = 1118408666666.672 squared_error = 540225000000.0 squared_error = 131124000000.0 squared_error = 396900000000.0 squared_error = 28038888888.891 squared_error = 1251129635066.664 squared_error = 7452900000000.0 squared_error = 1754406888888.883
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 17 samples = 33 samples = 10 samples = 45 samples = 10 samples = 21 samples = 23 samples = 2 samples = 49 samples = 9 samples = 5 samples = 4 samples = 6 samples = 15 samples = 2 samples = 8 samples = 2 samples = 2 samples = 3 samples = 2 samples = 8 samples = 4 samples = 27 samples = 13 samples = 3 samples = 6 samples = 27 samples = 3 samples = 2 samples = 5 samples = 2 samples = 3 samples = 42 samples = 2 samples = 3
value = 6475000.0 value = 6510000.0 value = 6230000.0 value = 6720000.0 value = 4025000.0 value = 6195000.0 value = 7350000.0 value = 7962500.0 value = 7420000.0 value = 3920000.0 value = 10150000.0
value = 2612832.353 value = 3132934.848 value = 3675350.0 value = 3431400.0 value = 4029550.0 value = 3974166.667 value = 4541934.783 value = 7700000.0 value = 3921714.286 value = 3140666.667 value = 4658500.0 value = 5615750.0 value = 3819666.667 value = 4440800.0 value = 6769000.0 value = 4736375.0 value = 6125000.0 value = 4182500.0 value = 5103000.0 value = 8767500.0 value = 5805625.0 value = 7411250.0 value = 4042629.63 value = 5050230.769 value = 5644333.333 value = 4594333.333 value = 5916296.296 value = 8771000.0 value = 5530000.0 value = 5621000.0 value = 8050000.0 value = 6381666.667 value = 7137320.0 value = 9520000.0 value = 8103666.667

remainder__x0 ≤ 2415.0 remainder__x0 ≤ 3240.0 remainder__x0 ≤ 3516.0 encoder__x7_yes ≤ 0.5 encoder__x10_no ≤ 0.5 encoder__x5_no ≤ 0.5 encoder__x4_yes ≤ 0.5 remainder__x0 ≤ 3969.0 remainder__x1 ≤ 3.5 remainder__x3 ≤ 2.5 remainder__x1 ≤ 3.5 encoder__x8_yes ≤ 0.5 remainder__x0 ≤ 4930.0 encoder__x8_no ≤ 0.5 remainder__x9 ≤ 0.5 remainder__x1 ≤ 2.5 remainder__x1 ≤ 3.5 remainder__x1 ≤ 3.5 remainder__x3 ≤ 3.5 remainder__x9 ≤ 0.5 encoder__x5_yes ≤ 0.5 encoder__x4_yes ≤ 0.5 remainder__x0 ≤ 3240.0 encoder__x6_no ≤ 0.5 encoder__x4_no ≤ 0.5 remainder__x0 ≤ 4250.0 remainder__x9 ≤ 1.0 remainder__x0 ≤ 4725.0 remainder__x0 ≤ 5190.0 remainder__x0 ≤ 6555.0 encoder__x4_yes ≤ 0.5 remainder__x9 ≤ 1.5 remainder__x0 ≤ 9680.0 encoder__x5_no ≤ 0.5 encoder__x5_no ≤ 0.5 remainder__x9 ≤ 1.0 remainder__x9 ≤ 1.5 encoder__x10_yes ≤ 0.5 encoder__x10_no ≤ 0.5 remainder__x9 ≤ 1.5 remainder__x9 ≤ 1.5 remainder__x9 ≤ 1.5 encoder__x6_yes ≤ 0.5 remainder__x9 ≤ 1.5
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 237608458125.0 squared_error = 25316666666.666 squared_error = 277272341718.75 squared_error = 290399752675.387 squared_error = 332145138888.889 squared_error = 249749171875.0 squared_error = 396900000000.0 squared_error = 601968630611.139 squared_error = 333336111111.109 squared_error = 672117006944.445 squared_error = 37838888888.891 squared_error = 382219055555.559 squared_error = 313502607438.014 squared_error = 347847937500.0 squared_error = 495126781677.572 squared_error = 81039109375.0 squared_error = 680351388888.889 squared_error = 11025000000.0 squared_error = 44100000000.0 squared_error = 349872250000.0 squared_error = 77420000000.0 squared_error = 37056250000.0 squared_error = 393142946745.566 squared_error = 250690000000.0 squared_error = 992250000.0 squared_error = 615734000000.0 squared_error = 445355555555.562 squared_error = 99225000000.0 squared_error = 2756250000.0 squared_error = 369253111111.111 squared_error = 326632941358.027 squared_error = 1667088888888.89 squared_error = 710475010000.0 squared_error = 4900000000.0 squared_error = 283964187500.0 squared_error = 61752250000.0 squared_error = 1173205785123.969 squared_error = 406231437500.0 squared_error = 148225000000.0 squared_error = 45325000000.0 squared_error = 1225000000.0 squared_error = 1063159127744.0 squared_error = 78400000000.0 squared_error = 555770250000.0
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 14 samples = 3 samples = 4 samples = 29 samples = 6 samples = 4 samples = 2 samples = 43 samples = 9 samples = 18 samples = 3 samples = 12 samples = 11 samples = 8 samples = 41 samples = 8 samples = 3 samples = 2 samples = 2 samples = 2 samples = 5 samples = 2 samples = 13 samples = 7 samples = 2 samples = 5 samples = 3 samples = 2 samples = 2 samples = 9 samples = 18 samples = 3 samples = 10 samples = 2 samples = 4 samples = 2 samples = 11 samples = 16 samples = 2 samples = 4 samples = 2 samples = 40 samples = 2 samples = 2
value = 2653000.0 value = 6650000.0 value = 8750000.0 value = 2233000.0 value = 4543000.0 value = 6083000.0 value = 7455000.0 value = 6195000.0 value = 6650000.0 value = 5600000.0 value = 4340000.0 value = 4025000.0 value = 5460000.0 value = 8645000.0 value = 8890000.0 value = 5873000.0 value = 7343000.0 value = 4795000.0 value = 6265000.0 value = 5005000.0 value = 8680000.0 value = 7420000.0 value = 6615000.0 value = 12250000.0 value = 6790000.0 value = 6440000.0
value = 2460225.0 value = 3325000.0 value = 3693462.5 value = 3055620.69 value = 3249166.667 value = 4314625.0 value = 2520000.0 value = 3473790.698 value = 4182500.0 value = 4132916.667 value = 3021666.667 value = 4930333.333 value = 4118227.273 value = 4562250.0 value = 3796731.707 value = 3254125.0 value = 3960833.333 value = 5705000.0 value = 5950000.0 value = 5281500.0 value = 3675000.0 value = 5302500.0 value = 4308230.769 value = 4528000.0 value = 4924500.0 value = 5411000.0 value = 6463333.333 value = 6475000.0 value = 8347500.0 value = 3360000.0 value = 4383944.444 value = 6906666.667 value = 4493300.0 value = 5530000.0 value = 4145750.0 value = 5491500.0 value = 6338181.818 value = 5626250.0 value = 9485000.0 value = 5775000.0 value = 6265000.0 value = 7245686.0 value = 4970000.0 value = 8935500.0

encoder__x7_no ≤ 0.5 remainder__x0 ≤ 2790.0 remainder__x1 ≤ 2.5 remainder__x1 ≤ 2.5 remainder__x0 ≤ 3760.0 remainder__x1 ≤ 2.5 remainder__x9 ≤ 0.5 remainder__x0 ≤ 2463.0 encoder__x4_no ≤ 0.5 encoder__x8_no ≤ 0.5 remainder__x0 ≤ 3875.0 remainder__x0 ≤ 3205.0 remainder__x0 ≤ 3320.0 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 3120.0 remainder__x0 ≤ 3450.0 remainder__x3 ≤ 1.5 remainder__x1 ≤ 2.5 encoder__x4_no ≤ 0.5 remainder__x3 ≤ 1.5 remainder__x1 ≤ 3.0 remainder__x9 ≤ 0.5 remainder__x0 ≤ 5120.0 remainder__x1 ≤ 2.5 remainder__x0 ≤ 5070.0 encoder__x7_yes ≤ 0.5 remainder__x0 ≤ 4119.5 remainder__x0 ≤ 3350.0 remainder__x1 ≤ 3.5 remainder__x0 ≤ 3665.0 remainder__x0 ≤ 5700.0 remainder__x0 ≤ 5146.0 remainder__x9 ≤ 1.5 remainder__x3 ≤ 3.5 remainder__x9 ≤ 0.5 remainder__x0 ≤ 7177.0 remainder__x0 ≤ 8030.0 encoder__x8_yes ≤ 0.5 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 14272.0 remainder__x9 ≤ 0.5 encoder__x10_no ≤ 0.5 encoder__x5_yes ≤ 0.5 remainder__x0 ≤ 6900.0 remainder__x0 ≤ 6825.0 remainder__x1 ≤ 3.5 encoder__x4_no ≤ 0.5 remainder__x0 ≤ 6450.0
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 55896780625.0 squared_error = 227346388888.889 squared_error = 4900000000.0 squared_error = 36318830625.0 squared_error = 223256250000.0 squared_error = 265214751714.678 squared_error = 11025000000.0 squared_error = 165326000000.0 squared_error = 88506250000.0 squared_error = 44838062500.0 squared_error = 581269888888.887 squared_error = 287150000000.0 squared_error = 128701562500.0 squared_error = 528727422222.225 squared_error = 872268055555.555 squared_error = 2756250000.0 squared_error = 351721234375.0 squared_error = 89042187500.0 squared_error = 114018214843.75 squared_error = 267093555555.557 squared_error = 60025000000.0 squared_error = 188595555555.551 squared_error = 384237486686.391 squared_error = 424316915555.559 squared_error = 31850000000.0 squared_error = 52516240000.0 squared_error = 99225000000.0 squared_error = 10642187500.0 squared_error = 81340000000.0 squared_error = 406096687500.0 squared_error = 162691760000.0 squared_error = 11025000000.0 squared_error = 316662500000.0 squared_error = 275625000000.0 squared_error = 170554000000.0 squared_error = 40190888888.887 squared_error = 288782915555.555 squared_error = 442225000000.0 squared_error = 30625000000.0 squared_error = 453898484375.0 squared_error = 53148666666.668 squared_error = 1165100000000.0 squared_error = 429592187500.0 squared_error = 347221840000.0 squared_error = 176728016528.926 squared_error = 33755555555.551 squared_error = 1047174777099.609 squared_error = 238402727893.75
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 2 samples = 12 samples = 2 samples = 2 samples = 2 samples = 27 samples = 2 samples = 5 samples = 2 samples = 2 samples = 42 samples = 7 samples = 2 samples = 15 samples = 3 samples = 2 samples = 8 samples = 4 samples = 8 samples = 3 samples = 2 samples = 6 samples = 26 samples = 15 samples = 3 samples = 5 samples = 2 samples = 4 samples = 5 samples = 8 samples = 5 samples = 2 samples = 4 samples = 2 samples = 7 samples = 3 samples = 15 samples = 2 samples = 2 samples = 8 samples = 3 samples = 7 samples = 4 samples = 5 samples = 11 samples = 3 samples = 32 samples = 8
value = 3115000.0 value = 4235000.0 value = 3150000.0 value = 1890000.0 value = 2275000.0 value = 3290000.0 value = 2852500.0 value = 5600000.0 value = 5810000.0 value = 5740000.0 value = 6160000.0 value = 4690000.0 value = 5873000.0 value = 3150000.0 value = 5495000.0 value = 5110000.0 value = 4893000.0 value = 4956000.0 value = 6615000.0 value = 5740000.0 value = 6790000.0 value = 6160000.0 value = 8295000.0 value = 8400000.0 value = 4270000.0 value = 5250000.0 value = 5460000.0 value = 5600000.0 value = 3290000.0 value = 5243000.0 value = 5740000.0 value = 9870000.0 value = 9100000.0 value = 5530000.0 value = 6230000.0 value = 6300000.0 value = 5250000.0 value = 4690000.0 value = 8190000.0 value = 9681000.0
value = 2003575.0 value = 2536333.333 value = 3430000.0 value = 3309425.0 value = 4077500.0 value = 2999370.37 value = 3815000.0 value = 3052000.0 value = 4742500.0 value = 3886750.0 value = 3502333.333 value = 4335000.0 value = 3648750.0 value = 4001666.667 value = 4789166.667 value = 2887500.0 value = 4687375.0 value = 5416250.0 value = 4361437.5 value = 3469666.667 value = 5320000.0 value = 4309666.667 value = 3561115.385 value = 4205133.333 value = 3500000.0 value = 3106600.0 value = 4515000.0 value = 3806250.0 value = 3885000.0 value = 4572750.0 value = 4757200.0 value = 3955000.0 value = 5110000.0 value = 6825000.0 value = 3100000.0 value = 3754333.333 value = 4509866.667 value = 7735000.0 value = 3325000.0 value = 4785375.0 value = 4431000.0 value = 6735000.0 value = 5643750.0 value = 5003600.0 value = 5909272.727 value = 5856666.667 value = 7034890.625 value = 8088867.5

remainder__x0 ≤ 2670.0 remainder__x0 ≤ 3020.0 remainder__x0 ≤ 3625.0 remainder__x0 ≤ 3905.0 remainder__x9 ≤ 1.0 remainder__x0 ≤ 3821.0 remainder__x0 ≤ 3964.0 encoder__x6_no ≤ 0.5 encoder__x4_no ≤ 0.5 encoder__x5_yes ≤ 0.5 remainder__x0 ≤ 3345.0 encoder__x8_no ≤ 0.5 remainder__x0 ≤ 4785.0 remainder__x9 ≤ 1.0 remainder__x1 ≤ 4.5 encoder__x8_yes ≤ 0.5 remainder__x0 ≤ 4300.0 remainder__x0 ≤ 5227.5 remainder__x1 ≤ 2.5 remainder__x1 ≤ 3.5 remainder__x0 ≤ 5914.0 encoder__x8_no ≤ 0.5 remainder__x0 ≤ 4740.0 remainder__x1 ≤ 3.5 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 2492.5 remainder__x0 ≤ 2963.5 remainder__x9 ≤ 1.0 remainder__x0 ≤ 4065.0 remainder__x0 ≤ 5247.5 remainder__x3 ≤ 1.5 remainder__x0 ≤ 6775.0 remainder__x0 ≤ 8250.0 remainder__x0 ≤ 6705.0 remainder__x9 ≤ 0.5 remainder__x9 ≤ 1.0 remainder__x0 ≤ 12922.0 remainder__x0 ≤ 6180.0 encoder__x5_yes ≤ 0.5 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 7705.0 remainder__x9 ≤ 1.5 remainder__x0 ≤ 6635.0 encoder__x5_yes ≤ 0.5 remainder__x0 ≤ 6427.0 encoder__x10_yes ≤ 0.5 remainder__x0 ≤ 6180.0 remainder__x3 ≤ 3.0
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 24806250000.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 86577555555.555 squared_error = 198460888888.89 squared_error = 274436627500.0 squared_error = 132550000000.0 squared_error = 17992187500.0 squared_error = 575851737015.121 squared_error = 36205555555.559 squared_error = 219520000000.0 squared_error = 88506250000.0 squared_error = 164868666666.668 squared_error = 465544576388.889 squared_error = 4900000000.0 squared_error = 297953687500.0 squared_error = 164150000000.0 squared_error = 272222222.227 squared_error = 93535555555.559 squared_error = 76562500.0 squared_error = 600250000.0 squared_error = 174403250000.0 squared_error = 239511457063.711 squared_error = 477496000000.0 squared_error = 256025000000.0 squared_error = 276596000000.0 squared_error = 42593250000.0 squared_error = 1905555555.557 squared_error = 4900000000.0 squared_error = 22050000000.0 squared_error = 313976687500.0 squared_error = 121504687500.0 squared_error = 51462250000.0 squared_error = 54172222222.227 squared_error = 71671687500.0 squared_error = 81024222222.225 squared_error = 11772250000.0 squared_error = 273881076388.883 squared_error = 92784222222.223 squared_error = 299950000000.0 squared_error = 11772250000.0 squared_error = 649930555555.547 squared_error = 78400000000.0 squared_error = 51756250000.0 squared_error = 111193250000.0 squared_error = 52880187500.0 squared_error = 147938000000.0 squared_error = 30625000000.0 squared_error = 974870627991.672 squared_error = 110556250000.0 squared_error = 49742189388.891
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 3 samples = 9 samples = 20 samples = 7 samples = 4 samples = 39 samples = 3 samples = 5 samples = 2 samples = 3 samples = 12 samples = 2 samples = 4 samples = 4 samples = 3 samples = 6 samples = 2 samples = 2 samples = 4 samples = 19 samples = 7 samples = 8 samples = 7 samples = 4 samples = 3 samples = 2 samples = 3 samples = 4 samples = 4 samples = 4 samples = 3 samples = 4 samples = 3 samples = 2 samples = 12 samples = 3 samples = 7 samples = 2 samples = 6 samples = 2 samples = 2 samples = 4 samples = 4 samples = 7 samples = 2 samples = 31 samples = 2 samples = 6
value = 2240000.0 value = 1767150.0 value = 3360000.0 value = 3500000.0 value = 3500000.0 value = 3118850.0 value = 4550000.0 value = 3605000.0 value = 3710000.0 value = 3920000.0 value = 2275000.0 value = 4445000.0 value = 5040000.0 value = 4098500.0 value = 3675000.0 value = 3290000.0 value = 4007500.0 value = 6107500.0 value = 2835000.0 value = 2940000.0 value = 4900000.0 value = 4200000.0 value = 5075000.0 value = 5565000.0 value = 4690000.0 value = 3412500.0 value = 3675000.0 value = 2835000.0 value = 4200000.0 value = 4830000.0 value = 3640000.0 value = 4060000.0 value = 4060000.0 value = 3850000.0 value = 4200000.0 value = 6300000.0 value = 7350000.0 value = 3500000.0 value = 8400000.0 value = 7070000.0 value = 3500000.0 value = 3150000.0 value = 5943000.0 value = 4130000.0 value = 8645000.0 value = 6020000.0 value = 6020000.0 value = 5250000.0
value = 2949333.333 value = 2398666.667 value = 2901150.0 value = 3280000.0 value = 3246250.0 value = 3444179.487 value = 4258333.333 value = 4130000.0 value = 4847500.0 value = 4704000.0 value = 3826083.333 value = 4130000.0 value = 5034750.0 value = 4340000.0 value = 5588333.333 value = 4482333.333 value = 3998750.0 value = 3104500.0 value = 4119500.0 value = 3388736.842 value = 4029000.0 value = 3832500.0 value = 4631000.0 value = 3174500.0 value = 3861666.667 value = 3570000.0 value = 4095000.0 value = 5006750.0 value = 4138750.0 value = 4931500.0 value = 5413333.333 value = 2833250.0 value = 3455666.667 value = 3881500.0 value = 4622916.667 value = 4057666.667 value = 4620000.0 value = 4581500.0 value = 6416666.667 value = 5040000.0 value = 6247500.0 value = 4749500.0 value = 6242250.0 value = 5719000.0 value = 5775000.0 value = 7092467.742 value = 7367500.0 value = 8329323.333

remainder__x1 ≤ 2.5 remainder__x0 ≤ 2895.0 remainder__x0 ≤ 3950.0 remainder__x0 ≤ 3610.0 encoder__x8_no ≤ 0.5 remainder__x9 ≤ 0.5 remainder__x0 ≤ 3980.0 encoder__x5_yes ≤ 0.5 remainder__x0 ≤ 3317.5 encoder__x4_no ≤ 0.5 remainder__x0 ≤ 3930.0 remainder__x0 ≤ 2976.5 remainder__x9 ≤ 1.5 remainder__x9 ≤ 1.5 remainder__x1 ≤ 3.5 remainder__x9 ≤ 1.0 remainder__x1 ≤ 2.5 encoder__x10_yes ≤ 0.5 remainder__x1 ≤ 2.5 remainder__x0 ≤ 4600.0 remainder__x0 ≤ 4305.0 remainder__x0 ≤ 4480.0 encoder__x8_no ≤ 0.5 remainder__x9 ≤ 1.5 encoder__x7_no ≤ 0.5 remainder__x0 ≤ 4575.0 encoder__x8_yes ≤ 0.5 remainder__x3 ≤ 1.5 remainder__x0 ≤ 3165.0 remainder__x2 ≤ 2.5 remainder__x9 ≤ 1.0 remainder__x9 ≤ 1.0 encoder__x4_no ≤ 0.5 remainder__x0 ≤ 7875.0 remainder__x0 ≤ 7725.0 remainder__x0 ≤ 6235.0 remainder__x9 ≤ 2.5 encoder__x8_yes ≤ 0.5 remainder__x0 ≤ 10885.0 remainder__x0 ≤ 6485.0 remainder__x9 ≤ 0.5 encoder__x5_yes ≤ 0.5 remainder__x0 ≤ 6570.0 remainder__x0 ≤ 6710.0 remainder__x0 ≤ 8080.0 remainder__x9 ≤ 0.5 remainder__x0 ≤ 6175.0 remainder__x0 ≤ 7461.0 encoder__x8_yes ≤ 0.5 remainder__x1 ≤ 3.5
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 7656250000.0 squared_error = 88812500000.0 squared_error = 125859440000.0 squared_error = 306387685950.414 squared_error = 184566666666.666 squared_error = 14210000000.0 squared_error = 4900000000.0 squared_error = 1225000000.0 squared_error = 306250000.0 squared_error = 513485286011.082 squared_error = 37056250000.0 squared_error = 99088888888.887 squared_error = 23716000000.0 squared_error = 60025000000.0 squared_error = 468375810000.0 squared_error = 78400000000.0 squared_error = 173472250000.0 squared_error = 79488888888.887 squared_error = 70375760000.0 squared_error = 42150888888.887 squared_error = 189022859375.0 squared_error = 112155555555.557 squared_error = 397471666666.666 squared_error = 11025000000.0 squared_error = 206888888888.891 squared_error = 264609187500.0 squared_error = 64516666666.668 squared_error = 39102000000.0 squared_error = 306250000.0 squared_error = 296950888888.891 squared_error = 51450000000.0 squared_error = 23530888888.895 squared_error = 1225000000.0 squared_error = 50970888888.89 squared_error = 42642250000.0 squared_error = 174636000000.0 squared_error = 132950000000.0 squared_error = 5402250000.0 squared_error = 106030555555.551 squared_error = 619305555555.547 squared_error = 129305555555.555 squared_error = 10616666666.668 squared_error = 4900000000.0 squared_error = 2070250000.0 squared_error = 37252250000.0 squared_error = 20166222222.223 squared_error = 373235570987.656 squared_error = 1649754615384.617 squared_error = 5716666666.672 squared_error = 32043129688.883
samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 2 samples = 4 samples = 5 samples = 11 samples = 9 samples = 5 samples = 2 samples = 2 samples = 2 samples = 38 samples = 2 samples = 3 samples = 2 samples = 2 samples = 10 samples = 2 samples = 2 samples = 3 samples = 5 samples = 3 samples = 16 samples = 3 samples = 6 samples = 2 samples = 6 samples = 4 samples = 3 samples = 3 samples = 2 samples = 3 samples = 3 samples = 3 samples = 2 samples = 3 samples = 2 samples = 5 samples = 7 samples = 2 samples = 6 samples = 3 samples = 3 samples = 3 samples = 2 samples = 2 samples = 4 samples = 3 samples = 18 samples = 13 samples = 3 samples = 3
value = 3353000.0 value = 1750000.0 value = 4410000.0 value = 3640000.0 value = 4550000.0 value = 5145000.0 value = 5250000.0 value = 4060000.0 value = 4200000.0 value = 4900000.0 value = 5600000.0 value = 5565000.0 value = 4900000.0 value = 3990000.0 value = 4007500.0 value = 3080000.0 value = 3129000.0 value = 3465000.0 value = 4935000.0 value = 2975000.0 value = 3920000.0 value = 3500000.0 value = 3640000.0 value = 4200000.0 value = 3885000.0 value = 5530000.0 value = 3640000.0 value = 5250000.0 value = 5740000.0 value = 3150000.0 value = 3780000.0 value = 3990000.0 value = 3773000.0 value = 4480000.0 value = 3500000.0 value = 4690000.0 value = 4473000.0 value = 5320000.0 value = 4760000.0 value = 6475000.0 value = 6020000.0 value = 4193000.0 value = 5950000.0 value = 5600000.0 value = 7700000.0 value = 7035000.0
value = 2747500.0 value = 2065000.0 value = 2665600.0 value = 2764363.636 value = 3068333.333 value = 3500000.0 value = 2730000.0 value = 3115000.0 value = 3377500.0 value = 3488763.158 value = 4182500.0 value = 4456666.667 value = 4431000.0 value = 3255000.0 value = 3940300.0 value = 4620000.0 value = 5449500.0 value = 4153333.333 value = 4398800.0 value = 4337666.667 value = 3280375.0 value = 3966666.667 value = 3878000.0 value = 4375000.0 value = 3651666.667 value = 4901750.0 value = 4270000.0 value = 3241000.0 value = 3832500.0 value = 4832333.333 value = 4305000.0 value = 4825333.333 value = 5250000.0 value = 2727666.667 value = 3293500.0 value = 4207000.0 value = 4920000.0 value = 3846500.0 value = 4806666.667 value = 6941666.667 value = 5891666.667 value = 4935000.0 value = 6020000.0 value = 6464500.0 value = 6016500.0 value = 5322333.333 value = 6873611.111 value = 7395500.0 value = 8505000.0 value = 8153646.667

remainder__x0 ≤ 2995.0 remainder__x0 ≤ 3782.5 remainder__x0 ≤ 3550.0 remainder__x9 ≤ 0.5 remainder__x0 ≤ 3405.0 remainder__x9 ≤ 1.5 remainder__x0 ≤ 2512.5 remainder__x0 ≤ 2662.5 encoder__x5_no ≤ 0.5 remainder__x9 ≤ 1.5 remainder__x9 ≤ 2.5 remainder__x1 ≤ 2.5 remainder__x9 ≤ 0.5 remainder__x0 ≤ 4273.0 remainder__x3 ≤ 1.5 remainder__x0 ≤ 4100.0 remainder__x0 ≤ 4830.0 remainder__x0 ≤ 4616.0 remainder__x3 ≤ 1.5 remainder__x0 ≤ 5425.0 remainder__x9 ≤ 1.5 remainder__x1 ≤ 3.5 remainder__x0 ≤ 5120.0 remainder__x0 ≤ 4698.0 remainder__x1 ≤ 3.5 encoder__x4_yes ≤ 0.5 remainder__x0 ≤ 4752.5 remainder__x0 ≤ 7250.0 remainder__x3 ≤ 1.5 remainder__x0 ≤ 7790.0 remainder__x0 ≤ 10314.5 remainder__x3 ≤ 1.5 remainder__x9 ≤ 0.5 remainder__x0 ≤ 7028.0 remainder__x3 ≤ 1.5 remainder__x0 ≤ 7080.0 remainder__x0 ≤ 9310.0 remainder__x0 ≤ 7142.5 encoder__x8_no ≤ 0.5 remainder__x3 ≤ 3.5 encoder__x8_no ≤ 0.5 remainder__x3 ≤ 2.5 encoder__x6_yes ≤ 0.5 remainder__x0 ≤ 7237.5
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 26405555555.556 squared_error = 109646687500.0 squared_error = 223843760000.0 squared_error = 155881250000.0 squared_error = 1905555555.555 squared_error = 7656250000.0 squared_error = 480303250000.0 squared_error = 453850250000.0 squared_error = 1225000000.0 squared_error = 454481805555.559 squared_error = 238568750000.0 squared_error = 78400000000.0 squared_error = 65104666666.668 squared_error = 306250000.0 squared_error = 5402250000.0 squared_error = 37646000000.0 squared_error = 206984469135.803 squared_error = 99225000000.0 squared_error = 2756250000.0 squared_error = 540356687500.0 squared_error = 169834000000.0 squared_error = 40517555555.559 squared_error = 4900000000.0 squared_error = 11025000000.0 squared_error = 80372250000.0 squared_error = 2756250000.0 squared_error = 19600000000.0 squared_error = 19600000000.0 squared_error = 141104687500.0 squared_error = 54308333333.332 squared_error = 124031250000.0 squared_error = 11025000000.0 squared_error = 191406250000.0 squared_error = 68906250000.0 squared_error = 1225000000.0 squared_error = 1482250000.0 squared_error = 11772250000.0 squared_error = 49000000.0 squared_error = 215906250000.0 squared_error = 204336805555.562 squared_error = 1705446102500.0 squared_error = 672182000000.0 squared_error = 306250000.0 squared_error = 25449820900.0
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 3 samples = 4 samples = 10 samples = 8 samples = 3 samples = 2 samples = 28 samples = 10 samples = 2 samples = 6 samples = 4 samples = 2 samples = 3 samples = 2 samples = 2 samples = 7 samples = 9 samples = 2 samples = 2 samples = 4 samples = 5 samples = 3 samples = 2 samples = 2 samples = 2 samples = 2 samples = 2 samples = 2 samples = 4 samples = 6 samples = 4 samples = 2 samples = 2 samples = 2 samples = 2 samples = 2 samples = 2 samples = 2 samples = 12 samples = 6 samples = 10 samples = 3 samples = 2 samples = 2
value = 2835000.0 value = 2660000.0 value = 2520000.0 value = 2275000.0 value = 1750000.0 value = 3675000.0 value = 2800000.0 value = 2660000.0 value = 3150000.0 value = 3080000.0 value = 3360000.0 value = 3395000.0 value = 4375000.0 value = 3990000.0 value = 4900000.0 value = 4585000.0 value = 4277000.0 value = 3500000.0 value = 3010000.0 value = 4900000.0 value = 4340000.0 value = 5033000.0 value = 5866000.0 value = 3920000.0 value = 4060000.0 value = 4270000.0 value = 4480000.0 value = 4270000.0 value = 3080000.0 value = 5740000.0 value = 4620000.0 value = 3493000.0 value = 3815000.0 value = 3850000.0 value = 5530000.0 value = 4620000.0 value = 4970000.0 value = 5285000.0 value = 5215000.0 value = 3003000.0 value = 3500000.0 value = 3087000.0 value = 3710000.0 value = 4200000.0 value = 3773000.0 value = 3920000.0 value = 5950000.0 value = 6300000.0 value = 4795000.0 value = 5950000.0 value = 6090000.0 value = 6510000.0 value = 6419000.0 value = 5523000.0 value = 8400000.0 value = 7980000.0
value = 1913333.333 value = 2763250.0 value = 2865800.0 value = 2992500.0 value = 3418333.333 value = 3622500.0 value = 3608500.0 value = 3153500.0 value = 4235000.0 value = 4198833.333 value = 3552500.0 value = 4270000.0 value = 4543000.0 value = 4182500.0 value = 4476500.0 value = 3549000.0 value = 3071444.444 value = 3815000.0 value = 4147500.0 value = 3743250.0 value = 3766000.0 value = 4622333.333 value = 4095000.0 value = 3115000.0 value = 4483500.0 value = 4147500.0 value = 4753000.0 value = 2590000.0 value = 4331250.0 value = 5040000.0 value = 4707500.0 value = 5005000.0 value = 7437500.0 value = 5687500.0 value = 5005000.0 value = 5841500.0 value = 6191500.0 value = 5222000.0 value = 7157500.0 value = 6305833.333 value = 7161350.0 value = 8176000.0 value = 8557500.0 value = 8240470.0

remainder__x0 ≤ 2950.0 remainder__x0 ≤ 3110.0 remainder__x0 ≤ 3224.5 remainder__x0 ≤ 3967.0 remainder__x0 ≤ 3800.0 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 2985.0 remainder__x0 ≤ 2032.5 remainder__x1 ≤ 4.5 remainder__x0 ≤ 3725.0 remainder__x0 ≤ 3815.0 encoder__x8_yes ≤ 0.5 remainder__x0 ≤ 4466.0 remainder__x0 ≤ 4045.0 remainder__x1 ≤ 2.5 remainder__x0 ≤ 4450.0 remainder__x0 ≤ 5665.0 remainder__x0 ≤ 5150.0 remainder__x0 ≤ 4962.5 remainder__x0 ≤ 4120.0 encoder__x8_yes ≤ 0.5 remainder__x0 ≤ 7231.0 encoder__x10_no ≤ 0.5 remainder__x0 ≤ 10254.5 remainder__x9 ≤ 0.5 remainder__x1 ≤ 3.5 remainder__x0 ≤ 7785.0 remainder__x9 ≤ 0.5 encoder__x5_no ≤ 0.5 remainder__x0 ≤ 8241.0
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 1030225000000.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 2756250000.0 squared_error = 38720888888.889 squared_error = 167875209876.542 squared_error = 136100000000.0 squared_error = 1225000000.0 squared_error = 348886000000.0 squared_error = 365439555555.557 squared_error = 317955555555.553 squared_error = 194850000000.0 squared_error = 564366687500.0 squared_error = 11025000000.0 squared_error = 187288888888.887 squared_error = 2070250000.0 squared_error = 42814240000.0 squared_error = 4900000000.0 squared_error = 178549109375.0 squared_error = 10302250000.0 squared_error = 116238888888.891 squared_error = 99225000000.0 squared_error = 45582250000.0 squared_error = 44372222222.223 squared_error = 7350000000.0 squared_error = 30625000000.0 squared_error = 93372222222.219 squared_error = 177870000000.0 squared_error = 176400000000.0 squared_error = 49000000000.0 squared_error = 1551187555555.562 squared_error = 662323046875.0 squared_error = 159201000000.0
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 2 samples = 3 samples = 9 samples = 7 samples = 2 samples = 7 samples = 21 samples = 3 samples = 7 samples = 4 samples = 2 samples = 3 samples = 2 samples = 5 samples = 2 samples = 8 samples = 2 samples = 3 samples = 2 samples = 2 samples = 3 samples = 4 samples = 2 samples = 3 samples = 10 samples = 2 samples = 5 samples = 6 samples = 4 samples = 2
value = 2135000.0 value = 3255000.0 value = 3675000.0 value = 3500000.0 value = 3465000.0 value = 3710000.0 value = 3535000.0 value = 4270000.0 value = 4200000.0 value = 3010000.0 value = 3990000.0 value = 4550000.0 value = 4900000.0 value = 4165000.0 value = 4200000.0 value = 4403000.0 value = 4550000.0 value = 2450000.0 value = 3500000.0 value = 4130000.0 value = 4095000.0 value = 4200000.0 value = 3885000.0 value = 4480000.0 value = 4165000.0 value = 4025000.0 value = 3220000.0 value = 3010000.0 value = 4200000.0 value = 4767000.0 value = 4200000.0 value = 4095000.0 value = 4613000.0 value = 4893000.0 value = 2730000.0 value = 2450000.0 value = 4900000.0 value = 4305000.0 value = 4900000.0 value = 5110000.0 value = 7875000.0 value = 7000000.0 value = 5425000.0 value = 5950000.0 value = 4970000.0 value = 5040000.0 value = 5803000.0 value = 5880000.0 value = 6300000.0 value = 6083000.0 value = 5229000.0 value = 5215000.0 value = 7210000.0 value = 9240000.0 value = 8575000.0 value = 8540000.0 value = 8080940.0 value = 8400000.0
value = 1802500.0 value = 2599333.333 value = 2775888.889 value = 2920000.0 value = 3395000.0 value = 3011000.0 value = 3807666.667 value = 3873333.333 value = 2845000.0 value = 4005750.0 value = 4585000.0 value = 3733333.333 value = 4364500.0 value = 3596600.0 value = 3430000.0 value = 3149125.0 value = 3601500.0 value = 3966666.667 value = 3465000.0 value = 4693500.0 value = 4141666.667 value = 4900000.0 value = 5320000.0 value = 4841666.667 value = 7245000.0 value = 6720000.0 value = 6125000.0 value = 7744333.333 value = 6286875.0 value = 7644000.0

remainder__x0 ≤ 3407.5 encoder__x8_no ≤ 0.5 remainder__x1 ≤ 1.5 remainder__x0 ≤ 3867.0 remainder__x0 ≤ 2080.0 remainder__x1 ≤ 2.5 encoder__x10_yes ≤ 0.5 encoder__x10_yes ≤ 0.5 encoder__x6_yes ≤ 0.5 remainder__x0 ≤ 3045.0 encoder__x6_yes ≤ 0.5 remainder__x1 ≤ 5.0 remainder__x0 ≤ 4065.0 remainder__x0 ≤ 4385.0 remainder__x0 ≤ 4785.0 remainder__x3 ≤ 1.5 encoder__x5_yes ≤ 0.5 encoder__x10_yes ≤ 0.5 encoder__x8_no ≤ 0.5 remainder__x3 ≤ 3.5 encoder__x5_yes ≤ 0.5 encoder__x5_yes ≤ 0.5 encoder__x5_yes ≤ 0.5 encoder__x6_yes ≤ 0.5 remainder__x1 ≤ 3.5 encoder__x6_yes ≤ 0.5
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 135056250000.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 860256250000.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 30717555555.555 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 3136000000.0 squared_error = 78286687500.0 squared_error = 122696000000.0 squared_error = 125146000000.0 squared_error = 48764187500.0 squared_error = 52266666666.667 squared_error = 284443040000.0 squared_error = 323497234375.0 squared_error = 313600000000.0 squared_error = 75031250000.0 squared_error = 25921000000.0 squared_error = 176400000000.0 squared_error = 4900000000.0 squared_error = 105350000000.0 squared_error = 80818640000.0 squared_error = 11025000000.0 squared_error = 2756250000.0 squared_error = 1088888888.891 squared_error = 15006250000.0 squared_error = 155192187500.0 squared_error = 49986805555.555 squared_error = 14929687500.0 squared_error = 721108500000.0 squared_error = 11025000000.0 squared_error = 17226562500.0 squared_error = 135056250000.0
samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 3 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 2 samples = 4 samples = 5 samples = 5 samples = 4 samples = 3 samples = 5 samples = 16 samples = 2 samples = 6 samples = 2 samples = 2 samples = 2 samples = 3 samples = 5 samples = 2 samples = 2 samples = 3 samples = 2 samples = 4 samples = 6 samples = 4 samples = 4 samples = 2 samples = 2 samples = 2
value = 1750000.0 value = 1855000.0 value = 2870000.0 value = 3062500.0 value = 3360000.0 value = 3430000.0 value = 4340000.0 value = 1960000.0 value = 3657500.0 value = 4690000.0 value = 4480000.0 value = 3360000.0 value = 4319000.0 value = 4410000.0 value = 3474333.333 value = 3360000.0 value = 3500000.0 value = 3703000.0 value = 3500000.0 value = 3500000.0 value = 3150000.0 value = 3780000.0 value = 4480000.0 value = 4907000.0 value = 3850000.0 value = 5040000.0 value = 5145000.0 value = 5495000.0 value = 5250000.0 value = 7140000.0 value = 6300000.0 value = 6510000.0 value = 8043000.0 value = 7245000.0
value = 2464000.0 value = 3060750.0 value = 2548000.0 value = 2863000.0 value = 3484250.0 value = 2380000.0 value = 4212600.0 value = 3681125.0 value = 3640000.0 value = 2992500.0 value = 4354000.0 value = 3920000.0 value = 3780000.0 value = 2765000.0 value = 3379600.0 value = 4200000.0 value = 4287500.0 value = 4853333.333 value = 4637500.0 value = 6886250.0 value = 7484166.667 value = 6028750.0 value = 7014000.0 value = 9205000.0 value = 5521250.0 value = 7052500.0

remainder__x0 ≤ 3127.0 remainder__x0 ≤ 3420.0 remainder__x0 ≤ 3720.0 remainder__x3 ≤ 2.5 remainder__x0 ≤ 2437.5 remainder__x3 ≤ 2.5 remainder__x0 ≤ 2868.0 remainder__x1 ≤ 2.5 remainder__x1 ≤ 2.5 encoder__x6_no ≤ 0.5 remainder__x1 ≤ 2.5 remainder__x0 ≤ 4550.0 encoder__x5_no ≤ 0.5 remainder__x1 ≤ 3.5 remainder__x1 ≤ 3.5 remainder__x3 ≤ 3.0 encoder__x8_yes ≤ 0.5 encoder__x8_yes ≤ 0.5 remainder__x0 ≤ 6550.0
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 30488888888.889 squared_error = 40118750000.0 squared_error = 143554687500.0 squared_error = 5564222222.221 squared_error = 19600000000.0 squared_error = 30625000000.0 squared_error = 161928666666.666 squared_error = 291476250000.0 squared_error = 24806250000.0 squared_error = 28224000000.0 squared_error = 2756250000.0 squared_error = 50923250000.0 squared_error = 207025000000.0 squared_error = 7656250000.0 squared_error = 30216666666.664 squared_error = 4355555555.562 squared_error = 1225000000.0 squared_error = 2756250000.0 squared_error = 28322000000.0
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 3 samples = 4 samples = 4 samples = 3 samples = 2 samples = 2 samples = 3 samples = 14 samples = 2 samples = 5 samples = 2 samples = 4 samples = 2 samples = 2 samples = 3 samples = 3 samples = 2 samples = 2 samples = 3
value = 2520000.0 value = 2408000.0 value = 2653000.0 value = 3150000.0 value = 2660000.0 value = 3850000.0 value = 2660000.0 value = 4200000.0 value = 3080000.0 value = 2485000.0 value = 4193000.0 value = 4515000.0 value = 4340000.0 value = 3500000.0 value = 3710000.0 value = 3850000.0 value = 3220000.0 value = 3780000.0 value = 4305000.0 value = 4095000.0 value = 4340000.0 value = 4235000.0 value = 4900000.0 value = 4830000.0 value = 4760000.0 value = 4515000.0 value = 8463000.0 value = 9310000.0 value = 9100000.0 value = 5390000.0 value = 5652500.0 value = 7420000.0 value = 6685000.0
value = 3196666.667 value = 2397500.0 value = 2913750.0 value = 3362333.333 value = 2240000.0 value = 4725000.0 value = 3871000.0 value = 3584500.0 value = 4357500.0 value = 3094000.0 value = 2537500.0 value = 3279500.0 value = 7105000.0 value = 6667500.0 value = 7665000.0 value = 7303333.333 value = 5915000.0 value = 6142500.0 value = 6531000.0

remainder__x0 ≤ 2952.0 remainder__x0 ≤ 3312.0 encoder__x5_no ≤ 0.5 remainder__x0 ≤ 3635.0 remainder__x3 ≤ 2.5 encoder__x5_yes ≤ 0.5 remainder__x0 ≤ 3747.5 remainder__x0 ≤ 3135.0 encoder__x8_no ≤ 0.5 remainder__x0 ≤ 4675.0 remainder__x1 ≤ 3.5
squared_error = 0.0 squared_error = 0.0 squared_error = 441000000.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 30625000000.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 4900000000.0 squared_error = 19600000000.0 squared_error = 11025000000.0 squared_error = 183750000000.0 squared_error = 30625000000.0 squared_error = 465806250000.0 squared_error = 234047138888.889 squared_error = 13168750000.0 squared_error = 53361000000.0 squared_error = 30625000000.0 squared_error = 4900000000.0
samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1
samples = 2 samples = 2 samples = 2 samples = 3 samples = 2 samples = 2 samples = 12 samples = 4 samples = 2 samples = 2 samples = 2
value = 3430000.0 value = 3045000.0 value = 3311000.0 value = 3465000.0 value = 2100000.0 value = 2380000.0 value = 4550000.0 value = 4900000.0 value = 4403000.0 value = 4515000.0 value = 4200000.0 value = 3360000.0 value = 2590000.0 value = 2485000.0 value = 6650000.0 value = 7560000.0 value = 6580000.0 value = 6755000.0 value = 7525000.0 value = 7735000.0 value = 7350000.0 value = 5950000.0 value = 5880000.0 value = 6090000.0 value = 6195000.0 value = 6650000.0 value = 6293000.0
value = 3080000.0 value = 2240000.0 value = 2555000.0 value = 2870000.0 value = 3605000.0 value = 3202500.0 value = 3648166.667 value = 3027500.0 value = 3374000.0 value = 3185000.0 value = 7280000.0

remainder__x0 ≤ 3697.5 remainder__x0 ≤ 3771.0 remainder__x0 ≤ 3105.0

squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 275625000000.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 217375760000.0 squared_error = 19600000000.0 squared_error = 11025000000.0
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 2 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 10 samples = 2 samples = 2
value = 3010000.0 value = 3150000.0 value = 2380000.0 value = 2100000.0 value = 2450000.0 value = 2660000.0 value = 2870000.0 value = 2870000.0 value = 3430000.0 value = 3780000.0 value = 2520000.0 value = 3885000.0 value = 2940000.0 value = 3143000.0 value = 3605000.0 value = 3010000.0 value = 3360000.0 value = 7210000.0 value = 7350000.0
value = 3747800.0 value = 3150000.0 value = 3115000.0

encoder__x6_no ≤ 0.5
squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 139922222222.223
samples = 1 samples = 1 samples = 1 samples = 1 samples = 1
samples = 9
value = 4655000.0 value = 3010000.0 value = 3290000.0 value = 3010000.0 value = 3220000.0
value = 3647000.0

remainder__x0 ≤ 3300.0 remainder__x0 ≤ 3580.0

squared_error = 36957760000.0 squared_error = 122166187500.0
samples = 5 samples = 4
value = 3418800.0 value = 3932250.0

remainder__x0 ≤ 3093.0 remainder__x0 ≤ 3510.0 remainder__x0 ≤ 3430.0

squared_error = 0.0
squared_error = 1225000000.0 squared_error = 45776888888.889 squared_error = 79848222222.221
samples = 1
samples = 2 samples = 3 samples = 3
value = 3500000.0
value = 3535000.0 value = 3341333.333 value = 4076333.333

remainder__x0 ≤ 3605.0 remainder__x0 ≤ 3175.0

squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0
squared_error = 41209000000.0 squared_error = 1764000000.0
samples = 1 samples = 1 samples = 1 samples = 1
samples = 2 samples = 2
value = 3500000.0 value = 3570000.0 value = 3150000.0 value = 4473000.0
value = 3437000.0 value = 3878000.0

squared_error = 0.0 squared_error = 0.0 squared_error = 0.0 squared_error = 0.0

samples = 1 samples = 1 samples = 1 samples = 1
value = 3640000.0 value = 3234000.0 value = 3920000.0 value = 3836000.0