(define (problem schedule-40-0) (:domain schedule) (:objects P1 Q1 O1 N1 M1 L1 K1 J1 I1 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 ROUGH) (PAINTED A0 YELLOW) (HAS-HOLE A0 THREE FRONT) (TEMPERATURE A0 COLD) (SHAPE B0 CIRCULAR) (SURFACE-CONDITION B0 SMOOTH) (PAINTED B0 RED) (HAS-HOLE B0 ONE FRONT) (TEMPERATURE B0 COLD) (SHAPE C0 OBLONG) (SURFACE-CONDITION C0 POLISHED) (PAINTED C0 BLUE) (HAS-HOLE C0 TWO FRONT) (TEMPERATURE C0 COLD) (SHAPE D0 OBLONG) (SURFACE-CONDITION D0 SMOOTH) (PAINTED D0 BLUE) (HAS-HOLE D0 THREE FRONT) (TEMPERATURE D0 COLD) (SHAPE E0 CYLINDRICAL) (SURFACE-CONDITION E0 POLISHED) (PAINTED E0 BLACK) (HAS-HOLE E0 ONE BACK) (TEMPERATURE E0 COLD) (SHAPE F0 CIRCULAR) (SURFACE-CONDITION F0 SMOOTH) (PAINTED F0 YELLOW) (HAS-HOLE F0 TWO FRONT) (TEMPERATURE F0 COLD) (SHAPE G0 CYLINDRICAL) (SURFACE-CONDITION G0 POLISHED) (PAINTED G0 BLUE) (HAS-HOLE G0 THREE FRONT) (TEMPERATURE G0 COLD) (SHAPE H0 CYLINDRICAL) (SURFACE-CONDITION H0 SMOOTH) (PAINTED H0 RED) (HAS-HOLE H0 TWO BACK) (TEMPERATURE H0 COLD) (SHAPE I0 CYLINDRICAL) (SURFACE-CONDITION I0 ROUGH) (PAINTED I0 YELLOW) (HAS-HOLE I0 TWO FRONT) (TEMPERATURE I0 COLD) (SHAPE J0 CYLINDRICAL) (SURFACE-CONDITION J0 SMOOTH) (PAINTED J0 BLACK) (HAS-HOLE J0 TWO BACK) (TEMPERATURE J0 COLD) (SHAPE K0 CYLINDRICAL) (SURFACE-CONDITION K0 ROUGH) (PAINTED K0 BLUE) (HAS-HOLE K0 THREE FRONT) (TEMPERATURE K0 COLD) (SHAPE L0 OBLONG) (SURFACE-CONDITION L0 POLISHED) (PAINTED L0 BLACK) (HAS-HOLE L0 ONE BACK) (TEMPERATURE L0 COLD) (SHAPE M0 CYLINDRICAL) (SURFACE-CONDITION M0 SMOOTH) (PAINTED M0 BLACK) (HAS-HOLE M0 TWO FRONT) (TEMPERATURE M0 COLD) (SHAPE N0 OBLONG) (SURFACE-CONDITION N0 ROUGH) (PAINTED N0 BLACK) (HAS-HOLE N0 ONE FRONT) (TEMPERATURE N0 COLD) (SHAPE O0 CIRCULAR) (SURFACE-CONDITION O0 POLISHED) (PAINTED O0 BLUE) (HAS-HOLE O0 ONE BACK) (TEMPERATURE O0 COLD) (SHAPE Q0 CIRCULAR) (SURFACE-CONDITION Q0 POLISHED) (PAINTED Q0 YELLOW) (HAS-HOLE Q0 THREE FRONT) (TEMPERATURE Q0 COLD) (SHAPE P0 CYLINDRICAL) (SURFACE-CONDITION P0 SMOOTH) (PAINTED P0 BLUE) (HAS-HOLE P0 ONE FRONT) (TEMPERATURE P0 COLD) (SHAPE R0 CYLINDRICAL) (SURFACE-CONDITION R0 SMOOTH) (PAINTED R0 BLUE) (HAS-HOLE R0 ONE BACK) (TEMPERATURE R0 COLD) (SHAPE S0 CYLINDRICAL) (SURFACE-CONDITION S0 SMOOTH) (PAINTED S0 BLUE) (HAS-HOLE S0 ONE FRONT) (TEMPERATURE S0 COLD) (SHAPE U0 CIRCULAR) (SURFACE-CONDITION U0 ROUGH) (PAINTED U0 BLACK) (HAS-HOLE U0 THREE BACK) (TEMPERATURE U0 COLD) (SHAPE V0 CYLINDRICAL) (SURFACE-CONDITION V0 ROUGH) (PAINTED V0 BLACK) (HAS-HOLE V0 ONE BACK) (TEMPERATURE V0 COLD) (SHAPE W0 CYLINDRICAL) (SURFACE-CONDITION W0 SMOOTH) (PAINTED W0 BLUE) (HAS-HOLE W0 TWO BACK) (TEMPERATURE W0 COLD) (SHAPE Z0 CIRCULAR) (SURFACE-CONDITION Z0 POLISHED) (PAINTED Z0 BLUE) (HAS-HOLE Z0 THREE BACK) (TEMPERATURE Z0 COLD) (SHAPE A1 CYLINDRICAL) (SURFACE-CONDITION A1 POLISHED) (PAINTED A1 BLUE) (HAS-HOLE A1 TWO FRONT) (TEMPERATURE A1 COLD) (SHAPE B1 CYLINDRICAL) (SURFACE-CONDITION B1 ROUGH) (PAINTED B1 BLACK) (HAS-HOLE B1 TWO FRONT) (TEMPERATURE B1 COLD) (SHAPE C1 OBLONG) (SURFACE-CONDITION C1 SMOOTH) (PAINTED C1 YELLOW) (HAS-HOLE C1 THREE FRONT) (TEMPERATURE C1 COLD) (SHAPE D1 CYLINDRICAL) (SURFACE-CONDITION D1 ROUGH) (PAINTED D1 YELLOW) (HAS-HOLE D1 TWO BACK) (TEMPERATURE D1 COLD) (SHAPE E1 CYLINDRICAL) (SURFACE-CONDITION E1 POLISHED) (PAINTED E1 BLACK) (HAS-HOLE E1 TWO FRONT) (TEMPERATURE E1 COLD) (SHAPE F1 CIRCULAR) (SURFACE-CONDITION F1 ROUGH) (PAINTED F1 YELLOW) (HAS-HOLE F1 THREE BACK) (TEMPERATURE F1 COLD) (SHAPE G1 OBLONG) (SURFACE-CONDITION G1 POLISHED) (PAINTED G1 BLACK) (HAS-HOLE G1 ONE FRONT) (TEMPERATURE G1 COLD) (SHAPE H1 CYLINDRICAL) (SURFACE-CONDITION H1 ROUGH) (PAINTED H1 YELLOW) (HAS-HOLE H1 ONE FRONT) (TEMPERATURE H1 COLD) (SHAPE I1 CIRCULAR) (SURFACE-CONDITION I1 POLISHED) (PAINTED I1 BLACK) (HAS-HOLE I1 THREE FRONT) (TEMPERATURE I1 COLD) (SHAPE J1 OBLONG) (SURFACE-CONDITION J1 POLISHED) (PAINTED J1 BLACK) (HAS-HOLE J1 THREE FRONT) (TEMPERATURE J1 COLD) (SHAPE K1 CYLINDRICAL) (SURFACE-CONDITION K1 ROUGH) (PAINTED K1 BLUE) (HAS-HOLE K1 TWO FRONT) (TEMPERATURE K1 COLD) (SHAPE L1 OBLONG) (SURFACE-CONDITION L1 ROUGH) (PAINTED L1 RED) (HAS-HOLE L1 ONE BACK) (TEMPERATURE L1 COLD) (SHAPE M1 OBLONG) (SURFACE-CONDITION M1 ROUGH) (PAINTED M1 BLUE) (HAS-HOLE M1 ONE BACK) (TEMPERATURE M1 COLD) (SHAPE N1 CYLINDRICAL) (SURFACE-CONDITION N1 POLISHED) (PAINTED N1 YELLOW) (HAS-HOLE N1 THREE BACK) (TEMPERATURE N1 COLD) (SHAPE O1 CYLINDRICAL) (SURFACE-CONDITION O1 POLISHED) (PAINTED O1 BLUE) (HAS-HOLE O1 TWO FRONT) (TEMPERATURE O1 COLD) (SHAPE Q1 CYLINDRICAL) (SURFACE-CONDITION Q1 POLISHED) (PAINTED Q1 BLACK) (HAS-HOLE Q1 ONE BACK) (TEMPERATURE Q1 COLD) (SHAPE P1 CIRCULAR) (SURFACE-CONDITION P1 ROUGH) (PAINTED P1 BLACK) (HAS-HOLE P1 TWO BACK) (TEMPERATURE P1 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 J1 ROUGH) (SHAPE Z0 CYLINDRICAL) (SURFACE-CONDITION O0 SMOOTH) (SURFACE-CONDITION P0 POLISHED) (SHAPE F1 CYLINDRICAL) (SURFACE-CONDITION Z0 SMOOTH) (SURFACE-CONDITION G0 ROUGH) (PAINTED C0 YELLOW) (SURFACE-CONDITION Q1 SMOOTH) (SHAPE L1 CYLINDRICAL) (SURFACE-CONDITION D1 POLISHED) (SURFACE-CONDITION W0 POLISHED) (SURFACE-CONDITION N1 ROUGH) (PAINTED H0 BLACK) (SURFACE-CONDITION O1 ROUGH) (PAINTED E0 BLUE) (PAINTED Z0 RED) (SURFACE-CONDITION J0 POLISHED) (PAINTED O1 YELLOW) (SURFACE-CONDITION K1 POLISHED) (SURFACE-CONDITION H1 SMOOTH) (SHAPE G1 CYLINDRICAL) (PAINTED G0 BLACK) (SURFACE-CONDITION F0 ROUGH) (SURFACE-CONDITION S0 POLISHED) (PAINTED S0 RED) (SURFACE-CONDITION N0 SMOOTH) (PAINTED R0 YELLOW) (PAINTED A0 BLUE) (SURFACE-CONDITION H0 POLISHED) (SHAPE J1 CYLINDRICAL) (PAINTED L1 BLACK) (PAINTED K0 YELLOW) (SURFACE-CONDITION E0 SMOOTH) (PAINTED W0 YELLOW) (PAINTED E1 BLUE) (SURFACE-CONDITION M1 SMOOTH) (SURFACE-CONDITION Q0 SMOOTH) (PAINTED G1 BLUE) (PAINTED J0 YELLOW) )))