Executing: CaseLiteral
0
2
Executing: Colormap
[Red,Green,Blue,Red]
[Red,Blue,Green,Red]
[Green,Red,Blue,Green]
[Green,Blue,Red,Green]
[Blue,Red,Green,Blue]
[Blue,Green,Red,Blue]
Executing: ColormapFree
[Red,Green,Blue,Red]
[Red,Blue,Green,Red]
[Green,Red,Blue,Green]
[Green,Blue,Red,Green]
[Blue,Red,Green,Blue]
[Blue,Green,Red,Blue]
Executing: Data
Black
White
Executing: Half
S (S O)
S (S (S O))
Executing: NonDet
False
False
True
False
Executing: Perm
[4,3,2,1]
[4,3,1,2]
[4,2,3,1]
[4,2,1,3]
[4,1,3,2]
[4,1,2,3]
[3,4,2,1]
[3,4,1,2]
[3,2,4,1]
[3,2,1,4]
[3,1,4,2]
[3,1,2,4]
[2,4,3,1]
[2,4,1,3]
[2,3,4,1]
[2,3,1,4]
[2,1,4,3]
[2,1,3,4]
[1,4,3,2]
[1,4,2,3]
[1,3,4,2]
[1,3,2,4]
[1,2,4,3]
[1,2,3,4]
Executing: PullTabOwnerTask
(F,F)
(T,T)
