r2b4t4s3t3
Navigation: Rules ⇒ ltl ⇒ r2b4t4s3t3
Please specify a symmetry type:
Official symmetries
- r2b4t4s3t3/D2_x (626 million objects)
- r2b4t4s3t3/C1 (411 million objects)
Last cache update: just now.

Navigation: Rules ⇒ ltl ⇒ r2b4t4s3t3
Please specify a symmetry type:
Last cache update: just now.