-
Notifications
You must be signed in to change notification settings - Fork 0
/
test.txt
26 lines (26 loc) · 41.5 KB
/
test.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
0.0 * var134459 + 0.0 * var134510 + 926.505 * var134511 + 686.964 * var134512 + 901.291 * var134513 + 937.588 * var134514 + 1678.513 * var134515 + 1212.94 * var134516 + 1532.917 * var134517 + 1218.92 * var134518 + 1244.1129999999998 * var134519 + 1371.597 * var134520 + 1069.33 * var134521 + 1519.6419999999998 * var134522 + 1437.926 * var134523 + 1796.748 * var134524 + 557.692 * var134525 + 1516.676 * var134526 + 1138.325 * var134527 + 1060.81 * var134528 + 1055.4 * var134529 + 889.488 * var134530 + 1370.452 * var134531 + 1307.638 * var134532 + 1373.038 * var134533 + 812.672 * var134534 + 1138.55 * var134535 + 1509.417 * var134536 + 1563.734 * var134537 + 1551.71 * var134538 + 1061.42 * var134539 + 683.918 * var134540 + 1234.804 * var134541 + 887.522 * var134542 + 1283.6689999999999 * var134543 + 1362.009 * var134544 + 1328.415 * var134545 + 1020.69 * var134546 + 1369.85 * var134547 + 1059.56 * var134548 + 724.018 * var134549 + 871.447 * var134550 + 1093.4560000000001 * var134551 + 826.058 * var134552 + 590.927 * var134553 + 1346.042 * var134554 + 634.981 * var134555 + 1290.033 * var134556 + 1500.078 * var134557 + 1225.25 * var134558 + 926.505 * var134560 + 0.0 * var134561 + 1058.08 * var134562 + 1293.5610000000001 * var134563 + 734.867 * var134564 + 991.677 * var134565 + 1121.757 * var134566 + 1176.01 * var134567 + 958.245 * var134568 + 405.139 * var134569 + 1387.745 * var134570 + 1453.245 * var134571 + 1300.501 * var134572 + 1291.266 * var134573 + 1394.9940000000001 * var134574 + 1050.19 * var134575 + 772.727 * var134576 + 1148.291 * var134577 + 1185.76 * var134578 + 846.962 * var134579 + 1039.99 * var134580 + 1027.289 * var134581 + 1219.6860000000001 * var134582 + 1436.175 * var134583 + 999.1469999999999 * var134584 + 526.623 * var134585 + 824.097 * var134586 + 1115.1480000000001 * var134587 + 1281.588 * var134588 + 1318.681 * var134589 + 1240.297 * var134590 + 889.361 * var134591 + 311.385 * var134592 + 1255.278 * var134593 + 657.765 * var134594 + 1112.408 * var134595 + 1114.19 * var134596 + 1332.2350000000001 * var134597 + 720.521 * var134598 + 1246.596 * var134599 + 658.965 * var134600 + 1400.155 * var134601 + 1595.525 * var134602 + 1311.01 * var134603 + 1083.62 * var134604 + 644.947 * var134605 + 1499.757 * var134606 + 1042.03 * var134607 + 879.131 * var134608 + 686.964 * var134610 + 1058.08 * var134611 + 0.0 * var134612 + 635.726 * var134613 + 1357.049 * var134614 + 1474.434 * var134615 + 1067.66 * var134616 + 845.953 * var134617 + 1577.7440000000001 * var134618 + 956.379 * var134619 + 1188.516 * var134620 + 1268.66 * var134621 + 981.755 * var134622 + 1355.245 * var134623 + 1603.641 * var134624 + 1173.687 * var134625 + 1303.406 * var134626 + 865.045 * var134627 + 1240.934 * var134628 + 931.187 * var134629 + 925.888 * var134630 + 1583.071 * var134631 + 982.631 * var134632 + 905.521 * var134633 + 1142.38 * var134634 + 1202.752 * var134635 + 928.03 * var134636 + 1483.166 * var134637 + 1562.925 * var134638 + 1240.57 * var134639 + 1017.061 * var134640 + 1227.556 * var134641 + 933.567 * var134642 + 1070.399 * var134643 + 675.045 * var134644 + 1011.67 * var134645 + 914.849 * var134646 + 1368.42 * var134647 + 1154.63 * var134648 + 998.866 * var134649 + 1189.47 * var134650 + 852.192 * var134651 + 771.188 * var134652 + 1277.891 * var134653 + 1132.772 * var134654 + 421.711 * var134655 + 995.729 * var134656 + 1493.311 * var134657 + 1646.995 * var134658 + 901.291 * var134660 + 1293.5610000000001 * var134661 + 635.726 * var134662 + 0.0 * var134663 + 1047.53 * var134664 + 998.508 * var134665 + 1279.45 * var134666 + 1037.04 * var134667 + 1086.27 * var134668 + 1257.746 * var134669 + 1415.4189999999999 * var134670 + 1399.76 * var134671 + 1533.275 * var134672 + 1522.138 * var134673 + 1695.82 * var134674 + 855.472 * var134675 + 1530.3090000000002 * var134676 + 1151.958 * var134677 + 1045.85 * var134678 + 1052.93 * var134679 + 633.65 * var134680 + 1454.664 * var134681 + 978.653 * var134682 + 1467.868 * var134683 + 1491.179 * var134684 + 1429.6550000000002 * var134685 + 1563.7559999999999 * var134686 + 1673.676 * var134687 + 1661.652 * var134688 + 1296.1 * var134689 + 768.13 * var134690 + 1124.24 * var134691 + 1471.012 * var134692 + 1297.3020000000001 * var134693 + 1310.771 * var134694 + 1141.633 * var134695 + 912.424 * var134696 + 1683.1599999999999 * var134697 + 835.463 * var134698 + 1332.393 * var134699 + 1427.03 * var134700 + 1391.2359999999999 * var134701 + 1406.914 * var134702 + 1253.37 * var134703 + 1359.6750000000002 * var134704 + 648.614 * var134705 + 1374.245 * var134706 + 1325.11 * var134707 + 1354.757 * var134708 + 937.588 * var134710 + 734.867 * var134711 + 1357.049 * var134712 + 1047.53 * var134713 + 0.0 * var134714 + 1496.983 * var134715 + 897.609 * var134716 + 1331.094 * var134717 + 1054.365 * var134718 + 1140.006 * var134719 + 1116.16 * var134720 + 1429.63 * var134721 + 908.135 * var134722 + 1339.333 * var134723 + 1611.989 * var134724 + 1475.4299999999998 * var134725 + 1160.1970000000001 * var134726 + 1244.2669999999998 * var134727 + 1297.857 * var134728 + 1297.596 * var134729 + 1280.8020000000001 * var134730 + 622.111 * var134731 + 1165.679 * var134732 + 1435.01 * var134733 + 1111.244 * var134734 + 1088.683 * var134735 + 765.791 * var134736 + 626.146 * var134737 + 614.122 * var134738 + 920.322 * var134739 + 1308.645 * var134740 + 1319.275 * var134741 + 423.482 * var134742 + 1107.26 * var134743 + 1392.632 * var134744 + 1340.561 * var134745 + 893.431 * var134746 + 799.765 * var134747 + 1235.022 * var134748 + 582.059 * var134749 + 891.667 * var134750 + 1126.22 * var134751 + 1437.16 * var134752 + 1180.54 * var134753 + 1236.84 * var134754 + 1379.814 * var134755 + 1464.267 * var134756 + 1441.845 * var134757 + 562.518 * var134758 + 1678.513 * var134760 + 991.677 * var134761 + 1474.434 * var134762 + 998.508 * var134763 + 1496.983 * var134764 + 0.0 * var134765 + 1688.12 * var134766 + 628.481 * var134767 + 1336.4270000000001 * var134768 + 1396.816 * var134769 + 1183.98 * var134770 + 1678.2489999999998 * var134771 + 1662.589 * var134772 + 1726.371 * var134773 + 1270.37 * var134774 + 1438.785 * var134775 + 1442.259 * var134776 + 1108.85 * var134777 + 935.667 * var134778 + 1105.47 * var134779 + 789.025 * var134780 + 904.173 * var134781 + 1517.31 * var134782 + 984.834 * var134783 + 1457.26 * var134784 + 915.54 * var134785 + 1351.82 * var134786 + 1381.67 * var134787 + 882.861 * var134788 + 962.213 * var134789 + 1590.7069999999999 * var134790 + 1466.341 * var134791 + 1303.062 * var134792 + 1128.875 * var134793 + 890.137 * var134794 + 968.018 * var134795 + 1406.35 * var134796 + 1822.591 * var134797 + 897.55 * var134798 + 1239.65 * var134799 + 1361.048 * var134800 + 1653.83 * var134801 + 1886.288 * var134802 + 1514.3220000000001 * var134803 + 1094.86 * var134804 + 1397.057 * var134805 + 1063.05 * var134806 + 1516.7669999999998 * var134807 + 1510.132 * var134808 + 1212.94 * var134810 + 1121.757 * var134811 + 1067.66 * var134812 + 1279.45 * var134813 + 897.609 * var134814 + 1688.12 * var134815 + 0.0 * var134816 + 1504.181 * var134817 + 510.084 * var134818 + 733.31 * var134819 + 1783.865 * var134820 + 878.869 * var134821 + 1247.26 * var134822 + 871.468 * var134823 + 1269.8960000000002 * var134824 + 1659.344 * var134825 + 647.629 * var134826 + 1475.064 * var134827 + 1509.833 * var134828 + 1647.512 * var134829 + 1154.65 * var134830 + 942.338 * var134831 + 1011.7 * var134832 + 1497.794 * var134833 + 1498.134 * var134834 + 923.467 * var134835 + 750.186 * var134836 + 976.826 * var134837 + 805.259 * var134838 + 1422.703 * var134839 + 982.338 * var134840 + 1658.4 * var134841 + 810.372 * var134842 + 1537.3000000000002 * var134843 + 919.986 * var134844 + 1440.579 * var134845 + 1244.335 * var134846 + 1697.374 * var134847 + 1474.1190000000001 * var134848 + 1224.86 * var134849 + 1157.26 * var134850 + 1123.58 * var134851 + 1838.848 * var134852 + 1317.34 * var134853 + 1537.732 * var134854 + 1342.442 * var134855 + 794.082 * var134856 + 1612.397 * var134857 + 1460.127 * var134858 + 1532.917 * var134860 + 1176.01 * var134861 + 845.953 * var134862 + 1037.04 * var134863 + 1331.094 * var134864 + 628.481 * var134865 + 1504.181 * var134866 + 0.0 * var134867 + 1182.768 * var134868 + 770.871 * var134869 + 1377.287 * var134870 + 1457.109 * var134871 + 1249.0 * var134872 + 1097.89 * var134873 + 1740.392 * var134874 + 1074.537 * var134875 + 1288.6 * var134876 + 1468.54 * var134877 + 571.419 * var134878 + 967.168 * var134879 + 848.198 * var134880 + 750.514 * var134881 + 1442.9470000000001 * var134882 + 856.019 * var134883 + 1078.37 * var134884 + 749.884 * var134885 + 827.434 * var134886 + 1401.917 * var134887 + 716.972 * var134888 + 741.073 * var134889 + 1396.383 * var134890 + 837.86 * var134891 + 1415.085 * var134892 + 500.394 * var134893 + 1242.059 * var134894 + 827.086 * var134895 + 1166.97 * var134896 + 1396.78 * var134897 + 997.795 * var134898 + 972.219 * var134899 + 732.567 * var134900 + 1151.433 * var134901 + 1617.141 * var134902 + 995.641 * var134903 + 1575.2930000000001 * var134904 + 1149.0819999999999 * var134905 + 1369.694 * var134906 + 888.286 * var134907 + 1538.458 * var134908 + 1218.92 * var134910 + 958.245 * var134911 + 1577.7440000000001 * var134912 + 1086.27 * var134913 + 1054.365 * var134914 + 1336.4270000000001 * var134915 + 510.084 * var134916 + 1182.768 * var134917 + 0.0 * var134918 + 1243.394 * var134919 + 1467.0439999999999 * var134920 + 957.568 * var134921 + 1198.9 * var134922 + 814.065 * var134923 + 1422.132 * var134924 + 1313.99 * var134925 + 970.34 * var134926 + 1150.28 * var134927 + 1234.59 * var134928 + 1289.571 * var134929 + 1070.14 * var134930 + 432.254 * var134931 + 715.804 * var134932 + 987.71 * var134933 + 1166.27 * var134934 + 967.088 * var134935 + 784.675 * var134936 + 1083.6570000000002 * var134937 + 1050.03 * var134938 + 1097.4 * var134939 + 764.466 * var134940 + 1488.149 * var134941 + 863.798 * var134942 + 1278.682 * var134943 + 1363.79 * var134944 + 1578.123 * var134945 + 734.251 * var134946 + 1475.82 * var134947 + 1260.383 * var134948 + 1299.424 * var134949 + 1617.21 * var134950 + 1081.11 * var134951 + 1924.484 * var134952 + 1658.685 * var134953 + 1547.054 * var134954 + 1359.816 * var134955 + 1170.0639999999999 * var134956 + 1374.724 * var134957 + 978.62 * var134958 + 1244.1129999999998 * var134960 + 405.139 * var134961 + 956.379 * var134962 + 1257.746 * var134963 + 1140.006 * var134964 + 1396.816 * var134965 + 733.31 * var134966 + 770.871 * var134967 + 1243.394 * var134968 + 0.0 * var134969 + 1375.937 * var134970 + 1612.179 * var134971 + 1214.51 * var134972 + 886.127 * var134973 + 1231.46 * var134974 + 1176.88 * var134975 + 1177.866 * var134976 + 1112.4759999999999 * var134977 + 1342.29 * var134978 + 1063.22 * var134979 + 792.559 * var134980 + 868.036 * var134981 + 1067.45 * var134982 + 1428.386 * var134983 + 1404.286 * var134984 + 931.7620000000001 * var134985 + 1229.2359999999999 * var134986 + 1519.4389999999999 * var134987 + 876.449 * var134988 + 1511.944 * var134989 + 943.326 * var134990 + 991.703 * var134991 + 716.524 * var134992 + 973.712 * var134993 + 1062.904 * var134994 + 707.269 * var134995 + 1116.14 * var134996 + 1550.623 * var134997 + 976.652 * var134998 + 1465.771 * var134999 + 1064.104 * var135000 + 1411.777 * var135001 + 1195.66 * var135002 + 1333.38 * var135003 + 804.422 * var135004 + 609.132 * var135005 + 1463.942 * var135006 + 1263.32 * var135007 + 1284.27 * var135008 + 1371.597 * var135010 + 1387.745 * var135011 + 1188.516 * var135012 + 1415.4189999999999 * var135013 + 1116.16 * var135014 + 1183.98 * var135015 + 1783.865 * var135016 + 1377.287 * var135017 + 1467.0439999999999 * var135018 + 1375.937 * var135019 + 0.0 * var135020 + 1633.177 * var135021 + 1398.0320000000002 * var135022 + 1306.04 * var135023 + 1121.86 * var135024 + 813.905 * var135025 + 1429.037 * var135026 + 1270.149 * var135027 + 1317.023 * var135028 + 1427.395 * var135029 + 1374.837 * var135030 + 1034.79 * var135031 + 815.218 * var135032 + 521.268 * var135033 + 1609.37 * var135034 + 871.519 * var135035 + 1497.257 * var135036 + 1182.85 * var135037 + 1480.54 * var135038 + 1624.659 * var135039 + 894.115 * var135040 + 1034.87 * var135041 + 1076.36 * var135042 + 1415.0439999999999 * var135043 + 863.879 * var135044 + 988.989 * var135045 + 1087.49 * var135046 + 1273.18 * var135047 + 1364.821 * var135048 + 711.858 * var135049 + 988.74 * var135050 + 1349.6689999999999 * var135051 + 1020.72 * var135052 + 1604.6109999999999 * var135053 + 1477.866 * var135054 + 766.805 * var135055 + 1269.478 * var135056 + 1408.614 * var135057 + 1648.644 * var135058 + 1069.33 * var135060 + 1453.245 * var135061 + 1268.66 * var135062 + 1399.76 * var135063 + 1429.63 * var135064 + 1678.2489999999998 * var135065 + 878.869 * var135066 + 1457.109 * var135067 + 957.568 * var135068 + 1612.179 * var135069 + 1633.177 * var135070 + 0.0 * var135071 + 738.599 * var135072 + 1576.308 * var135073 + 1091.05 * var135074 + 1523.867 * var135075 + 967.488 * var135076 + 1195.52 * var135077 + 1520.0819999999999 * var135078 + 1381.8 * var135079 + 1300.28 * var135080 + 828.241 * var135081 + 817.959 * var135082 + 1125.39 * var135083 + 1176.44 * var135084 + 1363.0749999999998 * var135085 + 681.518 * var135086 + 1109.17 * var135087 + 815.508 * var135088 + 716.036 * var135089 + 822.3 * var135090 + 892.997 * var135091 + 1141.86 * var135092 + 977.963 * var135093 + 1336.23 * var135094 + 1394.58 * var135095 + 968.687 * var135096 + 928.942 * var135097 + 1619.749 * var135098 + 1067.17 * var135099 + 1150.9 * var135100 + 988.103 * var135101 + 1642.91 * var135102 + 1660.257 * var135103 + 1679.2040000000002 * var135104 + 1112.08 * var135105 + 1272.219 * var135106 + 1272.3090000000002 * var135107 + 1576.829 * var135108 + 1519.6419999999998 * var135110 + 1300.501 * var135111 + 981.755 * var135112 + 1533.275 * var135113 + 908.135 * var135114 + 1662.589 * var135115 + 1247.26 * var135116 + 1249.0 * var135117 + 1198.9 * var135118 + 1214.51 * var135119 + 1398.0320000000002 * var135120 + 738.599 * var135121 + 0.0 * var135122 + 1024.37 * var135123 + 1571.79 * var135124 + 1088.252 * var135125 + 1498.478 * var135126 + 1355.664 * var135127 + 1591.37 * var135128 + 1077.88 * var135129 + 1492.693 * var135130 + 1490.0720000000001 * var135131 + 749.017 * var135132 + 876.764 * var135133 + 1727.226 * var135134 + 1411.255 * var135135 + 1420.1170000000002 * var135136 + 1198.79 * var135137 + 1028.39 * var135138 + 700.376 * var135139 + 1134.8229999999999 * var135140 + 411.14 * var135141 + 1065.98 * var135142 + 1533.349 * var135143 + 1151.63 * var135144 + 1230.627 * var135145 + 1468.71 * var135146 + 970.06 * var135147 + 1476.69 * var135148 + 1332.6370000000002 * var135149 + 1461.54 * var135150 + 1624.016 * var135151 + 1198.54 * var135152 + 1734.296 * var135153 + 1595.722 * var135154 + 884.661 * var135155 + 784.798 * var135156 + 533.71 * var135157 + 1080.25 * var135158 + 1437.926 * var135160 + 1291.266 * var135161 + 1355.245 * var135162 + 1522.138 * var135163 + 1339.333 * var135164 + 1726.371 * var135165 + 871.468 * var135166 + 1097.89 * var135167 + 814.065 * var135168 + 886.127 * var135169 + 1306.04 * var135170 + 1576.308 * var135171 + 1024.37 * var135172 + 0.0 * var135173 + 1163.17 * var135174 + 1685.51 * var135175 + 1519.097 * var135176 + 1331.308 * var135177 + 1234.39 * var135178 + 1189.69 * var135179 + 1292.96 * var135180 + 1246.319 * var135181 + 859.746 * var135182 + 1277.88 * var135183 + 1582.24 * var135184 + 1020.66 * var135185 + 1522.453 * var135186 + 713.187 * var135187 + 1191.89 * var135188 + 1691.1689999999999 * var135189 + 754.008 * var135190 + 1435.5099999999998 * var135191 + 1516.95 * var135192 + 1145.0 * var135193 + 1123.48 * var135194 + 1593.396 * var135195 + 1548.316 * var135196 + 1721.4650000000001 * var135197 + 1556.078 * var135198 + 903.115 * var135199 + 1718.9560000000001 * var135200 + 1736.179 * var135201 + 2081.7870000000003 * var135202 + 1179.45 * var135203 + 1173.74 * var135204 + 933.534 * var135205 + 1314.0059999999999 * var135206 + 1518.666 * var135207 + 1508.537 * var135208 + 1796.748 * var135210 + 1394.9940000000001 * var135211 + 1603.641 * var135212 + 1695.82 * var135213 + 1611.989 * var135214 + 1270.37 * var135215 + 1269.8960000000002 * var135216 + 1740.392 * var135217 + 1422.132 * var135218 + 1231.46 * var135219 + 1121.86 * var135220 + 1091.05 * var135221 + 1571.79 * var135222 + 1163.17 * var135223 + 0.0 * var135224 + 1252.32 * var135225 + 622.267 * var135226 + 977.897 * var135227 + 1715.545 * var135228 + 1633.872 * var135229 + 1750.913 * var135230 + 989.878 * var135231 + 1455.533 * var135232 + 1530.036 * var135233 + 1268.12 * var135234 + 1524.712 * var135235 + 1489.717 * var135236 + 1596.018 * var135237 + 1659.877 * var135238 + 1460.5880000000002 * var135239 + 1632.775 * var135240 + 1160.65 * var135241 + 1482.509 * var135242 + 1511.938 * var135243 + 1078.69 * var135244 + 1728.382 * var135245 + 1464.6 * var135246 + 1719.5700000000002 * var135247 + 1725.693 * var135248 + 1072.73 * var135249 + 1479.519 * var135250 + 997.382 * var135251 + 1611.13 * var135252 + 1425.55 * var135253 + 1892.991 * var135254 + 1181.93 * var135255 + 1026.66 * var135256 + 1587.035 * var135257 + 1342.68 * var135258 + 557.692 * var135260 + 1050.19 * var135261 + 1173.687 * var135262 + 855.472 * var135263 + 1475.4299999999998 * var135264 + 1438.785 * var135265 + 1659.344 * var135266 + 1074.537 * var135267 + 1313.99 * var135268 + 1176.88 * var135269 + 813.905 * var135270 + 1523.867 * var135271 + 1088.252 * var135272 + 1685.51 * var135273 + 1252.32 * var135274 + 0.0 * var135275 + 1253.09 * var135276 + 1255.32 * var135277 + 503.118 * var135278 + 1465.9 * var135279 + 830.008 * var135280 + 1477.9009999999998 * var135281 + 1031.71 * var135282 + 815.346 * var135283 + 1370.364 * var135284 + 1101.88 * var135285 + 1401.215 * var135286 + 1453.18 * var135287 + 1073.62 * var135288 + 1603.824 * var135289 + 1241.6100000000001 * var135290 + 677.112 * var135291 + 1361.575 * var135292 + 889.951 * var135293 + 893.83 * var135294 + 793.003 * var135295 + 1234.51 * var135296 + 1236.032 * var135297 + 968.319 * var135298 + 893.371 * var135299 + 915.956 * var135300 + 535.764 * var135301 + 1189.97 * var135302 + 790.706 * var135303 + 1463.037 * var135304 + 751.976 * var135305 + 1482.516 * var135306 + 942.386 * var135307 + 1551.115 * var135308 + 1516.676 * var135310 + 772.727 * var135311 + 1303.406 * var135312 + 1530.3090000000002 * var135313 + 1160.1970000000001 * var135314 + 1442.259 * var135315 + 647.629 * var135316 + 1288.6 * var135317 + 970.34 * var135318 + 1177.866 * var135319 + 1429.037 * var135320 + 967.488 * var135321 + 1498.478 * var135322 + 1519.097 * var135323 + 622.267 * var135324 + 1253.09 * var135325 + 0.0 * var135326 + 1256.112 * var135327 + 1161.12 * var135328 + 1395.403 * var135329 + 1453.339 * var135330 + 538.086 * var135331 + 833.266 * var135332 + 907.769 * var135333 + 1147.32 * var135334 + 1072.92 * var135335 + 867.45 * var135336 + 1189.489 * var135337 + 1037.61 * var135338 + 838.321 * var135339 + 1035.07 * var135340 + 1648.176 * var135341 + 860.242 * var135342 + 889.671 * var135343 + 826.107 * var135344 + 1179.18 * var135345 + 1272.934 * var135346 + 1698.699 * var135347 + 1133.87 * var135348 + 1416.886 * var135349 + 857.252 * var135350 + 1480.223 * var135351 + 1822.2579999999998 * var135352 + 1739.7749999999999 * var135353 + 1592.756 * var135354 + 881.695 * var135355 + 750.346 * var135356 + 964.768 * var135357 + 1651.858 * var135358 + 1138.325 * var135360 + 1148.291 * var135361 + 865.045 * var135362 + 1151.958 * var135363 + 1244.2669999999998 * var135364 + 1108.85 * var135365 + 1475.064 * var135366 + 1468.54 * var135367 + 1150.28 * var135368 + 1112.4759999999999 * var135369 + 1270.149 * var135370 + 1195.52 * var135371 + 1355.664 * var135372 + 1331.308 * var135373 + 977.897 * var135374 + 1255.32 * var135375 + 1256.112 * var135376 + 0.0 * var135377 + 1084.4 * var135378 + 655.975 * var135379 + 773.016 * var135380 + 718.026 * var135381 + 809.064 * var135382 + 1322.598 * var135383 + 656.968 * var135384 + 1252.86 * var135385 + 724.878 * var135386 + 618.121 * var135387 + 1662.567 * var135388 + 1113.25 * var135389 + 799.647 * var135390 + 944.524 * var135391 + 1344.73 * var135392 + 980.584 * var135393 + 1383.501 * var135394 + 750.485 * var135395 + 1335.319 * var135396 + 1220.79 * var135397 + 877.758 * var135398 + 663.814 * var135399 + 1400.477 * var135400 + 1305.989 * var135401 + 1013.14 * var135402 + 1334.38 * var135403 + 965.089 * var135404 + 503.344 * var135405 + 982.039 * var135406 + 1112.65 * var135407 + 1494.123 * var135408 + 1060.81 * var135410 + 1185.76 * var135411 + 1240.934 * var135412 + 1045.85 * var135413 + 1297.857 * var135414 + 935.667 * var135415 + 1509.833 * var135416 + 571.419 * var135417 + 1234.59 * var135418 + 1342.29 * var135419 + 1317.023 * var135420 + 1520.0819999999999 * var135421 + 1591.37 * var135422 + 1234.39 * var135423 + 1715.545 * var135424 + 503.118 * var135425 + 1161.12 * var135426 + 1084.4 * var135427 + 0.0 * var135428 + 1533.147 * var135429 + 1323.163 * var135430 + 1321.933 * var135431 + 1433.658 * var135432 + 1318.464 * var135433 + 1562.137 * var135434 + 1102.15 * var135435 + 898.097 * var135436 + 1678.138 * var135437 + 704.574 * var135438 + 1312.492 * var135439 + 1414.5729999999999 * var135440 + 1180.23 * var135441 + 874.375 * var135442 + 1071.813 * var135443 + 969.558 * var135444 + 815.18 * var135445 + 1230.95 * var135446 + 1357.578 * var135447 + 1053.35 * var135448 + 954.611 * var135449 + 1303.9859999999999 * var135450 + 718.163 * var135451 + 1351.02 * var135452 + 578.655 * var135453 + 1530.284 * var135454 + 819.223 * var135455 + 979.398 * var135456 + 1445.504 * var135457 + 1258.75 * var135458 + 1055.4 * var135460 + 846.962 * var135461 + 931.187 * var135462 + 1052.93 * var135463 + 1297.596 * var135464 + 1105.47 * var135465 + 1647.512 * var135466 + 967.168 * var135467 + 1289.571 * var135468 + 1063.22 * var135469 + 1427.395 * var135470 + 1381.8 * var135471 + 1077.88 * var135472 + 1189.69 * var135473 + 1633.872 * var135474 + 1465.9 * var135475 + 1395.403 * var135476 + 655.975 * var135477 + 1533.147 * var135478 + 0.0 * var135479 + 1186.618 * var135480 + 857.317 * var135481 + 1299.1570000000002 * var135482 + 1533.1779999999999 * var135483 + 1123.76 * var135484 + 1373.585 * var135485 + 1117.67 * var135486 + 1274.096 * var135487 + 1684.1399999999999 * var135488 + 1628.3380000000002 * var135489 + 1309.274 * var135490 + 1127.15 * var135491 + 935.7 * var135492 + 1362.612 * var135493 + 727.526 * var135494 + 1406.46 * var135495 + 1520.327 * var135496 + 1347.22 * var135497 + 867.149 * var135498 + 715.537 * var135499 + 1505.9270000000001 * var135500 + 1516.569 * var135501 + 1106.71 * var135502 + 1646.3270000000002 * var135503 + 1424.9850000000001 * var135504 + 713.924 * var135505 + 1013.35 * var135506 + 1611.5900000000001 * var135507 + 1726.0929999999998 * var135508 + 889.488 * var135510 + 1039.99 * var135511 + 925.888 * var135512 + 633.65 * var135513 + 1280.8020000000001 * var135514 + 789.025 * var135515 + 1154.65 * var135516 + 848.198 * var135517 + 1070.14 * var135518 + 792.559 * var135519 + 1374.837 * var135520 + 1300.28 * var135521 + 1492.693 * var135522 + 1292.96 * var135523 + 1750.913 * var135524 + 830.008 * var135525 + 1453.339 * var135526 + 773.016 * var135527 + 1323.163 * var135528 + 1186.618 * var135529 + 0.0 * var135530 + 1147.598 * var135531 + 1282.363 * var135532 + 1014.82 * var135533 + 1284.983 * var135534 + 805.117 * var135535 + 1484.142 * var135536 + 1391.137 * var135537 + 1279.908 * var135538 + 1589.271 * var135539 + 817.979 * var135540 + 1327.47 * var135541 + 1351.375 * var135542 + 1067.4 * var135543 + 1350.259 * var135544 + 507.983 * var135545 + 1025.11 * var135546 + 1307.615 * var135547 + 319.469 * var135548 + 698.743 * var135549 + 1047.67 * var135550 + 1034.91 * var135551 + 1321.32 * var135552 + 1294.46 * var135553 + 1319.093 * var135554 + 608.032 * var135555 + 1082.32 * var135556 + 1679.632 * var135557 + 721.107 * var135558 + 1370.452 * var135560 + 1027.289 * var135561 + 1583.071 * var135562 + 1454.664 * var135563 + 622.111 * var135564 + 904.173 * var135565 + 942.338 * var135566 + 750.514 * var135567 + 432.254 * var135568 + 868.036 * var135569 + 1034.79 * var135570 + 828.241 * var135571 + 1490.0720000000001 * var135572 + 1246.319 * var135573 + 989.878 * var135574 + 1477.9009999999998 * var135575 + 538.086 * var135576 + 718.026 * var135577 + 1321.933 * var135578 + 857.317 * var135579 + 1147.598 * var135580 + 0.0 * var135581 + 1148.058 * var135582 + 812.899 * var135583 + 1374.994 * var135584 + 534.834 * var135585 + 1216.929 * var135586 + 651.403 * var135587 + 1236.233 * var135588 + 789.696 * var135589 + 686.534 * var135590 + 1110.09 * var135591 + 715.904 * var135592 + 846.428 * var135593 + 931.536 * var135594 + 1468.511 * var135595 + 734.848 * var135596 + 1421.876 * var135597 + 828.129 * var135598 + 1204.17 * var135599 + 1395.338 * var135600 + 942.137 * var135601 + 1492.23 * var135602 + 1319.23 * var135603 + 1114.8 * var135604 + 1221.37 * var135605 + 1288.432 * var135606 + 1412.379 * var135607 + 1184.629 * var135608 + 1307.638 * var135610 + 1219.6860000000001 * var135611 + 982.631 * var135612 + 978.653 * var135613 + 1165.679 * var135614 + 1517.31 * var135615 + 1011.7 * var135616 + 1442.9470000000001 * var135617 + 715.804 * var135618 + 1067.45 * var135619 + 815.218 * var135620 + 817.959 * var135621 + 749.017 * var135622 + 859.746 * var135623 + 1455.533 * var135624 + 1031.71 * var135625 + 833.266 * var135626 + 809.064 * var135627 + 1433.658 * var135628 + 1299.1570000000002 * var135629 + 1282.363 * var135630 + 1148.058 * var135631 + 0.0 * var135632 + 1336.4859999999999 * var135633 + 1466.032 * var135634 + 693.063 * var135635 + 773.067 * var135636 + 721.094 * var135637 + 1564.6909999999998 * var135638 + 1082.8809999999999 * var135639 + 1060.375 * var135640 + 945.995 * var135641 + 1358.2640000000001 * var135642 + 1418.2649999999999 * var135643 + 1061.87 * var135644 + 1342.1219999999998 * var135645 + 1388.4099999999999 * var135646 + 1401.97 * var135647 + 1236.583 * var135648 + 583.62 * var135649 + 1399.461 * var135650 + 1567.4740000000002 * var135651 + 1753.819 * var135652 + 1664.19 * var135653 + 1317.58 * var135654 + 769.577 * var135655 + 454.26 * var135656 + 658.92 * var135657 + 1356.009 * var135658 + 1373.038 * var135660 + 1436.175 * var135661 + 905.521 * var135662 + 1467.868 * var135663 + 1435.01 * var135664 + 984.834 * var135665 + 1497.794 * var135666 + 856.019 * var135667 + 987.71 * var135668 + 1428.386 * var135669 + 521.268 * var135670 + 1125.39 * var135671 + 876.764 * var135672 + 1277.88 * var135673 + 1530.036 * var135674 + 815.346 * var135675 + 907.769 * var135676 + 1322.598 * var135677 + 1318.464 * var135678 + 1533.1779999999999 * var135679 + 1014.82 * var135680 + 812.899 * var135681 + 1336.4859999999999 * var135682 + 0.0 * var135683 + 1661.819 * var135684 + 1347.733 * var135685 + 1683.453 * var135686 + 1464.3020000000001 * var135687 + 1572.991 * var135688 + 1577.1399999999999 * var135689 + 1414.604 * var135690 + 1095.48 * var135691 + 1124.79 * var135692 + 893.776 * var135693 + 1385.147 * var135694 + 1510.257 * var135695 + 1547.7469999999998 * var135696 + 1267.88 * var135697 + 1014.95 * var135698 + 1233.126 * var135699 + 1053.6 * var135700 + 1351.1100000000001 * var135701 + 1309.37 * var135702 + 1606.0520000000001 * var135703 + 1299.74 * var135704 + 819.254 * var135705 + 1658.115 * var135706 + 887.346 * var135707 + 1735.9270000000001 * var135708 <= 38204.578
var134459 + var134460 + var134461 + var134462 + var134463 + var134464 + var134465 + var134466 + var134467 + var134468 + var134469 + var134470 + var134471 + var134472 + var134473 + var134474 + var134475 + var134476 + var134477 + var134478 + var134479 + var134480 + var134481 + var134482 + var134483 + var134484 + var134485 + var134486 + var134487 + var134488 + var134489 + var134490 + var134491 + var134492 + var134493 + var134494 + var134495 + var134496 + var134497 + var134498 + var134499 + var134500 + var134501 + var134502 + var134503 + var134504 + var134505 + var134506 + var134507 + var134508 == 1.0
var134509 + var134510 + var134511 + var134512 + var134513 + var134514 + var134515 + var134516 + var134517 + var134518 + var134519 + var134520 + var134521 + var134522 + var134523 + var134524 + var134525 + var134526 + var134527 + var134528 + var134529 + var134530 + var134531 + var134532 + var134533 + var134534 + var134535 + var134536 + var134537 + var134538 + var134539 + var134540 + var134541 + var134542 + var134543 + var134544 + var134545 + var134546 + var134547 + var134548 + var134549 + var134550 + var134551 + var134552 + var134553 + var134554 + var134555 + var134556 + var134557 + var134558 == 1.0
var134559 + var134560 + var134561 + var134562 + var134563 + var134564 + var134565 + var134566 + var134567 + var134568 + var134569 + var134570 + var134571 + var134572 + var134573 + var134574 + var134575 + var134576 + var134577 + var134578 + var134579 + var134580 + var134581 + var134582 + var134583 + var134584 + var134585 + var134586 + var134587 + var134588 + var134589 + var134590 + var134591 + var134592 + var134593 + var134594 + var134595 + var134596 + var134597 + var134598 + var134599 + var134600 + var134601 + var134602 + var134603 + var134604 + var134605 + var134606 + var134607 + var134608 == 1.0
var134609 + var134610 + var134611 + var134612 + var134613 + var134614 + var134615 + var134616 + var134617 + var134618 + var134619 + var134620 + var134621 + var134622 + var134623 + var134624 + var134625 + var134626 + var134627 + var134628 + var134629 + var134630 + var134631 + var134632 + var134633 + var134634 + var134635 + var134636 + var134637 + var134638 + var134639 + var134640 + var134641 + var134642 + var134643 + var134644 + var134645 + var134646 + var134647 + var134648 + var134649 + var134650 + var134651 + var134652 + var134653 + var134654 + var134655 + var134656 + var134657 + var134658 == 1.0
var134659 + var134660 + var134661 + var134662 + var134663 + var134664 + var134665 + var134666 + var134667 + var134668 + var134669 + var134670 + var134671 + var134672 + var134673 + var134674 + var134675 + var134676 + var134677 + var134678 + var134679 + var134680 + var134681 + var134682 + var134683 + var134684 + var134685 + var134686 + var134687 + var134688 + var134689 + var134690 + var134691 + var134692 + var134693 + var134694 + var134695 + var134696 + var134697 + var134698 + var134699 + var134700 + var134701 + var134702 + var134703 + var134704 + var134705 + var134706 + var134707 + var134708 == 1.0
var134709 + var134710 + var134711 + var134712 + var134713 + var134714 + var134715 + var134716 + var134717 + var134718 + var134719 + var134720 + var134721 + var134722 + var134723 + var134724 + var134725 + var134726 + var134727 + var134728 + var134729 + var134730 + var134731 + var134732 + var134733 + var134734 + var134735 + var134736 + var134737 + var134738 + var134739 + var134740 + var134741 + var134742 + var134743 + var134744 + var134745 + var134746 + var134747 + var134748 + var134749 + var134750 + var134751 + var134752 + var134753 + var134754 + var134755 + var134756 + var134757 + var134758 == 1.0
var134759 + var134760 + var134761 + var134762 + var134763 + var134764 + var134765 + var134766 + var134767 + var134768 + var134769 + var134770 + var134771 + var134772 + var134773 + var134774 + var134775 + var134776 + var134777 + var134778 + var134779 + var134780 + var134781 + var134782 + var134783 + var134784 + var134785 + var134786 + var134787 + var134788 + var134789 + var134790 + var134791 + var134792 + var134793 + var134794 + var134795 + var134796 + var134797 + var134798 + var134799 + var134800 + var134801 + var134802 + var134803 + var134804 + var134805 + var134806 + var134807 + var134808 == 1.0
var134809 + var134810 + var134811 + var134812 + var134813 + var134814 + var134815 + var134816 + var134817 + var134818 + var134819 + var134820 + var134821 + var134822 + var134823 + var134824 + var134825 + var134826 + var134827 + var134828 + var134829 + var134830 + var134831 + var134832 + var134833 + var134834 + var134835 + var134836 + var134837 + var134838 + var134839 + var134840 + var134841 + var134842 + var134843 + var134844 + var134845 + var134846 + var134847 + var134848 + var134849 + var134850 + var134851 + var134852 + var134853 + var134854 + var134855 + var134856 + var134857 + var134858 == 1.0
var134859 + var134860 + var134861 + var134862 + var134863 + var134864 + var134865 + var134866 + var134867 + var134868 + var134869 + var134870 + var134871 + var134872 + var134873 + var134874 + var134875 + var134876 + var134877 + var134878 + var134879 + var134880 + var134881 + var134882 + var134883 + var134884 + var134885 + var134886 + var134887 + var134888 + var134889 + var134890 + var134891 + var134892 + var134893 + var134894 + var134895 + var134896 + var134897 + var134898 + var134899 + var134900 + var134901 + var134902 + var134903 + var134904 + var134905 + var134906 + var134907 + var134908 == 1.0
var134909 + var134910 + var134911 + var134912 + var134913 + var134914 + var134915 + var134916 + var134917 + var134918 + var134919 + var134920 + var134921 + var134922 + var134923 + var134924 + var134925 + var134926 + var134927 + var134928 + var134929 + var134930 + var134931 + var134932 + var134933 + var134934 + var134935 + var134936 + var134937 + var134938 + var134939 + var134940 + var134941 + var134942 + var134943 + var134944 + var134945 + var134946 + var134947 + var134948 + var134949 + var134950 + var134951 + var134952 + var134953 + var134954 + var134955 + var134956 + var134957 + var134958 == 1.0
var134959 + var134960 + var134961 + var134962 + var134963 + var134964 + var134965 + var134966 + var134967 + var134968 + var134969 + var134970 + var134971 + var134972 + var134973 + var134974 + var134975 + var134976 + var134977 + var134978 + var134979 + var134980 + var134981 + var134982 + var134983 + var134984 + var134985 + var134986 + var134987 + var134988 + var134989 + var134990 + var134991 + var134992 + var134993 + var134994 + var134995 + var134996 + var134997 + var134998 + var134999 + var135000 + var135001 + var135002 + var135003 + var135004 + var135005 + var135006 + var135007 + var135008 == 1.0
var135009 + var135010 + var135011 + var135012 + var135013 + var135014 + var135015 + var135016 + var135017 + var135018 + var135019 + var135020 + var135021 + var135022 + var135023 + var135024 + var135025 + var135026 + var135027 + var135028 + var135029 + var135030 + var135031 + var135032 + var135033 + var135034 + var135035 + var135036 + var135037 + var135038 + var135039 + var135040 + var135041 + var135042 + var135043 + var135044 + var135045 + var135046 + var135047 + var135048 + var135049 + var135050 + var135051 + var135052 + var135053 + var135054 + var135055 + var135056 + var135057 + var135058 == 1.0
var135059 + var135060 + var135061 + var135062 + var135063 + var135064 + var135065 + var135066 + var135067 + var135068 + var135069 + var135070 + var135071 + var135072 + var135073 + var135074 + var135075 + var135076 + var135077 + var135078 + var135079 + var135080 + var135081 + var135082 + var135083 + var135084 + var135085 + var135086 + var135087 + var135088 + var135089 + var135090 + var135091 + var135092 + var135093 + var135094 + var135095 + var135096 + var135097 + var135098 + var135099 + var135100 + var135101 + var135102 + var135103 + var135104 + var135105 + var135106 + var135107 + var135108 == 1.0
var135109 + var135110 + var135111 + var135112 + var135113 + var135114 + var135115 + var135116 + var135117 + var135118 + var135119 + var135120 + var135121 + var135122 + var135123 + var135124 + var135125 + var135126 + var135127 + var135128 + var135129 + var135130 + var135131 + var135132 + var135133 + var135134 + var135135 + var135136 + var135137 + var135138 + var135139 + var135140 + var135141 + var135142 + var135143 + var135144 + var135145 + var135146 + var135147 + var135148 + var135149 + var135150 + var135151 + var135152 + var135153 + var135154 + var135155 + var135156 + var135157 + var135158 == 1.0
var135159 + var135160 + var135161 + var135162 + var135163 + var135164 + var135165 + var135166 + var135167 + var135168 + var135169 + var135170 + var135171 + var135172 + var135173 + var135174 + var135175 + var135176 + var135177 + var135178 + var135179 + var135180 + var135181 + var135182 + var135183 + var135184 + var135185 + var135186 + var135187 + var135188 + var135189 + var135190 + var135191 + var135192 + var135193 + var135194 + var135195 + var135196 + var135197 + var135198 + var135199 + var135200 + var135201 + var135202 + var135203 + var135204 + var135205 + var135206 + var135207 + var135208 == 1.0
var135209 + var135210 + var135211 + var135212 + var135213 + var135214 + var135215 + var135216 + var135217 + var135218 + var135219 + var135220 + var135221 + var135222 + var135223 + var135224 + var135225 + var135226 + var135227 + var135228 + var135229 + var135230 + var135231 + var135232 + var135233 + var135234 + var135235 + var135236 + var135237 + var135238 + var135239 + var135240 + var135241 + var135242 + var135243 + var135244 + var135245 + var135246 + var135247 + var135248 + var135249 + var135250 + var135251 + var135252 + var135253 + var135254 + var135255 + var135256 + var135257 + var135258 == 1.0
var135259 + var135260 + var135261 + var135262 + var135263 + var135264 + var135265 + var135266 + var135267 + var135268 + var135269 + var135270 + var135271 + var135272 + var135273 + var135274 + var135275 + var135276 + var135277 + var135278 + var135279 + var135280 + var135281 + var135282 + var135283 + var135284 + var135285 + var135286 + var135287 + var135288 + var135289 + var135290 + var135291 + var135292 + var135293 + var135294 + var135295 + var135296 + var135297 + var135298 + var135299 + var135300 + var135301 + var135302 + var135303 + var135304 + var135305 + var135306 + var135307 + var135308 == 1.0
var135309 + var135310 + var135311 + var135312 + var135313 + var135314 + var135315 + var135316 + var135317 + var135318 + var135319 + var135320 + var135321 + var135322 + var135323 + var135324 + var135325 + var135326 + var135327 + var135328 + var135329 + var135330 + var135331 + var135332 + var135333 + var135334 + var135335 + var135336 + var135337 + var135338 + var135339 + var135340 + var135341 + var135342 + var135343 + var135344 + var135345 + var135346 + var135347 + var135348 + var135349 + var135350 + var135351 + var135352 + var135353 + var135354 + var135355 + var135356 + var135357 + var135358 == 1.0
var135359 + var135360 + var135361 + var135362 + var135363 + var135364 + var135365 + var135366 + var135367 + var135368 + var135369 + var135370 + var135371 + var135372 + var135373 + var135374 + var135375 + var135376 + var135377 + var135378 + var135379 + var135380 + var135381 + var135382 + var135383 + var135384 + var135385 + var135386 + var135387 + var135388 + var135389 + var135390 + var135391 + var135392 + var135393 + var135394 + var135395 + var135396 + var135397 + var135398 + var135399 + var135400 + var135401 + var135402 + var135403 + var135404 + var135405 + var135406 + var135407 + var135408 == 1.0
var135409 + var135410 + var135411 + var135412 + var135413 + var135414 + var135415 + var135416 + var135417 + var135418 + var135419 + var135420 + var135421 + var135422 + var135423 + var135424 + var135425 + var135426 + var135427 + var135428 + var135429 + var135430 + var135431 + var135432 + var135433 + var135434 + var135435 + var135436 + var135437 + var135438 + var135439 + var135440 + var135441 + var135442 + var135443 + var135444 + var135445 + var135446 + var135447 + var135448 + var135449 + var135450 + var135451 + var135452 + var135453 + var135454 + var135455 + var135456 + var135457 + var135458 == 1.0
var135459 + var135460 + var135461 + var135462 + var135463 + var135464 + var135465 + var135466 + var135467 + var135468 + var135469 + var135470 + var135471 + var135472 + var135473 + var135474 + var135475 + var135476 + var135477 + var135478 + var135479 + var135480 + var135481 + var135482 + var135483 + var135484 + var135485 + var135486 + var135487 + var135488 + var135489 + var135490 + var135491 + var135492 + var135493 + var135494 + var135495 + var135496 + var135497 + var135498 + var135499 + var135500 + var135501 + var135502 + var135503 + var135504 + var135505 + var135506 + var135507 + var135508 == 1.0
var135509 + var135510 + var135511 + var135512 + var135513 + var135514 + var135515 + var135516 + var135517 + var135518 + var135519 + var135520 + var135521 + var135522 + var135523 + var135524 + var135525 + var135526 + var135527 + var135528 + var135529 + var135530 + var135531 + var135532 + var135533 + var135534 + var135535 + var135536 + var135537 + var135538 + var135539 + var135540 + var135541 + var135542 + var135543 + var135544 + var135545 + var135546 + var135547 + var135548 + var135549 + var135550 + var135551 + var135552 + var135553 + var135554 + var135555 + var135556 + var135557 + var135558 == 1.0
var135559 + var135560 + var135561 + var135562 + var135563 + var135564 + var135565 + var135566 + var135567 + var135568 + var135569 + var135570 + var135571 + var135572 + var135573 + var135574 + var135575 + var135576 + var135577 + var135578 + var135579 + var135580 + var135581 + var135582 + var135583 + var135584 + var135585 + var135586 + var135587 + var135588 + var135589 + var135590 + var135591 + var135592 + var135593 + var135594 + var135595 + var135596 + var135597 + var135598 + var135599 + var135600 + var135601 + var135602 + var135603 + var135604 + var135605 + var135606 + var135607 + var135608 == 1.0
var135609 + var135610 + var135611 + var135612 + var135613 + var135614 + var135615 + var135616 + var135617 + var135618 + var135619 + var135620 + var135621 + var135622 + var135623 + var135624 + var135625 + var135626 + var135627 + var135628 + var135629 + var135630 + var135631 + var135632 + var135633 + var135634 + var135635 + var135636 + var135637 + var135638 + var135639 + var135640 + var135641 + var135642 + var135643 + var135644 + var135645 + var135646 + var135647 + var135648 + var135649 + var135650 + var135651 + var135652 + var135653 + var135654 + var135655 + var135656 + var135657 + var135658 == 1.0
var135659 + var135660 + var135661 + var135662 + var135663 + var135664 + var135665 + var135666 + var135667 + var135668 + var135669 + var135670 + var135671 + var135672 + var135673 + var135674 + var135675 + var135676 + var135677 + var135678 + var135679 + var135680 + var135681 + var135682 + var135683 + var135684 + var135685 + var135686 + var135687 + var135688 + var135689 + var135690 + var135691 + var135692 + var135693 + var135694 + var135695 + var135696 + var135697 + var135698 + var135699 + var135700 + var135701 + var135702 + var135703 + var135704 + var135705 + var135706 + var135707 + var135708 == 1.0