# F-sexyloop.table
# Based on rule_sex file and code in F_Sexyloop.java
# stored in F-sexyloop_src.zip from Nicolas Oros's website:
# http://homepages.feis.herts.ac.uk/~on5ag/sexyloop.html

n_states:12
neighborhood:vonNeumann
symmetries:rotate4
0,0,0,0,1,2
0,0,0,0,4,3
0,0,0,1,2,2
0,0,0,1,5,2
0,0,0,2,1,2
### duplicate: 0,0,0,2,4,2
0,0,0,4,2,2
0,0,0,4,5,2
0,0,0,7,5,2
0,0,1,0,2,2
0,0,2,1,4,1
0,0,2,1,7,1
0,0,2,3,2,2
0,1,1,2,2,1
0,1,2,1,2,1
0,1,2,3,2,1
0,1,2,4,2,1
0,1,2,4,5,1
0,1,2,5,2,6
0,1,2,6,2,6
0,1,2,7,2,1
0,1,2,7,5,1
0,1,3,4,2,1
0,1,3,7,2,1
0,1,4,2,2,1
0,1,4,2,5,1
0,1,4,3,2,1
0,1,4,3,5,1
0,1,4,4,2,1
0,1,4,6,2,1
0,1,7,2,2,1
0,1,7,2,5,1
0,1,7,5,6,1
0,1,7,6,2,1
0,1,7,7,2,1
1,0,0,0,1,1
### duplicate: 1,0,0,1,2,1
1,0,0,2,1,1
1,0,0,2,4,4
1,0,0,2,7,7
1,0,1,2,1,1
1,0,1,2,4,4
1,0,1,2,7,7
1,0,2,0,2,1
1,0,2,1,1,1
1,0,2,1,2,1
1,0,2,1,3,1
1,0,2,2,1,1
1,0,2,2,4,4
1,0,2,2,7,7
1,0,2,3,2,4
1,0,2,4,1,4
1,0,2,4,2,4
1,0,2,4,3,4
1,0,2,5,1,1
1,0,2,5,2,7
1,0,2,5,4,3
1,0,2,5,7,7
1,0,2,7,1,7
1,0,2,7,2,7
1,0,2,7,3,5
1,0,5,1,2,1
1,0,5,4,2,4
1,0,5,7,2,7
1,0,6,2,1,1
1,0,6,2,4,4
1,0,6,2,7,7
1,1,1,1,2,1
1,1,1,2,2,1
1,1,1,2,4,4
1,1,1,2,5,1
1,1,1,2,7,7
1,1,1,6,2,1
1,1,2,1,2,1
### duplicate: 1,1,2,1,3,1
1,1,2,1,5,1
1,1,2,2,2,1
1,1,2,2,4,4
1,1,2,2,7,7
1,1,2,3,2,1
1,1,2,4,2,4
1,1,2,4,3,4
1,1,2,5,2,7
1,1,2,5,4,3
1,1,2,5,7,7
1,1,2,6,2,6
1,1,2,7,2,7
1,1,2,7,3,5
1,1,3,2,2,1
1,1,3,3,2,1
1,1,5,4,2,4
1,1,5,7,2,7
1,1,6,2,4,4
1,1,6,2,7,7
1,2,2,2,4,4
1,2,2,2,7,7
1,2,2,4,3,4
1,2,2,7,3,7
1,2,3,2,4,4
1,2,3,2,7,7
1,2,4,2,6,6
1,2,4,3,3,3
1,2,6,2,7,6
2,0,0,0,1,2
2,0,0,0,2,2
2,0,0,0,4,2
2,0,0,0,5,2
2,0,0,0,6,0
2,0,0,0,7,1
2,0,0,1,2,2
2,0,0,1,5,2
2,0,0,2,1,2
2,0,0,2,2,2
### duplicate: 2,0,0,2,3,2
2,0,0,2,4,2
2,0,0,2,6,0
2,0,0,2,7,2
2,0,0,3,2,4
2,0,0,4,2,3
2,0,0,4,5,2
2,0,0,5,4,5
2,0,0,5,7,5
2,0,0,6,2,0
2,0,0,7,2,2
2,0,0,7,5,2
2,0,1,0,2,2
2,0,1,1,2,2
2,0,1,2,2,2
2,0,1,4,2,2
2,0,1,7,2,2
2,0,2,0,2,2
2,0,2,0,3,2
2,0,2,0,5,2
2,0,2,0,6,5
2,0,2,0,7,3
2,0,2,1,2,2
2,0,2,1,5,2
2,0,2,2,1,2
2,0,2,2,2,2
2,0,2,2,3,2
2,0,2,3,2,3
2,0,2,4,2,2
2,0,2,4,5,2
2,0,2,5,2,5
2,0,2,6,2,0
2,0,2,6,5,0
2,0,2,7,2,2
2,0,2,7,5,2
2,0,3,1,2,2
### duplicate with different output: 2,0,3,2,2,2
2,0,3,4,2,2
2,0,3,4,5,2
2,0,3,7,2,2
2,0,4,1,2,2
2,0,4,2,2,2
2,0,4,4,2,2
2,0,5,1,2,2
2,0,5,4,2,5
2,0,5,7,2,5
2,0,6,1,2,5
2,0,6,2,1,2
2,0,6,4,2,5
2,0,6,7,2,5
2,0,7,1,2,2
2,0,7,2,2,2
2,0,7,7,2,2
2,1,1,2,2,2
2,1,2,2,2,2
2,1,2,2,3,2
2,1,2,2,4,2
2,1,2,2,7,2
2,1,2,3,2,3
### duplicate with different output: 2,1,3,2,2,2
2,1,4,2,2,2
2,1,6,2,2,2
2,1,7,2,2,2
2,2,2,2,4,2
2,2,2,2,7,2
2,2,2,3,4,2
2,2,2,3,7,2
### duplicate with different output: 2,2,2,4,3,2
2,2,2,4,4,2
### duplicate with different output: 2,2,2,7,3,2
2,2,2,7,7,2
2,2,3,2,4,3
2,2,3,2,7,3
3,0,0,0,1,3
3,0,0,0,2,2
3,0,0,0,3,2
3,0,0,0,4,3
3,0,0,0,7,4
3,0,0,1,2,3
3,0,0,3,2,2
3,0,0,4,2,1
3,0,1,0,2,1
3,0,1,2,5,0
### duplicate: 3,0,2,1,2,3
3,0,2,4,2,3
3,0,2,5,2,1
3,0,2,7,2,3
3,0,3,3,2,1
### duplicate: 3,1,2,1,2,3
### duplicate: 3,1,2,4,2,3
3,1,2,5,2,1
### duplicate: 3,1,2,7,2,3
3,2,4,2,4,3
3,2,4,2,5,1
3,2,4,2,7,3
3,2,5,2,7,1
3,2,7,2,7,3
4,0,0,0,0,1
4,0,0,0,2,1
4,0,1,0,2,0
4,0,1,1,2,0
4,0,1,2,2,0
4,0,1,2,5,0
4,0,1,6,2,0
4,0,2,1,2,0
4,0,2,1,5,0
4,0,2,2,2,1
4,0,2,3,2,1
4,0,2,6,2,6
4,0,3,1,2,0
4,0,3,2,2,1
5,0,0,0,2,5
5,0,0,1,2,5
5,0,0,2,1,5
5,0,0,2,3,2
5,0,0,2,4,5
5,0,0,2,7,5
5,0,0,4,2,5
5,0,0,7,2,5
5,0,2,0,2,2
5,0,2,0,5,2
5,0,2,1,2,5
5,0,2,1,5,2
5,0,2,4,2,5
5,0,2,7,2,5
5,0,3,1,2,0
6,0,2,0,2,0
6,0,2,1,2,0
6,0,2,2,2,0
6,0,2,4,2,0
6,0,2,7,2,0
6,1,2,2,2,0
6,2,2,2,4,0
6,2,2,2,7,0
7,0,1,0,2,0
7,0,1,1,2,0
7,0,1,2,2,0
7,0,1,2,5,0
7,0,1,6,2,0
7,0,2,1,2,0
7,0,2,1,5,0
7,0,2,2,2,1
7,0,2,3,2,0
7,0,2,6,2,6
7,0,3,1,2,0
0,0,0,1,9,1
0,0,2,1,9,1
0,1,2,4,3,1
0,1,2,4,9,9
0,1,2,4,10,1
0,1,2,7,3,1
0,1,2,7,9,9
0,1,2,7,10,1
0,1,2,9,2,1
0,1,2,9,3,1
0,1,2,9,5,1
0,1,2,9,9,9
### duplicate with different output: 0,1,2,9,10,1
0,1,2,9,10,10
0,1,3,9,2,1
0,1,5,6,2,6
0,1,6,2,2,6
0,1,9,2,2,1
0,1,9,2,5,1
0,1,9,6,2,1
0,1,9,9,2,1
0,1,10,2,4,1
0,1,10,2,7,1
0,1,10,2,9,1
0,1,10,4,2,1
0,1,10,7,2,1
0,1,10,9,2,1
0,2,1,2,10,1
1,0,0,1,2,1
1,0,0,2,9,9
1,0,1,0,2,1
1,0,1,1,2,1
1,0,1,2,9,9
1,0,1,10,2,10
1,0,2,0,4,4
1,0,2,0,7,7
1,0,2,0,9,9
1,0,2,1,10,1
1,0,2,2,9,9
1,0,2,4,10,4
1,0,2,5,10,7
1,0,2,7,10,7
1,0,2,9,2,9
1,0,2,9,3,9
1,0,2,9,10,9
1,0,2,10,2,1
1,0,2,10,10,0
1,0,3,1,2,1
1,0,3,4,2,4
1,0,3,7,2,7
1,0,3,9,2,9
1,0,3,10,2,1
1,0,4,1,2,1
1,0,4,10,2,4
1,0,5,6,2,6
1,0,7,1,2,1
1,0,7,10,2,7
1,0,9,1,2,9
1,0,9,4,2,9
1,0,9,7,2,9
1,0,9,9,2,9
1,0,9,10,2,9
1,0,10,1,2,1
1,0,10,4,2,4
1,0,10,7,2,7
1,0,10,9,2,10
1,0,10,10,2,6
1,1,1,2,9,9
1,1,1,10,2,1
1,1,2,1,3,1
1,1,2,1,9,9
1,1,2,1,10,1
1,1,2,2,9,9
1,1,2,5,9,9
1,1,2,5,10,7
1,1,2,9,2,9
1,1,2,9,3,1
1,1,2,9,10,10
1,1,2,10,10,1
1,1,3,4,2,4
1,1,3,7,2,7
1,1,3,9,2,1
1,1,3,10,2,1
1,1,4,10,2,4
1,1,5,6,2,6
1,1,5,9,2,9
1,1,6,2,2,6
1,1,6,2,9,9
1,1,7,10,2,7
1,1,9,4,2,9
1,1,9,7,2,9
1,1,9,9,2,9
1,1,9,10,2,9
1,1,10,4,2,4
1,1,10,7,2,7
1,1,10,9,2,10
1,1,10,10,2,6
1,2,1,2,10,1
1,2,2,2,9,9
1,2,2,4,6,6
1,2,2,7,6,6
1,2,2,9,6,6
1,2,3,2,9,9
1,2,4,2,10,4
1,2,4,5,6,6
1,2,4,10,10,6
1,2,6,2,9,6
1,2,7,2,10,7
1,2,7,5,6,6
1,2,7,10,10,6
1,2,9,2,10,9
1,2,9,5,6,6
1,2,9,10,4,10
1,2,9,10,7,10
1,2,9,10,9,10
1,2,9,10,10,6
1,2,10,10,4,4
1,2,10,10,7,7
1,2,10,10,9,9
2,0,0,0,9,2
2,0,0,2,3,2
2,0,0,2,9,2
2,0,0,5,9,5
2,0,0,6,5,0
2,0,0,9,2,2
2,0,0,9,5,2
2,0,1,9,2,2
2,0,2,0,9,2
2,0,2,0,10,2
2,0,2,1,9,2
2,0,2,1,10,2
2,0,2,2,4,2
2,0,2,2,7,2
2,0,2,2,9,2
2,0,2,3,1,2
2,0,2,3,4,2
2,0,2,3,7,2
2,0,2,3,9,2
2,0,2,4,9,2
2,0,2,4,10,2
2,0,2,7,9,2
2,0,2,7,10,2
2,0,2,9,1,2
2,0,2,9,2,2
2,0,2,9,5,2
2,0,2,9,9,2
2,0,2,9,10,2
2,0,2,10,2,2
2,0,3,2,2,10
2,0,3,4,10,2
2,0,5,9,2,5
2,0,6,9,2,5
2,0,9,1,2,2
2,0,9,2,2,2
2,0,9,9,2,2
2,0,10,1,2,2
2,0,10,4,2,2
2,0,10,7,2,2
2,0,10,9,2,2
2,1,2,2,6,2
2,1,2,2,9,2
2,1,2,6,2,2
2,1,3,2,2,10
2,1,9,2,2,2
2,2,2,2,9,2
2,2,2,2,10,2
2,2,2,3,9,2
2,2,2,4,3,10
2,2,2,7,3,10
2,2,2,9,3,10
2,2,2,9,7,2
2,2,2,9,9,2
2,2,3,2,9,3
3,0,0,0,0,3
3,0,0,0,9,3
3,0,2,0,10,3
3,0,2,1,2,3
3,0,2,1,10,3
3,0,2,4,10,3
3,0,2,7,10,3
3,0,2,9,10,9
3,0,10,1,2,3
3,0,10,4,2,3
3,0,10,5,2,1
3,0,10,7,2,3
3,0,10,9,2,3
3,1,2,1,2,3
3,1,2,1,10,3
3,1,2,4,2,3
3,1,2,4,10,3
3,1,2,7,2,3
3,1,2,7,10,3
3,1,2,9,2,3
3,1,2,9,10,9
3,1,10,4,2,3
### duplicate: 3,1,10,5,2,1
3,1,10,5,2,1
3,1,10,7,2,3
3,1,10,9,2,3
3,2,4,10,4,3
3,2,4,10,7,3
3,2,4,10,9,3
3,2,7,10,4,3
3,2,7,10,7,3
3,2,7,10,9,3
3,2,9,10,4,9
3,2,9,10,7,9
3,2,9,10,9,9
3,4,10,5,2,4
3,7,10,5,2,7
3,9,10,5,2,9
4,0,2,1,3,0
4,0,2,1,10,0
4,0,2,9,10,10
4,0,2,10,2,0
4,0,5,6,2,6
4,0,6,2,2,6
4,0,10,1,2,0
4,0,10,2,1,0
5,0,0,2,9,5
5,0,0,6,2,0
5,0,2,9,2,5
6,0,2,0,5,2
6,0,2,1,5,2
6,0,2,2,0,0
6,0,2,2,1,0
6,0,2,2,4,0
6,0,2,2,7,0
6,0,2,2,9,0
6,0,2,4,5,2
6,0,2,7,5,2
6,0,2,9,2,0
6,0,2,9,5,2
6,0,5,2,2,0
6,0,10,10,2,2
6,1,5,2,2,0
6,1,10,10,2,2
6,2,2,4,5,0
6,2,2,7,5,0
6,2,2,9,5,0
6,2,4,10,10,2
6,2,7,10,10,2
6,2,9,10,10,2
7,0,2,1,3,0
7,0,2,1,9,9
7,0,2,1,10,0
7,0,2,9,10,10
7,0,2,10,2,0
7,0,5,6,2,6
7,0,6,2,2,6
7,0,10,1,2,0
7,0,10,2,1,0
9,0,0,2,1,0
9,0,1,0,2,0
9,0,1,1,2,0
9,0,1,2,1,0
9,0,1,2,2,0
9,0,1,2,5,0
9,0,1,2,7,0
9,0,1,6,2,0
9,0,2,1,2,0
9,0,2,1,3,0
9,0,2,1,5,0
9,0,2,1,10,10
9,0,2,2,2,1
9,0,2,3,2,0
9,0,2,6,2,6
9,0,2,9,10,10
9,0,2,10,2,0
9,0,3,1,2,0
9,0,5,6,2,6
9,0,6,2,2,6
9,0,10,0,2,0
9,0,10,1,2,0
9,0,10,2,1,0
9,0,10,4,2,0
9,0,10,7,2,0
9,0,10,9,2,0
10,0,0,2,2,10
10,0,2,0,10,10
10,0,2,1,2,1
10,0,2,1,10,10
10,0,2,2,1,10
10,0,2,2,4,10
10,0,2,2,7,10
10,0,2,2,9,10
10,0,2,2,10,10
10,0,2,4,10,10
10,0,2,7,10,10
10,0,2,9,10,10
10,0,2,10,10,1
10,0,3,2,2,10
10,0,9,2,2,10
10,0,10,1,2,10
10,0,10,4,2,10
10,0,10,7,2,10
10,0,10,9,2,10
10,1,1,10,2,10
10,1,2,1,2,1
10,1,2,1,6,1
10,1,2,1,10,10
10,1,2,2,7,2
10,1,2,2,10,10
10,1,2,4,10,10
10,1,2,7,2,7
10,1,2,7,10,10
10,1,2,9,2,9
10,1,2,9,10,10
10,1,2,10,2,4
10,1,2,10,10,1
10,1,3,2,2,10
10,1,6,2,2,2
10,1,6,10,2,1
10,1,9,2,2,10
10,1,10,4,2,10
10,1,10,7,2,10
10,1,10,9,2,10
10,2,2,4,3,10
10,2,2,4,9,10
10,2,2,7,3,10
10,2,2,7,9,10
10,2,2,9,3,10
10,2,2,9,9,10
10,2,2,10,3,10
10,2,2,10,4,10
10,2,2,10,6,2
10,2,2,10,7,10
10,2,2,10,9,10
10,2,4,10,4,10
10,2,4,10,7,10
10,2,4,10,9,10
10,2,7,10,4,10
10,2,7,10,7,10
10,2,7,10,9,10
10,2,9,10,4,10
10,2,9,10,7,10
10,2,9,10,9,10
10,2,10,10,4,1
10,2,10,10,7,1
10,2,10,10,9,1
5,0,0,9,2,5
0,0,0,2,4,2
0,0,0,2,7,2
0,0,0,2,9,2
7,0,0,1,2,0
4,0,0,1,2,0
9,0,0,1,2,0
0,9,2,4,2,11
0,9,2,7,2,11
1,9,2,0,2,9
1,9,2,1,2,9
4,9,2,1,2,11
7,9,2,1,2,11
11,2,0,2,0,11
11,2,0,2,1,11
11,2,0,2,4,11
11,2,0,2,7,11
0,11,2,4,2,1
0,11,2,7,2,1
1,11,2,0,2,1
1,11,2,1,2,1
4,11,2,1,2,0
7,11,2,1,2,0
0,11,1,10,2,1
1,11,7,10,2,7
1,11,4,10,2,4
### duplicate: 1,11,1,10,2,10
11,1,2,1,2,11
11,1,2,4,2,9
11,1,2,7,2,9
4,11,0,10,2,0
7,11,0,10,2,0
1,11,1,10,2,10
2,11,2,2,1,2
2,11,2,2,4,2
2,11,2,2,7,2
2,11,2,2,0,2
2,11,2,0,2,2
2,10,0,5,0,2
2,10,0,5,1,2
2,10,0,5,4,2
2,10,0,5,7,2
10,10,10,2,2,2
10,10,10,2,1,1
10,10,10,2,0,6
2,10,1,2,2,5
6,9,2,1,2,2
1,6,1,2,1,1
6,2,1,2,1,2
5,6,1,2,2,5
6,5,1,2,1,2
5,2,2,2,1,5
2,6,2,1,5,2
5,9,1,2,0,0
9,10,5,2,0,1
1,2,2,0,1,1
1,9,1,0,2,9
2,7,6,2,2,2
7,10,0,2,0,1
10,7,7,2,2,2
0,5,6,7,7,1
2,6,2,2,0,2
9,7,2,0,0,0
1,0,2,5,9,9

