([[interval(-2.197262, -2.187496), interval(-0.468748, -0.

458982)], [interval(-
2.197262, -2.187496), interval(-0.458982, -0.449217)], [interval(-2.197262,
-2.187496), interval(-0.449217, -0.439451)], [interval(-2.197262, -2.187496),
interval(-0.439451, -0.429685)], [interval(-2.207027, -2.197262), interval(-
0.419919, -0.410153)], [interval(-2.197262, -2.187496), interval(-0.429685,
-0.419919)], [interval(-2.197262, -2.187496), interval(-0.419919, -0.410153)],
[interval(-2.207027, -2.197262), interval(-0.410153, -0.400387)], [interval(-
2.207027, -2.197262), interval(-0.400387, -0.390622)], [interval(-2.216793,
-2.207027), interval(-0.361324, -0.351558)], [interval(-2.207027, -2.197262),
interval(-0.390622, -0.380856)], [interval(-2.207027, -2.197262), interval(-
0.380856, -0.371090)], [interval(-2.207027, -2.197262), interval(-0.371090,
-0.361324)], [interval(-2.207027, -2.197262), interval(-0.361324, -0.351558)],
[interval(-2.216793, -2.207027), interval(-0.351558, -0.341792)], [interval(-
2.216793, -2.207027), interval(-0.341792, -0.332027)], [interval(-2.216793,
-2.207027), interval(-0.332027, -0.322261)], [interval(-2.216793, -2.207027),
interval(-0.322261, -0.312495)], [interval(-2.226558, -2.216793), interval(-
0.302730, -0.292964)], [interval(-2.216793, -2.207027), interval(-0.312495,
-0.302730)], [interval(-2.216793, -2.207027), interval(-0.302730, -0.292964)],
[interval(-2.226558, -2.216793), interval(-0.292964, -0.283199)], [interval(-
2.226558, -2.216793), interval(-0.283199, -0.273433)], [interval(-2.226558,
-2.216793), interval(-0.273433, -0.263668)], [interval(-2.226558, -2.216793),
interval(-0.263668, -0.253902)], [interval(-2.226558, -2.216793), interval(-
0.253902, -0.244137)], [interval(-2.226558, -2.216793), interval(-0.244137,
-0.234371)], [interval(-2.236324, -2.226558), interval(-0.214840, -0.205075)],
[interval(-2.236324, -2.226558), interval(-0.205075, -0.195309)], [interval(-
2.236324, -2.226558), interval(-0.195309, -0.185544)], [interval(-2.236324,
-2.226558), interval(-0.185544, -0.175779)], [interval(-2.236324, -2.226558),
interval(-0.175779, -0.166013)], [interval(-2.236324, -2.226558), interval(-
0.166013, -0.156248)], [interval(-2.226558, -2.216793), interval(-0.234371,
-0.224606)], [interval(-2.226558, -2.216793), interval(-0.224606, -0.214840)],
[interval(-2.226558, -2.216793), interval(-0.214840, -0.205075)], [interval(-
2.236324, -2.226558), interval(-0.156248, -0.146482)], [interval(-2.236324,
-2.226558), interval(-0.146482, -0.136717)], [interval(-2.236324, -2.226558),
interval(-0.136717, -0.126951)], [interval(-2.236324, -2.226558), interval(-
0.126951, -0.117186)], [interval(-2.236324, -2.226558), interval(-0.117186,
-0.107420)], [interval(-2.236324, -2.226558), interval(-0.107420, -0.097655)],
[interval(-2.236324, -2.226558), interval(-0.097655, -0.087889)], [interval(-
2.236324, -2.226558), interval(-0.087889, -0.078124)], [interval(-2.236324,
-2.226558), interval(-0.078124, -0.068358)], [interval(-2.236324, -2.226558),
interval(-0.068358, -0.058593)], [interval(-2.236324, -2.226558), interval(-
0.058593, -0.048828)], [interval(-2.236324, -2.226558), interval(-0.048828,
-0.039062)], [interval(-2.236324, -2.226558), interval(-0.039062, -0.029297)],
[interval(-2.236324, -2.226558), interval(-0.029297, -0.019531)], [interval(-
2.236324, -2.226558), interval(-0.019531, -0.009766)], [interval(-2.236324,
-2.226558), interval(-0.009766, -0.000000)], [interval(-2.236324, -2.226558),
interval(-0.000000, 0.009766)], [interval(-2.236324, -2.226558), interval(0.009766,
0.019531)], [interval(-2.236324, -2.226558), interval(0.019531, 0.029297)],
[interval(-2.236324, -2.226558), interval(0.029297, 0.039063)], [interval(-
2.236324, -2.226558), interval(0.039063, 0.048829)], [interval(-2.236324,
-2.226558), interval(0.048829, 0.058595)], [interval(-2.236324, -2.226558),
interval(0.058595, 0.068361)], [interval(-2.236324, -2.226558), interval(0.068361,
0.078127)], [interval(-2.236324, -2.226558), interval(0.078127, 0.087892)],
[interval(-2.236324, -2.226558), interval(0.087892, 0.097658)], [interval(-
2.236324, -2.226558), interval(0.097658, 0.107424)], [interval(-2.236324,
-2.226558), interval(0.107424, 0.117190)], [interval(-2.236324, -2.226558),
interval(0.117190, 0.126956)], [interval(-2.236324, -2.226558), interval(0.126956,
0.136722)], [interval(-2.236324, -2.226558), interval(0.136722, 0.146487)],
[interval(-2.236324, -2.226558), interval(0.146487, 0.156253)], [interval(-
2.236324, -2.226558), interval(0.156253, 0.166019)], [interval(-2.236324,
-2.226558), interval(0.166019, 0.175785)], [interval(-2.236324, -2.226558),
interval(0.175785, 0.185551)], [interval(-2.236324, -2.226558), interval(0.185551,
0.195317)], [interval(-2.236324, -2.226558), interval(0.195317, 0.205083)],
[interval(-2.236324, -2.226558), interval(0.205083, 0.214848)], [interval(-
2.226558, -2.216793), interval(0.205083, 0.214848)], [interval(-2.226558,
-2.216793), interval(0.214848, 0.224614)], [interval(-2.226558, -2.216793),
interval(0.224614, 0.234380)], [interval(-2.226558, -2.216793), interval(0.234380,
0.244146)], [interval(-2.226558, -2.216793), interval(0.244146, 0.253912)],
[interval(-2.226558, -2.216793), interval(0.253912, 0.263678)], [interval(-
2.226558, -2.216793), interval(0.263678, 0.273443)], [interval(-2.226558,
-2.216793), interval(0.273443, 0.283209)], [interval(-2.226558, -2.216793),
interval(0.283209, 0.292975)], [interval(-2.216793, -2.207027), interval(0.283209,
0.292975)], [interval(-2.216793, -2.207027), interval(0.292975, 0.302741)],
[interval(-2.216793, -2.207027), interval(0.302741, 0.312507)], [interval(-
2.216793, -2.207027), interval(0.312507, 0.322272)], [interval(-2.216793,
-2.207027), interval(0.322272, 0.332037)], [interval(-2.216793, -2.207027),
interval(0.332037, 0.341802)], [interval(-2.216793, -2.207027), interval(0.341802,
0.351567)], [interval(-2.216793, -2.207027), interval(0.351567, 0.361333)],
[interval(-2.207027, -2.197262), interval(0.351567, 0.361333)], [interval(-
2.207027, -2.197262), interval(0.361333, 0.371098)], [interval(-2.207027,
-2.197262), interval(0.371098, 0.380863)], [interval(-2.207027, -2.197262),
interval(0.380863, 0.390628)], [interval(-2.207027, -2.197262), interval(0.390628,
0.400393)], [interval(-2.207027, -2.197262), interval(0.400393, 0.410158)],
[interval(-2.207027, -2.197262), interval(0.410158, 0.419923)], [interval(-
2.197262, -2.187496), interval(0.410158, 0.419923)], [interval(-2.197262,
-2.187496), interval(0.419923, 0.429689)], [interval(-2.197262, -2.187496),
interval(0.429689, 0.439454)], [interval(-2.197262, -2.187496), interval(0.439454,
0.449219)], [interval(-2.197262, -2.187496), interval(0.449219, 0.458984)],
[interval(-2.197262, -2.187496), interval(0.458984, 0.468749)], [interval(-
1.884767, -1.875002), interval(-1.220707, -1.210941)], [interval(-1.914064,
-1.904298), interval(-1.181644, -1.171878)], [interval(-1.904298, -1.894533),
interval(-1.191410, -1.181644)], [interval(-1.904298, -1.894533), interval(-
1.181644, -1.171878)], [interval(-1.894533, -1.884767), interval(-1.210941,
-1.201175)], [interval(-1.894533, -1.884767), interval(-1.201175, -1.191410)],
[interval(-1.884767, -1.875002), interval(-1.210941, -1.201175)], [interval(-
1.894533, -1.884767), interval(-1.191410, -1.181644)], [interval(-1.923829,
-1.914064), interval(-1.162113, -1.152347)], [interval(-1.933595, -1.923829),
interval(-1.142581, -1.132816)], [interval(-1.923829, -1.914064), interval(-
1.152347, -1.142581)], [interval(-1.923829, -1.914064), interval(-1.142581,
-1.132816)], [interval(-1.943360, -1.933595), interval(-1.123050, -1.113284)],
[interval(-1.953126, -1.943360), interval(-1.113284, -1.103519)], [interval(-
1.953126, -1.943360), interval(-1.103519, -1.093753)], [interval(-1.943360,
-1.933595), interval(-1.113284, -1.103519)], [interval(-1.933595, -1.923829),
interval(-1.132816, -1.123050)], [interval(-1.933595, -1.923829), interval(-
1.123050, -1.113284)], [interval(-1.914064, -1.904298), interval(-1.171878,
-1.162113)], [interval(-1.914064, -1.904298), interval(-1.162113, -1.152347)],
[interval(-1.962891, -1.953126), interval(-1.093753, -1.083987)], [interval(-
1.962891, -1.953126), interval(-1.083987, -1.074222)], [interval(-1.972657,
-1.962891), interval(-1.074222, -1.064456)], [interval(-1.972657, -1.962891),
interval(-1.064456, -1.054690)], [interval(-1.962891, -1.953126), interval(-
1.074222, -1.064456)], [interval(-1.982422, -1.972657), interval(-1.054690,
-1.044925)], [interval(-1.982422, -1.972657), interval(-1.044925, -1.035159)],
[interval(-1.992187, -1.982422), interval(-1.035159, -1.025393)], [interval(-
1.992187, -1.982422), interval(-1.025393, -1.015628)], [interval(-1.982422,
-1.972657), interval(-1.035159, -1.025393)], [interval(-1.972657, -1.962891),
interval(-1.054690, -1.044925)], [interval(-2.001953, -1.992187), interval(-
1.015628, -1.005862)], [interval(-2.001953, -1.992187), interval(-1.005862,
-0.996096)], [interval(-2.011718, -2.001953), interval(-0.996096, -0.986331)],
[interval(-2.011718, -2.001953), interval(-0.986331, -0.976565)], [interval(-
2.001953, -1.992187), interval(-0.996096, -0.986331)], [interval(-2.021484,
-2.011718), interval(-0.976565, -0.966799)], [interval(-2.021484, -2.011718),
interval(-0.966799, -0.957034)], [interval(-2.031249, -2.021484), interval(-
0.957034, -0.947268)], [interval(-2.031249, -2.021484), interval(-0.947268,
-0.937502)], [interval(-2.021484, -2.011718), interval(-0.957034, -0.947268)],
[interval(-2.011718, -2.001953), interval(-0.976565, -0.966799)], [interval(-
1.992187, -1.982422), interval(-1.015628, -1.005862)], [interval(-1.953126,
-1.943360), interval(-1.093753, -1.083987)], [interval(-2.041015, -2.031249),
interval(-0.937502, -0.927737)], [interval(-2.041015, -2.031249), interval(-
0.927737, -0.917971)], [interval(-2.050780, -2.041015), interval(-0.917971,
-0.908205)], [interval(-2.050780, -2.041015), interval(-0.908205,
-0.898440)], [interval(-2.041015, -2.031249), interval(-0.917971, -0.908205)],
[interval(-2.060546, -2.050780), interval(-0.898440, -0.888674)], [interval(-
2.060546, -2.050780), interval(-0.888674, -0.878908)], [interval(-2.070311,
-2.060546), interval(-0.869143, -0.859377)], [interval(-2.060546, -2.050780),
interval(-0.878908, -0.869143)], [interval(-2.060546, -2.050780), interval(-
0.869143, -0.859377)], [interval(-2.050780, -2.041015), interval(-0.898440,
-0.888674)], [interval(-2.080076, -2.070311), interval(-0.849612, -0.839846)],
[interval(-2.089842, -2.080076), interval(-0.830080, -0.820315)], [interval(-
2.080076, -2.070311), interval(-0.839846, -0.830080)], [interval(-2.080076,
-2.070311), interval(-0.830080, -0.820315)], [interval(-2.099607, -2.089842),
interval(-0.800783, -0.791018)], [interval(-2.099607, -2.089842), interval(-
0.791018, -0.781252)], [interval(-2.089842, -2.080076), interval(-0.820315,
-0.810549)], [interval(-2.089842, -2.080076), interval(-0.810549, -0.800783)],
[interval(-2.089842, -2.080076), interval(-0.800783, -0.791018)], [interval(-
2.070311, -2.060546), interval(-0.859377, -0.849612)], [interval(-2.070311,
-2.060546), interval(-0.849612, -0.839846)], [interval(-2.119138, -2.109373),
interval(-0.742189, -0.732424)], [interval(-2.119138, -2.109373), interval(-
0.732424, -0.722658)], [interval(-2.128904, -2.119138), interval(-0.722658,
-0.712892)], [interval(-2.128904, -2.119138), interval(-0.712892, -0.703127)],
[interval(-2.119138, -2.109373), interval(-0.722658, -0.712892)], [interval(-
2.138669, -2.128904), interval(-0.693361, -0.683595)], [interval(-2.138669,
-2.128904), interval(-0.683595, -0.673830)], [interval(-2.138669, -2.128904),
interval(-0.673830, -0.664064)], [interval(-2.128904, -2.119138), interval(-
0.703127, -0.693361)], [interval(-2.128904, -2.119138), interval(-0.693361,
-0.683595)], [interval(-2.148435, -2.138669), interval(-0.654298, -0.644533)],
[interval(-2.138669, -2.128904), interval(-0.664064, -0.654298)], [interval(-
2.138669, -2.128904), interval(-0.654298, -0.644533)], [interval(-2.148435,
-2.138669), interval(-0.644533, -0.634767)], [interval(-2.148435, -2.138669),
interval(-0.634767, -0.625001)], [interval(-2.109373, -2.099607), interval(-
0.771486, -0.761721)], [interval(-2.099607, -2.089842), interval(-0.781252,
-0.771486)], [interval(-2.099607, -2.089842), interval(-0.771486, -0.761721)],
[interval(-2.109373, -2.099607), interval(-0.761721, -0.751955)], [interval(-
2.109373, -2.099607), interval(-0.751955, -0.742189)], [interval(-2.109373,
-2.099607), interval(-0.742189, -0.732424)], [interval(-2.031249, -2.021484),
interval(-0.937502, -0.927737)], [interval(-2.158200, -2.148435), interval(-
0.625001, -0.615236)], [interval(-2.158200, -2.148435), interval(-0.615236,
-0.605470)], [interval(-2.158200, -2.148435), interval(-0.605470, -0.595704)],
[interval(-2.158200, -2.148435), interval(-0.595704, -0.585938)], [interval(-
2.177731, -2.167966), interval(-0.556641, -0.546875)], [interval(-2.167966,
-2.158200), interval(-0.585938, -0.576172)], [interval(-2.167966, -2.158200),
interval(-0.576172, -0.566406)], [interval(-2.158200, -2.148435), interval(-
0.585938, -0.576172)], [interval(-2.167966, -2.158200), interval(-0.566406,
-0.556641)], [interval(-2.167966, -2.158200), interval(-0.556641, -0.546875)],
[interval(-2.148435, -2.138669), interval(-0.625001, -0.615236)], [interval(-
2.177731, -2.167966), interval(-0.546875, -0.537109)], [interval(-2.177731,
-2.167966), interval(-0.537109, -0.527343)], [interval(-2.177731, -2.167966),
interval(-0.527343, -0.517577)], [interval(-2.177731, -2.167966), interval(-
0.517577, -0.507812)], [interval(-2.187496, -2.177731), interval(-0.507812,
-0.498046)], [interval(-2.187496, -2.177731), interval(-0.498046, -0.488280)],
[interval(-2.177731, -2.167966), interval(-0.507812, -0.498046)], [interval(-
2.187496, -2.177731), interval(-0.488280, -0.478514)], [interval(-2.187496,
-2.177731), interval(-0.478514, -0.468748)], [interval(-2.187496, -2.177731),
interval(-0.468748, -0.458982)], [interval(-2.187496, -2.177731),
interval(0.458984, 0.468749)], [interval(-2.187496, -2.177731), interval(0.468749,
0.478514)], [interval(-2.187496, -2.177731), interval(0.478514, 0.488280)],
[interval(-2.187496, -2.177731), interval(0.488280, 0.498045)], [interval(-
2.187496, -2.177731), interval(0.498045, 0.507810)], [interval(-2.177731,
-2.167966), interval(0.498045, 0.507810)], [interval(-2.177731, -2.167966),
interval(0.507810, 0.517575)], [interval(-2.177731, -2.167966), interval(0.517575,
0.527340)], [interval(-2.177731, -2.167966), interval(0.527340, 0.537105)],
[interval(-2.177731, -2.167966), interval(0.537105, 0.546870)], [interval(-
2.177731, -2.167966), interval(0.546870, 0.556636)], [interval(-2.167966,
-2.158200), interval(0.546870, 0.556636)], [interval(-2.167966, -2.158200),
interval(0.556636, 0.566401)], [interval(-2.167966, -2.158200), interval(0.566401,
0.576166)], [interval(-2.167966, -2.158200), interval(0.576166, 0.585931)],
[interval(-2.158200, -2.148435), interval(0.576166, 0.585931)], [interval(-
2.158200, -2.148435), interval(0.585931, 0.595696)], [interval(-2.158200,
-2.148435), interval(0.595696, 0.605461)], [interval(-2.158200, -2.148435),
interval(0.605461, 0.615226)], [interval(-2.158200, -2.148435), interval(0.615226,
0.624992)], [interval(-2.148435, -2.138669), interval(0.615226, 0.624992)],
[interval(-2.148435, -2.138669), interval(0.624992, 0.634757)], [interval(-
2.148435, -2.138669), interval(0.634757, 0.644523)], [interval(-2.148435,
-2.138669), interval(0.644523, 0.654288)], [interval(-2.138669, -2.128904),
interval(0.644523, 0.654288)], [interval(-2.138669, -2.128904), interval(0.654288,
0.664054)], [interval(-2.138669, -2.128904), interval(0.664054, 0.673820)],
[interval(-2.138669, -2.128904), interval(0.673820, 0.683585)], [interval(-
2.138669, -2.128904), interval(0.683585, 0.693351)], [interval(-2.128904,
-2.119138), interval(0.683585, 0.693351)], [interval(-2.128904, -2.119138),
interval(0.693351, 0.703116)], [interval(-2.128904, -2.119138), interval(0.703116,
0.712882)], [interval(-2.128904, -2.119138), interval(0.712882, 0.722648)],
[interval(-2.119138, -2.109373), interval(0.712882, 0.722648)], [interval(-
2.119138, -2.109373), interval(0.722648, 0.732413)], [interval(-2.119138,
-2.109373), interval(0.732413, 0.742179)], [interval(-2.109373, -2.099607),
interval(0.732413, 0.742179)], [interval(-2.109373, -2.099607), interval(0.742179,
0.751944)], [interval(-2.109373, -2.099607), interval(0.751944, 0.761710)],
[interval(-2.109373, -2.099607), interval(0.761710, 0.771476)], [interval(-
2.099607, -2.089842), interval(0.761710, 0.771476)], [interval(-2.099607,
-2.089842), interval(0.771476, 0.781241)], [interval(-2.099607, -2.089842),
interval(0.781241, 0.791007)], [interval(-2.099607, -2.089842), interval(0.791007,
0.800772)], [interval(-2.089842, -2.080076), interval(0.791007, 0.800772)],
[interval(-2.089842, -2.080076), interval(0.800772, 0.810538)], [interval(-
2.089842, -2.080076), interval(0.810538, 0.820304)], [interval(-2.089842,
-2.080076), interval(0.820304, 0.830069)], [interval(-2.080076, -2.070311),
interval(0.820304, 0.830069)], [interval(-2.080076, -2.070311), interval(0.830069,
0.839835)], [interval(-2.080076, -2.070311), interval(0.839835, 0.849600)],
[interval(-2.070311, -2.060546), interval(0.839835, 0.849600)], [interval(-
2.070311, -2.060546), interval(0.849600, 0.859366)], [interval(-2.070311,
-2.060546), interval(0.859366, 0.869132)], [interval(-2.060546, -2.050780),
interval(0.859366, 0.869132)], [interval(-2.060546, -2.050780), interval(0.869132,
0.878897)], [interval(-2.060546, -2.050780), interval(0.878897, 0.888663)],
[interval(-2.060546, -2.050780), interval(0.888663, 0.898428)], [interval(-
2.050780, -2.041015), interval(0.888663, 0.898428)], [interval(-2.050780,
-2.041015), interval(0.898428, 0.908194)], [interval(-2.050780, -2.041015),
interval(0.908194, 0.917960)], [interval(-2.041015, -2.031249), interval(0.908194,
0.917960)], [interval(-2.041015, -2.031249), interval(0.917960, 0.927725)],
[interval(-2.041015, -2.031249), interval(0.927725, 0.937491)], [interval(-
2.031249, -2.021484), interval(0.927725, 0.937491)], [interval(-2.031249,
-2.021484), interval(0.937491, 0.947257)], [interval(-2.031249, -2.021484),
interval(0.947257, 0.957023)], [interval(-2.021484, -2.011718), interval(0.947257,
0.957023)], [interval(-2.021484, -2.011718), interval(0.957023, 0.966789)],
[interval(-2.021484, -2.011718), interval(0.966789, 0.976555)], [interval(-
2.011718, -2.001953), interval(0.966789, 0.976555)], [interval(-2.011718,
-2.001953), interval(0.976555, 0.986322)], [interval(-2.011718, -2.001953),
interval(0.986322, 0.996088)], [interval(-2.001953, -1.992187), interval(0.986322,
0.996088)], [interval(-2.001953, -1.992187), interval(0.996088, 1.005854)],
[interval(-2.001953, -1.992187), interval(1.005854, 1.015620)], [interval(-
1.992187, -1.982422), interval(1.005854, 1.015620)], [interval(-1.992187,
-1.982422), interval(1.015620, 1.025386)], [interval(-1.992187, -1.982422),
interval(1.025386, 1.035152)], [interval(-1.982422, -1.972657), interval(1.025386,
1.035152)], [interval(-1.982422, -1.972657), interval(1.035152, 1.044919)],
[interval(-1.982422, -1.972657), interval(1.044919, 1.054685)], [interval(-
1.972657, -1.962891), interval(1.044919, 1.054685)], [interval(-1.972657,
-1.962891), interval(1.054685, 1.064451)], [interval(-1.972657, -1.962891),
interval(1.064451, 1.074217)], [interval(-1.962891, -1.953126), interval(1.064451,
1.074217)], [interval(-1.962891, -1.953126), interval(1.074217, 1.083983)],
[interval(-1.962891, -1.953126), interval(1.083983, 1.093749)], [interval(-
1.953126, -1.943360), interval(1.083983, 1.093749)], [interval(-1.953126,
-1.943360), interval(1.093749, 1.103516)], [interval(-1.953126, -1.943360),
interval(1.103516, 1.113282)], [interval(-1.943360, -1.933595), interval(1.103516,
1.113282)], [interval(-1.943360, -1.933595), interval(1.113282, 1.123048)],
[interval(-1.933595, -1.923829), interval(1.113282, 1.123048)], [interval(-
1.933595, -1.923829), interval(1.123048, 1.132814)], [interval(-1.933595,
-1.923829), interval(1.132814, 1.142580)], [interval(-1.923829, -1.914064),
interval(1.132814, 1.142580)], [interval(-1.923829, -1.914064), interval(1.142580,
1.152346)], [interval(-1.923829, -1.914064), interval(1.152346, 1.162113)],
[interval(-1.914064, -1.904298), interval(1.152346, 1.162113)], [interval(-
1.914064, -1.904298), interval(1.162113, 1.171879)], [interval(-1.914064,
-1.904298), interval(1.171879, 1.181645)], [interval(-1.904298, -1.894533),
interval(1.171879, 1.181645)], [interval(-1.904298, -1.894533), interval(1.181645,
1.191411)], [interval(-1.894533, -1.884767), interval(1.181645, 1.191411)],
[interval(-1.894533, -1.884767), interval(1.191411, 1.201177)], [interval(-
1.894533, -1.884767), interval(1.201177, 1.210943)], [interval(-1.884767,
-1.875002), interval(1.201177, 1.210943)], [interval(-1.884767, -1.875002),
interval(1.210943, 1.220710)], [interval(-1.601555, -1.591789), interval(-1.572267,
-1.562502)], [interval(-1.591789, -1.582023), interval(-1.582033, -1.572267)],
[interval(-1.591789, -1.582023), interval(-1.572267, -1.562502)], [interval(-
1.582023, -1.572257), interval(-1.591798, -1.582033)], [interval(-1.572257,
-1.562491), interval(-1.601563, -1.591798)], [interval(-1.572257, -1.562491),
interval(-1.591798, -1.582033)], [interval(-1.582023, -1.572257), interval(-
1.582033, -1.572267)], [interval(-1.748045, -1.738279), interval(-1.416019,
-1.406253)], [interval(-1.728513, -1.718747), interval(-1.435550, -1.425784)],
[interval(-1.738279, -1.728513), interval(-1.425784, -1.416019)], [interval(-
1.738279, -1.728513), interval(-1.416019, -1.406253)], [interval(-1.728513,
-1.718747), interval(-1.425784, -1.416019)], [interval(-1.806640, -1.796874),
interval(-1.337894, -1.328128)], [interval(-1.845704, -1.835938), interval(-
1.279301, -1.269535)], [interval(-1.855470, -1.845704), interval(-1.269535,
-1.259769)], [interval(-1.855470, -1.845704), interval(-1.259769, -1.250004)],
[interval(-1.845704, -1.835938), interval(-1.269535, -1.259769)], [interval(-
1.835938, -1.826172), interval(-1.298832, -1.289066)], [interval(-1.826172,
-1.816406), interval(-1.308597, -1.298832)], [interval(-1.826172, -1.816406),
interval(-1.298832, -1.289066)], [interval(-1.816406, -1.806640), interval(-
1.318363, -1.308597)], [interval(-1.806640, -1.796874), interval(-1.328128,
-1.318363)], [interval(-1.806640, -1.796874), interval(-1.318363, -1.308597)],
[interval(-1.816406, -1.806640), interval(-1.308597, -1.298832)], [interval(-
1.835938, -1.826172), interval(-1.289066, -1.279301)], [interval(-1.835938,
-1.826172), interval(-1.279301, -1.269535)], [interval(-1.777342, -1.767576),
interval(-1.376956, -1.367191)], [interval(-1.767576, -1.757810), interval(-
1.386722, -1.376956)], [interval(-1.767576, -1.757810), interval(-1.376956,
-1.367191)], [interval(-1.787108, -1.777342), interval(-1.357425, -1.347660)],
[interval(-1.796874, -1.787108), interval(-1.347660, -1.337894)], [interval(-
1.796874, -1.787108), interval(-1.337894, -1.328128)], [interval(-1.787108,
-1.777342), interval(-1.347660, -1.337894)], [interval(-1.777342, -1.767576),
interval(-1.367191, -1.357425)], [interval(-1.777342, -1.767576), interval(-
1.357425, -1.347660)], [interval(-1.757810, -1.748045), interval(-1.396487,
-1.386722)], [interval(-1.748045, -1.738279), interval(-1.406253, -1.396487)],
[interval(-1.748045, -1.738279), interval(-1.396487, -1.386722)], [interval(-
1.757810, -1.748045), interval(-1.386722, -1.376956)], [interval(-1.679683,
-1.669917), interval(-1.494143, -1.484378)], [interval(-1.669917, -1.660151),
interval(-1.503909, -1.494143)], [interval(-1.669917, -1.660151), interval(-
1.494143, -1.484378)], [interval(-1.660151, -1.650385), interval(-1.513674,
-1.503909)], [interval(-1.650385, -1.640619), interval(-1.523440, -1.513674)],
[interval(-1.650385, -1.640619), interval(-1.513674, -1.503909)], [interval(-
1.660151, -1.650385), interval(-1.503909, -1.494143)], [interval(-1.708981,
-1.699215), interval(-1.455081, -1.445315)], [interval(-1.689449, -1.679683),
interval(-1.484378, -1.474612)], [interval(-1.689449, -1.679683), interval(-
1.474612, -1.464846)], [interval(-1.699215, -1.689449), interval(-1.464846,
-1.455081)], [interval(-1.699215, -1.689449), interval(-1.455081, -1.445315)],
[interval(-1.689449, -1.679683), interval(-1.464846, -1.455081)], [interval(-
1.718747, -1.708981), interval(-1.445315, -1.435550)], [interval(-1.718747,
-1.708981), interval(-1.435550, -1.425784)], [interval(-1.708981, -1.699215),
interval(-1.445315, -1.435550)], [interval(-1.679683, -1.669917), interval(-
1.484378, -1.474612)], [interval(-1.640619, -1.630853), interval(-1.533205,
-1.523440)], [interval(-1.630853, -1.621087), interval(-1.542971, -1.533205)],
[interval(-1.630853, -1.621087), interval(-1.533205, -1.523440)], [interval(-
1.621087, -1.611321), interval(-1.552737, -1.542971)], [interval(-1.611321,
-1.601555), interval(-1.562502, -1.552737)], [interval(-1.611321, -1.601555),
interval(-1.552737, -1.542971)], [interval(-1.621087, -1.611321), interval(-
1.542971, -1.533205)], [interval(-1.640619, -1.630853), interval(-1.523440,
-1.513674)], [interval(-1.601555, -1.591789), interval(-1.562502, -1.552737)],
[interval(-1.875002, -1.865236), interval(-1.240238, -1.230472)], [interval(-
1.865236, -1.855470), interval(-1.250004, -1.240238)], [interval(-1.865236,
-1.855470), interval(-1.240238, -1.230472)], [interval(-1.875002, -1.865236),
interval(-1.230472, -1.220707)], [interval(-1.875002, -1.865236), interval(-
1.220707, -1.210941)], [interval(-1.855470, -1.845704), interval(-1.250004,
-1.240238)], [interval(-1.875002, -1.865236), interval(1.210943, 1.220710)],
[interval(-1.875002, -1.865236), interval(1.220710, 1.230476)], [interval(-
1.875002, -1.865236), interval(1.230476, 1.240242)], [interval(-1.865236,
-1.855470), interval(1.230476, 1.240242)], [interval(-1.865236, -1.855470),
interval(1.240242, 1.250008)], [interval(-1.855470, -1.845704), interval(1.240242,
1.250008)], [interval(-1.855470, -1.845704), interval(1.250008, 1.259773)],
[interval(-1.855470, -1.845704), interval(1.259773, 1.269539)], [interval(-
1.845704, -1.835938), interval(1.259773, 1.269539)], [interval(-1.845704,
-1.835938), interval(1.269539, 1.279304)], [interval(-1.835938, -1.826172),
interval(1.269539, 1.279304)], [interval(-1.835938, -1.826172), interval(1.279304,
1.289069)], [interval(-1.835938, -1.826172), interval(1.289069, 1.298835)],
[interval(-1.826172, -1.816406), interval(1.289069, 1.298835)], [interval(-
1.826172, -1.816406), interval(1.298835, 1.308600)], [interval(-1.816406,
-1.806640), interval(1.298835, 1.308600)], [interval(-1.816406, -1.806640),
interval(1.308600, 1.318365)], [interval(-1.806640, -1.796874), interval(1.308600,
1.318365)], [interval(-1.806640, -1.796874), interval(1.318365, 1.328131)],
[interval(-1.806640, -1.796874), interval(1.328131, 1.337896)], [interval(-
1.796874, -1.787108), interval(1.328131, 1.337896)], [interval(-1.796874,
-1.787108), interval(1.337896, 1.347661)], [interval(-1.787108, -1.777342),
interval(1.337896, 1.347661)], [interval(-1.787108, -1.777342), interval(1.347661,
1.357427)], [interval(-1.777342, -1.767576), interval(1.347661, 1.357427)],
[interval(-1.777342, -1.767576), interval(1.357427, 1.367192)], [interval(-
1.777342, -1.767576), interval(1.367192, 1.376957)], [interval(-1.767576,
-1.757810), interval(1.367192, 1.376957)], [interval(-1.767576, -1.757810),
interval(1.376957, 1.386723)], [interval(-1.757810, -1.748045), interval(1.376957,
1.386723)], [interval(-1.757810, -1.748045), interval(1.386723, 1.396488)],
[interval(-1.748045, -1.738279), interval(1.386723, 1.396488)], [interval(-
1.748045, -1.738279), interval(1.396488, 1.406253)], [interval(-1.748045,
-1.738279), interval(1.406253, 1.416019)], [interval(-1.738279, -1.728513),
interval(1.406253, 1.416019)], [interval(-1.738279, -1.728513), interval(1.416019,
1.425784)], [interval(-1.728513, -1.718747), interval(1.416019, 1.425784)],
[interval(-1.728513, -1.718747), interval(1.425784, 1.435549)], [interval(-
1.718747, -1.708981), interval(1.425784, 1.435549)], [interval(-1.718747,
-1.708981), interval(1.435549, 1.445315)], [interval(-1.708981, -1.699215),
interval(1.435549, 1.445315)], [interval(-1.708981, -1.699215), interval(1.445315,
1.455080)], [interval(-1.699215, -1.689449), interval(1.445315, 1.455080)],
[interval(-1.699215, -1.689449), interval(1.455080, 1.464845)], [interval(-
1.689449, -1.679683), interval(1.455080, 1.464845)], [interval(-1.689449,
-1.679683), interval(1.464845, 1.474611)], [interval(-1.689449, -1.679683),
interval(1.474611, 1.484376)], [interval(-1.679683, -1.669917), interval(1.474611,
1.484376)], [interval(-1.679683, -1.669917), interval(1.484376, 1.494141)],
[interval(-1.669917, -1.660151), interval(1.484376, 1.494141)], [interval(-
1.669917, -1.660151), interval(1.494141, 1.503907)], [interval(-1.660151,
-1.650385), interval(1.494141, 1.503907)], [interval(-1.660151, -1.650385),
interval(1.503907, 1.513672)], [interval(-1.650385, -1.640619), interval(1.503907,
1.513672)], [interval(-1.650385, -1.640619), interval(1.513672, 1.523437)],
[interval(-1.640619, -1.630853), interval(1.513672, 1.523437)], [interval(-
1.640619, -1.630853), interval(1.523437, 1.533203)], [interval(-1.630853,
-1.621087), interval(1.523437, 1.533203)], [interval(-1.630853, -1.621087),
interval(1.533203, 1.542968)], [interval(-1.621087, -1.611321), interval(1.533203,
1.542968)], [interval(-1.621087, -1.611321), interval(1.542968, 1.552733)],
[interval(-1.611321, -1.601555), interval(1.542968, 1.552733)], [interval(-
1.611321, -1.601555), interval(1.552733, 1.562499)], [interval(-1.601555,
-1.591789), interval(1.552733, 1.562499)], [interval(-1.601555,
-1.591789), interval(1.562499, 1.572265)], [interval(-1.591789, -1.582023),
interval(1.562499, 1.572265)], [interval(-1.591789, -1.582023), interval(1.572265,
1.582030)], [interval(-1.582023, -1.572257), interval(1.572265, 1.582030)],
[interval(-1.582023, -1.572257), interval(1.582030, 1.591796)], [interval(-
1.572257, -1.562491), interval(1.582030, 1.591796)], [interval(-1.572257,
-1.562491), interval(1.591796, 1.601562)], [interval(-1.435540, -1.425775),
interval(-1.728512, -1.718747)], [interval(-1.416009, -1.406244), interval(-
1.748042, -1.738277)], [interval(-1.425775, -1.416009), interval(-1.738277,
-1.728512)], [interval(-1.425775, -1.416009), interval(-1.728512, -1.718747)],
[interval(-1.416009, -1.406244), interval(-1.738277, -1.728512)], [interval(-
1.523429, -1.513664), interval(-1.650390, -1.640624)], [interval(-1.513664,
-1.503898), interval(-1.660155, -1.650390)], [interval(-1.513664, -1.503898),
interval(-1.650390, -1.640624)], [interval(-1.503898, -1.494133), interval(-
1.669920, -1.660155)], [interval(-1.494133, -1.484368), interval(-1.679685,
-1.669920)], [interval(-1.494133, -1.484368), interval(-1.669920, -1.660155)],
[interval(-1.503898, -1.494133), interval(-1.660155, -1.650390)], [interval(-
1.562491, -1.552726), interval(-1.611329, -1.601563)], [interval(-1.552726,
-1.542960), interval(-1.621094, -1.611329)], [interval(-1.552726, -1.542960),
interval(-1.611329, -1.601563)], [interval(-1.542960, -1.533195), interval(-
1.630859, -1.621094)], [interval(-1.533195, -1.523429), interval(-1.640624,
-1.630859)], [interval(-1.533195, -1.523429), interval(-1.630859, -1.621094)],
[interval(-1.542960, -1.533195), interval(-1.621094, -1.611329)], [interval(-
1.562491, -1.552726), interval(-1.601563, -1.591798)], [interval(-1.523429,
-1.513664), interval(-1.640624, -1.630859)], [interval(-1.484368, -1.474602),
interval(-1.689451, -1.679685)], [interval(-1.474602, -1.464837), interval(-
1.699216, -1.689451)], [interval(-1.474602, -1.464837), interval(-1.689451,
-1.679685)], [interval(-1.455071, -1.445306), interval(-1.708981, -1.699216)],
[interval(-1.464837, -1.455071), interval(-1.699216, -1.689451)], [interval(-
1.455071, -1.445306), interval(-1.699216, -1.689451)], [interval(-1.484368,
-1.474602), interval(-1.679685, -1.669920)], [interval(-1.445306, -1.435540),
interval(-1.718747, -1.708981)], [interval(-1.445306, -1.435540), interval(-
1.708981, -1.699216)], [interval(-1.435540, -1.425775), interval(-1.718747,
-1.708981)], [interval(-1.337886, -1.328120), interval(-1.806634, -1.796869)],
[interval(-1.386713, -1.376947), interval(-1.767573, -1.757808)], [interval(-
1.376947, -1.367182), interval(-1.777338, -1.767573)], [interval(-1.376947,
-1.367182), interval(-1.767573, -1.757808)], [interval(-1.406244, -1.396478),
interval(-1.748042, -1.738277)], [interval(-1.396478, -1.386713), interval(-
1.757808, -1.748042)], [interval(-1.396478, -1.386713), interval(-1.748042,
-1.738277)], [interval(-1.386713, -1.376947), interval(-1.757808, -1.748042)],
[interval(-1.357416, -1.347651), interval(-1.787104, -1.777338)], [interval(-
1.367182, -1.357416), interval(-1.777338, -1.767573)], [interval(-1.357416,
-1.347651), interval(-1.777338, -1.767573)], [interval(-1.347651, -1.337886),
interval(-1.796869, -1.787104)], [interval(-1.347651, -1.337886), interval(-
1.787104, -1.777338)], [interval(-1.337886, -1.328120), interval(-1.796869,
-1.787104)], [interval(-1.328120, -1.318355), interval(-1.806634, -1.796869)],
[interval(-1.318355, -1.308589), interval(-1.816399, -1.806634)], [interval(-
1.318355, -1.308589), interval(-1.806634, -1.796869)], [interval(-1.308589,
-1.298824), interval(-1.826165, -1.816399)], [interval(-1.298824, -1.289058),
interval(-1.835930, -1.826165)], [interval(-1.298824, -1.289058), interval(-
1.826165, -1.816399)], [interval(-1.308589, -1.298824), interval(-1.816399,
-1.806634)], [interval(-1.279293, -1.269527), interval(-1.845695, -1.835930)],
[interval(-1.269527, -1.259762), interval(-1.855460, -1.845695)], [interval(-
1.269527, -1.259762), interval(-1.845695, -1.835930)], [interval(-1.259762,
-1.249996), interval(-1.855460, -1.845695)], [interval(-1.289058, -1.279293),
interval(-1.835930, -1.826165)], [interval(-1.279293, -1.269527), interval(-
1.835930, -1.826165)], [interval(-1.562491, -1.552726), interval(1.591796,
1.601562)], [interval(-1.562491, -1.552726), interval(1.601562, 1.611328)],
[interval(-1.552726, -1.542960), interval(1.601562, 1.611328)], [interval(-
1.552726, -1.542960), interval(1.611328, 1.621093)], [interval(-1.542960,
-1.533195), interval(1.611328, 1.621093)], [interval(-1.542960, -1.533195),
interval(1.621093, 1.630859)], [interval(-1.533195, -1.523429), interval(1.621093,
1.630859)], [interval(-1.533195, -1.523429), interval(1.630859, 1.640625)],
[interval(-1.523429, -1.513664), interval(1.630859, 1.640625)], [interval(-
1.523429, -1.513664), interval(1.640625, 1.650391)], [interval(-1.513664,
-1.503898), interval(1.640625, 1.650391)], [interval(-1.513664, -1.503898),
interval(1.650391, 1.660157)], [interval(-1.503898, -1.494133), interval(1.650391,
1.660157)], [interval(-1.503898, -1.494133), interval(1.660157, 1.669922)],
[interval(-1.494133, -1.484368), interval(1.660157, 1.669922)], [interval(-
1.494133, -1.484368), interval(1.669922, 1.679688)], [interval(-1.484368,
-1.474602), interval(1.669922, 1.679688)], [interval(-1.484368, -1.474602),
interval(1.679688, 1.689454)], [interval(-1.474602, -1.464837), interval(1.679688,
1.689454)], [interval(-1.464837, -1.455071), interval(1.679688, 1.689454)],
[interval(-1.464837, -1.455071), interval(1.689454, 1.699220)], [interval(-
1.455071, -1.445306), interval(1.689454, 1.699220)], [interval(-1.455071,
-1.445306), interval(1.699220, 1.708986)], [interval(-1.445306, -1.435540),
interval(1.699220, 1.708986)], [interval(-1.445306, -1.435540), interval(1.708986,
1.718751)], [interval(-1.435540, -1.425775), interval(1.708986, 1.718751)],
[interval(-1.435540, -1.425775), interval(1.718751, 1.728517)], [interval(-
1.425775, -1.416009), interval(1.718751, 1.728517)], [interval(-1.425775,
-1.416009), interval(1.728517, 1.738283)], [interval(-1.416009, -1.406244),
interval(1.728517, 1.738283)], [interval(-1.416009, -1.406244), interval(1.738283,
1.748049)], [interval(-1.406244, -1.396478), interval(1.738283, 1.748049)],
[interval(-1.396478, -1.386713), interval(1.738283, 1.748049)], [interval(-
1.396478, -1.386713), interval(1.748049, 1.757815)], [interval(-1.386713,
-1.376947), interval(1.748049, 1.757815)], [interval(-1.386713, -1.376947),
interval(1.757815, 1.767580)], [interval(-1.376947, -1.367182), interval(1.757815,
1.767580)], [interval(-1.376947, -1.367182), interval(1.767580, 1.777346)],
[interval(-1.367182, -1.357416), interval(1.767580, 1.777346)], [interval(-
1.357416, -1.347651), interval(1.767580, 1.777346)], [interval(-1.357416,
-1.347651), interval(1.777346, 1.787112)], [interval(-1.347651, -1.337886),
interval(1.777346, 1.787112)], [interval(-1.347651, -1.337886), interval(1.787112,
1.796878)], [interval(-1.337886, -1.328120), interval(1.787112, 1.796878)],
[interval(-1.337886, -1.328120), interval(1.796878, 1.806644)], [interval(-
1.328120, -1.318355), interval(1.796878, 1.806644)], [interval(-1.318355,
-1.308589), interval(1.796878, 1.806644)], [interval(-1.318355, -1.308589),
interval(1.806644, 1.816409)], [interval(-1.308589, -1.298824), interval(1.806644,
1.816409)], [interval(-1.308589, -1.298824), interval(1.816409, 1.826175)],
[interval(-1.298824, -1.289058), interval(1.816409, 1.826175)], [interval(-
1.298824, -1.289058), interval(1.826175, 1.835941)], [interval(-1.289058,
-1.279293), interval(1.826175, 1.835941)], [interval(-1.279293, -1.269527),
interval(1.826175, 1.835941)], [interval(-1.279293, -1.269527), interval(1.835941,
1.845707)], [interval(-1.269527, -1.259762), interval(1.835941, 1.845707)],
[interval(-1.269527, -1.259762), interval(1.845707, 1.855473)], [interval(-
1.259762, -1.249996), interval(1.845707, 1.855473)], [interval(-1.220701,
-1.210935), interval(-1.884757, -1.874991)], [interval(-1.210935, -1.201170),
interval(-1.894523, -1.884757)], [interval(-1.210935, -1.201170), interval(-
1.884757, -1.874991)], [interval(-1.201170, -1.191405), interval(-1.894523,
-1.884757)], [interval(-1.191405, -1.181640), interval(-1.904289, -1.894523)],
[interval(-1.181640, -1.171875), interval(-1.914055, -1.904289)], [interval(-
1.181640, -1.171875), interval(-1.904289, -1.894523)], [interval(-1.191405,
-1.181640), interval(-1.894523, -1.884757)], [interval(-1.162109, -1.152344),
interval(-1.923821, -1.914055)], [interval(-1.152344, -1.142579), interval(-
1.923821, -1.914055)], [interval(-1.142579, -1.132814), interval(-1.933587,
-1.923821)], [interval(-1.142579, -1.132814), interval(-1.923821, -1.914055)],
[interval(-1.171875, -1.162109), interval(-1.914055, -1.904289)], [interval(-
1.162109, -1.152344), interval(-1.914055, -1.904289)], [interval(-1.132814,
-1.123048), interval(-1.943353, -1.933587)], [interval(-1.123048, -1.113283),
interval(-1.943353, -1.933587)], [interval(-1.132814, -1.123048), interval(-
1.933587, -1.923821)], [interval(-1.113283, -1.103518), interval(-1.953119,
-1.943353)], [interval(-1.113283, -1.103518), interval(-1.943353, -1.933587)],
[interval(-1.103518, -1.093753), interval(-1.953119, -1.943353)], [interval(-
1.093753, -1.083987), interval(-1.962885, -1.953119)], [interval(-1.083987,
-1.074222), interval(-1.962885, -1.953119)], [interval(-1.074222, -1.064457),
interval(-1.972651, -1.962885)], [interval(-1.074222, -1.064457), interval(-
1.962885, -1.953119)], [interval(-1.064457, -1.054692), interval(-1.972651,
-1.962885)], [interval(-1.054692, -1.044927), interval(-1.982417, -1.972651)],
[interval(-1.044927, -1.035161), interval(-1.982417, -1.972651)], [interval(-
1.054692, -1.044927), interval(-1.972651, -1.962885)], [interval(-1.035161,
-1.025396), interval(-1.992183, -1.982417)], [interval(-1.035161,
-1.025396), interval(-1.982417, -1.972651)], [interval(-1.025396, -1.015631),
interval(-1.992183, -1.982417)], [interval(-1.093753, -1.083987), interval(-
1.953119, -1.943353)], [interval(-1.015631, -1.005866), interval(-2.001949,
-1.992183)], [interval(-1.005866, -0.996100), interval(-2.001949, -1.992183)],
[interval(-0.996100, -0.986335), interval(-2.011714, -2.001949)], [interval(-
0.996100, -0.986335), interval(-2.001949, -1.992183)], [interval(-0.986335,
-0.976570), interval(-2.011714, -2.001949)], [interval(-1.015631, -1.005866),
interval(-1.992183, -1.982417)], [interval(-0.976570, -0.966805), interval(-
2.021480, -2.011714)], [interval(-0.966805, -0.957039), interval(-2.021480,
-2.011714)], [interval(-0.976570, -0.966805), interval(-2.011714, -2.001949)],
[interval(-0.957039, -0.947274), interval(-2.031246, -2.021480)], [interval(-
0.957039, -0.947274), interval(-2.021480, -2.011714)], [interval(-0.947274,
-0.937509), interval(-2.031246, -2.021480)], [interval(-1.249996, -1.240231),
interval(-1.865226, -1.855460)], [interval(-1.240231, -1.230466), interval(-
1.874991, -1.865226)], [interval(-1.240231, -1.230466), interval(-1.865226,
-1.855460)], [interval(-1.249996, -1.240231), interval(-1.855460, -1.845695)],
[interval(-1.230466, -1.220701), interval(-1.874991, -1.865226)], [interval(-
1.220701, -1.210935), interval(-1.874991, -1.865226)], [interval(-1.249996,
-1.240231), interval(1.845707, 1.855473)], [interval(-1.249996, -1.240231),
interval(1.855473, 1.865238)], [interval(-1.240231, -1.230466), interval(1.855473,
1.865238)], [interval(-1.240231, -1.230466), interval(1.865238, 1.875004)],
[interval(-1.230466, -1.220701), interval(1.865238, 1.875004)], [interval(-
1.220701, -1.210935), interval(1.865238, 1.875004)], [interval(-1.220701,
-1.210935), interval(1.875004, 1.884770)], [interval(-1.210935, -1.201170),
interval(1.875004, 1.884770)], [interval(-1.210935, -1.201170), interval(1.884770,
1.894535)], [interval(-1.201170, -1.191405), interval(1.884770, 1.894535)],
[interval(-1.191405, -1.181640), interval(1.884770, 1.894535)], [interval(-
1.191405, -1.181640), interval(1.894535, 1.904300)], [interval(-1.181640,
-1.171875), interval(1.894535, 1.904300)], [interval(-1.181640, -1.171875),
interval(1.904300, 1.914066)], [interval(-1.171875, -1.162109), interval(1.904300,
1.914066)], [interval(-1.162109, -1.152344), interval(1.904300, 1.914066)],
[interval(-1.162109, -1.152344), interval(1.914066, 1.923831)], [interval(-
1.152344, -1.142579), interval(1.914066, 1.923831)], [interval(-1.142579,
-1.132814), interval(1.914066, 1.923831)], [interval(-1.142579, -1.132814),
interval(1.923831, 1.933597)], [interval(-1.132814, -1.123048), interval(1.923831,
1.933597)], [interval(-1.123048, -1.113283), interval(1.923831, 1.933597)],
[interval(-1.123048, -1.113283), interval(1.933597, 1.943362)], [interval(-
1.113283, -1.103518), interval(1.933597, 1.943362)], [interval(-1.113283,
-1.103518), interval(1.943362, 1.953128)], [interval(-1.103518, -1.093753),
interval(1.943362, 1.953128)], [interval(-1.093753, -1.083987), interval(1.943362,
1.953128)], [interval(-1.093753, -1.083987), interval(1.953128, 1.962893)],
[interval(-1.083987, -1.074222), interval(1.953128, 1.962893)], [interval(-
1.074222, -1.064457), interval(1.953128, 1.962893)], [interval(-1.074222,
-1.064457), interval(1.962893, 1.972659)], [interval(-1.064457, -1.054692),
interval(1.962893, 1.972659)], [interval(-1.054692, -1.044927), interval(1.962893,
1.972659)], [interval(-1.054692, -1.044927), interval(1.972659, 1.982424)],
[interval(-1.044927, -1.035161), interval(1.972659, 1.982424)], [interval(-
1.035161, -1.025396), interval(1.972659, 1.982424)], [interval(-1.035161,
-1.025396), interval(1.982424, 1.992190)], [interval(-1.025396, -1.015631),
interval(1.982424, 1.992190)], [interval(-1.015631, -1.005866), interval(1.982424,
1.992190)], [interval(-1.015631, -1.005866), interval(1.992190, 2.001955)],
[interval(-1.005866, -0.996100), interval(1.992190, 2.001955)], [interval(-
0.996100, -0.986335), interval(1.992190, 2.001955)], [interval(-0.996100,
-0.986335), interval(2.001955, 2.011721)], [interval(-0.986335, -0.976570),
interval(2.001955, 2.011721)], [interval(-0.976570, -0.966805), interval(2.001955,
2.011721)], [interval(-0.976570, -0.966805), interval(2.011721, 2.021486)],
[interval(-0.966805, -0.957039), interval(2.011721, 2.021486)], [interval(-
0.957039, -0.947274), interval(2.011721, 2.021486)], [interval(-0.957039,
-0.947274), interval(2.021486, 2.031252)], [interval(-0.947274, -0.937509),
interval(2.021486, 2.031252)], [interval(-0.937509, -0.927743), interval(-2.041012,
-2.031246)], [interval(-0.927743, -0.917977), interval(-2.041012, -2.031246)],
[interval(-0.917977, -0.908211), interval(-2.050778, -2.041012)], [interval(-
0.917977, -0.908211), interval(-2.041012, -2.031246)], [interval(-0.908211,
-0.898445), interval(-2.050778, -2.041012)], [interval(-0.898445, -0.888678),
interval(-2.060544, -2.050778)], [interval(-0.888678, -0.878912), interval(-
2.060544, -2.050778)], [interval(-0.898445, -0.888678), interval(-2.050778,
-2.041012)], [interval(-0.878912, -0.869146), interval(-2.060544, -2.050778)],
[interval(-0.869146, -0.859380), interval(-2.070310, -2.060544)], [interval(-
0.869146, -0.859380), interval(-2.060544, -2.050778)], [interval(-0.849614,
-0.839848), interval(-2.080076, -2.070310)], [interval(-0.839848, -0.830082),
interval(-2.080076, -2.070310)], [interval(-0.830082, -0.820316), interval(-
2.089842, -2.080076)], [interval(-0.830082, -0.820316), interval(-2.080076,
-2.070310)], [interval(-0.859380, -0.849614), interval(-2.070310, -2.060544)],
[interval(-0.849614, -0.839848), interval(-2.070310, -2.060544)], [interval(-
0.820316, -0.810549), interval(-2.089842, -2.080076)], [interval(-0.810549,
-0.800783), interval(-2.089842, -2.080076)], [interval(-0.800783, -0.791017),
interval(-2.099608, -2.089842)], [interval(-0.791017, -0.781251), interval(-
2.099608, -2.089842)], [interval(-0.800783, -0.791017), interval(-2.089842,
-2.080076)], [interval(-0.937509, -0.927743), interval(-2.031246, -2.021480)],
[interval(-0.742187, -0.732420), interval(-2.119140, -2.109374)], [interval(-
0.732420, -0.722654), interval(-2.119140, -2.109374)], [interval(-0.722654,
-0.712888), interval(-2.128906, -2.119140)], [interval(-0.722654, -0.712888),
interval(-2.119140, -2.109374)], [interval(-0.712888, -0.703122), interval(-
2.128906, -2.119140)], [interval(-0.781251, -0.771485), interval(-2.099608,
-2.089842)], [interval(-0.771485, -0.761719), interval(-2.109374, -2.099608)],
[interval(-0.771485, -0.761719), interval(-2.099608, -2.089842)], [interval(-
0.761719, -0.751953), interval(-2.109374, -2.099608)], [interval(-0.751953,
-0.742187), interval(-2.109374, -2.099608)], [interval(-0.742187, -0.732420),
interval(-2.109374, -2.099608)], [interval(-0.693356, -0.683590), interval(-
2.138672, -2.128906)], [interval(-0.703122, -0.693356), interval(-2.128906,
-2.119140)], [interval(-0.693356, -0.683590), interval(-2.128906, -2.119140)],
[interval(-0.683590, -0.673824), interval(-2.138672, -2.128906)], [interval(-
0.673824, -0.664058), interval(-2.138672, -2.128906)], [interval(-0.664058,
-0.654291), interval(-2.138672, -2.128906)], [interval(-0.654291, -0.644525),
interval(-2.148438, -2.138672)], [interval(-0.654291, -0.644525), interval(-
2.138672, -2.128906)], [interval(-0.644525, -0.634759), interval(-2.148438,
-2.138672)], [interval(-0.634759, -0.624993), interval(-2.148438, -2.138672)],
[interval(-0.937509, -0.927743), interval(2.021486, 2.031252)], [interval(-
0.937509, -0.927743), interval(2.031252, 2.041017)], [interval(-0.927743,
-0.917977), interval(2.031252, 2.041017)], [interval(-0.917977, -0.908211),
interval(2.031252, 2.041017)], [interval(-0.917977, -0.908211), interval(2.041017,
2.050782)], [interval(-0.908211, -0.898445), interval(2.041017, 2.050782)],
[interval(-0.898445, -0.888678), interval(2.041017, 2.050782)], [interval(-
0.898445, -0.888678), interval(2.050782, 2.060548)], [interval(-0.888678,
-0.878912), interval(2.050782, 2.060548)], [interval(-0.878912, -0.869146),
interval(2.050782, 2.060548)], [interval(-0.869146, -0.859380), interval(2.050782,
2.060548)], [interval(-0.869146, -0.859380), interval(2.060548, 2.070313)],
[interval(-0.859380, -0.849614), interval(2.060548, 2.070313)], [interval(-
0.849614, -0.839848), interval(2.060548, 2.070313)], [interval(-0.849614,
-0.839848), interval(2.070313, 2.080079)], [interval(-0.839848, -0.830082),
interval(2.070313, 2.080079)], [interval(-0.830082, -0.820316), interval(2.070313,
2.080079)], [interval(-0.830082, -0.820316), interval(2.080079, 2.089844)],
[interval(-0.820316, -0.810549), interval(2.080079, 2.089844)], [interval(-
0.810549, -0.800783), interval(2.080079, 2.089844)], [interval(-0.800783,
-0.791017), interval(2.080079, 2.089844)], [interval(-0.800783, -0.791017),
interval(2.089844, 2.099610)], [interval(-0.791017, -0.781251), interval(2.089844,
2.099610)], [interval(-0.781251, -0.771485), interval(2.089844, 2.099610)],
[interval(-0.771485, -0.761719), interval(2.089844, 2.099610)], [interval(-
0.771485, -0.761719), interval(2.099610, 2.109375)], [interval(-0.761719,
-0.751953), interval(2.099610, 2.109375)], [interval(-0.751953, -0.742187),
interval(2.099610, 2.109375)], [interval(-0.742187, -0.732420), interval(2.099610,
2.109375)], [interval(-0.742187, -0.732420), interval(2.109375, 2.119141)],
[interval(-0.732420, -0.722654), interval(2.109375, 2.119141)], [interval(-
0.722654, -0.712888), interval(2.109375, 2.119141)], [interval(-0.722654,
-0.712888), interval(2.119141, 2.128906)], [interval(-0.712888, -0.703122),
interval(2.119141, 2.128906)], [interval(-0.703122, -0.693356), interval(2.119141,
2.128906)], [interval(-0.693356, -0.683590), interval(2.119141, 2.128906)],
[interval(-0.693356, -0.683590), interval(2.128906, 2.138672)], [interval(-
0.683590, -0.673824), interval(2.128906, 2.138672)],
[interval(-0.673824, -0.664058), interval(2.128906, 2.138672)], [interval(-
0.664058, -0.654291), interval(2.128906, 2.138672)], [interval(-0.654291,
-0.644525), interval(2.128906, 2.138672)], [interval(-0.654291, -0.644525),
interval(2.138672, 2.148437)], [interval(-0.644525, -0.634759), interval(2.138672,
2.148437)], [interval(-0.634759, -0.624993), interval(2.138672, 2.148437)],
[interval(-0.468750, -0.458985), interval(-2.197267, -2.187502)], [interval(-
0.458985, -0.449219), interval(-2.197267, -2.187502)], [interval(-0.449219,
-0.439454), interval(-2.197267, -2.187502)], [interval(-0.439454, -0.429689),
interval(-2.197267, -2.187502)], [interval(-0.429689, -0.419924), interval(-
2.197267, -2.187502)], [interval(-0.419924, -0.410159), interval(-2.207033,
-2.197267)], [interval(-0.419924, -0.410159), interval(-2.197267, -2.187502)],
[interval(-0.410159, -0.400393), interval(-2.207033, -2.197267)], [interval(-
0.400393, -0.390628), interval(-2.207033, -2.197267)], [interval(-0.390628,
-0.380863), interval(-2.207033, -2.197267)], [interval(-0.380863, -0.371098),
interval(-2.207033, -2.197267)], [interval(-0.361333, -0.351567), interval(-
2.216798, -2.207033)], [interval(-0.371098, -0.361333), interval(-2.207033,
-2.197267)], [interval(-0.361333, -0.351567), interval(-2.207033, -2.197267)],
[interval(-0.351567, -0.341802), interval(-2.216798, -2.207033)], [interval(-
0.341802, -0.332037), interval(-2.216798, -2.207033)], [interval(-0.332037,
-0.322272), interval(-2.216798, -2.207033)], [interval(-0.322272, -0.312507),
interval(-2.216798, -2.207033)], [interval(-0.624993, -0.615228), interval(-
2.158204, -2.148438)], [interval(-0.615228, -0.605463), interval(-2.158204,
-2.148438)], [interval(-0.605463, -0.595697), interval(-2.158204, -2.148438)],
[interval(-0.595697, -0.585932), interval(-2.158204, -2.148438)], [interval(-
0.624993, -0.615228), interval(-2.148438, -2.138672)], [interval(-0.585932,
-0.576167), interval(-2.167970, -2.158204)], [interval(-0.585932, -0.576167),
interval(-2.158204, -2.148438)], [interval(-0.576167, -0.566402), interval(-
2.167970, -2.158204)], [interval(-0.556637, -0.546871), interval(-2.177736,
-2.167970)], [interval(-0.566402, -0.556637), interval(-2.167970, -2.158204)],
[interval(-0.556637, -0.546871), interval(-2.167970, -2.158204)], [interval(-
0.546871, -0.537106), interval(-2.177736, -2.167970)], [interval(-0.537106,
-0.527341), interval(-2.177736, -2.167970)], [interval(-0.527341, -0.517576),
interval(-2.177736, -2.167970)], [interval(-0.517576, -0.507811), interval(-
2.177736, -2.167970)], [interval(-0.507811, -0.498045), interval(-2.187502,
-2.177736)], [interval(-0.507811, -0.498045), interval(-2.177736, -2.167970)],
[interval(-0.498045, -0.488280), interval(-2.187502, -2.177736)], [interval(-
0.488280, -0.478515), interval(-2.187502, -2.177736)], [interval(-0.478515,
-0.468750), interval(-2.187502, -2.177736)], [interval(-0.468750, -0.458985),
interval(-2.187502, -2.177736)], [interval(-0.624993, -0.615228),
interval(2.138672, 2.148437)], [interval(-0.624993, -0.615228), interval(2.148437,
2.158203)], [interval(-0.615228, -0.605463), interval(2.148437, 2.158203)],
[interval(-0.605463, -0.595697), interval(2.148437, 2.158203)], [interval(-
0.595697, -0.585932), interval(2.148437, 2.158203)], [interval(-0.585932,
-0.576167), interval(2.148437, 2.158203)], [interval(-0.585932, -0.576167),
interval(2.158203, 2.167968)], [interval(-0.576167, -0.566402), interval(2.158203,
2.167968)], [interval(-0.566402, -0.556637), interval(2.158203, 2.167968)],
[interval(-0.556637, -0.546871), interval(2.158203, 2.167968)], [interval(-
0.556637, -0.546871), interval(2.167968, 2.177734)], [interval(-0.546871,
-0.537106), interval(2.167968, 2.177734)], [interval(-0.537106, -0.527341),
interval(2.167968, 2.177734)], [interval(-0.527341, -0.517576), interval(2.167968,
2.177734)], [interval(-0.517576, -0.507811), interval(2.167968, 2.177734)],
[interval(-0.507811, -0.498045), interval(2.167968, 2.177734)], [interval(-
0.507811, -0.498045), interval(2.177734, 2.187499)], [interval(-0.498045,
-0.488280), interval(2.177734, 2.187499)], [interval(-0.488280, -0.478515),
interval(2.177734, 2.187499)], [interval(-0.478515, -0.468750), interval(2.177734,
2.187499)], [interval(-0.468750, -0.458985), interval(2.177734, 2.187499)],
[interval(-0.468750, -0.458985), interval(2.187499, 2.197265)], [interval(-
0.458985, -0.449219), interval(2.187499, 2.197265)], [interval(-0.449219,
-0.439454), interval(2.187499, 2.197265)], [interval(-0.439454, -0.429689),
interval(2.187499, 2.197265)], [interval(-0.429689, -0.419924), interval(2.187499,
2.197265)], [interval(-0.419924, -0.410159), interval(2.187499, 2.197265)],
[interval(-0.419924, -0.410159), interval(2.197265, 2.207031)], [interval(-
0.410159, -0.400393), interval(2.197265, 2.207031)], [interval(-0.400393,
-0.390628), interval(2.197265, 2.207031)], [interval(-0.390628, -0.380863),
interval(2.197265, 2.207031)], [interval(-0.380863, -0.371098), interval(2.197265,
2.207031)], [interval(-0.371098, -0.361333), interval(2.197265, 2.207031)],
[interval(-0.361333, -0.351567), interval(2.197265, 2.207031)], [interval(-
0.361333, -0.351567), interval(2.207031, 2.216797)], [interval(-0.351567,
-0.341802), interval(2.207031, 2.216797)], [interval(-0.341802, -0.332037),
interval(2.207031, 2.216797)], [interval(-0.332037, -0.322272), interval(2.207031,
2.216797)], [interval(-0.322272, -0.312507), interval(2.207031, 2.216797)],
[interval(-0.312507, -0.302741), interval(-2.216798, -2.207033)], [interval(-
0.302741, -0.292975), interval(-2.216798, -2.207033)], [interval(-0.292975,
-0.283209), interval(-2.226564, -2.216798)], [interval(-0.292975, -0.283209),
interval(-2.216798, -2.207033)], [interval(-0.283209, -0.273443), interval(-
2.226564, -2.216798)], [interval(-0.273443, -0.263677), interval(-2.226564,
-2.216798)], [interval(-0.263677, -0.253911), interval(-2.226564, -2.216798)],
[interval(-0.253911, -0.244146), interval(-2.226564, -2.216798)], [interval(-
0.244146, -0.234380), interval(-2.226564, -2.216798)], [interval(-0.214848,
-0.205082), interval(-2.236329, -2.226564)], [interval(-0.205082, -0.195316),
interval(-2.236329, -2.226564)], [interval(-0.234380, -0.224614), interval(-
2.226564, -2.216798)], [interval(-0.224614, -0.214848), interval(-2.226564,
-2.216798)], [interval(-0.214848, -0.205082), interval(-2.226564, -2.216798)],
[interval(-0.195316, -0.185550), interval(-2.236329, -2.226564)], [interval(-
0.185550, -0.175784), interval(-2.236329, -2.226564)], [interval(-0.175784,
-0.166018), interval(-2.236329, -2.226564)], [interval(-0.166018, -0.156253),
interval(-2.236329, -2.226564)], [interval(-0.156253, -0.146487), interval(-
2.236329, -2.226564)], [interval(-0.146487, -0.136721), interval(-2.236329,
-2.226564)], [interval(-0.136721, -0.126955), interval(-2.236329, -2.226564)],
[interval(-0.126955, -0.117189), interval(-2.236329, -2.226564)], [interval(-
0.117189, -0.107423), interval(-2.236329, -2.226564)], [interval(-0.107423,
-0.097657), interval(-2.236329, -2.226564)], [interval(-0.097657, -0.087891),
interval(-2.236329, -2.226564)], [interval(-0.087891, -0.078126), interval(-
2.236329, -2.226564)], [interval(-0.078126, -0.068360), interval(-2.236329,
-2.226564)], [interval(-0.068360, -0.058594), interval(-2.236329, -2.226564)],
[interval(-0.058594, -0.048828), interval(-2.236329, -2.226564)], [interval(-
0.048828, -0.039062), interval(-2.236329, -2.226564)], [interval(-0.039062,
-0.029296), interval(-2.236329, -2.226564)], [interval(-0.029296, -0.019530),
interval(-2.236329, -2.226564)], [interval(-0.019530, -0.009764), interval(-
2.236329, -2.226564)], [interval(-0.009764, 0.000001), interval(-2.236329,
-2.226564)], [interval(-0.312507, -0.302741), interval(2.207031, 2.216797)],
[interval(-0.302741, -0.292975), interval(2.207031, 2.216797)], [interval(-
0.292975, -0.283209), interval(2.207031, 2.216797)], [interval(-0.292975,
-0.283209), interval(2.216797, 2.226563)], [interval(-0.283209, -0.273443),
interval(2.216797, 2.226563)], [interval(-0.273443, -0.263677), interval(2.216797,
2.226563)], [interval(-0.263677, -0.253911), interval(2.216797, 2.226563)],
[interval(-0.253911, -0.244146), interval(2.216797, 2.226563)], [interval(-
0.244146, -0.234380), interval(2.216797, 2.226563)], [interval(-0.234380,
-0.224614), interval(2.216797, 2.226563)], [interval(-0.224614, -0.214848),
interval(2.216797, 2.226563)], [interval(-0.214848, -0.205082), interval(2.216797,
2.226563)], [interval(-0.214848, -0.205082), interval(2.226563, 2.236329)],
[interval(-0.205082, -0.195316), interval(2.226563, 2.236329)], [interval(-
0.195316, -0.185550), interval(2.226563, 2.236329)], [interval(-0.185550,
-0.175784), interval(2.226563, 2.236329)], [interval(-0.175784, -0.166018),
interval(2.226563, 2.236329)], [interval(-0.166018, -0.156253), interval(2.226563,
2.236329)], [interval(-0.156253, -0.146487), interval(2.226563, 2.236329)],
[interval(-0.146487, -0.136721), interval(2.226563, 2.236329)], [interval(-
0.136721, -0.126955), interval(2.226563, 2.236329)], [interval(-0.126955,
-0.117189), interval(2.226563, 2.236329)], [interval(-0.117189, -0.107423),
interval(2.226563, 2.236329)], [interval(-0.107423, -0.097657), interval(2.226563,
2.236329)], [interval(-0.097657, -0.087891), interval(2.226563, 2.236329)],
[interval(-0.087891, -0.078126), interval(2.226563, 2.236329)], [interval(-
0.078126, -0.068360), interval(2.226563, 2.236329)], [interval(-0.068360,
-0.058594), interval(2.226563, 2.236329)], [interval(-0.058594, -0.048828),
interval(2.226563, 2.236329)], [interval(-0.048828, -0.039062), interval(2.226563,
2.236329)], [interval(-0.039062, -0.029296), interval(2.226563, 2.236329)],
[interval(-0.029296, -0.019530), interval(2.226563, 2.236329)], [interval(-
0.019530, -0.009764), interval(2.226563, 2.236329)], [interval(-0.009764,
0.000001), interval(2.226563, 2.236329)], [interval(0.000001, 0.009767),
interval(-2.236329, -2.226564)], [interval(0.009767, 0.019533), interval(-
2.236329, -2.226564)], [interval(0.019533, 0.029299), interval(-2.236329,
-2.226564)], [interval(0.029299, 0.039065), interval(-2.236329, -2.226564)],
[interval(0.039065, 0.048831), interval(-2.236329, -2.226564)], [interval(0.048831,
0.058597), interval(-2.236329, -2.226564)], [interval(0.058597, 0.068363),
interval(-2.236329, -2.226564)], [interval(0.068363, 0.078128), interval(-2.236329,
-2.226564)], [interval(0.078128, 0.087894), interval(-2.236329, -2.226564)],
[interval(0.087894, 0.097660), interval(-2.236329, -2.226564)], [interval(0.097660,
0.107426), interval(-2.236329, -2.226564)], [interval(0.107426, 0.117192),
interval(-2.236329, -2.226564)], [interval(0.117192, 0.126958), interval(-2.236329,
-2.226564)], [interval(0.126958, 0.136724), interval(-2.236329, -2.226564)],
[interval(0.136724, 0.146490), interval(-2.236329, -2.226564)], [interval(0.146490,
0.156255), interval(-2.236329, -2.226564)], [interval(0.156255, 0.166021),
interval(-2.236329, -2.226564)], [interval(0.166021, 0.175787), interval(-2.236329,
-2.226564)], [interval(0.175787, 0.185553), interval(-2.236329, -2.226564)],
[interval(0.185553, 0.195319), interval(-2.236329, -2.226564)], [interval(0.195319,
0.205085), interval(-2.236329, -2.226564)], [interval(0.205085, 0.214851),
interval(-2.236329, -2.226564)], [interval(0.205085, 0.214851), interval(-2.226564,
-2.216798)], [interval(0.214851, 0.224617), interval(-2.226564, -2.216798)],
[interval(0.224617, 0.234382), interval(-2.226564, -2.216798)], [interval(0.234382,
0.244148), interval(-2.226564, -2.216798)], [interval(0.244148, 0.253914),
interval(-2.226564, -2.216798)], [interval(0.253914, 0.263680), interval(-2.226564,
-2.216798)], [interval(0.263680, 0.273446), interval(-2.226564, -2.216798)],
[interval(0.273446, 0.283212), interval(-2.226564, -2.216798)], [interval(0.283212,
0.292978), interval(-2.226564, -2.216798)], [interval(0.283212, 0.292978),
interval(-2.216798, -2.207033)], [interval(0.292978, 0.302744), interval(-2.216798,
-2.207033)], [interval(0.302744, 0.312509), interval(-2.216798, -2.207033)],
[interval(0.000001, 0.009767), interval(2.226563, 2.236329)], [interval(0.009767,
0.019533), interval(2.226563, 2.236329)], [interval(0.019533, 0.029299),
interval(2.226563, 2.236329)], [interval(0.029299, 0.039065), interval(2.226563,
2.236329)], [interval(0.039065, 0.048831), interval(2.226563, 2.236329)],
[interval(0.048831, 0.058597), interval(2.226563, 2.236329)], [interval(0.058597,
0.068363), interval(2.226563, 2.236329)], [interval(0.068363, 0.078128),
interval(2.226563, 2.236329)], [interval(0.078128, 0.087894), interval(2.226563,
2.236329)], [interval(0.087894, 0.097660), interval(2.226563, 2.236329)],
[interval(0.097660, 0.107426), interval(2.226563, 2.236329)], [interval(0.107426,
0.117192), interval(2.226563, 2.236329)], [interval(0.117192, 0.126958),
interval(2.226563, 2.236329)], [interval(0.126958, 0.136724), interval(2.226563,
2.236329)], [interval(0.136724, 0.146490), interval(2.226563, 2.236329)],
[interval(0.146490, 0.156255), interval(2.226563, 2.236329)], [interval(0.156255,
0.166021), interval(2.226563, 2.236329)], [interval(0.166021, 0.175787),
interval(2.226563, 2.236329)], [interval(0.175787, 0.185553), interval(2.226563,
2.236329)], [interval(0.185553, 0.195319), interval(2.226563, 2.236329)],
[interval(0.205085, 0.214851), interval(2.216797, 2.226563)], [interval(0.214851,
0.224617), interval(2.216797, 2.226563)], [interval(0.224617, 0.234382),
interval(2.216797, 2.226563)], [interval(0.195319, 0.205085), interval(2.226563,
2.236329)], [interval(0.205085, 0.214851), interval(2.226563, 2.236329)],
[interval(0.234382, 0.244148), interval(2.216797, 2.226563)], [interval(0.244148,
0.253914), interval(2.216797, 2.226563)], [interval(0.253914, 0.263680),
interval(2.216797, 2.226563)], [interval(0.263680, 0.273446), interval(2.216797,
2.226563)], [interval(0.273446, 0.283212), interval(2.216797, 2.226563)],
[interval(0.283212, 0.292978), interval(2.207031, 2.216797)], [interval(0.283212,
0.292978), interval(2.216797, 2.226563)], [interval(0.292978, 0.302744),
interval(2.207031, 2.216797)], [interval(0.302744, 0.312509), interval(2.207031,
2.216797)], [interval(0.312509, 0.322275), interval(-2.216798, -2.207033)],
[interval(0.322275, 0.332040), interval(-2.216798, -2.207033)], [interval(0.332040,
0.341805), interval(-2.216798, -2.207033)], [interval(0.341805, 0.351570),
interval(-2.216798, -2.207033)], [interval(0.351570, 0.361335), interval(-2.216798,
-2.207033)], [interval(0.351570, 0.361335), interval(-2.207033, -2.197267)],
[interval(0.361335, 0.371101), interval(-2.207033, -2.197267)], [interval(0.371101,
0.380866), interval(-2.207033, -2.197267)], [interval(0.380866, 0.390631),
interval(-2.207033, -2.197267)], [interval(0.390631, 0.400396), interval(-2.207033,
-2.197267)], [interval(0.400396, 0.410162), interval(-2.207033, -2.197267)],
[interval(0.410162, 0.419927), interval(-2.207033, -2.197267)], [interval(0.410162,
0.419927), interval(-2.197267, -2.187502)], [interval(0.419927, 0.429692),
interval(-2.197267, -2.187502)], [interval(0.429692, 0.439457), interval(-2.197267,
-2.187502)], [interval(0.439457, 0.449222), interval(-2.197267, -2.187502)],
[interval(0.449222, 0.458988), interval(-2.197267, -2.187502)], [interval(0.458988,
0.468753), interval(-2.197267, -2.187502)], [interval(0.458988, 0.468753),
interval(-2.187502, -2.177736)], [interval(0.468753, 0.478518), interval(-2.187502,
-2.177736)], [interval(0.478518, 0.488283), interval(-2.187502, -2.177736)],
[interval(0.488283, 0.498049), interval(-2.187502, -2.177736)], [interval(0.498049,
0.507814), interval(-2.187502, -2.177736)], [interval(0.498049, 0.507814),
interval(-2.177736, -2.167970)], [interval(0.507814, 0.517579), interval(-2.177736,
-2.167970)], [interval(0.517579, 0.527344), interval(-2.177736, -2.167970)],
[interval(0.527344, 0.537109), interval(-2.177736, -2.167970)], [interval(0.537109,
0.546875), interval(-2.177736, -2.167970)], [interval(0.546875, 0.556640),
interval(-2.177736, -2.167970)], [interval(0.546875, 0.556640), interval(-2.167970,
-2.158204)], [interval(0.556640, 0.566405), interval(-2.167970, -2.158204)],
[interval(0.566405, 0.576170), interval(-2.167970, -2.158204)], [interval(0.576170,
0.585935), interval(-2.167970, -2.158204)], [interval(0.576170, 0.585935),
interval(-2.158204, -2.148438)], [interval(0.585935, 0.595701), interval(-2.158204,
-2.148438)], [interval(0.595701, 0.605466), interval(-2.158204, -2.148438)],
[interval(0.605466, 0.615231), interval(-2.158204, -2.148438)], [interval(0.615231,
0.624996), interval(-2.158204, -2.148438)], [interval(0.615231, 0.624996),
interval(-2.148438, -2.138672)], [interval(0.458988, 0.468753), interval(2.177734,
2.187499)], [interval(0.468753, 0.478518), interval(2.177734, 2.187499)],
[interval(0.478518, 0.488283), interval(2.177734, 2.187499)], [interval(0.488283,
0.498049), interval(2.177734, 2.187499)], [interval(0.498049, 0.507814),
interval(2.167968, 2.177734)], [interval(0.498049, 0.507814), interval(2.177734,
2.187499)], [interval(0.507814, 0.517579), interval(2.167968, 2.177734)],
[interval(0.517579, 0.527344), interval(2.167968, 2.177734)], [interval(0.527344,
0.537109), interval(2.167968, 2.177734)], [interval(0.537109, 0.546875),
interval(2.167968, 2.177734)], [interval(0.546875, 0.556640), interval(2.158203,
2.167968)], [interval(0.556640, 0.566405), interval(2.158203, 2.167968)],
[interval(0.546875, 0.556640), interval(2.167968, 2.177734)], [interval(0.566405,
0.576170), interval(2.158203, 2.167968)], [interval(0.576170, 0.585935),
interval(2.148437, 2.158203)], [interval(0.576170, 0.585935), interval(2.158203,
2.167968)], [interval(0.615231, 0.624996), interval(2.138672, 2.148437)],
[interval(0.585935, 0.595701), interval(2.148437, 2.158203)], [interval(0.595701,
0.605466), interval(2.148437, 2.158203)], [interval(0.605466, 0.615231),
interval(2.148437, 2.158203)], [interval(0.615231, 0.624996), interval(2.148437,
2.158203)], [interval(0.312509, 0.322275), interval(2.207031, 2.216797)],
[interval(0.322275, 0.332040), interval(2.207031, 2.216797)], [interval(0.332040,
0.341805), interval(2.207031, 2.216797)], [interval(0.341805, 0.351570),
interval(2.207031, 2.216797)], [interval(0.351570, 0.361335), interval(2.197265,
2.207031)], [interval(0.361335, 0.371101), interval(2.197265, 2.207031)],
[interval(0.351570, 0.361335), interval(2.207031, 2.216797)], [interval(0.371101,
0.380866), interval(2.197265, 2.207031)], [interval(0.380866, 0.390631),
interval(2.197265, 2.207031)], [interval(0.390631, 0.400396), interval(2.197265,
2.207031)], [interval(0.400396, 0.410162), interval(2.197265, 2.207031)],
[interval(0.410162, 0.419927), interval(2.187499, 2.197265)], [interval(0.410162,
0.419927), interval(2.197265, 2.207031)], [interval(0.419927, 0.429692),
interval(2.187499, 2.197265)], [interval(0.429692, 0.439457), interval(2.187499,
2.197265)], [interval(0.439457, 0.449222), interval(2.187499, 2.197265)],
[interval(0.449222, 0.458988), interval(2.187499, 2.197265)], [interval(0.458988,
0.468753), interval(2.187499, 2.197265)], [interval(0.624996, 0.634762), interval(-
2.148438, -2.138672)], [interval(0.634762, 0.644528), interval(-2.148438,
-2.138672)], [interval(0.644528, 0.654294), interval(-2.148438, -2.138672)],
[interval(0.644528, 0.654294), interval(-2.138672, -2.128906)], [interval(0.654294,
0.664060), interval(-2.138672, -2.128906)], [interval(0.664060, 0.673826),
interval(-2.138672, -2.128906)], [interval(0.673826, 0.683592), interval(-2.138672,
-2.128906)], [interval(0.683592, 0.693358), interval(-2.138672, -2.128906)],
[interval(0.683592, 0.693358), interval(-2.128906, -2.119140)], [interval(0.693358,
0.703124), interval(-2.128906, -2.119140)], [interval(0.703124, 0.712890),
interval(-2.128906, -2.119140)], [interval(0.712890, 0.722656),
interval(-2.128906, -2.119140)], [interval(0.712890, 0.722656), interval(-
2.119140, -2.109374)], [interval(0.722656, 0.732422), interval(-2.119140,
-2.109374)], [interval(0.732422, 0.742187), interval(-2.119140, -2.109374)],
[interval(0.732422, 0.742187), interval(-2.109374, -2.099608)], [interval(0.742187,
0.751953), interval(-2.109374, -2.099608)], [interval(0.751953, 0.761719),
interval(-2.109374, -2.099608)], [interval(0.761719, 0.771485), interval(-2.109374,
-2.099608)], [interval(0.761719, 0.771485), interval(-2.099608, -2.089842)],
[interval(0.771485, 0.781251), interval(-2.099608, -2.089842)], [interval(0.781251,
0.791017), interval(-2.099608, -2.089842)], [interval(0.791017, 0.800783),
interval(-2.099608, -2.089842)], [interval(0.791017, 0.800783), interval(-2.089842,
-2.080076)], [interval(0.800783, 0.810549), interval(-2.089842, -2.080076)],
[interval(0.810549, 0.820315), interval(-2.089842, -2.080076)], [interval(0.820315,
0.830081), interval(-2.089842, -2.080076)], [interval(0.820315, 0.830081),
interval(-2.080076, -2.070310)], [interval(0.830081, 0.839847), interval(-2.080076,
-2.070310)], [interval(0.839847, 0.849613), interval(-2.080076, -2.070310)],
[interval(0.839847, 0.849613), interval(-2.070310, -2.060544)], [interval(0.849613,
0.859379), interval(-2.070310, -2.060544)], [interval(0.859379, 0.869145),
interval(-2.070310, -2.060544)], [interval(0.859379, 0.869145), interval(-2.060544,
-2.050778)], [interval(0.869145, 0.878910), interval(-2.060544, -2.050778)],
[interval(0.878910, 0.888676), interval(-2.060544, -2.050778)], [interval(0.888676,
0.898442), interval(-2.060544, -2.050778)], [interval(0.888676, 0.898442),
interval(-2.050778, -2.041012)], [interval(0.898442, 0.908208), interval(-2.050778,
-2.041012)], [interval(0.908208, 0.917974), interval(-2.050778, -2.041012)],
[interval(0.908208, 0.917974), interval(-2.041012, -2.031246)], [interval(0.917974,
0.927740), interval(-2.041012, -2.031246)], [interval(0.927740, 0.937506),
interval(-2.041012, -2.031246)], [interval(0.927740, 0.937506), interval(-2.031246,
-2.021480)], [interval(0.624996, 0.634762), interval(2.138672, 2.148437)],
[interval(0.634762, 0.644528), interval(2.138672, 2.148437)], [interval(0.644528,
0.654294), interval(2.128906, 2.138672)], [interval(0.644528, 0.654294),
interval(2.138672, 2.148437)], [interval(0.654294, 0.664060), interval(2.128906,
2.138672)], [interval(0.664060, 0.673826), interval(2.128906, 2.138672)],
[interval(0.673826, 0.683592), interval(2.128906, 2.138672)], [interval(0.683592,
0.693358), interval(2.119141, 2.128906)], [interval(0.693358, 0.703124),
interval(2.119141, 2.128906)], [interval(0.683592, 0.693358), interval(2.128906,
2.138672)], [interval(0.732422, 0.742187), interval(2.099610, 2.109375)],
[interval(0.742187, 0.751953), interval(2.099610, 2.109375)], [interval(0.751953,
0.761719), interval(2.099610, 2.109375)], [interval(0.761719, 0.771485),
interval(2.089844, 2.099610)], [interval(0.761719, 0.771485), interval(2.099610,
2.109375)], [interval(0.771485, 0.781251), interval(2.089844, 2.099610)],
[interval(0.703124, 0.712890), interval(2.119141, 2.128906)], [interval(0.712890,
0.722656), interval(2.109375, 2.119141)], [interval(0.712890, 0.722656),
interval(2.119141, 2.128906)], [interval(0.722656, 0.732422), interval(2.109375,
2.119141)], [interval(0.732422, 0.742187), interval(2.109375, 2.119141)],
[interval(0.927740, 0.937506), interval(2.021486, 2.031252)], [interval(0.791017,
0.800783), interval(2.080079, 2.089844)], [interval(0.781251, 0.791017),
interval(2.089844, 2.099610)], [interval(0.791017, 0.800783), interval(2.089844,
2.099610)], [interval(0.800783, 0.810549), interval(2.080079, 2.089844)],
[interval(0.810549, 0.820315), interval(2.080079, 2.089844)], [interval(0.839847,
0.849613), interval(2.060548, 2.070313)], [interval(0.849613, 0.859379),
interval(2.060548, 2.070313)], [interval(0.820315, 0.830081), interval(2.070313,
2.080079)], [interval(0.820315, 0.830081), interval(2.080079, 2.089844)],
[interval(0.830081, 0.839847), interval(2.070313, 2.080079)], [interval(0.839847,
0.849613), interval(2.070313, 2.080079)], [interval(0.859379, 0.869145),
interval(2.050782, 2.060548)], [interval(0.859379, 0.869145), interval(2.060548,
2.070313)], [interval(0.869145, 0.878910), interval(2.050782, 2.060548)],
[interval(0.888676, 0.898442), interval(2.041017, 2.050782)], [interval(0.878910,
0.888676), interval(2.050782, 2.060548)], [interval(0.888676, 0.898442),
interval(2.050782, 2.060548)], [interval(0.898442, 0.908208), interval(2.041017,
2.050782)], [interval(0.908208, 0.917974), interval(2.031252, 2.041017)],
[interval(0.908208, 0.917974), interval(2.041017, 2.050782)], [interval(0.917974,
0.927740), interval(2.031252, 2.041017)], [interval(0.927740, 0.937506),
interval(2.031252, 2.041017)], [interval(0.937506, 0.947271), interval(-2.031246,
-2.021480)], [interval(0.947271, 0.957037), interval(-2.031246, -2.021480)],
[interval(0.947271, 0.957037), interval(-2.021480, -2.011714)], [interval(0.957037,
0.966802), interval(-2.021480, -2.011714)], [interval(0.966802, 0.976567),
interval(-2.021480, -2.011714)], [interval(0.966802, 0.976567), interval(-2.011714,
-2.001949)], [interval(0.976567, 0.986333), interval(-2.011714, -2.001949)],
[interval(0.986333, 0.996098), interval(-2.011714, -2.001949)], [interval(0.986333,
0.996098), interval(-2.001949, -1.992183)], [interval(0.996098, 1.005863),
interval(-2.001949, -1.992183)], [interval(1.005863, 1.015629), interval(-2.001949,
-1.992183)], [interval(1.005863, 1.015629), interval(-1.992183, -1.982417)],
[interval(1.015629, 1.025394), interval(-1.992183, -1.982417)], [interval(1.025394,
1.035159), interval(-1.992183, -1.982417)], [interval(1.025394, 1.035159),
interval(-1.982417, -1.972651)], [interval(1.035159, 1.044925), interval(-1.982417,
-1.972651)], [interval(1.044925, 1.054690), interval(-1.982417, -1.972651)],
[interval(1.044925, 1.054690), interval(-1.972651, -1.962885)], [interval(1.054690,
1.064455), interval(-1.972651, -1.962885)], [interval(1.064455, 1.074221),
interval(-1.972651, -1.962885)], [interval(1.064455, 1.074221), interval(-1.962885,
-1.953119)], [interval(1.074221, 1.083986), interval(-1.962885, -1.953119)],
[interval(1.083986, 1.093751), interval(-1.962885, -1.953119)], [interval(1.083986,
1.093751), interval(-1.953119, -1.943353)], [interval(1.093751, 1.103517),
interval(-1.953119, -1.943353)], [interval(1.103517, 1.113282), interval(-1.953119,
-1.943353)], [interval(1.103517, 1.113282), interval(-1.943353, -1.933587)],
[interval(1.113282, 1.123047), interval(-1.943353, -1.933587)], [interval(1.123047,
1.132813), interval(-1.943353, -1.933587)], [interval(1.123047, 1.132813),
interval(-1.933587, -1.923821)], [interval(1.132813, 1.142578), interval(-1.933587,
-1.923821)], [interval(1.132813, 1.142578), interval(-1.923821, -1.914055)],
[interval(1.142578, 1.152343), interval(-1.923821, -1.914055)], [interval(1.152343,
1.162109), interval(-1.923821, -1.914055)], [interval(1.152343, 1.162109),
interval(-1.914055, -1.904289)], [interval(1.162109, 1.171874), interval(-1.914055,
-1.904289)], [interval(1.171874, 1.181640), interval(-1.914055, -1.904289)],
[interval(1.171874, 1.181640), interval(-1.904289, -1.894523)], [interval(1.181640,
1.191405), interval(-1.904289, -1.894523)], [interval(1.181640, 1.191405),
interval(-1.894523, -1.884757)], [interval(1.191405, 1.201170), interval(-1.894523,
-1.884757)], [interval(1.201170, 1.210936), interval(-1.894523, -1.884757)],
[interval(1.201170, 1.210936), interval(-1.884757, -1.874991)], [interval(1.210936,
1.220701), interval(-1.884757, -1.874991)], [interval(1.210936, 1.220701),
interval(-1.874991, -1.865226)], [interval(1.220701, 1.230466), interval(-1.874991,
-1.865226)], [interval(1.230466, 1.240232), interval(-1.874991, -1.865226)],
[interval(1.230466, 1.240232), interval(-1.865226, -1.855460)], [interval(1.240232,
1.249997), interval(-1.865226, -1.855460)], [interval(1.240232, 1.249997),
interval(-1.855460, -1.845695)], [interval(1.210936, 1.220701), interval(1.865238,
1.875004)], [interval(1.220701, 1.230466), interval(1.865238, 1.875004)],
[interval(1.240232, 1.249997), interval(1.845707, 1.855473)], [interval(1.230466,
1.240232), interval(1.855473, 1.865238)], [interval(1.230466, 1.240232),
interval(1.865238, 1.875004)], [interval(1.240232, 1.249997), interval(1.855473,
1.865238)], [interval(0.937506, 0.947271), interval(2.021486, 2.031252)],
[interval(0.947271, 0.957037), interval(2.011721, 2.021486)], [interval(0.947271,
0.957037), interval(2.021486, 2.031252)], [interval(0.966802, 0.976567),
interval(2.001955, 2.011721)], [interval(0.957037, 0.966802), interval(2.011721,
2.021486)], [interval(0.966802, 0.976567), interval(2.011721, 2.021486)],
[interval(1.005863, 1.015629), interval(1.982424, 1.992190)], [interval(0.976567,
0.986333), interval(2.001955, 2.011721)], [interval(0.986333, 0.996098),
interval(1.992190, 2.001955)], [interval(0.986333, 0.996098), interval(2.001955,
2.011721)], [interval(0.996098, 1.005863), interval(1.992190, 2.001955)],
[interval(1.005863, 1.015629), interval(1.992190, 2.001955)], [interval(1.083986,
1.093751), interval(1.943362, 1.953128)], [interval(1.015629, 1.025394),
interval(1.982424, 1.992190)], [interval(1.025394, 1.035159), interval(1.972659,
1.982424)], [interval(1.025394, 1.035159), interval(1.982424, 1.992190)],
[interval(1.044925, 1.054690), interval(1.962893, 1.972659)], [interval(1.035159,
1.044925), interval(1.972659, 1.982424)], [interval(1.044925, 1.054690),
interval(1.972659, 1.982424)], [interval(1.054690, 1.064455), interval(1.962893,
1.972659)], [interval(1.064455, 1.074221), interval(1.953128, 1.962893)],
[interval(1.064455, 1.074221), interval(1.962893, 1.972659)], [interval(1.074221,
1.083986), interval(1.953128, 1.962893)], [interval(1.083986, 1.093751),
interval(1.953128, 1.962893)], [interval(1.093751, 1.103517),
interval(1.943362, 1.953128)], [interval(1.103517, 1.113282), interval(1.933597,
1.943362)], [interval(1.103517, 1.113282), interval(1.943362, 1.953128)],
[interval(1.113282, 1.123047), interval(1.923831, 1.933597)], [interval(1.123047,
1.132813), interval(1.923831, 1.933597)], [interval(1.113282, 1.123047),
interval(1.933597, 1.943362)], [interval(1.152343, 1.162109), interval(1.904300,
1.914066)], [interval(1.162109, 1.171874), interval(1.904300, 1.914066)],
[interval(1.132813, 1.142578), interval(1.914066, 1.923831)], [interval(1.132813,
1.142578), interval(1.923831, 1.933597)], [interval(1.142578, 1.152343),
interval(1.914066, 1.923831)], [interval(1.152343, 1.162109), interval(1.914066,
1.923831)], [interval(1.181640, 1.191405), interval(1.884770, 1.894535)],
[interval(1.171874, 1.181640), interval(1.894535, 1.904300)], [interval(1.171874,
1.181640), interval(1.904300, 1.914066)], [interval(1.181640, 1.191405),
interval(1.894535, 1.904300)], [interval(1.191405, 1.201170), interval(1.884770,
1.894535)], [interval(1.201170, 1.210936), interval(1.875004, 1.884770)],
[interval(1.201170, 1.210936), interval(1.884770, 1.894535)], [interval(1.210936,
1.220701), interval(1.875004, 1.884770)], [interval(1.249997, 1.259763), interval(-
1.855460, -1.845695)], [interval(1.259763, 1.269529), interval(-1.855460,
-1.845695)], [interval(1.259763, 1.269529), interval(-1.845695, -1.835930)],
[interval(1.269529, 1.279295), interval(-1.845695, -1.835930)], [interval(1.269529,
1.279295), interval(-1.835930, -1.826165)], [interval(1.279295, 1.289060),
interval(-1.835930, -1.826165)], [interval(1.289060, 1.298826), interval(-1.835930,
-1.826165)], [interval(1.289060, 1.298826), interval(-1.826165, -1.816399)],
[interval(1.298826, 1.308592), interval(-1.826165, -1.816399)], [interval(1.298826,
1.308592), interval(-1.816399, -1.806634)], [interval(1.308592, 1.318358),
interval(-1.816399, -1.806634)], [interval(1.308592, 1.318358), interval(-1.806634,
-1.796869)], [interval(1.318358, 1.328124), interval(-1.806634, -1.796869)],
[interval(1.328124, 1.337890), interval(-1.806634, -1.796869)], [interval(1.328124,
1.337890), interval(-1.796869, -1.787104)], [interval(1.337890, 1.347656),
interval(-1.796869, -1.787104)], [interval(1.337890, 1.347656), interval(-1.787104,
-1.777338)], [interval(1.347656, 1.357421), interval(-1.787104, -1.777338)],
[interval(1.347656, 1.357421), interval(-1.777338, -1.767573)], [interval(1.357421,
1.367187), interval(-1.777338, -1.767573)], [interval(1.367187, 1.376953),
interval(-1.777338, -1.767573)], [interval(1.367187, 1.376953), interval(-1.767573,
-1.757808)], [interval(1.376953, 1.386719), interval(-1.767573, -1.757808)],
[interval(1.376953, 1.386719), interval(-1.757808, -1.748042)], [interval(1.386719,
1.396485), interval(-1.757808, -1.748042)], [interval(1.386719, 1.396485),
interval(-1.748042, -1.738277)], [interval(1.396485, 1.406251), interval(-1.748042,
-1.738277)], [interval(1.406251, 1.416017), interval(-1.748042, -1.738277)],
[interval(1.406251, 1.416017), interval(-1.738277, -1.728512)], [interval(1.416017,
1.425783), interval(-1.738277, -1.728512)], [interval(1.416017, 1.425783),
interval(-1.728512, -1.718747)], [interval(1.425783, 1.435548), interval(-1.728512,
-1.718747)], [interval(1.425783, 1.435548), interval(-1.718747, -1.708981)],
[interval(1.435548, 1.445314), interval(-1.718747, -1.708981)], [interval(1.435548,
1.445314), interval(-1.708981, -1.699216)], [interval(1.445314, 1.455080),
interval(-1.708981, -1.699216)], [interval(1.445314, 1.455080), interval(-1.699216,
-1.689451)], [interval(1.455080, 1.464846), interval(-1.699216, -1.689451)],
[interval(1.455080, 1.464846), interval(-1.689451, -1.679685)], [interval(1.464846,
1.474612), interval(-1.689451, -1.679685)], [interval(1.474612, 1.484378),
interval(-1.689451, -1.679685)], [interval(1.474612, 1.484378), interval(-1.679685,
-1.669920)], [interval(1.484378, 1.494144), interval(-1.679685, -1.669920)],
[interval(1.484378, 1.494144), interval(-1.669920, -1.660155)], [interval(1.494144,
1.503910), interval(-1.669920, -1.660155)], [interval(1.494144, 1.503910),
interval(-1.660155, -1.650390)], [interval(1.503910, 1.513675), interval(-1.660155,
-1.650390)], [interval(1.503910, 1.513675), interval(-1.650390, -1.640624)],
[interval(1.513675, 1.523441), interval(-1.650390, -1.640624)], [interval(1.513675,
1.523441), interval(-1.640624, -1.630859)], [interval(1.523441, 1.533207),
interval(-1.640624, -1.630859)], [interval(1.523441, 1.533207), interval(-1.630859,
-1.621094)], [interval(1.533207, 1.542973), interval(-1.630859, -1.621094)],
[interval(1.533207, 1.542973), interval(-1.621094, -1.611329)], [interval(1.542973,
1.552739), interval(-1.621094, -1.611329)], [interval(1.542973, 1.552739),
interval(-1.611329, -1.601563)], [interval(1.552739, 1.562505), interval(-1.611329,
-1.601563)], [interval(1.552739, 1.562505), interval(-1.601563, -1.591798)],
[interval(1.269529, 1.279295), interval(1.826175, 1.835941)], [interval(1.279295,
1.289060), interval(1.826175, 1.835941)], [interval(1.249997, 1.259763),
interval(1.845707, 1.855473)], [interval(1.259763, 1.269529), interval(1.835941,
1.845707)], [interval(1.259763, 1.269529), interval(1.845707, 1.855473)],
[interval(1.269529, 1.279295), interval(1.835941, 1.845707)], [interval(1.298826,
1.308592), interval(1.806644, 1.816409)], [interval(1.289060, 1.298826),
interval(1.816409, 1.826175)], [interval(1.289060, 1.298826), interval(1.826175,
1.835941)], [interval(1.298826, 1.308592), interval(1.816409, 1.826175)],
[interval(1.308592, 1.318358), interval(1.796878, 1.806644)], [interval(1.308592,
1.318358), interval(1.806644, 1.816409)], [interval(1.318358, 1.328124),
interval(1.796878, 1.806644)], [interval(1.328124, 1.337890), interval(1.787112,
1.796878)], [interval(1.337890, 1.347656), interval(1.777346, 1.787112)],
[interval(1.337890, 1.347656), interval(1.787112, 1.796878)], [interval(1.347656,
1.357421), interval(1.767580, 1.777346)], [interval(1.357421, 1.367187),
interval(1.767580, 1.777346)], [interval(1.347656, 1.357421), interval(1.777346,
1.787112)], [interval(1.376953, 1.386719), interval(1.748049, 1.757815)],
[interval(1.386719, 1.396485), interval(1.738283, 1.748049)], [interval(1.386719,
1.396485), interval(1.748049, 1.757815)], [interval(1.396485, 1.406251),
interval(1.738283, 1.748049)], [interval(1.367187, 1.376953), interval(1.757815,
1.767580)], [interval(1.367187, 1.376953), interval(1.767580, 1.777346)],
[interval(1.376953, 1.386719), interval(1.757815, 1.767580)], [interval(1.328124,
1.337890), interval(1.796878, 1.806644)], [interval(1.425783, 1.435548),
interval(1.708986, 1.718751)], [interval(1.435548, 1.445314), interval(1.699220,
1.708986)], [interval(1.435548, 1.445314), interval(1.708986, 1.718751)],
[interval(1.474612, 1.484378), interval(1.669922, 1.679688)], [interval(1.445314,
1.455080), interval(1.689454, 1.699220)], [interval(1.455080, 1.464846),
interval(1.679688, 1.689454)], [interval(1.455080, 1.464846), interval(1.689454,
1.699220)], [interval(1.445314, 1.455080), interval(1.699220, 1.708986)],
[interval(1.464846, 1.474612), interval(1.679688, 1.689454)], [interval(1.474612,
1.484378), interval(1.679688, 1.689454)], [interval(1.513675, 1.523441),
interval(1.630859, 1.640625)], [interval(1.552739, 1.562505), interval(1.591796,
1.601562)], [interval(1.533207, 1.542973), interval(1.611328, 1.621093)],
[interval(1.523441, 1.533207), interval(1.621093, 1.630859)], [interval(1.523441,
1.533207), interval(1.630859, 1.640625)], [interval(1.533207, 1.542973),
interval(1.621093, 1.630859)], [interval(1.542973, 1.552739), interval(1.601562,
1.611328)], [interval(1.542973, 1.552739), interval(1.611328, 1.621093)],
[interval(1.552739, 1.562505), interval(1.601562, 1.611328)], [interval(1.494144,
1.503910), interval(1.650391, 1.660157)], [interval(1.484378, 1.494144),
interval(1.660157, 1.669922)], [interval(1.484378, 1.494144), interval(1.669922,
1.679688)], [interval(1.494144, 1.503910), interval(1.660157, 1.669922)],
[interval(1.503910, 1.513675), interval(1.640625, 1.650391)], [interval(1.503910,
1.513675), interval(1.650391, 1.660157)], [interval(1.513675, 1.523441),
interval(1.640625, 1.650391)], [interval(1.406251, 1.416017), interval(1.728517,
1.738283)], [interval(1.416017, 1.425783), interval(1.718751, 1.728517)],
[interval(1.416017, 1.425783), interval(1.728517, 1.738283)], [interval(1.406251,
1.416017), interval(1.738283, 1.748049)], [interval(1.425783, 1.435548),
interval(1.718751, 1.728517)], [interval(1.562505, 1.572271), interval(-1.601563,
-1.591798)], [interval(1.562505, 1.572271), interval(-1.591798, -1.582033)],
[interval(1.572271, 1.582036), interval(-1.591798, -1.582033)], [interval(1.572271,
1.582036), interval(-1.582033, -1.572267)], [interval(1.582036, 1.591802),
interval(-1.582033, -1.572267)], [interval(1.582036, 1.591802), interval(-1.572267,
-1.562502)], [interval(1.591802, 1.601568), interval(-1.572267, -1.562502)],
[interval(1.591802, 1.601568), interval(-1.562502, -1.552737)], [interval(1.601568,
1.611334), interval(-1.562502, -1.552737)], [interval(1.601568, 1.611334),
interval(-1.552737, -1.542971)], [interval(1.611334, 1.621099), interval(-1.552737,
-1.542971)], [interval(1.611334, 1.621099), interval(-1.542971, -1.533205)],
[interval(1.621099, 1.630865), interval(-1.542971, -1.533205)], [interval(1.621099,
1.630865), interval(-1.533205, -1.523440)], [interval(1.630865, 1.640631),
interval(-1.533205, -1.523440)], [interval(1.630865, 1.640631), interval(-1.523440,
-1.513674)], [interval(1.640631, 1.650397), interval(-1.523440, -1.513674)],
[interval(1.640631, 1.650397), interval(-1.513674, -1.503909)], [interval(1.650397,
1.660163), interval(-1.513674, -1.503909)], [interval(1.650397, 1.660163),
interval(-1.503909, -1.494143)], [interval(1.660163, 1.669928), interval(-1.503909,
-1.494143)], [interval(1.660163, 1.669928), interval(-1.494143,
-1.484378)], [interval(1.669928, 1.679694), interval(-1.494143, -1.484378)],
[interval(1.669928, 1.679694), interval(-1.484378, -1.474612)], [interval(1.679694,
1.689460), interval(-1.484378, -1.474612)], [interval(1.679694, 1.689460),
interval(-1.474612, -1.464846)], [interval(1.679694, 1.689460), interval(-1.464846,
-1.455081)], [interval(1.689460, 1.699226), interval(-1.464846, -1.455081)],
[interval(1.689460, 1.699226), interval(-1.455081, -1.445315)], [interval(1.699226,
1.708991), interval(-1.455081, -1.445315)], [interval(1.699226, 1.708991),
interval(-1.445315, -1.435550)], [interval(1.708991, 1.718757), interval(-1.445315,
-1.435550)], [interval(1.708991, 1.718757), interval(-1.435550, -1.425784)],
[interval(1.718757, 1.728523), interval(-1.435550, -1.425784)], [interval(1.718757,
1.728523), interval(-1.425784, -1.416019)], [interval(1.728523, 1.738289),
interval(-1.425784, -1.416019)], [interval(1.728523, 1.738289), interval(-1.416019,
-1.406253)], [interval(1.738289, 1.748054), interval(-1.416019, -1.406253)],
[interval(1.738289, 1.748054), interval(-1.406253, -1.396487)], [interval(1.738289,
1.748054), interval(-1.396487, -1.386722)], [interval(1.748054, 1.757820),
interval(-1.396487, -1.386722)], [interval(1.748054, 1.757820), interval(-1.386722,
-1.376956)], [interval(1.757820, 1.767586), interval(-1.386722, -1.376956)],
[interval(1.757820, 1.767586), interval(-1.376956, -1.367191)], [interval(1.767586,
1.777352), interval(-1.376956, -1.367191)], [interval(1.767586, 1.777352),
interval(-1.367191, -1.357425)], [interval(1.767586, 1.777352), interval(-1.357425,
-1.347660)], [interval(1.777352, 1.787118), interval(-1.357425, -1.347660)],
[interval(1.777352, 1.787118), interval(-1.347660, -1.337894)], [interval(1.787118,
1.796883), interval(-1.347660, -1.337894)], [interval(1.787118, 1.796883),
interval(-1.337894, -1.328128)], [interval(1.796883, 1.806649), interval(-1.337894,
-1.328128)], [interval(1.796883, 1.806649), interval(-1.328128, -1.318363)],
[interval(1.796883, 1.806649), interval(-1.318363, -1.308597)], [interval(1.806649,
1.816415), interval(-1.318363, -1.308597)], [interval(1.806649, 1.816415),
interval(-1.308597, -1.298832)], [interval(1.816415, 1.826181), interval(-1.308597,
-1.298832)], [interval(1.816415, 1.826181), interval(-1.298832, -1.289066)],
[interval(1.826181, 1.835946), interval(-1.298832, -1.289066)], [interval(1.826181,
1.835946), interval(-1.289066, -1.279301)], [interval(1.826181, 1.835946),
interval(-1.279301, -1.269535)], [interval(1.835946, 1.845712), interval(-1.279301,
-1.269535)], [interval(1.835946, 1.845712), interval(-1.269535, -1.259769)],
[interval(1.845712, 1.855478), interval(-1.269535, -1.259769)], [interval(1.845712,
1.855478), interval(-1.259769, -1.250004)], [interval(1.845712, 1.855478),
interval(-1.250004, -1.240238)], [interval(1.855478, 1.865244), interval(-1.250004,
-1.240238)], [interval(1.855478, 1.865244), interval(-1.240238, -1.230472)],
[interval(1.865244, 1.875009), interval(-1.240238, -1.230472)], [interval(1.865244,
1.875009), interval(-1.230472, -1.220707)], [interval(1.865244, 1.875009),
interval(-1.220707, -1.210941)], [interval(1.845712, 1.855478), interval(1.240242,
1.250008)], [interval(1.865244, 1.875009), interval(1.210943, 1.220710)],
[interval(1.865244, 1.875009), interval(1.220710, 1.230476)], [interval(1.855478,
1.865244), interval(1.230476, 1.240242)], [interval(1.855478, 1.865244),
interval(1.240242, 1.250008)], [interval(1.865244, 1.875009), interval(1.230476,
1.240242)], [interval(1.591802, 1.601568), interval(1.552733, 1.562499)],
[interval(1.630865, 1.640631), interval(1.513672, 1.523437)], [interval(1.611334,
1.621099), interval(1.533203, 1.542968)], [interval(1.601568, 1.611334),
interval(1.542968, 1.552733)], [interval(1.601568, 1.611334), interval(1.552733,
1.562499)], [interval(1.611334, 1.621099), interval(1.542968, 1.552733)],
[interval(1.621099, 1.630865), interval(1.523437, 1.533203)], [interval(1.621099,
1.630865), interval(1.533203, 1.542968)], [interval(1.630865, 1.640631),
interval(1.523437, 1.533203)], [interval(1.669928, 1.679694), interval(1.474611,
1.484376)], [interval(1.699226, 1.708991), interval(1.435549, 1.445315)],
[interval(1.708991, 1.718757), interval(1.425784, 1.435549)], [interval(1.708991,
1.718757), interval(1.435549, 1.445315)], [interval(1.679694, 1.689460),
interval(1.455080, 1.464845)], [interval(1.689460, 1.699226), interval(1.445315,
1.455080)], [interval(1.689460, 1.699226), interval(1.455080, 1.464845)],
[interval(1.679694, 1.689460), interval(1.464845, 1.474611)], [interval(1.679694,
1.689460), interval(1.474611, 1.484376)], [interval(1.699226, 1.708991),
interval(1.445315, 1.455080)], [interval(1.650397, 1.660163), interval(1.494141,
1.503907)], [interval(1.640631, 1.650397), interval(1.503907, 1.513672)],
[interval(1.640631, 1.650397), interval(1.513672, 1.523437)], [interval(1.650397,
1.660163), interval(1.503907, 1.513672)], [interval(1.660163, 1.669928),
interval(1.484376, 1.494141)], [interval(1.660163, 1.669928), interval(1.494141,
1.503907)], [interval(1.669928, 1.679694), interval(1.484376, 1.494141)],
[interval(1.748054, 1.757820), interval(1.376957, 1.386723)], [interval(1.738289,
1.748054), interval(1.386723, 1.396488)], [interval(1.738289, 1.748054),
interval(1.396488, 1.406253)], [interval(1.748054, 1.757820), interval(1.386723,
1.396488)], [interval(1.767586, 1.777352), interval(1.347661, 1.357427)],
[interval(1.767586, 1.777352), interval(1.357427, 1.367192)], [interval(1.777352,
1.787118), interval(1.337896, 1.347661)], [interval(1.787118, 1.796883),
interval(1.328131, 1.337896)], [interval(1.787118, 1.796883), interval(1.337896,
1.347661)], [interval(1.777352, 1.787118), interval(1.347661, 1.357427)],
[interval(1.757820, 1.767586), interval(1.367192, 1.376957)], [interval(1.757820,
1.767586), interval(1.376957, 1.386723)], [interval(1.767586, 1.777352),
interval(1.367192, 1.376957)], [interval(1.826181, 1.835946), interval(1.269539,
1.279304)], [interval(1.826181, 1.835946), interval(1.279304, 1.289069)],
[interval(1.806649, 1.816415), interval(1.298835, 1.308600)], [interval(1.796883,
1.806649), interval(1.308600, 1.318365)], [interval(1.796883, 1.806649),
interval(1.318365, 1.328131)], [interval(1.806649, 1.816415), interval(1.308600,
1.318365)], [interval(1.816415, 1.826181), interval(1.289069, 1.298835)],
[interval(1.816415, 1.826181), interval(1.298835, 1.308600)], [interval(1.826181,
1.835946), interval(1.289069, 1.298835)], [interval(1.835946, 1.845712),
interval(1.259773, 1.269539)], [interval(1.845712, 1.855478), interval(1.250008,
1.259773)], [interval(1.845712, 1.855478), interval(1.259773, 1.269539)],
[interval(1.835946, 1.845712), interval(1.269539, 1.279304)], [interval(1.796883,
1.806649), interval(1.328131, 1.337896)], [interval(1.718757, 1.728523),
interval(1.416019, 1.425784)], [interval(1.728523, 1.738289), interval(1.406253,
1.416019)], [interval(1.728523, 1.738289), interval(1.416019, 1.425784)],
[interval(1.718757, 1.728523), interval(1.425784, 1.435549)], [interval(1.738289,
1.748054), interval(1.406253, 1.416019)], [interval(1.572271, 1.582036),
interval(1.572265, 1.582030)], [interval(1.562505, 1.572271), interval(1.582030,
1.591796)], [interval(1.562505, 1.572271), interval(1.591796, 1.601562)],
[interval(1.572271, 1.582036), interval(1.582030, 1.591796)], [interval(1.582036,
1.591802), interval(1.562499, 1.572265)], [interval(1.582036, 1.591802),
interval(1.572265, 1.582030)], [interval(1.591802, 1.601568), interval(1.562499,
1.572265)], [interval(1.875009, 1.884775), interval(-1.220707, -1.210941)],
[interval(1.875009, 1.884775), interval(-1.210941, -1.201175)], [interval(1.884775,
1.894540), interval(-1.210941, -1.201175)], [interval(1.884775, 1.894540),
interval(-1.201175, -1.191410)], [interval(1.884775, 1.894540), interval(-1.191410,
-1.181644)], [interval(1.894540, 1.904305), interval(-1.191410, -1.181644)],
[interval(1.894540, 1.904305), interval(-1.181644, -1.171878)], [interval(1.904305,
1.914071), interval(-1.181644, -1.171878)], [interval(1.904305, 1.914071),
interval(-1.171878, -1.162113)], [interval(1.904305, 1.914071), interval(-1.162113,
-1.152347)], [interval(1.914071, 1.923836), interval(-1.162113, -1.152347)],
[interval(1.914071, 1.923836), interval(-1.152347, -1.142581)], [interval(1.914071,
1.923836), interval(-1.142581, -1.132816)], [interval(1.923836, 1.933601),
interval(-1.142581, -1.132816)], [interval(1.923836, 1.933601), interval(-1.132816,
-1.123050)], [interval(1.923836, 1.933601), interval(-1.123050, -1.113284)],
[interval(1.933601, 1.943367), interval(-1.123050, -1.113284)], [interval(1.933601,
1.943367), interval(-1.113284, -1.103519)], [interval(1.943367, 1.953132),
interval(-1.113284, -1.103519)], [interval(1.943367, 1.953132), interval(-1.103519,
-1.093753)], [interval(1.943367, 1.953132), interval(-1.093753, -1.083987)],
[interval(1.953132, 1.962897), interval(-1.093753, -1.083987)], [interval(1.953132,
1.962897), interval(-1.083987, -1.074222)], [interval(1.953132, 1.962897),
interval(-1.074222, -1.064456)], [interval(1.962897, 1.972663), interval(-1.074222,
-1.064456)], [interval(1.962897, 1.972663), interval(-1.064456, -1.054690)],
[interval(1.962897, 1.972663), interval(-1.054690, -1.044925)], [interval(1.972663,
1.982428), interval(-1.054690, -1.044925)], [interval(1.972663, 1.982428),
interval(-1.044925, -1.035159)], [interval(1.972663, 1.982428), interval(-1.035159,
-1.025393)], [interval(1.982428, 1.992193), interval(-1.035159, -1.025393)],
[interval(1.982428, 1.992193), interval(-1.025393, -1.015628)], [interval(1.982428,
1.992193), interval(-1.015628, -1.005862)], [interval(1.992193, 2.001959),
interval(-1.015628, -1.005862)], [interval(1.992193, 2.001959), interval(-1.005862,
-0.996096)], [interval(1.992193, 2.001959), interval(-0.996096, -0.986331)],
[interval(2.001959, 2.011724), interval(-0.996096,
-0.986331)], [interval(2.001959, 2.011724), interval(-0.986331, -0.976565)],
[interval(2.001959, 2.011724), interval(-0.976565, -0.966799)], [interval(2.011724,
2.021489), interval(-0.976565, -0.966799)], [interval(2.011724, 2.021489),
interval(-0.966799, -0.957034)], [interval(2.011724, 2.021489), interval(-0.957034,
-0.947268)], [interval(2.021489, 2.031255), interval(-0.957034, -0.947268)],
[interval(2.021489, 2.031255), interval(-0.947268, -0.937502)], [interval(2.021489,
2.031255), interval(-0.937502, -0.927737)], [interval(2.031255, 2.041020),
interval(-0.937502, -0.927737)], [interval(2.031255, 2.041020), interval(-0.927737,
-0.917971)], [interval(2.031255, 2.041020), interval(-0.917971, -0.908205)],
[interval(2.041020, 2.050785), interval(-0.917971, -0.908205)], [interval(2.041020,
2.050785), interval(-0.908205, -0.898440)], [interval(2.041020, 2.050785),
interval(-0.898440, -0.888674)], [interval(2.050785, 2.060551), interval(-0.898440,
-0.888674)], [interval(2.050785, 2.060551), interval(-0.888674, -0.878908)],
[interval(2.050785, 2.060551), interval(-0.878908, -0.869143)], [interval(2.050785,
2.060551), interval(-0.869143, -0.859377)], [interval(2.060551, 2.070316),
interval(-0.869143, -0.859377)], [interval(2.060551, 2.070316), interval(-0.859377,
-0.849612)], [interval(2.060551, 2.070316), interval(-0.849612, -0.839846)],
[interval(2.070316, 2.080081), interval(-0.849612, -0.839846)], [interval(2.070316,
2.080081), interval(-0.839846, -0.830080)], [interval(2.070316, 2.080081),
interval(-0.830080, -0.820315)], [interval(2.080081, 2.089847), interval(-0.830080,
-0.820315)], [interval(2.080081, 2.089847), interval(-0.820315, -0.810549)],
[interval(2.080081, 2.089847), interval(-0.810549, -0.800783)], [interval(2.080081,
2.089847), interval(-0.800783, -0.791018)], [interval(2.089847, 2.099612),
interval(-0.800783, -0.791018)], [interval(2.089847, 2.099612), interval(-0.791018,
-0.781252)], [interval(2.089847, 2.099612), interval(-0.781252, -0.771486)],
[interval(2.089847, 2.099612), interval(-0.771486, -0.761721)], [interval(2.099612,
2.109377), interval(-0.771486, -0.761721)], [interval(2.099612, 2.109377),
interval(-0.761721, -0.751955)], [interval(2.099612, 2.109377), interval(-0.751955,
-0.742189)], [interval(2.099612, 2.109377), interval(-0.742189, -0.732424)],
[interval(2.109377, 2.119143), interval(-0.742189, -0.732424)], [interval(2.109377,
2.119143), interval(-0.732424, -0.722658)], [interval(2.109377, 2.119143),
interval(-0.722658, -0.712892)], [interval(2.119143, 2.128908), interval(-0.722658,
-0.712892)], [interval(2.119143, 2.128908), interval(-0.712892, -0.703127)],
[interval(2.119143, 2.128908), interval(-0.703127, -0.693361)], [interval(2.119143,
2.128908), interval(-0.693361, -0.683595)], [interval(2.128908, 2.138673),
interval(-0.693361, -0.683595)], [interval(2.128908, 2.138673), interval(-0.683595,
-0.673830)], [interval(2.128908, 2.138673), interval(-0.673830, -0.664064)],
[interval(2.128908, 2.138673), interval(-0.664064, -0.654298)], [interval(2.128908,
2.138673), interval(-0.654298, -0.644533)], [interval(2.138673, 2.148439),
interval(-0.654298, -0.644533)], [interval(2.138673, 2.148439), interval(-0.644533,
-0.634767)], [interval(2.138673, 2.148439), interval(-0.634767, -0.625001)],
[interval(2.138673, 2.148439), interval(-0.625001, -0.615236)], [interval(2.148439,
2.158204), interval(-0.625001, -0.615236)], [interval(2.148439, 2.158204),
interval(-0.615236, -0.605470)], [interval(2.148439, 2.158204), interval(-0.605470,
-0.595704)], [interval(2.148439, 2.158204), interval(-0.595704, -0.585938)],
[interval(2.148439, 2.158204), interval(-0.585938, -0.576172)], [interval(2.158204,
2.167969), interval(-0.585938, -0.576172)], [interval(2.158204, 2.167969),
interval(-0.576172, -0.566406)], [interval(2.158204, 2.167969), interval(-0.566406,
-0.556641)], [interval(2.158204, 2.167969), interval(-0.556641, -0.546875)],
[interval(2.167969, 2.177735), interval(-0.556641, -0.546875)], [interval(2.167969,
2.177735), interval(-0.546875, -0.537109)], [interval(2.167969, 2.177735),
interval(-0.537109, -0.527343)], [interval(2.167969, 2.177735), interval(-0.527343,
-0.517577)], [interval(2.167969, 2.177735), interval(-0.517577, -0.507812)],
[interval(2.167969, 2.177735), interval(-0.507812, -0.498046)], [interval(2.177735,
2.187500), interval(-0.507812, -0.498046)], [interval(2.177735, 2.187500),
interval(-0.498046, -0.488280)], [interval(2.177735, 2.187500), interval(-0.488280,
-0.478514)], [interval(2.177735, 2.187500), interval(-0.478514, -0.468748)],
[interval(2.177735, 2.187500), interval(-0.468748, -0.458982)], [interval(2.177735,
2.187500), interval(0.458984, 0.468749)], [interval(2.177735, 2.187500),
interval(0.468749, 0.478514)], [interval(2.177735, 2.187500), interval(0.478514,
0.488280)], [interval(2.167969, 2.177735), interval(0.498045, 0.507810)],
[interval(2.177735, 2.187500), interval(0.488280, 0.498045)], [interval(2.177735,
2.187500), interval(0.498045, 0.507810)], [interval(2.167969, 2.177735),
interval(0.507810, 0.517575)], [interval(2.167969, 2.177735), interval(0.517575,
0.527340)], [interval(2.167969, 2.177735), interval(0.527340, 0.537105)],
[interval(2.167969, 2.177735), interval(0.537105, 0.546870)], [interval(2.138673,
2.148439), interval(0.615226, 0.624992)], [interval(2.158204, 2.167969),
interval(0.546870, 0.556636)], [interval(2.158204, 2.167969), interval(0.556636,
0.566401)], [interval(2.148439, 2.158204), interval(0.576166, 0.585931)],
[interval(2.158204, 2.167969), interval(0.566401, 0.576166)], [interval(2.158204,
2.167969), interval(0.576166, 0.585931)], [interval(2.167969, 2.177735),
interval(0.546870, 0.556636)], [interval(2.148439, 2.158204), interval(0.585931,
0.595696)], [interval(2.148439, 2.158204), interval(0.595696, 0.605461)],
[interval(2.148439, 2.158204), interval(0.605461, 0.615226)], [interval(2.148439,
2.158204), interval(0.615226, 0.624992)], [interval(2.021489, 2.031255),
interval(0.927725, 0.937491)], [interval(2.099612, 2.109377), interval(0.732413,
0.742179)], [interval(2.099612, 2.109377), interval(0.742179, 0.751944)],
[interval(2.099612, 2.109377), interval(0.751944, 0.761710)], [interval(2.089847,
2.099612), interval(0.761710, 0.771476)], [interval(2.089847, 2.099612),
interval(0.771476, 0.781241)], [interval(2.099612, 2.109377), interval(0.761710,
0.771476)], [interval(2.138673, 2.148439), interval(0.624992, 0.634757)],
[interval(2.138673, 2.148439), interval(0.634757, 0.644523)], [interval(2.128908,
2.138673), interval(0.644523, 0.654288)], [interval(2.128908, 2.138673),
interval(0.654288, 0.664054)], [interval(2.138673, 2.148439), interval(0.644523,
0.654288)], [interval(2.119143, 2.128908), interval(0.683585, 0.693351)],
[interval(2.119143, 2.128908), interval(0.693351, 0.703116)], [interval(2.128908,
2.138673), interval(0.664054, 0.673820)], [interval(2.128908, 2.138673),
interval(0.673820, 0.683585)], [interval(2.128908, 2.138673), interval(0.683585,
0.693351)], [interval(2.109377, 2.119143), interval(0.712882, 0.722648)],
[interval(2.119143, 2.128908), interval(0.703116, 0.712882)], [interval(2.119143,
2.128908), interval(0.712882, 0.722648)], [interval(2.109377, 2.119143),
interval(0.722648, 0.732413)], [interval(2.109377, 2.119143), interval(0.732413,
0.742179)], [interval(2.060551, 2.070316), interval(0.839835, 0.849600)],
[interval(2.060551, 2.070316), interval(0.849600, 0.859366)], [interval(2.080081,
2.089847), interval(0.791007, 0.800772)], [interval(2.080081, 2.089847),
interval(0.800772, 0.810538)], [interval(2.080081, 2.089847), interval(0.810538,
0.820304)], [interval(2.089847, 2.099612), interval(0.781241, 0.791007)],
[interval(2.089847, 2.099612), interval(0.791007, 0.800772)], [interval(2.070316,
2.080081), interval(0.820304, 0.830069)], [interval(2.070316, 2.080081),
interval(0.830069, 0.839835)], [interval(2.080081, 2.089847), interval(0.820304,
0.830069)], [interval(2.070316, 2.080081), interval(0.839835, 0.849600)],
[interval(2.041020, 2.050785), interval(0.888663, 0.898428)], [interval(2.050785,
2.060551), interval(0.859366, 0.869132)], [interval(2.050785, 2.060551),
interval(0.869132, 0.878897)], [interval(2.060551, 2.070316), interval(0.859366,
0.869132)], [interval(2.050785, 2.060551), interval(0.878897, 0.888663)],
[interval(2.050785, 2.060551), interval(0.888663, 0.898428)], [interval(2.031255,
2.041020), interval(0.908194, 0.917960)], [interval(2.041020, 2.050785),
interval(0.898428, 0.908194)], [interval(2.041020, 2.050785), interval(0.908194,
0.917960)], [interval(2.031255, 2.041020), interval(0.917960, 0.927725)],
[interval(2.031255, 2.041020), interval(0.927725, 0.937491)], [interval(1.943367,
1.953132), interval(1.083983, 1.093749)], [interval(1.982428, 1.992193),
interval(1.005854, 1.015620)], [interval(2.001959, 2.011724), interval(0.966789,
0.976555)], [interval(2.011724, 2.021489), interval(0.947257, 0.957023)],
[interval(2.021489, 2.031255), interval(0.937491, 0.947257)], [interval(2.021489,
2.031255), interval(0.947257, 0.957023)], [interval(2.011724, 2.021489),
interval(0.957023, 0.966789)], [interval(2.011724, 2.021489), interval(0.966789,
0.976555)], [interval(1.992193, 2.001959), interval(0.986322, 0.996088)],
[interval(2.001959, 2.011724), interval(0.976555, 0.986322)], [interval(2.001959,
2.011724), interval(0.986322, 0.996088)], [interval(1.992193, 2.001959),
interval(0.996088, 1.005854)], [interval(1.992193, 2.001959), interval(1.005854,
1.015620)], [interval(1.962897, 1.972663), interval(1.044919, 1.054685)],
[interval(1.972663, 1.982428), interval(1.025386, 1.035152)], [interval(1.982428,
1.992193), interval(1.015620, 1.025386)], [interval(1.982428, 1.992193),
interval(1.025386, 1.035152)], [interval(1.972663, 1.982428), interval(1.035152,
1.044919)], [interval(1.972663, 1.982428), interval(1.044919, 1.054685)],
[interval(1.953132, 1.962897), interval(1.064451, 1.074217)], [interval(1.962897,
1.972663), interval(1.054685, 1.064451)], [interval(1.962897, 1.972663),
interval(1.064451, 1.074217)], [interval(1.953132, 1.962897), interval(1.074217,
1.083983)], [interval(1.953132, 1.962897), interval(1.083983, 1.093749)],
[interval(1.904305, 1.914071), interval(1.152346, 1.162113)], [interval(1.904305,
1.914071), interval(1.162113, 1.171879)], [interval(1.923836, 1.933601),
interval(1.113282, 1.123048)], [interval(1.923836, 1.933601), interval(1.123048,
1.132814)], [interval(1.933601, 1.943367), interval(1.103516, 1.113282)],
[interval(1.943367, 1.953132), interval(1.093749, 1.103516)], [interval(1.943367,
1.953132), interval(1.103516, 1.113282)], [interval(1.933601, 1.943367),
interval(1.113282, 1.123048)], [interval(1.914071, 1.923836), interval(1.132814,
1.142580)], [interval(1.914071, 1.923836), interval(1.142580, 1.152346)],
[interval(1.923836, 1.933601), interval(1.132814, 1.142580)], [interval(1.914071,
1.923836), interval(1.152346, 1.162113)], [interval(1.884775, 1.894540),
interval(1.181645, 1.191411)], [interval(1.875009, 1.884775), interval(1.201177,
1.210943)], [interval(1.884775, 1.894540), interval(1.191411, 1.201177)],
[interval(1.884775, 1.894540), interval(1.201177, 1.210943)], [interval(1.894540,
1.904305), interval(1.171879, 1.181645)], [interval(1.894540, 1.904305),
interval(1.181645, 1.191411)], [interval(1.904305, 1.914071), interval(1.171879,
1.181645)], [interval(1.875009, 1.884775), interval(1.210943, 1.220710)],
[interval(2.187500, 2.197266), interval(-0.468748, -0.458982)], [interval(2.187500,
2.197266), interval(-0.458982, -0.449217)], [interval(2.187500, 2.197266),
interval(-0.449217, -0.439451)], [interval(2.187500, 2.197266), interval(-0.439451,
-0.429685)], [interval(2.187500, 2.197266), interval(-0.429685, -0.419919)],
[interval(2.187500, 2.197266), interval(-0.419919, -0.410153)], [interval(2.197266,
2.207031), interval(-0.419919, -0.410153)], [interval(2.197266, 2.207031),
interval(-0.410153, -0.400387)], [interval(2.197266, 2.207031), interval(-0.400387,
-0.390622)], [interval(2.197266, 2.207031), interval(-0.390622, -0.380856)],
[interval(2.197266, 2.207031), interval(-0.380856, -0.371090)], [interval(2.197266,
2.207031), interval(-0.371090, -0.361324)], [interval(2.197266, 2.207031),
interval(-0.361324, -0.351558)], [interval(2.207031, 2.216797), interval(-0.361324,
-0.351558)], [interval(2.207031, 2.216797), interval(-0.351558, -0.341792)],
[interval(2.207031, 2.216797), interval(-0.341792, -0.332027)], [interval(2.207031,
2.216797), interval(-0.332027, -0.322261)], [interval(2.207031, 2.216797),
interval(-0.322261, -0.312495)], [interval(2.207031, 2.216797), interval(-0.312495,
-0.302730)], [interval(2.207031, 2.216797), interval(-0.302730, -0.292964)],
[interval(2.207031, 2.216797), interval(-0.292964, -0.283199)], [interval(2.216797,
2.226562), interval(-0.292964, -0.283199)], [interval(2.216797, 2.226562),
interval(-0.283199, -0.273433)], [interval(2.216797, 2.226562), interval(-0.273433,
-0.263668)], [interval(2.216797, 2.226562), interval(-0.263668, -0.253902)],
[interval(2.216797, 2.226562), interval(-0.253902, -0.244137)], [interval(2.216797,
2.226562), interval(-0.244137, -0.234371)], [interval(2.216797, 2.226562),
interval(-0.234371, -0.224606)], [interval(2.216797, 2.226562), interval(-0.224606,
-0.214840)], [interval(2.216797, 2.226562), interval(-0.214840, -0.205075)],
[interval(2.226562, 2.236328), interval(-0.214840, -0.205075)], [interval(2.226562,
2.236328), interval(-0.205075, -0.195309)], [interval(2.226562, 2.236328),
interval(-0.195309, -0.185544)], [interval(2.226562, 2.236328), interval(-0.185544,
-0.175779)], [interval(2.226562, 2.236328), interval(-0.175779, -0.166013)],
[interval(2.226562, 2.236328), interval(-0.166013, -0.156248)], [interval(2.226562,
2.236328), interval(-0.156248, -0.146482)], [interval(2.226562, 2.236328),
interval(-0.146482, -0.136717)], [interval(2.226562, 2.236328), interval(-0.136717,
-0.126951)], [interval(2.226562, 2.236328), interval(-0.126951, -0.117186)],
[interval(2.226562, 2.236328), interval(-0.117186, -0.107420)], [interval(2.226562,
2.236328), interval(-0.107420, -0.097655)], [interval(2.226562, 2.236328),
interval(-0.097655, -0.087889)], [interval(2.226562, 2.236328), interval(-0.087889,
-0.078124)], [interval(2.226562, 2.236328), interval(-0.078124, -0.068358)],
[interval(2.226562, 2.236328), interval(-0.068358, -0.058593)], [interval(2.226562,
2.236328), interval(-0.058593, -0.048828)], [interval(2.226562, 2.236328),
interval(-0.048828, -0.039062)], [interval(2.226562, 2.236328), interval(-0.039062,
-0.029297)], [interval(2.226562, 2.236328), interval(-0.029297, -0.019531)],
[interval(2.226562, 2.236328), interval(-0.019531, -0.009766)], [interval(2.226562,
2.236328), interval(-0.009766, -0.000000)], [interval(2.226562, 2.236328),
interval(-0.000000, 0.009766)], [interval(2.226562, 2.236328), interval(0.009766,
0.019531)], [interval(2.226562, 2.236328), interval(0.019531, 0.029297)],
[interval(2.226562, 2.236328), interval(0.029297, 0.039063)], [interval(2.226562,
2.236328), interval(0.039063, 0.048829)], [interval(2.226562, 2.236328),
interval(0.048829, 0.058595)], [interval(2.226562, 2.236328), interval(0.058595,
0.068361)], [interval(2.226562, 2.236328), interval(0.068361, 0.078127)],
[interval(2.226562, 2.236328), interval(0.078127, 0.087892)], [interval(2.226562,
2.236328), interval(0.087892, 0.097658)], [interval(2.226562, 2.236328),
interval(0.097658, 0.107424)], [interval(2.226562, 2.236328), interval(0.107424,
0.117190)], [interval(2.226562, 2.236328), interval(0.117190, 0.126956)],
[interval(2.226562, 2.236328), interval(0.126956, 0.136722)], [interval(2.226562,
2.236328), interval(0.136722, 0.146487)], [interval(2.226562, 2.236328),
interval(0.146487, 0.156253)], [interval(2.216797, 2.226562), interval(0.205083,
0.214848)], [interval(2.216797, 2.226562), interval(0.214848, 0.224614)],
[interval(2.216797, 2.226562), interval(0.224614, 0.234380)], [interval(2.226562,
2.236328), interval(0.156253, 0.166019)], [interval(2.226562, 2.236328),
interval(0.166019, 0.175785)], [interval(2.226562, 2.236328), interval(0.175785,
0.185551)], [interval(2.226562, 2.236328), interval(0.185551, 0.195317)],
[interval(2.226562, 2.236328), interval(0.195317, 0.205083)], [interval(2.226562,
2.236328), interval(0.205083, 0.214848)], [interval(2.216797, 2.226562),
interval(0.234380, 0.244146)], [interval(2.216797, 2.226562), interval(0.244146,
0.253912)], [interval(2.216797, 2.226562), interval(0.253912, 0.263678)],
[interval(2.216797, 2.226562), interval(0.263678, 0.273443)], [interval(2.207031,
2.216797), interval(0.283209, 0.292975)], [interval(2.216797, 2.226562),
interval(0.273443, 0.283209)], [interval(2.216797, 2.226562), interval(0.283209,
0.292975)], [interval(2.207031, 2.216797), interval(0.292975, 0.302741)],
[interval(2.207031, 2.216797), interval(0.302741, 0.312507)], [interval(2.207031,
2.216797), interval(0.312507, 0.322272)], [interval(2.207031, 2.216797),
interval(0.322272, 0.332037)], [interval(2.207031, 2.216797), interval(0.332037,
0.341802)], [interval(2.207031, 2.216797), interval(0.341802, 0.351567)],
[interval(2.197266, 2.207031), interval(0.351567, 0.361333)], [interval(2.197266,
2.207031), interval(0.361333, 0.371098)], [interval(2.197266, 2.207031),
interval(0.371098, 0.380863)], [interval(2.197266, 2.207031), interval(0.380863,
0.390628)], [interval(2.207031, 2.216797), interval(0.351567, 0.361333)],
[interval(2.197266, 2.207031), interval(0.390628, 0.400393)], [interval(2.197266,
2.207031), interval(0.400393, 0.410158)], [interval(2.187500, 2.197266),
interval(0.410158, 0.419923)], [interval(2.187500, 2.197266), interval(0.419923,
0.429689)], [interval(2.197266, 2.207031), interval(0.410158, 0.419923)],
[interval(2.187500, 2.197266), interval(0.429689, 0.439454)], [interval(2.187500,
2.197266), interval(0.439454, 0.449219)], [interval(2.187500, 2.197266),
interval(0.449219, 0.458984)], [interval(2.187500, 2.197266), interval(0.458984,
0.468749)]], 'fill')