(:trajectory

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p3 l4) (at p4 l4) (at p5 l3) (at p6 l1) (at p7 l1) (at p8 l4) (at t0 l4) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level8) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p8 t0 l4))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p3 l4) (at p4 l4) (at p5 l3) (at p6 l1) (at p7 l1) (at t0 l4) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level8) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p8 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p4 t0 l4))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p3 l4) (at p5 l3) (at p6 l1) (at p7 l1) (at t0 l4) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level8) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p4 t0) (in p8 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p3 t0 l4))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p7 l1) (at t0 l4) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level8) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p3 t0) (in p4 t0) (in p8 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (drive t0 l4 l1 level7 level1 level8))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p7 l1) (at t0 l1) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level7) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p3 t0) (in p4 t0) (in p8 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p7 t0 l1))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at t0 l1) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level7) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p3 t0) (in p4 t0) (in p7 t0) (in p8 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (drive t0 l1 l2 level6 level1 level7))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p3 t0) (in p4 t0) (in p7 t0) (in p8 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p8 t0 l2))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p3 t0) (in p4 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p8 t0 l2))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p3 t0) (in p4 t0) (in p7 t0) (in p8 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p8 t0 l2))

(:state (at p0 l2) (at p1 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p3 t0) (in p4 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p1 t0 l2))

(:state (at p0 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p3 t0) (in p4 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p7 t0 l2))

(:state (at p0 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p7 l2) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p3 t0) (in p4 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p3 t0 l2))

(:state (at p0 l2) (at p2 l1) (at p3 l2) (at p5 l3) (at p6 l1) (at p7 l2) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p4 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p7 t0 l2))

(:state (at p0 l2) (at p2 l1) (at p3 l2) (at p5 l3) (at p6 l1) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p4 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p3 t0 l2))

(:state (at p0 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level6) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p3 t0) (in p4 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (drive t0 l2 l1 level5 level1 level6))

(:state (at p0 l2) (at p2 l1) (at p5 l3) (at p6 l1) (at p8 l2) (at t0 l1) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level5) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p3 t0) (in p4 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p6 t0 l1))

(:state (at p0 l2) (at p2 l1) (at p5 l3) (at p8 l2) (at t0 l1) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level5) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p3 t0) (in p4 t0) (in p6 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p2 t0 l1))

(:state (at p0 l2) (at p5 l3) (at p8 l2) (at t0 l1) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level5) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p1 t0) (in p2 t0) (in p3 t0) (in p4 t0) (in p6 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p1 t0 l1))

(:state (at p0 l2) (at p1 l1) (at p5 l3) (at p8 l2) (at t0 l1) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level5) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (in p3 t0) (in p4 t0) (in p6 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (drive t0 l1 l0 level4 level1 level5))

(:state (at p0 l2) (at p1 l1) (at p5 l3) (at p8 l2) (at t0 l0) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level4) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (in p3 t0) (in p4 t0) (in p6 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p4 t0 l0))

(:state (at p0 l2) (at p1 l1) (at p4 l0) (at p5 l3) (at p8 l2) (at t0 l0) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level4) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (in p3 t0) (in p6 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p3 t0 l0))

(:state (at p0 l2) (at p1 l1) (at p3 l0) (at p4 l0) (at p5 l3) (at p8 l2) (at t0 l0) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level4) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (in p6 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (drive t0 l0 l5 level3 level1 level4))

(:state (at p0 l2) (at p1 l1) (at p3 l0) (at p4 l0) (at p5 l3) (at p8 l2) (at t0 l5) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level3) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (in p6 t0) (in p7 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p7 t0 l5))

(:state (at p0 l2) (at p1 l1) (at p3 l0) (at p4 l0) (at p5 l3) (at p7 l5) (at p8 l2) (at t0 l5) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level3) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (in p6 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p6 t0 l5))

(:state (at p0 l2) (at p1 l1) (at p3 l0) (at p4 l0) (at p5 l3) (at p6 l5) (at p7 l5) (at p8 l2) (at t0 l5) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level3) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (drive t0 l5 l2 level2 level1 level3))

(:state (at p0 l2) (at p1 l1) (at p3 l0) (at p4 l0) (at p5 l3) (at p6 l5) (at p7 l5) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level2) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p0 t0 l2))

(:state (at p1 l1) (at p3 l0) (at p4 l0) (at p5 l3) (at p6 l5) (at p7 l5) (at p8 l2) (at t0 l2) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level2) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p0 t0) (in p2 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (drive t0 l2 l3 level1 level1 level2))

(:state (at p1 l1) (at p3 l0) (at p4 l0) (at p5 l3) (at p6 l5) (at p7 l5) (at p8 l2) (at t0 l3) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level1) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p0 t0) (in p2 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (load p5 t0 l3))

(:state (at p1 l1) (at p3 l0) (at p4 l0) (at p6 l5) (at p7 l5) (at p8 l2) (at t0 l3) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level1) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p0 t0) (in p2 t0) (in p5 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

(:action (unload p0 t0 l3))

(:state (at p0 l3) (at p1 l1) (at p3 l0) (at p4 l0) (at p6 l5) (at p7 l5) (at p8 l2) (at t0 l3) (connected l0 l1) (connected l0 l3) (connected l0 l5) (connected l1 l0) (connected l1 l2) (connected l1 l4) (connected l2 l1) (connected l2 l3) (connected l2 l5) (connected l3 l0) (connected l3 l2) (connected l3 l6) (connected l4 l1) (connected l4 l5) (connected l4 l6) (connected l5 l0) (connected l5 l2) (connected l5 l4) (connected l6 l3) (connected l6 l4) (fuel t0 level1) (fuelcost level1 l0 l1) (fuelcost level1 l0 l3) (fuelcost level1 l0 l5) (fuelcost level1 l1 l0) (fuelcost level1 l1 l2) (fuelcost level1 l1 l4) (fuelcost level1 l2 l1) (fuelcost level1 l2 l3) (fuelcost level1 l2 l5) (fuelcost level1 l3 l0) (fuelcost level1 l3 l2) (fuelcost level1 l3 l6) (fuelcost level1 l4 l1) (fuelcost level1 l4 l5) (fuelcost level1 l4 l6) (fuelcost level1 l5 l0) (fuelcost level1 l5 l2) (fuelcost level1 l5 l4) (fuelcost level1 l6 l3) (fuelcost level1 l6 l4) (in p2 t0) (in p5 t0) (sum level0 level1 level1) (sum level1 level1 level2) (sum level2 level1 level3) (sum level3 level1 level4) (sum level4 level1 level5) (sum level5 level1 level6) (sum level6 level1 level7) (sum level7 level1 level8))

)