# The above transition rules come directly from rule_sex,
# except for some lines with duplicate inputs that have been
# commented out (search for "### duplicate" above).
#
# The following rules come from F_Sexyloop.java after this comment:
#    // Defining rules related to state '8'
# Note that state 8 does not appear anywhere above.

var any1={0,1,2,3,4,5,6,7,8,9,10,11}
var any2={0,1,2,3,4,5,6,7,8,9,10,11}
var any3={0,1,2,3,4,5,6,7,8,9,10,11}
var any4={0,1,2,3,4,5,6,7,8,9,10,11}
var a1to11={1,2,3,4,5,6,7,8,9,10,11}
var a01={0,1}
var a235={2,3,5}
var a467={4,6,7}
var x1={2,3,4,5,6,7}
var x2={2,3,4,5,6,7}
var x3={2,3,4,5,6,7}

8,any1,any2,any3,any4,0

a01,8,x1,x2,x3,8
a01,8,any1,x1,x2,8
a01,8,x1,any1,x2,8
a01,8,x1,x2,any1,8
a01,8,any1,any2,x1,8
a01,8,x1,any1,any2,8
a01,8,any1,x1,any2,8
a01,8,any1,any2,any3,a01

a235,8,any1,any2,any3,0
a467,8,any1,any2,any3,1

0,any1,any2,any3,any4,0
a1to11,any1,any2,any3,any4,8