実行時間のチェックを入れてみたところ，行列式の計算で時間がかかるようであった．ソートの処理に時間がかかっているのではない．メモリ不足になっているわけではないので，数日は走らせることができれば終了するだろうが・・・（阪本ひろむ）

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

　ともあれ，これで第１項からなる数列，

　　｛２，４，１０，２６，７６，・・・｝

は

　　ａn＝ａn-1＋（ｎ−１）ａn-2

を満たすと信じるしかなくなった．

　佐藤のＶ7予想

［１］行列式の絶対値は

　　０，１，１/２，１／４，１／８，１／√２，１／２√２，１／４√２

のいずれかになる（はず）

［２］行列式の絶対値が１になるものが２３２個ある（はず）

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