Prop5.1(a) (2, 2, 2) True
Prop5.1(a) (2, 2, 3) True
Prop5.1(a) (3, 2, 2) True
Prop5.1(a) (2, 3, 4) True
Prop5.1(a) (4, 3, 2) True
Prop5.1(a) (3, 3, 3) True
Prop5.1(a) (2, 2, 2, 2) True
Prop5.1(a) (3, 2, 2, 2) True
Prop5.1(a) (2, 2, 2, 2, 2) True
Prop5.1(a) (3, 3, 2, 2) True
Prop5.1(a) (2, 2, 2, 2, 2, 2) True
Prop5.1(b) (3, 3) True
Prop5.1(b) (3, 4) True
Prop5.1(b) (4, 3) True
Prop5.1(b) (4, 4) True
Prop5.1(b) (3, 6) True
Prop5.1(b) (5, 5) True
Prop5.1(b) (6, 3) True
Rem7.3 {111,122,212,223}: full-dim and no finitely completable entry True
Sec.7 example (3, 3) full-dim, has a finitely completable entry True
Sec.7 example (2, 2, 2) full-dim, has a finitely completable entry True
ALL PASS
