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