[bin]000000000000F03F000000000000F03F000000000000F03F[/bin] 1.0000 1.0000 1.0000
[bin]000000000000F0BF000000000000F0BF000000000000F03F[/bin]-1.0000 -1.0000 1.0000
[bin]000000000000F0BF000000000000F03F000000000000F0BF[/bin]-1.0000 1.0000 -1.0000
[bin]000000000000F03F000000000000F0BF000000000000F0BF[/bin] 1.0000 -1.0000 -1.0000
0, 2, 1
0, 1, 3
0, 3, 2
1, 2, 3
true
true
false
false
false
false
false
false
false
[bin]000000000000E83F000000000000E83F000000000000E83F[/bin] 0.7500 0.7500 0.7500
[bin]000000000000000000000000000000000000000000000000[/bin] 0.0000 0.0000 0.0000
[bin]0B4143E839F31540F9B71D179D951A4056DA9E61D5481440[/bin] 5.4875 6.6461 5.0711
[bin]7109197E8302E9BFC1EFE10BE9F0E33F65FD584942BB9D3F[/bin]-0.7816 0.6232 0.0290
0.000000