n_states:12
neighborhood:Moore
symmetries:rotate4

# Construction: states 1-3
# Signal: states 4 (left), 5 (right)
# Flags: states 6 (input), 7 (output)
# Confluent: states 8-11

var a0={0,1,2,3,4,5,6,7,8,9,10,11}
var a1={0,1,2,3,4,5,6,7,8,9,10,11}
var a2={0,1,2,3,4,5,6,7,8,9,10,11}
var a3={0,1,2,3,4,5,6,7,8,9,10,11}
var a4={0,1,2,3,4,5,6,7,8,9,10,11}
var a5={0,1,2,3,4,5,6,7,8,9,10,11}
var a6={0,1,2,3,4,5,6,7,8,9,10,11}
var a7={0,1,2,3,4,5,6,7,8,9,10,11}
var a8={0,1,2,3,4,5,6,7,8,9,10,11}

var b0={0,4,5}

var c0={6,7}

var d0={2,3}

var e0={0,4}
var f0={0,5}

var g0={1,7}

var h0={8,9,11}
var h1={8,9,11}
var h2={8,9,11}
var h3={8,9,11}

var i1={9,11}
var i2={9,11}
var i3={9,11}

var j0={8,9,10,11}
var j1={8,9,10,11}
var j2={8,9,10,11}
var j3={8,9,10,11}

var k3={8,10}

var l0={0,6,7}

var m0={10,11}

# construction - bifurcation
 6, 5, 4, 6,a4,a5,a6,a7,a8, 1
 1, 0, 0,c0,a4,a5,a6,a7,a8, 2
 1, 5, 4,c0,a4,a5,a6,a7,a8, 3
d0,f0,e0, 6,a4,a5,a6,a7,a8,d0
 6,d0, 0, 0,a4,a5,a6,a7,a8, 1
 6,d0, 5, 4,a4,a5,a6,a7,a8, 7

# construction - extend
 0, 0, 2, 1,a4,a5,a6,a7,a8, 6
 0, 2, 1, 0,a4,a5,a6,a7,a8, 6
 2, 0, 0, 1,a4,a5,a6,a7,a8, 0
 1, 2, 0, 0,a4,a5,a6,a7,a8, 0
 
# construction - double
 2, 5, 4, 1,a4,a5,a6,a7,a8, 6
 1, 2, 5, 4,a4,a5,a6,a7,a8, 6

# construction - left turn
 7, 2, 0, 0,a4,a5,a6,a7,a8, 2
 2, 0, 0, 7,a4,a5,a6,a7,a8, 0
 0, 0, 7, 2,a4,a5,a6,a7,a8, 4
 0, 7, 2, 0,a4,a5,a6,a7,a8, 1
 1, 2, 0, 4,a4,a5,a6,a7,a8, 4
 2, 0, 4, 1,a4,a5,a6,a7,a8, 5
 0, 1, 2, 5,a4,a5,a6,a7,a8, 3
 3, 4, 5, 0,a4,a5,a6,a7,a8, 3
 0, 1, 2, 0, 0, 1,a6,a7,a8,10

# construction - right turn
 7, 2, 5, 4,a4,a5,a6,a7,a8, 0
 2, 5, 4, 7,a4,a5,a6,a7,a8, 1
 5, 4, 7, 2,a4,a5,a6,a7,a8, 2
 4, 7, 2, 5,a4,a5,a6,a7,a8, 5
 1, 2, 5, 0,a4,a5,a6,a7,a8, 4
 2, 5, 0, 1,a4,a5,a6,a7,a8, 5
 0, 4, 1, 2,a4,a5,a6,a7,a8, 3
 3, 0, 4, 5,a4,a5,a6,a7,a8, 3
 0, 1, 0, 0, 1, 2,a6,a7,a8,10

# construction - retract turns
e0,g0, 3,f0,10,a5,a6,a7,a8, 2
e0,g0, 3,f0,a4,10,a6,a7,a8, 0
f0,e0,g0, 3,a4,a5,a6,10,a8, 0
f0,e0,g0, 3,a4,a5,a6,a7,10, 3
 0, 2, 0,10,a4,a5,a6,a7,a8, 2
 0,10, 0, 3,a4,a5,a6,a7,a8, 3
 2, 0,10, 0,a4,a5,a6,a7,a8, 0
 3, 0,10, 0,a4,a5,a6,a7,a8, 0
 2,10,a2,a3,a4,a5,a6,a7,a8, 0
 3,10,a2,a3,a4,a5,a6,a7,a8, 0
10,d0,a2,a3,a4,a5,a6,a7,a8, 6
 0, 0, 2,10,a4,a5,a6,a7,a8, 6
 0,10, 3,a3,a4,a5,a6,a7,a8, 6

# construction - solids
e0,g0, 3,f0,a4,a5,a6,a7,a8, 6
f0,e0,g0, 3,a4,a5,a6,a7,a8, 6
 1, 3, 0, 0,a4,a5,a6,a7,a8, 0
 1, 3, 5, 4,a4,a5,a6,a7,a8, 6
 7, 3, 0, 0,a4,a5,a6,a7,a8, 7
 7, 3, 5, 4,a4,a5,a6,a7,a8, 8
 3,f0,e0,g0,a4,a5,a6,a7,a8, 0


# confluent - negative input
 8,h1,h2,h3, 0, 0, 0,a7,a8, 9
 9,h1,h2,h3, 5, 4, 0,a7,a8, 8

# confluent - positive input
 8,h1,h2,h3, 5, 4, 6,a7,a8, 9
 9,h1,h2,h3, 0, 0, 6,a7,a8, 8

# confluent - output
h0,i1,i2,i3,a5,a4, 7,a7,a8,11
h0,h1,h2,h3,a5,a4, 7,a7,a8, 9
e0,f0,11,h0,a4,l0,a6,a7,a8, 4
f0, 7,a2,11,h0,e0,a6,a7,a8, 5


# crossover
j0,j1,j2,k3,e0,f0, 8,a7,a8, 8
j0,j1,j2,k3, 5, 4, 8,a7,a8, 9
j0,j1,j2,i3,e0,f0, 8,a7,a8,10
j0,j1,j2,i3, 5, 4, 8,a7,a8,11
e0,f0,j2,m0,a4, 8,a6,a7,a8, 4
f0, 8,a2,j3,m0,e0,a6,a7,a8, 5

# signal motion
b0,f0, 5, 4,a4,a5,a6,a7,a8, 4
b0, 5, 4,e0,a4,a5,a6,a7,a8, 5

 0, 0,10, 4,a4,a5,a6,a7,a8, 4
 0,10, 4, 0,a4,a5,a6,a7,a8, 5
 0, 0, 5,10,a4,a5,a6,a7,a8, 4
 0, 5,10, 0,a4,a5,a6,a7,a8, 5

 4, 5,10, 4,a4,a5,a6,a7,a8, 4
 5,10, 4, 4,a4,a5,a6,a7,a8, 5
 4, 5, 5,10,a4,a5,a6,a7,a8, 4
 5, 5,10, 4,a4,a5,a6,a7,a8, 5

# death
b0,a1,a2,a3,a4,a5,a6,a7,a8, 0
b0,a1,a2,a3,a4,a5,a6,a7,a8, 0
 3,a1,a2,a3,a4,a5,a6,a7,a8, 2
 2,a1,a2,a3,a4,a5,a6,a7,a8, 1
 1,a1,a2,a3,a4,a5,a6,a7,a8, 0