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