verify_owr4798013.py: DMAX=12, BETTI_DMAX=8
(i,d)=(0,2): facets=2 faces=6 filling_criterion=ok complement=A(B(0,2)):True pseudomanifold:True bdB=bdC:True (boundary ridges 4) B_cap_C=bdB:True collapse_to_C*_1:ok (2 elementary collapses, 2 faces left) betti2(B)=[2, 0] betti2(bdB)=[4] as_expected:True
(i,d)=(0,3): facets=2 faces=14 filling_criterion=ok complement=A(B(1,3)):True pseudomanifold:True bdB=bdC:True (boundary ridges 6) B_cap_C=bdB:True collapse_to_C*_1:ok (6 elementary collapses, 2 faces left) betti2(B)=[2, 0, 0] betti2(bdB)=[2, 2] as_expected:True
(i,d)=(1,3): facets=6 faces=24 filling_criterion=ok complement=A(B(0,3)):True pseudomanifold:True bdB=bdC:True (boundary ridges 6) B_cap_C=bdB:True collapse_to_C*_2:ok (8 elementary collapses, 8 faces left) betti2(B)=[1, 1, 0] betti2(bdB)=[2, 2] as_expected:True
(i,d)=(0,4): facets=2 faces=30 filling_criterion=ok complement=A(B(2,4)):True pseudomanifold:True bdB=bdC:True (boundary ridges 8) B_cap_C=bdB:True collapse_to_C*_1:ok (14 elementary collapses, 2 faces left) betti2(B)=[2, 0, 0, 0] betti2(bdB)=[2, 0, 2] as_expected:True
(i,d)=(1,4): facets=8 faces=64 filling_criterion=ok complement=A(B(1,4)):True pseudomanifold:True bdB=bdC:True (boundary ridges 16) B_cap_C=bdB:True collapse_to_C*_2:ok (28 elementary collapses, 8 faces left) betti2(B)=[1, 1, 0, 0] betti2(bdB)=[1, 2, 1] as_expected:True
(i,d)=(2,4): facets=14 faces=78 filling_criterion=ok complement=A(B(0,4)):True pseudomanifold:True bdB=bdC:True (boundary ridges 8) B_cap_C=bdB:True collapse_to_C*_3:ok (26 elementary collapses, 26 faces left) betti2(B)=[1, 0, 1, 0] betti2(bdB)=[2, 0, 2] as_expected:True
(i,d)=(0,5): facets=2 faces=62 filling_criterion=ok complement=A(B(3,5)):True pseudomanifold:True bdB=bdC:True (boundary ridges 10) B_cap_C=bdB:True collapse_to_C*_1:ok (30 elementary collapses, 2 faces left) betti2(B)=[2, 0, 0, 0, 0] betti2(bdB)=[2, 0, 0, 2] as_expected:True
(i,d)=(1,5): facets=10 faces=160 filling_criterion=ok complement=A(B(2,5)):True pseudomanifold:True bdB=bdC:True (boundary ridges 30) B_cap_C=bdB:True collapse_to_C*_2:ok (76 elementary collapses, 8 faces left) betti2(B)=[1, 1, 0, 0, 0] betti2(bdB)=[1, 1, 1, 1] as_expected:True
(i,d)=(2,5): facets=22 faces=222 filling_criterion=ok complement=A(B(1,5)):True pseudomanifold:True bdB=bdC:True (boundary ridges 30) B_cap_C=bdB:True collapse_to_C*_3:ok (98 elementary collapses, 26 faces left) betti2(B)=[1, 0, 1, 0, 0] betti2(bdB)=[1, 1, 1, 1] as_expected:True
(i,d)=(3,5): facets=30 faces=240 filling_criterion=ok complement=A(B(0,5)):True pseudomanifold:True bdB=bdC:True (boundary ridges 10) B_cap_C=bdB:True collapse_to_C*_4:ok (80 elementary collapses, 80 faces left) betti2(B)=[1, 0, 0, 1, 0] betti2(bdB)=[2, 0, 0, 2] as_expected:True
(i,d)=(0,6): facets=2 faces=126 filling_criterion=ok complement=A(B(4,6)):True pseudomanifold:True bdB=bdC:True (boundary ridges 12) B_cap_C=bdB:True collapse_to_C*_1:ok (62 elementary collapses, 2 faces left) betti2(B)=[2, 0, 0, 0, 0, 0] betti2(bdB)=[2, 0, 0, 0, 2] as_expected:True
(i,d)=(1,6): facets=12 faces=384 filling_criterion=ok complement=A(B(3,6)):True pseudomanifold:True bdB=bdC:True (boundary ridges 48) B_cap_C=bdB:True collapse_to_C*_2:ok (188 elementary collapses, 8 faces left) betti2(B)=[1, 1, 0, 0, 0, 0] betti2(bdB)=[1, 1, 0, 1, 1] as_expected:True
(i,d)=(2,6): facets=32 faces=606 filling_criterion=ok complement=A(B(2,6)):True pseudomanifold:True bdB=bdC:True (boundary ridges 72) B_cap_C=bdB:True collapse_to_C*_3:ok (290 elementary collapses, 26 faces left) betti2(B)=[1, 0, 1, 0, 0, 0] betti2(bdB)=[1, 0, 2, 0, 1] as_expected:True
(i,d)=(3,6): facets=52 faces=704 filling_criterion=ok complement=A(B(1,6)):True pseudomanifold:True bdB=bdC:True (boundary ridges 48) B_cap_C=bdB:True collapse_to_C*_4:ok (312 elementary collapses, 80 faces left) betti2(B)=[1, 0, 0, 1, 0, 0] betti2(bdB)=[1, 1, 0, 1, 1] as_expected:True
(i,d)=(4,6): facets=62 faces=726 filling_criterion=ok complement=A(B(0,6)):True pseudomanifold:True bdB=bdC:True (boundary ridges 12) B_cap_C=bdB:True collapse_to_C*_5:ok (242 elementary collapses, 242 faces left) betti2(B)=[1, 0, 0, 0, 1, 0] betti2(bdB)=[2, 0, 0, 0, 2] as_expected:True
(i,d)=(0,7): facets=2 faces=254 filling_criterion=ok complement=A(B(5,7)):True pseudomanifold:True bdB=bdC:True (boundary ridges 14) B_cap_C=bdB:True collapse_to_C*_1:ok (126 elementary collapses, 2 faces left) betti2(B)=[2, 0, 0, 0, 0, 0, 0] betti2(bdB)=[2, 0, 0, 0, 0, 2] as_expected:True
(i,d)=(1,7): facets=14 faces=896 filling_criterion=ok complement=A(B(4,7)):True pseudomanifold:True bdB=bdC:True (boundary ridges 70) B_cap_C=bdB:True collapse_to_C*_2:ok (444 elementary collapses, 8 faces left) betti2(B)=[1, 1, 0, 0, 0, 0, 0] betti2(bdB)=[1, 1, 0, 0, 1, 1] as_expected:True
(i,d)=(2,7): facets=44 faces=1598 filling_criterion=ok complement=A(B(3,7)):True pseudomanifold:True bdB=bdC:True (boundary ridges 140) B_cap_C=bdB:True collapse_to_C*_3:ok (786 elementary collapses, 26 faces left) betti2(B)=[1, 0, 1, 0, 0, 0, 0] betti2(bdB)=[1, 0, 1, 1, 0, 1] as_expected:True
(i,d)=(3,7): facets=84 faces=2016 filling_criterion=ok complement=A(B(2,7)):True pseudomanifold:True bdB=bdC:True (boundary ridges 140) B_cap_C=bdB:True collapse_to_C*_4:ok (968 elementary collapses, 80 faces left) betti2(B)=[1, 0, 0, 1, 0, 0, 0] betti2(bdB)=[1, 0, 1, 1, 0, 1] as_expected:True
(i,d)=(4,7): facets=114 faces=2158 filling_criterion=ok complement=A(B(1,7)):True pseudomanifold:True bdB=bdC:True (boundary ridges 70) B_cap_C=bdB:True collapse_to_C*_5:ok (958 elementary collapses, 242 faces left) betti2(B)=[1, 0, 0, 0, 1, 0, 0] betti2(bdB)=[1, 1, 0, 0, 1, 1] as_expected:True
(i,d)=(5,7): facets=126 faces=2184 filling_criterion=ok complement=A(B(0,7)):True pseudomanifold:True bdB=bdC:True (boundary ridges 14) B_cap_C=bdB:True collapse_to_C*_6:ok (728 elementary collapses, 728 faces left) betti2(B)=[1, 0, 0, 0, 0, 1, 0] betti2(bdB)=[2, 0, 0, 0, 0, 2] as_expected:True
(i,d)=(0,8): facets=2 faces=510 filling_criterion=ok complement=A(B(6,8)):True pseudomanifold:True bdB=bdC:True (boundary ridges 16) B_cap_C=bdB:True collapse_to_C*_1:ok (254 elementary collapses, 2 faces left) betti2(B)=[2, 0, 0, 0, 0, 0, 0, 0] betti2(bdB)=[2, 0, 0, 0, 0, 0, 2] as_expected:True
(i,d)=(1,8): facets=16 faces=2048 filling_criterion=ok complement=A(B(5,8)):True pseudomanifold:True bdB=bdC:True (boundary ridges 96) B_cap_C=bdB:True collapse_to_C*_2:ok (1020 elementary collapses, 8 faces left) betti2(B)=[1, 1, 0, 0, 0, 0, 0, 0] betti2(bdB)=[1, 1, 0, 0, 0, 1, 1] as_expected:True
(i,d)=(2,8): facets=58 faces=4094 filling_criterion=ok complement=A(B(4,8)):True pseudomanifold:True bdB=bdC:True (boundary ridges 240) B_cap_C=bdB:True collapse_to_C*_3:ok (2034 elementary collapses, 26 faces left) betti2(B)=[1, 0, 1, 0, 0, 0, 0, 0] betti2(bdB)=[1, 0, 1, 0, 1, 0, 1] as_expected:True
(i,d)=(3,8): facets=128 faces=5632 filling_criterion=ok complement=A(B(3,8)):True pseudomanifold:True bdB=bdC:True (boundary ridges 320) B_cap_C=bdB:True collapse_to_C*_4:ok (2776 elementary collapses, 80 faces left) betti2(B)=[1, 0, 0, 1, 0, 0, 0, 0] betti2(bdB)=[1, 0, 0, 2, 0, 0, 1] as_expected:True
(i,d)=(4,8): facets=198 faces=6334 filling_criterion=ok complement=A(B(2,8)):True pseudomanifold:True bdB=bdC:True (boundary ridges 240) B_cap_C=bdB:True collapse_to_C*_5:ok (3046 elementary collapses, 242 faces left) betti2(B)=[1, 0, 0, 0, 1, 0, 0, 0] betti2(bdB)=[1, 0, 1, 0, 1, 0, 1] as_expected:True
(i,d)=(5,8): facets=240 faces=6528 filling_criterion=ok complement=A(B(1,8)):True pseudomanifold:True bdB=bdC:True (boundary ridges 96) B_cap_C=bdB:True collapse_to_C*_6:ok (2900 elementary collapses, 728 faces left) betti2(B)=[1, 0, 0, 0, 0, 1, 0, 0] betti2(bdB)=[1, 1, 0, 0, 0, 1, 1] as_expected:True
(i,d)=(6,8): facets=254 faces=6558 filling_criterion=ok complement=A(B(0,8)):True pseudomanifold:True bdB=bdC:True (boundary ridges 16) B_cap_C=bdB:True collapse_to_C*_7:ok (2186 elementary collapses, 2186 faces left) betti2(B)=[1, 0, 0, 0, 0, 0, 1, 0] betti2(bdB)=[2, 0, 0, 0, 0, 0, 2] as_expected:True
(i,d)=(0,9): facets=2 faces=1022 filling_criterion=ok complement=A(B(7,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 18) B_cap_C=bdB:True collapse_to_C*_1:ok (510 elementary collapses, 2 faces left)
(i,d)=(1,9): facets=18 faces=4608 filling_criterion=ok complement=A(B(6,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 126) B_cap_C=bdB:True collapse_to_C*_2:ok (2300 elementary collapses, 8 faces left)
(i,d)=(2,9): facets=74 faces=10238 filling_criterion=ok complement=A(B(5,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 378) B_cap_C=bdB:True collapse_to_C*_3:ok (5106 elementary collapses, 26 faces left)
(i,d)=(3,9): facets=186 faces=15360 filling_criterion=ok complement=A(B(4,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 630) B_cap_C=bdB:True collapse_to_C*_4:ok (7640 elementary collapses, 80 faces left)
(i,d)=(4,9): facets=326 faces=18302 filling_criterion=ok complement=A(B(3,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 630) B_cap_C=bdB:True collapse_to_C*_5:ok (9030 elementary collapses, 242 faces left)
(i,d)=(5,9): facets=438 faces=19392 filling_criterion=ok complement=A(B(2,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 378) B_cap_C=bdB:True collapse_to_C*_6:ok (9332 elementary collapses, 728 faces left)
(i,d)=(6,9): facets=494 faces=19646 filling_criterion=ok complement=A(B(1,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 126) B_cap_C=bdB:True collapse_to_C*_7:ok (8730 elementary collapses, 2186 faces left)
(i,d)=(7,9): facets=510 faces=19680 filling_criterion=ok complement=A(B(0,9)):True pseudomanifold:True bdB=bdC:True (boundary ridges 18) B_cap_C=bdB:True collapse_to_C*_8:ok (6560 elementary collapses, 6560 faces left)
(i,d)=(0,10): facets=2 faces=2046 filling_criterion=ok complement=A(B(8,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 20) B_cap_C=bdB:True collapse_to_C*_1:ok (1022 elementary collapses, 2 faces left)
(i,d)=(1,10): facets=20 faces=10240 filling_criterion=ok complement=A(B(7,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 160) B_cap_C=bdB:True collapse_to_C*_2:ok (5116 elementary collapses, 8 faces left)
(i,d)=(2,10): facets=92 faces=25086 filling_criterion=ok complement=A(B(6,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 560) B_cap_C=bdB:True collapse_to_C*_3:ok (12530 elementary collapses, 26 faces left)
(i,d)=(3,10): facets=260 faces=40960 filling_criterion=ok complement=A(B(5,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 1120) B_cap_C=bdB:True collapse_to_C*_4:ok (20440 elementary collapses, 80 faces left)
(i,d)=(4,10): facets=512 faces=51966 filling_criterion=ok complement=A(B(4,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 1400) B_cap_C=bdB:True collapse_to_C*_5:ok (25862 elementary collapses, 242 faces left)
(i,d)=(5,10): facets=764 faces=57088 filling_criterion=ok complement=A(B(3,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 1120) B_cap_C=bdB:True collapse_to_C*_6:ok (28180 elementary collapses, 728 faces left)
(i,d)=(6,10): facets=932 faces=58686 filling_criterion=ok complement=A(B(2,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 560) B_cap_C=bdB:True collapse_to_C*_7:ok (28250 elementary collapses, 2186 faces left)
(i,d)=(7,10): facets=1004 faces=59008 filling_criterion=ok complement=A(B(1,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 160) B_cap_C=bdB:True collapse_to_C*_8:ok (26224 elementary collapses, 6560 faces left)
(i,d)=(8,10): facets=1022 faces=59046 filling_criterion=ok complement=A(B(0,10)):True pseudomanifold:True bdB=bdC:True (boundary ridges 20) B_cap_C=bdB:True collapse_to_C*_9:ok (19682 elementary collapses, 19682 faces left)
(i,d)=(0,11): facets=2 faces=4094 filling_criterion=ok complement=A(B(9,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 22) B_cap_C=bdB:True collapse_to_C*_1:ok (2046 elementary collapses, 2 faces left)
(i,d)=(1,11): facets=22 faces=22528 filling_criterion=ok complement=A(B(8,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 198) B_cap_C=bdB:True collapse_to_C*_2:ok (11260 elementary collapses, 8 faces left)
(i,d)=(2,11): facets=112 faces=60414 filling_criterion=ok complement=A(B(7,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 792) B_cap_C=bdB:True collapse_to_C*_3:ok (30194 elementary collapses, 26 faces left)
(i,d)=(3,11): facets=352 faces=107008 filling_criterion=ok complement=A(B(6,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 1848) B_cap_C=bdB:True collapse_to_C*_4:ok (53464 elementary collapses, 80 faces left)
(i,d)=(4,11): facets=772 faces=144894 filling_criterion=ok complement=A(B(5,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 2772) B_cap_C=bdB:True collapse_to_C*_5:ok (72326 elementary collapses, 242 faces left)
(i,d)=(5,11): facets=1276 faces=166144 filling_criterion=ok complement=A(B(4,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 2772) B_cap_C=bdB:True collapse_to_C*_6:ok (82708 elementary collapses, 728 faces left)
(i,d)=(6,11): facets=1696 faces=174462 filling_criterion=ok complement=A(B(3,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 1848) B_cap_C=bdB:True collapse_to_C*_7:ok (86138 elementary collapses, 2186 faces left)
(i,d)=(7,11): facets=1936 faces=176704 filling_criterion=ok complement=A(B(2,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 792) B_cap_C=bdB:True collapse_to_C*_8:ok (85072 elementary collapses, 6560 faces left)
(i,d)=(8,11): facets=2026 faces=177102 filling_criterion=ok complement=A(B(1,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 198) B_cap_C=bdB:True collapse_to_C*_9:ok (78710 elementary collapses, 19682 faces left)
(i,d)=(9,11): facets=2046 faces=177144 filling_criterion=ok complement=A(B(0,11)):True pseudomanifold:True bdB=bdC:True (boundary ridges 22) B_cap_C=bdB:True collapse_to_C*_10:ok (59048 elementary collapses, 59048 faces left)
(i,d)=(0,12): facets=2 faces=8190 filling_criterion=ok complement=A(B(10,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 24) B_cap_C=bdB:True collapse_to_C*_1:ok (4094 elementary collapses, 2 faces left)
(i,d)=(1,12): facets=24 faces=49152 filling_criterion=ok complement=A(B(9,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 240) B_cap_C=bdB:True collapse_to_C*_2:ok (24572 elementary collapses, 8 faces left)
(i,d)=(2,12): facets=134 faces=143358 filling_criterion=ok complement=A(B(8,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 1080) B_cap_C=bdB:True collapse_to_C*_3:ok (71666 elementary collapses, 26 faces left)
(i,d)=(3,12): facets=464 faces=274432 filling_criterion=ok complement=A(B(7,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 2880) B_cap_C=bdB:True collapse_to_C*_4:ok (137176 elementary collapses, 80 faces left)
(i,d)=(4,12): facets=1124 faces=396798 filling_criterion=ok complement=A(B(6,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 5040) B_cap_C=bdB:True collapse_to_C*_5:ok (198278 elementary collapses, 242 faces left)
(i,d)=(5,12): facets=2048 faces=477184 filling_criterion=ok complement=A(B(5,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 6048) B_cap_C=bdB:True collapse_to_C*_6:ok (238228 elementary collapses, 728 faces left)
(i,d)=(6,12): facets=2972 faces=515070 filling_criterion=ok complement=A(B(4,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 5040) B_cap_C=bdB:True collapse_to_C*_7:ok (256442 elementary collapses, 2186 faces left)
(i,d)=(7,12): facets=3632 faces=527872 filling_criterion=ok complement=A(B(3,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 2880) B_cap_C=bdB:True collapse_to_C*_8:ok (260656 elementary collapses, 6560 faces left)
(i,d)=(8,12): facets=3962 faces=530910 filling_criterion=ok complement=A(B(2,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 1080) B_cap_C=bdB:True collapse_to_C*_9:ok (255614 elementary collapses, 19682 faces left)
(i,d)=(9,12): facets=4072 faces=531392 filling_criterion=ok complement=A(B(1,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 240) B_cap_C=bdB:True collapse_to_C*_10:ok (236172 elementary collapses, 59048 faces left)
(i,d)=(10,12): facets=4094 faces=531438 filling_criterion=ok complement=A(B(0,12)):True pseudomanifold:True bdB=bdC:True (boundary ridges 24) B_cap_C=bdB:True collapse_to_C*_11:ok (177146 elementary collapses, 177146 faces left)
ALL CHECKS PASSED: True   (173.9 s)
