x = 3, y = 2, rule = B013456/S12356
obo$obo!