Bisection none; Variables x1_0 in [0,+oo], x2_0 in [0,+oo], x3_0 in [-oo,0], x4_0 in [0,+oo], $w1_0 in [-0.01,0.01], $w2_0 in [-0.01,0.01], $w3_0 in [-0.01,0.01], $w4_0 in [-0.01,0.01], y1_0 in [0.107329,0.307329], y2_0 in [-0.71049,-0.51049], y3_0 in [16.117,16.317], x1_1 in ]-oo,+oo[, x2_1 in ]-oo,+oo[, x3_1 in ]-oo,+oo[, x4_1 in ]-oo,+oo[, $w1_1 in [-0.01,0.01], $w2_1 in [-0.01,0.01], $w3_1 in [-0.01,0.01], $w4_1 in [-0.01,0.01], y1_1 in [0.117206,0.317206], y2_1 in [-0.630011,-0.430011], y3_1 in [15.7251,15.9251], x1_2 in ]-oo,+oo[, x2_2 in ]-oo,+oo[, x3_2 in ]-oo,+oo[, x4_2 in ]-oo,+oo[, $w1_2 in [-0.01,0.01], $w2_2 in [-0.01,0.01], $w3_2 in [-0.01,0.01], $w4_2 in [-0.01,0.01], y1_2 in [0.0900545,0.290054], y2_2 in [-0.55384,-0.35384], y3_2 in [15.2303,15.4303], x1_3 in ]-oo,+oo[, x2_3 in ]-oo,+oo[, x3_3 in ]-oo,+oo[, x4_3 in ]-oo,+oo[, $w1_3 in [-0.01,0.01], $w2_3 in [-0.01,0.01], $w3_3 in [-0.01,0.01], $w4_3 in [-0.01,0.01], y1_3 in [0.219933,0.419933], y2_3 in [-0.602361,-0.402361], y3_3 in [14.9385,15.1385], x1_4 in ]-oo,+oo[, x2_4 in ]-oo,+oo[, x3_4 in ]-oo,+oo[, x4_4 in ]-oo,+oo[, $w1_4 in [-0.01,0.01], $w2_4 in [-0.01,0.01], $w3_4 in [-0.01,0.01], $w4_4 in [-0.01,0.01], y1_4 in [0.343923,0.543923], y2_4 in [-0.52533,-0.32533], y3_4 in [14.6385,14.8385], x1_5 in ]-oo,+oo[, x2_5 in ]-oo,+oo[, x3_5 in ]-oo,+oo[, x4_5 in ]-oo,+oo[, $w1_5 in [-0.01,0.01], $w2_5 in [-0.01,0.01], $w3_5 in [-0.01,0.01], $w4_5 in [-0.01,0.01], y1_5 in [0.461917,0.661917], y2_5 in [-0.441115,-0.241115], y3_5 in [14.4086,14.6086], x1_6 in ]-oo,+oo[, x2_6 in ]-oo,+oo[, x3_6 in ]-oo,+oo[, x4_6 in ]-oo,+oo[, $w1_6 in [-0.01,0.01], $w2_6 in [-0.01,0.01], $w3_6 in [-0.01,0.01], $w4_6 in [-0.01,0.01], y1_6 in [0.568501,0.768501], y2_6 in [-0.303271,-0.103271], y3_6 in [14.0084,14.2084], x1_7 in ]-oo,+oo[, x2_7 in ]-oo,+oo[, x3_7 in ]-oo,+oo[, x4_7 in ]-oo,+oo[, $w1_7 in [-0.01,0.01], $w2_7 in [-0.01,0.01], $w3_7 in [-0.01,0.01], $w4_7 in [-0.01,0.01], y1_7 in [0.65241,0.85241], y2_7 in [-0.29023,-0.0902295], y3_7 in [13.882,14.082], x1_8 in ]-oo,+oo[, x2_8 in ]-oo,+oo[, x3_8 in ]-oo,+oo[, x4_8 in ]-oo,+oo[, $w1_8 in [-0.01,0.01], $w2_8 in [-0.01,0.01], $w3_8 in [-0.01,0.01], $w4_8 in [-0.01,0.01], y1_8 in [0.690218,0.890218], y2_8 in [-0.279026,-0.0790265], y3_8 in [13.8627,14.0627], x1_9 in ]-oo,+oo[, x2_9 in ]-oo,+oo[, x3_9 in ]-oo,+oo[, x4_9 in ]-oo,+oo[, $w1_9 in [-0.01,0.01], $w2_9 in [-0.01,0.01], $w3_9 in [-0.01,0.01], $w4_9 in [-0.01,0.01], y1_9 in [0.939441,1.13944], y2_9 in [-0.354336,-0.154336], y3_9 in [13.5338,13.7338], x1_10 in ]-oo,+oo[, x2_10 in ]-oo,+oo[, x3_10 in ]-oo,+oo[, x4_10 in ]-oo,+oo[, $w1_10 in [-0.01,0.01], $w2_10 in [-0.01,0.01], $w3_10 in [-0.01,0.01], $w4_10 in [-0.01,0.01], y1_10 in [1.14022,1.34022], y2_10 in [-0.2829,-0.0829003], y3_10 in [13.2951,13.4951], x1_11 in ]-oo,+oo[, x2_11 in ]-oo,+oo[, x3_11 in ]-oo,+oo[, x4_11 in ]-oo,+oo[, $w1_11 in [-0.01,0.01], $w2_11 in [-0.01,0.01], $w3_11 in [-0.01,0.01], $w4_11 in [-0.01,0.01], y1_11 in [1.19146,1.39146], y2_11 in [-0.278809,-0.0788092], y3_11 in [13.2238,13.4238], x1_12 in ]-oo,+oo[, x2_12 in ]-oo,+oo[, x3_12 in ]-oo,+oo[, x4_12 in ]-oo,+oo[, $w1_12 in [-0.01,0.01], $w2_12 in [-0.01,0.01], $w3_12 in [-0.01,0.01], $w4_12 in [-0.01,0.01], y1_12 in [1.49283,1.69283], y2_12 in [-0.179246,0.0207542], y3_12 in [13.199,13.399], x1_13 in ]-oo,+oo[, x2_13 in ]-oo,+oo[, x3_13 in ]-oo,+oo[, x4_13 in ]-oo,+oo[, $w1_13 in [-0.01,0.01], $w2_13 in [-0.01,0.01], $w3_13 in [-0.01,0.01], $w4_13 in [-0.01,0.01], y1_13 in [1.95345,2.15345], y2_13 in [-0.174327,0.0256733], y3_13 in [13.1475,13.3475], x1_14 in ]-oo,+oo[, x2_14 in ]-oo,+oo[, x3_14 in ]-oo,+oo[, x4_14 in ]-oo,+oo[, $w1_14 in [-0.01,0.01], $w2_14 in [-0.01,0.01], $w3_14 in [-0.01,0.01], $w4_14 in [-0.01,0.01], y1_14 in [2.46296,2.66296], y2_14 in [-0.00739103,0.192609], y3_14 in [13.0834,13.2834], x1_15 in ]-oo,+oo[, x2_15 in ]-oo,+oo[, x3_15 in ]-oo,+oo[, x4_15 in ]-oo,+oo[, $w1_15 in [-0.01,0.01], $w2_15 in [-0.01,0.01], $w3_15 in [-0.01,0.01], $w4_15 in [-0.01,0.01], y1_15 in [3.09098,3.29098], y2_15 in [-0.00094153,0.199058], y3_15 in [13.2851,13.4851], x1_16 in ]-oo,+oo[, x2_16 in ]-oo,+oo[, x3_16 in ]-oo,+oo[, x4_16 in ]-oo,+oo[, $w1_16 in [-0.01,0.01], $w2_16 in [-0.01,0.01], $w3_16 in [-0.01,0.01], $w4_16 in [-0.01,0.01], y1_16 in [4.43331,4.63331], y2_16 in [-0.01694,0.18306], y3_16 in [13.4273,13.6273], x1_17 in ]-oo,+oo[, x2_17 in ]-oo,+oo[, x3_17 in ]-oo,+oo[, x4_17 in ]-oo,+oo[, $w1_17 in [-0.01,0.01], $w2_17 in [-0.01,0.01], $w3_17 in [-0.01,0.01], $w4_17 in [-0.01,0.01], y1_17 in [7.37239,7.57239], y2_17 in [0.133655,0.333655], y3_17 in [13.7352,13.9352], x1_18 in ]-oo,+oo[, x2_18 in ]-oo,+oo[, x3_18 in ]-oo,+oo[, x4_18 in ]-oo,+oo[, $w1_18 in [-0.01,0.01], $w2_18 in [-0.01,0.01], $w3_18 in [-0.01,0.01], $w4_18 in [-0.01,0.01], y1_18 in [18.8304,19.0304], y2_18 in [0.035715,0.235715], y3_18 in [13.8435,14.0435], x1_19 in ]-oo,+oo[, x2_19 in ]-oo,+oo[, x3_19 in ]-oo,+oo[, x4_19 in ]-oo,+oo[, $w1_19 in [-0.01,0.01], $w2_19 in [-0.01,0.01], $w3_19 in [-0.01,0.01], $w4_19 in [-0.01,0.01], y1_19 in [-33.3824,-33.1824], y2_19 in [0.0738574,0.273857], y3_19 in [14.1462,14.3462], x1_20 in ]-oo,+oo[, x2_20 in ]-oo,+oo[, x3_20 in ]-oo,+oo[, x4_20 in ]-oo,+oo[, $w1_20 in [-0.01,0.01], $w2_20 in [-0.01,0.01], $w3_20 in [-0.01,0.01], $w4_20 in [-0.01,0.01], y1_20 in [-8.96806,-8.76806], y2_20 in [0.123139,0.323139], y3_20 in [14.4471,14.6471], x1_21 in ]-oo,+oo[, x2_21 in ]-oo,+oo[, x3_21 in ]-oo,+oo[, x4_21 in ]-oo,+oo[, $w1_21 in [-0.01,0.01], $w2_21 in [-0.01,0.01], $w3_21 in [-0.01,0.01], $w4_21 in [-0.01,0.01], y1_21 in [-5.12608,-4.92608], y2_21 in [0.165038,0.365038], y3_21 in [14.7657,14.9657], x1_22 in ]-oo,+oo[, x2_22 in ]-oo,+oo[, x3_22 in ]-oo,+oo[, x4_22 in ]-oo,+oo[, $w1_22 in [-0.01,0.01], $w2_22 in [-0.01,0.01], $w3_22 in [-0.01,0.01], $w4_22 in [-0.01,0.01], y1_22 in [-3.69603,-3.49603], y2_22 in [0.371232,0.571232], y3_22 in [15.3107,15.5107], x1_23 in ]-oo,+oo[, x2_23 in ]-oo,+oo[, x3_23 in ]-oo,+oo[, x4_23 in ]-oo,+oo[, $w1_23 in [-0.01,0.01], $w2_23 in [-0.01,0.01], $w3_23 in [-0.01,0.01], $w4_23 in [-0.01,0.01], y1_23 in [-2.91724,-2.71724], y2_23 in [0.432145,0.632145], y3_23 in [15.6571,15.8571], x1_24 in ]-oo,+oo[, x2_24 in ]-oo,+oo[, x3_24 in ]-oo,+oo[, x4_24 in ]-oo,+oo[, $w1_24 in [-0.01,0.01], $w2_24 in [-0.01,0.01], $w3_24 in [-0.01,0.01], $w4_24 in [-0.01,0.01], y1_24 in [-2.42506,-2.22506], y2_24 in [0.546315,0.746315], y3_24 in [16.2163,16.4163], x1_25 in ]-oo,+oo[, x2_25 in ]-oo,+oo[, x3_25 in ]-oo,+oo[, x4_25 in ]-oo,+oo[, $w1_25 in [-0.01,0.01], $w2_25 in [-0.01,0.01], $w3_25 in [-0.01,0.01], $w4_25 in [-0.01,0.01], y1_25 in [-1.89372,-1.69372], y2_25 in [0.446151,0.646151], y3_25 in [16.7605,16.9605], x1_26 in ]-oo,+oo[, x2_26 in ]-oo,+oo[, x3_26 in ]-oo,+oo[, x4_26 in ]-oo,+oo[, $w1_26 in [-0.01,0.01], $w2_26 in [-0.01,0.01], $w3_26 in [-0.01,0.01], $w4_26 in [-0.01,0.01], y1_26 in [-1.66751,-1.46751], y2_26 in [0.622451,0.822451], y3_26 in [17.3571,17.5571], x1_27 in ]-oo,+oo[, x2_27 in ]-oo,+oo[, x3_27 in ]-oo,+oo[, x4_27 in ]-oo,+oo[, $w1_27 in [-0.01,0.01], $w2_27 in [-0.01,0.01], $w3_27 in [-0.01,0.01], $w4_27 in [-0.01,0.01], y1_27 in [-1.43668,-1.23668], y2_27 in [0.496243,0.696243], y3_27 in [18.1911,18.3911], x1_28 in ]-oo,+oo[, x2_28 in ]-oo,+oo[, x3_28 in ]-oo,+oo[, x4_28 in ]-oo,+oo[, $w1_28 in [-0.01,0.01], $w2_28 in [-0.01,0.01], $w3_28 in [-0.01,0.01], $w4_28 in [-0.01,0.01], y1_28 in [-1.20075,-1.00075], y2_28 in [0.68158,0.88158], y3_28 in [18.9531,19.1531], x1_29 in ]-oo,+oo[, x2_29 in ]-oo,+oo[, x3_29 in ]-oo,+oo[, x4_29 in ]-oo,+oo[, $w1_29 in [-0.01,0.01], $w2_29 in [-0.01,0.01], $w3_29 in [-0.01,0.01], $w4_29 in [-0.01,0.01], y1_29 in [-1.09614,-0.896136], y2_29 in [0.750727,0.950727], y3_29 in [19.617,19.817], x1_30 in ]-oo,+oo[, x2_30 in ]-oo,+oo[, x3_30 in ]-oo,+oo[, x4_30 in ]-oo,+oo[, $w1_30 in [-0.01,0.01], $w2_30 in [-0.01,0.01], $w3_30 in [-0.01,0.01], $w4_30 in [-0.01,0.01], y1_30 in [-1.00918,-0.809182], y2_30 in [0.649841,0.849841], y3_30 in [20.4746,20.6746], x1_31 in ]-oo,+oo[, x2_31 in ]-oo,+oo[, x3_31 in ]-oo,+oo[, x4_31 in ]-oo,+oo[, $w1_31 in [-0.01,0.01], $w2_31 in [-0.01,0.01], $w3_31 in [-0.01,0.01], $w4_31 in [-0.01,0.01], y1_31 in [-0.916247,-0.716247], y2_31 in [0.703159,0.903159], y3_31 in [21.4143,21.6143], x1_32 in ]-oo,+oo[, x2_32 in ]-oo,+oo[, x3_32 in ]-oo,+oo[, x4_32 in ]-oo,+oo[, $w1_32 in [-0.01,0.01], $w2_32 in [-0.01,0.01], $w3_32 in [-0.01,0.01], $w4_32 in [-0.01,0.01], y1_32 in [-0.858926,-0.658926], y2_32 in [0.73723,0.93723], y3_32 in [22.2762,22.4762], x1_33 in ]-oo,+oo[, x2_33 in ]-oo,+oo[, x3_33 in ]-oo,+oo[, x4_33 in ]-oo,+oo[, $w1_33 in [-0.01,0.01], $w2_33 in [-0.01,0.01], $w3_33 in [-0.01,0.01], $w4_33 in [-0.01,0.01], y1_33 in [-0.872079,-0.672079], y2_33 in [0.688358,0.888358], y3_33 in [23.1385,23.3385], x1_34 in ]-oo,+oo[, x2_34 in ]-oo,+oo[, x3_34 in ]-oo,+oo[, x4_34 in ]-oo,+oo[, $w1_34 in [-0.01,0.01], $w2_34 in [-0.01,0.01], $w3_34 in [-0.01,0.01], $w4_34 in [-0.01,0.01], y1_34 in [-0.703059,-0.503059], y2_34 in [0.685903,0.885903], y3_34 in [24.0434,24.2434], x1_35 in ]-oo,+oo[, x2_35 in ]-oo,+oo[, x3_35 in ]-oo,+oo[, x4_35 in ]-oo,+oo[, $w1_35 in [-0.01,0.01], $w2_35 in [-0.01,0.01], $w3_35 in [-0.01,0.01], $w4_35 in [-0.01,0.01], y1_35 in [-0.594465,-0.394465], y2_35 in [0.775613,0.975613], y3_35 in [24.8379,25.0379], x1_36 in ]-oo,+oo[, x2_36 in ]-oo,+oo[, x3_36 in ]-oo,+oo[, x4_36 in ]-oo,+oo[, $w1_36 in [-0.01,0.01], $w2_36 in [-0.01,0.01], $w3_36 in [-0.01,0.01], $w4_36 in [-0.01,0.01], y1_36 in [-0.527491,-0.327491], y2_36 in [0.776476,0.976476], y3_36 in [25.8342,26.0342], x1_37 in ]-oo,+oo[, x2_37 in ]-oo,+oo[, x3_37 in ]-oo,+oo[, x4_37 in ]-oo,+oo[, $w1_37 in [-0.01,0.01], $w2_37 in [-0.01,0.01], $w3_37 in [-0.01,0.01], $w4_37 in [-0.01,0.01], y1_37 in [-0.564706,-0.364706], y2_37 in [0.848047,1.04805], y3_37 in [26.6849,26.8849], x1_38 in ]-oo,+oo[, x2_38 in ]-oo,+oo[, x3_38 in ]-oo,+oo[, x4_38 in ]-oo,+oo[, $w1_38 in [-0.01,0.01], $w2_38 in [-0.01,0.01], $w3_38 in [-0.01,0.01], $w4_38 in [-0.01,0.01], y1_38 in [-0.543653,-0.343653], y2_38 in [0.829551,1.02955], y3_38 in [27.8778,28.0778], x1_39 in ]-oo,+oo[, x2_39 in ]-oo,+oo[, x3_39 in ]-oo,+oo[, x4_39 in ]-oo,+oo[, $w1_39 in [-0.01,0.01], $w2_39 in [-0.01,0.01], $w3_39 in [-0.01,0.01], $w4_39 in [-0.01,0.01], y1_39 in [-0.461658,-0.261658], y2_39 in [0.81541,1.01541], y3_39 in [28.8926,29.0926], x1_40 in ]-oo,+oo[, x2_40 in ]-oo,+oo[, x3_40 in ]-oo,+oo[, x4_40 in ]-oo,+oo[, $w1_40 in [-0.01,0.01], $w2_40 in [-0.01,0.01], $w3_40 in [-0.01,0.01], $w4_40 in [-0.01,0.01], y1_40 in [-0.43682,-0.23682], y2_40 in [0.892069,1.09207], y3_40 in [30.0464,30.2464], x1_41 in ]-oo,+oo[, x2_41 in ]-oo,+oo[, x3_41 in ]-oo,+oo[, x4_41 in ]-oo,+oo[, $w1_41 in [-0.01,0.01], $w2_41 in [-0.01,0.01], $w3_41 in [-0.01,0.01], $w4_41 in [-0.01,0.01], y1_41 in [-0.293113,-0.093113], y2_41 in [0.867517,1.06752], y3_41 in [30.9428,31.1428], x1_42 in ]-oo,+oo[, x2_42 in ]-oo,+oo[, x3_42 in ]-oo,+oo[, x4_42 in ]-oo,+oo[, $w1_42 in [-0.01,0.01], $w2_42 in [-0.01,0.01], $w3_42 in [-0.01,0.01], $w4_42 in [-0.01,0.01], y1_42 in [-0.231922,-0.031922], y2_42 in [0.888612,1.08861], y3_42 in [31.8132,32.0132], x1_43 in ]-oo,+oo[, x2_43 in ]-oo,+oo[, x3_43 in ]-oo,+oo[, x4_43 in ]-oo,+oo[, $w1_43 in [-0.01,0.01], $w2_43 in [-0.01,0.01], $w3_43 in [-0.01,0.01], $w4_43 in [-0.01,0.01], y1_43 in [-0.237408,-0.0374075], y2_43 in [0.78324,0.98324], y3_43 in [32.7578,32.9578], x1_44 in ]-oo,+oo[, x2_44 in ]-oo,+oo[, x3_44 in ]-oo,+oo[, x4_44 in ]-oo,+oo[, $w1_44 in [-0.01,0.01], $w2_44 in [-0.01,0.01], $w3_44 in [-0.01,0.01], $w4_44 in [-0.01,0.01], y1_44 in [-0.216414,-0.0164139], y2_44 in [0.783392,0.983392], y3_44 in [33.6627,33.8627], x1_45 in ]-oo,+oo[, x2_45 in ]-oo,+oo[, x3_45 in ]-oo,+oo[, x4_45 in ]-oo,+oo[, $w1_45 in [-0.01,0.01], $w2_45 in [-0.01,0.01], $w3_45 in [-0.01,0.01], $w4_45 in [-0.01,0.01], y1_45 in [-0.179959,0.0200411], y2_45 in [0.919124,1.11912], y3_45 in [34.6645,34.8645], x1_46 in ]-oo,+oo[, x2_46 in ]-oo,+oo[, x3_46 in ]-oo,+oo[, x4_46 in ]-oo,+oo[, $w1_46 in [-0.01,0.01], $w2_46 in [-0.01,0.01], $w3_46 in [-0.01,0.01], $w4_46 in [-0.01,0.01], y1_46 in [-0.216088,-0.0160879], y2_46 in [0.881002,1.081], y3_46 in [35.5456,35.7456], x1_47 in ]-oo,+oo[, x2_47 in ]-oo,+oo[, x3_47 in ]-oo,+oo[, x4_47 in ]-oo,+oo[, $w1_47 in [-0.01,0.01], $w2_47 in [-0.01,0.01], $w3_47 in [-0.01,0.01], $w4_47 in [-0.01,0.01], y1_47 in [-0.044871,0.155129], y2_47 in [0.927015,1.12701], y3_47 in [36.6843,36.8843], x1_48 in ]-oo,+oo[, x2_48 in ]-oo,+oo[, x3_48 in ]-oo,+oo[, x4_48 in ]-oo,+oo[, $w1_48 in [-0.01,0.01], $w2_48 in [-0.01,0.01], $w3_48 in [-0.01,0.01], $w4_48 in [-0.01,0.01], y1_48 in [-0.145629,0.0543708], y2_48 in [0.839436,1.03944], y3_48 in [37.6087,37.8087], x1_49 in ]-oo,+oo[, x2_49 in ]-oo,+oo[, x3_49 in ]-oo,+oo[, x4_49 in ]-oo,+oo[, $w1_49 in [-0.01,0.01], $w2_49 in [-0.01,0.01], $w3_49 in [-0.01,0.01], $w4_49 in [-0.01,0.01], y1_49 in [-0.125594,0.0744055], y2_49 in [0.91117,1.11117], y3_49 in [38.8711,39.0711], x1_50 in ]-oo,+oo[, x2_50 in ]-oo,+oo[, x3_50 in ]-oo,+oo[, x4_50 in ]-oo,+oo[, $w1_50 in [-0.01,0.01], $w2_50 in [-0.01,0.01], $w3_50 in [-0.01,0.01], $w4_50 in [-0.01,0.01], y1_50 in [-0.0136336,0.186366], y2_50 in [0.900846,1.10085], y3_50 in [39.9003,40.1003], x1_51 in ]-oo,+oo[, x2_51 in ]-oo,+oo[, x3_51 in ]-oo,+oo[, x4_51 in ]-oo,+oo[, $w1_51 in [-0.01,0.01], $w2_51 in [-0.01,0.01], $w3_51 in [-0.01,0.01], $w4_51 in [-0.01,0.01], y1_51 in [0.00670372,0.206704], y2_51 in [1.02826,1.22826], y3_51 in [40.9057,41.1057], x1_52 in ]-oo,+oo[, x2_52 in ]-oo,+oo[, x3_52 in ]-oo,+oo[, x4_52 in ]-oo,+oo[, $w1_52 in [-0.01,0.01], $w2_52 in [-0.01,0.01], $w3_52 in [-0.01,0.01], $w4_52 in [-0.01,0.01], y1_52 in [0.149285,0.349285], y2_52 in [0.977783,1.17778], y3_52 in [42.0812,42.2811], x1_53 in ]-oo,+oo[, x2_53 in ]-oo,+oo[, x3_53 in ]-oo,+oo[, x4_53 in ]-oo,+oo[, $w1_53 in [-0.01,0.01], $w2_53 in [-0.01,0.01], $w3_53 in [-0.01,0.01], $w4_53 in [-0.01,0.01], y1_53 in [0.137773,0.337773], y2_53 in [0.948925,1.14892], y3_53 in [43.1537,43.3537], x1_54 in ]-oo,+oo[, x2_54 in ]-oo,+oo[, x3_54 in ]-oo,+oo[, x4_54 in ]-oo,+oo[, $w1_54 in [-0.01,0.01], $w2_54 in [-0.01,0.01], $w3_54 in [-0.01,0.01], $w4_54 in [-0.01,0.01], y1_54 in [0.209788,0.409788], y2_54 in [1.09858,1.29858], y3_54 in [44.406,44.6059], x1_55 in ]-oo,+oo[, x2_55 in ]-oo,+oo[, x3_55 in ]-oo,+oo[, x4_55 in ]-oo,+oo[, $w1_55 in [-0.01,0.01], $w2_55 in [-0.01,0.01], $w3_55 in [-0.01,0.01], $w4_55 in [-0.01,0.01], y1_55 in [0.117211,0.317211], y2_55 in [1.08242,1.28242], y3_55 in [45.5833,45.7833], x1_56 in ]-oo,+oo[, x2_56 in ]-oo,+oo[, x3_56 in ]-oo,+oo[, x4_56 in ]-oo,+oo[, $w1_56 in [-0.01,0.01], $w2_56 in [-0.01,0.01], $w3_56 in [-0.01,0.01], $w4_56 in [-0.01,0.01], y1_56 in [0.159165,0.359165], y2_56 in [1.25009,1.45009], y3_56 in [46.8342,47.0342], x1_57 in ]-oo,+oo[, x2_57 in ]-oo,+oo[, x3_57 in ]-oo,+oo[, x4_57 in ]-oo,+oo[, $w1_57 in [-0.01,0.01], $w2_57 in [-0.01,0.01], $w3_57 in [-0.01,0.01], $w4_57 in [-0.01,0.01], y1_57 in [0.203184,0.403184], y2_57 in [1.30236,1.50236], y3_57 in [48.0507,48.2507], x1_58 in ]-oo,+oo[, x2_58 in ]-oo,+oo[, x3_58 in ]-oo,+oo[, x4_58 in ]-oo,+oo[, $w1_58 in [-0.01,0.01], $w2_58 in [-0.01,0.01], $w3_58 in [-0.01,0.01], $w4_58 in [-0.01,0.01], y1_58 in [0.248569,0.448569], y2_58 in [1.28918,1.48918], y3_58 in [49.5772,49.7772], x1_59 in ]-oo,+oo[, x2_59 in ]-oo,+oo[, x3_59 in ]-oo,+oo[, x4_59 in ]-oo,+oo[, $w1_59 in [-0.01,0.01], $w2_59 in [-0.01,0.01], $w3_59 in [-0.01,0.01], $w4_59 in [-0.01,0.01], y1_59 in [0.172962,0.372962], y2_59 in [1.39613,1.59613], y3_59 in [50.9287,51.1287], x1_60 in ]-oo,+oo[, x2_60 in ]-oo,+oo[, x3_60 in ]-oo,+oo[, x4_60 in ]-oo,+oo[, $w1_60 in [-0.01,0.01], $w2_60 in [-0.01,0.01], $w3_60 in [-0.01,0.01], $w4_60 in [-0.01,0.01], y1_60 in [0.253651,0.453651], y2_60 in [1.37975,1.57975], y3_60 in [52.4185,52.6185], x1_61 in ]-oo,+oo[, x2_61 in ]-oo,+oo[, x3_61 in ]-oo,+oo[, x4_61 in ]-oo,+oo[, $w1_61 in [-0.01,0.01], $w2_61 in [-0.01,0.01], $w3_61 in [-0.01,0.01], $w4_61 in [-0.01,0.01], y1_61 in [0.367371,0.567371], y2_61 in [1.31419,1.51419], y3_61 in [53.9992,54.1992], x1_62 in ]-oo,+oo[, x2_62 in ]-oo,+oo[, x3_62 in ]-oo,+oo[, x4_62 in ]-oo,+oo[, $w1_62 in [-0.01,0.01], $w2_62 in [-0.01,0.01], $w3_62 in [-0.01,0.01], $w4_62 in [-0.01,0.01], y1_62 in [0.262666,0.462666], y2_62 in [1.41617,1.61617], y3_62 in [55.315,55.515], x1_63 in ]-oo,+oo[, x2_63 in ]-oo,+oo[, x3_63 in ]-oo,+oo[, x4_63 in ]-oo,+oo[, $w1_63 in [-0.01,0.01], $w2_63 in [-0.01,0.01], $w3_63 in [-0.01,0.01], $w4_63 in [-0.01,0.01], y1_63 in [0.357083,0.557083], y2_63 in [1.38125,1.58125], y3_63 in [56.8479,57.0479], x1_64 in ]-oo,+oo[, x2_64 in ]-oo,+oo[, x3_64 in ]-oo,+oo[, x4_64 in ]-oo,+oo[, $w1_64 in [-0.01,0.01], $w2_64 in [-0.01,0.01], $w3_64 in [-0.01,0.01], $w4_64 in [-0.01,0.01], y1_64 in [0.37601,0.57601], y2_64 in [1.45579,1.65579], y3_64 in [58.3893,58.5893], x1_65 in ]-oo,+oo[, x2_65 in ]-oo,+oo[, x3_65 in ]-oo,+oo[, x4_65 in ]-oo,+oo[, $w1_65 in [-0.01,0.01], $w2_65 in [-0.01,0.01], $w3_65 in [-0.01,0.01], $w4_65 in [-0.01,0.01], y1_65 in [0.513534,0.713534], y2_65 in [1.56353,1.76353], y3_65 in [60.152,60.352], x1_66 in ]-oo,+oo[, x2_66 in ]-oo,+oo[, x3_66 in ]-oo,+oo[, x4_66 in ]-oo,+oo[, $w1_66 in [-0.01,0.01], $w2_66 in [-0.01,0.01], $w3_66 in [-0.01,0.01], $w4_66 in [-0.01,0.01], y1_66 in [0.466553,0.666553], y2_66 in [1.59215,1.79215], y3_66 in [61.7542,61.9542], x1_67 in ]-oo,+oo[, x2_67 in ]-oo,+oo[, x3_67 in ]-oo,+oo[, x4_67 in ]-oo,+oo[, $w1_67 in [-0.01,0.01], $w2_67 in [-0.01,0.01], $w3_67 in [-0.01,0.01], $w4_67 in [-0.01,0.01], y1_67 in [0.533904,0.733904], y2_67 in [1.62365,1.82365], y3_67 in [63.407,63.607], x1_68 in ]-oo,+oo[, x2_68 in ]-oo,+oo[, x3_68 in ]-oo,+oo[, x4_68 in ]-oo,+oo[, $w1_68 in [-0.01,0.01], $w2_68 in [-0.01,0.01], $w3_68 in [-0.01,0.01], $w4_68 in [-0.01,0.01], y1_68 in [0.458,0.658], y2_68 in [1.63394,1.83394], y3_68 in [65.075,65.275], x1_69 in ]-oo,+oo[, x2_69 in ]-oo,+oo[, x3_69 in ]-oo,+oo[, x4_69 in ]-oo,+oo[, $w1_69 in [-0.01,0.01], $w2_69 in [-0.01,0.01], $w3_69 in [-0.01,0.01], $w4_69 in [-0.01,0.01], y1_69 in [0.503792,0.703792], y2_69 in [1.7102,1.9102], y3_69 in [67.0377,67.2377], x1_70 in ]-oo,+oo[, x2_70 in ]-oo,+oo[, x3_70 in ]-oo,+oo[, x4_70 in ]-oo,+oo[, $w1_70 in [-0.01,0.01], $w2_70 in [-0.01,0.01], $w3_70 in [-0.01,0.01], $w4_70 in [-0.01,0.01], y1_70 in [0.613347,0.813347], y2_70 in [1.75151,1.95151], y3_70 in [68.9378,69.1378], x1_71 in ]-oo,+oo[, x2_71 in ]-oo,+oo[, x3_71 in ]-oo,+oo[, x4_71 in ]-oo,+oo[, $w1_71 in [-0.01,0.01], $w2_71 in [-0.01,0.01], $w3_71 in [-0.01,0.01], $w4_71 in [-0.01,0.01], y1_71 in [0.647057,0.847057], y2_71 in [1.83135,2.03135], y3_71 in [70.8471,71.0471], x1_72 in ]-oo,+oo[, x2_72 in ]-oo,+oo[, x3_72 in ]-oo,+oo[, x4_72 in ]-oo,+oo[, $w1_72 in [-0.01,0.01], $w2_72 in [-0.01,0.01], $w3_72 in [-0.01,0.01], $w4_72 in [-0.01,0.01], y1_72 in [0.689107,0.889107], y2_72 in [1.82239,2.02239], y3_72 in [72.9004,73.1004], x1_73 in ]-oo,+oo[, x2_73 in ]-oo,+oo[, x3_73 in ]-oo,+oo[, x4_73 in ]-oo,+oo[, $w1_73 in [-0.01,0.01], $w2_73 in [-0.01,0.01], $w3_73 in [-0.01,0.01], $w4_73 in [-0.01,0.01], y1_73 in [0.679621,0.879621], y2_73 in [1.7801,1.9801], y3_73 in [74.8714,75.0714], x1_74 in ]-oo,+oo[, x2_74 in ]-oo,+oo[, x3_74 in ]-oo,+oo[, x4_74 in ]-oo,+oo[, $w1_74 in [-0.01,0.01], $w2_74 in [-0.01,0.01], $w3_74 in [-0.01,0.01], $w4_74 in [-0.01,0.01], y1_74 in [0.78619,0.98619], y2_74 in [1.61117,1.81117], y3_74 in [76.5863,76.7862], x1_75 in ]-oo,+oo[, x2_75 in ]-oo,+oo[, x3_75 in ]-oo,+oo[, x4_75 in ]-oo,+oo[, $w1_75 in [-0.01,0.01], $w2_75 in [-0.01,0.01], $w3_75 in [-0.01,0.01], $w4_75 in [-0.01,0.01], y1_75 in [0.788272,0.988272], y2_75 in [1.5335,1.7335], y3_75 in [78.2067,78.4067], x1_76 in ]-oo,+oo[, x2_76 in ]-oo,+oo[, x3_76 in ]-oo,+oo[, x4_76 in ]-oo,+oo[, $w1_76 in [-0.01,0.01], $w2_76 in [-0.01,0.01], $w3_76 in [-0.01,0.01], $w4_76 in [-0.01,0.01], y1_76 in [0.833203,1.0332], y2_76 in [1.55406,1.75406], y3_76 in [79.8257,80.0257], x1_77 in ]-oo,+oo[, x2_77 in ]-oo,+oo[, x3_77 in ]-oo,+oo[, x4_77 in ]-oo,+oo[, $w1_77 in [-0.01,0.01], $w2_77 in [-0.01,0.01], $w3_77 in [-0.01,0.01], $w4_77 in [-0.01,0.01], y1_77 in [0.718847,0.918847], y2_77 in [1.46165,1.66165], y3_77 in [81.4902,81.6902], x1_78 in ]-oo,+oo[, x2_78 in ]-oo,+oo[, x3_78 in ]-oo,+oo[, x4_78 in ]-oo,+oo[, $w1_78 in [-0.01,0.01], $w2_78 in [-0.01,0.01], $w3_78 in [-0.01,0.01], $w4_78 in [-0.01,0.01], y1_78 in [0.741548,0.941548], y2_78 in [1.42263,1.62263], y3_78 in [83.1072,83.3072], x1_79 in ]-oo,+oo[, x2_79 in ]-oo,+oo[, x3_79 in ]-oo,+oo[, x4_79 in ]-oo,+oo[, $w1_79 in [-0.01,0.01], $w2_79 in [-0.01,0.01], $w3_79 in [-0.01,0.01], $w4_79 in [-0.01,0.01], y1_79 in [0.840279,1.04028], y2_79 in [1.31047,1.51047], y3_79 in [84.5834,84.7834], x1_80 in ]-oo,+oo[, x2_80 in ]-oo,+oo[, x3_80 in ]-oo,+oo[, x4_80 in ]-oo,+oo[, $w1_80 in [-0.01,0.01], $w2_80 in [-0.01,0.01], $w3_80 in [-0.01,0.01], $w4_80 in [-0.01,0.01], y1_80 in [0.893507,1.09351], y2_80 in [1.44189,1.64189], y3_80 in [86.166,86.366], x1_81 in ]-oo,+oo[, x2_81 in ]-oo,+oo[, x3_81 in ]-oo,+oo[, x4_81 in ]-oo,+oo[, $w1_81 in [-0.01,0.01], $w2_81 in [-0.01,0.01], $w3_81 in [-0.01,0.01], $w4_81 in [-0.01,0.01], y1_81 in [0.824313,1.02431], y2_81 in [1.4438,1.6438], y3_81 in [87.7677,87.9677], x1_82 in ]-oo,+oo[, x2_82 in ]-oo,+oo[, x3_82 in ]-oo,+oo[, x4_82 in ]-oo,+oo[, $w1_82 in [-0.01,0.01], $w2_82 in [-0.01,0.01], $w3_82 in [-0.01,0.01], $w4_82 in [-0.01,0.01], y1_82 in [0.987469,1.18747], y2_82 in [1.4024,1.6024], y3_82 in [89.2981,89.4981], x1_83 in ]-oo,+oo[, x2_83 in ]-oo,+oo[, x3_83 in ]-oo,+oo[, x4_83 in ]-oo,+oo[, $w1_83 in [-0.01,0.01], $w2_83 in [-0.01,0.01], $w3_83 in [-0.01,0.01], $w4_83 in [-0.01,0.01], y1_83 in [1.02566,1.22566], y2_83 in [1.30382,1.50382], y3_83 in [91.0057,91.2057], x1_84 in ]-oo,+oo[, x2_84 in ]-oo,+oo[, x3_84 in ]-oo,+oo[, x4_84 in ]-oo,+oo[, $w1_84 in [-0.01,0.01], $w2_84 in [-0.01,0.01], $w3_84 in [-0.01,0.01], $w4_84 in [-0.01,0.01], y1_84 in [1.08141,1.28141], y2_84 in [1.31333,1.51333], y3_84 in [92.1788,92.3788], x1_85 in ]-oo,+oo[, x2_85 in ]-oo,+oo[, x3_85 in ]-oo,+oo[, x4_85 in ]-oo,+oo[, $w1_85 in [-0.01,0.01], $w2_85 in [-0.01,0.01], $w3_85 in [-0.01,0.01], $w4_85 in [-0.01,0.01], y1_85 in [0.988398,1.1884], y2_85 in [1.21674,1.41674], y3_85 in [93.758,93.958], x1_86 in ]-oo,+oo[, x2_86 in ]-oo,+oo[, x3_86 in ]-oo,+oo[, x4_86 in ]-oo,+oo[, $w1_86 in [-0.01,0.01], $w2_86 in [-0.01,0.01], $w3_86 in [-0.01,0.01], $w4_86 in [-0.01,0.01], y1_86 in [1.09503,1.29503], y2_86 in [1.00594,1.20594], y3_86 in [94.8782,95.0782], x1_87 in ]-oo,+oo[, x2_87 in ]-oo,+oo[, x3_87 in ]-oo,+oo[, x4_87 in ]-oo,+oo[, $w1_87 in [-0.01,0.01], $w2_87 in [-0.01,0.01], $w3_87 in [-0.01,0.01], $w4_87 in [-0.01,0.01], y1_87 in [1.12692,1.32692], y2_87 in [1.12192,1.32192], y3_87 in [96.0682,96.2682], x1_88 in ]-oo,+oo[, x2_88 in ]-oo,+oo[, x3_88 in ]-oo,+oo[, x4_88 in ]-oo,+oo[, $w1_88 in [-0.01,0.01], $w2_88 in [-0.01,0.01], $w3_88 in [-0.01,0.01], $w4_88 in [-0.01,0.01], y1_88 in [1.17606,1.37606], y2_88 in [1.05623,1.25623], y3_88 in [97.2181,97.4181], x1_89 in ]-oo,+oo[, x2_89 in ]-oo,+oo[, x3_89 in ]-oo,+oo[, x4_89 in ]-oo,+oo[, $w1_89 in [-0.01,0.01], $w2_89 in [-0.01,0.01], $w3_89 in [-0.01,0.01], $w4_89 in [-0.01,0.01], y1_89 in [1.14836,1.34836], y2_89 in [0.906633,1.10663], y3_89 in [98.6782,98.8782], x1_90 in ]-oo,+oo[, x2_90 in ]-oo,+oo[, x3_90 in ]-oo,+oo[, x4_90 in ]-oo,+oo[, $w1_90 in [-0.01,0.01], $w2_90 in [-0.01,0.01], $w3_90 in [-0.01,0.01], $w4_90 in [-0.01,0.01], y1_90 in [1.15382,1.35382], y2_90 in [1.10075,1.30075], y3_90 in [99.6855,99.8855], x1_91 in ]-oo,+oo[, x2_91 in ]-oo,+oo[, x3_91 in ]-oo,+oo[, x4_91 in ]-oo,+oo[, $w1_91 in [-0.01,0.01], $w2_91 in [-0.01,0.01], $w3_91 in [-0.01,0.01], $w4_91 in [-0.01,0.01], y1_91 in [1.21823,1.41823], y2_91 in [1.07051,1.27051], y3_91 in [100.786,100.986], x1_92 in ]-oo,+oo[, x2_92 in ]-oo,+oo[, x3_92 in ]-oo,+oo[, x4_92 in ]-oo,+oo[, $w1_92 in [-0.01,0.01], $w2_92 in [-0.01,0.01], $w3_92 in [-0.01,0.01], $w4_92 in [-0.01,0.01], y1_92 in [1.39215,1.59215], y2_92 in [0.919913,1.11991], y3_92 in [101.889,102.089], x1_93 in ]-oo,+oo[, x2_93 in ]-oo,+oo[, x3_93 in ]-oo,+oo[, x4_93 in ]-oo,+oo[, $w1_93 in [-0.01,0.01], $w2_93 in [-0.01,0.01], $w3_93 in [-0.01,0.01], $w4_93 in [-0.01,0.01], y1_93 in [1.30577,1.50577], y2_93 in [0.971945,1.17195], y3_93 in [102.703,102.903], x1_94 in ]-oo,+oo[, x2_94 in ]-oo,+oo[, x3_94 in ]-oo,+oo[, x4_94 in ]-oo,+oo[, $w1_94 in [-0.01,0.01], $w2_94 in [-0.01,0.01], $w3_94 in [-0.01,0.01], $w4_94 in [-0.01,0.01], y1_94 in [1.48582,1.68582], y2_94 in [0.94905,1.14905], y3_94 in [103.758,103.958], x1_95 in ]-oo,+oo[, x2_95 in ]-oo,+oo[, x3_95 in ]-oo,+oo[, x4_95 in ]-oo,+oo[, $w1_95 in [-0.01,0.01], $w2_95 in [-0.01,0.01], $w3_95 in [-0.01,0.01], $w4_95 in [-0.01,0.01], y1_95 in [1.3691,1.5691], y2_95 in [1.16583,1.36583], y3_95 in [104.997,105.197], x1_96 in ]-oo,+oo[, x2_96 in ]-oo,+oo[, x3_96 in ]-oo,+oo[, x4_96 in ]-oo,+oo[, $w1_96 in [-0.01,0.01], $w2_96 in [-0.01,0.01], $w3_96 in [-0.01,0.01], $w4_96 in [-0.01,0.01], y1_96 in [1.4476,1.6476], y2_96 in [1.14098,1.34098], y3_96 in [106.463,106.663], x1_97 in ]-oo,+oo[, x2_97 in ]-oo,+oo[, x3_97 in ]-oo,+oo[, x4_97 in ]-oo,+oo[, $w1_97 in [-0.01,0.01], $w2_97 in [-0.01,0.01], $w3_97 in [-0.01,0.01], $w4_97 in [-0.01,0.01], y1_97 in [1.60223,1.80223], y2_97 in [1.07685,1.27685], y3_97 in [107.758,107.958], x1_98 in ]-oo,+oo[, x2_98 in ]-oo,+oo[, x3_98 in ]-oo,+oo[, x4_98 in ]-oo,+oo[, $w1_98 in [-0.01,0.01], $w2_98 in [-0.01,0.01], $w3_98 in [-0.01,0.01], $w4_98 in [-0.01,0.01], y1_98 in [1.64687,1.84687], y2_98 in [1.02727,1.22727], y3_98 in [109.202,109.402], x1_99 in ]-oo,+oo[, x2_99 in ]-oo,+oo[, x3_99 in ]-oo,+oo[, x4_99 in ]-oo,+oo[, $w1_99 in [-0.01,0.01], $w2_99 in [-0.01,0.01], $w3_99 in [-0.01,0.01], $w4_99 in [-0.01,0.01], y1_99 in [1.72119,1.92119], y2_99 in [1.10342,1.30342], y3_99 in [110.435,110.635], x1_100 in ]-oo,+oo[, x2_100 in ]-oo,+oo[, x3_100 in ]-oo,+oo[, x4_100 in ]-oo,+oo[, $w1_100 in [-0.01,0.01], $w2_100 in [-0.01,0.01], $w3_100 in [-0.01,0.01], $w4_100 in [-0.01,0.01], y1_100 in [1.78164,1.98164], y2_100 in [0.999461,1.19946], y3_100 in [111.633,111.833], x1_101 in ]-oo,+oo[, x2_101 in ]-oo,+oo[, x3_101 in ]-oo,+oo[, x4_101 in ]-oo,+oo[, $w1_101 in [-0.01,0.01], $w2_101 in [-0.01,0.01], $w3_101 in [-0.01,0.01], $w4_101 in [-0.01,0.01], y1_101 in [1.70851,1.90851], y2_101 in [1.09164,1.29164], y3_101 in [112.7,112.9], x1_102 in ]-oo,+oo[, x2_102 in ]-oo,+oo[, x3_102 in ]-oo,+oo[, x4_102 in ]-oo,+oo[, $w1_102 in [-0.01,0.01], $w2_102 in [-0.01,0.01], $w3_102 in [-0.01,0.01], $w4_102 in [-0.01,0.01], y1_102 in [1.83474,2.03474], y2_102 in [1.10615,1.30615], y3_102 in [114.242,114.442], x1_103 in ]-oo,+oo[, x2_103 in ]-oo,+oo[, x3_103 in ]-oo,+oo[, x4_103 in ]-oo,+oo[, $w1_103 in [-0.01,0.01], $w2_103 in [-0.01,0.01], $w3_103 in [-0.01,0.01], $w4_103 in [-0.01,0.01], y1_103 in [1.99062,2.19062], y2_103 in [1.11871,1.31871], y3_103 in [115.272,115.472], x1_104 in ]-oo,+oo[, x2_104 in ]-oo,+oo[, x3_104 in ]-oo,+oo[, x4_104 in ]-oo,+oo[, $w1_104 in [-0.01,0.01], $w2_104 in [-0.01,0.01], $w3_104 in [-0.01,0.01], $w4_104 in [-0.01,0.01], y1_104 in [1.97274,2.17274], y2_104 in [0.950477,1.15048], y3_104 in [116.605,116.805], x1_105 in ]-oo,+oo[, x2_105 in ]-oo,+oo[, x3_105 in ]-oo,+oo[, x4_105 in ]-oo,+oo[, $w1_105 in [-0.01,0.01], $w2_105 in [-0.01,0.01], $w3_105 in [-0.01,0.01], $w4_105 in [-0.01,0.01], y1_105 in [1.99444,2.19444], y2_105 in [1.07343,1.27343], y3_105 in [117.781,117.981], x1_106 in ]-oo,+oo[, x2_106 in ]-oo,+oo[, x3_106 in ]-oo,+oo[, x4_106 in ]-oo,+oo[, $w1_106 in [-0.01,0.01], $w2_106 in [-0.01,0.01], $w3_106 in [-0.01,0.01], $w4_106 in [-0.01,0.01], y1_106 in [2.04171,2.24171], y2_106 in [1.09873,1.29873], y3_106 in [119.004,119.204], x1_107 in ]-oo,+oo[, x2_107 in ]-oo,+oo[, x3_107 in ]-oo,+oo[, x4_107 in ]-oo,+oo[, $w1_107 in [-0.01,0.01], $w2_107 in [-0.01,0.01], $w3_107 in [-0.01,0.01], $w4_107 in [-0.01,0.01], y1_107 in [2.18848,2.38848], y2_107 in [1.01895,1.21895], y3_107 in [120.354,120.554], x1_108 in ]-oo,+oo[, x2_108 in ]-oo,+oo[, x3_108 in ]-oo,+oo[, x4_108 in ]-oo,+oo[, $w1_108 in [-0.01,0.01], $w2_108 in [-0.01,0.01], $w3_108 in [-0.01,0.01], $w4_108 in [-0.01,0.01], y1_108 in [2.16073,2.36073], y2_108 in [0.951488,1.15149], y3_108 in [121.737,121.937], x1_109 in ]-oo,+oo[, x2_109 in ]-oo,+oo[, x3_109 in ]-oo,+oo[, x4_109 in ]-oo,+oo[, $w1_109 in [-0.01,0.01], $w2_109 in [-0.01,0.01], $w3_109 in [-0.01,0.01], $w4_109 in [-0.01,0.01], y1_109 in [2.37031,2.57031], y2_109 in [0.979858,1.17986], y3_109 in [122.552,122.752], x1_110 in ]-oo,+oo[, x2_110 in ]-oo,+oo[, x3_110 in ]-oo,+oo[, x4_110 in ]-oo,+oo[, $w1_110 in [-0.01,0.01], $w2_110 in [-0.01,0.01], $w3_110 in [-0.01,0.01], $w4_110 in [-0.01,0.01], y1_110 in [2.36386,2.56386], y2_110 in [0.923997,1.124], y3_110 in [123.743,123.943], x1_111 in ]-oo,+oo[, x2_111 in ]-oo,+oo[, x3_111 in ]-oo,+oo[, x4_111 in ]-oo,+oo[, $w1_111 in [-0.01,0.01], $w2_111 in [-0.01,0.01], $w3_111 in [-0.01,0.01], $w4_111 in [-0.01,0.01], y1_111 in [2.48465,2.68465], y2_111 in [1.0011,1.2011], y3_111 in [124.86,125.06], x1_112 in ]-oo,+oo[, x2_112 in ]-oo,+oo[, x3_112 in ]-oo,+oo[, x4_112 in ]-oo,+oo[, $w1_112 in [-0.01,0.01], $w2_112 in [-0.01,0.01], $w3_112 in [-0.01,0.01], $w4_112 in [-0.01,0.01], y1_112 in [2.49381,2.69381], y2_112 in [1.09673,1.29673], y3_112 in [126.071,126.271], x1_113 in ]-oo,+oo[, x2_113 in ]-oo,+oo[, x3_113 in ]-oo,+oo[, x4_113 in ]-oo,+oo[, $w1_113 in [-0.01,0.01], $w2_113 in [-0.01,0.01], $w3_113 in [-0.01,0.01], $w4_113 in [-0.01,0.01], y1_113 in [2.56134,2.76134], y2_113 in [0.968486,1.16849], y3_113 in [127.338,127.538], x1_114 in ]-oo,+oo[, x2_114 in ]-oo,+oo[, x3_114 in ]-oo,+oo[, x4_114 in ]-oo,+oo[, $w1_114 in [-0.01,0.01], $w2_114 in [-0.01,0.01], $w3_114 in [-0.01,0.01], $w4_114 in [-0.01,0.01], y1_114 in [2.83919,3.03919], y2_114 in [0.782357,0.982357], y3_114 in [128.376,128.576], _115 in ]-oo,+oo[, x2_115 in ]-oo,+oo[, x3_115 in ]-oo,+oo[, x4_115 in ]-oo,+oo[, $w1_115 in [-0.01,0.01], $w2_115 in [-0.01,0.01], $w3_115 in [-0.01,0.01], $w4_115 in [-0.01,0.01], y1_115 in [2.80802,3.00802], y2_115 in [0.753067,0.953067], y3_115 in [129.27,129.47], x1_116 in ]-oo,+oo[, x2_116 in ]-oo,+oo[, x3_116 in ]-oo,+oo[, x4_116 in ]-oo,+oo[, $w1_116 in [-0.01,0.01], $w2_116 in [-0.01,0.01], $w3_116 in [-0.01,0.01], $w4_116 in [-0.01,0.01], y1_116 in [2.91742,3.11742], y2_116 in [0.816771,1.01677], y3_116 in [130.01,130.21], x1_117 in ]-oo,+oo[, x2_117 in ]-oo,+oo[, x3_117 in ]-oo,+oo[, x4_117 in ]-oo,+oo[, $w1_117 in [-0.01,0.01], $w2_117 in [-0.01,0.01], $w3_117 in [-0.01,0.01], $w4_117 in [-0.01,0.01], y1_117 in [2.98607,3.18607], y2_117 in [0.572079,0.772079], y3_117 in [131.026,131.226], x1_118 in ]-oo,+oo[, x2_118 in ]-oo,+oo[, x3_118 in ]-oo,+oo[, x4_118 in ]-oo,+oo[, $w1_118 in [-0.01,0.01], $w2_118 in [-0.01,0.01], $w3_118 in [-0.01,0.01], $w4_118 in [-0.01,0.01], y1_118 in [3.18813,3.38813], y2_118 in [0.572002,0.772002], y3_118 in [131.796,131.996], x1_119 in ]-oo,+oo[, x2_119 in ]-oo,+oo[, x3_119 in ]-oo,+oo[, x4_119 in ]-oo,+oo[, $w1_119 in [-0.01,0.01], $w2_119 in [-0.01,0.01], $w3_119 in [-0.01,0.01], $w4_119 in [-0.01,0.01], y1_119 in [3.20607,3.40607], y2_119 in [0.460596,0.660596], y3_119 in [132.485,132.685], x1_120 in ]-oo,+oo[, x2_120 in ]-oo,+oo[, x3_120 in ]-oo,+oo[, x4_120 in ]-oo,+oo[, $w1_120 in [-0.01,0.01], $w2_120 in [-0.01,0.01], $w3_120 in [-0.01,0.01], $w4_120 in [-0.01,0.01], y1_120 in [3.36508,3.56508], y2_120 in [0.433902,0.633902], y3_120 in [133.129,133.329], x1_121 in ]-oo,+oo[, x2_121 in ]-oo,+oo[, x3_121 in ]-oo,+oo[, x4_121 in ]-oo,+oo[, $w1_121 in [-0.01,0.01], $w2_121 in [-0.01,0.01], $w3_121 in [-0.01,0.01], $w4_121 in [-0.01,0.01], y1_121 in [3.59086,3.79086], y2_121 in [0.565715,0.765715], y3_121 in [133.966,134.166], x1_122 in ]-oo,+oo[, x2_122 in ]-oo,+oo[, x3_122 in ]-oo,+oo[, x4_122 in ]-oo,+oo[, $w1_122 in [-0.01,0.01], $w2_122 in [-0.01,0.01], $w3_122 in [-0.01,0.01], $w4_122 in [-0.01,0.01], y1_122 in [3.68783,3.88783], y2_122 in [0.52384,0.72384], y3_122 in [134.786,134.986], x1_123 in ]-oo,+oo[, x2_123 in ]-oo,+oo[, x3_123 in ]-oo,+oo[, x4_123 in ]-oo,+oo[, $w1_123 in [-0.01,0.01], $w2_123 in [-0.01,0.01], $w3_123 in [-0.01,0.01], $w4_123 in [-0.01,0.01], y1_123 in [3.88372,4.08372], y2_123 in [0.707818,0.907818], y3_123 in [135.171,135.371], x1_124 in ]-oo,+oo[, x2_124 in ]-oo,+oo[, x3_124 in ]-oo,+oo[, x4_124 in ]-oo,+oo[, $w1_124 in [-0.01,0.01], $w2_124 in [-0.01,0.01], $w3_124 in [-0.01,0.01], $w4_124 in [-0.01,0.01], y1_124 in [4.05034,4.25034], y2_124 in [0.619542,0.819542], y3_124 in [136.073,136.273], x1_125 in ]-oo,+oo[, x2_125 in ]-oo,+oo[, x3_125 in ]-oo,+oo[, x4_125 in ]-oo,+oo[, $w1_125 in [-0.01,0.01], $w2_125 in [-0.01,0.01], $w3_125 in [-0.01,0.01], $w4_125 in [-0.01,0.01], y1_125 in [4.26039,4.46039], y2_125 in [0.739278,0.939278], y3_125 in [136.85,137.05], x1_126 in ]-oo,+oo[, x2_126 in ]-oo,+oo[, x3_126 in ]-oo,+oo[, x4_126 in ]-oo,+oo[, $w1_126 in [-0.01,0.01], $w2_126 in [-0.01,0.01], $w3_126 in [-0.01,0.01], $w4_126 in [-0.01,0.01], y1_126 in [4.35135,4.55135], y2_126 in [0.616932,0.816932], y3_126 in [137.502,137.702], x1_127 in ]-oo,+oo[, x2_127 in ]-oo,+oo[, x3_127 in ]-oo,+oo[, x4_127 in ]-oo,+oo[, $w1_127 in [-0.01,0.01], $w2_127 in [-0.01,0.01], $w3_127 in [-0.01,0.01], $w4_127 in [-0.01,0.01], y1_127 in [4.4921,4.6921], y2_127 in [0.495271,0.695271], y3_127 in [138.154,138.354], x1_128 in ]-oo,+oo[, x2_128 in ]-oo,+oo[, x3_128 in ]-oo,+oo[, x4_128 in ]-oo,+oo[, $w1_128 in [-0.01,0.01], $w2_128 in [-0.01,0.01], $w3_128 in [-0.01,0.01], $w4_128 in [-0.01,0.01], y1_128 in [4.72807,4.92807], y2_128 in [0.536841,0.736841], y3_128 in [138.772,138.972], x1_129 in ]-oo,+oo[, x2_129 in ]-oo,+oo[, x3_129 in ]-oo,+oo[, x4_129 in ]-oo,+oo[, $w1_129 in [-0.01,0.01], $w2_129 in [-0.01,0.01], $w3_129 in [-0.01,0.01], $w4_129 in [-0.01,0.01], y1_129 in [4.98244,5.18244], y2_129 in [0.60838,0.80838], y3_129 in [139.373,139.573], x1_130 in ]-oo,+oo[, x2_130 in ]-oo,+oo[, x3_130 in ]-oo,+oo[, x4_130 in ]-oo,+oo[, $w1_130 in [-0.01,0.01], $w2_130 in [-0.01,0.01], $w3_130 in [-0.01,0.01], $w4_130 in [-0.01,0.01], y1_130 in [5.19621,5.3962], y2_130 in [0.596807,0.796807], y3_130 in [140.029,140.229], x1_131 in ]-oo,+oo[, x2_131 in ]-oo,+oo[, x3_131 in ]-oo,+oo[, x4_131 in ]-oo,+oo[, $w1_131 in [-0.01,0.01], $w2_131 in [-0.01,0.01], $w3_131 in [-0.01,0.01], $w4_131 in [-0.01,0.01], y1_131 in [5.55988,5.75988], y2_131 in [0.572067,0.772067], y3_131 in [140.849,141.049], x1_132 in ]-oo,+oo[, x2_132 in ]-oo,+oo[, x3_132 in ]-oo,+oo[, x4_132 in ]-oo,+oo[, $w1_132 in [-0.01,0.01], $w2_132 in [-0.01,0.01], $w3_132 in [-0.01,0.01], $w4_132 in [-0.01,0.01], y1_132 in [5.9061,6.1061], y2_132 in [0.512698,0.712698], y3_132 in [141.175,141.375], x1_133 in ]-oo,+oo[, x2_133 in ]-oo,+oo[, x3_133 in ]-oo,+oo[, x4_133 in ]-oo,+oo[, $w1_133 in [-0.01,0.01], $w2_133 in [-0.01,0.01], $w3_133 in [-0.01,0.01], $w4_133 in [-0.01,0.01], y1_133 in [6.18859,6.38859], y2_133 in [0.398288,0.598288], y3_133 in [141.965,142.165], x1_134 in ]-oo,+oo[, x2_134 in ]-oo,+oo[, x3_134 in ]-oo,+oo[, x4_134 in ]-oo,+oo[, $w1_134 in [-0.01,0.01], $w2_134 in [-0.01,0.01], $w3_134 in [-0.01,0.01], $w4_134 in [-0.01,0.01], y1_134 in [6.58536,6.78536], y2_134 in [0.396872,0.596872], y3_134 in [142.422,142.622], x1_135 in ]-oo,+oo[, x2_135 in ]-oo,+oo[, x3_135 in ]-oo,+oo[, x4_135 in ]-oo,+oo[, $w1_135 in [-0.01,0.01], $w2_135 in [-0.01,0.01], $w3_135 in [-0.01,0.01], $w4_135 in [-0.01,0.01], y1_135 in [6.94952,7.14952], y2_135 in [0.395724,0.595724], y3_135 in [143.041,143.241], x1_136 in ]-oo,+oo[, x2_136 in ]-oo,+oo[, x3_136 in ]-oo,+oo[, x4_136 in ]-oo,+oo[, $w1_136 in [-0.01,0.01], $w2_136 in [-0.01,0.01], $w3_136 in [-0.01,0.01], $w4_136 in [-0.01,0.01], y1_136 in [7.46945,7.66945], y2_136 in [0.379621,0.579621], y3_136 in [143.604,143.804], x1_137 in ]-oo,+oo[, x2_137 in ]-oo,+oo[, x3_137 in ]-oo,+oo[, x4_137 in ]-oo,+oo[, $w1_137 in [-0.01,0.01], $w2_137 in [-0.01,0.01], $w3_137 in [-0.01,0.01], $w4_137 in [-0.01,0.01], y1_137 in [7.96143,8.16143], y2_137 in [0.362594,0.562594], y3_137 in [144.146,144.346], x1_138 in ]-oo,+oo[, x2_138 in ]-oo,+oo[, x3_138 in ]-oo,+oo[, x4_138 in ]-oo,+oo[, $w1_138 in [-0.01,0.01], $w2_138 in [-0.01,0.01], $w3_138 in [-0.01,0.01], $w4_138 in [-0.01,0.01], y1_138 in [8.57807,8.77807], y2_138 in [0.274115,0.474115], y3_138 in [144.611,144.811], x1_139 in ]-oo,+oo[, x2_139 in ]-oo,+oo[, x3_139 in ]-oo,+oo[, x4_139 in ]-oo,+oo[, $w1_139 in [-0.01,0.01], $w2_139 in [-0.01,0.01], $w3_139 in [-0.01,0.01], $w4_139 in [-0.01,0.01], y1_139 in [9.37296,9.57296], y2_139 in [0.331745,0.531745], y3_139 in [145.215,145.415], x1_140 in ]-oo,+oo[, x2_140 in ]-oo,+oo[, x3_140 in ]-oo,+oo[, x4_140 in ]-oo,+oo[, $w1_140 in [-0.01,0.01], $w2_140 in [-0.01,0.01], $w3_140 in [-0.01,0.01], $w4_140 in [-0.01,0.01], y1_140 in [10.2227,10.4227], y2_140 in [0.436321,0.636321], y3_140 in [145.905,146.105], x1_141 in ]-oo,+oo[, x2_141 in ]-oo,+oo[, x3_141 in ]-oo,+oo[, x4_141 in ]-oo,+oo[, $w1_141 in [-0.01,0.01], $w2_141 in [-0.01,0.01], $w3_141 in [-0.01,0.01], $w4_141 in [-0.01,0.01], y1_141 in [11.5093,11.7093], y2_141 in [0.22455,0.42455], y3_141 in [146.135,146.335], x1_142 in ]-oo,+oo[, x2_142 in ]-oo,+oo[, x3_142 in ]-oo,+oo[, x4_142 in ]-oo,+oo[, $w1_142 in [-0.01,0.01], $w2_142 in [-0.01,0.01], $w3_142 in [-0.01,0.01], $w4_142 in [-0.01,0.01], y1_142 in [12.7891,12.9891], y2_142 in [0.131115,0.331115], y3_142 in [146.552,146.752], x1_143 in ]-oo,+oo[, x2_143 in ]-oo,+oo[, x3_143 in ]-oo,+oo[, x4_143 in ]-oo,+oo[, $w1_143 in [-0.01,0.01], $w2_143 in [-0.01,0.01], $w3_143 in [-0.01,0.01], $w4_143 in [-0.01,0.01], y1_143 in [14.5467,14.7467], y2_143 in [0.102122,0.302122], y3_143 in [146.892,147.092], x1_144 in ]-oo,+oo[, x2_144 in ]-oo,+oo[, x3_144 in ]-oo,+oo[, x4_144 in ]-oo,+oo[, $w1_144 in [-0.01,0.01], $w2_144 in [-0.01,0.01], $w3_144 in [-0.01,0.01], $w4_144 in [-0.01,0.01], y1_144 in [16.9385,17.1385], y2_144 in [0.0925176,0.292518], y3_144 in [147.108,147.308], x1_145 in ]-oo,+oo[, x2_145 in ]-oo,+oo[, x3_145 in ]-oo,+oo[, x4_145 in ]-oo,+oo[, $w1_145 in [-0.01,0.01], $w2_145 in [-0.01,0.01], $w3_145 in [-0.01,0.01], $w4_145 in [-0.01,0.01], y1_145 in [20.3196,20.5196], y2_145 in [0.148289,0.348289], y3_145 in [147.459,147.659], x1_146 in ]-oo,+oo[, x2_146 in ]-oo,+oo[, x3_146 in ]-oo,+oo[, x4_146 in ]-oo,+oo[, $w1_146 in [-0.01,0.01], $w2_146 in [-0.01,0.01], $w3_146 in [-0.01,0.01], $w4_146 in [-0.01,0.01], y1_146 in [24.6261,24.8261], y2_146 in [0.227668,0.427668], y3_146 in [147.66,147.86], x1_147 in ]-oo,+oo[, x2_147 in ]-oo,+oo[, x3_147 in ]-oo,+oo[, x4_147 in ]-oo,+oo[, $w1_147 in [-0.01,0.01], $w2_147 in [-0.01,0.01], $w3_147 in [-0.01,0.01], $w4_147 in [-0.01,0.01], y1_147 in [31.1249,31.3249], y2_147 in [0.193956,0.393956], y3_147 in [148.089,148.289], x1_148 in ]-oo,+oo[, x2_148 in ]-oo,+oo[, x3_148 in ]-oo,+oo[, x4_148 in ]-oo,+oo[, $w1_148 in [-0.01,0.01], $w2_148 in [-0.01,0.01], $w3_148 in [-0.01,0.01], $w4_148 in [-0.01,0.01], y1_148 in [42.7462,42.9461], y2_148 in [0.152951,0.352951], y3_148 in [148.323,148.523], x1_149 in ]-oo,+oo[, x2_149 in ]-oo,+oo[, x3_149 in ]-oo,+oo[, x4_149 in ]-oo,+oo[, $w1_149 in [-0.01,0.01], $w2_149 in [-0.01,0.01], $w3_149 in [-0.01,0.01], $w4_149 in [-0.01,0.01], y1_149 in [61.8082,62.0081], y2_149 in [-0.0187257,0.181274], y3_149 in [148.348,148.548], x1_150 in ]-oo,+oo[, x2_150 in ]-oo,+oo[, x3_150 in ]-oo,+oo[, x4_150 in ]-oo,+oo[, $w1_150 in [-0.01,0.01], $w2_150 in [-0.01,0.01], $w3_150 in [-0.01,0.01], $w4_150 in [-0.01,0.01], y1_150 in [117.003,117.203], y2_150 in [-0.115636,0.0843639], y3_150 in [148.559,148.759], x1_151 in ]-oo,+oo[, x2_151 in ]-oo,+oo[, x3_151 in ]-oo,+oo[, x4_151 in ]-oo,+oo[, $w1_151 in [-0.01,0.01], $w2_151 in [-0.01,0.01], $w3_151 in [-0.01,0.01], $w4_151 in [-0.01,0.01], y1_151 in [-22630,-22629.8], y2_151 in [-0.040356,0.159644], y3_151 in [148.426,148.626], x1_152 in ]-oo,+oo[, x2_152 in ]-oo,+oo[, x3_152 in ]-oo,+oo[, x4_152 in ]-oo,+oo[, $w1_152 in [-0.01,0.01], $w2_152 in [-0.01,0.01], $w3_152 in [-0.01,0.01], $w4_152 in [-0.01,0.01], y1_152 in [-128.514,-128.314], y2_152 in [0.0302689,0.230269], y3_152 in [148.61,148.81], x1_153 in ]-oo,+oo[, x2_153 in ]-oo,+oo[, x3_153 in ]-oo,+oo[, x4_153 in ]-oo,+oo[, $w1_153 in [-0.01,0.01], $w2_153 in [-0.01,0.01], $w3_153 in [-0.01,0.01], $w4_153 in [-0.01,0.01], y1_153 in [-65.1008,-64.9008], y2_153 in [-0.0470159,0.152984], y3_153 in [148.882,149.082], x1_154 in ]-oo,+oo[, x2_154 in ]-oo,+oo[, x3_154 in ]-oo,+oo[, x4_154 in ]-oo,+oo[, $w1_154 in [-0.01,0.01], $w2_154 in [-0.01,0.01], $w3_154 in [-0.01,0.01], $w4_154 in [-0.01,0.01], y1_154 in [-43.5669,-43.3669], y2_154 in [-0.156321,0.0436791], y3_154 in [148.858,149.058], x1_155 in ]-oo,+oo[, x2_155 in ]-oo,+oo[, x3_155 in ]-oo,+oo[, x4_155 in ]-oo,+oo[, $w1_155 in [-0.01,0.01], $w2_155 in [-0.01,0.01], $w3_155 in [-0.01,0.01], $w4_155 in [-0.01,0.01], y1_155 in [-32.8075,-32.6075], y2_155 in [-0.11934,0.0806601], y3_155 in [148.413,148.613], x1_156 in ]-oo,+oo[, x2_156 in ]-oo,+oo[, x3_156 in ]-oo,+oo[, x4_156 in ]-oo,+oo[, $w1_156 in [-0.01,0.01], $w2_156 in [-0.01,0.01], $w3_156 in [-0.01,0.01], $w4_156 in [-0.01,0.01], y1_156 in [-26.2166,-26.0166], y2_156 in [-0.18886,0.0111401], y3_156 in [148.682,148.882], x1_157 in ]-oo,+oo[, x2_157 in ]-oo,+oo[, x3_157 in ]-oo,+oo[, x4_157 in ]-oo,+oo[, $w1_157 in [-0.01,0.01], $w2_157 in [-0.01,0.01], $w3_157 in [-0.01,0.01], $w4_157 in [-0.01,0.01], y1_157 in [-21.2993,-21.0993], y2_157 in [-0.214163,-0.0141633], y3_157 in [148.64,148.84], x1_158 in ]-oo,+oo[, x2_158 in ]-oo,+oo[, x3_158 in ]-oo,+oo[, x4_158 in ]-oo,+oo[, $w1_158 in [-0.01,0.01], $w2_158 in [-0.01,0.01], $w3_158 in [-0.01,0.01], $w4_158 in [-0.01,0.01], y1_158 in [-18.0835,-17.8835], y2_158 in [-0.0406532,0.159347], y3_158 in [148.391,148.591], x1_159 in ]-oo,+oo[, x2_159 in ]-oo,+oo[, x3_159 in ]-oo,+oo[, x4_159 in ]-oo,+oo[, $w1_159 in [-0.01,0.01], $w2_159 in [-0.01,0.01], $w3_159 in [-0.01,0.01], $w4_159 in [-0.01,0.01], y1_159 in [-15.7246,-15.5246], y2_159 in [-0.116848,0.083152], y3_159 in [148.569,148.769], x1_160 in ]-oo,+oo[, x2_160 in ]-oo,+oo[, x3_160 in ]-oo,+oo[, x4_160 in ]-oo,+oo[, $w1_160 in [-0.01,0.01], $w2_160 in [-0.01,0.01], $w3_160 in [-0.01,0.01], $w4_160 in [-0.01,0.01], y1_160 in [-14.0901,-13.8901], y2_160 in [0.0626973,0.262697], y3_160 in [148.418,148.618], x1_161 in ]-oo,+oo[, x2_161 in ]-oo,+oo[, x3_161 in ]-oo,+oo[, x4_161 in ]-oo,+oo[, $w1_161 in [-0.01,0.01], $w2_161 in [-0.01,0.01], $w3_161 in [-0.01,0.01], $w4_161 in [-0.01,0.01], y1_161 in [-12.4818,-12.2818], y2_161 in [-0.0422286,0.157771], y3_161 in [148.424,148.624], x1_162 in ]-oo,+oo[, x2_162 in ]-oo,+oo[, x3_162 in ]-oo,+oo[, x4_162 in ]-oo,+oo[, $w1_162 in [-0.01,0.01], $w2_162 in [-0.01,0.01], $w3_162 in [-0.01,0.01], $w4_162 in [-0.01,0.01], y1_162 in [-11.2653,-11.0653], y2_162 in [-0.125174,0.0748264], y3_162 in [148.591,148.791], x1_163 in ]-oo,+oo[, x2_163 in ]-oo,+oo[, x3_163 in ]-oo,+oo[, x4_163 in ]-oo,+oo[, $w1_163 in [-0.01,0.01], $w2_163 in [-0.01,0.01], $w3_163 in [-0.01,0.01], $w4_163 in [-0.01,0.01], y1_163 in [-10.1046,-9.90458], y2_163 in [-0.188354,0.0116459], y3_163 in [148.485,148.685], x1_164 in ]-oo,+oo[, x2_164 in ]-oo,+oo[, x3_164 in ]-oo,+oo[, x4_164 in ]-oo,+oo[, $w1_164 in [-0.01,0.01], $w2_164 in [-0.01,0.01], $w3_164 in [-0.01,0.01], $w4_164 in [-0.01,0.01], y1_164 in [-9.29133,-9.09133], y2_164 in [-0.135582,0.0644179], y3_164 in [148.224,148.424], x1_165 in ]-oo,+oo[, x2_165 in ]-oo,+oo[, x3_165 in ]-oo,+oo[, x4_165 in ]-oo,+oo[, $w1_165 in [-0.01,0.01], $w2_165 in [-0.01,0.01], $w3_165 in [-0.01,0.01], $w4_165 in [-0.01,0.01], y1_165 in [-8.60851,-8.40851], y2_165 in [-0.183771,0.0162291], y3_165 in [147.999,148.199], x1_166 in ]-oo,+oo[, x2_166 in ]-oo,+oo[, x3_166 in ]-oo,+oo[, x4_166 in ]-oo,+oo[, $w1_166 in [-0.01,0.01], $w2_166 in [-0.01,0.01], $w3_166 in [-0.01,0.01], $w4_166 in [-0.01,0.01], y1_166 in [-8.02881,-7.82881], y2_166 in [-0.402956,-0.202956], y3_166 in [148.01,148.21], x1_167 in ]-oo,+oo[, x2_167 in ]-oo,+oo[, x3_167 in ]-oo,+oo[, x4_167 in ]-oo,+oo[, $w1_167 in [-0.01,0.01], $w2_167 in [-0.01,0.01], $w3_167 in [-0.01,0.01], $w4_167 in [-0.01,0.01], y1_167 in [-7.55264,-7.35264], y2_167 in [-0.343122,-0.143122], y3_167 in [147.883,148.083], x1_168 in ]-oo,+oo[, x2_168 in ]-oo,+oo[, x3_168 in ]-oo,+oo[, x4_168 in ]-oo,+oo[, $w1_168 in [-0.01,0.01], $w2_168 in [-0.01,0.01], $w3_168 in [-0.01,0.01], $w4_168 in [-0.01,0.01], y1_168 in [-7.0831,-6.8831], y2_168 in [-0.326763,-0.126763], y3_168 in [148.032,148.232], x1_169 in ]-oo,+oo[, x2_169 in ]-oo,+oo[, x3_169 in ]-oo,+oo[, x4_169 in ]-oo,+oo[, $w1_169 in [-0.01,0.01], $w2_169 in [-0.01,0.01], $w3_169 in [-0.01,0.01], $w4_169 in [-0.01,0.01], y1_169 in [-6.6089,-6.40891], y2_169 in [-0.371884,-0.171884], y3_169 in [147.725,147.925], x1_170 in ]-oo,+oo[, x2_170 in ]-oo,+oo[, x3_170 in ]-oo,+oo[, x4_170 in ]-oo,+oo[, $w1_170 in [-0.01,0.01], $w2_170 in [-0.01,0.01], $w3_170 in [-0.01,0.01], $w4_170 in [-0.01,0.01], y1_170 in [-6.2822,-6.0822], y2_170 in [-0.412466,-0.212466], y3_170 in [147.697,147.897], x1_171 in ]-oo,+oo[, x2_171 in ]-oo,+oo[, x3_171 in ]-oo,+oo[, x4_171 in ]-oo,+oo[, $w1_171 in [-0.01,0.01], $w2_171 in [-0.01,0.01], $w3_171 in [-0.01,0.01], $w4_171 in [-0.01,0.01], y1_171 in [-5.87323,-5.67323], y2_171 in [-0.227898,-0.0278983], y3_171 in [147.336,147.536], x1_172 in ]-oo,+oo[, x2_172 in ]-oo,+oo[, x3_172 in ]-oo,+oo[, x4_172 in ]-oo,+oo[, $w1_172 in [-0.01,0.01], $w2_172 in [-0.01,0.01], $w3_172 in [-0.01,0.01], $w4_172 in [-0.01,0.01], y1_172 in [-5.58705,-5.38705], y2_172 in [-0.462005,-0.262005], y3_172 in [147.213,147.413], x1_173 in ]-oo,+oo[, x2_173 in ]-oo,+oo[, x3_173 in ]-oo,+oo[, x4_173 in ]-oo,+oo[, $w1_173 in [-0.01,0.01], $w2_173 in [-0.01,0.01], $w3_173 in [-0.01,0.01], $w4_173 in [-0.01,0.01], y1_173 in [-5.392,-5.192], y2_173 in [-0.312084,-0.112084], y3_173 in [146.618,146.818], x1_174 in ]-oo,+oo[, x2_174 in ]-oo,+oo[, x3_174 in ]-oo,+oo[, x4_174 in ]-oo,+oo[, $w1_174 in [-0.01,0.01], $w2_174 in [-0.01,0.01], $w3_174 in [-0.01,0.01], $w4_174 in [-0.01,0.01], y1_174 in [-4.96526,-4.76526], y2_174 in [-0.449424,-0.249424], y3_174 in [146.271,146.471], x1_175 in ]-oo,+oo[, x2_175 in ]-oo,+oo[, x3_175 in ]-oo,+oo[, x4_175 in ]-oo,+oo[, $w1_175 in [-0.01,0.01], $w2_175 in [-0.01,0.01], $w3_175 in [-0.01,0.01], $w4_175 in [-0.01,0.01], y1_175 in [-4.92184,-4.72184], y2_175 in [-0.376721,-0.176721], y3_175 in [146.11,146.31], x1_176 in ]-oo,+oo[, x2_176 in ]-oo,+oo[, x3_176 in ]-oo,+oo[, x4_176 in ]-oo,+oo[, $w1_176 in [-0.01,0.01], $w2_176 in [-0.01,0.01], $w3_176 in [-0.01,0.01], $w4_176 in [-0.01,0.01], y1_176 in [-4.5655,-4.3655], y2_176 in [-0.407675,-0.207675], y3_176 in [145.665,145.865], x1_177 in ]-oo,+oo[, x2_177 in ]-oo,+oo[, x3_177 in ]-oo,+oo[, x4_177 in ]-oo,+oo[, $w1_177 in [-0.01,0.01], $w2_177 in [-0.01,0.01], $w3_177 in [-0.01,0.01], $w4_177 in [-0.01,0.01], y1_177 in [-4.50191,-4.30191], y2_177 in [-0.40395,-0.20395], y3_177 in [145.163,145.363], x1_178 in ]-oo,+oo[, x2_178 in ]-oo,+oo[, x3_178 in ]-oo,+oo[, x4_178 in ]-oo,+oo[, $w1_178 in [-0.01,0.01], $w2_178 in [-0.01,0.01], $w3_178 in [-0.01,0.01], $w4_178 in [-0.01,0.01], y1_178 in [-4.21597,-4.01597], y2_178 in [-0.330027,-0.130027], y3_178 in [144.859,145.059], x1_179 in ]-oo,+oo[, x2_179 in ]-oo,+oo[, x3_179 in ]-oo,+oo[, x4_179 in ]-oo,+oo[, $w1_179 in [-0.01,0.01], $w2_179 in [-0.01,0.01], $w3_179 in [-0.01,0.01], $w4_179 in [-0.01,0.01], y1_179 in [-4.0405,-3.8405], y2_179 in [-0.472489,-0.272489], y3_179 in [144.493,144.693], x1_180 in ]-oo,+oo[, x2_180 in ]-oo,+oo[, x3_180 in ]-oo,+oo[, x4_180 in ]-oo,+oo[, $w1_180 in [-0.01,0.01], $w2_180 in [-0.01,0.01], $w3_180 in [-0.01,0.01], $w4_180 in [-0.01,0.01], y1_180 in [-3.8729,-3.6729], y2_180 in [-0.448412,-0.248412], y3_180 in [144.382,144.582], x1_181 in ]-oo,+oo[, x2_181 in ]-oo,+oo[, x3_181 in ]-oo,+oo[, x4_181 in ]-oo,+oo[, $w1_181 in [-0.01,0.01], $w2_181 in [-0.01,0.01], $w3_181 in [-0.01,0.01], $w4_181 in [-0.01,0.01], y1_181 in [-3.88469,-3.68469], y2_181 in [-0.552571,-0.352571], y3_181 in [144.056,144.256], x1_182 in ]-oo,+oo[, x2_182 in ]-oo,+oo[, x3_182 in ]-oo,+oo[, x4_182 in ]-oo,+oo[, $w1_182 in [-0.01,0.01], $w2_182 in [-0.01,0.01], $w3_182 in [-0.01,0.01], $w4_182 in [-0.01,0.01], y1_182 in [-3.6339,-3.4339], y2_182 in [-0.421069,-0.221069], y3_182 in [143.54,143.74], x1_183 in ]-oo,+oo[, x2_183 in ]-oo,+oo[, x3_183 in ]-oo,+oo[, x4_183 in ]-oo,+oo[, $w1_183 in [-0.01,0.01], $w2_183 in [-0.01,0.01], $w3_183 in [-0.01,0.01], $w4_183 in [-0.01,0.01], y1_183 in [-3.57254,-3.37254], y2_183 in [-0.411841,-0.211841], y3_183 in [143.516,143.716], x1_184 in ]-oo,+oo[, x2_184 in ]-oo,+oo[, x3_184 in ]-oo,+oo[, x4_184 in ]-oo,+oo[, $w1_184 in [-0.01,0.01], $w2_184 in [-0.01,0.01], $w3_184 in [-0.01,0.01], $w4_184 in [-0.01,0.01], y1_184 in [-3.52995,-3.32995], y2_184 in [-0.441885,-0.241885], y3_184 in [143.203,143.403], x1_185 in ]-oo,+oo[, x2_185 in ]-oo,+oo[, x3_185 in ]-oo,+oo[, x4_185 in ]-oo,+oo[, $w1_185 in [-0.01,0.01], $w2_185 in [-0.01,0.01], $w3_185 in [-0.01,0.01], $w4_185 in [-0.01,0.01], y1_185 in [-3.25171,-3.05171], y2_185 in [-0.377479,-0.177479], y3_185 in [142.743,142.943], x1_186 in ]-oo,+oo[, x2_186 in ]-oo,+oo[, x3_186 in ]-oo,+oo[, x4_186 in ]-oo,+oo[, $w1_186 in [-0.01,0.01], $w2_186 in [-0.01,0.01], $w3_186 in [-0.01,0.01], $w4_186 in [-0.01,0.01], y1_186 in [-3.24222,-3.04222], y2_186 in [-0.448708,-0.248708], y3_186 in [142.676,142.876], x1_187 in ]-oo,+oo[, x2_187 in ]-oo,+oo[, x3_187 in ]-oo,+oo[, x4_187 in ]-oo,+oo[, $w1_187 in [-0.01,0.01], $w2_187 in [-0.01,0.01], $w3_187 in [-0.01,0.01], $w4_187 in [-0.01,0.01], y1_187 in [-3.20698,-3.00699], y2_187 in [-0.372145,-0.172145], y3_187 in [142.254,142.454], x1_188 in ]-oo,+oo[, x2_188 in ]-oo,+oo[, x3_188 in ]-oo,+oo[, x4_188 in ]-oo,+oo[, $w1_188 in [-0.01,0.01], $w2_188 in [-0.01,0.01], $w3_188 in [-0.01,0.01], $w4_188 in [-0.01,0.01], y1_188 in [-3.11755,-2.91755], y2_188 in [-0.433814,-0.233814], y3_188 in [142.031,142.231], x1_189 in ]-oo,+oo[, x2_189 in ]-oo,+oo[, x3_189 in ]-oo,+oo[, x4_189 in ]-oo,+oo[, $w1_189 in [-0.01,0.01], $w2_189 in [-0.01,0.01], $w3_189 in [-0.01,0.01], $w4_189 in [-0.01,0.01], y1_189 in [-3.08199,-2.88199], y2_189 in [-0.533025,-0.333025], y3_189 in [141.716,141.916], x1_190 in ]-oo,+oo[, x2_190 in ]-oo,+oo[, x3_190 in ]-oo,+oo[, x4_190 in ]-oo,+oo[, $w1_190 in [-0.01,0.01], $w2_190 in [-0.01,0.01], $w3_190 in [-0.01,0.01], $w4_190 in [-0.01,0.01], y1_190 in [-2.85181,-2.65181], y2_190 in [-0.368126,-0.168126], y3_190 in [141.654,141.854], x1_191 in ]-oo,+oo[, x2_191 in ]-oo,+oo[, x3_191 in ]-oo,+oo[, x4_191 in ]-oo,+oo[, $w1_191 in [-0.01,0.01], $w2_191 in [-0.01,0.01], $w3_191 in [-0.01,0.01], $w4_191 in [-0.01,0.01], y1_191 in [-2.87864,-2.67864], y2_191 in [-0.404426,-0.204426], y3_191 in [141.308,141.508], x1_192 in ]-oo,+oo[, x2_192 in ]-oo,+oo[, x3_192 in ]-oo,+oo[, x4_192 in ]-oo,+oo[, $w1_192 in [-0.01,0.01], $w2_192 in [-0.01,0.01], $w3_192 in [-0.01,0.01], $w4_192 in [-0.01,0.01], y1_192 in [-2.71719,-2.51719], y2_192 in [-0.617127,-0.417127], y3_192 in [141.064,141.264], x1_193 in ]-oo,+oo[, x2_193 in ]-oo,+oo[, x3_193 in ]-oo,+oo[, x4_193 in ]-oo,+oo[, $w1_193 in [-0.01,0.01], $w2_193 in [-0.01,0.01], $w3_193 in [-0.01,0.01], $w4_193 in [-0.01,0.01], y1_193 in [-2.803,-2.603], y2_193 in [-0.479268,-0.279268], y3_193 in [140.628,140.828], x1_194 in ]-oo,+oo[, x2_194 in ]-oo,+oo[, x3_194 in ]-oo,+oo[, x4_194 in ]-oo,+oo[, $w1_194 in [-0.01,0.01], $w2_194 in [-0.01,0.01], $w3_194 in [-0.01,0.01], $w4_194 in [-0.01,0.01], y1_194 in [-2.67903,-2.47903], y2_194 in [-0.637083,-0.437083], y3_194 in [140.383,140.583], x1_195 in ]-oo,+oo[, x2_195 in ]-oo,+oo[, x3_195 in ]-oo,+oo[, x4_195 in ]-oo,+oo[, $w1_195 in [-0.01,0.01], $w2_195 in [-0.01,0.01], $w3_195 in [-0.01,0.01], $w4_195 in [-0.01,0.01], y1_195 in [-2.69449,-2.4945], y2_195 in [-0.595402,-0.395402], y3_195 in [139.954,140.154], x1_196 in ]-oo,+oo[, x2_196 in ]-oo,+oo[, x3_196 in ]-oo,+oo[, x4_196 in ]-oo,+oo[, $w1_196 in [-0.01,0.01], $w2_196 in [-0.01,0.01], $w3_196 in [-0.01,0.01], $w4_196 in [-0.01,0.01], y1_196 in [-2.45116,-2.25116], y2_196 in [-0.755943,-0.555943], y3_196 in [139.338,139.538], x1_197 in ]-oo,+oo[, x2_197 in ]-oo,+oo[, x3_197 in ]-oo,+oo[, x4_197 in ]-oo,+oo[, $w1_197 in [-0.01,0.01], $w2_197 in [-0.01,0.01], $w3_197 in [-0.01,0.01], $w4_197 in [-0.01,0.01], y1_197 in [-2.47418,-2.27418], y2_197 in [-0.739843,-0.539843], y3_197 in [138.695,138.895], x1_198 in ]-oo,+oo[, x2_198 in ]-oo,+oo[, x3_198 in ]-oo,+oo[, x4_198 in ]-oo,+oo[, $w1_198 in [-0.01,0.01], $w2_198 in [-0.01,0.01], $w3_198 in [-0.01,0.01], $w4_198 in [-0.01,0.01], y1_198 in [-2.43666,-2.23666], y2_198 in [-0.835982,-0.635982], y3_198 in [137.977,138.177], x1_199 in ]-oo,+oo[, x2_199 in ]-oo,+oo[, x3_199 in ]-oo,+oo[, x4_199 in ]-oo,+oo[, $w1_199 in [-0.01,0.01], $w2_199 in [-0.01,0.01], $w3_199 in [-0.01,0.01], $w4_199 in [-0.01,0.01], y1_199 in [-2.46739,-2.26739], y2_199 in [-0.932083,-0.732083], y3_199 in [137.429,137.629], x1_200 in ]-oo,+oo[, x2_200 in ]-oo,+oo[, x3_200 in ]-oo,+oo[, x4_200 in ]-oo,+oo[, $w1_200 in [-0.01,0.01], $w2_200 in [-0.01,0.01], $w3_200 in [-0.01,0.01], $w4_200 in [-0.01,0.01], y1_200 in [-2.42001,-2.22001], y2_200 in [-0.925105,-0.725105], y3_200 in [136.612,136.812], x1_201 in ]-oo,+oo[, x2_201 in ]-oo,+oo[, x3_201 in ]-oo,+oo[, x4_201 in ]-oo,+oo[; Constraints x1_1=x1_0+0.5*x3_0+ w1_0, x2_1=x2_0+0.5*x4_0+ w2_0, x3_1=x3_0-0.5*x1_0/(sqrt(x1_0^2+x2_0^2))^3+w3_0, x4_1=x4_0-0.5*x2_0/(sqrt(x1_0^2+x2_0^2))^3+w4_0, y1_0=x2_0/x1_0, y2_0=x1_0*x3_0+x2_0*x4_0, y3_0=x1_0^2+x2_0^2, x1_2=x1_1+0.5*x3_1+ w1_1, x2_2=x2_1+0.5*x4_1+ w2_1, x3_2=x3_1-0.5*x1_1/(sqrt(x1_1^2+x2_1^2))^3+w3_1, x4_2=x4_1-0.5*x2_1/(sqrt(x1_1^2+x2_1^2))^3+w4_1, y1_1=x2_1/x1_1, y2_1=x1_1*x3_1+x2_1*x4_1, y3_1=x1_1^2+x2_1^2, x1_3=x1_2+0.5*x3_2+ w1_2, x2_3=x2_2+0.5*x4_2+ w2_2, x3_3=x3_2-0.5*x1_2/(sqrt(x1_2^2+x2_2^2))^3+w3_2, x4_3=x4_2-0.5*x2_2/(sqrt(x1_2^2+x2_2^2))^3+w4_2, y1_2=x2_2/x1_2, y2_2=x1_2*x3_2+x2_2*x4_2, y3_2=x1_2^2+x2_2^2, x1_4=x1_3+0.5*x3_3+ w1_3, x2_4=x2_3+0.5*x4_3+ w2_3, x3_4=x3_3-0.5*x1_3/(sqrt(x1_3^2+x2_3^2))^3+w3_3, x4_4=x4_3-0.5*x2_3/(sqrt(x1_3^2+x2_3^2))^3+w4_3, y1_3=x2_3/x1_3, y2_3=x1_3*x3_3+x2_3*x4_3, y3_3=x1_3^2+x2_3^2, x1_5=x1_4+0.5*x3_4+ w1_4, x2_5=x2_4+0.5*x4_4+ w2_4, x3_5=x3_4-0.5*x1_4/(sqrt(x1_4^2+x2_4^2))^3+w3_4, x4_5=x4_4-0.5*x2_4/(sqrt(x1_4^2+x2_4^2))^3+w4_4, y1_4=x2_4/x1_4, y2_4=x1_4*x3_4+x2_4*x4_4, y3_4=x1_4^2+x2_4^2, x1_6=x1_5+0.5*x3_5+ w1_5, x2_6=x2_5+0.5*x4_5+ w2_5, x3_6=x3_5-0.5*x1_5/(sqrt(x1_5^2+x2_5^2))^3+w3_5, x4_6=x4_5-0.5*x2_5/(sqrt(x1_5^2+x2_5^2))^3+w4_5, y1_5=x2_5/x1_5, y2_5=x1_5*x3_5+x2_5*x4_5, y3_5=x1_5^2+x2_5^2, x1_7=x1_6+0.5*x3_6+ w1_6, x2_7=x2_6+0.5*x4_6+ w2_6, x3_7=x3_6-0.5*x1_6/(sqrt(x1_6^2+x2_6^2))^3+w3_6, x4_7=x4_6-0.5*x2_6/(sqrt(x1_6^2+x2_6^2))^3+w4_6, y1_6=x2_6/x1_6, y2_6=x1_6*x3_6+x2_6*x4_6, y3_6=x1_6^2+x2_6^2, x1_8=x1_7+0.5*x3_7+ w1_7, x2_8=x2_7+0.5*x4_7+ w2_7, x3_8=x3_7-0.5*x1_7/(sqrt(x1_7^2+x2_7^2))^3+w3_7, x4_8=x4_7-0.5*x2_7/(sqrt(x1_7^2+x2_7^2))^3+w4_7, y1_7=x2_7/x1_7, y2_7=x1_7*x3_7+x2_7*x4_7, y3_7=x1_7^2+x2_7^2, x1_9=x1_8+0.5*x3_8+ w1_8, x2_9=x2_8+0.5*x4_8+ w2_8, x3_9=x3_8-0.5*x1_8/(sqrt(x1_8^2+x2_8^2))^3+w3_8, x4_9=x4_8-0.5*x2_8/(sqrt(x1_8^2+x2_8^2))^3+w4_8, y1_8=x2_8/x1_8, y2_8=x1_8*x3_8+x2_8*x4_8, y3_8=x1_8^2+x2_8^2, x1_10=x1_9+0.5*x3_9+ w1_9, x2_10=x2_9+0.5*x4_9+ w2_9, x3_10=x3_9-0.5*x1_9/(sqrt(x1_9^2+x2_9^2))^3+w3_9, x4_10=x4_9-0.5*x2_9/(sqrt(x1_9^2+x2_9^2))^3+w4_9, y1_9=x2_9/x1_9, y2_9=x1_9*x3_9+x2_9*x4_9, y3_9=x1_9^2+x2_9^2, x1_11=x1_10+0.5*x3_10+ w1_10, x2_11=x2_10+0.5*x4_10+ w2_10, x3_11=x3_10-0.5*x1_10/(sqrt(x1_10^2+x2_10^2))^3+w3_10, x4_11=x4_10-0.5*x2_10/(sqrt(x1_10^2+x2_10^2))^3+w4_10, y1_10=x2_10/x1_10, y2_10=x1_10*x3_10+x2_10*x4_10, y3_10=x1_10^2+x2_10^2, x1_12=x1_11+0.5*x3_11+ w1_11, x2_12=x2_11+0.5*x4_11+ w2_11, x3_12=x3_11-0.5*x1_11/(sqrt(x1_11^2+x2_11^2))^3+w3_11, x4_12=x4_11-0.5*x2_11/(sqrt(x1_11^2+x2_11^2))^3+w4_11, y1_11=x2_11/x1_11, y2_11=x1_11*x3_11+x2_11*x4_11, y3_11=x1_11^2+x2_11^2, x1_13=x1_12+0.5*x3_12+ w1_12, x2_13=x2_12+0.5*x4_12+ w2_12, x3_13=x3_12-0.5*x1_12/(sqrt(x1_12^2+x2_12^2))^3+w3_12, x4_13=x4_12-0.5*x2_12/(sqrt(x1_12^2+x2_12^2))^3+w4_12, y1_12=x2_12/x1_12, y2_12=x1_12*x3_12+x2_12*x4_12, y3_12=x1_12^2+x2_12^2, x1_14=x1_13+0.5*x3_13+ w1_13, x2_14=x2_13+0.5*x4_13+ w2_13, x3_14=x3_13-0.5*x1_13/(sqrt(x1_13^2+x2_13^2))^3+w3_13, x4_14=x4_13-0.5*x2_13/(sqrt(x1_13^2+x2_13^2))^3+w4_13, y1_13=x2_13/x1_13, y2_13=x1_13*x3_13+x2_13*x4_13, y3_13=x1_13^2+x2_13^2, x1_15=x1_14+0.5*x3_14+ w1_14, x2_15=x2_14+0.5*x4_14+ w2_14, x3_15=x3_14-0.5*x1_14/(sqrt(x1_14^2+x2_14^2))^3+w3_14, x4_15=x4_14-0.5*x2_14/(sqrt(x1_14^2+x2_14^2))^3+w4_14, y1_14=x2_14/x1_14, y2_14=x1_14*x3_14+x2_14*x4_14, y3_14=x1_14^2+x2_14^2, x1_16=x1_15+0.5*x3_15+ w1_15, x2_16=x2_15+0.5*x4_15+ w2_15, x3_16=x3_15-0.5*x1_15/(sqrt(x1_15^2+x2_15^2))^3+w3_15, x4_16=x4_15-0.5*x2_15/(sqrt(x1_15^2+x2_15^2))^3+w4_15, y1_15=x2_15/x1_15, y2_15=x1_15*x3_15+x2_15*x4_15, y3_15=x1_15^2+x2_15^2, x1_17=x1_16+0.5*x3_16+ w1_16, x2_17=x2_16+0.5*x4_16+ w2_16, x3_17=x3_16-0.5*x1_16/(sqrt(x1_16^2+x2_16^2))^3+w3_16, x4_17=x4_16-0.5*x2_16/(sqrt(x1_16^2+x2_16^2))^3+w4_16, y1_16=x2_16/x1_16, y2_16=x1_16*x3_16+x2_16*x4_16, y3_16=x1_16^2+x2_16^2, x1_18=x1_17+0.5*x3_17+ w1_17, x2_18=x2_17+0.5*x4_17+ w2_17, x3_18=x3_17-0.5*x1_17/(sqrt(x1_17^2+x2_17^2))^3+w3_17, x4_18=x4_17-0.5*x2_17/(sqrt(x1_17^2+x2_17^2))^3+w4_17, y1_17=x2_17/x1_17, y2_17=x1_17*x3_17+x2_17*x4_17, y3_17=x1_17^2+x2_17^2, x1_19=x1_18+0.5*x3_18+ w1_18, x2_19=x2_18+0.5*x4_18+ w2_18, x3_19=x3_18-0.5*x1_18/(sqrt(x1_18^2+x2_18^2))^3+w3_18, x4_19=x4_18-0.5*x2_18/(sqrt(x1_18^2+x2_18^2))^3+w4_18, y1_18=x2_18/x1_18, y2_18=x1_18*x3_18+x2_18*x4_18, y3_18=x1_18^2+x2_18^2, x1_20=x1_19+0.5*x3_19+ w1_19, x2_20=x2_19+0.5*x4_19+ w2_19, x3_20=x3_19-0.5*x1_19/(sqrt(x1_19^2+x2_19^2))^3+w3_19, x4_20=x4_19-0.5*x2_19/(sqrt(x1_19^2+x2_19^2))^3+w4_19, y1_19=x2_19/x1_19, y2_19=x1_19*x3_19+x2_19*x4_19, y3_19=x1_19^2+x2_19^2, x1_21=x1_20+0.5*x3_20+ w1_20, x2_21=x2_20+0.5*x4_20+ w2_20, x3_21=x3_20-0.5*x1_20/(sqrt(x1_20^2+x2_20^2))^3+w3_20, x4_21=x4_20-0.5*x2_20/(sqrt(x1_20^2+x2_20^2))^3+w4_20, y1_20=x2_20/x1_20, y2_20=x1_20*x3_20+x2_20*x4_20, y3_20=x1_20^2+x2_20^2, x1_22=x1_21+0.5*x3_21+ w1_21, x2_22=x2_21+0.5*x4_21+ w2_21, x3_22=x3_21-0.5*x1_21/(sqrt(x1_21^2+x2_21^2))^3+w3_21, x4_22=x4_21-0.5*x2_21/(sqrt(x1_21^2+x2_21^2))^3+w4_21, y1_21=x2_21/x1_21, y2_21=x1_21*x3_21+x2_21*x4_21, y3_21=x1_21^2+x2_21^2, x1_23=x1_22+0.5*x3_22+ w1_22, x2_23=x2_22+0.5*x4_22+ w2_22, x3_23=x3_22-0.5*x1_22/(sqrt(x1_22^2+x2_22^2))^3+w3_22, x4_23=x4_22-0.5*x2_22/(sqrt(x1_22^2+x2_22^2))^3+w4_22, y1_22=x2_22/x1_22, y2_22=x1_22*x3_22+x2_22*x4_22, y3_22=x1_22^2+x2_22^2, x1_24=x1_23+0.5*x3_23+ w1_23, x2_24=x2_23+0.5*x4_23+ w2_23, x3_24=x3_23-0.5*x1_23/(sqrt(x1_23^2+x2_23^2))^3+w3_23, x4_24=x4_23-0.5*x2_23/(sqrt(x1_23^2+x2_23^2))^3+w4_23, y1_23=x2_23/x1_23, y2_23=x1_23*x3_23+x2_23*x4_23, y3_23=x1_23^2+x2_23^2, x1_25=x1_24+0.5*x3_24+ w1_24, x2_25=x2_24+0.5*x4_24+ w2_24, x3_25=x3_24-0.5*x1_24/(sqrt(x1_24^2+x2_24^2))^3+w3_24, x4_25=x4_24-0.5*x2_24/(sqrt(x1_24^2+x2_24^2))^3+w4_24, y1_24=x2_24/x1_24, y2_24=x1_24*x3_24+x2_24*x4_24, y3_24=x1_24^2+x2_24^2, x1_26=x1_25+0.5*x3_25+ w1_25, x2_26=x2_25+0.5*x4_25+ w2_25, x3_26=x3_25-0.5*x1_25/(sqrt(x1_25^2+x2_25^2))^3+w3_25, x4_26=x4_25-0.5*x2_25/(sqrt(x1_25^2+x2_25^2))^3+w4_25, y1_25=x2_25/x1_25, y2_25=x1_25*x3_25+x2_25*x4_25, y3_25=x1_25^2+x2_25^2, x1_27=x1_26+0.5*x3_26+ w1_26, x2_27=x2_26+0.5*x4_26+ w2_26, x3_27=x3_26-0.5*x1_26/(sqrt(x1_26^2+x2_26^2))^3+w3_26, x4_27=x4_26-0.5*x2_26/(sqrt(x1_26^2+x2_26^2))^3+w4_26, y1_26=x2_26/x1_26, y2_26=x1_26*x3_26+x2_26*x4_26, y3_26=x1_26^2+x2_26^2, x1_28=x1_27+0.5*x3_27+ w1_27, x2_28=x2_27+0.5*x4_27+ w2_27, x3_28=x3_27-0.5*x1_27/(sqrt(x1_27^2+x2_27^2))^3+w3_27, x4_28=x4_27-0.5*x2_27/(sqrt(x1_27^2+x2_27^2))^3+w4_27, y1_27=x2_27/x1_27, y2_27=x1_27*x3_27+x2_27*x4_27, y3_27=x1_27^2+x2_27^2, x1_29=x1_28+0.5*x3_28+ w1_28, x2_29=x2_28+0.5*x4_28+ w2_28, x3_29=x3_28-0.5*x1_28/(sqrt(x1_28^2+x2_28^2))^3+w3_28, x4_29=x4_28-0.5*x2_28/(sqrt(x1_28^2+x2_28^2))^3+w4_28, y1_28=x2_28/x1_28, y2_28=x1_28*x3_28+x2_28*x4_28, y3_28=x1_28^2+x2_28^2, x1_30=x1_29+0.5*x3_29+ w1_29, x2_30=x2_29+0.5*x4_29+ w2_29, x3_30=x3_29-0.5*x1_29/(sqrt(x1_29^2+x2_29^2))^3+w3_29, x4_30=x4_29-0.5*x2_29/(sqrt(x1_29^2+x2_29^2))^3+w4_29, y1_29=x2_29/x1_29, y2_29=x1_29*x3_29+x2_29*x4_29, y3_29=x1_29^2+x2_29^2, x1_31=x1_30+0.5*x3_30+ w1_30, x2_31=x2_30+0.5*x4_30+ w2_30, x3_31=x3_30-0.5*x1_30/(sqrt(x1_30^2+x2_30^2))^3+w3_30, x4_31=x4_30-0.5*x2_30/(sqrt(x1_30^2+x2_30^2))^3+w4_30, y1_30=x2_30/x1_30, y2_30=x1_30*x3_30+x2_30*x4_30, y3_30=x1_30^2+x2_30^2, x1_32=x1_31+0.5*x3_31+ w1_31, x2_32=x2_31+0.5*x4_31+ w2_31, x3_32=x3_31-0.5*x1_31/(sqrt(x1_31^2+x2_31^2))^3+w3_31, x4_32=x4_31-0.5*x2_31/(sqrt(x1_31^2+x2_31^2))^3+w4_31, y1_31=x2_31/x1_31, y2_31=x1_31*x3_31+x2_31*x4_31, y3_31=x1_31^2+x2_31^2, x1_33=x1_32+0.5*x3_32+ w1_32, x2_33=x2_32+0.5*x4_32+ w2_32, x3_33=x3_32-0.5*x1_32/(sqrt(x1_32^2+x2_32^2))^3+w3_32, x4_33=x4_32-0.5*x2_32/(sqrt(x1_32^2+x2_32^2))^3+w4_32, y1_32=x2_32/x1_32, y2_32=x1_32*x3_32+x2_32*x4_32, y3_32=x1_32^2+x2_32^2, x1_34=x1_33+0.5*x3_33+ w1_33, x2_34=x2_33+0.5*x4_33+ w2_33, x3_34=x3_33-0.5*x1_33/(sqrt(x1_33^2+x2_33^2))^3+w3_33, x4_34=x4_33-0.5*x2_33/(sqrt(x1_33^2+x2_33^2))^3+w4_33, y1_33=x2_33/x1_33, y2_33=x1_33*x3_33+x2_33*x4_33, y3_33=x1_33^2+x2_33^2, x1_35=x1_34+0.5*x3_34+ w1_34, x2_35=x2_34+0.5*x4_34+ w2_34, x3_35=x3_34-0.5*x1_34/(sqrt(x1_34^2+x2_34^2))^3+w3_34, x4_35=x4_34-0.5*x2_34/(sqrt(x1_34^2+x2_34^2))^3+w4_34, y1_34=x2_34/x1_34, y2_34=x1_34*x3_34+x2_34*x4_34, y3_34=x1_34^2+x2_34^2, x1_36=x1_35+0.5*x3_35+ w1_35, x2_36=x2_35+0.5*x4_35+ w2_35, x3_36=x3_35-0.5*x1_35/(sqrt(x1_35^2+x2_35^2))^3+w3_35, x4_36=x4_35-0.5*x2_35/(sqrt(x1_35^2+x2_35^2))^3+w4_35, y1_35=x2_35/x1_35, y2_35=x1_35*x3_35+x2_35*x4_35, y3_35=x1_35^2+x2_35^2, x1_37=x1_36+0.5*x3_36+ w1_36, x2_37=x2_36+0.5*x4_36+ w2_36, x3_37=x3_36-0.5*x1_36/(sqrt(x1_36^2+x2_36^2))^3+w3_36, x4_37=x4_36-0.5*x2_36/(sqrt(x1_36^2+x2_36^2))^3+w4_36, y1_36=x2_36/x1_36, y2_36=x1_36*x3_36+x2_36*x4_36, y3_36=x1_36^2+x2_36^2, x1_38=x1_37+0.5*x3_37+ w1_37, x2_38=x2_37+0.5*x4_37+ w2_37, x3_38=x3_37-0.5*x1_37/(sqrt(x1_37^2+x2_37^2))^3+w3_37, x4_38=x4_37-0.5*x2_37/(sqrt(x1_37^2+x2_37^2))^3+w4_37, y1_37=x2_37/x1_37, y2_37=x1_37*x3_37+x2_37*x4_37, y3_37=x1_37^2+x2_37^2, x1_39=x1_38+0.5*x3_38+ w1_38, x2_39=x2_38+0.5*x4_38+ w2_38, x3_39=x3_38-0.5*x1_38/(sqrt(x1_38^2+x2_38^2))^3+w3_38, x4_39=x4_38-0.5*x2_38/(sqrt(x1_38^2+x2_38^2))^3+w4_38, y1_38=x2_38/x1_38, y2_38=x1_38*x3_38+x2_38*x4_38, y3_38=x1_38^2+x2_38^2, x1_40=x1_39+0.5*x3_39+ w1_39, x2_40=x2_39+0.5*x4_39+ w2_39, x3_40=x3_39-0.5*x1_39/(sqrt(x1_39^2+x2_39^2))^3+w3_39, x4_40=x4_39-0.5*x2_39/(sqrt(x1_39^2+x2_39^2))^3+w4_39, y1_39=x2_39/x1_39, y2_39=x1_39*x3_39+x2_39*x4_39, y3_39=x1_39^2+x2_39^2, x1_41=x1_40+0.5*x3_40+ w1_40, x2_41=x2_40+0.5*x4_40+ w2_40, x3_41=x3_40-0.5*x1_40/(sqrt(x1_40^2+x2_40^2))^3+w3_40, x4_41=x4_40-0.5*x2_40/(sqrt(x1_40^2+x2_40^2))^3+w4_40, y1_40=x2_40/x1_40, y2_40=x1_40*x3_40+x2_40*x4_40, y3_40=x1_40^2+x2_40^2, x1_42=x1_41+0.5*x3_41+ w1_41, x2_42=x2_41+0.5*x4_41+ w2_41, x3_42=x3_41-0.5*x1_41/(sqrt(x1_41^2+x2_41^2))^3+w3_41, x4_42=x4_41-0.5*x2_41/(sqrt(x1_41^2+x2_41^2))^3+w4_41, y1_41=x2_41/x1_41, y2_41=x1_41*x3_41+x2_41*x4_41, y3_41=x1_41^2+x2_41^2, x1_43=x1_42+0.5*x3_42+ w1_42, x2_43=x2_42+0.5*x4_42+ w2_42, x3_43=x3_42-0.5*x1_42/(sqrt(x1_42^2+x2_42^2))^3+w3_42, x4_43=x4_42-0.5*x2_42/(sqrt(x1_42^2+x2_42^2))^3+w4_42, y1_42=x2_42/x1_42, y2_42=x1_42*x3_42+x2_42*x4_42, y3_42=x1_42^2+x2_42^2, x1_44=x1_43+0.5*x3_43+ w1_43, x2_44=x2_43+0.5*x4_43+ w2_43, x3_44=x3_43-0.5*x1_43/(sqrt(x1_43^2+x2_43^2))^3+w3_43, x4_44=x4_43-0.5*x2_43/(sqrt(x1_43^2+x2_43^2))^3+w4_43, y1_43=x2_43/x1_43, y2_43=x1_43*x3_43+x2_43*x4_43, y3_43=x1_43^2+x2_43^2, x1_45=x1_44+0.5*x3_44+ w1_44, x2_45=x2_44+0.5*x4_44+ w2_44, x3_45=x3_44-0.5*x1_44/(sqrt(x1_44^2+x2_44^2))^3+w3_44, x4_45=x4_44-0.5*x2_44/(sqrt(x1_44^2+x2_44^2))^3+w4_44, y1_44=x2_44/x1_44, y2_44=x1_44*x3_44+x2_44*x4_44, y3_44=x1_44^2+x2_44^2, x1_46=x1_45+0.5*x3_45+ w1_45, x2_46=x2_45+0.5*x4_45+ w2_45, x3_46=x3_45-0.5*x1_45/(sqrt(x1_45^2+x2_45^2))^3+w3_45, x4_46=x4_45-0.5*x2_45/(sqrt(x1_45^2+x2_45^2))^3+w4_45, y1_45=x2_45/x1_45, y2_45=x1_45*x3_45+x2_45*x4_45, y3_45=x1_45^2+x2_45^2, x1_47=x1_46+0.5*x3_46+ w1_46, x2_47=x2_46+0.5*x4_46+ w2_46, x3_47=x3_46-0.5*x1_46/(sqrt(x1_46^2+x2_46^2))^3+w3_46, x4_47=x4_46-0.5*x2_46/(sqrt(x1_46^2+x2_46^2))^3+w4_46, y1_46=x2_46/x1_46, y2_46=x1_46*x3_46+x2_46*x4_46, y3_46=x1_46^2+x2_46^2, x1_48=x1_47+0.5*x3_47+ w1_47, x2_48=x2_47+0.5*x4_47+ w2_47, x3_48=x3_47-0.5*x1_47/(sqrt(x1_47^2+x2_47^2))^3+w3_47, x4_48=x4_47-0.5*x2_47/(sqrt(x1_47^2+x2_47^2))^3+w4_47, y1_47=x2_47/x1_47, y2_47=x1_47*x3_47+x2_47*x4_47, y3_47=x1_47^2+x2_47^2, x1_49=x1_48+0.5*x3_48+ w1_48, x2_49=x2_48+0.5*x4_48+ w2_48, x3_49=x3_48-0.5*x1_48/(sqrt(x1_48^2+x2_48^2))^3+w3_48, x4_49=x4_48-0.5*x2_48/(sqrt(x1_48^2+x2_48^2))^3+w4_48, y1_48=x2_48/x1_48, y2_48=x1_48*x3_48+x2_48*x4_48, y3_48=x1_48^2+x2_48^2, x1_50=x1_49+0.5*x3_49+ w1_49, x2_50=x2_49+0.5*x4_49+ w2_49, x3_50=x3_49-0.5*x1_49/(sqrt(x1_49^2+x2_49^2))^3+w3_49, x4_50=x4_49-0.5*x2_49/(sqrt(x1_49^2+x2_49^2))^3+w4_49, y1_49=x2_49/x1_49, y2_49=x1_49*x3_49+x2_49*x4_49, y3_49=x1_49^2+x2_49^2, x1_51=x1_50+0.5*x3_50+ w1_50, x2_51=x2_50+0.5*x4_50+ w2_50, x3_51=x3_50-0.5*x1_50/(sqrt(x1_50^2+x2_50^2))^3+w3_50, x4_51=x4_50-0.5*x2_50/(sqrt(x1_50^2+x2_50^2))^3+w4_50, y1_50=x2_50/x1_50, y2_50=x1_50*x3_50+x2_50*x4_50, y3_50=x1_50^2+x2_50^2, x1_52=x1_51+0.5*x3_51+ w1_51, x2_52=x2_51+0.5*x4_51+ w2_51, x3_52=x3_51-0.5*x1_51/(sqrt(x1_51^2+x2_51^2))^3+w3_51, x4_52=x4_51-0.5*x2_51/(sqrt(x1_51^2+x2_51^2))^3+w4_51, y1_51=x2_51/x1_51, y2_51=x1_51*x3_51+x2_51*x4_51, y3_51=x1_51^2+x2_51^2, x1_53=x1_52+0.5*x3_52+ w1_52, x2_53=x2_52+0.5*x4_52+ w2_52, x3_53=x3_52-0.5*x1_52/(sqrt(x1_52^2+x2_52^2))^3+w3_52, x4_53=x4_52-0.5*x2_52/(sqrt(x1_52^2+x2_52^2))^3+w4_52, y1_52=x2_52/x1_52, y2_52=x1_52*x3_52+x2_52*x4_52, y3_52=x1_52^2+x2_52^2, x1_54=x1_53+0.5*x3_53+ w1_53, x2_54=x2_53+0.5*x4_53+ w2_53, x3_54=x3_53-0.5*x1_53/(sqrt(x1_53^2+x2_53^2))^3+w3_53, x4_54=x4_53-0.5*x2_53/(sqrt(x1_53^2+x2_53^2))^3+w4_53, y1_53=x2_53/x1_53, y2_53=x1_53*x3_53+x2_53*x4_53, y3_53=x1_53^2+x2_53^2, x1_55=x1_54+0.5*x3_54+ w1_54, x2_55=x2_54+0.5*x4_54+ w2_54, x3_55=x3_54-0.5*x1_54/(sqrt(x1_54^2+x2_54^2))^3+w3_54, x4_55=x4_54-0.5*x2_54/(sqrt(x1_54^2+x2_54^2))^3+w4_54, y1_54=x2_54/x1_54, y2_54=x1_54*x3_54+x2_54*x4_54, y3_54=x1_54^2+x2_54^2, x1_56=x1_55+0.5*x3_55+ w1_55, x2_56=x2_55+0.5*x4_55+ w2_55, x3_56=x3_55-0.5*x1_55/(sqrt(x1_55^2+x2_55^2))^3+w3_55, x4_56=x4_55-0.5*x2_55/(sqrt(x1_55^2+x2_55^2))^3+w4_55, y1_55=x2_55/x1_55, y2_55=x1_55*x3_55+x2_55*x4_55, y3_55=x1_55^2+x2_55^2, x1_57=x1_56+0.5*x3_56+ w1_56, x2_57=x2_56+0.5*x4_56+ w2_56, x3_57=x3_56-0.5*x1_56/(sqrt(x1_56^2+x2_56^2))^3+w3_56, x4_57=x4_56-0.5*x2_56/(sqrt(x1_56^2+x2_56^2))^3+w4_56, y1_56=x2_56/x1_56, y2_56=x1_56*x3_56+x2_56*x4_56, y3_56=x1_56^2+x2_56^2, x1_58=x1_57+0.5*x3_57+ w1_57, x2_58=x2_57+0.5*x4_57+ w2_57, x3_58=x3_57-0.5*x1_57/(sqrt(x1_57^2+x2_57^2))^3+w3_57, x4_58=x4_57-0.5*x2_57/(sqrt(x1_57^2+x2_57^2))^3+w4_57, y1_57=x2_57/x1_57, y2_57=x1_57*x3_57+x2_57*x4_57, y3_57=x1_57^2+x2_57^2, x1_59=x1_58+0.5*x3_58+ w1_58, x2_59=x2_58+0.5*x4_58+ w2_58, x3_59=x3_58-0.5*x1_58/(sqrt(x1_58^2+x2_58^2))^3+w3_58, x4_59=x4_58-0.5*x2_58/(sqrt(x1_58^2+x2_58^2))^3+w4_58, y1_58=x2_58/x1_58, y2_58=x1_58*x3_58+x2_58*x4_58, y3_58=x1_58^2+x2_58^2, x1_60=x1_59+0.5*x3_59+ w1_59, x2_60=x2_59+0.5*x4_59+ w2_59, x3_60=x3_59-0.5*x1_59/(sqrt(x1_59^2+x2_59^2))^3+w3_59, x4_60=x4_59-0.5*x2_59/(sqrt(x1_59^2+x2_59^2))^3+w4_59, y1_59=x2_59/x1_59, y2_59=x1_59*x3_59+x2_59*x4_59, y3_59=x1_59^2+x2_59^2, x1_61=x1_60+0.5*x3_60+ w1_60, x2_61=x2_60+0.5*x4_60+ w2_60, x3_61=x3_60-0.5*x1_60/(sqrt(x1_60^2+x2_60^2))^3+w3_60, x4_61=x4_60-0.5*x2_60/(sqrt(x1_60^2+x2_60^2))^3+w4_60, y1_60=x2_60/x1_60, y2_60=x1_60*x3_60+x2_60*x4_60, y3_60=x1_60^2+x2_60^2, x1_62=x1_61+0.5*x3_61+ w1_61, x2_62=x2_61+0.5*x4_61+ w2_61, x3_62=x3_61-0.5*x1_61/(sqrt(x1_61^2+x2_61^2))^3+w3_61, x4_62=x4_61-0.5*x2_61/(sqrt(x1_61^2+x2_61^2))^3+w4_61, y1_61=x2_61/x1_61, y2_61=x1_61*x3_61+x2_61*x4_61, y3_61=x1_61^2+x2_61^2, x1_63=x1_62+0.5*x3_62+ w1_62, x2_63=x2_62+0.5*x4_62+ w2_62, x3_63=x3_62-0.5*x1_62/(sqrt(x1_62^2+x2_62^2))^3+w3_62, x4_63=x4_62-0.5*x2_62/(sqrt(x1_62^2+x2_62^2))^3+w4_62, y1_62=x2_62/x1_62, y2_62=x1_62*x3_62+x2_62*x4_62, y3_62=x1_62^2+x2_62^2, x1_64=x1_63+0.5*x3_63+ w1_63, x2_64=x2_63+0.5*x4_63+ w2_63, x3_64=x3_63-0.5*x1_63/(sqrt(x1_63^2+x2_63^2))^3+w3_63, x4_64=x4_63-0.5*x2_63/(sqrt(x1_63^2+x2_63^2))^3+w4_63, y1_63=x2_63/x1_63, y2_63=x1_63*x3_63+x2_63*x4_63, y3_63=x1_63^2+x2_63^2, x1_65=x1_64+0.5*x3_64+ w1_64, x2_65=x2_64+0.5*x4_64+ w2_64, x3_65=x3_64-0.5*x1_64/(sqrt(x1_64^2+x2_64^2))^3+w3_64, x4_65=x4_64-0.5*x2_64/(sqrt(x1_64^2+x2_64^2))^3+w4_64, y1_64=x2_64/x1_64, y2_64=x1_64*x3_64+x2_64*x4_64, y3_64=x1_64^2+x2_64^2, x1_66=x1_65+0.5*x3_65+ w1_65, x2_66=x2_65+0.5*x4_65+ w2_65, x3_66=x3_65-0.5*x1_65/(sqrt(x1_65^2+x2_65^2))^3+w3_65, x4_66=x4_65-0.5*x2_65/(sqrt(x1_65^2+x2_65^2))^3+w4_65, y1_65=x2_65/x1_65, y2_65=x1_65*x3_65+x2_65*x4_65, y3_65=x1_65^2+x2_65^2, x1_67=x1_66+0.5*x3_66+ w1_66, x2_67=x2_66+0.5*x4_66+ w2_66, x3_67=x3_66-0.5*x1_66/(sqrt(x1_66^2+x2_66^2))^3+w3_66, x4_67=x4_66-0.5*x2_66/(sqrt(x1_66^2+x2_66^2))^3+w4_66, y1_66=x2_66/x1_66, y2_66=x1_66*x3_66+x2_66*x4_66, y3_66=x1_66^2+x2_66^2, x1_68=x1_67+0.5*x3_67+ w1_67, x2_68=x2_67+0.5*x4_67+ w2_67, x3_68=x3_67-0.5*x1_67/(sqrt(x1_67^2+x2_67^2))^3+w3_67, x4_68=x4_67-0.5*x2_67/(sqrt(x1_67^2+x2_67^2))^3+w4_67, y1_67=x2_67/x1_67, y2_67=x1_67*x3_67+x2_67*x4_67, y3_67=x1_67^2+x2_67^2, x1_69=x1_68+0.5*x3_68+ w1_68, x2_69=x2_68+0.5*x4_68+ w2_68, x3_69=x3_68-0.5*x1_68/(sqrt(x1_68^2+x2_68^2))^3+w3_68, x4_69=x4_68-0.5*x2_68/(sqrt(x1_68^2+x2_68^2))^3+w4_68, y1_68=x2_68/x1_68, y2_68=x1_68*x3_68+x2_68*x4_68, y3_68=x1_68^2+x2_68^2, x1_70=x1_69+0.5*x3_69+ w1_69, x2_70=x2_69+0.5*x4_69+ w2_69, x3_70=x3_69-0.5*x1_69/(sqrt(x1_69^2+x2_69^2))^3+w3_69, x4_70=x4_69-0.5*x2_69/(sqrt(x1_69^2+x2_69^2))^3+w4_69, y1_69=x2_69/x1_69, y2_69=x1_69*x3_69+x2_69*x4_69, y3_69=x1_69^2+x2_69^2, x1_71=x1_70+0.5*x3_70+ w1_70, x2_71=x2_70+0.5*x4_70+ w2_70, x3_71=x3_70-0.5*x1_70/(sqrt(x1_70^2+x2_70^2))^3+w3_70, x4_71=x4_70-0.5*x2_70/(sqrt(x1_70^2+x2_70^2))^3+w4_70, y1_70=x2_70/x1_70, y2_70=x1_70*x3_70+x2_70*x4_70, y3_70=x1_70^2+x2_70^2, x1_72=x1_71+0.5*x3_71+ w1_71, x2_72=x2_71+0.5*x4_71+ w2_71, x3_72=x3_71-0.5*x1_71/(sqrt(x1_71^2+x2_71^2))^3+w3_71, x4_72=x4_71-0.5*x2_71/(sqrt(x1_71^2+x2_71^2))^3+w4_71, y1_71=x2_71/x1_71, y2_71=x1_71*x3_71+x2_71*x4_71, y3_71=x1_71^2+x2_71^2, x1_73=x1_72+0.5*x3_72+ w1_72, x2_73=x2_72+0.5*x4_72+ w2_72, x3_73=x3_72-0.5*x1_72/(sqrt(x1_72^2+x2_72^2))^3+w3_72, x4_73=x4_72-0.5*x2_72/(sqrt(x1_72^2+x2_72^2))^3+w4_72, y1_72=x2_72/x1_72, y2_72=x1_72*x3_72+x2_72*x4_72, y3_72=x1_72^2+x2_72^2, x1_74=x1_73+0.5*x3_73+ w1_73, x2_74=x2_73+0.5*x4_73+ w2_73, x3_74=x3_73-0.5*x1_73/(sqrt(x1_73^2+x2_73^2))^3+w3_73, x4_74=x4_73-0.5*x2_73/(sqrt(x1_73^2+x2_73^2))^3+w4_73, y1_73=x2_73/x1_73, y2_73=x1_73*x3_73+x2_73*x4_73, y3_73=x1_73^2+x2_73^2, x1_75=x1_74+0.5*x3_74+ w1_74, x2_75=x2_74+0.5*x4_74+ w2_74, x3_75=x3_74-0.5*x1_74/(sqrt(x1_74^2+x2_74^2))^3+w3_74, x4_75=x4_74-0.5*x2_74/(sqrt(x1_74^2+x2_74^2))^3+w4_74, y1_74=x2_74/x1_74, y2_74=x1_74*x3_74+x2_74*x4_74, y3_74=x1_74^2+x2_74^2, x1_76=x1_75+0.5*x3_75+ w1_75, x2_76=x2_75+0.5*x4_75+ w2_75, x3_76=x3_75-0.5*x1_75/(sqrt(x1_75^2+x2_75^2))^3+w3_75, x4_76=x4_75-0.5*x2_75/(sqrt(x1_75^2+x2_75^2))^3+w4_75, y1_75=x2_75/x1_75, y2_75=x1_75*x3_75+x2_75*x4_75, y3_75=x1_75^2+x2_75^2, x1_77=x1_76+0.5*x3_76+ w1_76, x2_77=x2_76+0.5*x4_76+ w2_76, x3_77=x3_76-0.5*x1_76/(sqrt(x1_76^2+x2_76^2))^3+w3_76, x4_77=x4_76-0.5*x2_76/(sqrt(x1_76^2+x2_76^2))^3+w4_76, y1_76=x2_76/x1_76, y2_76=x1_76*x3_76+x2_76*x4_76, y3_76=x1_76^2+x2_76^2, x1_78=x1_77+0.5*x3_77+ w1_77, x2_78=x2_77+0.5*x4_77+ w2_77, x3_78=x3_77-0.5*x1_77/(sqrt(x1_77^2+x2_77^2))^3+w3_77, x4_78=x4_77-0.5*x2_77/(sqrt(x1_77^2+x2_77^2))^3+w4_77, y1_77=x2_77/x1_77, y2_77=x1_77*x3_77+x2_77*x4_77, y3_77=x1_77^2+x2_77^2, x1_79=x1_78+0.5*x3_78+ w1_78, x2_79=x2_78+0.5*x4_78+ w2_78, x3_79=x3_78-0.5*x1_78/(sqrt(x1_78^2+x2_78^2))^3+w3_78, x4_79=x4_78-0.5*x2_78/(sqrt(x1_78^2+x2_78^2))^3+w4_78, y1_78=x2_78/x1_78, y2_78=x1_78*x3_78+x2_78*x4_78, y3_78=x1_78^2+x2_78^2, x1_80=x1_79+0.5*x3_79+ w1_79, x2_80=x2_79+0.5*x4_79+ w2_79, x3_80=x3_79-0.5*x1_79/(sqrt(x1_79^2+x2_79^2))^3+w3_79, x4_80=x4_79-0.5*x2_79/(sqrt(x1_79^2+x2_79^2))^3+w4_79, y1_79=x2_79/x1_79, y2_79=x1_79*x3_79+x2_79*x4_79, y3_79=x1_79^2+x2_79^2, x1_81=x1_80+0.5*x3_80+ w1_80, x2_81=x2_80+0.5*x4_80+ w2_80, x3_81=x3_80-0.5*x1_80/(sqrt(x1_80^2+x2_80^2))^3+w3_80, x4_81=x4_80-0.5*x2_80/(sqrt(x1_80^2+x2_80^2))^3+w4_80, y1_80=x2_80/x1_80, y2_80=x1_80*x3_80+x2_80*x4_80, y3_80=x1_80^2+x2_80^2, x1_82=x1_81+0.5*x3_81+ w1_81, x2_82=x2_81+0.5*x4_81+ w2_81, x3_82=x3_81-0.5*x1_81/(sqrt(x1_81^2+x2_81^2))^3+w3_81, x4_82=x4_81-0.5*x2_81/(sqrt(x1_81^2+x2_81^2))^3+w4_81, y1_81=x2_81/x1_81, y2_81=x1_81*x3_81+x2_81*x4_81, y3_81=x1_81^2+x2_81^2, x1_83=x1_82+0.5*x3_82+ w1_82, x2_83=x2_82+0.5*x4_82+ w2_82, x3_83=x3_82-0.5*x1_82/(sqrt(x1_82^2+x2_82^2))^3+w3_82, x4_83=x4_82-0.5*x2_82/(sqrt(x1_82^2+x2_82^2))^3+w4_82, y1_82=x2_82/x1_82, y2_82=x1_82*x3_82+x2_82*x4_82, y3_82=x1_82^2+x2_82^2, x1_84=x1_83+0.5*x3_83+ w1_83, x2_84=x2_83+0.5*x4_83+ w2_83, x3_84=x3_83-0.5*x1_83/(sqrt(x1_83^2+x2_83^2))^3+w3_83, x4_84=x4_83-0.5*x2_83/(sqrt(x1_83^2+x2_83^2))^3+w4_83, y1_83=x2_83/x1_83, y2_83=x1_83*x3_83+x2_83*x4_83, y3_83=x1_83^2+x2_83^2, x1_85=x1_84+0.5*x3_84+ w1_84, x2_85=x2_84+0.5*x4_84+ w2_84, x3_85=x3_84-0.5*x1_84/(sqrt(x1_84^2+x2_84^2))^3+w3_84, x4_85=x4_84-0.5*x2_84/(sqrt(x1_84^2+x2_84^2))^3+w4_84, y1_84=x2_84/x1_84, y2_84=x1_84*x3_84+x2_84*x4_84, y3_84=x1_84^2+x2_84^2, x1_86=x1_85+0.5*x3_85+ w1_85, x2_86=x2_85+0.5*x4_85+ w2_85, x3_86=x3_85-0.5*x1_85/(sqrt(x1_85^2+x2_85^2))^3+w3_85, x4_86=x4_85-0.5*x2_85/(sqrt(x1_85^2+x2_85^2))^3+w4_85, y1_85=x2_85/x1_85, y2_85=x1_85*x3_85+x2_85*x4_85, y3_85=x1_85^2+x2_85^2, x1_87=x1_86+0.5*x3_86+ w1_86, x2_87=x2_86+0.5*x4_86+ w2_86, x3_87=x3_86-0.5*x1_86/(sqrt(x1_86^2+x2_86^2))^3+w3_86, x4_87=x4_86-0.5*x2_86/(sqrt(x1_86^2+x2_86^2))^3+w4_86, y1_86=x2_86/x1_86, y2_86=x1_86*x3_86+x2_86*x4_86, y3_86=x1_86^2+x2_86^2, x1_88=x1_87+0.5*x3_87+ w1_87, x2_88=x2_87+0.5*x4_87+ w2_87, x3_88=x3_87-0.5*x1_87/(sqrt(x1_87^2+x2_87^2))^3+w3_87, x4_88=x4_87-0.5*x2_87/(sqrt(x1_87^2+x2_87^2))^3+w4_87, y1_87=x2_87/x1_87, y2_87=x1_87*x3_87+x2_87*x4_87, y3_87=x1_87^2+x2_87^2, x1_89=x1_88+0.5*x3_88+ w1_88, x2_89=x2_88+0.5*x4_88+ w2_88, x3_89=x3_88-0.5*x1_88/(sqrt(x1_88^2+x2_88^2))^3+w3_88, x4_89=x4_88-0.5*x2_88/(sqrt(x1_88^2+x2_88^2))^3+w4_88, y1_88=x2_88/x1_88, y2_88=x1_88*x3_88+x2_88*x4_88, y3_88=x1_88^2+x2_88^2, x1_90=x1_89+0.5*x3_89+ w1_89, x2_90=x2_89+0.5*x4_89+ w2_89, x3_90=x3_89-0.5*x1_89/(sqrt(x1_89^2+x2_89^2))^3+w3_89, x4_90=x4_89-0.5*x2_89/(sqrt(x1_89^2+x2_89^2))^3+w4_89, y1_89=x2_89/x1_89, y2_89=x1_89*x3_89+x2_89*x4_89, y3_89=x1_89^2+x2_89^2, x1_91=x1_90+0.5*x3_90+ w1_90, x2_91=x2_90+0.5*x4_90+ w2_90, x3_91=x3_90-0.5*x1_90/(sqrt(x1_90^2+x2_90^2))^3+w3_90, x4_91=x4_90-0.5*x2_90/(sqrt(x1_90^2+x2_90^2))^3+w4_90, y1_90=x2_90/x1_90, y2_90=x1_90*x3_90+x2_90*x4_90, y3_90=x1_90^2+x2_90^2, x1_92=x1_91+0.5*x3_91+ w1_91, x2_92=x2_91+0.5*x4_91+ w2_91, x3_92=x3_91-0.5*x1_91/(sqrt(x1_91^2+x2_91^2))^3+w3_91, x4_92=x4_91-0.5*x2_91/(sqrt(x1_91^2+x2_91^2))^3+w4_91, y1_91=x2_91/x1_91, y2_91=x1_91*x3_91+x2_91*x4_91, y3_91=x1_91^2+x2_91^2, x1_93=x1_92+0.5*x3_92+ w1_92, x2_93=x2_92+0.5*x4_92+ w2_92, x3_93=x3_92-0.5*x1_92/(sqrt(x1_92^2+x2_92^2))^3+w3_92, x4_93=x4_92-0.5*x2_92/(sqrt(x1_92^2+x2_92^2))^3+w4_92, y1_92=x2_92/x1_92, y2_92=x1_92*x3_92+x2_92*x4_92, y3_92=x1_92^2+x2_92^2, x1_94=x1_93+0.5*x3_93+ w1_93, x2_94=x2_93+0.5*x4_93+ w2_93, x3_94=x3_93-0.5*x1_93/(sqrt(x1_93^2+x2_93^2))^3+w3_93, x4_94=x4_93-0.5*x2_93/(sqrt(x1_93^2+x2_93^2))^3+w4_93, y1_93=x2_93/x1_93, y2_93=x1_93*x3_93+x2_93*x4_93, y3_93=x1_93^2+x2_93^2, x1_95=x1_94+0.5*x3_94+ w1_94, x2_95=x2_94+0.5*x4_94+ w2_94, x3_95=x3_94-0.5*x1_94/(sqrt(x1_94^2+x2_94^2))^3+w3_94, x4_95=x4_94-0.5*x2_94/(sqrt(x1_94^2+x2_94^2))^3+w4_94, y1_94=x2_94/x1_94, y2_94=x1_94*x3_94+x2_94*x4_94, y3_94=x1_94^2+x2_94^2, x1_96=x1_95+0.5*x3_95+ w1_95, x2_96=x2_95+0.5*x4_95+ w2_95, x3_96=x3_95-0.5*x1_95/(sqrt(x1_95^2+x2_95^2))^3+w3_95, x4_96=x4_95-0.5*x2_95/(sqrt(x1_95^2+x2_95^2))^3+w4_95, y1_95=x2_95/x1_95, y2_95=x1_95*x3_95+x2_95*x4_95, y3_95=x1_95^2+x2_95^2, x1_97=x1_96+0.5*x3_96+ w1_96, x2_97=x2_96+0.5*x4_96+ w2_96, x3_97=x3_96-0.5*x1_96/(sqrt(x1_96^2+x2_96^2))^3+w3_96, x4_97=x4_96-0.5*x2_96/(sqrt(x1_96^2+x2_96^2))^3+w4_96, y1_96=x2_96/x1_96, y2_96=x1_96*x3_96+x2_96*x4_96, y3_96=x1_96^2+x2_96^2, x1_98=x1_97+0.5*x3_97+ w1_97, x2_98=x2_97+0.5*x4_97+ w2_97, x3_98=x3_97-0.5*x1_97/(sqrt(x1_97^2+x2_97^2))^3+w3_97, x4_98=x4_97-0.5*x2_97/(sqrt(x1_97^2+x2_97^2))^3+w4_97, y1_97=x2_97/x1_97, y2_97=x1_97*x3_97+x2_97*x4_97, y3_97=x1_97^2+x2_97^2, x1_99=x1_98+0.5*x3_98+ w1_98, x2_99=x2_98+0.5*x4_98+ w2_98, x3_99=x3_98-0.5*x1_98/(sqrt(x1_98^2+x2_98^2))^3+w3_98, x4_99=x4_98-0.5*x2_98/(sqrt(x1_98^2+x2_98^2))^3+w4_98, y1_98=x2_98/x1_98, y2_98=x1_98*x3_98+x2_98*x4_98, y3_98=x1_98^2+x2_98^2, x1_100=x1_99+0.5*x3_99+ w1_99, x2_100=x2_99+0.5*x4_99+ w2_99, x3_100=x3_99-0.5*x1_99/(sqrt(x1_99^2+x2_99^2))^3+w3_99, x4_100=x4_99-0.5*x2_99/(sqrt(x1_99^2+x2_99^2))^3+w4_99, y1_99=x2_99/x1_99, y2_99=x1_99*x3_99+x2_99*x4_99, y3_99=x1_99^2+x2_99^2, x1_101=x1_100+0.5*x3_100+ w1_100, x2_101=x2_100+0.5*x4_100+ w2_100, x3_101=x3_100-0.5*x1_100/(sqrt(x1_100^2+x2_100^2))^3+w3_100, x4_101=x4_100-0.5*x2_100/(sqrt(x1_100^2+x2_100^2))^3+w4_100, y1_100=x2_100/x1_100, y2_100=x1_100*x3_100+x2_100*x4_100, y3_100=x1_100^2+x2_100^2, x1_102=x1_101+0.5*x3_101+ w1_101, x2_102=x2_101+0.5*x4_101+ w2_101, x3_102=x3_101-0.5*x1_101/(sqrt(x1_101^2+x2_101^2))^3+w3_101, x4_102=x4_101-0.5*x2_101/(sqrt(x1_101^2+x2_101^2))^3+w4_101, y1_101=x2_101/x1_101, y2_101=x1_101*x3_101+x2_101*x4_101, y3_101=x1_101^2+x2_101^2, x1_103=x1_102+0.5*x3_102+ w1_102, x2_103=x2_102+0.5*x4_102+ w2_102, x3_103=x3_102-0.5*x1_102/(sqrt(x1_102^2+x2_102^2))^3+w3_102, x4_103=x4_102-0.5*x2_102/(sqrt(x1_102^2+x2_102^2))^3+w4_102, y1_102=x2_102/x1_102, y2_102=x1_102*x3_102+x2_102*x4_102, y3_102=x1_102^2+x2_102^2, x1_104=x1_103+0.5*x3_103+ w1_103, x2_104=x2_103+0.5*x4_103+ w2_103, x3_104=x3_103-0.5*x1_103/(sqrt(x1_103^2+x2_103^2))^3+w3_103, x4_104=x4_103-0.5*x2_103/(sqrt(x1_103^2+x2_103^2))^3+w4_103, y1_103=x2_103/x1_103, y2_103=x1_103*x3_103+x2_103*x4_103, y3_103=x1_103^2+x2_103^2, x1_105=x1_104+0.5*x3_104+ w1_104, x2_105=x2_104+0.5*x4_104+ w2_104, x3_105=x3_104-0.5*x1_104/(sqrt(x1_104^2+x2_104^2))^3+w3_104, x4_105=x4_104-0.5*x2_104/(sqrt(x1_104^2+x2_104^2))^3+w4_104, y1_104=x2_104/x1_104, y2_104=x1_104*x3_104+x2_104*x4_104, y3_104=x1_104^2+x2_104^2, x1_106=x1_105+0.5*x3_105+ w1_105, x2_106=x2_105+0.5*x4_105+ w2_105, x3_106=x3_105-0.5*x1_105/(sqrt(x1_105^2+x2_105^2))^3+w3_105, x4_106=x4_105-0.5*x2_105/(sqrt(x1_105^2+x2_105^2))^3+w4_105, y1_105=x2_105/x1_105, y2_105=x1_105*x3_105+x2_105*x4_105, y3_105=x1_105^2+x2_105^2, x1_107=x1_106+0.5*x3_106+ w1_106, x2_107=x2_106+0.5*x4_106+ w2_106, x3_107=x3_106-0.5*x1_106/(sqrt(x1_106^2+x2_106^2))^3+w3_106, x4_107=x4_106-0.5*x2_106/(sqrt(x1_106^2+x2_106^2))^3+w4_106, y1_106=x2_106/x1_106, y2_106=x1_106*x3_106+x2_106*x4_106, y3_106=x1_106^2+x2_106^2, x1_108=x1_107+0.5*x3_107+ w1_107, x2_108=x2_107+0.5*x4_107+ w2_107, x3_108=x3_107-0.5*x1_107/(sqrt(x1_107^2+x2_107^2))^3+w3_107, x4_108=x4_107-0.5*x2_107/(sqrt(x1_107^2+x2_107^2))^3+w4_107, y1_107=x2_107/x1_107, y2_107=x1_107*x3_107+x2_107*x4_107, y3_107=x1_107^2+x2_107^2, x1_109=x1_108+0.5*x3_108+ w1_108, x2_109=x2_108+0.5*x4_108+ w2_108, x3_109=x3_108-0.5*x1_108/(sqrt(x1_108^2+x2_108^2))^3+w3_108, x4_109=x4_108-0.5*x2_108/(sqrt(x1_108^2+x2_108^2))^3+w4_108, y1_108=x2_108/x1_108, y2_108=x1_108*x3_108+x2_108*x4_108, y3_108=x1_108^2+x2_108^2, x1_110=x1_109+0.5*x3_109+ w1_109, x2_110=x2_109+0.5*x4_109+ w2_109, x3_110=x3_109-0.5*x1_109/(sqrt(x1_109^2+x2_109^2))^3+w3_109, x4_110=x4_109-0.5*x2_109/(sqrt(x1_109^2+x2_109^2))^3+w4_109, y1_109=x2_109/x1_109, y2_109=x1_109*x3_109+x2_109*x4_109, y3_109=x1_109^2+x2_109^2, x1_111=x1_110+0.5*x3_110+ w1_110, x2_111=x2_110+0.5*x4_110+ w2_110, x3_111=x3_110-0.5*x1_110/(sqrt(x1_110^2+x2_110^2))^3+w3_110, x4_111=x4_110-0.5*x2_110/(sqrt(x1_110^2+x2_110^2))^3+w4_110, y1_110=x2_110/x1_110, y2_110=x1_110*x3_110+x2_110*x4_110, y3_110=x1_110^2+x2_110^2, x1_112=x1_111+0.5*x3_111+ w1_111, x2_112=x2_111+0.5*x4_111+ w2_111, x3_112=x3_111-0.5*x1_111/(sqrt(x1_111^2+x2_111^2))^3+w3_111, x4_112=x4_111-0.5*x2_111/(sqrt(x1_111^2+x2_111^2))^3+w4_111, y1_111=x2_111/x1_111, y2_111=x1_111*x3_111+x2_111*x4_111, y3_111=x1_111^2+x2_111^2, x1_113=x1_112+0.5*x3_112+ w1_112, x2_113=x2_112+0.5*x4_112+ w2_112, x3_113=x3_112-0.5*x1_112/(sqrt(x1_112^2+x2_112^2))^3+w3_112, x4_113=x4_112-0.5*x2_112/(sqrt(x1_112^2+x2_112^2))^3+w4_112, y1_112=x2_112/x1_112, y2_112=x1_112*x3_112+x2_112*x4_112, y3_112=x1_112^2+x2_112^2, x1_114=x1_113+0.5*x3_113+ w1_113, x2_114=x2_113+0.5*x4_113+ w2_113, x3_114=x3_113-0.5*x1_113/(sqrt(x1_113^2+x2_113^2))^3+w3_113, x4_114=x4_113-0.5*x2_113/(sqrt(x1_113^2+x2_113^2))^3+w4_113, y1_113=x2_113/x1_113, y2_113=x1_113*x3_113+x2_113*x4_113, y3_113=x1_113^2+x2_113^2, x1_115=x1_114+0.5*x3_114+ w1_114, x2_115=x2_114+0.5*x4_114+ w2_114, x3_115=x3_114-0.5*x1_114/(sqrt(x1_114^2+x2_114^2))^3+w3_114, x4_115=x4_114-0.5*x2_114/(sqrt(x1_114^2+x2_114^2))^3+w4_114, y1_114=x2_114/x1_114, y2_114=x1_114*x3_114+x2_114*x4_114, y3_114=x1_114^2+x2_114^2, x1_116=x1_115+0.5*x3_115+ w1_115, x2_116=x2_115+0.5*x4_115+ w2_115, x3_116=x3_115-0.5*x1_115/(sqrt(x1_115^2+x2_115^2))^3+w3_115, x4_116=x4_115-0.5*x2_115/(sqrt(x1_115^2+x2_115^2))^3+w4_115, y1_115=x2_115/x1_115, y2_115=x1_115*x3_115+x2_115*x4_115, y3_115=x1_115^2+x2_115^2, x1_117=x1_116+0.5*x3_116+ w1_116, x2_117=x2_116+0.5*x4_116+ w2_116, x3_117=x3_116-0.5*x1_116/(sqrt(x1_116^2+x2_116^2))^3+w3_116, x4_117=x4_116-0.5*x2_116/(sqrt(x1_116^2+x2_116^2))^3+w4_116, y1_116=x2_116/x1_116, y2_116=x1_116*x3_116+x2_116*x4_116, y3_116=x1_116^2+x2_116^2, x1_118=x1_117+0.5*x3_117+ w1_117, x2_118=x2_117+0.5*x4_117+ w2_117, x3_118=x3_117-0.5*x1_117/(sqrt(x1_117^2+x2_117^2))^3+w3_117, x4_118=x4_117-0.5*x2_117/(sqrt(x1_117^2+x2_117^2))^3+w4_117, y1_117=x2_117/x1_117, y2_117=x1_117*x3_117+x2_117*x4_117, y3_117=x1_117^2+x2_117^2, x1_119=x1_118+0.5*x3_118+ w1_118, x2_119=x2_118+0.5*x4_118+ w2_118, x3_119=x3_118-0.5*x1_118/(sqrt(x1_118^2+x2_118^2))^3+w3_118, x4_119=x4_118-0.5*x2_118/(sqrt(x1_118^2+x2_118^2))^3+w4_118, y1_118=x2_118/x1_118, y2_118=x1_118*x3_118+x2_118*x4_118, y3_118=x1_118^2+x2_118^2, x1_120=x1_119+0.5*x3_119+ w1_119, x2_120=x2_119+0.5*x4_119+ w2_119, x3_120=x3_119-0.5*x1_119/(sqrt(x1_119^2+x2_119^2))^3+w3_119, x4_120=x4_119-0.5*x2_119/(sqrt(x1_119^2+x2_119^2))^3+w4_119, y1_119=x2_119/x1_119, y2_119=x1_119*x3_119+x2_119*x4_119, y3_119=x1_119^2+x2_119^2, x1_121=x1_120+0.5*x3_120+ w1_120, x2_121=x2_120+0.5*x4_120+ w2_120, x3_121=x3_120-0.5*x1_120/(sqrt(x1_120^2+x2_120^2))^3+w3_120, x4_121=x4_120-0.5*x2_120/(sqrt(x1_120^2+x2_120^2))^3+w4_120, y1_120=x2_120/x1_120, y2_120=x1_120*x3_120+x2_120*x4_120, y3_120=x1_120^2+x2_120^2, x1_122=x1_121+0.5*x3_121+ w1_121, x2_122=x2_121+0.5*x4_121+ w2_121, x3_122=x3_121-0.5*x1_121/(sqrt(x1_121^2+x2_121^2))^3+w3_121, x4_122=x4_121-0.5*x2_121/(sqrt(x1_121^2+x2_121^2))^3+w4_121, y1_121=x2_121/x1_121, y2_121=x1_121*x3_121+x2_121*x4_121, y3_121=x1_121^2+x2_121^2, x1_123=x1_122+0.5*x3_122+ w1_122, x2_123=x2_122+0.5*x4_122+ w2_122, x3_123=x3_122-0.5*x1_122/(sqrt(x1_122^2+x2_122^2))^3+w3_122, x4_123=x4_122-0.5*x2_122/(sqrt(x1_122^2+x2_122^2))^3+w4_122, y1_122=x2_122/x1_122, y2_122=x1_122*x3_122+x2_122*x4_122, y3_122=x1_122^2+x2_122^2, x1_124=x1_123+0.5*x3_123+ w1_123, x2_124=x2_123+0.5*x4_123+ w2_123, x3_124=x3_123-0.5*x1_123/(sqrt(x1_123^2+x2_123^2))^3+w3_123, x4_124=x4_123-0.5*x2_123/(sqrt(x1_123^2+x2_123^2))^3+w4_123, y1_123=x2_123/x1_123, y2_123=x1_123*x3_123+x2_123*x4_123, y3_123=x1_123^2+x2_123^2, x1_125=x1_124+0.5*x3_124+ w1_124, x2_125=x2_124+0.5*x4_124+ w2_124, x3_125=x3_124-0.5*x1_124/(sqrt(x1_124^2+x2_124^2))^3+w3_124, x4_125=x4_124-0.5*x2_124/(sqrt(x1_124^2+x2_124^2))^3+w4_124, y1_124=x2_124/x1_124, y2_124=x1_124*x3_124+x2_124*x4_124, y3_124=x1_124^2+x2_124^2, x1_126=x1_125+0.5*x3_125+ w1_125, x2_126=x2_125+0.5*x4_125+ w2_125, x3_126=x3_125-0.5*x1_125/(sqrt(x1_125^2+x2_125^2))^3+w3_125, x4_126=x4_125-0.5*x2_125/(sqrt(x1_125^2+x2_125^2))^3+w4_125, y1_125=x2_125/x1_125, y2_125=x1_125*x3_125+x2_125*x4_125, y3_125=x1_125^2+x2_125^2, x1_127=x1_126+0.5*x3_126+ w1_126, x2_127=x2_126+0.5*x4_126+ w2_126, x3_127=x3_126-0.5*x1_126/(sqrt(x1_126^2+x2_126^2))^3+w3_126, x4_127=x4_126-0.5*x2_126/(sqrt(x1_126^2+x2_126^2))^3+w4_126, y1_126=x2_126/x1_126, y2_126=x1_126*x3_126+x2_126*x4_126, y3_126=x1_126^2+x2_126^2, x1_128=x1_127+0.5*x3_127+ w1_127, x2_128=x2_127+0.5*x4_127+ w2_127, x3_128=x3_127-0.5*x1_127/(sqrt(x1_127^2+x2_127^2))^3+w3_127, x4_128=x4_127-0.5*x2_127/(sqrt(x1_127^2+x2_127^2))^3+w4_127, y1_127=x2_127/x1_127, y2_127=x1_127*x3_127+x2_127*x4_127, y3_127=x1_127^2+x2_127^2, x1_129=x1_128+0.5*x3_128+ w1_128, x2_129=x2_128+0.5*x4_128+ w2_128, x3_129=x3_128-0.5*x1_128/(sqrt(x1_128^2+x2_128^2))^3+w3_128, x4_129=x4_128-0.5*x2_128/(sqrt(x1_128^2+x2_128^2))^3+w4_128, y1_128=x2_128/x1_128, y2_128=x1_128*x3_128+x2_128*x4_128, y3_128=x1_128^2+x2_128^2, x1_130=x1_129+0.5*x3_129+ w1_129, x2_130=x2_129+0.5*x4_129+ w2_129, x3_130=x3_129-0.5*x1_129/(sqrt(x1_129^2+x2_129^2))^3+w3_129, x4_130=x4_129-0.5*x2_129/(sqrt(x1_129^2+x2_129^2))^3+w4_129, y1_129=x2_129/x1_129, y2_129=x1_129*x3_129+x2_129*x4_129, y3_129=x1_129^2+x2_129^2, x1_131=x1_130+0.5*x3_130+ w1_130, x2_131=x2_130+0.5*x4_130+ w2_130, x3_131=x3_130-0.5*x1_130/(sqrt(x1_130^2+x2_130^2))^3+w3_130, x4_131=x4_130-0.5*x2_130/(sqrt(x1_130^2+x2_130^2))^3+w4_130, y1_130=x2_130/x1_130, y2_130=x1_130*x3_130+x2_130*x4_130, y3_130=x1_130^2+x2_130^2, x1_132=x1_131+0.5*x3_131+ w1_131, x2_132=x2_131+0.5*x4_131+ w2_131, x3_132=x3_131-0.5*x1_131/(sqrt(x1_131^2+x2_131^2))^3+w3_131, x4_132=x4_131-0.5*x2_131/(sqrt(x1_131^2+x2_131^2))^3+w4_131, y1_131=x2_131/x1_131, y2_131=x1_131*x3_131+x2_131*x4_131, y3_131=x1_131^2+x2_131^2, x1_133=x1_132+0.5*x3_132+ w1_132, x2_133=x2_132+0.5*x4_132+ w2_132, x3_133=x3_132-0.5*x1_132/(sqrt(x1_132^2+x2_132^2))^3+w3_132, x4_133=x4_132-0.5*x2_132/(sqrt(x1_132^2+x2_132^2))^3+w4_132, y1_132=x2_132/x1_132, y2_132=x1_132*x3_132+x2_132*x4_132, y3_132=x1_132^2+x2_132^2, x1_134=x1_133+0.5*x3_133+ w1_133, x2_134=x2_133+0.5*x4_133+ w2_133, x3_134=x3_133-0.5*x1_133/(sqrt(x1_133^2+x2_133^2))^3+w3_133, x4_134=x4_133-0.5*x2_133/(sqrt(x1_133^2+x2_133^2))^3+w4_133, y1_133=x2_133/x1_133, y2_133=x1_133*x3_133+x2_133*x4_133, y3_133=x1_133^2+x2_133^2, x1_135=x1_134+0.5*x3_134+ w1_134, x2_135=x2_134+0.5*x4_134+ w2_134, x3_135=x3_134-0.5*x1_134/(sqrt(x1_134^2+x2_134^2))^3+w3_134, x4_135=x4_134-0.5*x2_134/(sqrt(x1_134^2+x2_134^2))^3+w4_134, y1_134=x2_134/x1_134, y2_134=x1_134*x3_134+x2_134*x4_134, y3_134=x1_134^2+x2_134^2, x1_136=x1_135+0.5*x3_135+ w1_135, x2_136=x2_135+0.5*x4_135+ w2_135, x3_136=x3_135-0.5*x1_135/(sqrt(x1_135^2+x2_135^2))^3+w3_135, x4_136=x4_135-0.5*x2_135/(sqrt(x1_135^2+x2_135^2))^3+w4_135, y1_135=x2_135/x1_135, y2_135=x1_135*x3_135+x2_135*x4_135, y3_135=x1_135^2+x2_135^2, x1_137=x1_136+0.5*x3_136+ w1_136, x2_137=x2_136+0.5*x4_136+ w2_136, x3_137=x3_136-0.5*x1_136/(sqrt(x1_136^2+x2_136^2))^3+w3_136, x4_137=x4_136-0.5*x2_136/(sqrt(x1_136^2+x2_136^2))^3+w4_136, y1_136=x2_136/x1_136, y2_136=x1_136*x3_136+x2_136*x4_136, y3_136=x1_136^2+x2_136^2, x1_138=x1_137+0.5*x3_137+ w1_137, x2_138=x2_137+0.5*x4_137+ w2_137, x3_138=x3_137-0.5*x1_137/(sqrt(x1_137^2+x2_137^2))^3+w3_137, x4_138=x4_137-0.5*x2_137/(sqrt(x1_137^2+x2_137^2))^3+w4_137, y1_137=x2_137/x1_137, y2_137=x1_137*x3_137+x2_137*x4_137, y3_137=x1_137^2+x2_137^2, x1_139=x1_138+0.5*x3_138+ w1_138, x2_139=x2_138+0.5*x4_138+ w2_138, x3_139=x3_138-0.5*x1_138/(sqrt(x1_138^2+x2_138^2))^3+w3_138, x4_139=x4_138-0.5*x2_138/(sqrt(x1_138^2+x2_138^2))^3+w4_138, y1_138=x2_138/x1_138, y2_138=x1_138*x3_138+x2_138*x4_138, y3_138=x1_138^2+x2_138^2, x1_140=x1_139+0.5*x3_139+ w1_139, x2_140=x2_139+0.5*x4_139+ w2_139, x3_140=x3_139-0.5*x1_139/(sqrt(x1_139^2+x2_139^2))^3+w3_139, x4_140=x4_139-0.5*x2_139/(sqrt(x1_139^2+x2_139^2))^3+w4_139, y1_139=x2_139/x1_139, y2_139=x1_139*x3_139+x2_139*x4_139, y3_139=x1_139^2+x2_139^2, x1_141=x1_140+0.5*x3_140+ w1_140, x2_141=x2_140+0.5*x4_140+ w2_140, x3_141=x3_140-0.5*x1_140/(sqrt(x1_140^2+x2_140^2))^3+w3_140, x4_141=x4_140-0.5*x2_140/(sqrt(x1_140^2+x2_140^2))^3+w4_140, y1_140=x2_140/x1_140, y2_140=x1_140*x3_140+x2_140*x4_140, y3_140=x1_140^2+x2_140^2, x1_142=x1_141+0.5*x3_141+ w1_141, x2_142=x2_141+0.5*x4_141+ w2_141, x3_142=x3_141-0.5*x1_141/(sqrt(x1_141^2+x2_141^2))^3+w3_141, x4_142=x4_141-0.5*x2_141/(sqrt(x1_141^2+x2_141^2))^3+w4_141, y1_141=x2_141/x1_141, y2_141=x1_141*x3_141+x2_141*x4_141, y3_141=x1_141^2+x2_141^2, x1_143=x1_142+0.5*x3_142+ w1_142, x2_143=x2_142+0.5*x4_142+ w2_142, x3_143=x3_142-0.5*x1_142/(sqrt(x1_142^2+x2_142^2))^3+w3_142, x4_143=x4_142-0.5*x2_142/(sqrt(x1_142^2+x2_142^2))^3+w4_142, y1_142=x2_142/x1_142, y2_142=x1_142*x3_142+x2_142*x4_142, y3_142=x1_142^2+x2_142^2, x1_144=x1_143+0.5*x3_143+ w1_143, x2_144=x2_143+0.5*x4_143+ w2_143, x3_144=x3_143-0.5*x1_143/(sqrt(x1_143^2+x2_143^2))^3+w3_143, x4_144=x4_143-0.5*x2_143/(sqrt(x1_143^2+x2_143^2))^3+w4_143, y1_143=x2_143/x1_143, y2_143=x1_143*x3_143+x2_143*x4_143, y3_143=x1_143^2+x2_143^2, x1_145=x1_144+0.5*x3_144+ w1_144, x2_145=x2_144+0.5*x4_144+ w2_144, x3_145=x3_144-0.5*x1_144/(sqrt(x1_144^2+x2_144^2))^3+w3_144, x4_145=x4_144-0.5*x2_144/(sqrt(x1_144^2+x2_144^2))^3+w4_144, y1_144=x2_144/x1_144, y2_144=x1_144*x3_144+x2_144*x4_144, y3_144=x1_144^2+x2_144^2, x1_146=x1_145+0.5*x3_145+ w1_145, x2_146=x2_145+0.5*x4_145+ w2_145, x3_146=x3_145-0.5*x1_145/(sqrt(x1_145^2+x2_145^2))^3+w3_145, x4_146=x4_145-0.5*x2_145/(sqrt(x1_145^2+x2_145^2))^3+w4_145, y1_145=x2_145/x1_145, y2_145=x1_145*x3_145+x2_145*x4_145, y3_145=x1_145^2+x2_145^2, x1_147=x1_146+0.5*x3_146+ w1_146, x2_147=x2_146+0.5*x4_146+ w2_146, x3_147=x3_146-0.5*x1_146/(sqrt(x1_146^2+x2_146^2))^3+w3_146, x4_147=x4_146-0.5*x2_146/(sqrt(x1_146^2+x2_146^2))^3+w4_146, y1_146=x2_146/x1_146, y2_146=x1_146*x3_146+x2_146*x4_146, y3_146=x1_146^2+x2_146^2, x1_148=x1_147+0.5*x3_147+ w1_147, x2_148=x2_147+0.5*x4_147+ w2_147, x3_148=x3_147-0.5*x1_147/(sqrt(x1_147^2+x2_147^2))^3+w3_147, x4_148=x4_147-0.5*x2_147/(sqrt(x1_147^2+x2_147^2))^3+w4_147, y1_147=x2_147/x1_147, y2_147=x1_147*x3_147+x2_147*x4_147, y3_147=x1_147^2+x2_147^2, x1_149=x1_148+0.5*x3_148+ w1_148, x2_149=x2_148+0.5*x4_148+ w2_148, x3_149=x3_148-0.5*x1_148/(sqrt(x1_148^2+x2_148^2))^3+w3_148, x4_149=x4_148-0.5*x2_148/(sqrt(x1_148^2+x2_148^2))^3+w4_148, y1_148=x2_148/x1_148, y2_148=x1_148*x3_148+x2_148*x4_148, y3_148=x1_148^2+x2_148^2, x1_150=x1_149+0.5*x3_149+ w1_149, x2_150=x2_149+0.5*x4_149+ w2_149, x3_150=x3_149-0.5*x1_149/(sqrt(x1_149^2+x2_149^2))^3+w3_149, x4_150=x4_149-0.5*x2_149/(sqrt(x1_149^2+x2_149^2))^3+w4_149, y1_149=x2_149/x1_149, y2_149=x1_149*x3_149+x2_149*x4_149, y3_149=x1_149^2+x2_149^2, x1_151=x1_150+0.5*x3_150+ w1_150, x2_151=x2_150+0.5*x4_150+ w2_150, x3_151=x3_150-0.5*x1_150/(sqrt(x1_150^2+x2_150^2))^3+w3_150, x4_151=x4_150-0.5*x2_150/(sqrt(x1_150^2+x2_150^2))^3+w4_150, y1_150=x2_150/x1_150, y2_150=x1_150*x3_150+x2_150*x4_150, y3_150=x1_150^2+x2_150^2, x1_152=x1_151+0.5*x3_151+ w1_151, x2_152=x2_151+0.5*x4_151+ w2_151, x3_152=x3_151-0.5*x1_151/(sqrt(x1_151^2+x2_151^2))^3+w3_151, x4_152=x4_151-0.5*x2_151/(sqrt(x1_151^2+x2_151^2))^3+w4_151, y1_151=x2_151/x1_151, y2_151=x1_151*x3_151+x2_151*x4_151, y3_151=x1_151^2+x2_151^2, x1_153=x1_152+0.5*x3_152+ w1_152, x2_153=x2_152+0.5*x4_152+ w2_152, x3_153=x3_152-0.5*x1_152/(sqrt(x1_152^2+x2_152^2))^3+w3_152, x4_153=x4_152-0.5*x2_152/(sqrt(x1_152^2+x2_152^2))^3+w4_152, y1_152=x2_152/x1_152, y2_152=x1_152*x3_152+x2_152*x4_152, y3_152=x1_152^2+x2_152^2, x1_154=x1_153+0.5*x3_153+ w1_153, x2_154=x2_153+0.5*x4_153+ w2_153, x3_154=x3_153-0.5*x1_153/(sqrt(x1_153^2+x2_153^2))^3+w3_153, x4_154=x4_153-0.5*x2_153/(sqrt(x1_153^2+x2_153^2))^3+w4_153, y1_153=x2_153/x1_153, y2_153=x1_153*x3_153+x2_153*x4_153, y3_153=x1_153^2+x2_153^2, x1_155=x1_154+0.5*x3_154+ w1_154, x2_155=x2_154+0.5*x4_154+ w2_154, x3_155=x3_154-0.5*x1_154/(sqrt(x1_154^2+x2_154^2))^3+w3_154, x4_155=x4_154-0.5*x2_154/(sqrt(x1_154^2+x2_154^2))^3+w4_154, y1_154=x2_154/x1_154, y2_154=x1_154*x3_154+x2_154*x4_154, y3_154=x1_154^2+x2_154^2, x1_156=x1_155+0.5*x3_155+ w1_155, x2_156=x2_155+0.5*x4_155+ w2_155, x3_156=x3_155-0.5*x1_155/(sqrt(x1_155^2+x2_155^2))^3+w3_155, x4_156=x4_155-0.5*x2_155/(sqrt(x1_155^2+x2_155^2))^3+w4_155, y1_155=x2_155/x1_155, y2_155=x1_155*x3_155+x2_155*x4_155, y3_155=x1_155^2+x2_155^2, x1_157=x1_156+0.5*x3_156+ w1_156, x2_157=x2_156+0.5*x4_156+ w2_156, x3_157=x3_156-0.5*x1_156/(sqrt(x1_156^2+x2_156^2))^3+w3_156, x4_157=x4_156-0.5*x2_156/(sqrt(x1_156^2+x2_156^2))^3+w4_156, y1_156=x2_156/x1_156, y2_156=x1_156*x3_156+x2_156*x4_156, y3_156=x1_156^2+x2_156^2, x1_158=x1_157+0.5*x3_157+ w1_157, x2_158=x2_157+0.5*x4_157+ w2_157, x3_158=x3_157-0.5*x1_157/(sqrt(x1_157^2+x2_157^2))^3+w3_157, x4_158=x4_157-0.5*x2_157/(sqrt(x1_157^2+x2_157^2))^3+w4_157, y1_157=x2_157/x1_157, y2_157=x1_157*x3_157+x2_157*x4_157, y3_157=x1_157^2+x2_157^2, x1_159=x1_158+0.5*x3_158+ w1_158, x2_159=x2_158+0.5*x4_158+ w2_158, x3_159=x3_158-0.5*x1_158/(sqrt(x1_158^2+x2_158^2))^3+w3_158, x4_159=x4_158-0.5*x2_158/(sqrt(x1_158^2+x2_158^2))^3+w4_158, y1_158=x2_158/x1_158, y2_158=x1_158*x3_158+x2_158*x4_158, y3_158=x1_158^2+x2_158^2, x1_160=x1_159+0.5*x3_159+ w1_159, x2_160=x2_159+0.5*x4_159+ w2_159, x3_160=x3_159-0.5*x1_159/(sqrt(x1_159^2+x2_159^2))^3+w3_159, x4_160=x4_159-0.5*x2_159/(sqrt(x1_159^2+x2_159^2))^3+w4_159, y1_159=x2_159/x1_159, y2_159=x1_159*x3_159+x2_159*x4_159, y3_159=x1_159^2+x2_159^2, x1_161=x1_160+0.5*x3_160+ w1_160, x2_161=x2_160+0.5*x4_160+ w2_160, x3_161=x3_160-0.5*x1_160/(sqrt(x1_160^2+x2_160^2))^3+w3_160, x4_161=x4_160-0.5*x2_160/(sqrt(x1_160^2+x2_160^2))^3+w4_160, y1_160=x2_160/x1_160, y2_160=x1_160*x3_160+x2_160*x4_160, y3_160=x1_160^2+x2_160^2, x1_162=x1_161+0.5*x3_161+ w1_161, x2_162=x2_161+0.5*x4_161+ w2_161, x3_162=x3_161-0.5*x1_161/(sqrt(x1_161^2+x2_161^2))^3+w3_161, x4_162=x4_161-0.5*x2_161/(sqrt(x1_161^2+x2_161^2))^3+w4_161, y1_161=x2_161/x1_161, y2_161=x1_161*x3_161+x2_161*x4_161, y3_161=x1_161^2+x2_161^2, x1_163=x1_162+0.5*x3_162+ w1_162, x2_163=x2_162+0.5*x4_162+ w2_162, x3_163=x3_162-0.5*x1_162/(sqrt(x1_162^2+x2_162^2))^3+w3_162, x4_163=x4_162-0.5*x2_162/(sqrt(x1_162^2+x2_162^2))^3+w4_162, y1_162=x2_162/x1_162, y2_162=x1_162*x3_162+x2_162*x4_162, y3_162=x1_162^2+x2_162^2, x1_164=x1_163+0.5*x3_163+ w1_163, x2_164=x2_163+0.5*x4_163+ w2_163, x3_164=x3_163-0.5*x1_163/(sqrt(x1_163^2+x2_163^2))^3+w3_163, x4_164=x4_163-0.5*x2_163/(sqrt(x1_163^2+x2_163^2))^3+w4_163, y1_163=x2_163/x1_163, y2_163=x1_163*x3_163+x2_163*x4_163, y3_163=x1_163^2+x2_163^2, x1_165=x1_164+0.5*x3_164+ w1_164, x2_165=x2_164+0.5*x4_164+ w2_164, x3_165=x3_164-0.5*x1_164/(sqrt(x1_164^2+x2_164^2))^3+w3_164, x4_165=x4_164-0.5*x2_164/(sqrt(x1_164^2+x2_164^2))^3+w4_164, y1_164=x2_164/x1_164, y2_164=x1_164*x3_164+x2_164*x4_164, y3_164=x1_164^2+x2_164^2, x1_166=x1_165+0.5*x3_165+ w1_165, x2_166=x2_165+0.5*x4_165+ w2_165, x3_166=x3_165-0.5*x1_165/(sqrt(x1_165^2+x2_165^2))^3+w3_165, x4_166=x4_165-0.5*x2_165/(sqrt(x1_165^2+x2_165^2))^3+w4_165, y1_165=x2_165/x1_165, y2_165=x1_165*x3_165+x2_165*x4_165, y3_165=x1_165^2+x2_165^2, x1_167=x1_166+0.5*x3_166+ w1_166, x2_167=x2_166+0.5*x4_166+ w2_166, x3_167=x3_166-0.5*x1_166/(sqrt(x1_166^2+x2_166^2))^3+w3_166, x4_167=x4_166-0.5*x2_166/(sqrt(x1_166^2+x2_166^2))^3+w4_166, y1_166=x2_166/x1_166, y2_166=x1_166*x3_166+x2_166*x4_166, y3_166=x1_166^2+x2_166^2, x1_168=x1_167+0.5*x3_167+ w1_167, x2_168=x2_167+0.5*x4_167+ w2_167, x3_168=x3_167-0.5*x1_167/(sqrt(x1_167^2+x2_167^2))^3+w3_167, x4_168=x4_167-0.5*x2_167/(sqrt(x1_167^2+x2_167^2))^3+w4_167, y1_167=x2_167/x1_167, y2_167=x1_167*x3_167+x2_167*x4_167, y3_167=x1_167^2+x2_167^2, x1_169=x1_168+0.5*x3_168+ w1_168, x2_169=x2_168+0.5*x4_168+ w2_168, x3_169=x3_168-0.5*x1_168/(sqrt(x1_168^2+x2_168^2))^3+w3_168, x4_169=x4_168-0.5*x2_168/(sqrt(x1_168^2+x2_168^2))^3+w4_168, y1_168=x2_168/x1_168, y2_168=x1_168*x3_168+x2_168*x4_168, y3_168=x1_168^2+x2_168^2, x1_170=x1_169+0.5*x3_169+ w1_169, x2_170=x2_169+0.5*x4_169+ w2_169, x3_170=x3_169-0.5*x1_169/(sqrt(x1_169^2+x2_169^2))^3+w3_169, x4_170=x4_169-0.5*x2_169/(sqrt(x1_169^2+x2_169^2))^3+w4_169, y1_169=x2_169/x1_169, y2_169=x1_169*x3_169+x2_169*x4_169, y3_169=x1_169^2+x2_169^2, x1_171=x1_170+0.5*x3_170+ w1_170, x2_171=x2_170+0.5*x4_170+ w2_170, x3_171=x3_170-0.5*x1_170/(sqrt(x1_170^2+x2_170^2))^3+w3_170, x4_171=x4_170-0.5*x2_170/(sqrt(x1_170^2+x2_170^2))^3+w4_170, y1_170=x2_170/x1_170, y2_170=x1_170*x3_170+x2_170*x4_170, y3_170=x1_170^2+x2_170^2, x1_172=x1_171+0.5*x3_171+ w1_171, x2_172=x2_171+0.5*x4_171+ w2_171, x3_172=x3_171-0.5*x1_171/(sqrt(x1_171^2+x2_171^2))^3+w3_171, x4_172=x4_171-0.5*x2_171/(sqrt(x1_171^2+x2_171^2))^3+w4_171, y1_171=x2_171/x1_171, y2_171=x1_171*x3_171+x2_171*x4_171, y3_171=x1_171^2+x2_171^2, x1_173=x1_172+0.5*x3_172+ w1_172, x2_173=x2_172+0.5*x4_172+ w2_172, x3_173=x3_172-0.5*x1_172/(sqrt(x1_172^2+x2_172^2))^3+w3_172, x4_173=x4_172-0.5*x2_172/(sqrt(x1_172^2+x2_172^2))^3+w4_172, y1_172=x2_172/x1_172, y2_172=x1_172*x3_172+x2_172*x4_172, y3_172=x1_172^2+x2_172^2, x1_174=x1_173+0.5*x3_173+ w1_173, x2_174=x2_173+0.5*x4_173+ w2_173, x3_174=x3_173-0.5*x1_173/(sqrt(x1_173^2+x2_173^2))^3+w3_173, x4_174=x4_173-0.5*x2_173/(sqrt(x1_173^2+x2_173^2))^3+w4_173, y1_173=x2_173/x1_173, y2_173=x1_173*x3_173+x2_173*x4_173, y3_173=x1_173^2+x2_173^2, x1_175=x1_174+0.5*x3_174+ w1_174, x2_175=x2_174+0.5*x4_174+ w2_174, x3_175=x3_174-0.5*x1_174/(sqrt(x1_174^2+x2_174^2))^3+w3_174, x4_175=x4_174-0.5*x2_174/(sqrt(x1_174^2+x2_174^2))^3+w4_174, y1_174=x2_174/x1_174, y2_174=x1_174*x3_174+x2_174*x4_174, y3_174=x1_174^2+x2_174^2, x1_176=x1_175+0.5*x3_175+ w1_175, x2_176=x2_175+0.5*x4_175+ w2_175, x3_176=x3_175-0.5*x1_175/(sqrt(x1_175^2+x2_175^2))^3+w3_175, x4_176=x4_175-0.5*x2_175/(sqrt(x1_175^2+x2_175^2))^3+w4_175, y1_175=x2_175/x1_175, y2_175=x1_175*x3_175+x2_175*x4_175, y3_175=x1_175^2+x2_175^2, x1_177=x1_176+0.5*x3_176+ w1_176, x2_177=x2_176+0.5*x4_176+ w2_176, x3_177=x3_176-0.5*x1_176/(sqrt(x1_176^2+x2_176^2))^3+w3_176, x4_177=x4_176-0.5*x2_176/(sqrt(x1_176^2+x2_176^2))^3+w4_176, y1_176=x2_176/x1_176, y2_176=x1_176*x3_176+x2_176*x4_176, y3_176=x1_176^2+x2_176^2, x1_178=x1_177+0.5*x3_177+ w1_177, x2_178=x2_177+0.5*x4_177+ w2_177, x3_178=x3_177-0.5*x1_177/(sqrt(x1_177^2+x2_177^2))^3+w3_177, x4_178=x4_177-0.5*x2_177/(sqrt(x1_177^2+x2_177^2))^3+w4_177, y1_177=x2_177/x1_177, y2_177=x1_177*x3_177+x2_177*x4_177, y3_177=x1_177^2+x2_177^2, x1_179=x1_178+0.5*x3_178+ w1_178, x2_179=x2_178+0.5*x4_178+ w2_178, x3_179=x3_178-0.5*x1_178/(sqrt(x1_178^2+x2_178^2))^3+w3_178, x4_179=x4_178-0.5*x2_178/(sqrt(x1_178^2+x2_178^2))^3+w4_178, y1_178=x2_178/x1_178, y2_178=x1_178*x3_178+x2_178*x4_178, y3_178=x1_178^2+x2_178^2, x1_180=x1_179+0.5*x3_179+ w1_179, x2_180=x2_179+0.5*x4_179+ w2_179, x3_180=x3_179-0.5*x1_179/(sqrt(x1_179^2+x2_179^2))^3+w3_179, x4_180=x4_179-0.5*x2_179/(sqrt(x1_179^2+x2_179^2))^3+w4_179, y1_179=x2_179/x1_179, y2_179=x1_179*x3_179+x2_179*x4_179, y3_179=x1_179^2+x2_179^2, x1_181=x1_180+0.5*x3_180+ w1_180, x2_181=x2_180+0.5*x4_180+ w2_180, x3_181=x3_180-0.5*x1_180/(sqrt(x1_180^2+x2_180^2))^3+w3_180, x4_181=x4_180-0.5*x2_180/(sqrt(x1_180^2+x2_180^2))^3+w4_180, y1_180=x2_180/x1_180, y2_180=x1_180*x3_180+x2_180*x4_180, y3_180=x1_180^2+x2_180^2, x1_182=x1_181+0.5*x3_181+ w1_181, x2_182=x2_181+0.5*x4_181+ w2_181, x3_182=x3_181-0.5*x1_181/(sqrt(x1_181^2+x2_181^2))^3+w3_181, x4_182=x4_181-0.5*x2_181/(sqrt(x1_181^2+x2_181^2))^3+w4_181, y1_181=x2_181/x1_181, y2_181=x1_181*x3_181+x2_181*x4_181, y3_181=x1_181^2+x2_181^2, x1_183=x1_182+0.5*x3_182+ w1_182, x2_183=x2_182+0.5*x4_182+ w2_182, x3_183=x3_182-0.5*x1_182/(sqrt(x1_182^2+x2_182^2))^3+w3_182, x4_183=x4_182-0.5*x2_182/(sqrt(x1_182^2+x2_182^2))^3+w4_182, y1_182=x2_182/x1_182, y2_182=x1_182*x3_182+x2_182*x4_182, y3_182=x1_182^2+x2_182^2, x1_184=x1_183+0.5*x3_183+ w1_183, x2_184=x2_183+0.5*x4_183+ w2_183, x3_184=x3_183-0.5*x1_183/(sqrt(x1_183^2+x2_183^2))^3+w3_183, x4_184=x4_183-0.5*x2_183/(sqrt(x1_183^2+x2_183^2))^3+w4_183, y1_183=x2_183/x1_183, y2_183=x1_183*x3_183+x2_183*x4_183, y3_183=x1_183^2+x2_183^2, x1_185=x1_184+0.5*x3_184+ w1_184, x2_185=x2_184+0.5*x4_184+ w2_184, x3_185=x3_184-0.5*x1_184/(sqrt(x1_184^2+x2_184^2))^3+w3_184, x4_185=x4_184-0.5*x2_184/(sqrt(x1_184^2+x2_184^2))^3+w4_184, y1_184=x2_184/x1_184, y2_184=x1_184*x3_184+x2_184*x4_184, y3_184=x1_184^2+x2_184^2, x1_186=x1_185+0.5*x3_185+ w1_185, x2_186=x2_185+0.5*x4_185+ w2_185, x3_186=x3_185-0.5*x1_185/(sqrt(x1_185^2+x2_185^2))^3+w3_185, x4_186=x4_185-0.5*x2_185/(sqrt(x1_185^2+x2_185^2))^3+w4_185, y1_185=x2_185/x1_185, y2_185=x1_185*x3_185+x2_185*x4_185, y3_185=x1_185^2+x2_185^2, x1_187=x1_186+0.5*x3_186+ w1_186, x2_187=x2_186+0.5*x4_186+ w2_186, x3_187=x3_186-0.5*x1_186/(sqrt(x1_186^2+x2_186^2))^3+w3_186, x4_187=x4_186-0.5*x2_186/(sqrt(x1_186^2+x2_186^2))^3+w4_186, y1_186=x2_186/x1_186, y2_186=x1_186*x3_186+x2_186*x4_186, y3_186=x1_186^2+x2_186^2, x1_188=x1_187+0.5*x3_187+ w1_187, x2_188=x2_187+0.5*x4_187+ w2_187, x3_188=x3_187-0.5*x1_187/(sqrt(x1_187^2+x2_187^2))^3+w3_187, x4_188=x4_187-0.5*x2_187/(sqrt(x1_187^2+x2_187^2))^3+w4_187, y1_187=x2_187/x1_187, y2_187=x1_187*x3_187+x2_187*x4_187, y3_187=x1_187^2+x2_187^2, x1_189=x1_188+0.5*x3_188+ w1_188, x2_189=x2_188+0.5*x4_188+ w2_188, x3_189=x3_188-0.5*x1_188/(sqrt(x1_188^2+x2_188^2))^3+w3_188, x4_189=x4_188-0.5*x2_188/(sqrt(x1_188^2+x2_188^2))^3+w4_188, y1_188=x2_188/x1_188, y2_188=x1_188*x3_188+x2_188*x4_188, y3_188=x1_188^2+x2_188^2, x1_190=x1_189+0.5*x3_189+ w1_189, x2_190=x2_189+0.5*x4_189+ w2_189, x3_190=x3_189-0.5*x1_189/(sqrt(x1_189^2+x2_189^2))^3+w3_189, x4_190=x4_189-0.5*x2_189/(sqrt(x1_189^2+x2_189^2))^3+w4_189, y1_189=x2_189/x1_189, y2_189=x1_189*x3_189+x2_189*x4_189, y3_189=x1_189^2+x2_189^2, x1_191=x1_190+0.5*x3_190+ w1_190, x2_191=x2_190+0.5*x4_190+ w2_190, x3_191=x3_190-0.5*x1_190/(sqrt(x1_190^2+x2_190^2))^3+w3_190, x4_191=x4_190-0.5*x2_190/(sqrt(x1_190^2+x2_190^2))^3+w4_190, y1_190=x2_190/x1_190, y2_190=x1_190*x3_190+x2_190*x4_190, y3_190=x1_190^2+x2_190^2, x1_192=x1_191+0.5*x3_191+ w1_191, x2_192=x2_191+0.5*x4_191+ w2_191, x3_192=x3_191-0.5*x1_191/(sqrt(x1_191^2+x2_191^2))^3+w3_191, x4_192=x4_191-0.5*x2_191/(sqrt(x1_191^2+x2_191^2))^3+w4_191, y1_191=x2_191/x1_191, y2_191=x1_191*x3_191+x2_191*x4_191, y3_191=x1_191^2+x2_191^2, x1_193=x1_192+0.5*x3_192+ w1_192, x2_193=x2_192+0.5*x4_192+ w2_192, x3_193=x3_192-0.5*x1_192/(sqrt(x1_192^2+x2_192^2))^3+w3_192, x4_193=x4_192-0.5*x2_192/(sqrt(x1_192^2+x2_192^2))^3+w4_192, y1_192=x2_192/x1_192, y2_192=x1_192*x3_192+x2_192*x4_192, y3_192=x1_192^2+x2_192^2, x1_194=x1_193+0.5*x3_193+ w1_193, x2_194=x2_193+0.5*x4_193+ w2_193, x3_194=x3_193-0.5*x1_193/(sqrt(x1_193^2+x2_193^2))^3+w3_193, x4_194=x4_193-0.5*x2_193/(sqrt(x1_193^2+x2_193^2))^3+w4_193, y1_193=x2_193/x1_193, y2_193=x1_193*x3_193+x2_193*x4_193, y3_193=x1_193^2+x2_193^2, x1_195=x1_194+0.5*x3_194+ w1_194, x2_195=x2_194+0.5*x4_194+ w2_194, x3_195=x3_194-0.5*x1_194/(sqrt(x1_194^2+x2_194^2))^3+w3_194, x4_195=x4_194-0.5*x2_194/(sqrt(x1_194^2+x2_194^2))^3+w4_194, y1_194=x2_194/x1_194, y2_194=x1_194*x3_194+x2_194*x4_194, y3_194=x1_194^2+x2_194^2, x1_196=x1_195+0.5*x3_195+ w1_195, x2_196=x2_195+0.5*x4_195+ w2_195, x3_196=x3_195-0.5*x1_195/(sqrt(x1_195^2+x2_195^2))^3+w3_195, x4_196=x4_195-0.5*x2_195/(sqrt(x1_195^2+x2_195^2))^3+w4_195, y1_195=x2_195/x1_195, y2_195=x1_195*x3_195+x2_195*x4_195, y3_195=x1_195^2+x2_195^2, x1_197=x1_196+0.5*x3_196+ w1_196, x2_197=x2_196+0.5*x4_196+ w2_196, x3_197=x3_196-0.5*x1_196/(sqrt(x1_196^2+x2_196^2))^3+w3_196, x4_197=x4_196-0.5*x2_196/(sqrt(x1_196^2+x2_196^2))^3+w4_196, y1_196=x2_196/x1_196, y2_196=x1_196*x3_196+x2_196*x4_196, y3_196=x1_196^2+x2_196^2, x1_198=x1_197+0.5*x3_197+ w1_197, x2_198=x2_197+0.5*x4_197+ w2_197, x3_198=x3_197-0.5*x1_197/(sqrt(x1_197^2+x2_197^2))^3+w3_197, x4_198=x4_197-0.5*x2_197/(sqrt(x1_197^2+x2_197^2))^3+w4_197, y1_197=x2_197/x1_197, y2_197=x1_197*x3_197+x2_197*x4_197, y3_197=x1_197^2+x2_197^2, x1_199=x1_198+0.5*x3_198+ w1_198, x2_199=x2_198+0.5*x4_198+ w2_198, x3_199=x3_198-0.5*x1_198/(sqrt(x1_198^2+x2_198^2))^3+w3_198, x4_199=x4_198-0.5*x2_198/(sqrt(x1_198^2+x2_198^2))^3+w4_198, y1_198=x2_198/x1_198, y2_198=x1_198*x3_198+x2_198*x4_198, y3_198=x1_198^2+x2_198^2, x1_200=x1_199+0.5*x3_199+ w1_199, x2_200=x2_199+0.5*x4_199+ w2_199, x3_200=x3_199-0.5*x1_199/(sqrt(x1_199^2+x2_199^2))^3+w3_199, x4_200=x4_199-0.5*x2_199/(sqrt(x1_199^2+x2_199^2))^3+w4_199, y1_199=x2_199/x1_199, y2_199=x1_199*x3_199+x2_199*x4_199, y3_199=x1_199^2+x2_199^2, x1_201=x1_200+0.5*x3_200+ w1_200, x2_201=x2_200+0.5*x4_200+ w2_200, x3_201=x3_200-0.5*x1_200/(sqrt(x1_200^2+x2_200^2))^3+w3_200, x4_201=x4_200-0.5*x2_200/(sqrt(x1_200^2+x2_200^2))^3+w4_200, y1_200=x2_200/x1_200, y2_200=x1_200*x3_200+x2_200*x4_200, y3_200=x1_200^2+x2_200^2;