>>864
scalarを自作8192bit floatライブラリにして計算しました
全部はれなかったのではれたぶんだけ
探索方法は全く同じです
頂点座標は体積最大値の半分くらいの桁数で求まるようです

今回は速度が問題にならなかったので力業のままで

8面体は自力で面の構成を考えたけど
9面以上はコンピューターに考えさせないとキビシイかな？