局所幾何は

（１，１５，６０，８０，４５，１２，１）

　大域幾何は

（４３２，３２４０，７９２０，７２００，２４３０，３４２）

　もしファセットが３種類だとしたらｈγ5（頂点数１６），α5（頂点数６）のほかに，もう１種類（頂点数８０）．

　さらに，α4×α1（頂点数１０）が加わる．

ｆ5＝（ｘ／１６＋ｙ／６＋ｚ／８０＋ｗ／１０）・ｆ0

ｘ／１６＋ｙ／６＋ｚ／８０＋ｗ／１０＝３４２／４３２

２７０ｘ＋７２０ｙ＋５４ｚ＋４３２ｗ＝３４２０

ｘ＋ｙ＋ｚ＋ｗ＝１２より

７２０ｘ＋７２０ｙ＋７２０ｚ＋７２０ｗ＝８６４０

４５０ｘ＋６６６ｚ＋２８８ｗ＝５２２０

（ｘ，ｚ，ｗ）＝（１，ｚ，ｗ）

６６６ｚ＋２８８ｗ＝４７７０・・・６で割れないのでＮＧ

（ｘ，ｚ，ｗ）＝（２，ｚ，ｗ）

６６６ｚ＋２８８ｗ＝４３２０・・・６で割れる

３７ｚ＋１６ｗ＝２４０

（ｘ，ｚ，ｗ）＝（４，ｚ，ｗ）

６６６ｚ＋２８８ｗ＝２５２０・・・６で割れる

３７ｚ＋１６ｗ＝１４０

（ｘ，ｚ，ｗ）＝（６，ｚ，ｗ）

６６６ｚ＋２８８ｗ＝１６２０・・・６で割れる

３７ｚ＋１６ｗ＝９０，ｚ＝２，ｗ＝１，ｘ＝６，ｙ＝３　　（ＯＫ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

大域幾何も局所幾何も数はあっていると思われるが、内訳は必ずしも合致していないようである

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