(define (problem schedule-31-2) (:domain schedule) (:objects H1 G1 F1 E1 D1 C1 B1 A1 Z0 W0 V0 U0 S0 R0 P0 Q0 O0 N0 M0 L0 K0 J0 I0 H0 G0 F0 E0 D0 C0 B0 A0 - part CIRCULAR OBLONG - ashape BLUE YELLOW RED BLACK - colour TWO THREE ONE - width BACK FRONT - anorient ) (:init (SHAPE A0 OBLONG) (SURFACE-CONDITION A0 SMOOTH) (PAINTED A0 BLUE) (HAS-HOLE A0 TWO BACK) (TEMPERATURE A0 COLD) (SHAPE B0 OBLONG) (SURFACE-CONDITION B0 SMOOTH) (PAINTED B0 RED) (HAS-HOLE B0 THREE BACK) (TEMPERATURE B0 COLD) (SHAPE C0 CYLINDRICAL) (SURFACE-CONDITION C0 ROUGH) (PAINTED C0 RED) (HAS-HOLE C0 THREE FRONT) (TEMPERATURE C0 COLD) (SHAPE D0 OBLONG) (SURFACE-CONDITION D0 ROUGH) (PAINTED D0 BLUE) (HAS-HOLE D0 TWO FRONT) (TEMPERATURE D0 COLD) (SHAPE E0 CYLINDRICAL) (SURFACE-CONDITION E0 ROUGH) (PAINTED E0 YELLOW) (HAS-HOLE E0 ONE FRONT) (TEMPERATURE E0 COLD) (SHAPE F0 OBLONG) (SURFACE-CONDITION F0 ROUGH) (PAINTED F0 BLACK) (HAS-HOLE F0 TWO BACK) (TEMPERATURE F0 COLD) (SHAPE G0 CYLINDRICAL) (SURFACE-CONDITION G0 SMOOTH) (PAINTED G0 RED) (HAS-HOLE G0 THREE FRONT) (TEMPERATURE G0 COLD) (SHAPE H0 CYLINDRICAL) (SURFACE-CONDITION H0 ROUGH) (PAINTED H0 BLACK) (HAS-HOLE H0 TWO FRONT) (TEMPERATURE H0 COLD) (SHAPE I0 CYLINDRICAL) (SURFACE-CONDITION I0 POLISHED) (PAINTED I0 BLUE) (HAS-HOLE I0 TWO BACK) (TEMPERATURE I0 COLD) (SHAPE J0 CIRCULAR) (SURFACE-CONDITION J0 POLISHED) (PAINTED J0 YELLOW) (HAS-HOLE J0 TWO FRONT) (TEMPERATURE J0 COLD) (SHAPE K0 OBLONG) (SURFACE-CONDITION K0 ROUGH) (PAINTED K0 YELLOW) (HAS-HOLE K0 ONE BACK) (TEMPERATURE K0 COLD) (SHAPE L0 CYLINDRICAL) (SURFACE-CONDITION L0 SMOOTH) (PAINTED L0 RED) (HAS-HOLE L0 THREE FRONT) (TEMPERATURE L0 COLD) (SHAPE M0 CIRCULAR) (SURFACE-CONDITION M0 SMOOTH) (PAINTED M0 YELLOW) (HAS-HOLE M0 ONE BACK) (TEMPERATURE M0 COLD) (SHAPE N0 CYLINDRICAL) (SURFACE-CONDITION N0 ROUGH) (PAINTED N0 YELLOW) (HAS-HOLE N0 THREE BACK) (TEMPERATURE N0 COLD) (SHAPE O0 CIRCULAR) (SURFACE-CONDITION O0 SMOOTH) (PAINTED O0 BLACK) (HAS-HOLE O0 ONE FRONT) (TEMPERATURE O0 COLD) (SHAPE Q0 CIRCULAR) (SURFACE-CONDITION Q0 SMOOTH) (PAINTED Q0 BLUE) (HAS-HOLE Q0 THREE BACK) (TEMPERATURE Q0 COLD) (SHAPE P0 CIRCULAR) (SURFACE-CONDITION P0 POLISHED) (PAINTED P0 YELLOW) (HAS-HOLE P0 THREE FRONT) (TEMPERATURE P0 COLD) (SHAPE R0 CYLINDRICAL) (SURFACE-CONDITION R0 SMOOTH) (PAINTED R0 BLACK) (HAS-HOLE R0 THREE FRONT) (TEMPERATURE R0 COLD) (SHAPE S0 CYLINDRICAL) (SURFACE-CONDITION S0 SMOOTH) (PAINTED S0 BLUE) (HAS-HOLE S0 THREE BACK) (TEMPERATURE S0 COLD) (SHAPE U0 CIRCULAR) (SURFACE-CONDITION U0 POLISHED) (PAINTED U0 BLUE) (HAS-HOLE U0 TWO FRONT) (TEMPERATURE U0 COLD) (SHAPE V0 CIRCULAR) (SURFACE-CONDITION V0 ROUGH) (PAINTED V0 RED) (HAS-HOLE V0 TWO BACK) (TEMPERATURE V0 COLD) (SHAPE W0 OBLONG) (SURFACE-CONDITION W0 POLISHED) (PAINTED W0 YELLOW) (HAS-HOLE W0 THREE BACK) (TEMPERATURE W0 COLD) (SHAPE Z0 OBLONG) (SURFACE-CONDITION Z0 ROUGH) (PAINTED Z0 BLACK) (HAS-HOLE Z0 THREE BACK) (TEMPERATURE Z0 COLD) (SHAPE A1 CYLINDRICAL) (SURFACE-CONDITION A1 POLISHED) (PAINTED A1 YELLOW) (HAS-HOLE A1 TWO FRONT) (TEMPERATURE A1 COLD) (SHAPE B1 OBLONG) (SURFACE-CONDITION B1 SMOOTH) (PAINTED B1 RED) (HAS-HOLE B1 THREE BACK) (TEMPERATURE B1 COLD) (SHAPE C1 CYLINDRICAL) (SURFACE-CONDITION C1 POLISHED) (PAINTED C1 BLACK) (HAS-HOLE C1 ONE FRONT) (TEMPERATURE C1 COLD) (SHAPE D1 CYLINDRICAL) (SURFACE-CONDITION D1 ROUGH) (PAINTED D1 BLUE) (HAS-HOLE D1 TWO BACK) (TEMPERATURE D1 COLD) (SHAPE E1 OBLONG) (SURFACE-CONDITION E1 POLISHED) (PAINTED E1 RED) (HAS-HOLE E1 TWO BACK) (TEMPERATURE E1 COLD) (SHAPE F1 OBLONG) (SURFACE-CONDITION F1 ROUGH) (PAINTED F1 BLACK) (HAS-HOLE F1 ONE BACK) (TEMPERATURE F1 COLD) (SHAPE G1 CYLINDRICAL) (SURFACE-CONDITION G1 SMOOTH) (PAINTED G1 BLACK) (HAS-HOLE G1 THREE FRONT) (TEMPERATURE G1 COLD) (SHAPE H1 OBLONG) (SURFACE-CONDITION H1 SMOOTH) (PAINTED H1 YELLOW) (HAS-HOLE H1 ONE FRONT) (TEMPERATURE H1 COLD) (CAN-ORIENT DRILL-PRESS BACK) (CAN-ORIENT PUNCH BACK) (CAN-ORIENT DRILL-PRESS FRONT) (CAN-ORIENT PUNCH FRONT) (HAS-PAINT IMMERSION-PAINTER YELLOW) (HAS-PAINT SPRAY-PAINTER YELLOW) (HAS-PAINT IMMERSION-PAINTER BLUE) (HAS-PAINT SPRAY-PAINTER BLUE) (HAS-PAINT IMMERSION-PAINTER BLACK) (HAS-PAINT SPRAY-PAINTER BLACK) (HAS-PAINT IMMERSION-PAINTER RED) (HAS-PAINT SPRAY-PAINTER RED) (HAS-BIT DRILL-PRESS THREE) (HAS-BIT PUNCH THREE) (HAS-BIT DRILL-PRESS TWO) (HAS-BIT PUNCH TWO) (HAS-BIT DRILL-PRESS ONE) (HAS-BIT PUNCH ONE) ) (:goal (and (SURFACE-CONDITION E0 POLISHED) (SHAPE P0 CYLINDRICAL) (SURFACE-CONDITION A0 POLISHED) (SHAPE U0 CYLINDRICAL) (SURFACE-CONDITION E1 SMOOTH) (PAINTED D1 RED) (PAINTED N0 BLACK) (PAINTED A1 BLUE) (SHAPE K0 CYLINDRICAL) (SHAPE W0 CYLINDRICAL) (SHAPE Q0 CYLINDRICAL) (SHAPE V0 CYLINDRICAL) (PAINTED K0 RED) (PAINTED H0 RED) (SURFACE-CONDITION F1 SMOOTH) (PAINTED Q0 RED) (SURFACE-CONDITION I0 ROUGH) (PAINTED V0 BLACK) (SHAPE B0 CYLINDRICAL) (PAINTED G1 BLUE) (PAINTED S0 RED) (SURFACE-CONDITION B0 POLISHED) (SURFACE-CONDITION N0 SMOOTH) (SURFACE-CONDITION M0 POLISHED) (SURFACE-CONDITION C1 SMOOTH) (SURFACE-CONDITION U0 SMOOTH) (SURFACE-CONDITION D1 SMOOTH) (SURFACE-CONDITION G0 POLISHED) (SHAPE A0 CYLINDRICAL) (SURFACE-CONDITION K0 POLISHED) (PAINTED L0 YELLOW) )))