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