***************************************************** Running version 2.1 Loaded 350 initial rectangles into COVER. Computing rectangles 1 to 96 from 'INPUT_FILE_II'. The cone openings are 10.000000 degrees. Displaying a small amount of data. ***************************************************** Started computations Sun Mar 14 18:57:09 1999 Rectangle 1: [0.753720,0.758687][2.073385,2.078367][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.379588,4.400129][-0.901941,0.891401] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 1 Expansion: 49.871212 Rectangle 2: [0.753720,0.758687][2.078367,2.083349][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.679209,3.342780][-0.597690,-0.118636] The return is contained in N[-53] - N[-33] (21 rectangles) We have forward invariance for rectangle 2 Expansion: 41.266111 Rectangle 3: [0.758687,0.763654][2.073385,2.078367][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378257,4.395164][-0.900424,0.881069] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 3 Expansion: 52.880776 Rectangle 4: [0.758687,0.763654][2.078367,2.083349][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378160,4.395262][-0.900314,0.881172] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 4 Expansion: 71.719299 Rectangle 5: [0.753720,0.758687][2.083349,2.088331][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.593191,3.063684][-0.644794,-0.336091] The return is contained in N[-54] - N[-40] (15 rectangles) We have forward invariance for rectangle 5 Expansion: 33.891140 Rectangle 6: [0.753720,0.758687][2.088331,2.093313][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.529510,2.909808][-0.688737,-0.450800] The return is contained in N[-56] - N[-45] (12 rectangles) We have forward invariance for rectangle 6 Expansion: 30.018573 Rectangle 7: [0.758687,0.763654][2.083349,2.088331][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.370754,4.399661][-0.896262,0.890138] The return is contained in N[-70] - N[-1]; N[2] - N[70] (139 rectangles) We have forward invariance for rectangle 7 Expansion: 59.907232 Rectangle 8: [0.758687,0.763654][2.088331,2.093313][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378091,4.396257][-0.900225,0.883173] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 8 Expansion: 47.388387 Rectangle 9: [0.763654,0.773589][2.073385,2.083349][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.237810,-2.408289][0.197570,0.771464] The return is contained in N[35] - N[61] (27 rectangles) We have forward invariance for rectangle 9 Expansion: 23.479198 Rectangle 10: [0.763654,0.768622][2.083349,2.088331][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.372362,4.396551][-0.896159,0.884421] The return is contained in N[-70] - N[-1]; N[2] - N[70] (139 rectangles) We have forward invariance for rectangle 10 Expansion: 44.728709 Rectangle 11: [0.763654,0.768622][2.088331,2.093313][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.379761,4.397323][-0.902157,0.885220] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 11 Expansion: 56.296770 Rectangle 12: [0.768622,0.773589][2.083349,2.088331][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.889678,-2.517474][0.464116,0.698579] The return is contained in N[45] - N[56] (12 rectangles) We have forward invariance for rectangle 12 Expansion: 28.756580 Rectangle 13: [0.768622,0.773589][2.088331,2.093313][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.036058,-2.579971][0.354772,0.655841] The return is contained in N[41] - N[55] (15 rectangles) We have forward invariance for rectangle 13 Expansion: 32.455834 Rectangle 14: [0.753720,0.763654][2.093313,2.103276][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.413762,3.263779][-0.764590,-0.180073] The return is contained in N[-61] - N[-35] (27 rectangles) We have forward invariance for rectangle 14 Expansion: 24.323609 Rectangle 15: [0.753720,0.763654][2.103276,2.113240][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.322587,2.884562][-0.822899,-0.468447] The return is contained in N[-64] - N[-46] (19 rectangles) We have forward invariance for rectangle 15 Expansion: 20.830699 Rectangle 16: [0.763654,0.768622][2.093313,2.098295][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378028,4.396051][-0.900306,0.882916] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 16 Expansion: 77.096181 Rectangle 17: [0.763654,0.768622][2.098295,2.103276][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378674,4.394841][-0.900968,0.880678] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 17 Expansion: 56.154527 Rectangle 18: [0.768622,0.773589][2.093313,2.098295][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.283535,-2.667932][0.161642,0.606004] The return is contained in N[34] - N[53] (20 rectangles) We have forward invariance for rectangle 18 Expansion: 38.943322 Rectangle 19: [0.768622,0.773589][2.098295,2.103276][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378576,4.394933][-0.900830,0.880825] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 19 Expansion: 47.051156 Rectangle 20: [0.763654,0.768622][2.103276,2.108258][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.722160,3.979857][-0.568032,0.463005] The return is contained in N[-51] - N[-15] (37 rectangles) We have forward invariance for rectangle 20 Expansion: 45.182847 Rectangle 21: [0.763654,0.768622][2.108258,2.113240][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.629143,3.180065][-0.619787,-0.248019] The return is contained in N[-54] - N[-37] (18 rectangles) We have forward invariance for rectangle 21 Expansion: 36.405674 Rectangle 22: [0.768622,0.773589][2.103276,2.108258][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378821,4.397292][-0.901130,0.885176] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 22 Expansion: 60.248828 Rectangle 23: [0.768622,0.773589][2.108258,2.113240][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.377373,4.397253][-0.899634,0.885114] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 23 Expansion: 70.761904 Rectangle 24: [0.753720,0.763654][2.113240,2.123204][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.235706,2.691712][-0.869060,-0.603888] The return is contained in N[-66] - N[-52] (15 rectangles) We have forward invariance for rectangle 24 Expansion: 17.748931 Rectangle 25: [0.753720,0.763654][2.123204,2.133168][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.165653,2.556548][-0.912252,-0.695814] The return is contained in N[-69] - N[-55] (15 rectangles) We have forward invariance for rectangle 25 Expansion: 15.947286 Rectangle 26: [0.763654,0.768622][2.113240,2.118222][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.560686,2.977807][-0.667028,-0.398293] The return is contained in N[-55] - N[-43] (13 rectangles) We have forward invariance for rectangle 26 Expansion: 31.835716 Rectangle 27: [0.763654,0.768622][2.118222,2.123204][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.500382,2.849567][-0.708058,-0.492766] The return is contained in N[-59] - N[-47] (13 rectangles) We have forward invariance for rectangle 27 Expansion: 28.437940 Rectangle 28: [0.768622,0.773589][2.113240,2.118222][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.380715,4.400163][-0.903185,0.891447] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 28 Expansion: 52.950149 Rectangle 29: [0.768622,0.773589][2.118222,2.123204][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.700984,3.491398][-0.582526,0.007415] The return is contained in N[-52] - N[-28] (25 rectangles) We have forward invariance for rectangle 29 Expansion: 43.180971 Rectangle 30: [0.763654,0.773589][2.123204,2.133168][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.390765,3.129824][-0.779972,-0.286804] The return is contained in N[-62] - N[-39] (24 rectangles) We have forward invariance for rectangle 30 Expansion: 23.367412 Rectangle 31: [0.753720,0.773589][2.133167,2.153095][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.042276,2.818615][-0.985613,-0.513847] The return is contained in N[-72] - N[-48] (25 rectangles) We have forward invariance for rectangle 31 Expansion: 13.321920 Rectangle 32: [0.753720,0.773589][2.153095,2.173023][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [1.935265,2.526241][-1.045870,-0.715811] The return is contained in N[-76] - N[-56] (21 rectangles) We have forward invariance for rectangle 32 Expansion: 11.465660 Rectangle 33: [0.753720,0.773589][2.173023,2.192950][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [1.843341,2.326970][-1.096493,-0.836902] The return is contained in N[-77] - N[-64] (14 rectangles) We have forward invariance for rectangle 33 Expansion: 10.170402 Rectangle 34: [0.773589,0.793459][2.073385,2.093313][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.724413,-2.013301][0.578154,1.008054] The return is contained in N[51] - N[73] (23 rectangles) We have forward invariance for rectangle 34 Expansion: 12.444909 Rectangle 35: [0.773589,0.793459][2.093313,2.113240][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.502158,-2.129794][-0.021211,0.939643] The return is contained in N[28] - N[70] (43 rectangles) We have forward invariance for rectangle 35 Expansion: 14.744370 Rectangle 36: [0.773589,0.778556][2.113240,2.118222][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.370708,4.398385][-0.896209,0.887869] The return is contained in N[-70] - N[-1]; N[2] - N[70] (139 rectangles) We have forward invariance for rectangle 36 Expansion: 49.659612 Rectangle 37: [0.773589,0.778556][2.118222,2.123204][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.376120,4.396475][-0.898368,0.884329] The return is contained in N[-71] - N[-1]; N[2] - N[70] (140 rectangles) We have forward invariance for rectangle 37 Expansion: 64.868834 Rectangle 38: [0.778556,0.783524][2.113240,2.118222][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.952646,-2.547308][0.415409,0.678273] The return is contained in N[43] - N[56] (14 rectangles) We have forward invariance for rectangle 38 Expansion: 30.440416 Rectangle 39: [0.778556,0.783524][2.118222,2.123204][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.137804,-2.613656][0.278694,0.632059] The return is contained in N[39] - N[54] (16 rectangles) We have forward invariance for rectangle 39 Expansion: 34.718804 Rectangle 40: [0.773589,0.778556][2.123204,2.128186][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.373180,4.398619][-0.896358,0.888165] The return is contained in N[-70] - N[-1]; N[2] - N[70] (139 rectangles) We have forward invariance for rectangle 40 Expansion: 64.552869 Rectangle 41: [0.773589,0.778556][2.128186,2.133168][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.381975,4.399276][-0.904472,0.889663] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 41 Expansion: 50.081276 Rectangle 42: [0.778556,0.783524][2.123204,2.128186][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.566138,-2.707633][-0.080221,0.578168] The return is contained in N[27] - N[52] (26 rectangles) We have forward invariance for rectangle 42 Expansion: 42.475452 Rectangle 43: [0.778556,0.783524][2.128186,2.133168][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.373199,4.396571][-0.896379,0.884438] The return is contained in N[-70] - N[-1]; N[2] - N[70] (139 rectangles) We have forward invariance for rectangle 43 Expansion: 52.630794 Rectangle 44: [0.783524,0.793459][2.113240,2.123204][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.764413,-2.276782][0.551010,0.854737] The return is contained in N[50] - N[65] (16 rectangles) We have forward invariance for rectangle 44 Expansion: 18.703835 Rectangle 45: [0.783524,0.793459][2.123204,2.133168][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.009826,-2.360858][0.373968,0.801842] The return is contained in N[42] - N[63] (22 rectangles) We have forward invariance for rectangle 45 Expansion: 21.583082 Rectangle 46: [0.773589,0.778556][2.133167,2.138149][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.681084,3.351410][-0.596416,-0.111603] The return is contained in N[-53] - N[-32] (22 rectangles) We have forward invariance for rectangle 46 Expansion: 41.408482 Rectangle 47: [0.773589,0.778556][2.138149,2.143131][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.594790,3.067705][-0.643814,-0.333076] The return is contained in N[-54] - N[-40] (15 rectangles) We have forward invariance for rectangle 47 Expansion: 34.001705 Rectangle 48: [0.778556,0.783524][2.133167,2.138149][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.375790,4.396910][-0.897965,0.884742] The return is contained in N[-71] - N[-1]; N[2] - N[70] (140 rectangles) We have forward invariance for rectangle 48 Expansion: 71.202250 Rectangle 49: [0.778556,0.783524][2.138149,2.143131][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.373063,4.396589][-0.896235,0.884428] The return is contained in N[-70] - N[-1]; N[2] - N[70] (139 rectangles) We have forward invariance for rectangle 49 Expansion: 60.255391 Rectangle 50: [0.773589,0.778556][2.143131,2.148113][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.531111,2.912702][-0.687700,-0.448725] The return is contained in N[-56] - N[-45] (12 rectangles) We have forward invariance for rectangle 50 Expansion: 30.095540 Rectangle 51: [0.773589,0.778556][2.148113,2.153095][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.473072,2.796502][-0.725943,-0.529229] The return is contained in N[-60] - N[-49] (12 rectangles) We have forward invariance for rectangle 51 Expansion: 27.035685 Rectangle 52: [0.778556,0.783524][2.143131,2.148113][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.372321,4.398550][-0.896149,0.888052] The return is contained in N[-70] - N[-1]; N[2] - N[70] (139 rectangles) We have forward invariance for rectangle 52 Expansion: 47.599375 Rectangle 53: [0.778556,0.783524][2.148113,2.153095][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.657416,3.255115][-0.608314,-0.186981] The return is contained in N[-53] - N[-35] (19 rectangles) We have forward invariance for rectangle 53 Expansion: 39.137194 Rectangle 54: [0.783524,0.788492][2.133167,2.138149][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.197314,-2.630927][0.229297,0.619625] The return is contained in N[37] - N[54] (18 rectangles) We have forward invariance for rectangle 54 Expansion: 35.965809 Rectangle 55: [0.783524,0.786008][2.138149,2.140640][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.345860,-2.877125][0.111805,0.456017] The return is contained in N[33] - N[46] (14 rectangles) We have forward invariance for rectangle 55 Expansion: 63.160805 Rectangle 56: [0.783524,0.786008][2.140640,2.143131][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.025495,-2.949491][-0.521063,0.406167] The return is contained in N[14] - N[43] (30 rectangles) We have forward invariance for rectangle 56 Expansion: 75.810528 Rectangle 57: [0.786008,0.788492][2.138149,2.140640][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.997293,-2.733491][0.383296,0.560284] The return is contained in N[42] - N[51] (10 rectangles) We have forward invariance for rectangle 57 Expansion: 44.995751 Rectangle 58: [0.786008,0.788492][2.140640,2.143131][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.090206,-2.780366][0.314828,0.526771] The return is contained in N[40] - N[49] (10 rectangles) We have forward invariance for rectangle 58 Expansion: 50.091965 Rectangle 59: [0.788492,0.793459][2.133167,2.138149][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.777411,-2.460632][0.542387,0.736807] The return is contained in N[49] - N[60] (12 rectangles) We have forward invariance for rectangle 59 Expansion: 25.827269 Rectangle 60: [0.788492,0.793459][2.138149,2.143131][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.887295,-2.516483][0.465813,0.699223] The return is contained in N[45] - N[56] (12 rectangles) We have forward invariance for rectangle 60 Expansion: 28.685598 Rectangle 61: [0.783524,0.788492][2.143131,2.148113][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.380390,4.400329][-0.902792,0.891647] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 61 Expansion: 55.971739 Rectangle 62: [0.783524,0.788492][2.148113,2.153095][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378517,4.396817][-0.900773,0.884714] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 62 Expansion: 77.773104 Rectangle 63: [0.788492,0.793459][2.143131,2.148113][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.032366,-2.578847][0.357532,0.656556] The return is contained in N[41] - N[55] (15 rectangles) We have forward invariance for rectangle 63 Expansion: 32.372332 Rectangle 64: [0.788492,0.793459][2.148113,2.153095][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.275532,-2.666410][0.168129,0.607033] The return is contained in N[34] - N[53] (20 rectangles) We have forward invariance for rectangle 64 Expansion: 38.796066 Rectangle 65: [0.773589,0.783524][2.153095,2.163059][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.368265,3.031128][-0.794300,-0.359900] The return is contained in N[-63] - N[-41] (23 rectangles) We have forward invariance for rectangle 65 Expansion: 22.479011 Rectangle 66: [0.773589,0.783524][2.163059,2.173023][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.282631,2.776581][-0.847593,-0.542605] The return is contained in N[-65] - N[-50] (16 rectangles) We have forward invariance for rectangle 66 Expansion: 19.490100 Rectangle 67: [0.783524,0.788492][2.153095,2.158077][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.377817,4.397150][-0.900053,0.885018] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 67 Expansion: 56.497132 Rectangle 68: [0.783524,0.788492][2.158077,2.163059][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.380890,4.394138][-0.903268,0.879028] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 68 Expansion: 45.397302 Rectangle 69: [0.788492,0.793459][2.153095,2.158077][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.379900,4.397167][-0.902300,0.885026] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 69 Expansion: 46.818780 Rectangle 70: [0.788492,0.793459][2.158077,2.163059][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.377997,4.399438][-0.900272,0.889844] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 70 Expansion: 59.835769 Rectangle 71: [0.783524,0.788492][2.163059,2.168041][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.630912,3.186624][-0.618273,-0.242870] The return is contained in N[-54] - N[-37] (18 rectangles) We have forward invariance for rectangle 71 Expansion: 36.500887 Rectangle 72: [0.783524,0.788492][2.168041,2.173023][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.562665,2.981903][-0.665720,-0.395285] The return is contained in N[-55] - N[-43] (13 rectangles) We have forward invariance for rectangle 72 Expansion: 31.942769 Rectangle 73: [0.788492,0.793459][2.163059,2.168041][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378968,4.399552][-0.901313,0.889986] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 73 Expansion: 71.370853 Rectangle 74: [0.788492,0.793459][2.168041,2.173023][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.381082,4.399277][-0.903511,0.889665] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 74 Expansion: 53.278780 Rectangle 75: [0.773589,0.793459][2.173023,2.192950][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.132470,3.485588][-0.932242,0.002434] The return is contained in N[-69] - N[-29] (41 rectangles) We have forward invariance for rectangle 75 Expansion: 15.161537 Rectangle 76: [0.793459,0.813328][2.073385,2.093313][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.181219,-1.750580][0.932216,1.150467] The return is contained in N[68] - N[79] (12 rectangles) We have forward invariance for rectangle 76 Expansion: 8.645672 Rectangle 77: [0.793459,0.813328][2.093313,2.113240][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.324567,-1.842076][0.841649,1.103580] The return is contained in N[64] - N[77] (14 rectangles) We have forward invariance for rectangle 77 Expansion: 9.839368 Rectangle 78: [0.793459,0.813328][2.113240,2.133168][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.519798,-1.936861][0.721322,1.051614] The return is contained in N[56] - N[76] (21 rectangles) We have forward invariance for rectangle 78 Expansion: 11.186672 Rectangle 79: [0.793459,0.813328][2.133167,2.153095][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.819428,-2.040786][0.513025,0.992222] The return is contained in N[48] - N[72] (25 rectangles) We have forward invariance for rectangle 79 Expansion: 12.933371 Rectangle 80: [0.793459,0.803394][2.153095,2.163059][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.103581,-2.383427][0.304594,0.787424] The return is contained in N[39] - N[62] (24 rectangles) We have forward invariance for rectangle 80 Expansion: 22.450048 Rectangle 81: [0.793459,0.798427][2.163059,2.168041][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.378943,-2.685578][0.084375,0.593642] The return is contained in N[32] - N[53] (22 rectangles) We have forward invariance for rectangle 81 Expansion: 40.443559 Rectangle 82: [0.793459,0.798427][2.168041,2.173023][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.378770,4.399386][-0.901069,0.889790] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 82 Expansion: 49.363191 Rectangle 83: [0.798427,0.803394][2.163059,2.168041][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.828245,-2.487479][0.507369,0.719130] The return is contained in N[48] - N[59] (12 rectangles) We have forward invariance for rectangle 83 Expansion: 27.140649 Rectangle 84: [0.798427,0.803394][2.168041,2.173023][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.949039,-2.545946][0.418042,0.679184] The return is contained in N[43] - N[56] (14 rectangles) We have forward invariance for rectangle 84 Expansion: 30.351501 Rectangle 85: [0.803394,0.813328][2.153095,2.163059][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.545620,-2.159300][0.705020,0.922017] The return is contained in N[56] - N[69] (14 rectangles) We have forward invariance for rectangle 85 Expansion: 15.421508 Rectangle 86: [0.803394,0.813328][2.163059,2.173023][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.687826,-2.228093][0.614743,0.879482] The return is contained in N[52] - N[66] (15 rectangles) We have forward invariance for rectangle 86 Expansion: 17.156817 Rectangle 87: [0.793459,0.798427][2.173023,2.178005][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.381108,4.399235][-0.903531,0.889604] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 87 Expansion: 64.379444 Rectangle 88: [0.793459,0.798427][2.178005,2.182987][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.381143,4.400407][-0.903576,0.891729] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 88 Expansion: 65.102499 Rectangle 89: [0.798427,0.803394][2.173023,2.178005][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.131731,-2.612010][0.283393,0.633177] The return is contained in N[39] - N[54] (16 rectangles) We have forward invariance for rectangle 89 Expansion: 34.587255 Rectangle 90: [0.798427,0.803394][2.178005,2.182987][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.541154,-2.705560][-0.055248,0.579604] The return is contained in N[27] - N[52] (26 rectangles) We have forward invariance for rectangle 90 Expansion: 42.256552 Rectangle 91: [0.793459,0.798427][2.182987,2.187969][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.381055,4.399268][-0.903469,0.889644] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 91 Expansion: 50.396987 Rectangle 92: [0.793459,0.798427][2.187969,2.192950][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [2.683692,3.365871][-0.594662,-0.099299] The return is contained in N[-53] - N[-32] (22 rectangles) We have forward invariance for rectangle 92 Expansion: 41.616555 Rectangle 93: [0.798427,0.803394][2.182987,2.187969][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.381135,4.399239][-0.903580,0.889611] The return is contained in N[-71] - N[-1]; N[1] - N[70] (141 rectangles) We have forward invariance for rectangle 93 Expansion: 52.273088 Rectangle 94: [0.798427,0.803394][2.187969,2.192950][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-4.375934,4.397143][-0.898144,0.885011] The return is contained in N[-71] - N[-1]; N[2] - N[70] (140 rectangles) We have forward invariance for rectangle 94 Expansion: 70.484858 Rectangle 95: [0.803394,0.813328][2.173023,2.182987][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-2.868277,-2.316399][0.479031,0.829706] The return is contained in N[46] - N[64] (19 rectangles) We have forward invariance for rectangle 95 Expansion: 19.984643 Rectangle 96: [0.803394,0.813328][2.182987,2.192950][27.00] Initial cone angles: [13.256709,23.256709] Returns within: [-3.223682,-2.406797][0.208857,0.772396] The return is contained in N[36] - N[62] (27 rectangles) We have forward invariance for rectangle 96 Expansion: 23.392845 No errors were reported. Completed computations Mon Mar 15 18:03:29 1999 Elapsed run time: 83180.0 seconds