output after each
outK3 
2
34
10
BEGIN DEFINITIONS
// This map F is a left permutive map, B, 
// precomposed with an automorphism, U.  
// U below is the automorphism of the 2-shift which applies the flip 
// in the blank space given the surrounding frame: 1 0 _ 1 1. 
// This U is given by  x[0] + x[-2]*(1+x[-1])*x[1]*x[2] which is 
OPT U = x[0] + x[-2]*x[1]*x[2] +  x[-2]*x[-1]*x[1]*x[2]
//The map B below is 1-1 a.e., 
//is left permutive, is not right closing. 
OPT B = x[0] + x[1]*x[2] 
BEGIN COMMANDS 
B#U