framework/resources/Functional/union/union_18.e

null
11583.32
4777.743
785.95
98362.924
474771.17
148.44
10254.74
144.44
1293541.37
881941.945
39516.277
12920.48
4826.897
143.44
48256.897
7263085.95
466679.327
146.44
1478.44