p15.pddl

;; Generator input: seed=260470, locations=16, edges=18, seas=2, probabilities=[2, 3, 3, 4], goals=3, optimization=[5, 10], C=1.500000, V=1.500000
(define (problem psat-huge-03-medium)
(:domain settlers)
(:objects
    p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 - place
    v0 v1 v2 v3 - vehicle
    sl11 - stone_level
    hl11 - housing_level
    cl11 cl12 cl13 cl14 cl15 cl16 cl17 cl18 cl19 cl20 cl21 - coal_level
    wl11 wl12 wl13 wl14 wl15 wl16 wl17 wl18 wl19 wl20 wl21 - wood_level
    tl11 tl12 tl13 tl14 tl15 tl16 tl17 tl18 tl19 tl20 tl21 - timber_level
)
(:init
    (CONNECTED-BY-LAND p0 p6)
    (CONNECTED-BY-LAND p0 p14)
    (CONNECTED-BY-LAND p1 p3)
    (CONNECTED-BY-LAND p1 p6)
    (CONNECTED-BY-LAND p2 p4)
    (CONNECTED-BY-LAND p2 p10)
    (CONNECTED-BY-LAND p3 p1)
    (CONNECTED-BY-LAND p4 p2)
    (CONNECTED-BY-LAND p4 p5)
    (CONNECTED-BY-LAND p4 p6)
    (CONNECTED-BY-LAND p4 p12)
    (CONNECTED-BY-LAND p4 p14)
    (CONNECTED-BY-LAND p5 p4)
    (CONNECTED-BY-LAND p5 p8)
    (CONNECTED-BY-LAND p6 p0)
    (CONNECTED-BY-LAND p6 p1)
    (CONNECTED-BY-LAND p6 p4)
    (CONNECTED-BY-LAND p6 p7)
    (CONNECTED-BY-LAND p6 p10)
    (CONNECTED-BY-LAND p6 p12)
    (CONNECTED-BY-LAND p7 p6)
    (CONNECTED-BY-LAND p8 p5)
    (CONNECTED-BY-LAND p9 p10)
    (CONNECTED-BY-LAND p10 p2)
    (CONNECTED-BY-LAND p10 p6)
    (CONNECTED-BY-LAND p10 p9)
    (CONNECTED-BY-LAND p10 p14)
    (CONNECTED-BY-LAND p12 p4)
    (CONNECTED-BY-LAND p12 p6)
    (CONNECTED-BY-LAND p12 p13)
    (CONNECTED-BY-LAND p13 p12)
    (CONNECTED-BY-LAND p13 p14)
    (CONNECTED-BY-LAND p14 p0)
    (CONNECTED-BY-LAND p14 p4)
    (CONNECTED-BY-LAND p14 p10)
    (CONNECTED-BY-LAND p14 p13)
    (CONNECTED-BY-SEA p1 p7)
    (CONNECTED-BY-SEA p1 p10)
    (CONNECTED-BY-SEA p1 p11)
    (CONNECTED-BY-SEA p1 p12)
    (CONNECTED-BY-SEA p1 p15)
    (CONNECTED-BY-SEA p7 p1)
    (CONNECTED-BY-SEA p7 p10)
    (CONNECTED-BY-SEA p7 p11)
    (CONNECTED-BY-SEA p7 p12)
    (CONNECTED-BY-SEA p7 p15)
    (CONNECTED-BY-SEA p10 p1)
    (CONNECTED-BY-SEA p10 p7)
    (CONNECTED-BY-SEA p10 p11)
    (CONNECTED-BY-SEA p10 p12)
    (CONNECTED-BY-SEA p10 p15)
    (CONNECTED-BY-SEA p11 p1)
    (CONNECTED-BY-SEA p11 p7)
    (CONNECTED-BY-SEA p11 p10)
    (CONNECTED-BY-SEA p11 p12)
    (CONNECTED-BY-SEA p11 p15)
    (CONNECTED-BY-SEA p12 p1)
    (CONNECTED-BY-SEA p12 p7)
    (CONNECTED-BY-SEA p12 p10)
    (CONNECTED-BY-SEA p12 p11)
    (CONNECTED-BY-SEA p12 p15)
    (CONNECTED-BY-SEA p15 p1)
    (CONNECTED-BY-SEA p15 p7)
    (CONNECTED-BY-SEA p15 p10)
    (CONNECTED-BY-SEA p15 p11)
    (CONNECTED-BY-SEA p15 p12)
    (CONNECTED-BY-SEA p2 p3)
    (CONNECTED-BY-SEA p2 p8)
    (CONNECTED-BY-SEA p3 p2)
    (CONNECTED-BY-SEA p3 p8)
    (CONNECTED-BY-SEA p8 p2)
    (CONNECTED-BY-SEA p8 p3)
    (BY-COAST p1)
    (BY-COAST p2)
    (BY-COAST p3)
    (BY-COAST p7)
    (BY-COAST p8)
    (BY-COAST p10)
    (BY-COAST p11)
    (BY-COAST p12)
    (BY-COAST p15)
    (housing p0 hl0)
    (housing p1 hl0)
    (housing p2 hl0)
    (housing p3 hl0)
    (housing p4 hl0)
    (housing p5 hl0)
    (housing p6 hl0)
    (housing p7 hl0)
    (housing p8 hl0)
    (housing p9 hl0)
    (housing p10 hl0)
    (housing p11 hl0)
    (housing p12 hl0)
    (housing p13 hl0)
    (housing p14 hl0)
    (housing p15 hl0)
    (available-stone p0 sl0)
    (available-timber p0 tl21)
    (available-atleast-timber p0 tl1)
    (available-atleast-timber p0 tl2)
    (available-atleast-timber p0 tl4)
    (available-ore p0 ol0)
    (available-wood p0 wl0)
    (available-coal p0 cl0)
    (available-iron p0 il0)
    (available-stone p1 sl0)
    (available-timber p1 tl0)
    (available-ore p1 ol0)
    (available-wood p1 wl0)
    (available-coal p1 cl0)
    (available-iron p1 il0)
    (available-stone p2 sl0)
    (available-timber p2 tl0)
    (available-ore p2 ol0)
    (available-wood p2 wl0)
    (available-coal p2 cl0)
    (available-iron p2 il0)
    (available-stone p3 sl0)
    (available-timber p3 tl0)
    (available-ore p3 ol6)
    (available-atleast-ore p3 ol1)
    (available-atleast-ore p3 ol2)
    (available-atleast-ore p3 ol4)
    (available-wood p3 wl0)
    (available-coal p3 cl0)
    (available-iron p3 il0)
    (available-stone p4 sl0)
    (available-timber p4 tl0)
    (available-ore p4 ol0)
    (available-wood p4 wl0)
    (available-coal p4 cl0)
    (available-iron p4 il0)
    (available-stone p5 sl0)
    (available-timber p5 tl0)
    (available-ore p5 ol0)
    (available-wood p5 wl0)
    (available-coal p5 cl0)
    (available-iron p5 il0)
    (available-stone p6 sl11)
    (available-atleast-stone p6 sl1)
    (available-atleast-stone p6 sl2)
    (available-atleast-stone p6 sl4)
    (available-timber p6 tl0)
    (available-ore p6 ol0)
    (available-wood p6 wl0)
    (available-coal p6 cl0)
    (available-iron p6 il0)
    (available-stone p7 sl0)
    (available-timber p7 tl0)
    (available-ore p7 ol0)
    (available-wood p7 wl0)
    (available-coal p7 cl0)
    (available-iron p7 il0)
    (available-stone p8 sl0)
    (available-timber p8 tl0)
    (available-ore p8 ol0)
    (available-wood p8 wl0)
    (available-coal p8 cl0)
    (available-iron p8 il0)
    (available-stone p9 sl0)
    (available-timber p9 tl0)
    (available-ore p9 ol0)
    (available-wood p9 wl0)
    (available-coal p9 cl0)
    (available-iron p9 il0)
    (available-stone p10 sl0)
    (available-timber p10 tl0)
    (available-ore p10 ol0)
    (available-wood p10 wl0)
    (available-coal p10 cl0)
    (available-iron p10 il0)
    (available-stone p11 sl0)
    (available-timber p11 tl0)
    (available-ore p11 ol0)
    (available-wood p11 wl0)
    (available-coal p11 cl0)
    (available-iron p11 il0)
    (available-stone p12 sl0)
    (available-timber p12 tl0)
    (available-ore p12 ol0)
    (available-wood p12 wl0)
    (available-coal p12 cl0)
    (available-iron p12 il0)
    (available-stone p13 sl0)
    (available-timber p13 tl0)
    (available-ore p13 ol0)
    (available-wood p13 wl0)
    (available-coal p13 cl0)
    (available-iron p13 il0)
    (available-stone p14 sl0)
    (available-timber p14 tl0)
    (available-ore p14 ol0)
    (available-wood p14 wl0)
    (available-coal p14 cl0)
    (available-iron p14 il0)
    (available-stone p15 sl0)
    (available-timber p15 tl0)
    (available-ore p15 ol0)
    (available-wood p15 wl0)
    (available-coal p15 cl0)
    (available-iron p15 il0)
    (potential v0)
    (available-stone v0 sl0)
    (available-timber v0 tl0)
    (available-ore v0 ol0)
    (available-wood v0 wl0)
    (available-coal v0 cl0)
    (available-iron v0 il0)
    (potential v1)
    (available-stone v1 sl0)
    (available-timber v1 tl0)
    (available-ore v1 ol0)
    (available-wood v1 wl0)
    (available-coal v1 cl0)
    (available-iron v1 il0)
    (potential v2)
    (available-stone v2 sl0)
    (available-timber v2 tl0)
    (available-ore v2 ol0)
    (available-wood v2 wl0)
    (available-coal v2 cl0)
    (available-iron v2 il0)
    (potential v3)
    (available-stone v3 sl0)
    (available-timber v3 tl0)
    (available-ore v3 ol0)
    (available-wood v3 wl0)
    (available-coal v3 cl0)
    (available-iron v3 il0)
    (DIFF-SPACE spl1 spl1 spl0)
    (DIFF-SPACE spl2 spl1 spl1)
    (DIFF-SPACE spl3 spl1 spl2)
    (DIFF-SPACE spl4 spl1 spl3)
    (DIFF-SPACE spl5 spl1 spl4)
    (DIFF-SPACE spl6 spl1 spl5)
    (DIFF-SPACE spl7 spl1 spl6)
    (DIFF-SPACE spl8 spl1 spl7)
    (DIFF-SPACE spl9 spl1 spl8)
    (DIFF-SPACE spl10 spl1 spl9)
    (DIFF-SPACE spl2 spl2 spl0)
    (DIFF-SPACE spl3 spl2 spl1)
    (DIFF-SPACE spl4 spl2 spl2)
    (DIFF-SPACE spl5 spl2 spl3)
    (DIFF-SPACE spl6 spl2 spl4)
    (DIFF-SPACE spl7 spl2 spl5)
    (DIFF-SPACE spl8 spl2 spl6)
    (DIFF-SPACE spl9 spl2 spl7)
    (DIFF-SPACE spl10 spl2 spl8)
    (DIFF-HOUSING hl1 hl1 hl0)
    (DIFF-HOUSING hl2 hl1 hl1)
    (DIFF-HOUSING hl3 hl1 hl2)
    (DIFF-HOUSING hl4 hl1 hl3)
    (DIFF-HOUSING hl5 hl1 hl4)
    (DIFF-HOUSING hl6 hl1 hl5)
    (DIFF-HOUSING hl7 hl1 hl6)
    (DIFF-HOUSING hl8 hl1 hl7)
    (DIFF-HOUSING hl9 hl1 hl8)
    (DIFF-HOUSING hl10 hl1 hl9)
    (DIFF-HOUSING hl11 hl1 hl10)
    (DIFF-STONE sl1 sl1 sl0)
    (DIFF-STONE sl2 sl1 sl1)
    (DIFF-STONE sl3 sl1 sl2)
    (DIFF-STONE sl4 sl1 sl3)
    (DIFF-STONE sl5 sl1 sl4)
    (DIFF-STONE sl6 sl1 sl5)
    (DIFF-STONE sl7 sl1 sl6)
    (DIFF-STONE sl8 sl1 sl7)
    (DIFF-STONE sl9 sl1 sl8)
    (DIFF-STONE sl10 sl1 sl9)
    (DIFF-STONE sl11 sl1 sl10)
    (DIFF-STONE sl2 sl2 sl0)
    (DIFF-STONE sl3 sl2 sl1)
    (DIFF-STONE sl4 sl2 sl2)
    (DIFF-STONE sl5 sl2 sl3)
    (DIFF-STONE sl6 sl2 sl4)
    (DIFF-STONE sl7 sl2 sl5)
    (DIFF-STONE sl8 sl2 sl6)
    (DIFF-STONE sl9 sl2 sl7)
    (DIFF-STONE sl10 sl2 sl8)
    (DIFF-STONE sl11 sl2 sl9)
    (DIFF-STONE sl4 sl4 sl0)
    (DIFF-STONE sl5 sl4 sl1)
    (DIFF-STONE sl6 sl4 sl2)
    (DIFF-STONE sl7 sl4 sl3)
    (DIFF-STONE sl8 sl4 sl4)
    (DIFF-STONE sl9 sl4 sl5)
    (DIFF-STONE sl10 sl4 sl6)
    (DIFF-STONE sl11 sl4 sl7)
    (DIFF-TIMBER tl1 tl1 tl0)
    (DIFF-TIMBER tl2 tl1 tl1)
    (DIFF-TIMBER tl3 tl1 tl2)
    (DIFF-TIMBER tl4 tl1 tl3)
    (DIFF-TIMBER tl5 tl1 tl4)
    (DIFF-TIMBER tl6 tl1 tl5)
    (DIFF-TIMBER tl7 tl1 tl6)
    (DIFF-TIMBER tl8 tl1 tl7)
    (DIFF-TIMBER tl9 tl1 tl8)
    (DIFF-TIMBER tl10 tl1 tl9)
    (DIFF-TIMBER tl11 tl1 tl10)
    (DIFF-TIMBER tl12 tl1 tl11)
    (DIFF-TIMBER tl13 tl1 tl12)
    (DIFF-TIMBER tl14 tl1 tl13)
    (DIFF-TIMBER tl15 tl1 tl14)
    (DIFF-TIMBER tl16 tl1 tl15)
    (DIFF-TIMBER tl17 tl1 tl16)
    (DIFF-TIMBER tl18 tl1 tl17)
    (DIFF-TIMBER tl19 tl1 tl18)
    (DIFF-TIMBER tl20 tl1 tl19)
    (DIFF-TIMBER tl21 tl1 tl20)
    (DIFF-TIMBER tl2 tl2 tl0)
    (DIFF-TIMBER tl3 tl2 tl1)
    (DIFF-TIMBER tl4 tl2 tl2)
    (DIFF-TIMBER tl5 tl2 tl3)
    (DIFF-TIMBER tl6 tl2 tl4)
    (DIFF-TIMBER tl7 tl2 tl5)
    (DIFF-TIMBER tl8 tl2 tl6)
    (DIFF-TIMBER tl9 tl2 tl7)
    (DIFF-TIMBER tl10 tl2 tl8)
    (DIFF-TIMBER tl11 tl2 tl9)
    (DIFF-TIMBER tl12 tl2 tl10)
    (DIFF-TIMBER tl13 tl2 tl11)
    (DIFF-TIMBER tl14 tl2 tl12)
    (DIFF-TIMBER tl15 tl2 tl13)
    (DIFF-TIMBER tl16 tl2 tl14)
    (DIFF-TIMBER tl17 tl2 tl15)
    (DIFF-TIMBER tl18 tl2 tl16)
    (DIFF-TIMBER tl19 tl2 tl17)
    (DIFF-TIMBER tl20 tl2 tl18)
    (DIFF-TIMBER tl21 tl2 tl19)
    (DIFF-TIMBER tl4 tl4 tl0)
    (DIFF-TIMBER tl5 tl4 tl1)
    (DIFF-TIMBER tl6 tl4 tl2)
    (DIFF-TIMBER tl7 tl4 tl3)
    (DIFF-TIMBER tl8 tl4 tl4)
    (DIFF-TIMBER tl9 tl4 tl5)
    (DIFF-TIMBER tl10 tl4 tl6)
    (DIFF-TIMBER tl11 tl4 tl7)
    (DIFF-TIMBER tl12 tl4 tl8)
    (DIFF-TIMBER tl13 tl4 tl9)
    (DIFF-TIMBER tl14 tl4 tl10)
    (DIFF-TIMBER tl15 tl4 tl11)
    (DIFF-TIMBER tl16 tl4 tl12)
    (DIFF-TIMBER tl17 tl4 tl13)
    (DIFF-TIMBER tl18 tl4 tl14)
    (DIFF-TIMBER tl19 tl4 tl15)
    (DIFF-TIMBER tl20 tl4 tl16)
    (DIFF-TIMBER tl21 tl4 tl17)
    (DIFF-ORE ol1 ol1 ol0)
    (DIFF-ORE ol2 ol1 ol1)
    (DIFF-ORE ol3 ol1 ol2)
    (DIFF-ORE ol4 ol1 ol3)
    (DIFF-ORE ol5 ol1 ol4)
    (DIFF-ORE ol6 ol1 ol5)
    (DIFF-ORE ol2 ol2 ol0)
    (DIFF-ORE ol3 ol2 ol1)
    (DIFF-ORE ol4 ol2 ol2)
    (DIFF-ORE ol5 ol2 ol3)
    (DIFF-ORE ol6 ol2 ol4)
    (DIFF-ORE ol4 ol4 ol0)
    (DIFF-ORE ol5 ol4 ol1)
    (DIFF-ORE ol6 ol4 ol2)
    (DIFF-WOOD wl1 wl1 wl0)
    (DIFF-WOOD wl2 wl1 wl1)
    (DIFF-WOOD wl3 wl1 wl2)
    (DIFF-WOOD wl4 wl1 wl3)
    (DIFF-WOOD wl5 wl1 wl4)
    (DIFF-WOOD wl6 wl1 wl5)
    (DIFF-WOOD wl7 wl1 wl6)
    (DIFF-WOOD wl8 wl1 wl7)
    (DIFF-WOOD wl9 wl1 wl8)
    (DIFF-WOOD wl10 wl1 wl9)
    (DIFF-WOOD wl11 wl1 wl10)
    (DIFF-WOOD wl12 wl1 wl11)
    (DIFF-WOOD wl13 wl1 wl12)
    (DIFF-WOOD wl14 wl1 wl13)
    (DIFF-WOOD wl15 wl1 wl14)
    (DIFF-WOOD wl16 wl1 wl15)
    (DIFF-WOOD wl17 wl1 wl16)
    (DIFF-WOOD wl18 wl1 wl17)
    (DIFF-WOOD wl19 wl1 wl18)
    (DIFF-WOOD wl20 wl1 wl19)
    (DIFF-WOOD wl21 wl1 wl20)
    (DIFF-WOOD wl2 wl2 wl0)
    (DIFF-WOOD wl3 wl2 wl1)
    (DIFF-WOOD wl4 wl2 wl2)
    (DIFF-WOOD wl5 wl2 wl3)
    (DIFF-WOOD wl6 wl2 wl4)
    (DIFF-WOOD wl7 wl2 wl5)
    (DIFF-WOOD wl8 wl2 wl6)
    (DIFF-WOOD wl9 wl2 wl7)
    (DIFF-WOOD wl10 wl2 wl8)
    (DIFF-WOOD wl11 wl2 wl9)
    (DIFF-WOOD wl12 wl2 wl10)
    (DIFF-WOOD wl13 wl2 wl11)
    (DIFF-WOOD wl14 wl2 wl12)
    (DIFF-WOOD wl15 wl2 wl13)
    (DIFF-WOOD wl16 wl2 wl14)
    (DIFF-WOOD wl17 wl2 wl15)
    (DIFF-WOOD wl18 wl2 wl16)
    (DIFF-WOOD wl19 wl2 wl17)
    (DIFF-WOOD wl20 wl2 wl18)
    (DIFF-WOOD wl21 wl2 wl19)
    (DIFF-WOOD wl4 wl4 wl0)
    (DIFF-WOOD wl5 wl4 wl1)
    (DIFF-WOOD wl6 wl4 wl2)
    (DIFF-WOOD wl7 wl4 wl3)
    (DIFF-WOOD wl8 wl4 wl4)
    (DIFF-WOOD wl9 wl4 wl5)
    (DIFF-WOOD wl10 wl4 wl6)
    (DIFF-WOOD wl11 wl4 wl7)
    (DIFF-WOOD wl12 wl4 wl8)
    (DIFF-WOOD wl13 wl4 wl9)
    (DIFF-WOOD wl14 wl4 wl10)
    (DIFF-WOOD wl15 wl4 wl11)
    (DIFF-WOOD wl16 wl4 wl12)
    (DIFF-WOOD wl17 wl4 wl13)
    (DIFF-WOOD wl18 wl4 wl14)
    (DIFF-WOOD wl19 wl4 wl15)
    (DIFF-WOOD wl20 wl4 wl16)
    (DIFF-WOOD wl21 wl4 wl17)
    (DIFF-COAL cl1 cl1 cl0)
    (DIFF-COAL cl2 cl1 cl1)
    (DIFF-COAL cl3 cl1 cl2)
    (DIFF-COAL cl4 cl1 cl3)
    (DIFF-COAL cl5 cl1 cl4)
    (DIFF-COAL cl6 cl1 cl5)
    (DIFF-COAL cl7 cl1 cl6)
    (DIFF-COAL cl8 cl1 cl7)
    (DIFF-COAL cl9 cl1 cl8)
    (DIFF-COAL cl10 cl1 cl9)
    (DIFF-COAL cl11 cl1 cl10)
    (DIFF-COAL cl12 cl1 cl11)
    (DIFF-COAL cl13 cl1 cl12)
    (DIFF-COAL cl14 cl1 cl13)
    (DIFF-COAL cl15 cl1 cl14)
    (DIFF-COAL cl16 cl1 cl15)
    (DIFF-COAL cl17 cl1 cl16)
    (DIFF-COAL cl18 cl1 cl17)
    (DIFF-COAL cl19 cl1 cl18)
    (DIFF-COAL cl20 cl1 cl19)
    (DIFF-COAL cl21 cl1 cl20)
    (DIFF-COAL cl2 cl2 cl0)
    (DIFF-COAL cl3 cl2 cl1)
    (DIFF-COAL cl4 cl2 cl2)
    (DIFF-COAL cl5 cl2 cl3)
    (DIFF-COAL cl6 cl2 cl4)
    (DIFF-COAL cl7 cl2 cl5)
    (DIFF-COAL cl8 cl2 cl6)
    (DIFF-COAL cl9 cl2 cl7)
    (DIFF-COAL cl10 cl2 cl8)
    (DIFF-COAL cl11 cl2 cl9)
    (DIFF-COAL cl12 cl2 cl10)
    (DIFF-COAL cl13 cl2 cl11)
    (DIFF-COAL cl14 cl2 cl12)
    (DIFF-COAL cl15 cl2 cl13)
    (DIFF-COAL cl16 cl2 cl14)
    (DIFF-COAL cl17 cl2 cl15)
    (DIFF-COAL cl18 cl2 cl16)
    (DIFF-COAL cl19 cl2 cl17)
    (DIFF-COAL cl20 cl2 cl18)
    (DIFF-COAL cl21 cl2 cl19)
    (DIFF-COAL cl4 cl4 cl0)
    (DIFF-COAL cl5 cl4 cl1)
    (DIFF-COAL cl6 cl4 cl2)
    (DIFF-COAL cl7 cl4 cl3)
    (DIFF-COAL cl8 cl4 cl4)
    (DIFF-COAL cl9 cl4 cl5)
    (DIFF-COAL cl10 cl4 cl6)
    (DIFF-COAL cl11 cl4 cl7)
    (DIFF-COAL cl12 cl4 cl8)
    (DIFF-COAL cl13 cl4 cl9)
    (DIFF-COAL cl14 cl4 cl10)
    (DIFF-COAL cl15 cl4 cl11)
    (DIFF-COAL cl16 cl4 cl12)
    (DIFF-COAL cl17 cl4 cl13)
    (DIFF-COAL cl18 cl4 cl14)
    (DIFF-COAL cl19 cl4 cl15)
    (DIFF-COAL cl20 cl4 cl16)
    (DIFF-COAL cl21 cl4 cl17)
    (DIFF-IRON il1 il1 il0)
    (DIFF-IRON il2 il1 il1)
    (DIFF-IRON il3 il1 il2)
    (DIFF-IRON il4 il1 il3)
    (DIFF-IRON il5 il1 il4)
    (DIFF-IRON il6 il1 il5)
    (DIFF-IRON il2 il2 il0)
    (DIFF-IRON il3 il2 il1)
    (DIFF-IRON il4 il2 il2)
    (DIFF-IRON il5 il2 il3)
    (DIFF-IRON il6 il2 il4)
    (DIFF-IRON il4 il4 il0)
    (DIFF-IRON il5 il4 il1)
    (DIFF-IRON il6 il4 il2)
    (ADD-ATLEAST-STONE sl0 sl1 sl1)
    (DEL-ATLEAST-STONE sl1 sl1 sl1)
    (ADD-ATLEAST-STONE sl0 sl2 sl1)
    (DEL-ATLEAST-STONE sl1 sl2 sl1)
    (DEL-ATLEAST-STONE sl2 sl2 sl1)
    (ADD-ATLEAST-STONE sl0 sl4 sl1)
    (DEL-ATLEAST-STONE sl1 sl4 sl1)
    (DEL-ATLEAST-STONE sl2 sl4 sl1)
    (DEL-ATLEAST-STONE sl3 sl4 sl1)
    (DEL-ATLEAST-STONE sl4 sl4 sl1)
    (ADD-ATLEAST-STONE sl1 sl1 sl2)
    (DEL-ATLEAST-STONE sl2 sl1 sl2)
    (ADD-ATLEAST-STONE sl0 sl2 sl2)
    (ADD-ATLEAST-STONE sl1 sl2 sl2)
    (DEL-ATLEAST-STONE sl2 sl2 sl2)
    (DEL-ATLEAST-STONE sl3 sl2 sl2)
    (ADD-ATLEAST-STONE sl0 sl4 sl2)
    (ADD-ATLEAST-STONE sl1 sl4 sl2)
    (DEL-ATLEAST-STONE sl2 sl4 sl2)
    (DEL-ATLEAST-STONE sl3 sl4 sl2)
    (DEL-ATLEAST-STONE sl4 sl4 sl2)
    (DEL-ATLEAST-STONE sl5 sl4 sl2)
    (ADD-ATLEAST-STONE sl3 sl1 sl4)
    (DEL-ATLEAST-STONE sl4 sl1 sl4)
    (ADD-ATLEAST-STONE sl2 sl2 sl4)
    (ADD-ATLEAST-STONE sl3 sl2 sl4)
    (DEL-ATLEAST-STONE sl4 sl2 sl4)
    (DEL-ATLEAST-STONE sl5 sl2 sl4)
    (ADD-ATLEAST-STONE sl0 sl4 sl4)
    (ADD-ATLEAST-STONE sl1 sl4 sl4)
    (ADD-ATLEAST-STONE sl2 sl4 sl4)
    (ADD-ATLEAST-STONE sl3 sl4 sl4)
    (DEL-ATLEAST-STONE sl4 sl4 sl4)
    (DEL-ATLEAST-STONE sl5 sl4 sl4)
    (DEL-ATLEAST-STONE sl6 sl4 sl4)
    (DEL-ATLEAST-STONE sl7 sl4 sl4)
    (ADD-ATLEAST-TIMBER tl0 tl1 tl1)
    (DEL-ATLEAST-TIMBER tl1 tl1 tl1)
    (ADD-ATLEAST-TIMBER tl0 tl2 tl1)
    (DEL-ATLEAST-TIMBER tl1 tl2 tl1)
    (DEL-ATLEAST-TIMBER tl2 tl2 tl1)
    (ADD-ATLEAST-TIMBER tl0 tl4 tl1)
    (DEL-ATLEAST-TIMBER tl1 tl4 tl1)
    (DEL-ATLEAST-TIMBER tl2 tl4 tl1)
    (DEL-ATLEAST-TIMBER tl3 tl4 tl1)
    (DEL-ATLEAST-TIMBER tl4 tl4 tl1)
    (ADD-ATLEAST-TIMBER tl1 tl1 tl2)
    (DEL-ATLEAST-TIMBER tl2 tl1 tl2)
    (ADD-ATLEAST-TIMBER tl0 tl2 tl2)
    (ADD-ATLEAST-TIMBER tl1 tl2 tl2)
    (DEL-ATLEAST-TIMBER tl2 tl2 tl2)
    (DEL-ATLEAST-TIMBER tl3 tl2 tl2)
    (ADD-ATLEAST-TIMBER tl0 tl4 tl2)
    (ADD-ATLEAST-TIMBER tl1 tl4 tl2)
    (DEL-ATLEAST-TIMBER tl2 tl4 tl2)
    (DEL-ATLEAST-TIMBER tl3 tl4 tl2)
    (DEL-ATLEAST-TIMBER tl4 tl4 tl2)
    (DEL-ATLEAST-TIMBER tl5 tl4 tl2)
    (ADD-ATLEAST-TIMBER tl3 tl1 tl4)
    (DEL-ATLEAST-TIMBER tl4 tl1 tl4)
    (ADD-ATLEAST-TIMBER tl2 tl2 tl4)
    (ADD-ATLEAST-TIMBER tl3 tl2 tl4)
    (DEL-ATLEAST-TIMBER tl4 tl2 tl4)
    (DEL-ATLEAST-TIMBER tl5 tl2 tl4)
    (ADD-ATLEAST-TIMBER tl0 tl4 tl4)
    (ADD-ATLEAST-TIMBER tl1 tl4 tl4)
    (ADD-ATLEAST-TIMBER tl2 tl4 tl4)
    (ADD-ATLEAST-TIMBER tl3 tl4 tl4)
    (DEL-ATLEAST-TIMBER tl4 tl4 tl4)
    (DEL-ATLEAST-TIMBER tl5 tl4 tl4)
    (DEL-ATLEAST-TIMBER tl6 tl4 tl4)
    (DEL-ATLEAST-TIMBER tl7 tl4 tl4)
    (ADD-ATLEAST-ORE ol0 ol1 ol1)
    (DEL-ATLEAST-ORE ol1 ol1 ol1)
    (ADD-ATLEAST-ORE ol0 ol2 ol1)
    (DEL-ATLEAST-ORE ol1 ol2 ol1)
    (DEL-ATLEAST-ORE ol2 ol2 ol1)
    (ADD-ATLEAST-ORE ol0 ol4 ol1)
    (DEL-ATLEAST-ORE ol1 ol4 ol1)
    (DEL-ATLEAST-ORE ol2 ol4 ol1)
    (DEL-ATLEAST-ORE ol3 ol4 ol1)
    (DEL-ATLEAST-ORE ol4 ol4 ol1)
    (ADD-ATLEAST-ORE ol1 ol1 ol2)
    (DEL-ATLEAST-ORE ol2 ol1 ol2)
    (ADD-ATLEAST-ORE ol0 ol2 ol2)
    (ADD-ATLEAST-ORE ol1 ol2 ol2)
    (DEL-ATLEAST-ORE ol2 ol2 ol2)
    (DEL-ATLEAST-ORE ol3 ol2 ol2)
    (ADD-ATLEAST-ORE ol0 ol4 ol2)
    (ADD-ATLEAST-ORE ol1 ol4 ol2)
    (DEL-ATLEAST-ORE ol2 ol4 ol2)
    (DEL-ATLEAST-ORE ol3 ol4 ol2)
    (DEL-ATLEAST-ORE ol4 ol4 ol2)
    (DEL-ATLEAST-ORE ol5 ol4 ol2)
    (ADD-ATLEAST-ORE ol3 ol1 ol4)
    (DEL-ATLEAST-ORE ol4 ol1 ol4)
    (ADD-ATLEAST-ORE ol2 ol2 ol4)
    (ADD-ATLEAST-ORE ol3 ol2 ol4)
    (DEL-ATLEAST-ORE ol4 ol2 ol4)
    (DEL-ATLEAST-ORE ol5 ol2 ol4)
    (ADD-ATLEAST-ORE ol0 ol4 ol4)
    (ADD-ATLEAST-ORE ol1 ol4 ol4)
    (ADD-ATLEAST-ORE ol2 ol4 ol4)
    (ADD-ATLEAST-ORE ol3 ol4 ol4)
    (DEL-ATLEAST-ORE ol4 ol4 ol4)
    (DEL-ATLEAST-ORE ol5 ol4 ol4)
    (DEL-ATLEAST-ORE ol6 ol4 ol4)
    (DEL-ATLEAST-ORE ol7 ol4 ol4)
    (ADD-ATLEAST-WOOD wl0 wl1 wl1)
    (DEL-ATLEAST-WOOD wl1 wl1 wl1)
    (ADD-ATLEAST-WOOD wl0 wl2 wl1)
    (DEL-ATLEAST-WOOD wl1 wl2 wl1)
    (DEL-ATLEAST-WOOD wl2 wl2 wl1)
    (ADD-ATLEAST-WOOD wl0 wl4 wl1)
    (DEL-ATLEAST-WOOD wl1 wl4 wl1)
    (DEL-ATLEAST-WOOD wl2 wl4 wl1)
    (DEL-ATLEAST-WOOD wl3 wl4 wl1)
    (DEL-ATLEAST-WOOD wl4 wl4 wl1)
    (ADD-ATLEAST-WOOD wl1 wl1 wl2)
    (DEL-ATLEAST-WOOD wl2 wl1 wl2)
    (ADD-ATLEAST-WOOD wl0 wl2 wl2)
    (ADD-ATLEAST-WOOD wl1 wl2 wl2)
    (DEL-ATLEAST-WOOD wl2 wl2 wl2)
    (DEL-ATLEAST-WOOD wl3 wl2 wl2)
    (ADD-ATLEAST-WOOD wl0 wl4 wl2)
    (ADD-ATLEAST-WOOD wl1 wl4 wl2)
    (DEL-ATLEAST-WOOD wl2 wl4 wl2)
    (DEL-ATLEAST-WOOD wl3 wl4 wl2)
    (DEL-ATLEAST-WOOD wl4 wl4 wl2)
    (DEL-ATLEAST-WOOD wl5 wl4 wl2)
    (ADD-ATLEAST-WOOD wl3 wl1 wl4)
    (DEL-ATLEAST-WOOD wl4 wl1 wl4)
    (ADD-ATLEAST-WOOD wl2 wl2 wl4)
    (ADD-ATLEAST-WOOD wl3 wl2 wl4)
    (DEL-ATLEAST-WOOD wl4 wl2 wl4)
    (DEL-ATLEAST-WOOD wl5 wl2 wl4)
    (ADD-ATLEAST-WOOD wl0 wl4 wl4)
    (ADD-ATLEAST-WOOD wl1 wl4 wl4)
    (ADD-ATLEAST-WOOD wl2 wl4 wl4)
    (ADD-ATLEAST-WOOD wl3 wl4 wl4)
    (DEL-ATLEAST-WOOD wl4 wl4 wl4)
    (DEL-ATLEAST-WOOD wl5 wl4 wl4)
    (DEL-ATLEAST-WOOD wl6 wl4 wl4)
    (DEL-ATLEAST-WOOD wl7 wl4 wl4)
    (ADD-ATLEAST-COAL cl0 cl1 cl1)
    (DEL-ATLEAST-COAL cl1 cl1 cl1)
    (ADD-ATLEAST-COAL cl0 cl2 cl1)
    (DEL-ATLEAST-COAL cl1 cl2 cl1)
    (DEL-ATLEAST-COAL cl2 cl2 cl1)
    (ADD-ATLEAST-COAL cl0 cl4 cl1)
    (DEL-ATLEAST-COAL cl1 cl4 cl1)
    (DEL-ATLEAST-COAL cl2 cl4 cl1)
    (DEL-ATLEAST-COAL cl3 cl4 cl1)
    (DEL-ATLEAST-COAL cl4 cl4 cl1)
    (ADD-ATLEAST-COAL cl1 cl1 cl2)
    (DEL-ATLEAST-COAL cl2 cl1 cl2)
    (ADD-ATLEAST-COAL cl0 cl2 cl2)
    (ADD-ATLEAST-COAL cl1 cl2 cl2)
    (DEL-ATLEAST-COAL cl2 cl2 cl2)
    (DEL-ATLEAST-COAL cl3 cl2 cl2)
    (ADD-ATLEAST-COAL cl0 cl4 cl2)
    (ADD-ATLEAST-COAL cl1 cl4 cl2)
    (DEL-ATLEAST-COAL cl2 cl4 cl2)
    (DEL-ATLEAST-COAL cl3 cl4 cl2)
    (DEL-ATLEAST-COAL cl4 cl4 cl2)
    (DEL-ATLEAST-COAL cl5 cl4 cl2)
    (ADD-ATLEAST-COAL cl3 cl1 cl4)
    (DEL-ATLEAST-COAL cl4 cl1 cl4)
    (ADD-ATLEAST-COAL cl2 cl2 cl4)
    (ADD-ATLEAST-COAL cl3 cl2 cl4)
    (DEL-ATLEAST-COAL cl4 cl2 cl4)
    (DEL-ATLEAST-COAL cl5 cl2 cl4)
    (ADD-ATLEAST-COAL cl0 cl4 cl4)
    (ADD-ATLEAST-COAL cl1 cl4 cl4)
    (ADD-ATLEAST-COAL cl2 cl4 cl4)
    (ADD-ATLEAST-COAL cl3 cl4 cl4)
    (DEL-ATLEAST-COAL cl4 cl4 cl4)
    (DEL-ATLEAST-COAL cl5 cl4 cl4)
    (DEL-ATLEAST-COAL cl6 cl4 cl4)
    (DEL-ATLEAST-COAL cl7 cl4 cl4)
    (ADD-ATLEAST-IRON il0 il1 il1)
    (DEL-ATLEAST-IRON il1 il1 il1)
    (ADD-ATLEAST-IRON il0 il2 il1)
    (DEL-ATLEAST-IRON il1 il2 il1)
    (DEL-ATLEAST-IRON il2 il2 il1)
    (ADD-ATLEAST-IRON il0 il4 il1)
    (DEL-ATLEAST-IRON il1 il4 il1)
    (DEL-ATLEAST-IRON il2 il4 il1)
    (DEL-ATLEAST-IRON il3 il4 il1)
    (DEL-ATLEAST-IRON il4 il4 il1)
    (ADD-ATLEAST-IRON il1 il1 il2)
    (DEL-ATLEAST-IRON il2 il1 il2)
    (ADD-ATLEAST-IRON il0 il2 il2)
    (ADD-ATLEAST-IRON il1 il2 il2)
    (DEL-ATLEAST-IRON il2 il2 il2)
    (DEL-ATLEAST-IRON il3 il2 il2)
    (ADD-ATLEAST-IRON il0 il4 il2)
    (ADD-ATLEAST-IRON il1 il4 il2)
    (DEL-ATLEAST-IRON il2 il4 il2)
    (DEL-ATLEAST-IRON il3 il4 il2)
    (DEL-ATLEAST-IRON il4 il4 il2)
    (DEL-ATLEAST-IRON il5 il4 il2)
    (ADD-ATLEAST-IRON il3 il1 il4)
    (DEL-ATLEAST-IRON il4 il1 il4)
    (ADD-ATLEAST-IRON il2 il2 il4)
    (ADD-ATLEAST-IRON il3 il2 il4)
    (DEL-ATLEAST-IRON il4 il2 il4)
    (DEL-ATLEAST-IRON il5 il2 il4)
    (ADD-ATLEAST-IRON il0 il4 il4)
    (ADD-ATLEAST-IRON il1 il4 il4)
    (ADD-ATLEAST-IRON il2 il4 il4)
    (ADD-ATLEAST-IRON il3 il4 il4)
    (DEL-ATLEAST-IRON il4 il4 il4)
    (DEL-ATLEAST-IRON il5 il4 il4)
    (DEL-ATLEAST-IRON il6 il4 il4)
    (DEL-ATLEAST-IRON il7 il4 il4)
)
(:goal
(and
    (has-ironworks p10)
    (has-ironworks p14)
    (connected-by-rail p12 p13)
)
)
(:metric minimize (total-cost))
)