max |double - rigorous| over developed vertices (cut v0): 5.525e-16 ; rigorous enclosure width: 4.641e-89
determinants (double): ['-0.467473943385663', '0.051503189034231', '0.034768287037840', '-0.484208845382054']
max |double - rigorous| over the four determinants: 1.804e-16 ; smallest |determinant| 0.034768
