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