r2b6t8s5t7
Navigation: Rules ⇒ ltl ⇒ r2b6t8s5t7
Please specify a symmetry type:
Official symmetries
- r2b6t8s5t7/D2_+2 (2574 thousand objects)
- r2b6t8s5t7/C1 (1334 thousand objects)
- r2b6t8s5t7/D8_4 (136 thousand objects)
Last cache update: just now.

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