(define (problem schedule-15-1) (:domain schedule) (:objects 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 ROUGH) (PAINTED A0 YELLOW) (HAS-HOLE A0 THREE BACK) (TEMPERATURE A0 COLD) (SHAPE B0 OBLONG) (SURFACE-CONDITION B0 ROUGH) (PAINTED B0 BLACK) (HAS-HOLE B0 ONE BACK) (TEMPERATURE B0 COLD) (SHAPE C0 OBLONG) (SURFACE-CONDITION C0 SMOOTH) (PAINTED C0 BLACK) (HAS-HOLE C0 THREE FRONT) (TEMPERATURE C0 COLD) (SHAPE D0 OBLONG) (SURFACE-CONDITION D0 POLISHED) (PAINTED D0 BLACK) (HAS-HOLE D0 THREE FRONT) (TEMPERATURE D0 COLD) (SHAPE E0 CYLINDRICAL) (SURFACE-CONDITION E0 ROUGH) (PAINTED E0 YELLOW) (HAS-HOLE E0 ONE FRONT) (TEMPERATURE E0 COLD) (SHAPE F0 CIRCULAR) (SURFACE-CONDITION F0 POLISHED) (PAINTED F0 YELLOW) (HAS-HOLE F0 THREE FRONT) (TEMPERATURE F0 COLD) (SHAPE G0 CIRCULAR) (SURFACE-CONDITION G0 SMOOTH) (PAINTED G0 BLACK) (HAS-HOLE G0 TWO BACK) (TEMPERATURE G0 COLD) (SHAPE H0 CIRCULAR) (SURFACE-CONDITION H0 POLISHED) (PAINTED H0 BLACK) (HAS-HOLE H0 THREE BACK) (TEMPERATURE H0 COLD) (SHAPE I0 CYLINDRICAL) (SURFACE-CONDITION I0 POLISHED) (PAINTED I0 BLACK) (HAS-HOLE I0 ONE FRONT) (TEMPERATURE I0 COLD) (SHAPE J0 OBLONG) (SURFACE-CONDITION J0 ROUGH) (PAINTED J0 YELLOW) (HAS-HOLE J0 THREE BACK) (TEMPERATURE J0 COLD) (SHAPE K0 CIRCULAR) (SURFACE-CONDITION K0 ROUGH) (PAINTED K0 YELLOW) (HAS-HOLE K0 ONE FRONT) (TEMPERATURE K0 COLD) (SHAPE L0 CIRCULAR) (SURFACE-CONDITION L0 POLISHED) (PAINTED L0 YELLOW) (HAS-HOLE L0 ONE FRONT) (TEMPERATURE L0 COLD) (SHAPE M0 OBLONG) (SURFACE-CONDITION M0 SMOOTH) (PAINTED M0 RED) (HAS-HOLE M0 THREE FRONT) (TEMPERATURE M0 COLD) (SHAPE N0 CYLINDRICAL) (SURFACE-CONDITION N0 POLISHED) (PAINTED N0 YELLOW) (HAS-HOLE N0 ONE BACK) (TEMPERATURE N0 COLD) (SHAPE O0 CIRCULAR) (SURFACE-CONDITION O0 ROUGH) (PAINTED O0 BLACK) (HAS-HOLE O0 THREE BACK) (TEMPERATURE O0 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 D0 ROUGH) (SURFACE-CONDITION A0 POLISHED) (SHAPE H0 CYLINDRICAL) (PAINTED H0 RED) (PAINTED L0 BLUE) (SHAPE K0 CYLINDRICAL) (SHAPE B0 CYLINDRICAL) (SHAPE F0 CYLINDRICAL) (PAINTED J0 BLACK) (PAINTED E0 RED) (SHAPE D0 CYLINDRICAL) (SURFACE-CONDITION K0 POLISHED) (PAINTED D0 RED) (SURFACE-CONDITION F0 SMOOTH) (SURFACE-CONDITION C0 ROUGH) )))