output1.off

OFF
8 11 18
6.490000 4.210000 0.000000
6.900000 0.590000 0.000000
7.630000 9.260000 0.000000
7.770000 9.150000 0.000000
7.930000 3.350000 0.000000
-10.000000 -10.000000 0.000000
20.000000 -10.000000 0.000000
5.000000 20.000000 0.000000
3 1 5 6
3 0 4 1
3 0 5 7
3 4 1 6
3 0 1 5
3 2 3 0
3 0 2 7
3 3 6 7
3 2 3 7
3 3 4 6
3 0 3 4