Configuration: 4 with 2 MVars and 1 uses. shortoutput: True
> testing translation candidate 0 :
([takeCh^1,takeCh^2,putS],[putCh^1,putCh^2,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 1 :
([takeCh^1,takeCh^2,putS],[putCh^2,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 2 :
([takeCh^1,takeCh^2,putS],[takeS,putCh^2,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 3 :
([takeCh^1,takeCh^2,putS],[putCh^2,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 4 :
([takeCh^1,takeCh^2,putS],[takeS,putCh^1,putCh^2])
>>> 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 5 :
([takeCh^1,takeCh^2,putS],[putCh^1,takeS,putCh^2])
>>> 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 :
([putS,takeCh^1,takeCh^2],[putCh^2,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 7 :
([putS,takeCh^1,takeCh^2],[putCh^1,putCh^2,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 8 :
([putS,takeCh^1,takeCh^2],[takeS,putCh^1,putCh^2])
>>> 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 9 :
([putS,takeCh^1,takeCh^2],[putCh^1,takeS,putCh^2])
>>> 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 10 :
([putS,takeCh^1,takeCh^2],[takeS,putCh^2,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 11 :
([putS,takeCh^1,takeCh^2],[putCh^2,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 12 :
([takeCh^1,putS,takeCh^2],[putCh^2,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 13 :
([takeCh^1,putS,takeCh^2],[putCh^1,putCh^2,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 14 :
([takeCh^1,putS,takeCh^2],[takeS,putCh^1,putCh^2])
>>> 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 15 :
([takeCh^1,putS,takeCh^2],[putCh^1,takeS,putCh^2])
>>> 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)
>>> testing pi program 13
([[Input "x" "z" 0,Input "z" "a" 0,Stop],[Input "x" "w" 0,Input "w" "a" 0,Stop],[Output "x" "y",Output "y" "u"]],True,True)
>>> testing pi program 14
([[Output "x" "y"],[Input "x" "y" 0,Stop],[Output "x" "y"]],True,True)
>>> testing pi program 15
([[Output "x" "y",Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Output "x" "y"]],True,True)
>>> testing pi program 16
([[Output "x" "y"],[Input "x" "y" 0],[Output "x" "y",Stop]],True,False)
>>> testing pi program 17
([[Output "x" "y",Output "x" "z",Output "z" "u",Stop],[Input "x" "w" 0],[Input "x" "ww" 0],[Output "x" "u"]],False,False)
>>> testing pi program 18
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Input "x" "u" 0]],False,False)
>>> testing pi program 19
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Input "x" "u" 0],[Input "x" "u" 0]],False,False)
>>> testing pi program 20
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Output "x" "u"]],False,False)
>>> testing pi program 21
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Output "w" "u"]],True,False)
>>> testing pi program 22
([[Input "x" "y" 0,Input "y" "z" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Output "w" "u"],[Output "ww" "u"]],True,True)
>>> testing pi program 23
([[Output "x" "y",Input "y" "z" 0,Stop],[Input "x" "w" 0,Output "w" "u"]],True,True)
>>> testing pi program 24
([[Output "x" "y",Input "y" "z" 0,Input "z" "zz" 0],[Input "x" "w" 0,Output "w" "u"],[Output "u" "uu",Stop]],True,True)
>>> testing pi program 25
([[Output "x" "y",Input "y" "z" 0,Input "z" "zz" 0],[Input "x" "w" 0],[Input "x" "w" 0,Output "w" "u"],[Output "u" "uu",Stop]],True,False)
>>> testing pi program 26
([[Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 27
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 28
([[Output "x" "y"],[Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 29
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0],[Input "x" "y" 0]],True,True)
>>> testing pi program 30
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 31
([[Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 32
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 33
([[Output "x" "w",Input "x" "y" 0,Output "y" "q"],[Input "x" "z" 0],[Output "x" "z"],[Input "w" "p" 0,Stop]],False,False)
>>> testing pi program 34
([[Output "x" "y",Input "x" "z" 0,Output "z" "q"],[Input "x" "z" 0],[Input "x" "z" 0],[Output "x" "z"],[Input "y" "u" 0,Stop]],False,False)
ok
> testing translation candidate 16 :
([takeCh^1,putS,takeCh^2],[takeS,putCh^2,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 17 :
([takeCh^1,putS,takeCh^2],[putCh^2,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 18 :
([putCh^1,takeCh^2,putS],[takeCh^1,putCh^2,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)
>>> testing pi program 13
([[Input "x" "z" 0,Input "z" "a" 0,Stop],[Input "x" "w" 0,Input "w" "a" 0,Stop],[Output "x" "y",Output "y" "u"]],True,True)
>>> testing pi program 14
([[Output "x" "y"],[Input "x" "y" 0,Stop],[Output "x" "y"]],True,True)
>>> testing pi program 15
([[Output "x" "y",Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Output "x" "y"]],True,True)
>>> testing pi program 16
([[Output "x" "y"],[Input "x" "y" 0],[Output "x" "y",Stop]],True,False)
>>> testing pi program 17
([[Output "x" "y",Output "x" "z",Output "z" "u",Stop],[Input "x" "w" 0],[Input "x" "ww" 0],[Output "x" "u"]],False,False)
>>> testing pi program 18
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Input "x" "u" 0]],False,False)
>>> testing pi program 19
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Input "x" "u" 0],[Input "x" "u" 0]],False,False)
>>> testing pi program 20
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Output "x" "u"]],False,False)
>>> testing pi program 21
([[Input "x" "y" 0,Input "x" "z" 0,Input "z" "u" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Output "w" "u"]],True,False)
>>> testing pi program 22
([[Input "x" "y" 0,Input "y" "z" 0,Stop],[Output "x" "w"],[Output "x" "ww"],[Output "w" "u"],[Output "ww" "u"]],True,True)
>>> testing pi program 23
([[Output "x" "y",Input "y" "z" 0,Stop],[Input "x" "w" 0,Output "w" "u"]],True,True)
>>> testing pi program 24
([[Output "x" "y",Input "y" "z" 0,Input "z" "zz" 0],[Input "x" "w" 0,Output "w" "u"],[Output "u" "uu",Stop]],True,True)
>>> testing pi program 25
([[Output "x" "y",Input "y" "z" 0,Input "z" "zz" 0],[Input "x" "w" 0],[Input "x" "w" 0,Output "w" "u"],[Output "u" "uu",Stop]],True,False)
>>> testing pi program 26
([[Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 27
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 28
([[Output "x" "y"],[Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 29
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0],[Input "x" "y" 0]],True,True)
>>> testing pi program 30
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 31
([[Output "x" "y"],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop],[Input "x" "y" 0,Stop]],True,True)
>>> testing pi program 32
([[Output "x" "y",Stop],[Output "x" "y",Stop],[Output "x" "y",Stop],[Input "x" "y" 0]],True,True)
>>> testing pi program 33
([[Output "x" "w",Input "x" "y" 0,Output "y" "q"],[Input "x" "z" 0],[Output "x" "z"],[Input "w" "p" 0,Stop]],False,False)
ok
> testing translation candidate 19 :
([putCh^1,takeCh^2,putS],[putCh^2,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)
ok
> testing translation candidate 20 :
([putCh^1,takeCh^2,putS],[takeS,putCh^2,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 21 :
([putCh^1,takeCh^2,putS],[putCh^2,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)
ok
> testing translation candidate 22 :
([putCh^1,takeCh^2,putS],[takeS,takeCh^1,putCh^2])
>>> 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 23 :
([putCh^1,takeCh^2,putS],[takeCh^1,takeS,putCh^2])
>>> 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 24 :
([takeCh^1,putCh^2,putS],[takeCh^2,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 25 :
([takeCh^1,putCh^2,putS],[putCh^1,takeCh^2,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 26 :
([takeCh^1,putCh^2,putS],[takeS,putCh^1,takeCh^2])
>>> 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 27 :
([takeCh^1,putCh^2,putS],[putCh^1,takeS,takeCh^2])
>>> 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 28 :
([takeCh^1,putCh^2,putS],[takeS,takeCh^2,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 29 :
([takeCh^1,putCh^2,putS],[takeCh^2,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 30 :
([putS,takeCh^1,putCh^2],[takeCh^2,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 31 :
([putS,takeCh^1,putCh^2],[putCh^1,takeCh^2,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 32 :
([putS,takeCh^1,putCh^2],[takeS,putCh^1,takeCh^2])
>>> 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 33 :
([putS,takeCh^1,putCh^2],[putCh^1,takeS,takeCh^2])
>>> 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 34 :
([putS,takeCh^1,putCh^2],[takeS,takeCh^2,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 35 :
([putS,takeCh^1,putCh^2],[takeCh^2,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 36 :
([takeCh^1,putS,putCh^2],[takeCh^2,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 37 :
([takeCh^1,putS,putCh^2],[putCh^1,takeCh^2,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 38 :
([takeCh^1,putS,putCh^2],[takeS,putCh^1,takeCh^2])
>>> 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 39 :
([takeCh^1,putS,putCh^2],[putCh^1,takeS,takeCh^2])
>>> 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 40 :
([takeCh^1,putS,putCh^2],[takeS,takeCh^2,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 41 :
([takeCh^1,putS,putCh^2],[takeCh^2,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 42 :
([putS,putCh^1,takeCh^2],[takeCh^1,putCh^2,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 43 :
([putS,putCh^1,takeCh^2],[putCh^2,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)
ok
> testing translation candidate 44 :
([putS,putCh^1,takeCh^2],[takeS,putCh^2,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 45 :
([putS,putCh^1,takeCh^2],[putCh^2,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)
ok
> testing translation candidate 46 :
([putS,putCh^1,takeCh^2],[takeS,takeCh^1,putCh^2])
>>> 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 47 :
([putS,putCh^1,takeCh^2],[takeCh^1,takeS,putCh^2])
>>> 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 48 :
([putCh^1,putS,takeCh^2],[takeCh^1,putCh^2,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 49 :
([putCh^1,putS,takeCh^2],[putCh^2,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)
ok
> testing translation candidate 50 :
([putCh^1,putS,takeCh^2],[takeS,putCh^2,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 51 :
([putCh^1,putS,takeCh^2],[putCh^2,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)
ok
> testing translation candidate 52 :
([putCh^1,putS,takeCh^2],[takeS,takeCh^1,putCh^2])
>>> 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 53 :
([putCh^1,putS,takeCh^2],[takeCh^1,takeS,putCh^2])
>>> 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 54 :
([putCh^1,putCh^2,putS],[takeCh^1,takeCh^2,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 55 :
([putCh^1,putCh^2,putS],[takeCh^2,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 56 :
([putCh^1,putCh^2,putS],[takeS,takeCh^2,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 57 :
([putCh^1,putCh^2,putS],[takeCh^2,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 58 :
([putCh^1,putCh^2,putS],[takeS,takeCh^1,takeCh^2])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 59 :
([putCh^1,putCh^2,putS],[takeCh^1,takeS,takeCh^2])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 60 :
([putS,putCh^1,putCh^2],[takeCh^2,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 61 :
([putS,putCh^1,putCh^2],[takeCh^1,takeCh^2,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 62 :
([putS,putCh^1,putCh^2],[takeS,takeCh^1,takeCh^2])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 63 :
([putS,putCh^1,putCh^2],[takeCh^1,takeS,takeCh^2])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 64 :
([putS,putCh^1,putCh^2],[takeS,takeCh^2,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 65 :
([putS,putCh^1,putCh^2],[takeCh^2,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 66 :
([putCh^1,putS,putCh^2],[takeCh^2,takeCh^1,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 67 :
([putCh^1,putS,putCh^2],[takeCh^1,takeCh^2,takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 68 :
([putCh^1,putS,putCh^2],[takeS,takeCh^1,takeCh^2])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 69 :
([putCh^1,putS,putCh^2],[takeCh^1,takeS,takeCh^2])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 70 :
([putCh^1,putS,putCh^2],[takeS,takeCh^2,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> testing translation candidate 71 :
([putCh^1,putS,putCh^2],[takeCh^2,takeS,takeCh^1])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> done!
==================================================================
  Summary
==================================================================

Used counterexamples: [0,1,8,11,33,34]
Number of candidates: 72