OFF
13 14 26
 0.000000  1.000000  1.000000 
 1.000000  0.000000  1.000000 
 0.000000 -1.000000  1.000000 
 1.000000  1.000000  0.000000 
-1.000000  1.000000  0.000000 
 0.000000 -1.000000 -1.000000 
-1.000000 -0.500000 -0.500000 
-1.000000  0.000000 -1.000000 
-1.000000 -1.000000  0.000000 
 1.000000  0.000000 -1.000000 
-1.000000  0.000000  1.000000 
 1.000000 -1.000000  0.000000 
 0.000000  1.000000 -1.000000 

3 1 3 0
4 0 10 2 1
3 10 0 4
5 4 7 6 8 10
3 4 12 7
4 3 12 4 0
3 10 8 2
3 7 5 8
4 9 3 1 11
3 9 12 3
3 11 1 2
4 5 11 2 8
4 12 9 5 7
3 9 11 5
