ii-1   rel=(2, 0, 1) family P=6 n=1 (one lift) | symmetric states in P: ['A1', 'K'] ; others: h1:open,h2:open,A2:open | bounce set of one lift mirror-symmetric (exact): True (3+0 intervals) | float, 2e5 reflections outside P: 312 occupied bins, 0 without mirror partner
ii-2   rel=(3, 0, 2) family P=5 n=2 (two lifts) | symmetric states in P: ['A1', 'h1'] ; others: h2:open,A2:open,K:open | bounce set of one lift mirror-symmetric (exact): True (3+0 intervals) | float, 2e5 reflections outside P: 336 occupied bins, 0 without mirror partner
ii-6   rel=(4, 0, 3) family P=14 n=3 (one lift) | symmetric states in P: ['A1', 'K'] ; others: h1:open,h2:open,A2:open | bounce set of one lift mirror-symmetric (exact): True (5+0 intervals) | float, 2e5 reflections outside P: 312 occupied bins, 0 without mirror partner
iii-1  rel=(1, 2, 1) family P=6 n=2 (two lifts) | symmetric states in P: ['h1', 'h2'] ; others: A1:open,A2:open,K:open | bounce set of one lift mirror-symmetric (exact): True (2+4 intervals) | float, 2e5 reflections outside P: 200 occupied bins, 0 without mirror partner
iii-2  rel=(1, 2, 1) family P=20 n=3 (one lift) | symmetric states in P: ['K', 'h2'] ; others: h1:open,A1:open,A2:open | bounce set of one lift mirror-symmetric (exact): True (4+6 intervals) | float, 2e5 reflections outside P: 150 occupied bins, 0 without mirror partner
iii-6  rel=(1, 3, 2) family P=4 n=2 (two lifts) | symmetric states in P: ['A1', 'A2'] ; others: h1:open,h2:open,K:open | bounce set of one lift mirror-symmetric (exact): True (1+3 intervals) | float, 2e5 reflections outside P: 320 occupied bins, 0 without mirror partner
iv-11  rel=(2, 1, 2) family P=13 n=6 (two lifts) | symmetric states in P: ['A2', 'h1'] ; others: h2:open,A1:open,K:open | bounce set of one lift mirror-symmetric (exact): True (6+3 intervals) | float, 2e5 reflections outside P: 252 occupied bins, 0 without mirror partner
iv-21  rel=(3, 1, 3) family P=12 n=6 (two lifts) | symmetric states in P: ['h1', 'h2'] ; others: A1:open,A2:open,K:open | bounce set of one lift mirror-symmetric (exact): True (6+2 intervals) | float, 2e5 reflections outside P: 280 occupied bins, 0 without mirror partner
iv-23  rel=(3, 1, 3) family P=68 n=30 (two lifts) | symmetric states in P: ['h1', 'h2'] ; others: A1:open,A2:open,K:open | bounce set of one lift mirror-symmetric (exact): True (30+10 intervals) | float, 2e5 reflections outside P: 290 occupied bins, 0 without mirror partner
v-4    rel=(2, 3, 2) family P=5 n=2 (two lifts) | symmetric states in P: ['A2', 'h1'] ; others: h2:open,A1:open,K:open | bounce set of one lift mirror-symmetric (exact): True (2+3 intervals) | float, 2e5 reflections outside P: 100 occupied bins, 0 without mirror partner
v-5    rel=(3, 2, 2) family P=5 n=2 (two lifts) | symmetric states in P: ['A1', 'h2'] ; others: h1:open,A2:open,K:open | bounce set of one lift mirror-symmetric (exact): True (3+2 intervals) | float, 2e5 reflections outside P: 330 occupied bins, 0 without mirror partner
v-8    rel=(2, 4, 1) family P=12 n=2 (two lifts) | symmetric states in P: ['h1', 'h2'] ; others: A1:open,A2:open,K:open | bounce set of one lift mirror-symmetric (exact): True (4+8 intervals) | float, 2e5 reflections outside P: 348 occupied bins, 0 without mirror partner
cases: 12  problems: 0
