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