Configuration: 3 with 1 MVars and 2 uses with shortoutput: True
> testing translation candidate 0 :
([putCh^1,putCh^1,putS],[takeS,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 1 :
([putCh^1,putCh^1,putS],[takeCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 2 :
([putCh^1,putCh^1,putS],[takeCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
>>> testing pi program 12
([[Output "x" "z",Output "z" "a"],[Input "x" "w" 0,Input "w" "b" 0,Stop],[Input "x" "y" 0,Output "x" "y"]],True,True)
ok
> testing translation candidate 3 :
([putCh^1,putCh^1,putS,takeCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 4 :
([putCh^1,putCh^1,putS,takeCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 5 :
([putCh^1,putCh^1,putS,takeCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 6 :
([putCh^1,putCh^1,takeCh^1,putS],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 7 :
([putCh^1,putCh^1,takeCh^1,putS],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 8 :
([putCh^1,putCh^1,takeCh^1,putS,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 9 :
([putCh^1,putCh^1,takeCh^1,takeCh^1,putS],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 10 :
([putCh^1,putS],[putCh^1,takeS,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 11 :
([putCh^1,putS],[putCh^1,takeCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 12 :
([putCh^1,putS],[putCh^1,takeCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 13 :
([putCh^1,putS],[takeS,putCh^1,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 14 :
([putCh^1,putS],[takeS,takeCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 15 :
([putCh^1,putS],[takeS,takeCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 16 :
([putCh^1,putS],[takeCh^1,putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 17 :
([putCh^1,putS],[takeCh^1,putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 18 :
([putCh^1,putS],[takeCh^1,takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 19 :
([putCh^1,putS],[takeCh^1,takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 20 :
([putCh^1,putS],[takeCh^1,takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 21 :
([putCh^1,putS],[takeCh^1,takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 22 :
([putCh^1,putS,putCh^1],[takeS,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 23 :
([putCh^1,putS,putCh^1],[takeCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 24 :
([putCh^1,putS,putCh^1],[takeCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 25 :
([putCh^1,putS,putCh^1,takeCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 26 :
([putCh^1,putS,putCh^1,takeCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 27 :
([putCh^1,putS,putCh^1,takeCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 28 :
([putCh^1,putS,takeCh^1],[putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 29 :
([putCh^1,putS,takeCh^1],[putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 30 :
([putCh^1,putS,takeCh^1],[takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 31 :
([putCh^1,putS,takeCh^1],[takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 32 :
([putCh^1,putS,takeCh^1],[takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 33 :
([putCh^1,putS,takeCh^1],[takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 34 :
([putCh^1,putS,takeCh^1,putCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 35 :
([putCh^1,putS,takeCh^1,putCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 36 :
([putCh^1,putS,takeCh^1,putCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 37 :
([putCh^1,putS,takeCh^1,takeCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 38 :
([putCh^1,putS,takeCh^1,takeCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 39 :
([putCh^1,putS,takeCh^1,takeCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 40 :
([putCh^1,takeCh^1,putCh^1,putS],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 41 :
([putCh^1,takeCh^1,putCh^1,putS],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 42 :
([putCh^1,takeCh^1,putCh^1,putS,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 43 :
([putCh^1,takeCh^1,putCh^1,takeCh^1,putS],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 44 :
([putCh^1,takeCh^1,putS],[putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 45 :
([putCh^1,takeCh^1,putS],[putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 46 :
([putCh^1,takeCh^1,putS],[takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 47 :
([putCh^1,takeCh^1,putS],[takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 48 :
([putCh^1,takeCh^1,putS],[takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 49 :
([putCh^1,takeCh^1,putS],[takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 50 :
([putCh^1,takeCh^1,putS,putCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 51 :
([putCh^1,takeCh^1,putS,putCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 52 :
([putCh^1,takeCh^1,putS,putCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 53 :
([putCh^1,takeCh^1,putS,takeCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 54 :
([putCh^1,takeCh^1,putS,takeCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 55 :
([putCh^1,takeCh^1,putS,takeCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 56 :
([putCh^1,takeCh^1,takeCh^1,putCh^1,putS],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 57 :
([putCh^1,takeCh^1,takeCh^1,putS],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 58 :
([putCh^1,takeCh^1,takeCh^1,putS],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 59 :
([putCh^1,takeCh^1,takeCh^1,putS,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 60 :
([putS],[putCh^1,putCh^1,takeS,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 61 :
([putS],[putCh^1,putCh^1,takeCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 62 :
([putS],[putCh^1,putCh^1,takeCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 63 :
([putS],[putCh^1,takeS,putCh^1,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 64 :
([putS],[putCh^1,takeS,takeCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 65 :
([putS],[putCh^1,takeS,takeCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 66 :
([putS],[putCh^1,takeCh^1,putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 67 :
([putS],[putCh^1,takeCh^1,putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 68 :
([putS],[putCh^1,takeCh^1,takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 69 :
([putS],[putCh^1,takeCh^1,takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 70 :
([putS],[putCh^1,takeCh^1,takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 71 :
([putS],[putCh^1,takeCh^1,takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 72 :
([putS],[takeS,putCh^1,putCh^1,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 73 :
([putS],[takeS,putCh^1,takeCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 74 :
([putS],[takeS,putCh^1,takeCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 75 :
([putS],[takeS,takeCh^1,putCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 76 :
([putS],[takeS,takeCh^1,putCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 77 :
([putS],[takeS,takeCh^1,takeCh^1,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 78 :
([putS],[takeCh^1,putCh^1,putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 79 :
([putS],[takeCh^1,putCh^1,putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 80 :
([putS],[takeCh^1,putCh^1,takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 81 :
([putS],[takeCh^1,putCh^1,takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 82 :
([putS],[takeCh^1,putCh^1,takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 83 :
([putS],[takeCh^1,putCh^1,takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 84 :
([putS],[takeCh^1,takeS,putCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 85 :
([putS],[takeCh^1,takeS,putCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 86 :
([putS],[takeCh^1,takeS,takeCh^1,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 87 :
([putS],[takeCh^1,takeCh^1,putCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 88 :
([putS],[takeCh^1,takeCh^1,putCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 89 :
([putS],[takeCh^1,takeCh^1,takeS,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 90 :
([putS,putCh^1],[putCh^1,takeS,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 91 :
([putS,putCh^1],[putCh^1,takeCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 92 :
([putS,putCh^1],[putCh^1,takeCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 93 :
([putS,putCh^1],[takeS,putCh^1,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 94 :
([putS,putCh^1],[takeS,takeCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 95 :
([putS,putCh^1],[takeS,takeCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 96 :
([putS,putCh^1],[takeCh^1,putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 97 :
([putS,putCh^1],[takeCh^1,putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 98 :
([putS,putCh^1],[takeCh^1,takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 99 :
([putS,putCh^1],[takeCh^1,takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 100 :
([putS,putCh^1],[takeCh^1,takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 101 :
([putS,putCh^1],[takeCh^1,takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 102 :
([putS,putCh^1,putCh^1],[takeS,takeCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 103 :
([putS,putCh^1,putCh^1],[takeCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 104 :
([putS,putCh^1,putCh^1],[takeCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
>>> testing pi program 12
([[Output "x" "z",Output "z" "a"],[Input "x" "w" 0,Input "w" "b" 0,Stop],[Input "x" "y" 0,Output "x" "y"]],True,True)
ok
> testing translation candidate 105 :
([putS,putCh^1,putCh^1,takeCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 106 :
([putS,putCh^1,putCh^1,takeCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 107 :
([putS,putCh^1,putCh^1,takeCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 108 :
([putS,putCh^1,takeCh^1],[putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 109 :
([putS,putCh^1,takeCh^1],[putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 110 :
([putS,putCh^1,takeCh^1],[takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 111 :
([putS,putCh^1,takeCh^1],[takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 112 :
([putS,putCh^1,takeCh^1],[takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 113 :
([putS,putCh^1,takeCh^1],[takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 114 :
([putS,putCh^1,takeCh^1,putCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 115 :
([putS,putCh^1,takeCh^1,putCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 116 :
([putS,putCh^1,takeCh^1,putCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 117 :
([putS,putCh^1,takeCh^1,takeCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 118 :
([putS,putCh^1,takeCh^1,takeCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 119 :
([putS,putCh^1,takeCh^1,takeCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 120 :
([putS,takeCh^1],[putCh^1,putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 121 :
([putS,takeCh^1],[putCh^1,putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
>>> testing pi program 12
([[Output "x" "z",Output "z" "a"],[Input "x" "w" 0,Input "w" "b" 0,Stop],[Input "x" "y" 0,Output "x" "y"]],True,True)
ok
> testing translation candidate 122 :
([putS,takeCh^1],[putCh^1,takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 123 :
([putS,takeCh^1],[putCh^1,takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 124 :
([putS,takeCh^1],[putCh^1,takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 125 :
([putS,takeCh^1],[putCh^1,takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 126 :
([putS,takeCh^1],[takeS,putCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 127 :
([putS,takeCh^1],[takeS,putCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 128 :
([putS,takeCh^1],[takeS,takeCh^1,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 129 :
([putS,takeCh^1],[takeCh^1,putCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 130 :
([putS,takeCh^1],[takeCh^1,putCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 131 :
([putS,takeCh^1],[takeCh^1,takeS,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 132 :
([putS,takeCh^1,putCh^1],[putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 133 :
([putS,takeCh^1,putCh^1],[putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 134 :
([putS,takeCh^1,putCh^1],[takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 135 :
([putS,takeCh^1,putCh^1],[takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 136 :
([putS,takeCh^1,putCh^1],[takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 137 :
([putS,takeCh^1,putCh^1],[takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 138 :
([putS,takeCh^1,putCh^1,putCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 139 :
([putS,takeCh^1,putCh^1,putCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 140 :
([putS,takeCh^1,putCh^1,putCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 141 :
([putS,takeCh^1,putCh^1,takeCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 142 :
([putS,takeCh^1,putCh^1,takeCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 143 :
([putS,takeCh^1,putCh^1,takeCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 144 :
([putS,takeCh^1,takeCh^1],[putCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 145 :
([putS,takeCh^1,takeCh^1],[putCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 146 :
([putS,takeCh^1,takeCh^1],[takeS,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 147 :
([putS,takeCh^1,takeCh^1,putCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 148 :
([putS,takeCh^1,takeCh^1,putCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 149 :
([putS,takeCh^1,takeCh^1,putCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 150 :
([takeCh^1,putCh^1,putCh^1,putS],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 151 :
([takeCh^1,putCh^1,putCh^1,putS],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 152 :
([takeCh^1,putCh^1,putCh^1,putS,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 153 :
([takeCh^1,putCh^1,putCh^1,takeCh^1,putS],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 154 :
([takeCh^1,putCh^1,putS],[putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 155 :
([takeCh^1,putCh^1,putS],[putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 156 :
([takeCh^1,putCh^1,putS],[takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 157 :
([takeCh^1,putCh^1,putS],[takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 158 :
([takeCh^1,putCh^1,putS],[takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 159 :
([takeCh^1,putCh^1,putS],[takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 160 :
([takeCh^1,putCh^1,putS,putCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 161 :
([takeCh^1,putCh^1,putS,putCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 162 :
([takeCh^1,putCh^1,putS,putCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 163 :
([takeCh^1,putCh^1,putS,takeCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 164 :
([takeCh^1,putCh^1,putS,takeCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 165 :
([takeCh^1,putCh^1,putS,takeCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 166 :
([takeCh^1,putCh^1,takeCh^1,putCh^1,putS],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 167 :
([takeCh^1,putCh^1,takeCh^1,putS],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 168 :
([takeCh^1,putCh^1,takeCh^1,putS],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 169 :
([takeCh^1,putCh^1,takeCh^1,putS,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 170 :
([takeCh^1,putS],[putCh^1,putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 171 :
([takeCh^1,putS],[putCh^1,putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 172 :
([takeCh^1,putS],[putCh^1,takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 173 :
([takeCh^1,putS],[putCh^1,takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 174 :
([takeCh^1,putS],[putCh^1,takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
ok
> testing translation candidate 175 :
([takeCh^1,putS],[putCh^1,takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 176 :
([takeCh^1,putS],[takeS,putCh^1,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 177 :
([takeCh^1,putS],[takeS,putCh^1,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 178 :
([takeCh^1,putS],[takeS,takeCh^1,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 179 :
([takeCh^1,putS],[takeCh^1,putCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 180 :
([takeCh^1,putS],[takeCh^1,putCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 181 :
([takeCh^1,putS],[takeCh^1,takeS,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 182 :
([takeCh^1,putS,putCh^1],[putCh^1,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 183 :
([takeCh^1,putS,putCh^1],[putCh^1,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 184 :
([takeCh^1,putS,putCh^1],[takeS,putCh^1,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 185 :
([takeCh^1,putS,putCh^1],[takeS,takeCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 186 :
([takeCh^1,putS,putCh^1],[takeCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 187 :
([takeCh^1,putS,putCh^1],[takeCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 188 :
([takeCh^1,putS,putCh^1,putCh^1],[takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 189 :
([takeCh^1,putS,putCh^1,putCh^1],[takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 190 :
([takeCh^1,putS,putCh^1,putCh^1,takeCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 191 :
([takeCh^1,putS,putCh^1,takeCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
ok
> testing translation candidate 192 :
([takeCh^1,putS,putCh^1,takeCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 193 :
([takeCh^1,putS,putCh^1,takeCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 194 :
([takeCh^1,putS,takeCh^1],[putCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 195 :
([takeCh^1,putS,takeCh^1],[putCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 196 :
([takeCh^1,putS,takeCh^1],[takeS,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 197 :
([takeCh^1,putS,takeCh^1,putCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 198 :
([takeCh^1,putS,takeCh^1,putCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 199 :
([takeCh^1,putS,takeCh^1,putCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 200 :
([takeCh^1,takeCh^1,putCh^1,putCh^1,putS],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 201 :
([takeCh^1,takeCh^1,putCh^1,putS],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 202 :
([takeCh^1,takeCh^1,putCh^1,putS],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 203 :
([takeCh^1,takeCh^1,putCh^1,putS,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 204 :
([takeCh^1,takeCh^1,putS],[putCh^1,putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 2
([[Output "x" "y"],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 3
([[Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 4
([[Output "x" "y",Stop]],False,False)
>>> testing pi program 5
([[Output "x" "y",Stop],[Output "xx" "yy"],[Input "x" "y" 0]],True,True)
>>> testing pi program 6
([[Output "x" "y"],[Output "xx" "yy",Stop],[Input "x" "y" 0]],False,False)
>>> testing pi program 7
([[Output "x" "y",Stop],[Input "x" "y" 0],[Input "xxx" "yyyy" 0]],True,True)
>>> testing pi program 8
([[Output "x" "y",Input "x" "z" 0,Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 9
([[Output "x" "y",Output "x" "z",Stop],[Input "x" "w" 0]],False,False)
>>> testing pi program 10
([[Input "x" "y" 0,Input "x" "z" 0,Stop],[Output "x" "w",Input "w" "z" 0]],False,False)
>>> testing pi program 11
([[Output "x" "z",Output "z" "a",Stop],[Output "x" "w",Output "w" "a",Stop],[Input "x" "y" 0,Input "y" "u" 0]],True,True)
ok
> testing translation candidate 205 :
([takeCh^1,takeCh^1,putS],[putCh^1,takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 206 :
([takeCh^1,takeCh^1,putS],[takeS,putCh^1,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 207 :
([takeCh^1,takeCh^1,putS,putCh^1],[putCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 208 :
([takeCh^1,takeCh^1,putS,putCh^1],[takeS,putCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> testing translation candidate 209 :
([takeCh^1,takeCh^1,putS,putCh^1,putCh^1],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
>>> testing pi program 1
([[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
ok
> done!
==================================================================
  Summary
==================================================================

Used counterexamples: [0,1,2,8,9,11,12]
Number of candidates: 210