(define (problem freecell-5-4) (:domain freecell) (:objects S5 H5 D5 C5 S4 H4 D4 C4 S3 H3 D3 C3 S H D C N8 N7 N6 N5 N4 N3 N13 N12 N11 N9 N10 SA S2 S0 HA H2 H0 DA D2 D0 N1 CA N2 C2 N0 C0 ) (:init (VALUE C0 N0) (VALUE C2 N2) (VALUE C3 N3) (VALUE C4 N4) (VALUE C5 N5) (VALUE CA N1) (VALUE D0 N0) (VALUE D2 N2) (VALUE D3 N3) (VALUE D4 N4) (VALUE D5 N5) (VALUE DA N1) (VALUE H0 N0) (VALUE H2 N2) (VALUE H3 N3) (VALUE H4 N4) (VALUE H5 N5) (VALUE HA N1) (VALUE S0 N0) (VALUE S2 N2) (VALUE S3 N3) (VALUE S4 N4) (VALUE S5 N5) (VALUE SA N1) (SUCCESSOR N1 N0) (SUCCESSOR N10 N9) (SUCCESSOR N11 N10) (SUCCESSOR N12 N11) (SUCCESSOR N13 N12) (SUCCESSOR N2 N1) (SUCCESSOR N3 N2) (SUCCESSOR N4 N3) (SUCCESSOR N5 N4) (SUCCESSOR N6 N5) (SUCCESSOR N7 N6) (SUCCESSOR N8 N7) (SUCCESSOR N9 N8) (SUIT C0 C) (SUIT C2 C) (SUIT C3 C) (SUIT C4 C) (SUIT C5 C) (SUIT CA C) (SUIT D0 D) (SUIT D2 D) (SUIT D3 D) (SUIT D4 D) (SUIT D5 D) (SUIT DA D) (SUIT H0 H) (SUIT H2 H) (SUIT H3 H) (SUIT H4 H) (SUIT H5 H) (SUIT HA H) (SUIT S0 S) (SUIT S2 S) (SUIT S3 S) (SUIT S4 S) (SUIT S5 S) (SUIT SA S) (CANSTACK C2 D3) (CANSTACK C2 H3) (CANSTACK C3 D4) (CANSTACK C3 H4) (CANSTACK C4 D5) (CANSTACK C4 H5) (CANSTACK CA D2) (CANSTACK CA H2) (CANSTACK D2 C3) (CANSTACK D2 S3) (CANSTACK D3 C4) (CANSTACK D3 S4) (CANSTACK D4 C5) (CANSTACK D4 S5) (CANSTACK DA C2) (CANSTACK DA S2) (CANSTACK H2 C3) (CANSTACK H2 S3) (CANSTACK H3 C4) (CANSTACK H3 S4) (CANSTACK H4 C5) (CANSTACK H4 S5) (CANSTACK HA C2) (CANSTACK HA S2) (CANSTACK S2 D3) (CANSTACK S2 H3) (CANSTACK S3 D4) (CANSTACK S3 H4) (CANSTACK S4 D5) (CANSTACK S4 H5) (CANSTACK SA D2) (CANSTACK SA H2) (HOME C0) (HOME D0) (HOME H0) (HOME S0) (CELLSPACE N4) (COLSPACE N0) (ON C3 C5) (ON C4 S2) (ON C5 S3) (ON D2 H3) (ON DA D2) (ON H2 C4) (ON H3 D4) (ON H4 HA) (ON HA D5) (ON S4 SA) (ON S5 CA) (ON SA D3) (CLEAR C2) (CLEAR C3) (CLEAR DA) (CLEAR H2) (CLEAR H4) (CLEAR H5) (CLEAR S4) (CLEAR S5) (BOTTOMCOL C2) (BOTTOMCOL CA) (BOTTOMCOL D3) (BOTTOMCOL D4) (BOTTOMCOL D5) (BOTTOMCOL H5) (BOTTOMCOL S2) (BOTTOMCOL S3) ) (:goal (and (HOME C5) (HOME D5) (HOME H5) (HOME S5) )))