Rule 125 | go to next rule
Mapping | 0011122 | Back to overview
#
.
0
0
0
.
0
0
#
#
#
#
#
.
0
.
.
#
#
#
0
0
0
#
#
.
.
#
.
0
0
.
.
.
.
0
#
.
.
.
#
.
.
0
.
#
.
#
0
.
0
.
0
#
0
#
.
0
.
#
#
#
#
.
.
0
#
#
.
.
#
#
0
0
0
0
#
#
0
0
.
0
#
#
#
#
.
.
#
0
.
#
0
#
0
#
#
0
.
.
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
#
0
0
0
0
0
0
0
.
.
.
.
0
0
0
.
0
0
0
.
.
0
0
0
0
0
0
.
0
0
0
#
0
0
.
0
0
#
#
0
0
.
0
#
0
0
0
0
#
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
#
0
#
#
#
0
.
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0
0
0
0
0
0
0
0
0
#
#
#
#
0
0
.
.
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
.
.
.
.
0
0
0
0
0
0
0
.
.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
0
0
0
0
0
0
0
0
0
0
#
#
0
0
0
0
#
#
#
0
0
0
0
0
0
0
0
#
#
#
#
0
0
0