Tetraeder
Tetraeder
>
restart:
>
Tetraeder([1,2,1],2,P);