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