((STACK Z E) (AND (ON Z E)) (PICKUP H) (AND (CLEAR Z)) (PUTDOWN H)
 (AND (ON-TABLE H)) (PICKUP K) (AND (CLEAR Z)) (STACK K O) (AND (CLEAR K))
 (UNSTACK X J) (AND (CLEAR J)) (PUTDOWN X) (AND (CLEAR J)) (UNSTACK T N)
 (AND (HOLDING T)) (STACK T U) (AND (ARM-EMPTY)) (PICKUP DD) (AND (CLEAR K))
 (PUTDOWN DD) (AND (ON Z E)) (PICKUP G) (AND (CLEAR K)) (STACK G Q)
 (AND (ON K O)) (PICKUP R) (AND (CLEAR H)) (STACK R D) (AND (CLEAR K))
 (UNSTACK G Q) (AND (HOLDING G)) (PUTDOWN G) (AND (ARM-EMPTY)) (PICKUP BB)
 (AND (CLEAR G)) (PUTDOWN BB) (AND (CLEAR G)) (UNSTACK Z E) (AND (CLEAR N))
 (PUTDOWN Z) (AND (ARM-EMPTY)) (PICKUP CC) (AND (ON T U)) (STACK CC DD)
 (AND (CLEAR K)) (UNSTACK R D) (AND (CLEAR J)) (PUTDOWN R) (AND (CLEAR E))
 (UNSTACK CC DD) (AND (CLEAR J)) (PUTDOWN CC) (AND (CLEAR T)) (UNSTACK T U)
 (AND (CLEAR Q)) (PUTDOWN T) (AND (ON-TABLE CC)) (UNSTACK K O) (AND (CLEAR DD))
 (STACK K CC) (AND (CLEAR D)) (UNSTACK O W) (AND (ON-TABLE DD)) (STACK O E)
 (AND (CLEAR Q)) (UNSTACK O E) (AND (CLEAR Q)) (PUTDOWN O) (AND (CLEAR DD))
 (UNSTACK N V) (AND (CLEAR DD)) (PUTDOWN N) (AND (ON-TABLE H)) (PICKUP E)
 (AND (ON-TABLE R)) (STACK E O) (AND (ON E O)) (UNSTACK W A)
 (AND (ON-TABLE BB)) (STACK W S) (AND (ON-TABLE CC)) (UNSTACK W S)
 (AND (CLEAR N)) (STACK W X) (AND (CLEAR R)) (PICKUP T) (AND (CLEAR J))
 (PUTDOWN T) (AND (ON E O)) (UNSTACK K CC) (AND (ON-TABLE BB)) (STACK K G)
 (AND (ON-TABLE BB)) (PICKUP F) (AND (ON E O)) (PUTDOWN F) (AND (ON-TABLE G))
 (UNSTACK K G) (AND (CLEAR BB)) (PUTDOWN K) (AND (ON E O)) (UNSTACK V Y)
 (AND (CLEAR N)) (STACK V A) (AND (CLEAR N)) (PICKUP G) (AND (CLEAR S))
 (STACK G J) (AND (ON-TABLE CC)) (PICKUP I) (AND (CLEAR CC)) (STACK I T)
 (AND (CLEAR G)) (UNSTACK G J) (AND (ON-TABLE H)) (PUTDOWN G) (AND (CLEAR F))
 (PICKUP J) (AND (CLEAR U)) (STACK J CC) (AND (CLEAR E)) (UNSTACK V A)
 (AND (CLEAR E)) (STACK V N) (AND (CLEAR H)) (UNSTACK I T) (AND (CLEAR E))
 (PUTDOWN I) (AND (ON J CC)) (PICKUP T) (AND (CLEAR V)) (PUTDOWN T)
 (AND (CLEAR Y)) (UNSTACK J CC) (AND (ON-TABLE G)) (PUTDOWN J) (AND (CLEAR T))
 (PICKUP DD) (AND (CLEAR BB)) (STACK DD G) (AND (CLEAR Y)) (PICKUP D)
 (AND (CLEAR W)) (STACK D Q) (AND (ON E O)) (UNSTACK DD G) (AND (CLEAR T))
 (PUTDOWN DD) (AND (CLEAR U)) (PICKUP Z) (AND (ON-TABLE R)) (STACK Z BB)
 (AND (CLEAR I)) (UNSTACK D Q) (AND (CLEAR CC)) (PUTDOWN D) (AND (CLEAR V))
 (PICKUP P) (AND (ON-TABLE T)) (PUTDOWN P) (AND (CLEAR DD)) (UNSTACK A B)
 (AND (CLEAR R)) (STACK A P) (AND (CLEAR H)) (UNSTACK W X) (AND (CLEAR Y))
 (PUTDOWN W) (AND (ON-TABLE R)) (UNSTACK V N) (AND (CLEAR D)) (STACK V Z)
 (AND (CLEAR H)) (PICKUP D) (AND (CLEAR Q)) (STACK D X) (AND (ON-TABLE J))
 (UNSTACK E O) (AND (CLEAR H)) (STACK E L) (AND (ON-TABLE K)) (UNSTACK E L)
 (AND (CLEAR S)) (PUTDOWN E) (AND (ON-TABLE G)) (UNSTACK V Z)
 (AND (ON-TABLE X)) (STACK V G) (AND (ON-TABLE P)) (PICKUP AA) (AND (CLEAR R))
 (STACK AA CC) (AND (CLEAR E)) (PICKUP M) (AND (CLEAR S)) (STACK M J)
 (AND (CLEAR Z)) (PICKUP Y) (AND (CLEAR H)) (PUTDOWN Y) (AND (CLEAR V))
 (PICKUP F) (AND (ON-TABLE W)) (STACK F I) (AND (CLEAR N)) (PICKUP U)
 (AND (CLEAR E)) (PUTDOWN U) (AND (CLEAR F)) (UNSTACK V G) (AND (CLEAR L))
 (STACK V T) (AND (ON AA CC)) (UNSTACK Z BB) (AND (CLEAR E)) (PUTDOWN Z)
 (AND (CLEAR V)) (UNSTACK D X) (AND (ON-TABLE I)) (PUTDOWN D) (AND (CLEAR V))
 (UNSTACK AA CC) (AND (ON-TABLE CC)) (STACK AA D) (AND (ON-TABLE R)) (PICKUP S)
 (AND (ON-TABLE D)) (PUTDOWN S) (AND (CLEAR V)) (UNSTACK A P) (AND (CLEAR H))
 (STACK A B) (AND (CLEAR G)) (PICKUP O) (AND (CLEAR P)) (STACK O S)
 (AND (CLEAR A)) (UNSTACK V T) (AND (ON-TABLE CC)) (STACK V N) (AND (CLEAR M))
 (PICKUP DD) (AND (ON-TABLE Z)) (STACK DD X) (AND (CLEAR E)) (PICKUP BB)
 (AND (ON M J)) (PUTDOWN BB) (AND (ON-TABLE BB)) (PICKUP W) (AND (CLEAR CC))
 (PUTDOWN W) (AND (CLEAR O)) (PICKUP Z) (AND (ON O S)) (PUTDOWN Z)
 (AND (ON-TABLE BB)) (PICKUP W) (AND (ON-TABLE N)) (STACK W E) (AND (ON A B))
 (PICKUP Y) (AND (ON-TABLE N)) (PUTDOWN Y) (AND (ON-TABLE P)) (PICKUP BB)
 (AND (ON V N)) (STACK BB M) (AND (CLEAR BB)) (PICKUP Z) (AND (ON O S))
 (STACK Z U) (AND (ON-TABLE H)) (UNSTACK F I) (AND (ON V N)) (STACK F C)
 (AND (CLEAR L)) (UNSTACK V N) (AND (ON M J)) (STACK V G) (AND (CLEAR BB))
 (PICKUP P) (AND (CLEAR AA)) (STACK P H) (AND (ON-TABLE R)) (PICKUP T)
 (AND (ON P H)) (PUTDOWN T) (AND (ON-TABLE R)) (UNSTACK AA D)
 (AND (ON-TABLE T)) (PUTDOWN AA) (AND (CLEAR W)) (UNSTACK DD X) (AND (ON W E))
 (PUTDOWN DD) (AND (CLEAR P)) (PICKUP I) (AND (ON W E)) (STACK I L)
 (AND (ON P H)) (UNSTACK I L) (AND (ON-TABLE N)) (STACK I D) (AND (ON I D))
 (UNSTACK W E) (AND (CLEAR T)) (PUTDOWN W) (AND (ON-TABLE N)) (PICKUP DD)
 (AND (ON M J)) (PUTDOWN DD) (AND (CLEAR O)) (UNSTACK Z U) (AND (ON I D))
 (PUTDOWN Z) (AND (CLEAR W)) (UNSTACK I D) (AND (CLEAR V)) (STACK I N)
 (AND (CLEAR CC)) (PICKUP U) (AND (ON V G)) (STACK U Y) (AND (CLEAR D))
 (PICKUP T) (AND (ON P H)) (STACK T A) (AND (CLEAR Q)) (PICKUP Z)
 (AND (CLEAR K)) (STACK Z O) (AND (ON-TABLE H)) (UNSTACK V G) (AND (CLEAR G))
 (PUTDOWN V) (AND (ON-TABLE R)) (UNSTACK BB M) (AND (CLEAR K)) (PUTDOWN BB)
 (AND (CLEAR K)) (UNSTACK T A) (AND (CLEAR BB)) (PUTDOWN T) (AND (ON-TABLE G))
 (PICKUP R) (AND (CLEAR P)) (PUTDOWN R) (AND (ON-TABLE J)) (UNSTACK I N)
 (AND (CLEAR CC)) (PUTDOWN I) (AND (ON M J)) (PICKUP E) (AND (ON-TABLE D))
 (STACK E CC) (AND (ON-TABLE N)) (PICKUP T) (AND (ON-TABLE S)) (STACK T L)
 (AND (ON U Y)) (UNSTACK F C) (AND (CLEAR BB)) (STACK F D) (AND (CLEAR R))
 (PICKUP W) (AND (CLEAR N)) (STACK W G) (AND (ON-TABLE S)) (UNSTACK U Y)
 (AND (ON E CC)) (PUTDOWN U) (AND (ON E CC)) (UNSTACK Z O) (AND (CLEAR W))
 (STACK Z O) (AND (CLEAR U)) (PICKUP K) (AND (CLEAR I)) (STACK K DD)
 (AND (ON-TABLE D)) (PICKUP R) (AND (CLEAR A)) (PUTDOWN R) (AND (CLEAR Z))
 (UNSTACK W G) (AND (CLEAR V)) (PUTDOWN W) (AND (ON-TABLE R)) (PICKUP X)
 (AND (CLEAR Z)) (PUTDOWN X) (AND (CLEAR I)) (PICKUP AA) (AND (CLEAR X))
 (PUTDOWN AA) (AND (CLEAR A)) (PICKUP U) (AND (CLEAR Y)) (PUTDOWN U)
 (AND (CLEAR G)) (UNSTACK A B) (AND (ON-TABLE J)) (PUTDOWN A) (AND (CLEAR I))
 (UNSTACK E CC) (AND (ON-TABLE W)) (PUTDOWN E) (AND (CLEAR P)) (UNSTACK P H)
 (AND (HOLDING P)) (PUTDOWN P) (AND (CLEAR Z)) (UNSTACK T L) (AND (CLEAR BB))
 (PUTDOWN T) (AND (CLEAR Z)) (UNSTACK F D) (AND (CLEAR E)) (PUTDOWN F)
 (AND (ON-TABLE A)) (UNSTACK M J) (AND (CLEAR V)) (PUTDOWN M) (AND (ON O S))
 (UNSTACK Z O) (AND (ON-TABLE DD)) (STACK Z G) (AND (CLEAR H)) (UNSTACK K DD)
 (AND (ON-TABLE A)) (PUTDOWN K) (AND (CLEAR B)) (PICKUP P) (AND (ON-TABLE BB))
 (PUTDOWN P) (AND (ON-TABLE AA)) (PICKUP Q) (AND (ON-TABLE I)) (PUTDOWN Q)
 (AND (CLEAR I)) (PICKUP D) (AND (ON-TABLE G)) (STACK D O) (AND (ON O S))
 (PICKUP W) (AND (CLEAR D)) (STACK W BB) (AND (ON-TABLE V)) (PICKUP AA)
 (AND (ON-TABLE U)) (STACK AA E) (AND (CLEAR N)) (UNSTACK W BB) (AND (CLEAR I))
 (STACK W T) (AND (ON-TABLE K)) (PICKUP C) (AND (CLEAR W)) (PUTDOWN C)
 (AND (CLEAR C)) (PICKUP K) (AND (ON-TABLE I)) (STACK K L) (AND (ON-TABLE H))
 (PICKUP U) (AND (ON-TABLE P)) (PUTDOWN U) (AND (ON Z G)) (PICKUP C)
 (AND (CLEAR B)) (STACK C BB) (AND (CLEAR K)) (UNSTACK C BB) (AND (ON-TABLE X))
 (PUTDOWN C) (AND (ARM-EMPTY)) (PICKUP H) (AND (CLEAR Q)) (PUTDOWN H)
 (AND (CLEAR Y)) (PICKUP J) (AND (ON-TABLE A)) (PUTDOWN J) (AND (ON-TABLE H))
 (UNSTACK K L) (AND (ON-TABLE J)) (STACK K Q) (AND (ON-TABLE N)) (UNSTACK AA E)
 (AND (HOLDING AA)) (PUTDOWN AA) (AND (ON-TABLE J)) (UNSTACK W T)
 (AND (CLEAR E)) (STACK W H) (AND (ON-TABLE J)) (PICKUP CC) (AND (CLEAR U))
 (PUTDOWN CC) (AND (ON O S)) (PICKUP I) (AND (CLEAR J)) (STACK I CC)
 (AND (CLEAR BB)) (PICKUP P) (AND (CLEAR I)) (PUTDOWN P) (AND (CLEAR W))
 (UNSTACK I CC) (AND (CLEAR X)) (STACK I BB) (AND (CLEAR DD)) (UNSTACK K Q)
 (AND (CLEAR T)) (STACK K A) (AND (ON-TABLE CC)) (PICKUP E) (AND (ON D O))
 (STACK E R) (AND (ARM-EMPTY)) (PICKUP Q) (AND (CLEAR T)) (STACK Q X)
 (AND (ON-TABLE C)) (PICKUP L) (AND (ON-TABLE H)) (STACK L E) (AND (CLEAR U))
 (UNSTACK K A) (AND (ON-TABLE X)) (PUTDOWN K) (AND (ON Q X)) (PICKUP Y)
 (AND (ON O S)) (STACK Y T) (AND (CLEAR V)) (UNSTACK L E) (AND (ON Q X))
 (STACK L DD) (AND (CLEAR K)) (PICKUP C) (AND (CLEAR E)) (PUTDOWN C)
 (AND (ON-TABLE U)) (PICKUP M) (AND (CLEAR U)) (PUTDOWN M) (AND (ON-TABLE K))
 (PICKUP C) (AND (ON-TABLE U)) (STACK C A) (AND (ON-TABLE AA)) (PICKUP V)
 (AND (ON W H)) (PUTDOWN V) (AND (ON L DD)) (PICKUP U) (AND (CLEAR N))
 (PUTDOWN U) (AND (ON W H)) (UNSTACK D O) (AND (ON-TABLE K)) (STACK D B)
 (AND (CLEAR P)) (PICKUP J) (AND (CLEAR E)) (PUTDOWN J) (AND (ON-TABLE U))
 (PICKUP J) (AND (HOLDING J)) (STACK J Z) (AND (CLEAR W)) (UNSTACK I BB)
 (AND (CLEAR U)) (PUTDOWN I) (AND (ON-TABLE R)) (UNSTACK J Z) (AND (CLEAR Z))
 (PUTDOWN J) (AND (ON-TABLE S)) (UNSTACK C A) (AND (CLEAR AA)) (STACK C W)
 (AND (CLEAR CC)) (PICKUP BB) (AND (ON-TABLE CC)) (STACK BB L)
 (AND (ON-TABLE K)) (PICKUP U) (AND (ON-TABLE R)) (PUTDOWN U) (AND (CLEAR AA))
 (UNSTACK D B) (AND (CLEAR J)) (PUTDOWN D) (AND (CLEAR B)) (UNSTACK Y T)
 (AND (CLEAR O)) (STACK Y BB) (AND (CLEAR C)) (UNSTACK Q X) (AND (ON-TABLE X))
 (PUTDOWN Q) (AND (CLEAR AA)) (PICKUP X) (AND (CLEAR A)) (STACK X A)
 (AND (ON-TABLE T)) (UNSTACK E R) (AND (CLEAR O)) (STACK E Y) (AND (ON L DD))
 (PICKUP R) (AND (ON-TABLE K)) (PUTDOWN R) (AND (ON-TABLE DD)) (PICKUP AA)
 (AND (ON-TABLE H)) (PUTDOWN AA) (AND (ON-TABLE U)) (UNSTACK Z G)
 (AND (ON-TABLE F)) (PUTDOWN Z) (AND (CLEAR N)) (PICKUP T) (AND (CLEAR U))
 (STACK T D) (AND (ON-TABLE U)) (UNSTACK T D) (AND (CLEAR C)) (PUTDOWN T)
 (AND (ON-TABLE F)) (PICKUP F) (AND (ON-TABLE J)) (PUTDOWN F)
 (AND (ON-TABLE F)) (PICKUP G) (AND (ON E Y)) (PUTDOWN G) (AND (CLEAR V))
 (PICKUP Q) (AND (CLEAR X)) (STACK Q B) (AND (CLEAR E)) (PICKUP F)
 (AND (CLEAR Z)) (STACK F M) (AND (CLEAR T)) (PICKUP P) (AND (CLEAR X))
 (PUTDOWN P) (AND (CLEAR CC)) (UNSTACK Q B) (AND (CLEAR J)) (STACK Q T)
 (AND (CLEAR U)) (PICKUP N) (AND (ON E Y)) (PUTDOWN N) (AND (CLEAR E))
 (UNSTACK O S) (AND (CLEAR J)) (PUTDOWN O) (AND (ON W H)) (PICKUP J)
 (AND (ON-TABLE N)) (PUTDOWN J) (AND (ON-TABLE T)) (PICKUP CC) (AND (CLEAR P))
 (STACK CC B) (AND (CLEAR F)) (PICKUP AA) (AND (ON X A)) (PUTDOWN AA)
 (AND (ON C W)) (UNSTACK E Y) (AND (CLEAR AA)) (PUTDOWN E) (AND (ON-TABLE G))
 (UNSTACK F M) (AND (ON L DD)) (PUTDOWN F) (AND (CLEAR K)) (PICKUP G)
 (AND (ON-TABLE R)) (STACK G Q) (AND (CLEAR Y)) (PICKUP S) (AND (CLEAR N))
 (STACK S V) (AND (ON G Q)) (UNSTACK C W) (AND (ON-TABLE R)) (STACK C W)
 (AND (CLEAR Y)) (PICKUP U) (AND (ON-TABLE H)) (STACK U O) (AND (ON-TABLE F))
 (PICKUP N) (AND (CLEAR Y)) (STACK N CC) (AND (ON-TABLE J)) (UNSTACK U O)
 (AND (CLEAR K)) (STACK U C) (AND (CLEAR S)) (PICKUP O) (AND (CLEAR Z))
 (PUTDOWN O) (AND (ON-TABLE R)) (UNSTACK N CC) (AND (CLEAR P)) (STACK N E)
 (AND (CLEAR G)) (PICKUP J) (AND (ON CC B)) (PUTDOWN J) (AND (CLEAR P))
 (PICKUP J) (AND (CLEAR R)) (STACK J AA) (AND (ON X A)) (PICKUP P)
 (AND (ON C W)) (PUTDOWN P) (AND (CLEAR I)) (UNSTACK N E) (AND (CLEAR S))
 (PUTDOWN N) (AND (ON-TABLE K)) (UNSTACK X A) (AND (ON BB L)) (PUTDOWN X)
 (AND (CLEAR N)) (PICKUP Z) (AND (CLEAR O)) (PUTDOWN Z) (AND (ON-TABLE N))
 (PICKUP O) (AND (CLEAR G)) (PUTDOWN O) (AND (CLEAR D)) (PICKUP K)
 (AND (CLEAR X)) (PUTDOWN K) (AND (CLEAR D)) (PICKUP A) (AND (CLEAR M))
 (STACK A D) (AND (ON-TABLE Z)) (UNSTACK G Q) (AND (ON BB L)) (PUTDOWN G)
 (AND (ON S V)) (UNSTACK CC B) (AND (CLEAR Q)) (STACK CC S) (AND (CLEAR P))
 (PICKUP G) (AND (ON-TABLE I)) (PUTDOWN G) (AND (ON-TABLE M)) (UNSTACK CC S)
 (AND (ON-TABLE F)) (STACK CC S) (AND (ON-TABLE R)) (UNSTACK Q T)
 (AND (CLEAR CC)) (PUTDOWN Q) (AND (CLEAR F)) (PICKUP E) (AND (CLEAR U))
 (PUTDOWN E) (AND (ON-TABLE M)) (PICKUP G) (AND (CLEAR N)) (STACK G X)
 (AND (ON C W)) (PICKUP T) (AND (ON-TABLE H)) (PUTDOWN T) (AND (CLEAR J))
 (PICKUP F) (AND (CLEAR T)) (PUTDOWN F) (AND (CLEAR K)) (UNSTACK G X)
 (AND (CLEAR K)) (PUTDOWN G) (AND (CLEAR T)) (PICKUP E) (AND (CLEAR P))
 (STACK E Z) (AND (CLEAR E)) (PICKUP R) (AND (ON-TABLE AA)) (STACK R N)
 (AND (ON-TABLE V)) (UNSTACK R N) (AND (ON-TABLE F)) (STACK R A)
 (AND (CLEAR K)) (UNSTACK E Z) (AND (CLEAR B)) (STACK E O) (AND (ON E O))
 (UNSTACK U C) (AND (ON-TABLE DD)) (PUTDOWN U) (AND (ON-TABLE K)) (PICKUP K)
 (AND (ON-TABLE I)) (STACK K I) (AND (ON L DD)) (PICKUP N) (AND (CLEAR X))
 (STACK N CC) (AND (ON-TABLE G)) (PICKUP G) (AND (CLEAR Z)) (STACK G N)
 (AND (ON N CC)) (UNSTACK E O) (AND (ON G N)) (STACK E P) (AND (CLEAR O))
 (PICKUP X) (AND (ON-TABLE U)) (PUTDOWN X) (AND (ON-TABLE P)) (PICKUP Q)
 (AND (ON-TABLE T)) (STACK Q K) (AND (ON-TABLE X)) (PICKUP F)
 (AND (ON-TABLE V)) (STACK F Z) (AND (CLEAR G)) (UNSTACK Q K) (AND (CLEAR C))
 (PUTDOWN Q) (AND (ON L DD)) (UNSTACK G N) (AND (ON R A)) (PUTDOWN G)
 (AND (CLEAR T)) (PICKUP Q) (AND (ON S V)) (PUTDOWN Q) (AND (CLEAR O))
 (PICKUP M) (AND (ON-TABLE G)) (STACK M X) (AND (ON Y BB)) (PICKUP Q)
 (AND (CLEAR F)) (PUTDOWN Q) (AND (ON-TABLE I)) (UNSTACK C W) (AND (CLEAR N))
 (PUTDOWN C) (AND (ON W H)) (PICKUP Q) (AND (ON-TABLE Z)) (PUTDOWN Q)
 (AND (ON Y BB)) (PICKUP G) (AND (ON-TABLE Q)) (STACK G O) (AND (ON-TABLE Q))
 (PICKUP C) (AND (CLEAR J)) (PUTDOWN C) (AND (ON K I)) (PICKUP T)
 (AND (ON-TABLE Q)) (PUTDOWN T) (AND (ON-TABLE Z)) (UNSTACK J AA)
 (AND (CLEAR T)) (PUTDOWN J) (AND (CLEAR G)) (UNSTACK G O) (AND (ON L DD))
 (PUTDOWN G) (AND (ON R A)) (UNSTACK M X) (AND (CLEAR U)) (STACK M O)
 (AND (CLEAR C)) (UNSTACK M O) (AND (CLEAR Y)) (PUTDOWN M) (AND (ON-TABLE J))
 (UNSTACK K I) (AND (ON-TABLE G)) (PUTDOWN K) (AND (ON-TABLE DD))
 (UNSTACK N CC) (AND (CLEAR I)) (STACK N G) (AND (ON-TABLE V)) (PICKUP Q)
 (AND (ON-TABLE D)) (STACK Q U) (AND (ON A D)) (UNSTACK N G) (AND (ON-TABLE M))
 (STACK N K) (AND (ON CC S)) (PICKUP T) (AND (HOLDING T)) (PUTDOWN T)
 (AND (ON Y BB)) (PICKUP AA) (AND (ON Q U)) (PUTDOWN AA) (AND (ON BB L))
 (UNSTACK CC S) (AND (CLEAR F)) (STACK CC W) (AND (CLEAR G)) (PICKUP X)
 (AND (ON-TABLE G)) (PUTDOWN X) (AND (ON-TABLE K)) (PICKUP G) (AND (CLEAR J))
 (STACK G Q) (AND (ON-TABLE O)) (PICKUP O) (AND (ON-TABLE Z)) (STACK O C)
 (AND (CLEAR CC)) (PICKUP J) (AND (ON-TABLE T)) (PUTDOWN J) (AND (CLEAR N))
 (UNSTACK R A) (AND (CLEAR E)) (PUTDOWN R) (AND (CLEAR M)) (PICKUP T)
 (AND (CLEAR N)) (STACK T S) (AND (ON N K)) (UNSTACK A D) (AND (ON-TABLE I))
 (STACK A X) (AND (CLEAR I)) (PICKUP R) (AND (CLEAR J)) (PUTDOWN R)
 (AND (CLEAR G)) (UNSTACK A X) (AND (CLEAR I)) (STACK A X) (AND (ON-TABLE J))
 (UNSTACK G Q) (AND (ON-TABLE DD)) (STACK G J) (AND (ON-TABLE U)) (PICKUP AA)
 (AND (CLEAR O)) (STACK AA CC) (AND (ON-TABLE K)) (UNSTACK A X) (AND (ON F Z))
 (STACK A E) (AND (CLEAR M)) (UNSTACK G J) (AND (ON BB L)) (PUTDOWN G)
 (AND (ON-TABLE C)) (UNSTACK Q U) (AND (CLEAR A)) (PUTDOWN Q) (AND (ON A E))
 (UNSTACK F Z) (AND (CLEAR T)) (STACK F I) (AND (ON W H)) (UNSTACK F I)
 (AND (ON-TABLE U)) (PUTDOWN F) (AND (ON O C)) (PICKUP I) (AND (ON BB L))
 (STACK I J) (AND (ON I J)) (PICKUP F) (AND (ON CC W)) (STACK F D)
 (AND (ARM-EMPTY)) (UNSTACK T S) (AND (ON-TABLE X)) (PUTDOWN T) (AND (ON E P))
 (UNSTACK I J) (AND (CLEAR S)) (STACK I O) (AND (ON-TABLE Z)) (PICKUP M)
 (AND (ON O C)) (STACK M Y) (AND (CLEAR F)) (UNSTACK F D) (AND (ON-TABLE DD))
 (PUTDOWN F) (AND (ON-TABLE Z)) (UNSTACK S V) (AND (CLEAR N)) (PUTDOWN S)
 (AND (ON M Y)) (PICKUP Q) (AND (CLEAR S)) (STACK Q G) (AND (CLEAR Z))
 (UNSTACK A E) (AND (CLEAR Z)) (STACK A T) (AND (CLEAR B)) (UNSTACK A T)
 (AND (ON-TABLE Z)) (PUTDOWN A) (AND (CLEAR E)) (UNSTACK Q G) (AND (CLEAR T))
 (PUTDOWN Q) (AND (ON I O)) (UNSTACK AA CC) (AND (ON-TABLE V)) (STACK AA A)
 (AND (CLEAR U)) (UNSTACK N K) (AND (ON-TABLE A)) (STACK N G) (AND (CLEAR R))
 (PICKUP Z) (AND (CLEAR M)) (PUTDOWN Z) (AND (ON-TABLE K)) (UNSTACK E P)
 (AND (ON-TABLE F)) (PUTDOWN E) (AND (ON-TABLE V)) (PICKUP J) (AND (CLEAR F))
 (PUTDOWN J) (AND (CLEAR J)) (UNSTACK I O) (AND (ON-TABLE J)) (PUTDOWN I)
 (AND (ON-TABLE F)) (PICKUP D) (AND (ON-TABLE P)) (STACK D Q)
 (AND (ON-TABLE G)) (PICKUP P) (AND (CLEAR B)) (STACK P I) (AND (CLEAR K))
 (UNSTACK D Q) (AND (CLEAR P)) (STACK D S) (AND (ON-TABLE T)) (PICKUP F)
 (AND (ON-TABLE Z)) (STACK F T) (AND (ON-TABLE X)) (PICKUP X) (AND (CLEAR J))
 (PUTDOWN X) (AND (CLEAR N)) (PICKUP X) (AND (ON Y BB)) (PUTDOWN X)
 (AND (ON D S)) (UNSTACK D S) (AND (CLEAR K)) (PUTDOWN D) (AND (ON-TABLE H))
 (UNSTACK P I) (AND (CLEAR I)) (PUTDOWN P) (AND (CLEAR D)) (PICKUP Q)
 (AND (ON AA A)) (PUTDOWN Q) (AND (ON N G)) (UNSTACK M Y) (AND (ON-TABLE A))
 (STACK M D) (AND (CLEAR Q)) (UNSTACK M D) (AND (CLEAR E)) (STACK M AA)
 (AND (CLEAR N)) (UNSTACK M AA) (AND (CLEAR CC)) (PUTDOWN M) (AND (CLEAR E))
 (PICKUP X) (AND (CLEAR B)) (STACK X CC) (AND (ON-TABLE S)) (UNSTACK F T)
 (AND (CLEAR T)) (STACK F V) (AND (CLEAR Q)) (PICKUP Q) (AND (ON Y BB))
 (PUTDOWN Q) (AND (ON-TABLE J)) (UNSTACK O C) (AND (CLEAR P)) (PUTDOWN O)
 (AND (ON-TABLE M)) (PICKUP U) (AND (CLEAR P)) (STACK U D) (AND (CLEAR N))
 (PICKUP C) (AND (CLEAR F)) (STACK C O) (AND (CLEAR AA)) (UNSTACK Y BB)
 (AND (CLEAR R)) (STACK Y C) (AND (ON-TABLE I)) (UNSTACK U D)
 (AND (ON-TABLE M)) (STACK U I) (AND (ON-TABLE H)) (UNSTACK AA A)
 (AND (ON W H)) (PUTDOWN AA) (AND (ON-TABLE AA)) (UNSTACK X CC) (AND (CLEAR Q))
 (PUTDOWN X) (AND (CLEAR Q)) (PICKUP AA) (AND (ON-TABLE S)) (PUTDOWN AA)
 (AND (ON-TABLE S)) (UNSTACK F V) (AND (CLEAR S)) (PUTDOWN F) (AND (CLEAR M))
 (UNSTACK Y C) (AND (ON-TABLE K)) (STACK Y K) (AND (ON-TABLE A)) (PICKUP Z)
 (AND (ON-TABLE O)) (STACK Z A) (AND (CLEAR C)) (UNSTACK Z A) (AND (CLEAR U))
 (PUTDOWN Z) (AND (CLEAR J)) (UNSTACK CC W) (AND (ON W H)) (PUTDOWN CC)
 (AND (ON Y K)) (PICKUP D) (AND (CLEAR U)) (PUTDOWN D) (AND (ON-TABLE R))
 (PICKUP M) (AND (ON-TABLE I)) (PUTDOWN M) (AND (ON-TABLE DD)) (UNSTACK N G)
 (AND (CLEAR F)) (PUTDOWN N) (AND (CLEAR P)) (PICKUP V) (AND (CLEAR F))
 (STACK V T) (AND (ON-TABLE DD)) (UNSTACK C O) (AND (CLEAR P)) (PUTDOWN C)
 (AND (ON-TABLE CC)) (UNSTACK BB L) (AND (CLEAR X)) (STACK BB Y)
 (AND (ON-TABLE CC)) (UNSTACK W H) (AND (ON-TABLE K)) (STACK W X)
 (AND (CLEAR H)) (PICKUP O) (AND (ON-TABLE CC)) (STACK O U) (AND (CLEAR G))
 (PICKUP F) (AND (CLEAR G)) (STACK F H) (AND (CLEAR Z)) (UNSTACK BB Y)
 (AND (ON-TABLE G)) (PUTDOWN BB) (AND (ON-TABLE D)) (UNSTACK F H)
 (AND (ON-TABLE A)) (STACK F E) (AND (ON W X)) (PICKUP C) (AND (ON-TABLE R))
 (PUTDOWN C) (AND (CLEAR R)) (UNSTACK Y K) (AND (ON-TABLE K)) (STACK Y AA)
 (AND (CLEAR Y)) (UNSTACK V T) (AND (ON-TABLE DD)) (PUTDOWN V) (AND (CLEAR T))
 (UNSTACK F E) (AND (CLEAR W)) (PUTDOWN F) (AND (ON Y AA)) (UNSTACK Y AA)
 (AND (CLEAR S)) (PUTDOWN Y) (AND (ON-TABLE Q)) (PICKUP G) (AND (ON-TABLE N))
 (PUTDOWN G) (AND (ON-TABLE A)) (PICKUP R) (AND (ON-TABLE G)) (PUTDOWN R)
 (AND (CLEAR Q)) (PICKUP G) (AND (ON-TABLE T)) (STACK G A) (AND (ON-TABLE P))
 (UNSTACK W X) (AND (ON-TABLE K)) (STACK W D) (AND (CLEAR N)) (UNSTACK L DD)
 (AND (CLEAR C)) (PUTDOWN L) (AND (CLEAR F)) (UNSTACK G A) (AND (ON-TABLE CC))
 (PUTDOWN G) (AND (ON-TABLE K)) (PICKUP X) (AND (CLEAR Y)) (STACK X F)
 (AND (CLEAR CC)) (UNSTACK X F) (AND (CLEAR B)) (STACK X R) (AND (ARM-EMPTY))
 (UNSTACK X R) (AND (ON-TABLE J)) (PUTDOWN X) (AND (CLEAR C)) (UNSTACK W D)
 (AND (ON-TABLE I)) (STACK W L) (AND (CLEAR AA)) (PICKUP Y) (AND (CLEAR N))
 (PUTDOWN Y) (AND (ON-TABLE H)) (PICKUP G) (AND (CLEAR V)) (PUTDOWN G)
 (AND (ON W L)) (PICKUP M) (AND (CLEAR D)) (STACK M Z) (AND (CLEAR C))
 (PICKUP N) (AND (ON W L)) (PUTDOWN N) (AND (ON-TABLE AA)) (PICKUP R)
 (AND (CLEAR CC)) (STACK R W) (AND (CLEAR S)) (PICKUP C) (AND (CLEAR AA))
 (PUTDOWN C) (AND (CLEAR D)) (UNSTACK O U) (AND (CLEAR K)) (PUTDOWN O)
 (AND (ON-TABLE A)) (PICKUP A) (AND (ON-TABLE D)) (PUTDOWN A) (AND (CLEAR C))
 (UNSTACK U I) (AND (ON-TABLE AA)) (STACK U F) (AND (CLEAR J)) (UNSTACK R W)
 (AND (ON U F)) (PUTDOWN R) (AND (ON-TABLE T)) (PICKUP D) (AND (CLEAR H))
 (PUTDOWN D) (AND (ON-TABLE G)) (PICKUP A) (AND (CLEAR X)) (STACK A M)
 (AND (CLEAR AA)) (PICKUP P) (AND (CLEAR G)) (STACK P J) (AND (CLEAR R))
 (PICKUP V) (AND (ON-TABLE R)) (PUTDOWN V) (AND (ON-TABLE F)) (PICKUP BB)
 (AND (ON-TABLE N)) (PUTDOWN BB) (AND (ON-TABLE Z)) (PICKUP D) (AND (CLEAR Y))
 (STACK D CC) (AND (CLEAR B)) (UNSTACK P J) (AND (ON-TABLE I)) (PUTDOWN P)
 (AND (CLEAR BB)) (PICKUP K) (AND (ON-TABLE E)) (STACK K W) (AND (ON-TABLE V))
 (PICKUP E) (AND (ON-TABLE C)) (PUTDOWN E) (AND (ON M Z)) (UNSTACK D CC)
 (AND (ON-TABLE CC)) (PUTDOWN D) (AND (CLEAR X)) (UNSTACK K W) (AND (CLEAR X))
 (PUTDOWN K) (AND (ON-TABLE E)) (PICKUP G) (AND (ON-TABLE Q)) (PUTDOWN G)
 (AND (CLEAR E)) (UNSTACK W L) (AND (ON-TABLE S)) (PUTDOWN W) (AND (CLEAR S))
 (PICKUP Y) (AND (CLEAR H)) (STACK Y O) (AND (CLEAR G)) (PICKUP S)
 (AND (CLEAR A)) (STACK S DD) (AND (CLEAR S)) (PICKUP R) (AND (CLEAR Y))
 (PUTDOWN R) (AND (ON-TABLE O)) (PICKUP I) (AND (HOLDING I)) (PUTDOWN I)
 (AND (CLEAR T)) (PICKUP G) (AND (ON-TABLE T)) (PUTDOWN G) (AND (CLEAR K))
 (PICKUP T) (AND (ON-TABLE DD)) (PUTDOWN T) (AND (ON-TABLE X)) (PICKUP AA)
 (AND (CLEAR C)) (PUTDOWN AA) (AND (ON-TABLE CC)) (UNSTACK Y O)
 (AND (ON-TABLE O)) (STACK Y R) (AND (CLEAR G)) (PICKUP E) (AND (ON-TABLE K))
 (STACK E V) (AND (ON-TABLE G)) (PICKUP I) (AND (CLEAR S)) (STACK I P)
 (AND (ON-TABLE O)) (PICKUP D) (AND (CLEAR U)) (PUTDOWN D) (AND (ON-TABLE G))
 (PICKUP D) (AND (ON Y R)) (PUTDOWN D) (AND (CLEAR BB)) (PICKUP G)
 (AND (CLEAR W)) (PUTDOWN G) (AND (CLEAR W)) (PICKUP G) (AND (CLEAR O))
 (STACK G D) (AND (CLEAR O)) (UNSTACK U F) (AND (ON-TABLE Z)) (PUTDOWN U)
 (AND (ON-TABLE U)) (UNSTACK G D) (AND (CLEAR K)) (STACK G C) (AND (ON I P))
 (PICKUP BB) (AND (CLEAR J)) (STACK BB Y) (AND (ON-TABLE K)) (PICKUP X)
 (AND (ON BB Y)) (STACK X S) (AND (ON E V)) (PICKUP N) (AND (HOLDING N))
 (STACK N D) (AND (CLEAR I)) (PICKUP U) (AND (CLEAR K)) (STACK U N)
 (AND (CLEAR W)) (UNSTACK BB Y) (AND (CLEAR AA)) (PUTDOWN BB) (AND (CLEAR AA))
 (PICKUP O) (AND (CLEAR CC)) (PUTDOWN O) (AND (ON E V)) (PICKUP T)
 (AND (HOLDING T)) (PUTDOWN T) (AND (ON X S)) (UNSTACK I P) (AND (ON-TABLE K))
 (STACK I Y) (AND (CLEAR B)) (UNSTACK E V) (AND (ON-TABLE H)) (STACK E B)
 (AND (ON-TABLE J)) (UNSTACK X S) (AND (CLEAR K)) (STACK X S) (AND (CLEAR I))
 (UNSTACK E B) (AND (ON-TABLE F)) (STACK E T) (AND (ON-TABLE P)) (PICKUP L)
 (AND (ON-TABLE K)) (PUTDOWN L) (AND (ON-TABLE P)) (PICKUP BB)
 (AND (ON-TABLE AA)) (STACK BB CC) (AND (ON-TABLE C)) (UNSTACK I Y)
 (AND (CLEAR V)) (PUTDOWN I) (AND (CLEAR G)) (PICKUP F) (AND (CLEAR A))
 (PUTDOWN F) (AND (CLEAR F)) (PICKUP F) (AND (ON-TABLE J)) (PUTDOWN F)
 (AND (ON A M)) (UNSTACK A M) (AND (ON-TABLE D)) (PUTDOWN A) (AND (CLEAR A))
 (UNSTACK M Z) (AND (ON-TABLE C)) (PUTDOWN M) (AND (ON U N)) (PICKUP AA)
 (AND (ON G C)) (STACK AA A) (AND (ON-TABLE H)) (PICKUP Z) (AND (ON-TABLE DD))
 (STACK Z B) (AND (ON BB CC)) (PICKUP M) (AND (CLEAR W)) (STACK M E)
 (AND (CLEAR J)) (UNSTACK BB CC) (AND (ON M E)) (STACK BB H) (AND (ON BB H))
 (PICKUP F) (AND (CLEAR G)) (STACK F L) (AND (CLEAR X)) (UNSTACK M E)
 (AND (ON BB H)) (PUTDOWN M) (AND (ON-TABLE Q)) (PICKUP I) (AND (CLEAR AA))
 (PUTDOWN I) (AND (ON-TABLE DD)) (UNSTACK U N) (AND (HOLDING U)) (STACK U V)
 (AND (ON X S)) (UNSTACK E T) (AND (ON-TABLE P)) (PUTDOWN E) (AND (CLEAR Y))
 (UNSTACK BB H) (AND (HOLDING BB)) (PUTDOWN BB) (AND (CLEAR U)) (PICKUP I)
 (AND (CLEAR U)) (STACK I W) (AND (CLEAR I)) (PICKUP O) (AND (CLEAR I))
 (PUTDOWN O) (AND (ON-TABLE K)) (UNSTACK F L) (AND (ON-TABLE C)) (PUTDOWN F)
 (AND (CLEAR X)) (UNSTACK I W) (AND (ON-TABLE K)) (STACK I O)
 (AND (ON-TABLE F)) (UNSTACK Z B) (AND (CLEAR M)) (STACK Z J)
 (AND (ON-TABLE K)) (UNSTACK N D) (AND (CLEAR L)) (PUTDOWN N) (AND (CLEAR Z))
 (UNSTACK U V) (AND (ON-TABLE M)) (PUTDOWN U) (AND (ON I O)) (PICKUP CC)
 (AND (ON-TABLE U)) (PUTDOWN CC) (AND (ON-TABLE F)) (PICKUP Q)
 (AND (ON-TABLE N)) (PUTDOWN Q) (AND (CLEAR BB)) (PICKUP BB) (AND (ON-TABLE A))
 (PUTDOWN BB) (AND (ON-TABLE P)) (UNSTACK X S) (AND (ON-TABLE T)) (PUTDOWN X)
 (AND (ON-TABLE A)) (PICKUP V) (AND (CLEAR N)) (STACK V L) (AND (ON-TABLE C))
 (UNSTACK S DD) (AND (CLEAR K)) (PUTDOWN S) (AND (CLEAR DD)) (UNSTACK Y R)
 (AND (ON-TABLE J)) (PUTDOWN Y) (AND (ON-TABLE T)) (UNSTACK G C)
 (AND (ON-TABLE K)) (STACK G Q) (AND (ON-TABLE U)) (UNSTACK AA A)
 (AND (ON-TABLE P)) (PUTDOWN AA) (AND (ON Z J)) (UNSTACK I O)
 (AND (ON-TABLE W)) (STACK I A) (AND (ON-TABLE S)) (UNSTACK I A)
 (AND (CLEAR BB)) (STACK I S) (AND (ON-TABLE R)) (PICKUP X) (AND (CLEAR H))
 (STACK X Y) (AND (ON X Y)) (PICKUP U) (AND (CLEAR A)) (STACK U P)
 (AND (CLEAR N)) (PICKUP BB) (AND (ON-TABLE Y)) (STACK BB DD) (AND (CLEAR CC))
 (UNSTACK X Y) (AND (HOLDING X)) (PUTDOWN X) (AND (ON Z J)) (UNSTACK Z J)
 (AND (ON-TABLE A)) (STACK Z B) (AND (CLEAR CC)) (PICKUP D) (AND (CLEAR C))
 (STACK D J) (AND (ON-TABLE R)) (PICKUP C) (AND (ON-TABLE J)) (PUTDOWN C)
 (AND (CLEAR BB)) (PICKUP K) (AND (CLEAR W)) (PUTDOWN K) (AND (CLEAR W))
 (UNSTACK U P) (AND (CLEAR A)) (PUTDOWN U) (AND (CLEAR H)) (PICKUP K)
 (AND (ON-TABLE H)) (STACK K M) (AND (CLEAR K)) (PICKUP U) (AND (CLEAR P))
 (STACK U CC) (AND (CLEAR T)) (PICKUP H) (AND (ON D J)) (STACK H N)
 (AND (ON-TABLE R)) (UNSTACK U CC) (AND (ON BB DD)) (STACK U T) (AND (ON G Q))
 (PICKUP E) (AND (CLEAR O)) (PUTDOWN E) (AND (ON-TABLE J)) (PICKUP A)
 (AND (CLEAR I)) (PUTDOWN A) (AND (ON-TABLE F)) (PICKUP Y) (AND (ON-TABLE A))
 (STACK Y BB) (AND (ARM-EMPTY)) (PICKUP C) (AND (CLEAR AA)) (STACK C O)
 (AND (CLEAR V)) (UNSTACK H N) (AND (ON-TABLE DD)) (PUTDOWN H) (AND (CLEAR V))
 (UNSTACK G Q) (AND (CLEAR Q)) (PUTDOWN G) (AND (ON-TABLE M)) (UNSTACK K M)
 (AND (CLEAR I)) (STACK K N) (AND (CLEAR X)) (PICKUP W) (AND (CLEAR Z))
 (PUTDOWN W) (AND (CLEAR CC)) (PICKUP A) (AND (ON-TABLE Q)) (STACK A V)
 (AND (ARM-EMPTY)) (PICKUP E) (AND (ON C O)) (PUTDOWN E) (AND (CLEAR P))
 (PICKUP W) (AND (ON A V)) (STACK W AA) (AND (ON-TABLE Q)) (PICKUP R)
 (AND (ON-TABLE E)) (STACK R X) (AND (ON-TABLE P)) (UNSTACK U T)
 (AND (CLEAR P)) (PUTDOWN U) (AND (ON-TABLE E)) (UNSTACK A V) (AND (CLEAR W))
 (STACK A C) (AND (CLEAR K)) (PICKUP U) (AND (CLEAR D)) (STACK U T)
 (AND (ON U T)) (UNSTACK D J) (AND (ON K N)) (STACK D F) (AND (ON R X))
 (UNSTACK R X) (AND (CLEAR K)) (STACK R G) (AND (CLEAR U)) (UNSTACK Z B)
 (AND (ON-TABLE H)) (PUTDOWN Z) (AND (ON-TABLE AA)) (PICKUP Q) (AND (CLEAR Z))
 (PUTDOWN Q) (AND (CLEAR D)) (UNSTACK R G) (AND (CLEAR D)) (STACK R E)
 (AND (ON-TABLE Q)) (UNSTACK V L) (AND (ON-TABLE X)) (PUTDOWN V) (AND (ON K N))
 (PICKUP P) (AND (CLEAR A)) (PUTDOWN P) (AND (CLEAR Z)) (UNSTACK A C)
 (AND (ON-TABLE CC)) (STACK A J) (AND (CLEAR A)) (UNSTACK R E) (AND (ON Y BB))
 (PUTDOWN R) (AND (ON-TABLE J)) (PICKUP E) (AND (ON-TABLE N)) (PUTDOWN E)
 (AND (ON-TABLE V)) (UNSTACK U T) (AND (ON-TABLE S)) (STACK U L)
 (AND (ON BB DD)) (PICKUP P) (AND (CLEAR B)) (PUTDOWN P) (AND (ON-TABLE O))
 (UNSTACK C O) (AND (ON BB DD)) (STACK C K) (AND (ON-TABLE M)) (UNSTACK Y BB)
 (AND (CLEAR W)) (PUTDOWN Y) (AND (CLEAR H)) (UNSTACK A J) (AND (ON-TABLE M))
 (PUTDOWN A) (AND (ON-TABLE P)) (PICKUP Z) (AND (ON W AA)) (PUTDOWN Z)
 (AND (ON-TABLE CC)) (PICKUP V) (AND (ON-TABLE Y)) (STACK V T) (AND (CLEAR A))
 (UNSTACK W AA) (AND (ON-TABLE Z)) (PUTDOWN W) (AND (ON-TABLE E)) (PICKUP AA)
 (AND (ON-TABLE M)) (STACK AA A) (AND (ON AA A)) (PICKUP W) (AND (ON-TABLE O))
 (PUTDOWN W) (AND (ON-TABLE H)) (UNSTACK U L) (AND (CLEAR AA)) (STACK U H)
 (AND (ON V T)) (PICKUP X) (AND (CLEAR G)) (PUTDOWN X) (AND (CLEAR U))
 (UNSTACK U H) (AND (ON K N)) (PUTDOWN U) (AND (ON-TABLE N)) (UNSTACK C K)
 (AND (ON-TABLE N)) (PUTDOWN C) (AND (ON D F)) (PICKUP Q) (AND (ON-TABLE G))
 (PUTDOWN Q) (AND (CLEAR W)) (PICKUP Y) (AND (CLEAR P)) (PUTDOWN Y)
 (AND (ON V T)) (UNSTACK K N) (AND (ON-TABLE C)) (PUTDOWN K) (AND (ON-TABLE O))
 (UNSTACK BB DD) (AND (ON-TABLE Y)) (STACK BB P) (AND (ON-TABLE W))
 (UNSTACK AA A) (AND (CLEAR U)) (PUTDOWN AA) (AND (ON-TABLE Y)) (PICKUP DD)
 (AND (ON-TABLE AA)) (PUTDOWN DD) (AND (CLEAR E)) (PICKUP U) (AND (ON I S))
 (STACK U H) (AND (ARM-EMPTY)) (PICKUP O) (AND (ON-TABLE A)) (PUTDOWN O)
 (AND (ON-TABLE O)) (PICKUP R) (AND (ON BB P)) (STACK R I) (AND (ON-TABLE Q))
 (UNSTACK R I) (AND (CLEAR Y)) (PUTDOWN R) (AND (ARM-EMPTY)) (PICKUP X)
 (AND (CLEAR I)) (STACK X N) (AND (CLEAR AA)) (UNSTACK X N) (AND (ON-TABLE DD))
 (PUTDOWN X) (AND (ON-TABLE O)) (UNSTACK BB P) (AND (ON-TABLE F)) (PUTDOWN BB)
 (AND (CLEAR DD)) (PICKUP DD) (AND (CLEAR C)) (STACK DD Y) (AND (CLEAR C))
 (PICKUP BB) (AND (ON-TABLE K)) (STACK BB W) (AND (CLEAR A)) (UNSTACK V T)
 (AND (CLEAR E)) (PUTDOWN V) (AND (CLEAR Q)) (PICKUP C) (AND (CLEAR N))
 (PUTDOWN C) (AND (ON-TABLE W)) (UNSTACK D F) (AND (ON-TABLE T)) (PUTDOWN D)
 (AND (CLEAR J)) (PICKUP M) (AND (ON DD Y)) (STACK M DD) (AND (ON-TABLE G))
 (PICKUP E) (AND (ON-TABLE Y)) (PUTDOWN E) (AND (ON-TABLE G)) (UNSTACK M DD)
 (AND (ON-TABLE W)) (STACK M T) (AND (CLEAR R)) (PICKUP A) (AND (CLEAR AA))
 (STACK A Q) (AND (CLEAR AA)) (PICKUP AA) (AND (CLEAR DD)) (PUTDOWN AA)
 (AND (CLEAR G)) (PICKUP P) (AND (CLEAR L)) (STACK P J) (AND (ON-TABLE W))
 (PICKUP F) (AND (ON U H)) (PUTDOWN F) (AND (ON-TABLE R)) (UNSTACK DD Y)
 (AND (ON-TABLE Z)) (PUTDOWN DD) (AND (CLEAR Z)) (UNSTACK A Q) (AND (CLEAR G))
 (STACK A G) (AND (ON-TABLE C)) (PICKUP C) (AND (CLEAR I)) (PUTDOWN C)
 (AND (ON-TABLE E)) (PICKUP X) (AND (ON-TABLE CC)) (PUTDOWN X)
 (AND (ON-TABLE AA)) (UNSTACK P J) (AND (CLEAR E)) (PUTDOWN P) (AND (ON BB W))
 (PICKUP P) (AND (CLEAR AA)) (STACK P BB) (AND (ON-TABLE W)) (UNSTACK I S)
 (AND (ON-TABLE T)) (PUTDOWN I) (AND (ON-TABLE N)) (UNSTACK P BB)
 (AND (ON U H)) (PUTDOWN P) (AND (CLEAR J)) (PICKUP K) (AND (CLEAR C))
 (STACK K CC) (AND (CLEAR Z)) (PICKUP R) (AND (ON-TABLE P)) (PUTDOWN R)
 (AND (ON-TABLE E)) (UNSTACK BB W) (AND (ON-TABLE AA)) (STACK BB U)
 (AND (ON-TABLE J)) (UNSTACK A G) (AND (CLEAR S)) (PUTDOWN A)
 (AND (ON-TABLE Q)) (PICKUP D) (AND (ON-TABLE I)) (STACK D O)
 (AND (ON-TABLE AA)) (UNSTACK M T) (AND (CLEAR AA)) (PUTDOWN M) (AND (CLEAR A))
 (UNSTACK K CC) (AND (ON-TABLE L)) (PUTDOWN K) (AND (CLEAR Z)) (PICKUP I)
 (AND (CLEAR AA)) (STACK I B) (AND (ON D O)) (PICKUP S) (AND (CLEAR N))
 (PUTDOWN S) (AND (ON-TABLE J)) (PICKUP Y) (AND (ON-TABLE Z)) (PUTDOWN Y)
 (AND (ON-TABLE R)) (UNSTACK BB U) (AND (ON-TABLE O)) (PUTDOWN BB)
 (AND (ON I B)) (PICKUP R) (AND (CLEAR T)) (PUTDOWN R) (AND (CLEAR X))
 (PICKUP T) (AND (ON-TABLE Z)) (STACK T V) (AND (CLEAR U)) (PICKUP N)
 (AND (ON T V)) (STACK N P) (AND (CLEAR D)) (PICKUP Z) (AND (CLEAR E))
 (PUTDOWN Z) (AND (CLEAR C)) (PICKUP Y) (AND (CLEAR Q)) (STACK Y U)
 (AND (ON-TABLE BB)) (PICKUP K) (AND (ON-TABLE E)) (PUTDOWN K) (AND (ON U H))
 (PICKUP Z) (AND (CLEAR AA)) (PUTDOWN Z) (AND (CLEAR E)) (UNSTACK I B)
 (AND (CLEAR L)) (STACK I G) (AND (ON-TABLE X)) (UNSTACK I G) (AND (CLEAR DD))
 (PUTDOWN I) (AND (CLEAR M)) (PICKUP L) (AND (CLEAR DD)) (PUTDOWN L)
 (AND (CLEAR AA)) (UNSTACK T V) (AND (ON-TABLE G)) (PUTDOWN T)
 (AND (ON-TABLE T)) (UNSTACK N P) (AND (CLEAR G)) (STACK N Z) (AND (CLEAR G))
 (PICKUP V) (AND (CLEAR G)) (STACK V T) (AND (CLEAR Y)) (PICKUP A)
 (AND (CLEAR E)) (PUTDOWN A) (AND (ARM-EMPTY)) (PICKUP I) (AND (CLEAR F))
 (STACK I Y) (AND (ON D O)) (UNSTACK I Y) (AND (ON-TABLE H)) (STACK I L)
 (AND (CLEAR M)) (UNSTACK Y U) (AND (CLEAR E)) (PUTDOWN Y) (AND (CLEAR I))
 (UNSTACK V T) (AND (CLEAR DD)) (STACK V E) (AND (CLEAR X)) (UNSTACK D O)
 (AND (ON-TABLE S)) (STACK D V) (AND (CLEAR Y)) (UNSTACK N Z) (AND (CLEAR O))
 (STACK N R) (AND (ARM-EMPTY)) (PICKUP C) (AND (CLEAR BB)) (STACK C M)
 (AND (ON-TABLE Y)) (UNSTACK I L) (AND (ON-TABLE P)) (STACK I G)
 (AND (ON-TABLE X)) (PICKUP X) (AND (ON-TABLE O)) (PUTDOWN X)
 (AND (ON-TABLE CC)) (PICKUP T) (AND (ON-TABLE O)) (STACK T U) (AND (CLEAR O))
 (PICKUP L) (AND (ON-TABLE W)) (STACK L T) (AND (CLEAR X)) (UNSTACK D V)
 (AND (ON I G)) (STACK D W) (AND (ON-TABLE P)) (UNSTACK I G) (AND (ON C M))
 (STACK I Z) (AND (CLEAR V)) (UNSTACK N R) (AND (CLEAR Q)) (STACK N O)
 (AND (ON-TABLE CC)) (PICKUP A) (AND (ON-TABLE DD)) (PUTDOWN A) (AND (CLEAR B))
 (PICKUP J) (AND (CLEAR V)) (STACK J AA) (AND (CLEAR I)) (UNSTACK I Z)
 (AND (ON-TABLE AA)) (PUTDOWN I) (AND (CLEAR D)) (UNSTACK V E)
 (AND (ON-TABLE H)) (STACK V DD) (AND (CLEAR L)) (PICKUP F) (AND (ON T U))
 (PUTDOWN F) (AND (CLEAR V)) (UNSTACK D W) (AND (ON U H)) (PUTDOWN D)
 (AND (ON-TABLE M)) (UNSTACK L T) (AND (CLEAR B)) (PUTDOWN L)
 (AND (ON-TABLE AA)) (UNSTACK T U) (AND (CLEAR S)) (PUTDOWN T) (AND (ON J AA))
 (PICKUP Q) (AND (ON C M)) (PUTDOWN Q) (AND (ON N O)) (PICKUP CC)
 (AND (ON-TABLE P)) (STACK CC S) (AND (CLEAR L)) (UNSTACK C M) (AND (CLEAR BB))
 (PUTDOWN C) (AND (ON V DD)) (UNSTACK V DD) (AND (ON-TABLE Q)) (STACK V Q)
 (AND (ON-TABLE M)) (PICKUP R) (AND (ON-TABLE BB)) (STACK R M) (AND (CLEAR Y))
 (UNSTACK CC S) (AND (CLEAR BB)) (PUTDOWN CC) (AND (CLEAR A)) (PICKUP Y)
 (AND (CLEAR CC)) (STACK Y W) (AND (ON-TABLE C)) (UNSTACK V Q)
 (AND (ON-TABLE AA)) (STACK V K) (AND (CLEAR Q)) (UNSTACK J AA)
 (AND (CLEAR CC)) (STACK J X) (AND (CLEAR Q)) (UNSTACK V K) (AND (CLEAR BB))
 (STACK V A) (AND (CLEAR AA)) (UNSTACK R M) (AND (ON-TABLE CC)) (PUTDOWN R)
 (AND (CLEAR L)) (UNSTACK Y W) (AND (CLEAR F)) (PUTDOWN Y) (AND (CLEAR N))
 (PICKUP CC) (AND (HOLDING CC)) (PUTDOWN CC) (AND (CLEAR Z)) (UNSTACK V A)
 (AND (ON-TABLE AA)) (STACK V E) (AND (CLEAR J)) (UNSTACK U H) (AND (CLEAR J))
 (STACK U AA) (AND (CLEAR B)) (PICKUP I) (AND (ON-TABLE X)) (PUTDOWN I)
 (AND (CLEAR D)) (UNSTACK J X) (AND (ON-TABLE H)) (STACK J R) (AND (CLEAR W))
 (UNSTACK N O) (AND (ON-TABLE P)) (PUTDOWN N) (AND (ON-TABLE K)) (UNSTACK V E)
 (AND (CLEAR W)) (STACK V D) (AND (ON-TABLE N)) (UNSTACK V D) (AND (ON J R))
 (STACK V E) (AND (CLEAR O)) (UNSTACK V E) (AND (CLEAR H)) (STACK V S)
 (AND (ON-TABLE CC)) (UNSTACK J R) (AND (ON-TABLE A)) (STACK J CC)
 (AND (ON-TABLE L)) (PICKUP X) (AND (CLEAR O)) (STACK X U) (AND (CLEAR DD))
 (PICKUP Q) (AND (ON-TABLE I)) (PUTDOWN Q) (AND (ON-TABLE N)) (PICKUP O)
 (AND (CLEAR T)) (STACK O D) (AND (CLEAR P)) (PICKUP T) (AND (ON-TABLE E))
 (PUTDOWN T) (AND (CLEAR DD)) (UNSTACK J CC) (AND (CLEAR Y)) (PUTDOWN J)
 (AND (CLEAR Y)) (PICKUP M) (AND (CLEAR N)) (PUTDOWN M) (AND (ON-TABLE CC))
 (UNSTACK V S) (AND (CLEAR E)) (STACK V G) (AND (CLEAR M)) (UNSTACK X U)
 (AND (ON-TABLE DD)) (PUTDOWN X) (AND (ON-TABLE F)) (PICKUP X) (AND (CLEAR W))
 (STACK X S) (AND (ON-TABLE S)) (PICKUP W) (AND (ON-TABLE Z)) (STACK W DD)
 (AND (CLEAR Z)) (UNSTACK U AA) (AND (CLEAR Z)) (STACK U V) (AND (CLEAR Y))
 (UNSTACK U V) (AND (CLEAR M)) (STACK U T) (AND (CLEAR Q)) (PICKUP R)
 (AND (CLEAR AA)) (PUTDOWN R) (AND (CLEAR X)) (UNSTACK O D) (AND (ON-TABLE M))
 (PUTDOWN O) (AND (ON-TABLE A)) (PICKUP C) (AND (ON-TABLE DD)) (STACK C W)
 (AND (ON-TABLE D)) (PICKUP Q) (AND (CLEAR A)) (PUTDOWN Q) (AND (ON-TABLE AA))
 (PICKUP Y) (AND (HOLDING Y)) (STACK Y CC) (AND (ON-TABLE T)) (UNSTACK U T)
 (AND (CLEAR M)) (PUTDOWN U) (AND (CLEAR BB)) (PICKUP F) (AND (CLEAR BB))
 (STACK F B) (AND (CLEAR H)) (UNSTACK Y CC) (AND (CLEAR L)) (PUTDOWN Y)
 (AND (CLEAR C)) (UNSTACK C W) (AND (CLEAR U)) (PUTDOWN C) (AND (ON-TABLE K))
 (PICKUP P) (AND (ON-TABLE Z)) (PUTDOWN P) (AND (ON-TABLE CC)) (UNSTACK W DD)
 (AND (ON-TABLE K)) (PUTDOWN W) (AND (ON-TABLE G)) (PICKUP H) (AND (CLEAR F))
 (STACK H AA) (AND (CLEAR D)) (UNSTACK V G) (AND (ON-TABLE DD)) (PUTDOWN V)
 (AND (ON-TABLE S)) (UNSTACK F B) (AND (CLEAR K)) (PUTDOWN F)
 (AND (ON-TABLE V)) (PICKUP C) (AND (ON-TABLE W)) (PUTDOWN C)
 (AND (ON-TABLE Z)) (PICKUP N) (AND (CLEAR G)) (PUTDOWN N) (AND (CLEAR H))
 (PICKUP N) (AND (ON-TABLE R)) (STACK N D) (AND (ON-TABLE U)) (PICKUP T)
 (AND (ON-TABLE Q)) (STACK T M) (AND (CLEAR C)) (PICKUP W) (AND (CLEAR BB))
 (STACK W X) (AND (CLEAR K)) (PICKUP Y) (AND (ON-TABLE S)) (STACK Y F)
 (AND (ON T M)) (UNSTACK N D) (AND (ON-TABLE S)) (STACK N W) (AND (CLEAR E))
 (PICKUP R) (AND (CLEAR O)) (STACK R Z) (AND (ON-TABLE F)) (PICKUP C)
 (AND (CLEAR A)) (PUTDOWN C) (AND (ON-TABLE M)) (PICKUP CC) (AND (ON-TABLE U))
 (PUTDOWN CC) (AND (ARM-EMPTY)) (PICKUP E) (AND (ON-TABLE Q)) (STACK E H)
 (AND (ON N W)) (PICKUP G) (AND (ON-TABLE J)) (STACK G BB) (AND (ON E H))
 (PICKUP U) (AND (ON W X)) (STACK U B) (AND (CLEAR I)) (UNSTACK Y F)
 (AND (ON U B)) (PUTDOWN Y) (AND (CLEAR C)) (PICKUP K) (AND (ON-TABLE AA))
 (STACK K V) (AND (ON-TABLE S)) (UNSTACK T M) (AND (ON E H)) (PUTDOWN T)
 (AND (CLEAR Q)) (UNSTACK U B) (AND (ON-TABLE C)) (PUTDOWN U) (AND (CLEAR B))
 (UNSTACK R Z) (AND (ON E H)) (PUTDOWN R) (AND (ON G BB)) (PICKUP U)
 (AND (ON N W)) (PUTDOWN U) (AND (ON-TABLE D)) (UNSTACK K V) (AND (CLEAR Q))
 (STACK K F) (AND (ON-TABLE DD)) (UNSTACK G BB) (AND (CLEAR Q)) (STACK G T)
 (AND (CLEAR N)) (UNSTACK K F) (AND (ON-TABLE C)) (STACK K F)
 (AND (ON-TABLE S)) (PICKUP U) (AND (CLEAR G)) (PUTDOWN U) (AND (ON-TABLE L))
 (PICKUP C) (AND (CLEAR Y)) (PUTDOWN C) (AND (CLEAR Q)) (PICKUP D)
 (AND (CLEAR G)) (PUTDOWN D) (AND (CLEAR C)) (PICKUP BB) (AND (ON N W))
 (PUTDOWN BB) (AND (CLEAR D)) (UNSTACK E H) (AND (CLEAR Y)) (PUTDOWN E)
 (AND (CLEAR Q)) (UNSTACK G T) (AND (CLEAR V)) (STACK G C) (AND (ON-TABLE L))
 (PICKUP L) (AND (ON-TABLE U)) (PUTDOWN L) (AND (CLEAR M)) (PICKUP E)
 (AND (CLEAR I)) (STACK E J) (AND (CLEAR DD)) (UNSTACK K F) (AND (ON-TABLE D))
 (PUTDOWN K) (AND (ON-TABLE U)) (UNSTACK N W) (AND (CLEAR Z)) (PUTDOWN N)
 (AND (CLEAR F)) (UNSTACK G C) (AND (CLEAR I)) (PUTDOWN G) (AND (CLEAR E))
 (PICKUP P) (AND (CLEAR BB)) (STACK P DD) (AND (ON-TABLE F)) (UNSTACK H AA)
 (AND (CLEAR L)) (STACK H C) (AND (ON-TABLE F)) (PICKUP BB) (AND (ON-TABLE A))
 (PUTDOWN BB) (AND (CLEAR V)) (PICKUP Y) (AND (CLEAR U)) (PUTDOWN Y)
 (AND (ON-TABLE U)) (UNSTACK E J) (AND (CLEAR O)) (STACK E N)
 (AND (ON-TABLE AA)) (PICKUP Q) (AND (CLEAR B)) (STACK Q F) (AND (ON W X))
 (PICKUP J) (AND (CLEAR AA)) (STACK J U) (AND (CLEAR H)) (UNSTACK J U)
 (AND (ON-TABLE G)) (PUTDOWN J) (AND (CLEAR I)) (UNSTACK H C)
 (AND (ON-TABLE I)) (STACK H AA) (AND (CLEAR K)) (PICKUP G) (AND (ON-TABLE I))
 (STACK G CC) (AND (ARM-EMPTY)) (PICKUP J) (AND (ON-TABLE M)) (STACK J G)
 (AND (ON-TABLE U)) (PICKUP U) (AND (CLEAR O)) (STACK U Z) (AND (ON-TABLE S))
 (UNSTACK J G) (AND (ON-TABLE DD)) (STACK J K) (AND (CLEAR B)) (PICKUP D)
 (AND (CLEAR V)) (PUTDOWN D) (AND (CLEAR B)) (UNSTACK P DD) (AND (CLEAR C))
 (PUTDOWN P) (AND (ON-TABLE DD)) (PICKUP BB) (AND (CLEAR L)) (PUTDOWN BB)
 (AND (ON-TABLE AA)) (PICKUP BB) (AND (ON-TABLE R)) (STACK BB G)
 (AND (CLEAR C)) (UNSTACK E N) (AND (ON X S)) (STACK E A) (AND (ON-TABLE F))
 (UNSTACK U Z) (AND (HOLDING U)) (STACK U P) (AND (CLEAR V)) (PICKUP L)
 (AND (ON Q F)) (STACK L DD) (AND (ON E A)) (UNSTACK W X) (AND (CLEAR I))
 (STACK W H) (AND (ON-TABLE P)) (UNSTACK W H) (AND (ON-TABLE F)) (STACK W X)
 (AND (CLEAR D)) (PICKUP T) (AND (ON-TABLE O)) (PUTDOWN T) (AND (ON H AA))
 (PICKUP I) (AND (ON-TABLE C)) (STACK I N) (AND (CLEAR O)) (UNSTACK J K)
 (AND (ON-TABLE V)) (STACK J Y) (AND (ON-TABLE P)) (UNSTACK I N)
 (AND (ON-TABLE O)) (PUTDOWN I) (AND (CLEAR N)) (UNSTACK H AA) (AND (CLEAR R))
 (PUTDOWN H) (AND (ON-TABLE Z)) (UNSTACK J Y) (AND (CLEAR T)) (STACK J L)
 (AND (CLEAR H)) (PICKUP M) (AND (CLEAR J)) (STACK M E) (AND (CLEAR H))
 (UNSTACK W X) (AND (ON-TABLE Y)) (STACK W M) (AND (CLEAR N)) (UNSTACK BB G)
 (AND (ON-TABLE Z)) (STACK BB D) (AND (ON BB D)) (UNSTACK U P) (AND (CLEAR O))
 (PUTDOWN U) (AND (CLEAR V)) (UNSTACK Q F) (AND (CLEAR Z)) (STACK Q R)
 (AND (ON M E)) (PICKUP O) (AND (ON-TABLE R)) (PUTDOWN O) (AND (CLEAR F))
 (PICKUP P) (AND (CLEAR Z)) (STACK P AA) (AND (ON-TABLE O)) (PICKUP K)
 (AND (ON-TABLE DD)) (PUTDOWN K) (AND (CLEAR K)) (UNSTACK G CC)
 (AND (CLEAR BB)) (PUTDOWN G) (AND (CLEAR I)) (UNSTACK W M) (AND (ON X S))
 (STACK W V) (AND (CLEAR B)) (UNSTACK J L) (AND (ON W V)) (STACK J B)
 (AND (CLEAR F)) (PICKUP T) (AND (CLEAR CC)) (PUTDOWN T) (AND (ON-TABLE A))
 (PICKUP I) (AND (ON X S)) (STACK I T) (AND (CLEAR Q)) (PICKUP F)
 (AND (ON W V)) (PUTDOWN F) (AND (ON-TABLE DD)) (PICKUP N) (AND (ON-TABLE O))
 (PUTDOWN N) (AND (CLEAR CC)) (PICKUP Y) (AND (HOLDING Y)) (PUTDOWN Y)
 (AND (ON-TABLE V)) (PICKUP H) (AND (CLEAR N)) (PUTDOWN H) (AND (CLEAR H))
 (UNSTACK Q R) (AND (ON BB D)) (STACK Q F) (AND (CLEAR W)) (UNSTACK W V)
 (AND (CLEAR Q)) (STACK W H) (AND (CLEAR J)) (UNSTACK X S) (AND (ON-TABLE C))
 (PUTDOWN X) (AND (ON-TABLE T)) (PICKUP V) (AND (CLEAR BB)) (STACK V G)
 (AND (ON-TABLE T)) (PICKUP S) (AND (ON-TABLE O)) (STACK S C) (AND (ON I T))
 (UNSTACK W H) (AND (CLEAR N)) (STACK W J) (AND (CLEAR P)) (UNSTACK Q F)
 (AND (CLEAR W)) (PUTDOWN Q) (AND (CLEAR V)) (UNSTACK P AA) (AND (CLEAR U))
 (PUTDOWN P) (AND (CLEAR K)) (PICKUP K) (AND (ON-TABLE T)) (STACK K V)
 (AND (ON-TABLE O)) (UNSTACK K V) (AND (ON-TABLE Y)) (PUTDOWN K)
 (AND (ON-TABLE R)) (UNSTACK S C) (AND (ON-TABLE R)) (STACK S W)
 (AND (ARM-EMPTY)) (PICKUP R) (AND (CLEAR M)) (PUTDOWN R) (AND (ON L DD))
 (UNSTACK M E) (AND (ON L DD)) (STACK M K) (AND (ON-TABLE K)) (PICKUP O)
 (AND (ON-TABLE N)) (STACK O H) (AND (ON-TABLE G)) (UNSTACK L DD)
 (AND (CLEAR S)) (STACK L F) (AND (ON-TABLE K)) (UNSTACK E A) (AND (CLEAR C))
 (PUTDOWN E) (AND (ON I T)) (PICKUP P) (AND (CLEAR BB)) (STACK P X)
 (AND (ON M K)) (PICKUP N) (AND (CLEAR C)) (PUTDOWN N) (AND (CLEAR DD))
 (UNSTACK P X) (AND (CLEAR S)) (STACK P E) (AND (CLEAR S)) (PICKUP Y)
 (AND (CLEAR CC)) (STACK Y X) (AND (CLEAR Q)) (PICKUP Z) (AND (CLEAR N))
 (STACK Z P) (AND (ON-TABLE H)) (PICKUP Q) (AND (HOLDING Q)) (STACK Q U)
 (AND (CLEAR R)) (PICKUP CC) (AND (ON-TABLE C)) (PUTDOWN CC) (AND (ON P E))
 (PICKUP C) (AND (ON W J)) (STACK C Q) (AND (CLEAR I)) (PICKUP AA)
 (AND (ON-TABLE U)) (STACK AA L) (AND (CLEAR A)) (UNSTACK M K) (AND (CLEAR A))
 (STACK M AA) (AND (ON-TABLE D)) (UNSTACK M AA) (AND (HOLDING M)) (STACK M CC)
 (AND (CLEAR S)) (PICKUP DD) (AND (ON W J)) (PUTDOWN DD) (AND (ON-TABLE T))
 (PICKUP A) (AND (CLEAR O)) (STACK A I) (AND (ON-TABLE DD)) (PICKUP DD)
 (AND (CLEAR S)) (PUTDOWN DD) (AND (ON P E)) (PICKUP N) (AND (ON L F))
 (STACK N M) (AND (CLEAR Y)) (PICKUP K) (AND (CLEAR R)) (PUTDOWN K)
 (AND (CLEAR V)) (PICKUP DD) (AND (CLEAR Z)) (STACK DD S) (AND (CLEAR N))
 (UNSTACK A I) (AND (ON L F)) (PUTDOWN A) (AND (ON V G)) (UNSTACK AA L)
 (AND (ON-TABLE U)) (STACK AA C) (AND (CLEAR Z)) (PICKUP K) (AND (ON J B))
 (PUTDOWN K) (AND (CLEAR I)) (UNSTACK AA C) (AND (CLEAR K)) (STACK AA I)
 (AND (ON Q U)) (PICKUP K) (AND (ON-TABLE CC)) (STACK K Y) (AND (CLEAR BB))
 (PICKUP A) (AND (ON I T)) (STACK A V) (AND (ON Y X)) (PICKUP R)
 (AND (CLEAR AA)) (STACK R K) (AND (CLEAR L)) (UNSTACK O H) (AND (ON BB D))
 (STACK O L) (AND (ON-TABLE H)) (UNSTACK BB D) (AND (ON K Y)) (PUTDOWN BB)
 (AND (CLEAR O)) (PICKUP BB) (AND (ON S W)) (PUTDOWN BB) (AND (CLEAR BB))
 (UNSTACK N M) (AND (CLEAR C)) (STACK N O) (AND (ON Q U)) (PICKUP D)
 (AND (ON AA I)) (PUTDOWN D) (AND (CLEAR N)) (PICKUP H) (AND (CLEAR C))
 (STACK H N) (AND (ON AA I)) (UNSTACK Z P) (AND (CLEAR D)) (STACK Z C)
 (AND (ON K Y)) (UNSTACK AA I) (AND (ON I T)) (PUTDOWN AA) (AND (ON M CC))
 (PICKUP D) (AND (ON L F)) (STACK D AA) (AND (ON H N)) (PICKUP BB)
 (AND (ON W J)) (STACK BB P) (AND (CLEAR I)) (UNSTACK Z C) (AND (ON-TABLE U))
 (STACK Z C) (AND (ON-TABLE AA)) (UNSTACK A V) (AND (CLEAR M)) (PUTDOWN A)
 (AND (ON BB P)) (PICKUP A) (AND (ON BB P)) (STACK A I) (AND (CLEAR BB))
 (UNSTACK H N) (AND (ON O L)) (PUTDOWN H) (AND (ARM-EMPTY)) (UNSTACK V G)
 (AND (ON-TABLE E)) (STACK V M) (AND (ON L F)) (UNSTACK V M) (AND (CLEAR M))
 (STACK V BB) (AND (ON Z C)) (PICKUP G) (AND (ON N O)) (STACK G R)
 (AND (ON I T)) (PICKUP H) (AND (CLEAR N)) (STACK H A) (AND (ON R K))
 (UNSTACK H A) (AND (ON P E)) (PUTDOWN H) (AND (ON Y X)) (UNSTACK A I)
 (AND (ON V BB)) (PUTDOWN A) (AND (ON-TABLE E)) (PICKUP H) (AND (ON G R))
 (STACK H V) (AND (CLEAR I)) (UNSTACK G R) (AND (ON V BB)) (STACK G I)
 (AND (ON D AA)) (UNSTACK Z C) (AND (ON-TABLE U)) (STACK Z C) (AND (ON M CC))
 (PICKUP A) (AND (ON D AA)) (PUTDOWN A) (AND (ON-TABLE E)) (UNSTACK D AA)
 (AND (ON G I)) (STACK D M) (AND (CLEAR N)) (UNSTACK Z C) (AND (ON-TABLE CC))
 (STACK Z A) (AND (ON R K)) (UNSTACK DD S) (AND (CLEAR S)) (PUTDOWN DD)
 (AND (CLEAR N)) (PICKUP AA) (AND (ON R K)) (PUTDOWN AA) (AND (ON W J))
 (PICKUP AA) (AND (CLEAR C)) (STACK AA G) (AND (ON-TABLE DD)) (PICKUP DD)
 (AND (ON Z A)) (PUTDOWN DD) (AND (ON-TABLE U)) (UNSTACK H V)
 (AND (ON-TABLE F)) (PUTDOWN H) (AND (ON I T)) (PICKUP DD) (AND (CLEAR AA))
 (PUTDOWN DD) (AND (CLEAR DD)) (UNSTACK D M) (AND (CLEAR C)) (PUTDOWN D)
 (AND (ARM-EMPTY)) (UNSTACK M CC) (AND (ON K Y)) (PUTDOWN M) (AND (ON V BB))
 (PICKUP DD) (AND (ON J B)) (PUTDOWN DD) (AND (ON J B)) (PICKUP M)
 (AND (ON P E)) (STACK M C) (AND (CLEAR AA)) (PICKUP D) (AND (CLEAR CC))
 (STACK D M) (AND (ON S W)) (UNSTACK R K) (AND (ON Y X)) (STACK R N)
 (AND (CLEAR S)) (PICKUP DD) (AND (ON W J)) (STACK DD R) (AND (ON Q U))
 (UNSTACK Z A) (AND (ON K Y)) (STACK Z S) (AND (ON-TABLE F)) (PICKUP CC)
 (AND (ON Y X)) (STACK CC D) (AND (ON L F)) (UNSTACK K Y) (AND (ON M C))
 (PUTDOWN K) (AND (ON-TABLE K)) (PICKUP A) (AND (ON W J)) (STACK A AA)
 (AND (ON-TABLE T)) (PICKUP H) (AND (ON M C)) (STACK H Z) (AND (ON-TABLE X))
 (PICKUP K) (AND (ON L F)) (PUTDOWN K) (AND (ON Y X)) (UNSTACK DD R)
 (AND (HOLDING DD)) (PUTDOWN DD) (AND (ON S W)) (UNSTACK V BB) (AND (ON M C))
 (STACK V H) (AND (ON J B)) (PICKUP K) (AND (ON-TABLE F)) (PUTDOWN K)
 (AND (CLEAR CC)) (UNSTACK A AA) (AND (ON G I)) (STACK A AA) (AND (ON-TABLE X))
 (PICKUP DD) (AND (ON O L)) (PUTDOWN DD) (AND (ON AA G)) (UNSTACK A AA)
 (AND (ON S W)) (STACK A R) (AND (ON D M)) (PICKUP DD) (AND (ON Q U))
 (STACK DD CC) (AND (CLEAR BB)) (UNSTACK DD CC) (AND (ON L F)) (STACK DD AA)
 (AND (ON W J)) (PICKUP K) (AND (ON S W)) (PUTDOWN K) (AND (ON S W)) (PICKUP K)
 (AND (ON G I)) (PUTDOWN K) (AND (CLEAR Y)) (UNSTACK BB P) (AND (ON R N))
 (PUTDOWN BB) (AND (CLEAR K)) (UNSTACK CC D) (AND (CLEAR DD)) (PUTDOWN CC)
 (AND (ON V H)) (PICKUP BB) (AND (ON-TABLE K)) (PUTDOWN BB) (AND (ON R N))
 (PICKUP K) (AND (ON P E)) (PUTDOWN K) (AND (ON Y X)) (PICKUP BB)
 (AND (ON-TABLE CC)) (STACK BB D) (AND (ON AA G)) (UNSTACK BB D) (AND (ON Q U))
 (PUTDOWN BB) (AND (ON N O)) (UNSTACK P E) (AND (ON N O)) (STACK P V)
 (AND (ON J B)) (UNSTACK Y X) (AND (ON N O)) (PUTDOWN Y) (AND (ON A R))
 (UNSTACK A R) (AND (ON-TABLE X)) (STACK A P) (AND (ON V H)) (PICKUP CC)
 (AND (CLEAR D)) (PUTDOWN CC) (AND (ON-TABLE E)) (PICKUP X) (AND (ON P V))
 (STACK X BB) (AND (ON-TABLE U)) (PICKUP CC) (AND (CLEAR A)) (PUTDOWN CC)
 (AND (ON P V)) (UNSTACK A P) (AND (ON C Q)) (STACK A R) (AND (ON O L))
 (UNSTACK A R) (AND (ON J B)) (STACK A D) (AND (ON N O)) (PICKUP K)
 (AND (ON M C)) (STACK K R) (AND (CLEAR CC)) (UNSTACK P V) (AND (ON Z S))
 (STACK P V) (AND (ON DD AA)) (UNSTACK K R) (AND (ON A D)) (STACK K DD)
 (AND (ON A D)) (PICKUP CC) (AND (ON W J)) (PUTDOWN CC) (AND (ON C Q))
 (PICKUP Y) (AND (ON I T)) (PUTDOWN Y) (AND (ON X BB)) (UNSTACK K DD)
 (AND (CLEAR P)) (STACK K DD) (AND (ON Q U)) (PICKUP E) (AND (CLEAR A))
 (PUTDOWN E) (AND (CLEAR A)) (UNSTACK K DD) (AND (CLEAR A)) (STACK K R)
 (AND (ON G I)) (PICKUP Y) (AND (ON-TABLE U)) (STACK Y CC) (AND (CLEAR K))
 (UNSTACK K R) (AND (ON DD AA)) (STACK K DD) (AND (ON O L)) (UNSTACK K DD)
 (AND (CLEAR A)) (STACK K Y) (AND (ON P V)) (UNSTACK R N) (AND (CLEAR K))
 (PUTDOWN R) (AND (CLEAR R)) (PICKUP E) (AND (ON-TABLE CC)) (PUTDOWN E)
 (AND (ON H Z)) (PICKUP E) (AND (ON I T)) (PUTDOWN E) (AND (ON V H)) (PICKUP R)
 (AND (ON I T)) (STACK R X) (AND (ON W J)) (UNSTACK R X) (AND (ON V H))
 (STACK R K) (AND (ON-TABLE CC)) (PICKUP E) (AND (ON W J)) (PUTDOWN E)
 (AND (ARM-EMPTY)) (UNSTACK R K) (AND (ON J B)) (STACK R K) (AND (ON P V))
 (PICKUP E) (AND (CLEAR DD)) (STACK E A) (AND (ON C Q)) (UNSTACK E A)
 (AND (ON J B)) (STACK E N) (AND (ON X BB)) (UNSTACK X BB) (AND (ON DD AA))
 (PUTDOWN X) (AND (CLEAR A)) (PICKUP X) (AND (ON G I)) (STACK X BB)
 (AND (CLEAR DD)) (UNSTACK P V) (AND (ON DD AA)) (PUTDOWN P) (AND (ON-TABLE P))
 (PICKUP P) (AND (ON-TABLE BB)) (PUTDOWN P) (AND (CLEAR E)) (PICKUP P)
 (AND (ON I T)) (PUTDOWN P) (AND (ON G I)) (UNSTACK V H) (AND (ON D M))
 (PUTDOWN V) (AND (ON A D)) (PICKUP V) (AND (ON R K)) (STACK V A)
 (AND (CLEAR R)) (UNSTACK R K) (AND (ON I T)) (STACK R E) (AND (ON W J))
 (UNSTACK X BB) (AND (CLEAR R)) (STACK X H) (AND (CLEAR R)) (UNSTACK X H)
 (AND (ON A D)) (STACK X DD) (AND (ON K Y)) (PICKUP BB) (AND (ON H Z))
 (STACK BB K) (AND (ON W J)) (PICKUP P) (AND (ON C Q)) (STACK P H)
 (AND (ON DD AA)) (UNSTACK X DD) (AND (ON-TABLE U)) (STACK X R) (AND (ON Y CC))
 (UNSTACK V A) (AND (ON W J)) (PUTDOWN V) (AND (ON C Q)) (UNSTACK DD AA)
 (AND (CLEAR X)) (PUTDOWN DD) (AND (ON-TABLE DD)) (UNSTACK X R) (AND (ON D M))
 (PUTDOWN X) (AND (ON Z S)) (UNSTACK AA G) (AND (HOLDING AA)) (STACK AA DD)
 (AND (CLEAR V)) (UNSTACK G I) (AND (ON-TABLE U)) (PUTDOWN G)
 (AND (ON-TABLE U)) (PICKUP G) (AND (ON A D)) (STACK G BB) (AND (ON L F))
 (PICKUP X) (AND (ON J B)) (PUTDOWN X) (AND (ON-TABLE U)) (PICKUP V)
 (AND (ON-TABLE DD)) (PUTDOWN V) (AND (ON M C)) (PICKUP X) (AND (ON-TABLE V))
 (STACK X R) (AND (ON AA DD)) (PICKUP V) (AND (ON-TABLE F)) (STACK V AA)
 (AND (ARM-EMPTY)) (UNSTACK X R) (AND (ON-TABLE CC)) (PUTDOWN X) (AND (ON I T))
 (UNSTACK V AA) (AND (ON J B)) (STACK V G) (AND (ON-TABLE X)) (UNSTACK P H)
 (AND (ON V G)) (STACK P H) (AND (ON M C)) (PICKUP X) (AND (CLEAR R))
 (STACK X AA) (AND (ON P H)) (UNSTACK A D) (AND (ON C Q)) (PUTDOWN A)
 (AND (ON D M)) (UNSTACK P H) (AND (CLEAR I)) (PUTDOWN P) (AND (CLEAR V))
 (UNSTACK I T) (AND (ON Q U)) (PUTDOWN I) (AND (ON AA DD)) (UNSTACK H Z)
 (AND (ON O L)) (PUTDOWN H) (AND (ON C Q)) (PICKUP A) (AND (ON-TABLE P))
 (STACK A T) (AND (ON N O)) (PICKUP H) (AND (CLEAR A)) (PUTDOWN H)
 (AND (ON O L)) (UNSTACK D M) (AND (ON V G)) (STACK D R) (AND (CLEAR Z))
 (UNSTACK D R) (AND (ON-TABLE P)) (STACK D P) (AND (ON-TABLE CC)) (PICKUP I)
 (AND (ON J B)) (PUTDOWN I) (AND (CLEAR A)) (PICKUP I) (AND (ON E N))
 (PUTDOWN I) (AND (ON S W)) (PICKUP H) (AND (ON G BB)) (STACK H D)
 (AND (CLEAR I)) (PICKUP I) (AND (ON-TABLE F)) (PUTDOWN I) (AND (ON K Y))
 (UNSTACK Z S) (AND (CLEAR H)) (STACK Z A) (AND (ON AA DD)) (PICKUP I)
 (AND (ON-TABLE P)) (PUTDOWN I) (AND (ON O L)) (UNSTACK M C) (AND (ON Z A))
 (PUTDOWN M) (AND (ARM-EMPTY)) (UNSTACK X AA) (AND (ON-TABLE CC)) (STACK X V)
 (AND (ARM-EMPTY)) (UNSTACK H D) (AND (CLEAR C)) (STACK H D) (AND (ON J B))
 (UNSTACK S W) (AND (ON J B)) (PUTDOWN S) (AND (ON G BB)) (UNSTACK R E)
 (AND (CLEAR Z)) (PUTDOWN R) (AND (ON-TABLE U)) (PICKUP S) (AND (CLEAR Z))
 (STACK S I) (AND (CLEAR M)) (PICKUP R) (AND (ON H D)) (PUTDOWN R)
 (AND (ON E N)) (PICKUP M) (AND (ON D P)) (STACK M C) (AND (CLEAR Z))
 (PICKUP R) (AND (ON K Y)) (PUTDOWN R) (AND (ON-TABLE F)) (UNSTACK H D)
 (AND (ON N O)) (STACK H M) (AND (ON-TABLE I)) (UNSTACK H M) (AND (ON-TABLE U))
 (STACK H Z) (AND (CLEAR AA)) (PICKUP R) (AND (ON-TABLE DD)) (STACK R D)
 (AND (ON E N)) (UNSTACK E N) (AND (ON-TABLE CC)) (STACK E R) (AND (CLEAR M))
 (UNSTACK M C) (AND (CLEAR W)) (STACK M X) (AND (ON Z A)) (UNSTACK N O)
 (AND (ON H Z)) (STACK N AA) (AND (ON Z A)) (UNSTACK C Q) (AND (CLEAR S))
 (PUTDOWN C) (AND (ON D P)) (UNSTACK M X) (AND (ON O L)) (PUTDOWN M)
 (AND (CLEAR M)) (UNSTACK X V) (AND (ON-TABLE I)) (STACK X W) (AND (CLEAR M))
 (PICKUP M) (AND (ON R D)) (STACK M C) (AND (ON Y CC)) (UNSTACK H Z)
 (AND (ON D P)) (STACK H Q) (AND (CLEAR V)) (UNSTACK Z A) (AND (ON-TABLE CC))
 (PUTDOWN Z) (AND (ON K Y)) (UNSTACK A T) (AND (ON N AA)) (PUTDOWN A)
 (AND (ON-TABLE U)) (PICKUP Z) (AND (CLEAR H)) (STACK Z M) (AND (ON-TABLE T))
 (PICKUP A) (AND (ON N AA)) (PUTDOWN A) (AND (ON D P)) (PICKUP A)
 (AND (ON-TABLE DD)) (STACK A Z) (AND (CLEAR H)) (PICKUP T) (AND (ON-TABLE P))
 (STACK T O) (AND (CLEAR X)) (UNSTACK X W) (AND (ON-TABLE P)) (STACK X W)
 (AND (CLEAR H)) (UNSTACK S I) (AND (ON-TABLE F)) (STACK S T)
 (AND (ON-TABLE I)) (PICKUP I) (AND (ON Q U)) (STACK I V) (AND (ON W J))
 (UNSTACK S T) (AND (ON I V)) (PUTDOWN S) (AND (ON-TABLE CC)) (PICKUP S)
 (AND (ON R D)) (STACK S T) (AND (ON D P)) (UNSTACK N AA) (AND (HOLDING N))
 (STACK N E) (AND (ON-TABLE DD)) (UNSTACK S T) (AND (ON-TABLE CC)) (PUTDOWN S)
 (AND (ON R D)) (PICKUP S) (AND (ON-TABLE DD)) (PUTDOWN S) (AND (ON E R))
 (PICKUP S) (AND (ON-TABLE U)) (PUTDOWN S) (AND (CLEAR AA)) (UNSTACK T O)
 (AND (ON D P)) (STACK T AA) (AND (ON-TABLE U)) (PICKUP S) (AND (CLEAR I))
 (STACK S X) (AND (ARM-EMPTY)) (UNSTACK O L) (AND (ON-TABLE CC)) (PUTDOWN O)
 (AND (ON E R)) (PICKUP O) (AND (CLEAR S)) (STACK O I) (AND (ON-TABLE CC))
 (UNSTACK H Q) (AND (CLEAR T)) (PUTDOWN H) (AND (CLEAR O)) (PICKUP H)
 (AND (ON T AA)) (PUTDOWN H) (AND (ON N E)) (UNSTACK A Z) (AND (CLEAR O))
 (STACK A L) (AND (ON I V)) (PICKUP H) (AND (ON Q U)) (PUTDOWN H)
 (AND (CLEAR O)) (UNSTACK A L) (AND (ON M C)) (PUTDOWN A) (AND (ON K Y))
 (PICKUP H) (AND (ON J B)) (STACK H T) (AND (ON-TABLE CC)) (PICKUP A)
 (AND (ON D P)) (STACK A Z) (AND (CLEAR O)) (UNSTACK S X) (AND (ON-TABLE P))
 (PUTDOWN S) (AND (CLEAR N)) (PICKUP S) (AND (CLEAR Q)) (PUTDOWN S)
 (AND (ON-TABLE F)) (UNSTACK H T) (AND (CLEAR S)) (PUTDOWN H) (AND (CLEAR Q))
 (UNSTACK O I) (AND (CLEAR A)) (PUTDOWN O) (AND (ON L F)) (PICKUP H)
 (AND (ON BB K)) (PUTDOWN H) (AND (ON Q U)) (UNSTACK L F) (AND (ON D P))
 (PUTDOWN L) (AND (ARM-EMPTY)) (PICKUP L) (AND (CLEAR T)) (PUTDOWN L)
 (AND (ON G BB)) (PICKUP S) (AND (ON-TABLE O)) (PUTDOWN S) (AND (ARM-EMPTY))
 (UNSTACK I V) (AND (ON A Z)) (PUTDOWN I) (AND (ARM-EMPTY)) (PICKUP L)
 (AND (ON G BB)) (STACK L H) (AND (ON Q U)) (UNSTACK T AA) (AND (ON X W))
 (STACK T I) (AND (ON-TABLE CC)) (UNSTACK N E) (AND (CLEAR X)) (STACK N A)
 (AND (CLEAR X)) (PICKUP F) (AND (CLEAR O)) (PUTDOWN F) (AND (CLEAR Q))
 (PICKUP O) (AND (ON R D)) (STACK O V) (AND (ON X W)) (PICKUP F)
 (AND (CLEAR O)) (PUTDOWN F) (AND (CLEAR O)) (UNSTACK N A) (AND (ON AA DD))
 (PUTDOWN N) (AND (ON-TABLE I)) (UNSTACK L H) (AND (CLEAR N)) (STACK L X)
 (AND (ON-TABLE P)) (PICKUP F) (AND (CLEAR N)) (STACK F Q) (AND (ARM-EMPTY))
 (PICKUP H) (AND (ON-TABLE I)) (STACK H N) (AND (ON H N)) (UNSTACK A Z)
 (AND (ON-TABLE DD)) (STACK A F) (AND (CLEAR O)) (PICKUP S) (AND (ON D P))
 (STACK S AA) (AND (CLEAR S)) (UNSTACK H N) (AND (CLEAR N)) (STACK H O)
 (AND (ON L X)) (PICKUP N) (AND (ON X W)) (PUTDOWN N) (AND (ON-TABLE P))
 (PICKUP N) (AND (ON R D)) (PUTDOWN N) (AND (ON S AA)) (UNSTACK E R)
 (AND (ON X W)) (PUTDOWN E) (AND (CLEAR E)) (PICKUP E) (AND (CLEAR Z))
 (PUTDOWN E) (AND (ON L X)) (PICKUP E) (AND (ON-TABLE C)) (STACK E Z)
 (AND (CLEAR E)) (UNSTACK L X) (AND (CLEAR X)) (STACK L X) (AND (ON BB K))
 (UNSTACK H O) (AND (ON K Y)) (PUTDOWN H) (AND (ON Z M)) (UNSTACK T I)
 (AND (ON D P)) (PUTDOWN T) (AND (CLEAR T)) (UNSTACK E Z) (AND (CLEAR I))
 (STACK E L) (AND (ON Z M)) (UNSTACK S AA) (AND (ON D P)) (PUTDOWN S)
 (AND (ON-TABLE S)) (UNSTACK Z M) (AND (ON R D)) (PUTDOWN Z) (AND (ON-TABLE S))
 (PICKUP H) (AND (ON G BB)) (PUTDOWN H) (AND (ON-TABLE U)) (UNSTACK AA DD)
 (AND (ON M C)) (PUTDOWN AA) (AND (ON W J)) (PICKUP N) (AND (ON-TABLE CC))
 (PUTDOWN N) (AND (ON F Q)) (UNSTACK A F) (AND (ON O V)) (PUTDOWN A)
 (AND (ON R D)) (UNSTACK E L) (AND (ON-TABLE T)) (STACK E Z) (AND (CLEAR DD))
 (UNSTACK L X) (AND (ON J B)) (STACK L DD) (AND (ON E Z)) (UNSTACK R D)
 (AND (ON L DD)) (PUTDOWN R) (AND (ON M C)) (PICKUP I) (AND (ON W J))
 (PUTDOWN I) (AND (ON W J)) (UNSTACK E Z) (AND (ON L DD)) (STACK E M)
 (AND (ON L DD)) (PICKUP T) (AND (CLEAR S)) (STACK T D) (AND (ON M C))
 (PICKUP N) (AND (ON X W)) (PUTDOWN N) (AND (ON J B)) (PICKUP Z)
 (AND (CLEAR A)) (STACK Z X) (AND (CLEAR R)) (UNSTACK Z X) (AND (ON G BB))
 (PUTDOWN Z) (AND (ARM-EMPTY)) (UNSTACK O V) (AND (ON F Q)) (PUTDOWN O)
 (AND (CLEAR I)) (UNSTACK V G) (AND (ON-TABLE I)) (PUTDOWN V)
 (AND (ON-TABLE DD)) (UNSTACK T D) (AND (CLEAR L)) (PUTDOWN T)
 (AND (ON-TABLE DD)) (UNSTACK F Q) (AND (ON-TABLE N)) (PUTDOWN F)
 (AND (ON-TABLE N)) (UNSTACK L DD) (AND (ON-TABLE AA)) (PUTDOWN L)
 (AND (ON Y CC)) (PICKUP V) (AND (ON D P)) (PUTDOWN V) (AND (ON-TABLE S))
 (PICKUP T) (AND (ON-TABLE S)) (STACK T H) (AND (ON J B)) (UNSTACK D P)
 (AND (HOLDING D)) (STACK D T) (AND (ON D T)) (PICKUP S) (AND (CLEAR A))
 (PUTDOWN S) (AND (ON BB K)) (PICKUP F) (AND (ON-TABLE N)) (PUTDOWN F)
 (AND (ON X W)) (PICKUP O) (AND (ON-TABLE H)) (PUTDOWN O) (AND (ON-TABLE AA))
 (PICKUP A) (AND (ON K Y)) (STACK A V) (AND (CLEAR DD)) (PICKUP AA)
 (AND (ON-TABLE I)) (PUTDOWN AA) (AND (ON-TABLE AA)) (PICKUP P) (AND (ON D T))
 (STACK P N) (AND (CLEAR G)) (UNSTACK G BB) (AND (ON X W)) (PUTDOWN G)
 (AND (CLEAR BB)) (UNSTACK A V) (AND (HOLDING A)) (PUTDOWN A)
 (AND (ON-TABLE CC)) (UNSTACK Q U) (AND (CLEAR Z)) (PUTDOWN Q) (AND (CLEAR AA))
 (PICKUP G) (AND (ON-TABLE H)) (STACK G P) (AND (CLEAR D)) (PICKUP F)
 (AND (CLEAR AA)) (PUTDOWN F) (AND (ON-TABLE DD)) (UNSTACK X W) (AND (ON T H))
 (STACK X S) (AND (ON-TABLE S)) (UNSTACK G P) (AND (CLEAR AA)) (STACK G W)
 (AND (CLEAR X)) (PICKUP U) (AND (ON E M)) (STACK U X) (AND (CLEAR D))
 (PICKUP A) (AND (CLEAR Z)) (STACK A R) (AND (CLEAR E)) (UNSTACK E M)
 (AND (ON-TABLE N)) (STACK E AA) (AND (ON-TABLE F)) (PICKUP O) (AND (ON J B))
 (STACK O P) (AND (CLEAR DD)) (UNSTACK O P) (AND (ON W J)) (PUTDOWN O)
 (AND (ON T H)) (UNSTACK U X) (AND (CLEAR F)) (PUTDOWN U) (AND (ON X S))
 (UNSTACK BB K) (AND (CLEAR D)) (STACK BB D) (AND (ON-TABLE AA)) (PICKUP U)
 (AND (ON-TABLE CC)) (PUTDOWN U) (AND (ON BB D)) (PICKUP I) (AND (CLEAR Q))
 (STACK I G) (AND (CLEAR X)) (UNSTACK X S) (AND (ON-TABLE N)) (PUTDOWN X)
 (AND (ON I G)) (UNSTACK P N) (AND (ON-TABLE L)) (PUTDOWN P) (AND (ON-TABLE V))
 (PICKUP V) (AND (CLEAR L)) (STACK V S) (AND (CLEAR DD)) (PICKUP L)
 (AND (CLEAR N)) (PUTDOWN L) (AND (ON-TABLE DD)) (UNSTACK E AA) (AND (CLEAR F))
 (PUTDOWN E) (AND (ON W J)) (UNSTACK K Y) (AND (CLEAR V)) (PUTDOWN K)
 (AND (ON-TABLE AA)) (UNSTACK V S) (AND (ON BB D)) (STACK V A) (AND (CLEAR M))
 (PICKUP DD) (AND (CLEAR P)) (STACK DD E) (AND (ON J B)) (UNSTACK V A)
 (AND (CLEAR P)) (PUTDOWN V) (AND (ON-TABLE R)) (PICKUP K) (AND (CLEAR Y))
 (PUTDOWN K) (AND (ON-TABLE CC)) (PICKUP P) (AND (ON A R)) (PUTDOWN P)
 (AND (CLEAR I)) (PICKUP L) (AND (ON-TABLE N)) (STACK L DD) (AND (ON-TABLE K))
 (UNSTACK M C) (AND (ON-TABLE R)) (PUTDOWN M) (AND (CLEAR O)) (PICKUP X)
 (AND (ON-TABLE P)) (PUTDOWN X) (AND (CLEAR Q)) (PICKUP V) (AND (CLEAR N))
 (PUTDOWN V) (AND (ON L DD)) (PICKUP X) (AND (CLEAR S)) (PUTDOWN X)
 (AND (CLEAR A)) (PICKUP AA) (AND (CLEAR K)) (STACK AA F) (AND (CLEAR AA))
 (UNSTACK I G) (AND (ON-TABLE H)) (STACK I S) (AND (ON-TABLE CC))
 (UNSTACK AA F) (AND (ON-TABLE CC)) (STACK AA I) (AND (ON A R)) (UNSTACK Y CC)
 (AND (CLEAR V)) (PUTDOWN Y) (AND (ON-TABLE S)) (UNSTACK G W) (AND (HOLDING G))
 (PUTDOWN G) (AND (CLEAR L)) (PICKUP CC) (AND (ON-TABLE G)) (STACK CC W)
 (AND (CLEAR U)) (PICKUP M) (AND (ON-TABLE U)) (PUTDOWN M) (AND (ON DD E))
 (PICKUP X) (AND (CLEAR C)) (PUTDOWN X) (AND (CLEAR V)) (UNSTACK CC W)
 (AND (ON D T)) (STACK CC Z) (AND (ON-TABLE P)) (UNSTACK CC Z)
 (AND (ON-TABLE O)) (STACK CC BB) (AND (ON-TABLE Q)) (UNSTACK L DD)
 (AND (CLEAR N)) (STACK L P) (AND (CLEAR V)) (UNSTACK DD E) (AND (ON I S))
 (STACK DD E) (AND (CLEAR O)) (UNSTACK DD E) (AND (HOLDING DD)) (PUTDOWN DD)
 (AND (ON CC BB)) (UNSTACK W J) (AND (CLEAR CC)) (PUTDOWN W) (AND (CLEAR AA))
 (PICKUP M) (AND (CLEAR J)) (STACK M K) (AND (ON-TABLE E)) (UNSTACK AA I)
 (AND (ON-TABLE R)) (STACK AA L) (AND (ON-TABLE F)) (UNSTACK AA L)
 (AND (ON-TABLE R)) (STACK AA W) (AND (ON M K)) (PICKUP E) (AND (ON-TABLE N))
 (PUTDOWN E) (AND (ON AA W)) (PICKUP DD) (AND (ON-TABLE K)) (STACK DD CC)
 (AND (ON BB D)) (PICKUP Z) (AND (ON D T)) (PUTDOWN Z) (AND (CLEAR I))
 (UNSTACK DD CC) (AND (CLEAR Q)) (PUTDOWN DD) (AND (ARM-EMPTY)) (UNSTACK CC BB)
 (AND (ON-TABLE S)) (STACK CC BB) (AND (ON A R)) (PICKUP Y) (AND (CLEAR L))
 (STACK Y AA) (AND (ON L P)) (UNSTACK Y AA) (AND (ON-TABLE C)) (STACK Y Z)
 (AND (CLEAR L)) (PICKUP N) (AND (ON CC BB)) (PUTDOWN N) (AND (ON A R))
 (PICKUP N) (AND (ON-TABLE DD)) (STACK N M) (AND (CLEAR DD)) (PICKUP V)
 (AND (ON-TABLE W)) (PUTDOWN V) (AND (CLEAR O)) (PICKUP F) (AND (ON-TABLE K))
 (STACK F A) (AND (CLEAR U)) (PICKUP DD) (AND (CLEAR G)) (PUTDOWN DD)
 (AND (ON-TABLE H)) (UNSTACK AA W) (AND (CLEAR E)) (STACK AA N)
 (AND (CLEAR AA)) (UNSTACK Y Z) (AND (CLEAR X)) (STACK Y X) (AND (CLEAR I))
 (PICKUP W) (AND (CLEAR Z)) (PUTDOWN W) (AND (ON-TABLE K)) (UNSTACK L P)
 (AND (ON I S)) (STACK L V) (AND (ON-TABLE C)) (PICKUP Z) (AND (ON-TABLE S))
 (PUTDOWN Z) (AND (ON-TABLE Z)) (UNSTACK L V) (AND (ON BB D)) (STACK L Y)
 (AND (ON AA N)) (UNSTACK AA N) (AND (CLEAR L)) (STACK AA F) (AND (CLEAR G))
 (UNSTACK I S) (AND (CLEAR P)) (PUTDOWN I) (AND (ON-TABLE DD)) (UNSTACK N M)
 (AND (ON-TABLE I)) (STACK N Q) (AND (ON-TABLE P)) (PICKUP O) (AND (CLEAR P))
 (STACK O Z) (AND (CLEAR V)) (UNSTACK AA F) (AND (CLEAR F)) (PUTDOWN AA)
 (AND (ON-TABLE Z)) (PICKUP DD) (AND (ON-TABLE R)) (PUTDOWN DD)
 (AND (ON-TABLE Z)) (PICKUP S) (AND (CLEAR W)) (STACK S CC) (AND (ON-TABLE AA))
 (UNSTACK O Z) (AND (CLEAR M)) (PUTDOWN O) (AND (ON-TABLE AA)) (PICKUP U)
 (AND (ON-TABLE Q)) (STACK U P) (AND (CLEAR J)) (PICKUP I) (AND (ON-TABLE X))
 (PUTDOWN I) (AND (CLEAR G)) (PICKUP G) (AND (ON-TABLE X)) (PUTDOWN G)
 (AND (CLEAR I)) (UNSTACK S CC) (AND (ON-TABLE AA)) (STACK S F) (AND (ON U P))
 (UNSTACK CC BB) (AND (ON-TABLE Q)) (STACK CC Z) (AND (ON-TABLE Q)) (PICKUP W)
 (AND (CLEAR N)) (STACK W N) (AND (ON L Y)) (PICKUP G) (AND (CLEAR V))
 (STACK G C) (AND (CLEAR G)) (PICKUP DD) (AND (ON T H)) (PUTDOWN DD)
 (AND (ON T H)) (PICKUP V) (AND (ON-TABLE O)) (STACK V W) (AND (CLEAR J))
 (UNSTACK V W) (AND (ON-TABLE Q)) (PUTDOWN V) (AND (ON F A)) (PICKUP O)
 (AND (CLEAR CC)) (STACK O AA) (AND (ON L Y)) (PICKUP V) (AND (ON-TABLE P))
 (STACK V DD) (AND (ON-TABLE C)) (PICKUP E) (AND (CLEAR CC)) (PUTDOWN E)
 (AND (ON V DD)) (UNSTACK J B) (AND (ON M K)) (STACK J E) (AND (ON Y X))
 (UNSTACK U P) (AND (ON-TABLE AA)) (PUTDOWN U) (AND (CLEAR W)) (UNSTACK O AA)
 (AND (ON-TABLE R)) (PUTDOWN O) (AND (CLEAR AA)) (PICKUP O) (AND (ON-TABLE H))
 (STACK O B) (AND (ON D T)) (UNSTACK O B) (AND (CLEAR M)) (PUTDOWN O)
 (AND (ON-TABLE O)) (UNSTACK M K) (AND (ON-TABLE E)) (PUTDOWN M)
 (AND (ON-TABLE K)) (UNSTACK L Y) (AND (CLEAR M)) (STACK L BB) (AND (CLEAR I))
 (UNSTACK G C) (AND (ON-TABLE DD)) (STACK G P) (AND (CLEAR V)) (PICKUP M)
 (AND (ON T H)) (PUTDOWN M) (AND (CLEAR L)) (UNSTACK V DD) (AND (ON-TABLE P))
 (STACK V G) (AND (ARM-EMPTY)) (UNSTACK Y X) (AND (ON-TABLE R)) (STACK Y X)
 (AND (CLEAR CC)) (PICKUP K) (AND (CLEAR Y)) (PUTDOWN K) (AND (ON-TABLE X))
 (PICKUP C) (AND (HOLDING C)) (PUTDOWN C) (AND (CLEAR J)) (PICKUP AA)
 (AND (ON-TABLE X)) (PUTDOWN AA) (AND (CLEAR U)) (PICKUP I) (AND (ON T H))
 (STACK I W) (AND (CLEAR V)) (PICKUP O) (AND (CLEAR K)) (PUTDOWN O)
 (AND (ON L BB)) (UNSTACK S F) (AND (ON-TABLE H)) (PUTDOWN S) (AND (CLEAR Y))
 (PICKUP C) (AND (ON G P)) (STACK C V) (AND (CLEAR S)) (PICKUP M)
 (AND (ON-TABLE Q)) (STACK M I) (AND (CLEAR B)) (UNSTACK CC Z) (AND (ON A R))
 (PUTDOWN CC) (AND (CLEAR AA)) (UNSTACK Y X) (AND (CLEAR O)) (STACK Y U)
 (AND (CLEAR K)) (PICKUP DD) (AND (ON G P)) (STACK DD Y) (AND (CLEAR C))
 (UNSTACK F A) (AND (CLEAR S)) (PUTDOWN F) (AND (ON-TABLE Z)) (UNSTACK DD Y)
 (AND (ON L BB)) (PUTDOWN DD) (AND (ON M I)) (PICKUP DD) (AND (ON C V))
 (PUTDOWN DD) (AND (ON-TABLE P)) (PICKUP AA) (AND (ON N Q)) (STACK AA L)
 (AND (ON-TABLE E)) (PICKUP F) (AND (ON G P)) (PUTDOWN F) (AND (CLEAR X))
 (UNSTACK J E) (AND (ON BB D)) (PUTDOWN J) (AND (ON-TABLE H)) (PICKUP J)
 (AND (ON-TABLE S)) (STACK J Z) (AND (CLEAR A)) (PICKUP S) (AND (CLEAR M))
 (PUTDOWN S) (AND (ON BB D)) (PICKUP E) (AND (ON C V)) (PUTDOWN E)
 (AND (ON D T)) (PICKUP K) (AND (ON-TABLE O)) (PUTDOWN K) (AND (CLEAR DD))
 (UNSTACK C V) (AND (ON-TABLE O)) (STACK C E) (AND (CLEAR M)) (PICKUP CC)
 (AND (ON-TABLE R)) (STACK CC AA) (AND (ON T H)) (PICKUP S) (AND (CLEAR J))
 (PUTDOWN S) (AND (ON-TABLE F)) (PICKUP X) (AND (ON BB D)) (STACK X F)
 (AND (CLEAR A)) (PICKUP S) (AND (HOLDING S)) (PUTDOWN S) (AND (CLEAR K))
 (PICKUP K) (AND (CLEAR M)) (STACK K S) (AND (CLEAR O)) (PICKUP O)
 (AND (ON-TABLE U)) (PUTDOWN O) (AND (ON D T)) (UNSTACK V G)
 (AND (ON-TABLE DD)) (STACK V M) (AND (ON-TABLE O)) (PICKUP DD) (AND (CLEAR A))
 (PUTDOWN DD) (AND (CLEAR C)) (PICKUP O) (AND (ON-TABLE DD)) (STACK O CC)
 (AND (CLEAR J)) (PICKUP DD) (AND (ON J Z)) (PUTDOWN DD) (AND (ON-TABLE Z))
 (PICKUP DD) (AND (CLEAR G)) (PUTDOWN DD) (AND (ON-TABLE P)) (UNSTACK O CC)
 (AND (CLEAR X)) (STACK O V) (AND (ON T H)) (PICKUP DD) (AND (ON L BB))
 (STACK DD J) (AND (ON-TABLE H)) (UNSTACK O V) (AND (ON-TABLE Z)) (STACK O DD)
 (AND (CLEAR B)) (UNSTACK CC AA) (AND (ON-TABLE E)) (PUTDOWN CC)
 (AND (ON L BB)) (UNSTACK AA L) (AND (CLEAR L)) (PUTDOWN AA) (AND (ON X F))
 (PICKUP CC) (AND (ON N Q)) (PUTDOWN CC) (AND (ON J Z)) (PICKUP CC)
 (AND (ON-TABLE P)) (STACK CC X) (AND (ON-TABLE AA)) (PICKUP AA) (AND (ON W N))
 (PUTDOWN AA) (AND (ON-TABLE H)) (PICKUP AA) (AND (ON L BB)) (PUTDOWN AA)
 (AND (ON I W)) (PICKUP AA) (AND (ON J Z)) (PUTDOWN AA) (AND (ON O DD))
 (PICKUP AA) (AND (CLEAR Y)) (PUTDOWN AA) (AND (ON-TABLE R)) (PICKUP AA)
 (AND (ON Y U)) (STACK AA V) (AND (ON X F)) (UNSTACK AA V) (AND (ON-TABLE E))
 (PUTDOWN AA) (AND (ON O DD)) (PICKUP AA) (AND (ON T H)) (STACK AA L)
 (AND (ON V M)) (UNSTACK V M) (AND (ON I W)) (PUTDOWN V) (AND (CLEAR O))
 (UNSTACK CC X) (AND (ON W N)) (STACK CC Y) (AND (CLEAR M)) (UNSTACK K S)
 (AND (CLEAR G)) (STACK K M) (AND (CLEAR S)) (PICKUP S) (AND (CLEAR AA))
 (PUTDOWN S) (AND (ON O DD)) (PICKUP V) (AND (CLEAR K)) (STACK V AA)
 (AND (CLEAR C)) (PICKUP S) (AND (CLEAR CC)) (PUTDOWN S) (AND (ON D T))
 (UNSTACK C E) (AND (CLEAR G)) (PUTDOWN C) (AND (CLEAR X)) (PICKUP S)
 (AND (ON-TABLE E)) (STACK S CC) (AND (CLEAR B)) (UNSTACK O DD)
 (AND (CLEAR DD)) (PUTDOWN O) (AND (CLEAR A)) (PICKUP O) (AND (ON X F))
 (PUTDOWN O) (AND (CLEAR B)) (UNSTACK X F) (AND (CLEAR C)) (STACK X B)
 (AND (ON-TABLE E)) (PICKUP O) (AND (ON AA L)) (STACK O A) (AND (ON BB D))
 (UNSTACK V AA) (AND (ON BB D)) (STACK V C) (AND (CLEAR V)) (UNSTACK K M)
 (AND (ON-TABLE C)) (PUTDOWN K) (AND (ON Y U)) (PICKUP E) (AND (ON T H))
 (STACK E X) (AND (ON BB D)) (UNSTACK DD J) (AND (ON L BB)) (PUTDOWN DD)
 (AND (ON A R)) (PICKUP F) (AND (ON A R)) (PUTDOWN F) (AND (ON V C)) (PICKUP F)
 (AND (ON-TABLE H)) (PUTDOWN F) (AND (CLEAR E)) (PICKUP F) (AND (ON A R))
 (PUTDOWN F) (AND (ON-TABLE DD)) (UNSTACK O A) (AND (CLEAR K)) (STACK O M)
 (AND (ON T H)) (PICKUP F) (AND (ON BB D)) (PUTDOWN F) (AND (ON-TABLE Z))
 (PICKUP K) (AND (CLEAR G)) (PUTDOWN K) (AND (CLEAR F)) (UNSTACK A R)
 (AND (ON S CC)) (PUTDOWN A) (AND (ON N Q)) (PICKUP A) (AND (CLEAR S))
 (PUTDOWN A) (AND (ON E X)) (UNSTACK E X) (AND (ON T H)) (STACK E F)
 (AND (ON-TABLE K)) (UNSTACK J Z) (AND (ON-TABLE U)) (PUTDOWN J)
 (AND (ON S CC)) (PICKUP R) (AND (ON-TABLE P)) (STACK R A) (AND (ON V C))
 (PICKUP Z) (AND (ON-TABLE H)) (PUTDOWN Z) (AND (CLEAR Z)) (PICKUP K)
 (AND (CLEAR O)) (STACK K V) (AND (ON BB D)) (PICKUP DD) (AND (ON-TABLE U))
 (PUTDOWN DD) (AND (ON L BB)) (UNSTACK S CC) (AND (ON-TABLE J)) (STACK S O)
 (AND (ON E F)) (PICKUP J) (AND (ON-TABLE DD)) (STACK J E) (AND (CLEAR CC))
 (PICKUP Z) (AND (ON R A)) (STACK Z J) (AND (ON O M)) (PICKUP DD)
 (AND (ON L BB)) (STACK DD K) (AND (ARM-EMPTY)) (UNSTACK G P) (AND (CLEAR R))
 (STACK G S) (AND (CLEAR Z)) (UNSTACK X B) (AND (ON-TABLE A)) (STACK X B)
 (AND (ON L BB)) (UNSTACK CC Y) (AND (ON N Q)) (STACK CC P) (AND (ON-TABLE F))
 (UNSTACK R A) (AND (CLEAR DD)) (STACK R X) (AND (ON-TABLE C)) (PICKUP A)
 (AND (ON E F)) (STACK A G) (AND (ON CC P)) (UNSTACK CC P) (AND (ON AA L))
 (PUTDOWN CC) (AND (ON L BB)) (UNSTACK Z J) (AND (ON-TABLE P)) (PUTDOWN Z)
 (AND (ON W N)) (PICKUP CC) (AND (ON-TABLE F)) (STACK CC R) (AND (CLEAR J))
 (UNSTACK A G) (AND (CLEAR Z)) (PUTDOWN A) (AND (ON D T)) (UNSTACK CC R)
 (AND (ON O M)) (PUTDOWN CC) (AND (ON I W)) (UNSTACK AA L) (AND (CLEAR DD))
 (PUTDOWN AA) (AND (ON-TABLE U)) (PICKUP P) (AND (CLEAR AA)) (STACK P G)
 (AND (ON M I)) (UNSTACK J E) (AND (ON S O)) (STACK J Z) (AND (CLEAR Y))
 (UNSTACK DD K) (AND (ON-TABLE H)) (PUTDOWN DD) (AND (ON M I)) (PICKUP DD)
 (AND (CLEAR CC)) (PUTDOWN DD) (AND (ON D T)) (PICKUP AA) (AND (ON N Q))
 (STACK AA K) (AND (ON AA K)) (UNSTACK Y U) (AND (ON-TABLE F)) (STACK Y AA)
 (AND (CLEAR CC)) (UNSTACK R X) (AND (ON AA K)) (STACK R J) (AND (ON E F))
 (UNSTACK P G) (AND (CLEAR X)) (PUTDOWN P) (AND (ON-TABLE U)) (PICKUP U)
 (AND (ON J Z)) (STACK U CC) (AND (CLEAR A)) (PICKUP DD) (AND (ON N Q))
 (PUTDOWN DD) (AND (ON T H)) (UNSTACK L BB) (AND (ON-TABLE P)) (STACK L BB)
 (AND (CLEAR DD)) (PICKUP P) (AND (CLEAR A)) (STACK P A) (AND (ON S O))
 (UNSTACK R J) (AND (ON BB D)) (STACK R G) (AND (ON-TABLE Q)) (UNSTACK L BB)
 (AND (HOLDING L)) (PUTDOWN L) (AND (CLEAR X)) (UNSTACK P A) (AND (ON-TABLE L))
 (STACK P L) (AND (ON E F)) (UNSTACK BB D) (AND (ON P L)) (STACK BB A)
 (AND (CLEAR X)) (PICKUP DD) (AND (ON-TABLE F)) (PUTDOWN DD) (AND (ON V C))
 (UNSTACK J Z) (AND (ON T H)) (PUTDOWN J) (AND (ON AA K)) (UNSTACK E F)
 (AND (ON-TABLE DD)) (STACK E U) (AND (ON T H)) (PICKUP J) (AND (ON-TABLE H))
 (PUTDOWN J) (AND (ON Y AA)) (PICKUP F) (AND (CLEAR D)) (PUTDOWN F)
 (AND (ON S O)) (UNSTACK BB A) (AND (ON-TABLE F)) (STACK BB F)
 (AND (ON-TABLE DD)) (UNSTACK D T) (AND (CLEAR Z)) (STACK D J) (AND (ON R G))
 (PICKUP A) (AND (ON G S)) (STACK A DD) (AND (ON D J)) (PICKUP Z)
 (AND (ON G S)) (STACK Z T) (AND (ON R G)) (UNSTACK D J) (AND (ON N Q))
 (PUTDOWN D) (AND (ON U CC)) (PICKUP D) (AND (ON-TABLE H)) (STACK D J)
 (AND (ON S O)) (UNSTACK D J) (AND (ON-TABLE J)) (STACK D E) (AND (CLEAR Z))
 (PICKUP J) (AND (CLEAR A)) (STACK J R) (AND (CLEAR D)) (UNSTACK A DD)
 (AND (ON Z T)) (PUTDOWN A) (AND (ON P L)) (UNSTACK BB F) (AND (ON T H))
 (STACK BB Z) (AND (ON U CC)) (UNSTACK Y AA) (AND (ON BB Z)) (PUTDOWN Y)
 (AND (CLEAR F)) (UNSTACK X B) (AND (ON V C)) (PUTDOWN X) (AND (ON E U))
 (PICKUP Y) (AND (ON S O)) (PUTDOWN Y) (AND (CLEAR F)) (UNSTACK J R)
 (AND (ON R G)) (PUTDOWN J) (AND (ON-TABLE X)) (UNSTACK P L) (AND (ON W N))
 (PUTDOWN P) (AND (ARM-EMPTY)) (PICKUP L) (AND (CLEAR R)) (PUTDOWN L)
 (AND (ON M I)) (UNSTACK AA K) (AND (ON-TABLE X)) (STACK AA DD) (AND (CLEAR B))
 (PICKUP F) (AND (CLEAR D)) (PUTDOWN F) (AND (ON-TABLE J)) (PICKUP J)
 (AND (CLEAR P)) (PUTDOWN J) (AND (ON T H)) (UNSTACK K V) (AND (ON-TABLE A))
 (PUTDOWN K) (AND (ON E U)) (UNSTACK AA DD) (AND (ON-TABLE DD)) (PUTDOWN AA)
 (AND (ON-TABLE CC)) (UNSTACK R G) (AND (ON I W)) (PUTDOWN R)
 (AND (ON-TABLE AA)) (PICKUP L) (AND (CLEAR B)) (PUTDOWN L) (AND (ON-TABLE Q))
 (PICKUP X) (AND (ON-TABLE H)) (STACK X P) (AND (ON D E)) (PICKUP R)
 (AND (CLEAR DD)) (STACK R BB) (AND (ON W N)) (PICKUP A) (AND (ON-TABLE K))
 (PUTDOWN A) (AND (ON-TABLE CC)) (UNSTACK X P) (AND (CLEAR AA)) (STACK X F)
 (AND (ON E U)) (PICKUP P) (AND (ON Z T)) (PUTDOWN P) (AND (ON X F))
 (UNSTACK D E) (AND (CLEAR AA)) (STACK D DD) (AND (ON-TABLE J)) (UNSTACK X F)
 (AND (ON-TABLE P)) (PUTDOWN X) (AND (ON-TABLE F)) (UNSTACK G S)
 (AND (CLEAR R)) (PUTDOWN G) (AND (ON-TABLE P)) (PICKUP Y) (AND (CLEAR B))
 (PUTDOWN Y) (AND (ON-TABLE CC)) (PICKUP L) (AND (ON-TABLE A)) (PUTDOWN L)
 (AND (CLEAR G)) (UNSTACK R BB) (AND (CLEAR V)) (STACK R BB) (AND (ON-TABLE H))
 (PICKUP P) (AND (CLEAR V)) (STACK P AA) (AND (CLEAR G)) (UNSTACK D DD)
 (AND (ON T H)) (STACK D F) (AND (ON-TABLE F)) (PICKUP A) (AND (ON-TABLE Q))
 (STACK A E) (AND (CLEAR J)) (UNSTACK V C) (AND (ON-TABLE G)) (PUTDOWN V)
 (AND (ON-TABLE C)) (PICKUP L) (AND (ON E U)) (PUTDOWN L) (AND (ON-TABLE DD))
 (UNSTACK D F) (AND (ON A E)) (PUTDOWN D) (AND (CLEAR L)) (PICKUP V)
 (AND (CLEAR J)) (STACK V G) (AND (ON I W)) (UNSTACK R BB) (AND (CLEAR S))
 (PUTDOWN R) (AND (ON-TABLE K)) (PICKUP X) (AND (ON-TABLE R)) (PUTDOWN X)
 (AND (ON W N)) (UNSTACK P AA) (AND (ON-TABLE CC)) (PUTDOWN P) (AND (ON M I))
 (UNSTACK BB Z) (AND (ON-TABLE AA)) (STACK BB A) (AND (CLEAR X)) (UNSTACK Z T)
 (AND (ON-TABLE R)) (PUTDOWN Z) (AND (ON-TABLE F)) (PICKUP F) (AND (ON A E))
 (PUTDOWN F) (AND (ON W N)) (PICKUP R) (AND (ON-TABLE F)) (PUTDOWN R)
 (AND (ON-TABLE R)) (UNSTACK S O) (AND (ON I W)) (PUTDOWN S) (AND (CLEAR AA))
 (PICKUP Y) (AND (ON-TABLE S)) (PUTDOWN Y) (AND (ARM-EMPTY)) (UNSTACK V G)
 (AND (CLEAR L)) (PUTDOWN V) (AND (ON I W)) (UNSTACK T H) (AND (ON N Q))
 (PUTDOWN T) (AND (ON-TABLE Z)) (PICKUP V) (AND (ON-TABLE Q)) (STACK V DD)
 (AND (CLEAR K)) (UNSTACK V DD) (AND (CLEAR X)) (STACK V B) (AND (ON-TABLE L))
 (UNSTACK O M) (AND (CLEAR M)) (PUTDOWN O) (AND (ON-TABLE R)) (UNSTACK M I)
 (AND (CLEAR DD)) (STACK M AA) (AND (ON-TABLE R)) (UNSTACK V B)
 (AND (ON-TABLE Z)) (STACK V L) (AND (CLEAR I)) (PICKUP F) (AND (ON-TABLE S))
 (PUTDOWN F) (AND (CLEAR K)) (UNSTACK V L) (AND (CLEAR L)) (PUTDOWN V)
 (AND (ON-TABLE Y)) (PICKUP S) (AND (ON-TABLE D)) (STACK S M)
 (AND (ON-TABLE Z)) (UNSTACK BB A) (AND (ON M AA)) (STACK BB Y)
 (AND (ON-TABLE Y)) (PICKUP K) (AND (CLEAR J)) (PUTDOWN K) (AND (ON-TABLE H))
 (PICKUP L) (AND (ON A E)) (PUTDOWN L) (AND (CLEAR Z)) (PICKUP L)
 (AND (ON-TABLE K)) (PUTDOWN L) (AND (CLEAR T)) (UNSTACK A E) (AND (CLEAR BB))
 (PUTDOWN A) (AND (ON-TABLE C)) (UNSTACK E U) (AND (ON-TABLE AA)) (STACK E B)
 (AND (ON I W)) (UNSTACK U CC) (AND (CLEAR BB)) (STACK U BB) (AND (ON-TABLE H))
 (PICKUP G) (AND (ON-TABLE O)) (PUTDOWN G) (AND (ON-TABLE J)) (PICKUP L)
 (AND (ON I W)) (PUTDOWN L) (AND (ON-TABLE A)) (PICKUP V) (AND (ON-TABLE Y))
 (STACK V L) (AND (ON-TABLE T)) (PICKUP C) (AND (CLEAR H)) (PUTDOWN C)
 (AND (ON N Q)) (UNSTACK V L) (AND (CLEAR P)) (PUTDOWN V) (AND (CLEAR P))
 (PICKUP R) (AND (CLEAR J)) (STACK R E) (AND (ON E B)) (UNSTACK R E)
 (AND (CLEAR U)) (PUTDOWN R) (AND (ON W N)) (UNSTACK U BB) (AND (CLEAR J))
 (STACK U O) (AND (ON M AA)) (UNSTACK U O) (AND (CLEAR CC)) (PUTDOWN U)
 (AND (CLEAR C)) (UNSTACK BB Y) (AND (ON-TABLE G)) (STACK BB T)
 (AND (ON-TABLE L)) (UNSTACK S M) (AND (ON-TABLE CC)) (STACK S BB)
 (AND (ON-TABLE A)) (UNSTACK S BB) (AND (ON-TABLE K)) (STACK S BB)
 (AND (CLEAR M)) (PICKUP K) (AND (CLEAR V)) (STACK K G) (AND (ON-TABLE O))
 (UNSTACK E B) (AND (ON-TABLE J)) (STACK E R) (AND (CLEAR Y)) (UNSTACK K G)
 (AND (ON-TABLE C)) (PUTDOWN K) (AND (ON-TABLE A)) (UNSTACK M AA)
 (AND (ON N Q)) (PUTDOWN M) (AND (CLEAR J)) (PICKUP M) (AND (CLEAR L))
 (STACK M I) (AND (ON-TABLE Q)) (UNSTACK S BB) (AND (CLEAR Z)) (STACK S Y)
 (AND (ON-TABLE T)) (PICKUP H) (AND (CLEAR Z)) (STACK H P) (AND (ON I W))
 (UNSTACK M I) (AND (CLEAR BB)) (PUTDOWN M) (AND (ON-TABLE T)) (UNSTACK S Y)
 (AND (CLEAR G)) (PUTDOWN S) (AND (ON-TABLE U)) (PICKUP Y) (AND (ON-TABLE AA))
 (STACK Y AA) (AND (CLEAR S)) (PICKUP S) (AND (CLEAR G)) (STACK S O)
 (AND (ON-TABLE K)) (UNSTACK Y AA) (AND (ON-TABLE V)) (STACK Y X)
 (AND (CLEAR A)) (UNSTACK Y X) (AND (CLEAR CC)) (STACK Y U) (AND (CLEAR A))
 (PICKUP D) (AND (CLEAR F)) (PUTDOWN D) (AND (ON-TABLE C)) (UNSTACK I W)
 (AND (ON-TABLE T)) (STACK I C) (AND (ON H P)) (UNSTACK Y U) (AND (CLEAR A))
 (PUTDOWN Y) (AND (CLEAR B)) (PICKUP G) (AND (CLEAR D)) (STACK G F)
 (AND (ON S O)) (PICKUP A) (AND (ON I C)) (PUTDOWN A) (AND (ON-TABLE Q))
 (PICKUP A) (AND (ON-TABLE P)) (STACK A J) (AND (ON-TABLE U)) (UNSTACK A J)
 (AND (ON-TABLE R)) (PUTDOWN A) (AND (CLEAR CC)) (PICKUP K) (AND (CLEAR J))
 (PUTDOWN K) (AND (ON-TABLE F)) (UNSTACK S O) (AND (ON-TABLE A)) (STACK S J)
 (AND (ON-TABLE X)) (PICKUP M) (AND (ON-TABLE CC)) (PUTDOWN M)
 (AND (ON-TABLE L)) (UNSTACK BB T) (AND (ON-TABLE L)) (PUTDOWN BB)
 (AND (ON-TABLE A)) (UNSTACK G F) (AND (CLEAR X)) (STACK G CC)
 (AND (ON-TABLE D)) (PICKUP X) (AND (ON-TABLE C)) (PUTDOWN X)
 (AND (ON-TABLE CC)) (PICKUP O) (AND (CLEAR V)) (STACK O T) (AND (ON-TABLE A))
 (UNSTACK S J) (AND (ON G CC)) (PUTDOWN S) (AND (ON-TABLE J)) (PICKUP Y)
 (AND (ON-TABLE J)) (STACK Y BB) (AND (CLEAR DD)) (UNSTACK E R)
 (AND (ON-TABLE S)) (PUTDOWN E) (AND (ON-TABLE AA)) (UNSTACK G CC)
 (AND (ON-TABLE Q)) (PUTDOWN G) (AND (ON-TABLE J)) (UNSTACK O T)
 (AND (ON-TABLE U)) (STACK O Z) (AND (CLEAR G)) (UNSTACK W N) (AND (CLEAR G))
 (PUTDOWN W) (AND (CLEAR O)) (UNSTACK H P) (AND (CLEAR W)) (PUTDOWN H)
 (AND (ON-TABLE J)) (PICKUP A) (AND (ON-TABLE D)) (STACK A D)
 (AND (ON-TABLE F)) (UNSTACK A D) (AND (CLEAR V)) (STACK A T) (AND (ON I C))
 (UNSTACK A T) (AND (CLEAR D)) (STACK A S) (AND (CLEAR D)) (UNSTACK I C)
 (AND (CLEAR Y)) (STACK I DD) (AND (CLEAR K)) (PICKUP W) (AND (ON-TABLE J))
 (STACK W G) (AND (ON I DD)) (UNSTACK O Z) (AND (CLEAR W)) (PUTDOWN O)
 (AND (CLEAR AA)) (UNSTACK Y BB) (AND (ON N Q)) (STACK Y K) (AND (CLEAR N))
 (PICKUP O) (AND (ON-TABLE H)) (STACK O Y) (AND (ON-TABLE X)) (PICKUP E)
 (AND (ON-TABLE P)) (PUTDOWN E) (AND (ON-TABLE F)) (PICKUP CC)
 (AND (ON-TABLE M)) (PUTDOWN CC) (AND (ON-TABLE H)) (PICKUP X) (AND (CLEAR AA))
 (STACK X E) (AND (CLEAR A)) (UNSTACK A S) (AND (CLEAR X)) (PUTDOWN A)
 (AND (CLEAR L)) (PICKUP AA) (AND (ON-TABLE Q)) (PUTDOWN AA) (AND (ON-TABLE K))
 (PICKUP AA) (AND (ON I DD)) (PUTDOWN AA) (AND (ON N Q)) (UNSTACK O Y)
 (AND (ON-TABLE U)) (PUTDOWN O) (AND (CLEAR F)) (PICKUP AA) (AND (ON-TABLE CC))
 (STACK AA V) (AND (CLEAR A)) (UNSTACK I DD) (AND (CLEAR A)) (PUTDOWN I)
 (AND (CLEAR DD)) (UNSTACK Y K) (AND (ON-TABLE A)) (STACK Y AA) (AND (ON Y AA))
 (UNSTACK N Q) (AND (CLEAR P)) (PUTDOWN N) (AND (CLEAR S)) (UNSTACK W G)
 (AND (ON-TABLE V)) (PUTDOWN W) (AND (CLEAR M)) (UNSTACK Y AA) (AND (CLEAR Q))
 (STACK Y N) (AND (CLEAR CC)) (UNSTACK X E) (AND (ON-TABLE T)) (PUTDOWN X)
 (AND (ON-TABLE W)) (PICKUP F) (AND (ON-TABLE P)) (PUTDOWN F) (AND (CLEAR W))
 (UNSTACK Y N) (AND (ON-TABLE V)) (STACK Y AA) (AND (ON-TABLE D)) (PICKUP W)
 (AND (ON-TABLE P)) (STACK W U) (AND (ON-TABLE C)) (UNSTACK Y AA)
 (AND (ON-TABLE CC)) (STACK Y C) (AND (ON-TABLE S)) (UNSTACK Y C)
 (AND (CLEAR Z)) (PUTDOWN Y) (AND (ON-TABLE E)) (UNSTACK AA V)
 (AND (ON-TABLE F)) (STACK AA K) (AND (CLEAR I)) (UNSTACK W U)
 (AND (ON-TABLE H)) (STACK W N) (AND (CLEAR U)) (PICKUP A) (AND (ON-TABLE I))
 (STACK A O) (AND (CLEAR A)) (PICKUP G) (AND (ON-TABLE CC)) (PUTDOWN G)
 (AND (CLEAR H)) (PICKUP D) (AND (CLEAR S)) (PUTDOWN D) (AND (ON-TABLE T))
 (UNSTACK A O) (AND (ON-TABLE V)) (PUTDOWN A) (AND (ON-TABLE Q)) (PICKUP Y)
 (AND (ON-TABLE U)) (STACK Y DD) (AND (CLEAR C)) (UNSTACK AA K) (AND (CLEAR I))
 (STACK AA S) (AND (ON W N)) (UNSTACK Y DD) (AND (CLEAR T)) (STACK Y Q)
 (AND (ON AA S)) (UNSTACK AA S) (AND (CLEAR O)) (STACK AA S) (AND (CLEAR C))
 (UNSTACK Y Q) (AND (CLEAR H)) (PUTDOWN Y) (AND (ON-TABLE P)) (PICKUP H)
 (AND (CLEAR Q)) (STACK H X) (AND (CLEAR CC)) (UNSTACK W N) (AND (CLEAR AA))
 (PUTDOWN W) (AND (ON-TABLE X)) (UNSTACK H X) (AND (CLEAR DD)) (PUTDOWN H)
 (AND (ON-TABLE C)) (UNSTACK AA S) (AND (ON-TABLE V)) (PUTDOWN AA)
 (AND (CLEAR C)) (PICKUP R) (AND (CLEAR X)) (STACK R V) (AND (ON-TABLE N))
 (PICKUP C) (AND (ON-TABLE S)) (PUTDOWN C) (AND (CLEAR H)) (UNSTACK R V)
 (AND (CLEAR S)) (PUTDOWN R) (AND (ON-TABLE L)) (PICKUP F) (AND (CLEAR O))
 (PUTDOWN F) (AND (CLEAR K)) (PICKUP R) (AND (ON-TABLE Z)) (PUTDOWN R)
 (AND (ON-TABLE P)) (PICKUP E) (AND (ON-TABLE Y)) (STACK E V) (AND (ARM-EMPTY))
 (UNSTACK E V) (AND (CLEAR R)) (STACK E AA) (AND (CLEAR L)) (PICKUP O)
 (AND (CLEAR I)) (PUTDOWN O) (AND (CLEAR U)) (PICKUP S) (AND (ON-TABLE J))
 (STACK S B) (AND (CLEAR M)) (UNSTACK S B) (AND (CLEAR O)) (PUTDOWN S)
 (AND (CLEAR U)) (UNSTACK E AA) (AND (CLEAR I)) (PUTDOWN E) (AND (ON-TABLE O))
 (PICKUP N) (AND (HOLDING N)) (STACK N BB) (AND (ON-TABLE DD)) (PICKUP G)
 (AND (ON N BB)) (PUTDOWN G) (AND (CLEAR H)) (PICKUP O) (AND (ON-TABLE I))
 (STACK O U) (AND (CLEAR AA)) (PICKUP E) (AND (ON N BB)) (PUTDOWN E)
 (AND (ON-TABLE BB)) (UNSTACK O U) (AND (ON-TABLE M)) (STACK O D)
 (AND (CLEAR U)) (PICKUP Z) (AND (CLEAR I)) (STACK Z N) (AND (CLEAR Y))
 (UNSTACK O D) (AND (CLEAR I)) (PUTDOWN O) (AND (CLEAR L)) (UNSTACK Z N)
 (AND (ON-TABLE Q)) (STACK Z M) (AND (CLEAR C)) (PICKUP R) (AND (ON-TABLE S))
 (STACK R AA) (AND (CLEAR CC)) (PICKUP I) (AND (ON-TABLE S)) (PUTDOWN I)
 (AND (CLEAR G)) (UNSTACK N BB) (AND (ON-TABLE P)) (STACK N G) (AND (CLEAR H))
 (PICKUP A) (AND (ON-TABLE CC)) (PUTDOWN A) (AND (ON-TABLE C)) (UNSTACK R AA)
 (AND (ON-TABLE A)) (PUTDOWN R) (AND (CLEAR H)) (PICKUP S) (AND (CLEAR N))
 (STACK S I) (AND (ON-TABLE J)) (PICKUP W) (AND (CLEAR Z)) (STACK W CC)
 (AND (CLEAR K)) (UNSTACK Z M) (AND (ON-TABLE BB)) (STACK Z C) (AND (CLEAR DD))
 (PICKUP L) (AND (ON-TABLE C)) (PUTDOWN L) (AND (CLEAR U)) (UNSTACK N G)
 (AND (ON-TABLE T)) (STACK N Q) (AND (CLEAR P)) (PICKUP AA) (AND (ON Z C))
 (PUTDOWN AA) (AND (CLEAR K)) (UNSTACK W CC) (AND (CLEAR A)) (PUTDOWN W)
 (AND (CLEAR J)) (PICKUP P) (AND (ON-TABLE U)) (STACK P Y) (AND (ON-TABLE G))
 (PICKUP E) (AND (CLEAR S)) (PUTDOWN E) (AND (ON-TABLE K)) (UNSTACK N Q)
 (AND (ON-TABLE Q)) (STACK N J) (AND (CLEAR X)) (UNSTACK S I)
 (AND (ON-TABLE J)) (PUTDOWN S) (AND (ON-TABLE T)) (PICKUP R) (AND (CLEAR K))
 (PUTDOWN R) (AND (ON-TABLE X)) (PICKUP DD) (AND (CLEAR BB)) (STACK DD O)
 (AND (ON-TABLE AA)) (PICKUP S) (AND (ON-TABLE W)) (STACK S AA) (AND (CLEAR V))
 (PICKUP V) (AND (CLEAR F)) (PUTDOWN V) (AND (ON-TABLE G)) (UNSTACK DD O)
 (AND (ON Z C)) (PUTDOWN DD) (AND (ON-TABLE T)) (UNSTACK N J)
 (AND (ON-TABLE Q)) (PUTDOWN N) (AND (CLEAR U)) (UNSTACK P Y) (AND (CLEAR F))
 (PUTDOWN P) (AND (CLEAR K)) (UNSTACK Z C) (AND (ON-TABLE X)) (STACK Z CC)
 (AND (CLEAR D)) (UNSTACK Z CC) (AND (ON-TABLE L)) (STACK Z Y) (AND (CLEAR CC))
 (PICKUP K) (AND (ON-TABLE H)) (PUTDOWN K) (AND (CLEAR Q)) (PICKUP U)
 (AND (CLEAR CC)) (STACK U K) (AND (ON-TABLE DD)) (PICKUP F) (AND (CLEAR R))
 (STACK F N) (AND (CLEAR B)) (PICKUP T) (AND (CLEAR D)) (STACK T B)
 (AND (CLEAR O)) (UNSTACK U K) (AND (ON-TABLE BB)) (PUTDOWN U) (AND (CLEAR Z))
 (UNSTACK F N) (AND (CLEAR M)) (STACK F O) (AND (ON-TABLE H)) (PICKUP I)
 (AND (ON-TABLE H)) (PUTDOWN I) (AND (ON-TABLE O)) (UNSTACK Z Y) (AND (ON T B))
 (STACK Z M) (AND (ON-TABLE H)) (UNSTACK T B) (AND (CLEAR U)) (STACK T BB)
 (AND (CLEAR Q)) (PICKUP Y) (AND (CLEAR J)) (PUTDOWN Y) (AND (CLEAR I))
 (PICKUP K) (AND (ON-TABLE C)) (STACK K L) (AND (ON-TABLE D)) (PICKUP A)
 (AND (ON-TABLE Q)) (STACK A V) (AND (CLEAR S)) (PICKUP J) (AND (CLEAR U))
 (STACK J F) (AND (ON-TABLE N)) (UNSTACK K L) (AND (ON-TABLE G)) (STACK K D)
 (AND (CLEAR K)) (UNSTACK K D) (AND (ON-TABLE BB)) (STACK K I)
 (AND (ON-TABLE C)) (PICKUP G) (AND (CLEAR C)) (PUTDOWN G) (AND (ON-TABLE N))
 (UNSTACK S AA) (AND (CLEAR C)) (PUTDOWN S) (AND (CLEAR Z)) (PICKUP C)
 (AND (ON-TABLE U)) (STACK C CC) (AND (CLEAR G)) (PICKUP N) (AND (ON-TABLE Q))
 (STACK N U) (AND (CLEAR R)) (UNSTACK C CC) (AND (ON-TABLE Y)) (STACK C J)
 (AND (ON-TABLE O)) (UNSTACK Z M) (AND (CLEAR W)) (PUTDOWN Z) (AND (CLEAR W))
 (UNSTACK T BB) (AND (HOLDING T)) (PUTDOWN T) (AND (ON-TABLE CC)) (UNSTACK K I)
 (AND (ON-TABLE G)) (STACK K S) (AND (CLEAR D)) (UNSTACK A V)
 (AND (ON-TABLE DD)) (PUTDOWN A) (AND (CLEAR R)) (UNSTACK N U)
 (AND (ON-TABLE W)) (STACK N Z) (AND (ON-TABLE A)) (UNSTACK C J)
 (AND (CLEAR DD)) (PUTDOWN C) (AND (ON-TABLE BB)) (PICKUP T) (AND (ON-TABLE S))
 (STACK T CC) (AND (CLEAR D)) (PICKUP V) (AND (CLEAR G)) (PUTDOWN V)
 (AND (ARM-EMPTY)) (PICKUP W) (AND (ON-TABLE Y)) (PUTDOWN W) (AND (CLEAR D))
 (PICKUP H) (AND (CLEAR B)) (PUTDOWN H) (AND (ON-TABLE Y)) (UNSTACK J F)
 (AND (CLEAR Y)) (STACK J X) (AND (ON-TABLE P)) (PICKUP V) (AND (ON J X))
 (PUTDOWN V) (AND (ON-TABLE P)) (UNSTACK N Z) (AND (ON-TABLE L)) (STACK N B)
 (AND (ON-TABLE Y)) (UNSTACK N B) (AND (ON-TABLE M)) (PUTDOWN N)
 (AND (ON-TABLE R)) (PICKUP W) (AND (ON-TABLE AA)) (STACK W A)
 (AND (ON-TABLE N)) (UNSTACK J X) (AND (ON-TABLE R)) (STACK J BB)
 (AND (CLEAR N)) (UNSTACK W A) (AND (CLEAR J)) (STACK W K) (AND (CLEAR R))
 (UNSTACK W K) (AND (ON-TABLE Z)) (STACK W C) (AND (ON T CC)) (PICKUP L)
 (AND (CLEAR Y)) (PUTDOWN L) (AND (ON-TABLE A)) (UNSTACK T CC)
 (AND (ON-TABLE DD)) (PUTDOWN T) (AND (ON-TABLE DD)) (PICKUP T) (AND (CLEAR F))
 (STACK T V) (AND (ON-TABLE D)) (UNSTACK K S) (AND (CLEAR W)) (PUTDOWN K)
 (AND (CLEAR S)) (PICKUP CC) (AND (ON-TABLE E)) (STACK CC K) (AND (ON-TABLE D))
 (UNSTACK F O) (AND (CLEAR Q)) (PUTDOWN F) (AND (CLEAR CC)) (UNSTACK W C)
 (AND (CLEAR R)) (PUTDOWN W) (AND (CLEAR Y)) (UNSTACK CC K) (AND (CLEAR S))
 (PUTDOWN CC) (AND (CLEAR W)) (UNSTACK J BB) (AND (CLEAR Y)) (STACK J U)
 (AND (ON-TABLE E)) (UNSTACK T V) (AND (CLEAR W)) (STACK T M)
 (AND (ON-TABLE V)) (PICKUP Y) (AND (CLEAR K)) (PUTDOWN Y) (AND (ON-TABLE AA))
 (UNSTACK T M) (AND (CLEAR J)) (STACK T L) (AND (ON-TABLE L)) (PICKUP C)
 (AND (ON-TABLE O)) (STACK C DD) (AND (ON T L)) (UNSTACK C DD)
 (AND (ON-TABLE X)) (PUTDOWN C) (AND (CLEAR E)) (PICKUP E) (AND (CLEAR N))
 (STACK E C) (AND (ON-TABLE W)) (PICKUP AA) (AND (CLEAR X)) (STACK AA I)
 (AND (ON-TABLE K)) (UNSTACK AA I) (AND (ON-TABLE L)) (PUTDOWN AA)
 (AND (CLEAR X)) (UNSTACK T L) (AND (CLEAR P)) (STACK T K) (AND (ON-TABLE L))
 (UNSTACK J U) (AND (ON-TABLE F)) (PUTDOWN J) (AND (ON-TABLE BB)) (PICKUP BB)
 (AND (ON-TABLE P)) (PUTDOWN BB) (AND (ON-TABLE M)) (UNSTACK E C)
 (AND (ON-TABLE S)) (STACK E I) (AND (ON-TABLE R)) (PICKUP J) (AND (CLEAR B))
 (STACK J P) (AND (CLEAR J)) (UNSTACK T K) (AND (CLEAR Z)) (PUTDOWN T)
 (AND (CLEAR W)) (PICKUP H) (AND (CLEAR Z)) (STACK H L) (AND (CLEAR S))
 (UNSTACK H L) (AND (ON-TABLE X)) (PUTDOWN H) (AND (ON-TABLE Q)) (PICKUP H)
 (AND (CLEAR Q)) (PUTDOWN H) (AND (ON-TABLE BB)) (PICKUP L) (AND (ON-TABLE K))
 (PUTDOWN L) (AND (CLEAR DD)) (PICKUP R) (AND (CLEAR K)) (PUTDOWN R)
 (AND (ON-TABLE N)) (UNSTACK J P) (AND (ON-TABLE R)) (STACK J R)
 (AND (CLEAR BB)) (UNSTACK J R) (AND (CLEAR W)) (STACK J E) (AND (ON-TABLE P))
 (UNSTACK J E) (AND (ON-TABLE O)) (PUTDOWN J) (AND (ON-TABLE F)) (PICKUP C)
 (AND (CLEAR F)) (STACK C X) (AND (ON-TABLE U)) (PICKUP CC) (AND (CLEAR H))
 (PUTDOWN CC) (AND (CLEAR S)) (UNSTACK E I) (AND (CLEAR U)) (STACK E D)
 (AND (CLEAR A)) (UNSTACK E D) (AND (CLEAR N)) (PUTDOWN E) (AND (ON-TABLE A))
 (PICKUP A) (AND (ON-TABLE G)) (PUTDOWN A) (AND (CLEAR E)) (PICKUP N)
 (AND (ON-TABLE AA)) (STACK N CC) (AND (ON-TABLE AA)) (PICKUP E)
 (AND (CLEAR B)) (STACK E W) (AND (ON-TABLE F)) (UNSTACK E W) (AND (CLEAR D))
 (STACK E W) (AND (CLEAR O)) (PICKUP Q) (AND (ON-TABLE J)) (PUTDOWN Q)
 (AND (ON-TABLE Q)) (PICKUP L) (AND (CLEAR G)) (PUTDOWN L) (AND (ON-TABLE V))
 (PICKUP M) (AND (CLEAR H)) (PUTDOWN M) (AND (ON-TABLE F)) (UNSTACK E W)
 (AND (CLEAR T)) (STACK E L) (AND (ON-TABLE D)) (PICKUP S) (AND (HOLDING S))
 (STACK S BB) (AND (ON-TABLE V)) (PICKUP A) (AND (ON-TABLE T)) (PUTDOWN A)
 (AND (CLEAR K)) (UNSTACK S BB) (AND (ON-TABLE D)) (PUTDOWN S) (AND (CLEAR M))
 (UNSTACK E L) (AND (ON-TABLE Z)) (PUTDOWN E) (AND (ON-TABLE I)) (PICKUP J)
 (AND (CLEAR O)) (STACK J K) (AND (ON-TABLE Y)) (PICKUP V) (AND (ON-TABLE X))
 (PUTDOWN V) (AND (ON-TABLE O)) (UNSTACK C X) (AND (ON-TABLE T)) (PUTDOWN C)
 (AND (CLEAR S)) (PICKUP C) (AND (ON-TABLE Q)) (STACK C I) (AND (CLEAR V))
 (PICKUP A) (AND (ON-TABLE Q)) (STACK A C) (AND (ON J K)) (PICKUP L)
 (AND (CLEAR Z)) (PUTDOWN L) (AND (ON-TABLE X)) (UNSTACK N CC)
 (AND (ON-TABLE CC)) (STACK N M) (AND (ON-TABLE E)) (PICKUP W)
 (AND (ON-TABLE P)) (PUTDOWN W) (AND (CLEAR N)) (UNSTACK J K) (AND (CLEAR U))
 (STACK J Y) (AND (ON J Y)) (PICKUP Z) (AND (CLEAR E)) (PUTDOWN Z)
 (AND (ARM-EMPTY)) (UNSTACK J Y) (AND (HOLDING J)) (STACK J K) (AND (CLEAR Y))
 (UNSTACK A C) (AND (ON-TABLE P)) (PUTDOWN A) (AND (ON-TABLE AA)) (UNSTACK C I)
 (AND (CLEAR T)) (STACK C D) (AND (ON C D)) (PICKUP CC) (AND (ON C D))
 (PUTDOWN CC) (AND (CLEAR AA)) (UNSTACK C D) (AND (CLEAR V)) (STACK C W)
 (AND (CLEAR N)) (PICKUP U) (AND (CLEAR G)) (PUTDOWN U) (AND (CLEAR J))
 (PICKUP F) (AND (CLEAR L)) (STACK F R) (AND (ARM-EMPTY)) (UNSTACK F R)
 (AND (CLEAR G)) (PUTDOWN F) (AND (ON-TABLE BB)) (PICKUP O) (AND (CLEAR F))
 (PUTDOWN O) (AND (CLEAR J)) (PICKUP I) (AND (ON-TABLE V)) (STACK I U)
 (AND (ON-TABLE A)) (UNSTACK C W) (AND (CLEAR W)) (PUTDOWN C)
 (AND (ON-TABLE S)) (PICKUP BB) (AND (CLEAR P)) (STACK BB F) (AND (ON-TABLE A))
 (UNSTACK BB F) (AND (CLEAR G)) (PUTDOWN BB) (AND (CLEAR W)) (PICKUP P)
 (AND (ON-TABLE BB)) (PUTDOWN P) (AND (CLEAR A)) (PICKUP W) (AND (CLEAR B))
 (PUTDOWN W) (AND (ON-TABLE E)) (UNSTACK I U) (AND (CLEAR Q)) (STACK I DD)
 (AND (ON-TABLE F)) (PICKUP BB) (AND (ON-TABLE AA)) (STACK BB Z)
 (AND (CLEAR R)) (PICKUP X) (AND (ON BB Z)) (PUTDOWN X) (AND (ON-TABLE A))
 (PICKUP R) (AND (ON-TABLE C)) (STACK R F) (AND (ON-TABLE W)) (PICKUP X)
 (AND (ON-TABLE O)) (STACK X Y) (AND (ON I DD)) (PICKUP S) (AND (ON-TABLE E))
 (STACK S N) (AND (ON J K)) (PICKUP A) (AND (ON N M)) (STACK A C)
 (AND (ON BB Z)) (UNSTACK S N) (AND (CLEAR CC)) (PUTDOWN S) (AND (CLEAR N))
 (UNSTACK I DD) (AND (CLEAR Q)) (PUTDOWN I) (AND (ON-TABLE S)) (PICKUP DD)
 (AND (ON J K)) (PUTDOWN DD) (AND (CLEAR E)) (UNSTACK A C) (AND (CLEAR R))
 (PUTDOWN A) (AND (ON-TABLE U)) (PICKUP A) (AND (ON-TABLE U)) (STACK A J)
 (AND (CLEAR O)) (PICKUP W) (AND (CLEAR D)) (PUTDOWN W) (AND (ON-TABLE L))
 (PICKUP W) (AND (CLEAR CC)) (PUTDOWN W) (AND (CLEAR O)) (PICKUP S)
 (AND (CLEAR U)) (STACK S L) (AND (ON-TABLE Q)) (UNSTACK X Y)
 (AND (ON-TABLE DD)) (PUTDOWN X) (AND (ON-TABLE Y)) (UNSTACK R F)
 (AND (CLEAR B)) (STACK R Q) (AND (ON-TABLE C)) (PICKUP H) (AND (ON N M))
 (PUTDOWN H) (AND (ON-TABLE T)) (UNSTACK A J) (AND (CLEAR F)) (PUTDOWN A)
 (AND (CLEAR DD)) (UNSTACK S L) (AND (CLEAR AA)) (PUTDOWN S) (AND (ON BB Z))
 (UNSTACK J K) (AND (ON-TABLE I)) (PUTDOWN J) (AND (ON-TABLE Q)) (PICKUP O)
 (AND (ON-TABLE Y)) (PUTDOWN O) (AND (CLEAR W)) (PICKUP Y) (AND (CLEAR P))
 (PUTDOWN Y) (AND (CLEAR BB)) (UNSTACK BB Z) (AND (CLEAR Y)) (STACK BB B)
 (AND (CLEAR U)) (UNSTACK BB B) (AND (CLEAR R)) (PUTDOWN BB) (AND (CLEAR G))
 (PICKUP K) (AND (ON-TABLE C)) (STACK K CC) (AND (ON-TABLE U)) (PICKUP E)
 (AND (CLEAR U)) (STACK E DD) (AND (CLEAR I)) (PICKUP T) (AND (ON-TABLE W))
 (STACK T J) (AND (ON-TABLE A)) (UNSTACK K CC) (AND (CLEAR O)) (STACK K A)
 (AND (ON-TABLE Z)) (PICKUP G) (AND (CLEAR O)) (STACK G V) (AND (ON-TABLE I))
 (UNSTACK E DD) (AND (CLEAR R)) (STACK E G) (AND (ON-TABLE L)) (UNSTACK R Q)
 (AND (ON-TABLE C)) (PUTDOWN R) (AND (CLEAR B)) (UNSTACK N M)
 (AND (ON-TABLE M)) (STACK N Z) (AND (ON-TABLE C)) (PICKUP Y) (AND (ON E G))
 (PUTDOWN Y) (AND (ON-TABLE D)) (UNSTACK K A) (AND (ON-TABLE S)) (STACK K U)
 (AND (ON-TABLE CC)) (PICKUP Y) (AND (CLEAR R)) (PUTDOWN Y) (AND (ON-TABLE BB))
 (PICKUP D) (AND (CLEAR W)) (STACK D A) (AND (CLEAR P)) (PICKUP Q)
 (AND (ON-TABLE P)) (STACK Q L) (AND (CLEAR Q)) (UNSTACK T J)
 (AND (ON-TABLE BB)) (STACK T BB) (AND (CLEAR X)) (UNSTACK D A) (AND (ON K U))
 (PUTDOWN D) (AND (ON-TABLE S)) (UNSTACK Q L) (AND (CLEAR R)) (STACK Q AA)
 (AND (ON N Z)) (PICKUP C) (AND (CLEAR W)) (PUTDOWN C) (AND (CLEAR CC))
 (PICKUP O) (AND (ON-TABLE R)) (STACK O C) (AND (CLEAR R)) (PICKUP F)
 (AND (CLEAR R)) (PUTDOWN F) (AND (ON-TABLE M)) (UNSTACK O C)
 (AND (ON-TABLE R)) (STACK O R) (AND (CLEAR F)) (UNSTACK K U)
 (AND (ON-TABLE CC)) (STACK K M) (AND (CLEAR A)) (UNSTACK K M)
 (AND (HOLDING K)) (PUTDOWN K) (AND (ON-TABLE M)) (UNSTACK E G)
 (AND (ON-TABLE K)) (STACK E C) (AND (CLEAR O)) (PICKUP X) (AND (CLEAR D))
 (STACK X M) (AND (ON-TABLE S)) (PICKUP W) (AND (HOLDING W)) (STACK W F)
 (AND (CLEAR U)) (PICKUP I) (AND (CLEAR J)) (STACK I T) (AND (CLEAR D))
 (PICKUP P) (AND (CLEAR N)) (STACK P A) (AND (CLEAR Y)) (PICKUP H)
 (AND (ON Q AA)) (PUTDOWN H) (AND (ON-TABLE H)) (UNSTACK W F) (AND (ON P A))
 (STACK W X) (AND (ON-TABLE R)) (UNSTACK N Z) (AND (ON-TABLE DD)) (PUTDOWN N)
 (AND (CLEAR U)) (PICKUP DD) (AND (ON T BB)) (PUTDOWN DD) (AND (ON-TABLE DD))
 (UNSTACK W X) (AND (ON-TABLE BB)) (STACK W H) (AND (CLEAR CC)) (UNSTACK G V)
 (AND (CLEAR Y)) (STACK G CC) (AND (ON-TABLE S)) (PICKUP J) (AND (ON-TABLE L))
 (PUTDOWN J) (AND (ON X M)) (UNSTACK I T) (AND (CLEAR Z)) (PUTDOWN I)
 (AND (ON-TABLE Z)) (PICKUP U) (AND (ON-TABLE R)) (STACK U D)
 (AND (ON-TABLE J)) (PICKUP L) (AND (ON-TABLE C)) (STACK L G)
 (AND (ON-TABLE K)) (UNSTACK L G) (AND (CLEAR DD)) (PUTDOWN L) (AND (CLEAR Y))
 (PICKUP DD) (AND (CLEAR E)) (PUTDOWN DD) (AND (ON-TABLE S)) (UNSTACK W H)
 (AND (ON-TABLE S)) (STACK W S) (AND (ON-TABLE A)) (PICKUP L)
 (AND (ON-TABLE K)) (STACK L Y) (AND (CLEAR B)) (PICKUP V) (AND (CLEAR W))
 (STACK V E) (AND (CLEAR P)) (PICKUP Z) (AND (ON-TABLE BB)) (STACK Z J)
 (AND (ON-TABLE D)) (PICKUP K) (AND (HOLDING K)) (PUTDOWN K) (AND (ON-TABLE K))
 (PICKUP I) (AND (ON-TABLE A)) (STACK I Q) (AND (CLEAR U)) (UNSTACK X M)
 (AND (CLEAR G)) (STACK X U) (AND (ON P A)) (UNSTACK G CC) (AND (CLEAR W))
 (STACK G O) (AND (ON-TABLE S)) (UNSTACK X U) (AND (CLEAR I)) (STACK X N)
 (AND (CLEAR I)) (UNSTACK V E) (AND (ON G O)) (STACK V E) (AND (ARM-EMPTY))
 (UNSTACK Z J) (AND (ON-TABLE K)) (STACK Z U) (AND (ON V E)) (UNSTACK P A)
 (AND (HOLDING P)) (PUTDOWN P) (AND (ON X N)) (UNSTACK L Y) (AND (ON-TABLE K))
 (STACK L H) (AND (ON-TABLE K)) (UNSTACK I Q) (AND (CLEAR X)) (PUTDOWN I)
 (AND (CLEAR Z)) (PICKUP P) (AND (ON-TABLE DD)) (PUTDOWN P) (AND (ON-TABLE P))
 (UNSTACK Q AA) (AND (CLEAR K)) (STACK Q J) (AND (CLEAR W)) (UNSTACK V E)
 (AND (ON-TABLE H)) (STACK V Q) (AND (CLEAR Z)) (PICKUP I) (AND (ON-TABLE J))
 (STACK I A) (AND (ON-TABLE H)) (UNSTACK T BB) (AND (ON O R)) (STACK T L)
 (AND (ON W S)) (PICKUP P) (AND (CLEAR B)) (STACK P F) (AND (CLEAR I))
 (UNSTACK Z U) (AND (CLEAR M)) (PUTDOWN Z) (AND (ON-TABLE S)) (UNSTACK U D)
 (AND (ON-TABLE BB)) (PUTDOWN U) (AND (CLEAR X)) (PICKUP Y) (AND (ON-TABLE F))
 (STACK Y T) (AND (ON W S)) (UNSTACK X N) (AND (CLEAR Z)) (STACK X Y)
 (AND (CLEAR N)) (PICKUP K) (AND (HOLDING K)) (STACK K P) (AND (ON-TABLE F))
 (UNSTACK W S) (AND (CLEAR CC)) (STACK W G) (AND (ON I A)) (PICKUP CC)
 (AND (CLEAR U)) (PUTDOWN CC) (AND (CLEAR M)) (UNSTACK V Q) (AND (ON P F))
 (PUTDOWN V) (AND (ON I A)) (PICKUP DD) (AND (ON K P)) (PUTDOWN DD)
 (AND (ON-TABLE V)) (UNSTACK I A) (AND (HOLDING I)) (PUTDOWN I)
 (AND (ON-TABLE J)) (UNSTACK Q J) (AND (CLEAR Z)) (PUTDOWN Q)
 (AND (ON-TABLE S)) (PICKUP CC) (AND (CLEAR B)) (PUTDOWN CC) (AND (ON-TABLE A))
 (UNSTACK K P) (AND (ON P F)) (STACK K M) (AND (ON E C)) (UNSTACK X Y)
 (AND (CLEAR K)) (PUTDOWN X) (AND (ON-TABLE D)) (UNSTACK W G)
 (AND (ON-TABLE I)) (PUTDOWN W) (AND (ON-TABLE Q)) (UNSTACK P F)
 (AND (ON-TABLE V)) (PUTDOWN P) (AND (ON E C)) (UNSTACK G O) (AND (CLEAR X))
 (PUTDOWN G) (AND (CLEAR DD)) (PICKUP BB) (AND (ON-TABLE G)) (STACK BB V)
 (AND (ON-TABLE F)) (UNSTACK O R) (AND (ON-TABLE F)) (STACK O E)
 (AND (ON-TABLE W)) (PICKUP W) (AND (ON O E)) (PUTDOWN W) (AND (CLEAR W))
 (UNSTACK O E) (AND (CLEAR CC)) (STACK O CC) (AND (ON-TABLE R)) (PICKUP R)
 (AND (ON-TABLE G)) (STACK R K) (AND (CLEAR Z)) (PICKUP U) (AND (ON Y T))
 (PUTDOWN U) (AND (CLEAR W)) (UNSTACK BB V) (AND (ON-TABLE V)) (PUTDOWN BB)
 (AND (ON L H)) (PICKUP N) (AND (CLEAR BB)) (PUTDOWN N) (AND (ON L H))
 (PICKUP P) (AND (ON-TABLE I)) (PUTDOWN P) (AND (CLEAR S)) (PICKUP P)
 (AND (ON-TABLE G)) (STACK P Z) (AND (ON-TABLE CC)) (UNSTACK O CC)
 (AND (CLEAR Y)) (PUTDOWN O) (AND (ON-TABLE Z)) (UNSTACK R K) (AND (CLEAR W))
 (STACK R X) (AND (CLEAR Y)) (UNSTACK P Z) (AND (CLEAR E)) (STACK P D)
 (AND (CLEAR Z)) (PICKUP U) (AND (ON-TABLE M)) (STACK U Y) (AND (CLEAR K))
 (UNSTACK K M) (AND (CLEAR AA)) (STACK K P) (AND (ON E C)) (UNSTACK K P)
 (AND (CLEAR U)) (STACK K N) (AND (CLEAR BB)) (UNSTACK U Y) (AND (CLEAR CC))
 (PUTDOWN U) (AND (ON-TABLE I)) (UNSTACK K N) (AND (ON-TABLE Z)) (PUTDOWN K)
 (AND (CLEAR Q)) (UNSTACK R X) (AND (CLEAR N)) (PUTDOWN R) (AND (ON-TABLE CC))
 (PICKUP BB) (AND (CLEAR Z)) (PUTDOWN BB) (AND (ON-TABLE J)) (PICKUP I)
 (AND (ON-TABLE J)) (STACK I Q) (AND (CLEAR Z)) (UNSTACK P D)
 (AND (ON-TABLE G)) (STACK P I) (AND (CLEAR K)) (PICKUP K) (AND (CLEAR O))
 (STACK K AA) (AND (ON-TABLE R)) (PICKUP R) (AND (ON-TABLE M)) (STACK R U)
 (AND (ON-TABLE M)) (PICKUP W) (AND (ON-TABLE O)) (PUTDOWN W) (AND (CLEAR K))
 (PICKUP O) (AND (ON K AA)) (STACK O Z) (AND (CLEAR K)) (UNSTACK P I)
 (AND (ON-TABLE W)) (PUTDOWN P) (AND (CLEAR R)) (UNSTACK R U) (AND (CLEAR K))
 (STACK R M) (AND (ON L H)) (PICKUP F) (AND (ON-TABLE W)) (PUTDOWN F)
 (AND (CLEAR X)) (UNSTACK E C) (AND (CLEAR J)) (PUTDOWN E) (AND (CLEAR C))
 (PICKUP G) (AND (ON-TABLE DD)) (PUTDOWN G) (AND (CLEAR G)) (PICKUP BB)
 (AND (ON K AA)) (PUTDOWN BB) (AND (CLEAR K)) (UNSTACK R M) (AND (CLEAR J))
 (PUTDOWN R) (AND (CLEAR B)) (UNSTACK K AA) (AND (ON-TABLE Q)) (STACK K W)
 (AND (CLEAR F)) (UNSTACK I Q) (AND (CLEAR S)) (PUTDOWN I) (AND (ON-TABLE J))
 (UNSTACK K W) (AND (CLEAR A)) (STACK K A) (AND (ON-TABLE A)) (UNSTACK K A)
 (AND (ON-TABLE H)) (STACK K I) (AND (ON-TABLE X)) (PICKUP J) (AND (CLEAR W))
 (PUTDOWN J) (AND (ARM-EMPTY)) (UNSTACK K I) (AND (ON-TABLE M)) (STACK K F)
 (AND (CLEAR O)) (UNSTACK O Z) (AND (ON-TABLE N)) (STACK O R) (AND (CLEAR Z))
 (UNSTACK Y T) (AND (CLEAR Z)) (PUTDOWN Y) (AND (CLEAR S)) (PICKUP N)
 (AND (CLEAR E)) (STACK N O) (AND (ON O R)) (UNSTACK T L) (AND (CLEAR CC))
 (STACK T K) (AND (CLEAR S)) (PICKUP Z) (AND (CLEAR S)) (PUTDOWN Z)
 (AND (ON-TABLE CC)) (UNSTACK T K) (AND (ON-TABLE G)) (PUTDOWN T)
 (AND (ON-TABLE W)) (PICKUP I) (AND (ON-TABLE F)) (STACK I M) (AND (CLEAR V))
 (PICKUP Z) (AND (CLEAR AA)) (STACK Z S) (AND (ON-TABLE Y)) (PICKUP X)
 (AND (ON K F)) (PUTDOWN X) (AND (CLEAR P)) (PICKUP DD) (AND (CLEAR A))
 (PUTDOWN DD) (AND (CLEAR AA)) (UNSTACK N O) (AND (CLEAR L)) (PUTDOWN N)
 (AND (ON-TABLE S)) (PICKUP BB) (AND (ON O R)) (PUTDOWN BB) (AND (ON-TABLE R))
 (UNSTACK L H) (AND (ON-TABLE R)) (PUTDOWN L) (AND (CLEAR A)) (PICKUP J)
 (AND (ON Z S)) (PUTDOWN J) (AND (ON-TABLE AA)) (UNSTACK O R) (AND (CLEAR I))
 (PUTDOWN O) (AND (ON-TABLE M)) (UNSTACK K F) (AND (CLEAR O)) (STACK K X)
 (AND (ON-TABLE C)) (UNSTACK I M) (AND (ON-TABLE R)) (PUTDOWN I)
 (AND (ON-TABLE C)) (PICKUP I) (AND (CLEAR L)) (PUTDOWN I) (AND (ON-TABLE G))
 (PICKUP J) (AND (ON K X)) (PUTDOWN J) (AND (CLEAR AA)) (UNSTACK Z S)
 (AND (CLEAR Q)) (PUTDOWN Z) (AND (CLEAR Z)) (PICKUP D) (AND (ON-TABLE N))
 (PUTDOWN D) (AND (ON-TABLE R)) (UNSTACK K X) (AND (ON-TABLE Y)) (PUTDOWN K)
 (AND (CLEAR DD)) (PICKUP DD) (AND (CLEAR C)) (PUTDOWN DD) (AND (ON-TABLE I))
 (PICKUP DD) (AND (CLEAR A)) (STACK DD T) (AND (ON-TABLE I)) (UNSTACK DD T)
 (AND (ON-TABLE O)) (PUTDOWN DD) (AND (CLEAR P)) (PICKUP C) (AND (ON-TABLE L))
 (PUTDOWN C) (AND (CLEAR G)) (PICKUP C) (AND (CLEAR H)) (PUTDOWN C)
 (AND (ON-TABLE I)) (PICKUP H) (AND (HOLDING H)) (PUTDOWN H) (AND (CLEAR CC))
 (PICKUP I) (AND (ON-TABLE BB)) (PUTDOWN I) (AND (ON-TABLE AA)) (PICKUP M)
 (AND (ON-TABLE L)) (STACK M E) (AND (CLEAR X)) (PICKUP I) (AND (ON-TABLE AA))
 (STACK I X) (AND (CLEAR O)) (UNSTACK I X) (AND (CLEAR M)) (PUTDOWN I)
 (AND (ON-TABLE CC)) (UNSTACK M E) (AND (CLEAR G)) (PUTDOWN M)
 (AND (ON-TABLE BB)) (PICKUP W) (AND (ON-TABLE M)) (PUTDOWN W) (AND (CLEAR Y))
 (PICKUP S) (AND (ON-TABLE N)) (STACK S A) (AND (ARM-EMPTY)) (PICKUP W)
 (AND (ON-TABLE Q)) (PUTDOWN W) (AND (ON-TABLE L)) (UNSTACK S A)
 (AND (ON-TABLE C)) (STACK S I) (AND (CLEAR P)) (UNSTACK S I) (AND (CLEAR G))
 (PUTDOWN S) (AND (ON-TABLE V)) (PICKUP F) (AND (ON-TABLE Y)) (STACK F L)
 (AND (ON-TABLE H)) (PICKUP I) (AND (ON-TABLE X)) (STACK I S)
 (AND (ON-TABLE D)) (PICKUP Y) (AND (ON-TABLE DD)) (PUTDOWN Y)
 (AND (ON-TABLE Q)) (PICKUP H) (AND (ON-TABLE U)) (STACK H F) (AND (ON F L))
 (UNSTACK H F) (AND (CLEAR AA)) (PUTDOWN H) (AND (ON-TABLE C)) (UNSTACK I S)
 (AND (CLEAR S)) (STACK I F) (AND (ON-TABLE M)) (PICKUP N) (AND (CLEAR K))
 (PUTDOWN N) (AND (ON-TABLE X)) (UNSTACK I F) (AND (ON-TABLE H)) (STACK I A)
 (AND (CLEAR W)) (PICKUP Q) (AND (ON-TABLE CC)) (PUTDOWN Q) (AND (ON-TABLE S))
 (PICKUP S) (AND (ON-TABLE V)) (PUTDOWN S) (AND (CLEAR Q)) (PICKUP V)
 (AND (ON-TABLE H)) (STACK V Z) (AND (ON-TABLE Y)) (UNSTACK I A)
 (AND (ON-TABLE AA)) (PUTDOWN I) (AND (CLEAR C)) (UNSTACK F L)
 (AND (ON-TABLE A)) (STACK F S) (AND (CLEAR L)) (PICKUP K) (AND (ON-TABLE A))
 (PUTDOWN K) (AND (CLEAR J)) (PICKUP G) (AND (CLEAR T)) (PUTDOWN G)
 (AND (ON-TABLE H)) (PICKUP H) (AND (ON-TABLE A)) (STACK H O)
 (AND (ON-TABLE K)) (PICKUP K) (AND (HOLDING K)) (PUTDOWN K) (AND (ON-TABLE T))
 (UNSTACK V Z) (AND (CLEAR BB)) (PUTDOWN V) (AND (CLEAR AA)) (PICKUP K)
 (AND (ON-TABLE CC)) (PUTDOWN K) (AND (ON-TABLE A)) (UNSTACK H O)
 (AND (ON-TABLE W)) (STACK H C) (AND (CLEAR H)) (UNSTACK F S) (AND (CLEAR BB))
 (STACK F H) (AND (ON-TABLE I)) (UNSTACK F H) (AND (CLEAR CC)) (STACK F J)
 (AND (CLEAR W)) (UNSTACK F J) (AND (ON-TABLE T)) (PUTDOWN F)
 (AND (ON-TABLE I)) (PICKUP BB) (AND (ON-TABLE J)) (STACK BB J)
 (AND (CLEAR CC)) (PICKUP F) (AND (ON-TABLE N)) (PUTDOWN F) (AND (CLEAR Y))
 (UNSTACK BB J) (AND (CLEAR B)) (STACK BB E) (AND (ON H C)) (PICKUP X)
 (AND (ON-TABLE C)) (PUTDOWN X) (AND (CLEAR W)) (UNSTACK H C) (AND (CLEAR T))
 (PUTDOWN H) (AND (CLEAR CC)) (PICKUP H) (AND (ON-TABLE X)) (PUTDOWN H)
 (AND (ON-TABLE Q)) (PICKUP P) (AND (ON-TABLE CC)) (STACK P D)
 (AND (ON-TABLE C)) (UNSTACK P D) (AND (CLEAR K)) (STACK P A)
 (AND (ON-TABLE CC)) (PICKUP V) (AND (CLEAR P)) (PUTDOWN V) (AND (CLEAR U))
 (UNSTACK P A) (AND (CLEAR N)) (STACK P BB) (AND (CLEAR Z)) (PICKUP I)
 (AND (CLEAR U)) (PUTDOWN I) (AND (CLEAR W)) (PICKUP Y) (AND (CLEAR DD))
 (STACK Y I) (AND (ON BB E)) (PICKUP V) (AND (CLEAR M)) (PUTDOWN V)
 (AND (CLEAR H)) (PICKUP U) (AND (CLEAR CC)) (PUTDOWN U) (AND (CLEAR R))
 (PICKUP X) (AND (ON-TABLE K)) (PUTDOWN X) (AND (CLEAR D)) (UNSTACK P BB)
 (AND (ON-TABLE K)) (STACK P X) (AND (CLEAR W)) (UNSTACK Y I)
 (AND (ON-TABLE AA)) (STACK Y L) (AND (CLEAR H)) (UNSTACK P X) (AND (CLEAR B))
 (PUTDOWN P) (AND (ON-TABLE L)) (UNSTACK BB E) (AND (CLEAR O)) (PUTDOWN BB)
 (AND (ON-TABLE DD)) (PICKUP C) (AND (ON-TABLE D)) (PUTDOWN C)
 (AND (ON-TABLE DD)) (UNSTACK Y L) (AND (ON-TABLE F)) (STACK Y A)
 (AND (CLEAR Y)) (UNSTACK Y A) (AND (CLEAR T)) (PUTDOWN Y) (AND (CLEAR DD))
 (PICKUP A) (AND (CLEAR D)) (STACK A E) (AND (ON-TABLE T)) (PICKUP T)
 (AND (CLEAR L)) (PUTDOWN T) (AND (ON-TABLE U)) (UNSTACK A E)
 (AND (ON-TABLE U)) (PUTDOWN A) (AND (ON-TABLE Z)) (PICKUP W) (AND (CLEAR P))
 (STACK W I) (AND (CLEAR K)) (UNSTACK W I) (AND (CLEAR C)) (PUTDOWN W)
 (AND (ON-TABLE G)) (PICKUP W) (AND (CLEAR T)) (PUTDOWN W) (AND (CLEAR N))
 (PICKUP U) (AND (CLEAR G)) (STACK U D) (AND (CLEAR X)) (PICKUP BB)
 (AND (ON-TABLE D)) (PUTDOWN BB) (AND (ON-TABLE Q)) (PICKUP O)
 (AND (ON-TABLE Q)) (PUTDOWN O) (AND (CLEAR E)) (PICKUP W) (AND (ON-TABLE O))
 (STACK W R) (AND (CLEAR P)) (PICKUP S) (AND (ON-TABLE P)) (PUTDOWN S)
 (AND (CLEAR Q)) (PICKUP S) (AND (CLEAR CC)) (PUTDOWN S) (AND (ON-TABLE I))
 (UNSTACK U D) (AND (CLEAR E)) (STACK U X) (AND (CLEAR K)) (UNSTACK W R)
 (AND (CLEAR Z)) (PUTDOWN W) (AND (CLEAR O)) (UNSTACK U X) (AND (ON-TABLE L))
 (PUTDOWN U) (AND (ON-TABLE W)) (PICKUP F) (AND (ON-TABLE C)) (STACK F AA)
 (AND (ON-TABLE E)) (UNSTACK F AA) (AND (CLEAR I)) (PUTDOWN F)
 (AND (ON-TABLE A)) (PICKUP T) (AND (CLEAR H)) (STACK T U) (AND (CLEAR Q))
 (PICKUP N) (AND (ON-TABLE K)))