Code: Select all
x = 13, y = 33, rule = ChiralTSplit
.A2.B2.3B$2.2A4.B11$.A2.B2.3B.B$2.2A4.B2.2B$11.B13$A2.B3.B$.2A2.3B2$6.
B$6.2B$6.B!
@RULE ChiralTSplit
AI used a vibecoded search program that used Z3 to generate the rule.
@TABLE
n_states:3
neighborhood:Moore
symmetries:rotate4reflect
0,0,0,0,0,0,0,0,0,0
0,0,0,0,0,0,0,1,0,2
0,0,0,0,0,0,0,2,0,0
0,0,0,0,0,0,1,0,0,0
0,0,0,0,0,0,1,1,0,2
0,0,0,0,0,0,1,2,0,1
0,0,0,0,0,0,2,0,0,0
0,0,0,0,0,0,2,1,0,0
0,0,0,0,0,0,2,2,0,0
0,0,0,0,0,1,0,1,0,1
0,0,0,0,0,1,0,2,0,0
0,0,0,0,0,1,1,1,0,2
0,0,0,0,0,1,1,2,0,2
0,0,0,0,0,1,2,1,0,1
0,0,0,0,0,1,2,2,0,0
0,0,0,0,0,2,0,2,0,0
0,0,0,0,0,2,1,2,0,2
0,0,0,0,0,2,2,2,0,0
0,0,0,0,1,0,0,2,0,2
0,0,0,0,1,0,1,0,0,1
0,0,0,0,1,0,1,2,0,2
0,0,0,0,1,0,2,0,0,0
0,0,0,0,1,0,2,1,0,1
0,0,0,0,1,0,2,2,0,2
0,0,0,0,1,1,0,1,0,1
0,0,0,0,1,1,0,2,0,2
0,0,0,0,1,1,1,0,0,2
0,0,0,0,1,1,1,1,0,0
0,0,0,0,1,1,1,2,0,0
0,0,0,0,1,1,2,0,0,1
0,0,0,0,1,1,2,1,0,0
0,0,0,0,1,1,2,2,0,1
0,0,0,0,1,2,0,1,0,1
0,0,0,0,1,2,0,2,0,2
0,0,0,0,1,2,1,0,0,0
0,0,0,0,1,2,1,2,0,1
0,0,0,0,1,2,2,0,0,1
0,0,0,0,1,2,2,1,0,0
0,0,0,0,1,2,2,2,0,1
0,0,0,0,2,0,0,1,0,0
0,0,0,0,2,0,0,2,0,0
0,0,0,0,2,0,1,1,0,0
0,0,0,0,2,0,1,2,0,0
0,0,0,0,2,0,2,0,0,0
0,0,0,0,2,0,2,1,0,1
0,0,0,0,2,0,2,2,0,1
0,0,0,0,2,1,0,1,0,2
0,0,0,0,2,1,0,2,0,0
0,0,0,0,2,1,1,2,0,1
0,0,0,0,2,1,2,0,0,0
0,0,0,0,2,1,2,1,0,1
0,0,0,0,2,1,2,2,0,0
0,0,0,0,2,2,0,1,0,2
0,0,0,0,2,2,0,2,0,0
0,0,0,0,2,2,1,1,0,0
0,0,0,0,2,2,1,2,0,0
0,0,0,0,2,2,2,0,0,0
0,0,0,0,2,2,2,1,0,1
0,0,0,0,2,2,2,2,0,2
0,0,0,1,0,0,0,2,0,1
0,0,0,1,0,0,1,1,0,0
0,0,0,1,0,0,2,2,0,0
0,0,0,1,0,1,0,2,0,0
0,0,0,1,0,1,2,1,0,0
0,0,0,1,0,2,0,2,0,0
0,0,0,1,0,2,1,1,0,0
0,0,0,1,0,2,2,1,0,0
0,0,0,1,1,0,0,2,0,2
0,0,0,1,1,2,1,1,0,0
0,0,0,1,1,2,2,2,0,2
0,0,0,1,2,0,0,2,0,1
0,0,0,1,2,1,0,2,0,0
0,0,0,1,2,2,0,2,0,0
0,0,0,2,0,0,0,2,0,1
0,0,0,2,0,0,2,2,0,0
0,0,0,2,1,0,2,2,0,1
0,0,0,2,1,1,2,2,0,2
0,0,0,2,1,2,2,2,0,0
0,0,1,0,0,0,1,1,0,0
0,0,1,0,0,0,2,0,0,0
0,0,1,0,0,1,0,2,0,0
0,0,1,0,1,0,0,2,0,0
0,0,1,0,1,0,2,0,0,0
0,0,1,0,1,1,0,2,0,2
0,0,1,0,1,2,0,2,0,1
0,0,1,0,1,2,1,0,0,2
0,0,1,1,0,1,2,0,0,2
0,0,1,1,0,1,2,1,0,1
0,0,1,1,1,0,0,2,0,0
0,0,1,1,1,0,1,2,0,2
0,0,1,1,1,2,0,2,0,0
0,0,1,1,1,2,1,0,0,0
0,0,1,1,2,0,1,2,0,0
0,0,1,1,2,0,2,0,0,0
0,0,1,2,0,1,0,1,0,0
0,0,1,2,0,2,0,1,0,0
0,0,1,2,0,2,1,0,0,0
0,0,1,2,0,2,1,2,0,1
0,0,1,2,0,2,2,0,0,0
0,0,1,2,1,0,2,0,0,1
0,0,1,2,1,0,2,2,0,1
0,0,1,2,1,2,2,0,0,0
0,0,1,2,2,0,1,1,0,0
0,0,1,2,2,0,2,0,0,2
0,0,1,2,2,1,1,2,0,0
0,0,1,2,2,1,2,0,0,1
0,0,1,2,2,2,2,0,0,0
0,0,2,0,0,0,2,0,0,0
0,0,2,0,0,1,2,2,0,0
0,0,2,0,0,2,2,2,0,2
0,0,2,0,1,0,1,2,0,2
0,0,2,0,1,1,2,0,0,0
0,0,2,0,2,0,0,1,0,0
0,0,2,0,2,2,0,2,0,1
0,0,2,0,2,2,2,0,0,0
0,0,2,1,0,1,0,2,0,1
0,0,2,1,0,1,1,2,0,0
0,0,2,1,0,2,2,0,0,2
0,0,2,1,0,2,2,1,0,0
0,0,2,1,1,2,1,1,0,0
0,0,2,1,2,0,1,1,0,0
0,0,2,1,2,0,1,2,0,2
0,0,2,1,2,1,1,2,0,1
0,0,2,1,2,2,0,1,0,0
0,0,2,1,2,2,2,0,0,2
0,0,2,2,1,2,1,1,0,2
0,0,2,2,1,2,1,2,0,1
0,0,2,2,2,0,0,2,0,1
0,0,2,2,2,0,2,1,0,1
0,0,2,2,2,2,2,0,0,1
0,1,0,1,1,1,1,2,0,0
0,1,0,1,2,2,0,2,0,0
0,1,0,2,1,1,2,2,0,0
0,1,1,0,2,2,2,1,0,1
0,1,1,1,1,1,2,2,0,1
0,1,1,1,1,2,0,2,0,0
0,1,1,1,2,0,2,2,0,0
0,1,1,2,0,2,1,2,0,0
0,1,1,2,0,2,2,1,0,0
0,1,1,2,1,0,1,2,0,2
0,1,2,0,1,0,2,2,0,2
0,1,2,0,2,0,1,2,0,0
0,1,2,0,2,1,2,2,0,2
0,1,2,0,2,2,2,2,0,0
0,1,2,1,1,2,1,2,0,2
0,1,2,1,2,0,2,2,0,0
0,1,2,1,2,2,0,2,0,2
0,1,2,1,2,2,1,2,0,1
0,1,2,2,1,0,1,2,0,1
0,1,2,2,1,0,2,2,0,0
0,1,2,2,1,2,2,2,0,0
0,1,2,2,2,1,0,2,0,0
0,1,2,2,2,2,2,2,0,0
0,2,0,2,1,2,1,2,0,2
0,2,1,0,1,1,2,2,0,0
0,2,1,0,2,1,1,2,0,0
0,2,1,1,1,0,2,2,0,0
0,2,1,1,1,2,1,2,0,0
0,2,1,2,2,2,2,2,0,2
0,2,2,0,2,1,2,2,0,0
0,2,2,1,2,2,2,2,0,2
0,0,1,0,2,0,1,1,1,1
0,0,2,1,2,0,2,1,1,2
0,0,2,1,2,0,2,2,1,0
0,0,2,2,2,1,2,2,1,0
0,0,2,2,2,2,1,1,1,2
0,1,1,1,1,1,2,2,1,0
0,1,1,1,2,1,1,2,1,1
0,1,2,1,1,2,2,2,1,0
0,1,2,1,2,1,2,2,2,1
1,0,0,0,0,0,0,0,0,0
1,0,0,0,0,0,0,1,0,1
1,0,0,0,0,0,0,2,0,0
1,0,0,0,0,0,1,0,0,2
1,0,0,0,0,0,1,2,0,0
1,0,0,0,0,0,2,0,0,0
1,0,0,0,0,0,2,1,0,0
1,0,0,0,0,0,2,2,0,0
1,0,0,0,0,1,0,2,0,2
1,0,0,0,0,1,1,2,0,1
1,0,0,0,0,1,2,2,0,1
1,0,0,0,0,2,0,2,0,2
1,0,0,0,0,2,1,2,0,1
1,0,0,0,1,0,0,1,0,0
1,0,0,0,1,0,1,2,0,1
1,0,0,0,1,0,2,0,0,0
1,0,0,0,1,1,0,1,0,0
1,0,0,0,1,1,1,1,0,1
1,0,0,0,1,1,2,0,0,1
1,0,0,0,1,2,1,0,0,0
1,0,0,0,2,0,0,1,0,0
1,0,0,0,2,0,1,1,0,2
1,0,0,0,2,0,2,0,0,0
1,0,0,0,2,0,2,1,0,1
1,0,0,0,2,0,2,2,0,1
1,0,0,0,2,1,0,2,0,0
1,0,0,0,2,1,1,1,0,2
1,0,0,0,2,1,2,0,0,0
1,0,0,0,2,1,2,1,0,1
1,0,0,0,2,1,2,2,0,0
1,0,0,0,2,2,0,1,0,1
1,0,0,0,2,2,0,2,0,2
1,0,0,0,2,2,1,1,0,1
1,0,0,0,2,2,1,2,0,1
1,0,0,0,2,2,2,0,0,0
1,0,0,0,2,2,2,1,0,0
1,0,0,0,2,2,2,2,0,0
1,0,0,1,0,0,0,2,0,2
1,0,0,1,0,0,2,1,0,0
1,0,0,1,0,1,0,2,0,0
1,0,0,1,0,2,0,1,0,0
1,0,0,1,0,2,2,1,0,0
1,0,0,1,1,1,0,2,0,2
1,0,0,1,1,2,1,2,0,1
1,0,0,1,1,2,2,1,0,0
1,0,0,1,2,0,1,2,0,0
1,0,0,1,2,1,2,1,0,2
1,0,0,1,2,1,2,2,0,0
1,0,0,1,2,2,0,2,0,1
1,0,0,1,2,2,2,2,0,1
1,0,0,2,0,0,0,2,0,2
1,0,0,2,0,0,1,2,0,2
1,0,0,2,0,0,2,2,0,0
1,0,0,2,0,2,2,2,0,1
1,0,0,2,1,1,2,2,0,1
1,0,0,2,2,1,2,2,0,2
1,0,1,0,1,2,0,2,0,2
1,0,1,0,2,0,0,2,0,2
1,0,1,0,2,0,1,2,0,0
1,0,1,0,2,1,0,1,0,0
1,0,1,0,2,2,0,2,0,1
1,0,1,1,0,2,0,1,0,0
1,0,1,1,0,2,2,0,0,2
1,0,1,1,1,0,2,1,0,1
1,0,1,1,2,0,0,2,0,0
1,0,1,2,1,1,2,2,0,1
1,0,1,2,2,0,0,2,0,1
1,0,1,2,2,0,2,0,0,1
1,0,1,2,2,1,0,1,0,0
1,0,1,2,2,2,2,0,0,1
1,0,2,0,0,0,2,2,0,2
1,0,2,0,1,0,2,2,0,0
1,0,2,0,1,1,0,2,0,0
1,0,2,0,1,2,0,2,0,1
1,0,2,0,1,2,2,0,0,0
1,0,2,0,2,1,0,2,0,2
1,0,2,0,2,2,0,2,0,2
1,0,2,0,2,2,1,2,0,0
1,0,2,0,2,2,2,2,0,0
1,0,2,1,0,1,1,1,0,0
1,0,2,1,0,1,2,0,0,2
1,0,2,1,1,1,2,0,0,0
1,0,2,1,2,0,1,1,0,0
1,0,2,1,2,0,2,2,0,0
1,0,2,1,2,2,1,2,0,1
1,0,2,1,2,2,2,2,0,2
1,0,2,2,0,1,1,2,0,0
1,0,2,2,0,1,2,2,0,2
1,0,2,2,1,0,2,1,0,2
1,0,2,2,1,0,2,2,0,1
1,0,2,2,1,1,2,2,0,0
1,0,2,2,2,1,2,1,0,2
1,0,2,2,2,1,2,2,0,1
1,1,0,1,0,1,0,2,0,0
1,1,0,2,0,2,2,2,0,2
1,1,0,2,1,0,1,2,0,2
1,1,0,2,1,0,2,2,0,2
1,1,0,2,1,2,1,2,0,0
1,1,0,2,1,2,2,2,0,0
1,1,1,0,1,0,2,1,0,0
1,1,1,0,1,1,2,2,0,0
1,1,1,0,2,2,0,2,0,0
1,1,1,1,1,2,2,2,0,1
1,1,1,1,2,2,0,2,0,1
1,1,1,2,1,1,2,2,0,2
1,1,2,0,2,1,2,1,0,0
1,1,2,1,1,1,2,2,0,2
1,1,2,2,0,1,2,2,0,2
1,1,2,2,0,2,1,2,0,2
1,1,2,2,0,2,2,1,0,2
1,2,0,2,0,2,2,2,0,0
1,2,0,2,2,0,2,2,0,1
1,2,1,0,2,1,2,2,0,1
1,2,1,1,2,0,2,2,0,2
1,2,1,2,2,0,2,2,0,1
1,2,2,1,2,1,2,2,0,0
1,0,1,1,1,2,2,1,1,0
1,0,1,1,2,0,2,2,1,0
1,0,2,0,1,1,2,2,1,2
1,0,2,0,2,2,2,0,1,0
1,0,2,1,2,0,1,2,1,1
1,0,2,2,1,1,1,2,1,2
2,0,0,0,0,0,0,0,0,0
2,0,0,0,0,0,0,1,0,0
2,0,0,0,0,0,0,2,0,0
2,0,0,0,0,0,1,0,0,1
2,0,0,0,0,0,1,1,0,0
2,0,0,0,0,0,2,0,0,0
2,0,0,0,0,0,2,1,0,0
2,0,0,0,0,0,2,2,0,2
2,0,0,0,0,1,0,2,0,2
2,0,0,0,0,1,2,2,0,0
2,0,0,0,0,2,0,2,0,0
2,0,0,0,0,2,1,2,0,2
2,0,0,0,0,2,2,2,0,1
2,0,0,0,1,0,0,1,0,2
2,0,0,0,1,0,0,2,0,0
2,0,0,0,1,0,1,2,0,0
2,0,0,0,1,0,2,1,0,0
2,0,0,0,1,1,0,1,0,1
2,0,0,0,1,1,0,2,0,0
2,0,0,0,1,1,1,0,0,2
2,0,0,0,1,1,2,0,0,2
2,0,0,0,1,1,2,1,0,2
2,0,0,0,1,1,2,2,0,0
2,0,0,0,1,2,1,1,0,2
2,0,0,0,1,2,1,2,0,1
2,0,0,0,1,2,2,0,0,0
2,0,0,0,1,2,2,2,0,2
2,0,0,0,2,0,0,1,0,1
2,0,0,0,2,0,0,2,0,1
2,0,0,0,2,0,1,1,0,2
2,0,0,0,2,0,1,2,0,0
2,0,0,0,2,0,2,0,0,1
2,0,0,0,2,0,2,1,0,2
2,0,0,0,2,1,0,2,0,0
2,0,0,0,2,1,2,0,0,0
2,0,0,0,2,1,2,1,0,1
2,0,0,0,2,1,2,2,0,1
2,0,0,0,2,2,0,1,0,2
2,0,0,0,2,2,0,2,0,1
2,0,0,0,2,2,1,1,0,2
2,0,0,0,2,2,1,2,0,2
2,0,0,0,2,2,2,0,0,2
2,0,0,1,0,0,0,1,0,0
2,0,0,1,0,0,0,2,0,2
2,0,0,1,0,0,1,1,0,0
2,0,0,1,0,0,1,2,0,2
2,0,0,1,0,0,2,2,0,1
2,0,0,1,0,1,0,1,0,2
2,0,0,1,0,1,1,1,0,0
2,0,0,1,0,2,1,1,0,0
2,0,0,1,1,0,2,1,0,2
2,0,0,1,1,1,0,2,0,2
2,0,0,1,1,2,0,2,0,1
2,0,0,1,2,0,0,2,0,2
2,0,0,1,2,0,2,2,0,1
2,0,0,1,2,2,1,2,0,0
2,0,0,2,0,0,1,2,0,0
2,0,0,2,0,0,2,2,0,0
2,0,0,2,0,2,0,2,0,2
2,0,0,2,1,0,1,2,0,0
2,0,0,2,1,0,2,2,0,2
2,0,1,0,0,0,1,2,0,0
2,0,1,0,0,1,1,2,0,2
2,0,1,0,0,1,2,1,0,0
2,0,1,0,1,0,2,2,0,2
2,0,1,0,1,2,0,2,0,0
2,0,1,0,1,2,1,1,0,2
2,0,1,0,1,2,2,2,0,2
2,0,1,0,2,0,1,0,0,0
2,0,1,0,2,2,0,2,0,2
2,0,1,1,0,0,1,2,0,1
2,0,1,1,0,1,1,0,0,1
2,0,1,1,0,2,2,0,0,1
2,0,1,1,1,0,1,1,0,0
2,0,1,1,1,2,0,2,0,2
2,0,1,2,0,0,2,0,0,0
2,0,1,2,0,1,1,2,0,0
2,0,1,2,0,1,2,0,0,0
2,0,1,2,0,1,2,2,0,0
2,0,1,2,0,2,0,1,0,1
2,0,1,2,0,2,0,2,0,0
2,0,1,2,1,0,2,0,0,0
2,0,1,2,1,1,0,2,0,1
2,0,1,2,1,1,1,1,0,1
2,0,1,2,1,1,2,0,0,2
2,0,1,2,1,2,2,1,0,0
2,0,1,2,2,2,0,1,0,0
2,0,1,2,2,2,2,2,0,2
2,0,2,0,0,0,2,0,0,1
2,0,2,0,0,1,0,1,0,2
2,0,2,0,0,1,0,2,0,0
2,0,2,0,1,0,1,2,0,2
2,0,2,0,1,0,2,0,0,0
2,0,2,0,1,1,0,2,0,0
2,0,2,0,1,1,2,1,0,0
2,0,2,0,1,2,0,1,0,1
2,0,2,0,1,2,1,1,0,0
2,0,2,0,2,1,2,1,0,0
2,0,2,0,2,1,2,2,0,1
2,0,2,1,0,0,2,2,0,1
2,0,2,1,0,1,0,2,0,2
2,0,2,1,0,2,2,1,0,2
2,0,2,1,0,2,2,2,0,2
2,0,2,1,1,2,0,1,0,1
2,0,2,1,2,2,0,1,0,0
2,0,2,2,0,2,0,2,0,1
2,0,2,2,0,2,1,1,0,0
2,0,2,2,0,2,1,2,0,0
2,0,2,2,1,1,0,2,0,1
2,0,2,2,1,2,0,2,0,1
2,0,2,2,2,0,1,1,0,1
2,0,2,2,2,0,2,2,0,2
2,0,2,2,2,1,0,1,0,0
2,0,2,2,2,2,0,1,0,1
2,1,0,1,0,1,1,2,0,0
2,1,0,1,0,2,0,2,0,0
2,1,0,1,1,0,2,2,0,2
2,1,0,1,2,0,2,1,0,1
2,1,0,2,0,1,2,2,0,0
2,1,0,2,1,1,2,2,0,0
2,1,1,0,1,1,1,2,0,0
2,1,1,0,2,1,1,2,0,0
2,1,1,0,2,2,0,2,0,2
2,1,1,1,0,1,1,2,0,0
2,1,1,1,1,1,1,2,0,1
2,1,1,1,2,1,1,2,0,1
2,1,2,0,1,2,0,2,0,0
2,1,2,0,2,0,2,2,0,0
2,1,2,1,0,2,2,2,0,0
2,1,2,1,2,1,2,2,0,0
2,1,2,2,2,0,2,2,0,0
2,2,0,2,1,1,2,2,0,1
2,2,0,2,2,2,2,2,0,1
2,2,1,0,1,2,1,2,0,0
2,2,1,2,1,0,2,2,0,1
2,2,2,0,1,1,2,2,0,0
2,0,1,0,1,1,1,2,1,1
2,0,1,0,2,0,1,1,1,0
2,0,1,0,2,1,1,2,1,1
2,0,1,0,2,2,2,1,1,0
2,0,1,1,1,2,1,1,1,1
2,0,1,1,2,0,2,2,1,2
2,0,2,0,1,0,2,1,1,0
2,0,2,0,1,1,2,1,1,0
2,0,2,0,2,1,1,2,1,0
2,0,2,0,2,2,2,2,1,1
2,0,2,1,1,2,1,2,1,0
2,0,2,1,2,2,1,1,1,0
2,1,2,0,2,1,1,2,1,2
2,1,2,0,2,2,2,1,1,1