NP           n=9 d=3 layerparts=  36 partitions=21147 r'(E)=5 braid-min=5 strict(v<r~)=20139 [1s]
NP*          n=9 d=6 layerparts= 198 partitions=21147 r'(E)=9 braid-min=9 strict(v<r~)=3211 [8s]
Pappus       n=9 d=3 layerparts=  36 partitions=21147 r'(E)=5 braid-min=5 strict(v<r~)=20122 [1s]
T(F7+U2,2)   n=9 d=4 layerparts=  70 partitions=21147 r'(E)=7 braid-min=7 strict(v<r~)=17101 [2s]
T(V8+U1,1)   n=9 d=4 layerparts=  94 partitions=21147 r'(E)=7 braid-min=7 strict(v<r~)=17696 [3s]
FE(F7+U1,1)  n=9 d=4 layerparts=  70 partitions=21147 r'(E)=7 braid-min=7 strict(v<r~)=17101 [2s]
ALL OK
