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