gps_plan(d1, plan([fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.9602999999999999, 0.9503999999999999, low, none, "ttttt")).
gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.941094, 0.9503999999999999, low, yes, "tttt")).
gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")).
gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")).
gps_plan(d1, plan([fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475, 0.931392, mid, none, "tttt")).
gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")).
gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")).
gps_plan(d1, plan([train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.974025, 0.9551999999999999, mid, none, "ttttt")).
gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.9594396, 0.995, mid, yes, "tttt")).
gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.9545445, 0.9551999999999999, mid, yes, "tttt")).
gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")).
gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.9546419025, 0.9126691199999999, mid, none, "ttt")).
gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")).
gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.958577964498, 0.9506969999999999, mid, yes, "tt")).
gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025, 0.9536872605975, 0.9126691199999999, mid, yes, "tt")).
gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.9435600454499999, 0.86526, mid, yes, "ttt")).
gps_plan(d1, plan([fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.9435600454499999, 0.86526, mid, yes, "ttt")).

clause(1, fuel(fuel7, "ttttttt"), true).
clause(2,
       step(state(gent, full, var('P')), state(brugge, mid, var('P')), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
       true).
clause(3,
       step(state(gent, var('B'), var('P')), state(brugge, var('B'), var('P')), train_gent_brugge, 1700.0, 0.012, 0.999, 0.995),
       true).
clause(4,
       step(state(gent, full, var('P')), state(kortrijk, mid, var('P')), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
       true).
clause(5,
       step(state(kortrijk, mid, var('P')), state(brugge, low, var('P')), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
       true).
clause(7,
       step(state(kortrijk, var('B'), none), state(kortrijk, var('B'), yes), get_zone_permit_kortrijk, 300.0, 0.001, 0.999, 1.0),
       true).
clause(8,
       step(state(brugge, var('B'), none), state(brugge, var('B'), yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
       true).
clause(9,
       step(state(brugge, low, var('P')), state(brugge, full, var('P')), quick_charge_brugge, 600.0, 0.004, 0.999, 0.97),
       true).
clause(10,
       step(state(brugge, mid, var('P')), state(brugge, full, var('P')), topup_brugge, 400.0, 0.003, 0.999, 0.98),
       true).
clause(11,
       step(state(kortrijk, mid, var('P')), state(kortrijk, full, var('P')), emergency_charge_kortrijk, 500.0, 0.003, 0.999, 0.95),
       true).
clause(12,
       step(state(brugge, full, yes), state(oostende, mid, yes), cross_corridor_brugge_oostende, 900.0, 0.004, 0.98, 1.0),
       true).
clause(13,
       step(state(brugge, mid, var('P')), state(oostende, low, var('P')), public_coastline_brugge_oostende, 1300.0, 0.006, 0.97, 0.96),
       true).
clause(14,
       step(state(brugge, full, var('P')), state(oostende, mid, var('P')), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96),
       true).
clause(15,
       step(state(kortrijk, full, yes), state(oostende, mid, yes), direct_corridor_kortrijk_oostende, 1100.0, 0.009, 0.955, 0.92),
       true).
clause(16,
       path(var('From'), var('To'), [var('Act')], var('Duration'), var('Cost'), var('Belief'), var('Comfort'), [anonymous(1) | var('Fuelout')], var('Fuelout')),
       step(var('From'), var('To'), var('Act'), var('Duration'), var('Cost'), var('Belief'), var('Comfort'))).
clause(17,
       path(var('From'), var('To'), var('Actions'), var('Duration'), var('Cost'), var('Belief'), var('Comfort'), [anonymous(1) | var('Fuelmid')], var('Fuelout')),
       (step(var('From'), var('Mid'), var('Act'), var('D1'), var('C1'), var('B1'), var('M1')),
        path(var('Mid'), var('To'), var('Restactions'), var('D2'), var('C2'), var('B2'), var('M2'), var('Fuelmid'), var('Fuelout')),
        append([var('Act')], var('Restactions'), var('Actions')),
        var('Duration') is var('D1') + var('D2'),
        var('Cost') is var('C1') + var('C2'),
        var('Belief') is var('B1') * var('B2'),
        var('Comfort') is var('M1') * var('M2'))).
clause(18,
       surviving_plan(var('Actions'), var('Duration'), var('Cost'), var('Belief'), var('Comfort'), var('Battery'), var('Permit'), var('Fuelleft')),
       (fuel(fuel7, var('Fuel')),
        path(state(gent, full, none), state(oostende, var('Battery'), var('Permit')), var('Actions'), var('Duration'), var('Cost'), var('Belief'), var('Comfort'), var('Fuel'), var('Fuelleft')),
        var('Belief') > 0.94,
        var('Cost') < 0.03)).
clause(19,
       gps_plan(d1, plan(var('Actions'), var('Duration'), var('Cost'), var('Belief'), var('Comfort'), var('Battery'), var('Permit'), var('Fuelleft'))),
       surviving_plan(var('Actions'), var('Duration'), var('Cost'), var('Belief'), var('Comfort'), var('Battery'), var('Permit'), var('Fuelleft'))).

step(gps_plan(d1, plan([fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.9602999999999999, 0.9503999999999999, low, none, "ttttt")),
     rule(19),
     ['Actions' = [fly_gent_brugge, public_coastline_brugge_oostende],
      'Duration' = 2800.0,
      'Cost' = 0.012,
      'Belief' = 0.9602999999999999,
      'Comfort' = 0.9503999999999999,
      'Battery' = low,
      'Permit' = none,
      'Fuelleft' = "ttttt"],
     [surviving_plan([fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.9602999999999999, 0.9503999999999999, low, none, "ttttt")]).
step(surviving_plan([fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.9602999999999999, 0.9503999999999999, low, none, "ttttt"),
     rule(18),
     ['Actions' = [fly_gent_brugge, public_coastline_brugge_oostende],
      'Duration' = 2800.0,
      'Cost' = 0.012,
      'Belief' = 0.9602999999999999,
      'Comfort' = 0.9503999999999999,
      'Battery' = low,
      'Permit' = none,
      'Fuelleft' = "ttttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, low, none), [fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.9602999999999999, 0.9503999999999999, "ttttttt", "ttttt"),
      0.9602999999999999 > 0.94,
      0.012 < 0.03]).
step(fuel(fuel7, "ttttttt"), fact(1), [], []).
step(path(state(gent, full, none), state(oostende, low, none), [fly_gent_brugge, public_coastline_brugge_oostende], 2800.0, 0.012, 0.9602999999999999, 0.9503999999999999, "ttttttt", "ttttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, low, none),
      'Actions' = [fly_gent_brugge, public_coastline_brugge_oostende],
      'Duration' = 2800.0,
      'Cost' = 0.012,
      'Belief' = 0.9602999999999999,
      'Comfort' = 0.9503999999999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttttt",
      'Mid' = state(brugge, mid, none),
      'Act' = fly_gent_brugge,
      'D1' = 1500.0,
      'C1' = 0.006,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1300.0,
      'C2' = 0.006,
      'B2' = 0.97,
      'M2' = 0.96],
     [step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
      path(state(brugge, mid, none), state(oostende, low, none), [public_coastline_brugge_oostende], 1300.0, 0.006, 0.97, 0.96, "tttttt", "ttttt"),
      append([fly_gent_brugge], [public_coastline_brugge_oostende], [fly_gent_brugge, public_coastline_brugge_oostende]),
      2800.0 is 1500.0 + 1300.0,
      0.012 is 0.006 + 0.006,
      0.9602999999999999 is 0.99 * 0.97,
      0.9503999999999999 is 0.99 * 0.96]).
step(step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
     fact(2),
     ['P' = none],
     []).
step(path(state(brugge, mid, none), state(oostende, low, none), [public_coastline_brugge_oostende], 1300.0, 0.006, 0.97, 0.96, "tttttt", "ttttt"),
     rule(16),
     ['From' = state(brugge, mid, none),
      'To' = state(oostende, low, none),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1300.0,
      'Cost' = 0.006,
      'Belief' = 0.97,
      'Comfort' = 0.96,
      'Fuelout' = "ttttt"],
     [step(state(brugge, mid, none), state(oostende, low, none), public_coastline_brugge_oostende, 1300.0, 0.006, 0.97, 0.96)]).
step(step(state(brugge, mid, none), state(oostende, low, none), public_coastline_brugge_oostende, 1300.0, 0.006, 0.97, 0.96),
     fact(13),
     ['P' = none],
     []).
step(append([fly_gent_brugge], [public_coastline_brugge_oostende], [fly_gent_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(2800.0 is 1500.0 + 1300.0, builtin, [], []).
step(0.012 is 0.006 + 0.006, builtin, [], []).
step(0.9602999999999999 is 0.99 * 0.97, builtin, [], []).
step(0.9503999999999999 is 0.99 * 0.96, builtin, [], []).
step(0.9602999999999999 > 0.94, builtin, [], []).
step(0.012 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.941094, 0.9503999999999999, low, yes, "tttt")),
     rule(19),
     ['Actions' = [fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.014,
      'Belief' = 0.941094,
      'Comfort' = 0.9503999999999999,
      'Battery' = low,
      'Permit' = yes,
      'Fuelleft' = "tttt"],
     [surviving_plan([fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.941094, 0.9503999999999999, low, yes, "tttt")]).
step(surviving_plan([fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.941094, 0.9503999999999999, low, yes, "tttt"),
     rule(18),
     ['Actions' = [fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.014,
      'Belief' = 0.941094,
      'Comfort' = 0.9503999999999999,
      'Battery' = low,
      'Permit' = yes,
      'Fuelleft' = "tttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, low, yes), [fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.941094, 0.9503999999999999, "ttttttt", "tttt"),
      0.941094 > 0.94,
      0.014 < 0.03]).
step(path(state(gent, full, none), state(oostende, low, yes), [fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3250.0, 0.014, 0.941094, 0.9503999999999999, "ttttttt", "tttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, low, yes),
      'Actions' = [fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.014,
      'Belief' = 0.941094,
      'Comfort' = 0.9503999999999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, mid, none),
      'Act' = fly_gent_brugge,
      'D1' = 1500.0,
      'C1' = 0.006,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [buy_permit_brugge, public_coastline_brugge_oostende],
      'D2' = 1750.0,
      'C2' = 0.008,
      'B2' = 0.9506,
      'M2' = 0.96],
     [step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
      path(state(brugge, mid, none), state(oostende, low, yes), [buy_permit_brugge, public_coastline_brugge_oostende], 1750.0, 0.008, 0.9506, 0.96, "tttttt", "tttt"),
      append([fly_gent_brugge], [buy_permit_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
      3250.0 is 1500.0 + 1750.0,
      0.014 is 0.006 + 0.008,
      0.941094 is 0.99 * 0.9506,
      0.9503999999999999 is 0.99 * 0.96]).
step(path(state(brugge, mid, none), state(oostende, low, yes), [buy_permit_brugge, public_coastline_brugge_oostende], 1750.0, 0.008, 0.9506, 0.96, "tttttt", "tttt"),
     rule(17),
     ['From' = state(brugge, mid, none),
      'To' = state(oostende, low, yes),
      'Actions' = [buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 1750.0,
      'Cost' = 0.008,
      'Belief' = 0.9506,
      'Comfort' = 0.96,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, mid, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1300.0,
      'C2' = 0.006,
      'B2' = 0.97,
      'M2' = 0.96],
     [step(state(brugge, mid, none), state(brugge, mid, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, mid, yes), state(oostende, low, yes), [public_coastline_brugge_oostende], 1300.0, 0.006, 0.97, 0.96, "ttttt", "tttt"),
      append([buy_permit_brugge], [public_coastline_brugge_oostende], [buy_permit_brugge, public_coastline_brugge_oostende]),
      1750.0 is 450.0 + 1300.0,
      0.008 is 0.002 + 0.006,
      0.9506 is 0.98 * 0.97,
      0.96 is 1.0 * 0.96]).
step(step(state(brugge, mid, none), state(brugge, mid, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
     fact(8),
     ['B' = mid],
     []).
step(path(state(brugge, mid, yes), state(oostende, low, yes), [public_coastline_brugge_oostende], 1300.0, 0.006, 0.97, 0.96, "ttttt", "tttt"),
     rule(16),
     ['From' = state(brugge, mid, yes),
      'To' = state(oostende, low, yes),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1300.0,
      'Cost' = 0.006,
      'Belief' = 0.97,
      'Comfort' = 0.96,
      'Fuelout' = "tttt"],
     [step(state(brugge, mid, yes), state(oostende, low, yes), public_coastline_brugge_oostende, 1300.0, 0.006, 0.97, 0.96)]).
step(step(state(brugge, mid, yes), state(oostende, low, yes), public_coastline_brugge_oostende, 1300.0, 0.006, 0.97, 0.96),
     fact(13),
     ['P' = yes],
     []).
step(append([buy_permit_brugge], [public_coastline_brugge_oostende], [buy_permit_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(1750.0 is 450.0 + 1300.0, builtin, [], []).
step(0.008 is 0.002 + 0.006, builtin, [], []).
step(0.9506 is 0.98 * 0.97, builtin, [], []).
step(0.96 is 1.0 * 0.96, builtin, [], []).
step(append([fly_gent_brugge], [buy_permit_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(3250.0 is 1500.0 + 1750.0, builtin, [], []).
step(0.014 is 0.006 + 0.008, builtin, [], []).
step(0.941094 is 0.99 * 0.9506, builtin, [], []).
step(0.941094 > 0.94, builtin, [], []).
step(0.014 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")),
     rule(19),
     ['Actions' = [fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9702,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt"],
     [surviving_plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")]).
step(surviving_plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt"),
     rule(18),
     ['Actions' = [fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9702,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, "ttttttt", "ttt"),
      0.9498452039999999 > 0.94,
      0.015000000000000001 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, "ttttttt", "ttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9702,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, mid, none),
      'Act' = fly_gent_brugge,
      'D1' = 1500.0,
      'C1' = 0.006,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende],
      'D2' = 1750.0,
      'C2' = 0.009000000000000001,
      'B2' = 0.9594396,
      'M2' = 0.98],
     [step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
      path(state(brugge, mid, none), state(oostende, mid, yes), [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 1750.0, 0.009000000000000001, 0.9594396, 0.98, "tttttt", "ttt"),
      append([fly_gent_brugge], [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], [fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende]),
      3250.0 is 1500.0 + 1750.0,
      0.015000000000000001 is 0.006 + 0.009000000000000001,
      0.9498452039999999 is 0.99 * 0.9594396,
      0.9702 is 0.99 * 0.98]).
step(path(state(brugge, mid, none), state(oostende, mid, yes), [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], 1750.0, 0.009000000000000001, 0.9594396, 0.98, "tttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1750.0,
      'Cost' = 0.009000000000000001,
      'Belief' = 0.9594396,
      'Comfort' = 0.98,
      'Fuelmid' = "ttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, mid, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [topup_brugge, cross_corridor_brugge_oostende],
      'D2' = 1300.0,
      'C2' = 0.007,
      'B2' = 0.97902,
      'M2' = 0.98],
     [step(state(brugge, mid, none), state(brugge, mid, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, mid, yes), state(oostende, mid, yes), [topup_brugge, cross_corridor_brugge_oostende], 1300.0, 0.007, 0.97902, 0.98, "ttttt", "ttt"),
      append([buy_permit_brugge], [topup_brugge, cross_corridor_brugge_oostende], [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende]),
      1750.0 is 450.0 + 1300.0,
      0.009000000000000001 is 0.002 + 0.007,
      0.9594396 is 0.98 * 0.97902,
      0.98 is 1.0 * 0.98]).
step(path(state(brugge, mid, yes), state(oostende, mid, yes), [topup_brugge, cross_corridor_brugge_oostende], 1300.0, 0.007, 0.97902, 0.98, "ttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, mid, yes),
      'To' = state(oostende, mid, yes),
      'Actions' = [topup_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1300.0,
      'Cost' = 0.007,
      'Belief' = 0.97902,
      'Comfort' = 0.98,
      'Fuelmid' = "tttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, full, yes),
      'Act' = topup_brugge,
      'D1' = 400.0,
      'C1' = 0.003,
      'B1' = 0.999,
      'M1' = 0.98,
      'Restactions' = [cross_corridor_brugge_oostende],
      'D2' = 900.0,
      'C2' = 0.004,
      'B2' = 0.98,
      'M2' = 1.0],
     [step(state(brugge, mid, yes), state(brugge, full, yes), topup_brugge, 400.0, 0.003, 0.999, 0.98),
      path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "tttt", "ttt"),
      append([topup_brugge], [cross_corridor_brugge_oostende], [topup_brugge, cross_corridor_brugge_oostende]),
      1300.0 is 400.0 + 900.0,
      0.007 is 0.003 + 0.004,
      0.97902 is 0.999 * 0.98,
      0.98 is 0.98 * 1.0]).
step(step(state(brugge, mid, yes), state(brugge, full, yes), topup_brugge, 400.0, 0.003, 0.999, 0.98),
     fact(10),
     ['P' = yes],
     []).
step(path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "tttt", "ttt"),
     rule(16),
     ['From' = state(brugge, full, yes),
      'To' = state(oostende, mid, yes),
      'Act' = cross_corridor_brugge_oostende,
      'Duration' = 900.0,
      'Cost' = 0.004,
      'Belief' = 0.98,
      'Comfort' = 1.0,
      'Fuelout' = "ttt"],
     [step(state(brugge, full, yes), state(oostende, mid, yes), cross_corridor_brugge_oostende, 900.0, 0.004, 0.98, 1.0)]).
step(step(state(brugge, full, yes), state(oostende, mid, yes), cross_corridor_brugge_oostende, 900.0, 0.004, 0.98, 1.0),
     fact(12),
     [],
     []).
step(append([topup_brugge], [cross_corridor_brugge_oostende], [topup_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(1300.0 is 400.0 + 900.0, builtin, [], []).
step(0.007 is 0.003 + 0.004, builtin, [], []).
step(0.97902 is 0.999 * 0.98, builtin, [], []).
step(0.98 is 0.98 * 1.0, builtin, [], []).
step(append([buy_permit_brugge], [topup_brugge, cross_corridor_brugge_oostende], [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(0.009000000000000001 is 0.002 + 0.007, builtin, [], []).
step(0.9594396 is 0.98 * 0.97902, builtin, [], []).
step(0.98 is 1.0 * 0.98, builtin, [], []).
step(append([fly_gent_brugge], [buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende], [fly_gent_brugge, buy_permit_brugge, topup_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(0.015000000000000001 is 0.006 + 0.009000000000000001, builtin, [], []).
step(0.9498452039999999 is 0.99 * 0.9594396, builtin, [], []).
step(0.9702 is 0.99 * 0.98, builtin, [], []).
step(0.9498452039999999 > 0.94, builtin, [], []).
step(0.015000000000000001 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")),
     rule(19),
     ['Actions' = [fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.944999055,
      'Comfort' = 0.931392,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt"],
     [surviving_plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")]).
step(surviving_plan([fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt"),
     rule(18),
     ['Actions' = [fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.944999055,
      'Comfort' = 0.931392,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, "ttttttt", "ttt"),
      0.944999055 > 0.94,
      0.017 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, "ttttttt", "ttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.944999055,
      'Comfort' = 0.931392,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, mid, none),
      'Act' = fly_gent_brugge,
      'D1' = 1500.0,
      'C1' = 0.006,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende],
      'D2' = 2050.0,
      'C2' = 0.011000000000000001,
      'B2' = 0.9545445,
      'M2' = 0.9408],
     [step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
      path(state(brugge, mid, none), state(oostende, mid, yes), [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 2050.0, 0.011000000000000001, 0.9545445, 0.9408, "tttttt", "ttt"),
      append([fly_gent_brugge], [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende]),
      3550.0 is 1500.0 + 2050.0,
      0.017 is 0.006 + 0.011000000000000001,
      0.944999055 is 0.99 * 0.9545445,
      0.931392 is 0.99 * 0.9408]).
step(path(state(brugge, mid, none), state(oostende, mid, yes), [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], 2050.0, 0.011000000000000001, 0.9545445, 0.9408, "tttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 2050.0,
      'Cost' = 0.011000000000000001,
      'Belief' = 0.9545445,
      'Comfort' = 0.9408,
      'Fuelmid' = "ttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, mid, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [topup_brugge, public_coastline_brugge_oostende],
      'D2' = 1600.0,
      'C2' = 0.009000000000000001,
      'B2' = 0.974025,
      'M2' = 0.9408],
     [step(state(brugge, mid, none), state(brugge, mid, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, mid, yes), state(oostende, mid, yes), [topup_brugge, public_coastline_brugge_oostende], 1600.0, 0.009000000000000001, 0.974025, 0.9408, "ttttt", "ttt"),
      append([buy_permit_brugge], [topup_brugge, public_coastline_brugge_oostende], [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende]),
      2050.0 is 450.0 + 1600.0,
      0.011000000000000001 is 0.002 + 0.009000000000000001,
      0.9545445 is 0.98 * 0.974025,
      0.9408 is 1.0 * 0.9408]).
step(path(state(brugge, mid, yes), state(oostende, mid, yes), [topup_brugge, public_coastline_brugge_oostende], 1600.0, 0.009000000000000001, 0.974025, 0.9408, "ttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, mid, yes),
      'To' = state(oostende, mid, yes),
      'Actions' = [topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 1600.0,
      'Cost' = 0.009000000000000001,
      'Belief' = 0.974025,
      'Comfort' = 0.9408,
      'Fuelmid' = "tttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, full, yes),
      'Act' = topup_brugge,
      'D1' = 400.0,
      'C1' = 0.003,
      'B1' = 0.999,
      'M1' = 0.98,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1200.0,
      'C2' = 0.006,
      'B2' = 0.975,
      'M2' = 0.96],
     [step(state(brugge, mid, yes), state(brugge, full, yes), topup_brugge, 400.0, 0.003, 0.999, 0.98),
      path(state(brugge, full, yes), state(oostende, mid, yes), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "tttt", "ttt"),
      append([topup_brugge], [public_coastline_brugge_oostende], [topup_brugge, public_coastline_brugge_oostende]),
      1600.0 is 400.0 + 1200.0,
      0.009000000000000001 is 0.003 + 0.006,
      0.974025 is 0.999 * 0.975,
      0.9408 is 0.98 * 0.96]).
step(path(state(brugge, full, yes), state(oostende, mid, yes), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "tttt", "ttt"),
     rule(16),
     ['From' = state(brugge, full, yes),
      'To' = state(oostende, mid, yes),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1200.0,
      'Cost' = 0.006,
      'Belief' = 0.975,
      'Comfort' = 0.96,
      'Fuelout' = "ttt"],
     [step(state(brugge, full, yes), state(oostende, mid, yes), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96)]).
step(step(state(brugge, full, yes), state(oostende, mid, yes), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96),
     fact(14),
     ['P' = yes],
     []).
step(append([topup_brugge], [public_coastline_brugge_oostende], [topup_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(1600.0 is 400.0 + 1200.0, builtin, [], []).
step(0.009000000000000001 is 0.003 + 0.006, builtin, [], []).
step(0.974025 is 0.999 * 0.975, builtin, [], []).
step(0.9408 is 0.98 * 0.96, builtin, [], []).
step(append([buy_permit_brugge], [topup_brugge, public_coastline_brugge_oostende], [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(2050.0 is 450.0 + 1600.0, builtin, [], []).
step(0.011000000000000001 is 0.002 + 0.009000000000000001, builtin, [], []).
step(0.9545445 is 0.98 * 0.974025, builtin, [], []).
step(0.9408 is 1.0 * 0.9408, builtin, [], []).
step(append([fly_gent_brugge], [buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, buy_permit_brugge, topup_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(3550.0 is 1500.0 + 2050.0, builtin, [], []).
step(0.017 is 0.006 + 0.011000000000000001, builtin, [], []).
step(0.944999055 is 0.99 * 0.9545445, builtin, [], []).
step(0.931392 is 0.99 * 0.9408, builtin, [], []).
step(0.944999055 > 0.94, builtin, [], []).
step(0.017 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475, 0.931392, mid, none, "tttt")),
     rule(19),
     ['Actions' = [fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 3100.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.96428475,
      'Comfort' = 0.931392,
      'Battery' = mid,
      'Permit' = none,
      'Fuelleft' = "tttt"],
     [surviving_plan([fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475, 0.931392, mid, none, "tttt")]).
step(surviving_plan([fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475, 0.931392, mid, none, "tttt"),
     rule(18),
     ['Actions' = [fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 3100.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.96428475,
      'Comfort' = 0.931392,
      'Battery' = mid,
      'Permit' = none,
      'Fuelleft' = "tttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, none), [fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475, 0.931392, "ttttttt", "tttt"),
      0.96428475 > 0.94,
      0.015000000000000001 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, none), [fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende], 3100.0, 0.015000000000000001, 0.96428475, 0.931392, "ttttttt", "tttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, none),
      'Actions' = [fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 3100.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.96428475,
      'Comfort' = 0.931392,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, mid, none),
      'Act' = fly_gent_brugge,
      'D1' = 1500.0,
      'C1' = 0.006,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [topup_brugge, public_coastline_brugge_oostende],
      'D2' = 1600.0,
      'C2' = 0.009000000000000001,
      'B2' = 0.974025,
      'M2' = 0.9408],
     [step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
      path(state(brugge, mid, none), state(oostende, mid, none), [topup_brugge, public_coastline_brugge_oostende], 1600.0, 0.009000000000000001, 0.974025, 0.9408, "tttttt", "tttt"),
      append([fly_gent_brugge], [topup_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende]),
      3100.0 is 1500.0 + 1600.0,
      0.015000000000000001 is 0.006 + 0.009000000000000001,
      0.96428475 is 0.99 * 0.974025,
      0.931392 is 0.99 * 0.9408]).
step(path(state(brugge, mid, none), state(oostende, mid, none), [topup_brugge, public_coastline_brugge_oostende], 1600.0, 0.009000000000000001, 0.974025, 0.9408, "tttttt", "tttt"),
     rule(17),
     ['From' = state(brugge, mid, none),
      'To' = state(oostende, mid, none),
      'Actions' = [topup_brugge, public_coastline_brugge_oostende],
      'Duration' = 1600.0,
      'Cost' = 0.009000000000000001,
      'Belief' = 0.974025,
      'Comfort' = 0.9408,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, full, none),
      'Act' = topup_brugge,
      'D1' = 400.0,
      'C1' = 0.003,
      'B1' = 0.999,
      'M1' = 0.98,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1200.0,
      'C2' = 0.006,
      'B2' = 0.975,
      'M2' = 0.96],
     [step(state(brugge, mid, none), state(brugge, full, none), topup_brugge, 400.0, 0.003, 0.999, 0.98),
      path(state(brugge, full, none), state(oostende, mid, none), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "ttttt", "tttt"),
      append([topup_brugge], [public_coastline_brugge_oostende], [topup_brugge, public_coastline_brugge_oostende]),
      1600.0 is 400.0 + 1200.0,
      0.009000000000000001 is 0.003 + 0.006,
      0.974025 is 0.999 * 0.975,
      0.9408 is 0.98 * 0.96]).
step(step(state(brugge, mid, none), state(brugge, full, none), topup_brugge, 400.0, 0.003, 0.999, 0.98),
     fact(10),
     ['P' = none],
     []).
step(path(state(brugge, full, none), state(oostende, mid, none), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "ttttt", "tttt"),
     rule(16),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, none),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1200.0,
      'Cost' = 0.006,
      'Belief' = 0.975,
      'Comfort' = 0.96,
      'Fuelout' = "tttt"],
     [step(state(brugge, full, none), state(oostende, mid, none), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96)]).
step(step(state(brugge, full, none), state(oostende, mid, none), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96),
     fact(14),
     ['P' = none],
     []).
step(append([fly_gent_brugge], [topup_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, topup_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(3100.0 is 1500.0 + 1600.0, builtin, [], []).
step(0.96428475 is 0.99 * 0.974025, builtin, [], []).
step(0.96428475 > 0.94, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")),
     rule(19),
     ['Actions' = [fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9702,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt"],
     [surviving_plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt")]).
step(surviving_plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, mid, yes, "ttt"),
     rule(18),
     ['Actions' = [fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9702,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, "ttttttt", "ttt"),
      0.9498452039999999 > 0.94,
      0.015000000000000001 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3250.0, 0.015000000000000001, 0.9498452039999999, 0.9702, "ttttttt", "ttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3250.0,
      'Cost' = 0.015000000000000001,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9702,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, mid, none),
      'Act' = fly_gent_brugge,
      'D1' = 1500.0,
      'C1' = 0.006,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'D2' = 1750.0,
      'C2' = 0.009000000000000001,
      'B2' = 0.9594396,
      'M2' = 0.98],
     [step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
      path(state(brugge, mid, none), state(oostende, mid, yes), [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 1750.0, 0.009000000000000001, 0.9594396, 0.98, "tttttt", "ttt"),
      append([fly_gent_brugge], [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], [fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
      3250.0 is 1500.0 + 1750.0,
      0.015000000000000001 is 0.006 + 0.009000000000000001,
      0.9498452039999999 is 0.99 * 0.9594396,
      0.9702 is 0.99 * 0.98]).
step(path(state(brugge, mid, none), state(oostende, mid, yes), [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 1750.0, 0.009000000000000001, 0.9594396, 0.98, "tttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1750.0,
      'Cost' = 0.009000000000000001,
      'Belief' = 0.9594396,
      'Comfort' = 0.98,
      'Fuelmid' = "ttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, full, none),
      'Act' = topup_brugge,
      'D1' = 400.0,
      'C1' = 0.003,
      'B1' = 0.999,
      'M1' = 0.98,
      'Restactions' = [buy_permit_brugge, cross_corridor_brugge_oostende],
      'D2' = 1350.0,
      'C2' = 0.006,
      'B2' = 0.9603999999999999,
      'M2' = 1.0],
     [step(state(brugge, mid, none), state(brugge, full, none), topup_brugge, 400.0, 0.003, 0.999, 0.98),
      path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, cross_corridor_brugge_oostende], 1350.0, 0.006, 0.9603999999999999, 1.0, "ttttt", "ttt"),
      append([topup_brugge], [buy_permit_brugge, cross_corridor_brugge_oostende], [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
      1750.0 is 400.0 + 1350.0,
      0.009000000000000001 is 0.003 + 0.006,
      0.9594396 is 0.999 * 0.9603999999999999,
      0.98 is 0.98 * 1.0]).
step(path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, cross_corridor_brugge_oostende], 1350.0, 0.006, 0.9603999999999999, 1.0, "ttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1350.0,
      'Cost' = 0.006,
      'Belief' = 0.9603999999999999,
      'Comfort' = 1.0,
      'Fuelmid' = "tttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, full, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [cross_corridor_brugge_oostende],
      'D2' = 900.0,
      'C2' = 0.004,
      'B2' = 0.98,
      'M2' = 1.0],
     [step(state(brugge, full, none), state(brugge, full, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "tttt", "ttt"),
      append([buy_permit_brugge], [cross_corridor_brugge_oostende], [buy_permit_brugge, cross_corridor_brugge_oostende]),
      1350.0 is 450.0 + 900.0,
      0.006 is 0.002 + 0.004,
      0.9603999999999999 is 0.98 * 0.98,
      1.0 is 1.0 * 1.0]).
step(step(state(brugge, full, none), state(brugge, full, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
     fact(8),
     ['B' = full],
     []).
step(append([buy_permit_brugge], [cross_corridor_brugge_oostende], [buy_permit_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(1350.0 is 450.0 + 900.0, builtin, [], []).
step(0.006 is 0.002 + 0.004, builtin, [], []).
step(0.9603999999999999 is 0.98 * 0.98, builtin, [], []).
step(1.0 is 1.0 * 1.0, builtin, [], []).
step(append([topup_brugge], [buy_permit_brugge, cross_corridor_brugge_oostende], [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(1750.0 is 400.0 + 1350.0, builtin, [], []).
step(0.9594396 is 0.999 * 0.9603999999999999, builtin, [], []).
step(append([fly_gent_brugge], [topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], [fly_gent_brugge, topup_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(gps_plan(d1, plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")),
     rule(19),
     ['Actions' = [fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.944999055,
      'Comfort' = 0.931392,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt"],
     [surviving_plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt")]).
step(surviving_plan([fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, mid, yes, "ttt"),
     rule(18),
     ['Actions' = [fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.944999055,
      'Comfort' = 0.931392,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, "ttttttt", "ttt"),
      0.944999055 > 0.94,
      0.017 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3550.0, 0.017, 0.944999055, 0.931392, "ttttttt", "ttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.944999055,
      'Comfort' = 0.931392,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, mid, none),
      'Act' = fly_gent_brugge,
      'D1' = 1500.0,
      'C1' = 0.006,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'D2' = 2050.0,
      'C2' = 0.011,
      'B2' = 0.9545445,
      'M2' = 0.9408],
     [step(state(gent, full, none), state(brugge, mid, none), fly_gent_brugge, 1500.0, 0.006, 0.99, 0.99),
      path(state(brugge, mid, none), state(oostende, mid, yes), [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 2050.0, 0.011, 0.9545445, 0.9408, "tttttt", "ttt"),
      append([fly_gent_brugge], [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
      3550.0 is 1500.0 + 2050.0,
      0.017 is 0.006 + 0.011,
      0.944999055 is 0.99 * 0.9545445,
      0.931392 is 0.99 * 0.9408]).
step(path(state(brugge, mid, none), state(oostende, mid, yes), [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 2050.0, 0.011, 0.9545445, 0.9408, "tttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 2050.0,
      'Cost' = 0.011,
      'Belief' = 0.9545445,
      'Comfort' = 0.9408,
      'Fuelmid' = "ttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, full, none),
      'Act' = topup_brugge,
      'D1' = 400.0,
      'C1' = 0.003,
      'B1' = 0.999,
      'M1' = 0.98,
      'Restactions' = [buy_permit_brugge, public_coastline_brugge_oostende],
      'D2' = 1650.0,
      'C2' = 0.008,
      'B2' = 0.9555,
      'M2' = 0.96],
     [step(state(brugge, mid, none), state(brugge, full, none), topup_brugge, 400.0, 0.003, 0.999, 0.98),
      path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, public_coastline_brugge_oostende], 1650.0, 0.008, 0.9555, 0.96, "ttttt", "ttt"),
      append([topup_brugge], [buy_permit_brugge, public_coastline_brugge_oostende], [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
      2050.0 is 400.0 + 1650.0,
      0.011 is 0.003 + 0.008,
      0.9545445 is 0.999 * 0.9555,
      0.9408 is 0.98 * 0.96]).
step(path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, public_coastline_brugge_oostende], 1650.0, 0.008, 0.9555, 0.96, "ttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 1650.0,
      'Cost' = 0.008,
      'Belief' = 0.9555,
      'Comfort' = 0.96,
      'Fuelmid' = "tttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, full, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1200.0,
      'C2' = 0.006,
      'B2' = 0.975,
      'M2' = 0.96],
     [step(state(brugge, full, none), state(brugge, full, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, full, yes), state(oostende, mid, yes), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "tttt", "ttt"),
      append([buy_permit_brugge], [public_coastline_brugge_oostende], [buy_permit_brugge, public_coastline_brugge_oostende]),
      1650.0 is 450.0 + 1200.0,
      0.008 is 0.002 + 0.006,
      0.9555 is 0.98 * 0.975,
      0.96 is 1.0 * 0.96]).
step(1650.0 is 450.0 + 1200.0, builtin, [], []).
step(0.9555 is 0.98 * 0.975, builtin, [], []).
step(append([topup_brugge], [buy_permit_brugge, public_coastline_brugge_oostende], [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(2050.0 is 400.0 + 1650.0, builtin, [], []).
step(0.011 is 0.003 + 0.008, builtin, [], []).
step(0.9545445 is 0.999 * 0.9555, builtin, [], []).
step(append([fly_gent_brugge], [topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende], [fly_gent_brugge, topup_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(0.017 is 0.006 + 0.011, builtin, [], []).
step(gps_plan(d1, plan([train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.974025, 0.9551999999999999, mid, none, "ttttt")),
     rule(19),
     ['Actions' = [train_gent_brugge, public_coastline_brugge_oostende],
      'Duration' = 2900.0,
      'Cost' = 0.018000000000000002,
      'Belief' = 0.974025,
      'Comfort' = 0.9551999999999999,
      'Battery' = mid,
      'Permit' = none,
      'Fuelleft' = "ttttt"],
     [surviving_plan([train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.974025, 0.9551999999999999, mid, none, "ttttt")]).
step(surviving_plan([train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.974025, 0.9551999999999999, mid, none, "ttttt"),
     rule(18),
     ['Actions' = [train_gent_brugge, public_coastline_brugge_oostende],
      'Duration' = 2900.0,
      'Cost' = 0.018000000000000002,
      'Belief' = 0.974025,
      'Comfort' = 0.9551999999999999,
      'Battery' = mid,
      'Permit' = none,
      'Fuelleft' = "ttttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, none), [train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.974025, 0.9551999999999999, "ttttttt", "ttttt"),
      0.974025 > 0.94,
      0.018000000000000002 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, none), [train_gent_brugge, public_coastline_brugge_oostende], 2900.0, 0.018000000000000002, 0.974025, 0.9551999999999999, "ttttttt", "ttttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, none),
      'Actions' = [train_gent_brugge, public_coastline_brugge_oostende],
      'Duration' = 2900.0,
      'Cost' = 0.018000000000000002,
      'Belief' = 0.974025,
      'Comfort' = 0.9551999999999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttttt",
      'Mid' = state(brugge, full, none),
      'Act' = train_gent_brugge,
      'D1' = 1700.0,
      'C1' = 0.012,
      'B1' = 0.999,
      'M1' = 0.995,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1200.0,
      'C2' = 0.006,
      'B2' = 0.975,
      'M2' = 0.96],
     [step(state(gent, full, none), state(brugge, full, none), train_gent_brugge, 1700.0, 0.012, 0.999, 0.995),
      path(state(brugge, full, none), state(oostende, mid, none), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "tttttt", "ttttt"),
      append([train_gent_brugge], [public_coastline_brugge_oostende], [train_gent_brugge, public_coastline_brugge_oostende]),
      2900.0 is 1700.0 + 1200.0,
      0.018000000000000002 is 0.012 + 0.006,
      0.974025 is 0.999 * 0.975,
      0.9551999999999999 is 0.995 * 0.96]).
step(step(state(gent, full, none), state(brugge, full, none), train_gent_brugge, 1700.0, 0.012, 0.999, 0.995),
     fact(3),
     ['B' = full, 'P' = none],
     []).
step(path(state(brugge, full, none), state(oostende, mid, none), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "tttttt", "ttttt"),
     rule(16),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, none),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1200.0,
      'Cost' = 0.006,
      'Belief' = 0.975,
      'Comfort' = 0.96,
      'Fuelout' = "ttttt"],
     [step(state(brugge, full, none), state(oostende, mid, none), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96)]).
step(append([train_gent_brugge], [public_coastline_brugge_oostende], [train_gent_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(2900.0 is 1700.0 + 1200.0, builtin, [], []).
step(0.018000000000000002 is 0.012 + 0.006, builtin, [], []).
step(0.9551999999999999 is 0.995 * 0.96, builtin, [], []).
step(0.974025 > 0.94, builtin, [], []).
step(0.018000000000000002 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.9594396, 0.995, mid, yes, "tttt")),
     rule(19),
     ['Actions' = [train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3050.0,
      'Cost' = 0.018000000000000002,
      'Belief' = 0.9594396,
      'Comfort' = 0.995,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tttt"],
     [surviving_plan([train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.9594396, 0.995, mid, yes, "tttt")]).
step(surviving_plan([train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.9594396, 0.995, mid, yes, "tttt"),
     rule(18),
     ['Actions' = [train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3050.0,
      'Cost' = 0.018000000000000002,
      'Belief' = 0.9594396,
      'Comfort' = 0.995,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.9594396, 0.995, "ttttttt", "tttt"),
      0.9594396 > 0.94,
      0.018000000000000002 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3050.0, 0.018000000000000002, 0.9594396, 0.995, "ttttttt", "tttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3050.0,
      'Cost' = 0.018000000000000002,
      'Belief' = 0.9594396,
      'Comfort' = 0.995,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, full, none),
      'Act' = train_gent_brugge,
      'D1' = 1700.0,
      'C1' = 0.012,
      'B1' = 0.999,
      'M1' = 0.995,
      'Restactions' = [buy_permit_brugge, cross_corridor_brugge_oostende],
      'D2' = 1350.0,
      'C2' = 0.006,
      'B2' = 0.9603999999999999,
      'M2' = 1.0],
     [step(state(gent, full, none), state(brugge, full, none), train_gent_brugge, 1700.0, 0.012, 0.999, 0.995),
      path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, cross_corridor_brugge_oostende], 1350.0, 0.006, 0.9603999999999999, 1.0, "tttttt", "tttt"),
      append([train_gent_brugge], [buy_permit_brugge, cross_corridor_brugge_oostende], [train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
      3050.0 is 1700.0 + 1350.0,
      0.018000000000000002 is 0.012 + 0.006,
      0.9594396 is 0.999 * 0.9603999999999999,
      0.995 is 0.995 * 1.0]).
step(path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, cross_corridor_brugge_oostende], 1350.0, 0.006, 0.9603999999999999, 1.0, "tttttt", "tttt"),
     rule(17),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1350.0,
      'Cost' = 0.006,
      'Belief' = 0.9603999999999999,
      'Comfort' = 1.0,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, full, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [cross_corridor_brugge_oostende],
      'D2' = 900.0,
      'C2' = 0.004,
      'B2' = 0.98,
      'M2' = 1.0],
     [step(state(brugge, full, none), state(brugge, full, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "ttttt", "tttt"),
      append([buy_permit_brugge], [cross_corridor_brugge_oostende], [buy_permit_brugge, cross_corridor_brugge_oostende]),
      1350.0 is 450.0 + 900.0,
      0.006 is 0.002 + 0.004,
      0.9603999999999999 is 0.98 * 0.98,
      1.0 is 1.0 * 1.0]).
step(path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "ttttt", "tttt"),
     rule(16),
     ['From' = state(brugge, full, yes),
      'To' = state(oostende, mid, yes),
      'Act' = cross_corridor_brugge_oostende,
      'Duration' = 900.0,
      'Cost' = 0.004,
      'Belief' = 0.98,
      'Comfort' = 1.0,
      'Fuelout' = "tttt"],
     [step(state(brugge, full, yes), state(oostende, mid, yes), cross_corridor_brugge_oostende, 900.0, 0.004, 0.98, 1.0)]).
step(append([train_gent_brugge], [buy_permit_brugge, cross_corridor_brugge_oostende], [train_gent_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(3050.0 is 1700.0 + 1350.0, builtin, [], []).
step(0.995 is 0.995 * 1.0, builtin, [], []).
step(0.9594396 > 0.94, builtin, [], []).
step(gps_plan(d1, plan([train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.9545445, 0.9551999999999999, mid, yes, "tttt")),
     rule(19),
     ['Actions' = [train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3350.0,
      'Cost' = 0.02,
      'Belief' = 0.9545445,
      'Comfort' = 0.9551999999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tttt"],
     [surviving_plan([train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.9545445, 0.9551999999999999, mid, yes, "tttt")]).
step(surviving_plan([train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.9545445, 0.9551999999999999, mid, yes, "tttt"),
     rule(18),
     ['Actions' = [train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3350.0,
      'Cost' = 0.02,
      'Belief' = 0.9545445,
      'Comfort' = 0.9551999999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.9545445, 0.9551999999999999, "ttttttt", "tttt"),
      0.9545445 > 0.94,
      0.02 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende], 3350.0, 0.02, 0.9545445, 0.9551999999999999, "ttttttt", "tttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 3350.0,
      'Cost' = 0.02,
      'Belief' = 0.9545445,
      'Comfort' = 0.9551999999999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, full, none),
      'Act' = train_gent_brugge,
      'D1' = 1700.0,
      'C1' = 0.012,
      'B1' = 0.999,
      'M1' = 0.995,
      'Restactions' = [buy_permit_brugge, public_coastline_brugge_oostende],
      'D2' = 1650.0,
      'C2' = 0.008,
      'B2' = 0.9555,
      'M2' = 0.96],
     [step(state(gent, full, none), state(brugge, full, none), train_gent_brugge, 1700.0, 0.012, 0.999, 0.995),
      path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, public_coastline_brugge_oostende], 1650.0, 0.008, 0.9555, 0.96, "tttttt", "tttt"),
      append([train_gent_brugge], [buy_permit_brugge, public_coastline_brugge_oostende], [train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
      3350.0 is 1700.0 + 1650.0,
      0.02 is 0.012 + 0.008,
      0.9545445 is 0.999 * 0.9555,
      0.9551999999999999 is 0.995 * 0.96]).
step(path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, public_coastline_brugge_oostende], 1650.0, 0.008, 0.9555, 0.96, "tttttt", "tttt"),
     rule(17),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, public_coastline_brugge_oostende],
      'Duration' = 1650.0,
      'Cost' = 0.008,
      'Belief' = 0.9555,
      'Comfort' = 0.96,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tttt",
      'Mid' = state(brugge, full, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1200.0,
      'C2' = 0.006,
      'B2' = 0.975,
      'M2' = 0.96],
     [step(state(brugge, full, none), state(brugge, full, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, full, yes), state(oostende, mid, yes), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "ttttt", "tttt"),
      append([buy_permit_brugge], [public_coastline_brugge_oostende], [buy_permit_brugge, public_coastline_brugge_oostende]),
      1650.0 is 450.0 + 1200.0,
      0.008 is 0.002 + 0.006,
      0.9555 is 0.98 * 0.975,
      0.96 is 1.0 * 0.96]).
step(path(state(brugge, full, yes), state(oostende, mid, yes), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "ttttt", "tttt"),
     rule(16),
     ['From' = state(brugge, full, yes),
      'To' = state(oostende, mid, yes),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1200.0,
      'Cost' = 0.006,
      'Belief' = 0.975,
      'Comfort' = 0.96,
      'Fuelout' = "tttt"],
     [step(state(brugge, full, yes), state(oostende, mid, yes), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96)]).
step(append([train_gent_brugge], [buy_permit_brugge, public_coastline_brugge_oostende], [train_gent_brugge, buy_permit_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(3350.0 is 1700.0 + 1650.0, builtin, [], []).
step(0.02 is 0.012 + 0.008, builtin, [], []).
step(0.9545445 > 0.94, builtin, [], []).
step(0.02 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")),
     rule(19),
     ['Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5150.0,
      'Cost' = 0.024,
      'Belief' = 0.94034675196,
      'Comfort' = 0.9506969999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt"],
     [surviving_plan([fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")]).
step(surviving_plan([fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt"),
     rule(18),
     ['Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5150.0,
      'Cost' = 0.024,
      'Belief' = 0.94034675196,
      'Comfort' = 0.9506969999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, "ttttttt", "tt"),
      0.94034675196 > 0.94,
      0.024 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, "ttttttt", "tt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5150.0,
      'Cost' = 0.024,
      'Belief' = 0.94034675196,
      'Comfort' = 0.9506969999999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tt",
      'Mid' = state(kortrijk, mid, none),
      'Act' = fly_gent_kortrijk,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'D2' = 3550.0,
      'C2' = 0.017,
      'B2' = 0.9498452039999999,
      'M2' = 0.9602999999999999],
     [step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
      path(state(kortrijk, mid, none), state(oostende, mid, yes), [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 3550.0, 0.017, 0.9498452039999999, 0.9602999999999999, "tttttt", "tt"),
      append([fly_gent_kortrijk], [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
      5150.0 is 1600.0 + 3550.0,
      0.024 is 0.007 + 0.017,
      0.94034675196 is 0.99 * 0.9498452039999999,
      0.9506969999999999 is 0.99 * 0.9602999999999999]).
step(step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
     fact(4),
     ['P' = none],
     []).
step(path(state(kortrijk, mid, none), state(oostende, mid, yes), [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 3550.0, 0.017, 0.9498452039999999, 0.9602999999999999, "tttttt", "tt"),
     rule(17),
     ['From' = state(kortrijk, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9602999999999999,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, low, none),
      'Act' = fly_kortrijk_brugge,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'D2' = 1950.0,
      'C2' = 0.01,
      'B2' = 0.9594396,
      'M2' = 0.97],
     [step(state(kortrijk, mid, none), state(brugge, low, none), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
      path(state(brugge, low, none), state(oostende, mid, yes), [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 1950.0, 0.01, 0.9594396, 0.97, "ttttt", "tt"),
      append([fly_kortrijk_brugge], [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
      3550.0 is 1600.0 + 1950.0,
      0.017 is 0.007 + 0.01,
      0.9498452039999999 is 0.99 * 0.9594396,
      0.9602999999999999 is 0.99 * 0.97]).
step(step(state(kortrijk, mid, none), state(brugge, low, none), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
     fact(5),
     ['P' = none],
     []).
step(path(state(brugge, low, none), state(oostende, mid, yes), [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 1950.0, 0.01, 0.9594396, 0.97, "ttttt", "tt"),
     rule(17),
     ['From' = state(brugge, low, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1950.0,
      'Cost' = 0.01,
      'Belief' = 0.9594396,
      'Comfort' = 0.97,
      'Fuelmid' = "tttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, low, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [quick_charge_brugge, cross_corridor_brugge_oostende],
      'D2' = 1500.0,
      'C2' = 0.008,
      'B2' = 0.97902,
      'M2' = 0.97],
     [step(state(brugge, low, none), state(brugge, low, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, low, yes), state(oostende, mid, yes), [quick_charge_brugge, cross_corridor_brugge_oostende], 1500.0, 0.008, 0.97902, 0.97, "tttt", "tt"),
      append([buy_permit_brugge], [quick_charge_brugge, cross_corridor_brugge_oostende], [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
      1950.0 is 450.0 + 1500.0,
      0.01 is 0.002 + 0.008,
      0.9594396 is 0.98 * 0.97902,
      0.97 is 1.0 * 0.97]).
step(step(state(brugge, low, none), state(brugge, low, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
     fact(8),
     ['B' = low],
     []).
step(path(state(brugge, low, yes), state(oostende, mid, yes), [quick_charge_brugge, cross_corridor_brugge_oostende], 1500.0, 0.008, 0.97902, 0.97, "tttt", "tt"),
     rule(17),
     ['From' = state(brugge, low, yes),
      'To' = state(oostende, mid, yes),
      'Actions' = [quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1500.0,
      'Cost' = 0.008,
      'Belief' = 0.97902,
      'Comfort' = 0.97,
      'Fuelmid' = "ttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, full, yes),
      'Act' = quick_charge_brugge,
      'D1' = 600.0,
      'C1' = 0.004,
      'B1' = 0.999,
      'M1' = 0.97,
      'Restactions' = [cross_corridor_brugge_oostende],
      'D2' = 900.0,
      'C2' = 0.004,
      'B2' = 0.98,
      'M2' = 1.0],
     [step(state(brugge, low, yes), state(brugge, full, yes), quick_charge_brugge, 600.0, 0.004, 0.999, 0.97),
      path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "ttt", "tt"),
      append([quick_charge_brugge], [cross_corridor_brugge_oostende], [quick_charge_brugge, cross_corridor_brugge_oostende]),
      1500.0 is 600.0 + 900.0,
      0.008 is 0.004 + 0.004,
      0.97902 is 0.999 * 0.98,
      0.97 is 0.97 * 1.0]).
step(step(state(brugge, low, yes), state(brugge, full, yes), quick_charge_brugge, 600.0, 0.004, 0.999, 0.97),
     fact(9),
     ['P' = yes],
     []).
step(path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "ttt", "tt"),
     rule(16),
     ['From' = state(brugge, full, yes),
      'To' = state(oostende, mid, yes),
      'Act' = cross_corridor_brugge_oostende,
      'Duration' = 900.0,
      'Cost' = 0.004,
      'Belief' = 0.98,
      'Comfort' = 1.0,
      'Fuelout' = "tt"],
     [step(state(brugge, full, yes), state(oostende, mid, yes), cross_corridor_brugge_oostende, 900.0, 0.004, 0.98, 1.0)]).
step(append([quick_charge_brugge], [cross_corridor_brugge_oostende], [quick_charge_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(1500.0 is 600.0 + 900.0, builtin, [], []).
step(0.008 is 0.004 + 0.004, builtin, [], []).
step(0.97 is 0.97 * 1.0, builtin, [], []).
step(append([buy_permit_brugge], [quick_charge_brugge, cross_corridor_brugge_oostende], [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(1950.0 is 450.0 + 1500.0, builtin, [], []).
step(0.01 is 0.002 + 0.008, builtin, [], []).
step(0.97 is 1.0 * 0.97, builtin, [], []).
step(append([fly_kortrijk_brugge], [buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(3550.0 is 1600.0 + 1950.0, builtin, [], []).
step(0.017 is 0.007 + 0.01, builtin, [], []).
step(append([fly_gent_kortrijk], [fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [fly_gent_kortrijk, fly_kortrijk_brugge, buy_permit_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(5150.0 is 1600.0 + 3550.0, builtin, [], []).
step(0.024 is 0.007 + 0.017, builtin, [], []).
step(0.94034675196 is 0.99 * 0.9498452039999999, builtin, [], []).
step(0.9506969999999999 is 0.99 * 0.9602999999999999, builtin, [], []).
step(0.94034675196 > 0.94, builtin, [], []).
step(0.024 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.9546419025, 0.9126691199999999, mid, none, "ttt")),
     rule(19),
     ['Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 5000.0,
      'Cost' = 0.024,
      'Belief' = 0.9546419025,
      'Comfort' = 0.9126691199999999,
      'Battery' = mid,
      'Permit' = none,
      'Fuelleft' = "ttt"],
     [surviving_plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.9546419025, 0.9126691199999999, mid, none, "ttt")]).
step(surviving_plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.9546419025, 0.9126691199999999, mid, none, "ttt"),
     rule(18),
     ['Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 5000.0,
      'Cost' = 0.024,
      'Belief' = 0.9546419025,
      'Comfort' = 0.9126691199999999,
      'Battery' = mid,
      'Permit' = none,
      'Fuelleft' = "ttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, none), [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.9546419025, 0.9126691199999999, "ttttttt", "ttt"),
      0.9546419025 > 0.94,
      0.024 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, none), [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5000.0, 0.024, 0.9546419025, 0.9126691199999999, "ttttttt", "ttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, none),
      'Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 5000.0,
      'Cost' = 0.024,
      'Belief' = 0.9546419025,
      'Comfort' = 0.9126691199999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttt",
      'Mid' = state(kortrijk, mid, none),
      'Act' = fly_gent_kortrijk,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'D2' = 3400.0,
      'C2' = 0.017,
      'B2' = 0.96428475,
      'M2' = 0.9218879999999999],
     [step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
      path(state(kortrijk, mid, none), state(oostende, mid, none), [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 3400.0, 0.017, 0.96428475, 0.9218879999999999, "tttttt", "ttt"),
      append([fly_gent_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
      5000.0 is 1600.0 + 3400.0,
      0.024 is 0.007 + 0.017,
      0.9546419025 is 0.99 * 0.96428475,
      0.9126691199999999 is 0.99 * 0.9218879999999999]).
step(path(state(kortrijk, mid, none), state(oostende, mid, none), [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 3400.0, 0.017, 0.96428475, 0.9218879999999999, "tttttt", "ttt"),
     rule(17),
     ['From' = state(kortrijk, mid, none),
      'To' = state(oostende, mid, none),
      'Actions' = [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 3400.0,
      'Cost' = 0.017,
      'Belief' = 0.96428475,
      'Comfort' = 0.9218879999999999,
      'Fuelmid' = "ttttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, low, none),
      'Act' = fly_kortrijk_brugge,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [quick_charge_brugge, public_coastline_brugge_oostende],
      'D2' = 1800.0,
      'C2' = 0.01,
      'B2' = 0.974025,
      'M2' = 0.9311999999999999],
     [step(state(kortrijk, mid, none), state(brugge, low, none), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
      path(state(brugge, low, none), state(oostende, mid, none), [quick_charge_brugge, public_coastline_brugge_oostende], 1800.0, 0.01, 0.974025, 0.9311999999999999, "ttttt", "ttt"),
      append([fly_kortrijk_brugge], [quick_charge_brugge, public_coastline_brugge_oostende], [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
      3400.0 is 1600.0 + 1800.0,
      0.017 is 0.007 + 0.01,
      0.96428475 is 0.99 * 0.974025,
      0.9218879999999999 is 0.99 * 0.9311999999999999]).
step(path(state(brugge, low, none), state(oostende, mid, none), [quick_charge_brugge, public_coastline_brugge_oostende], 1800.0, 0.01, 0.974025, 0.9311999999999999, "ttttt", "ttt"),
     rule(17),
     ['From' = state(brugge, low, none),
      'To' = state(oostende, mid, none),
      'Actions' = [quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 1800.0,
      'Cost' = 0.01,
      'Belief' = 0.974025,
      'Comfort' = 0.9311999999999999,
      'Fuelmid' = "tttt",
      'Fuelout' = "ttt",
      'Mid' = state(brugge, full, none),
      'Act' = quick_charge_brugge,
      'D1' = 600.0,
      'C1' = 0.004,
      'B1' = 0.999,
      'M1' = 0.97,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1200.0,
      'C2' = 0.006,
      'B2' = 0.975,
      'M2' = 0.96],
     [step(state(brugge, low, none), state(brugge, full, none), quick_charge_brugge, 600.0, 0.004, 0.999, 0.97),
      path(state(brugge, full, none), state(oostende, mid, none), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "tttt", "ttt"),
      append([quick_charge_brugge], [public_coastline_brugge_oostende], [quick_charge_brugge, public_coastline_brugge_oostende]),
      1800.0 is 600.0 + 1200.0,
      0.01 is 0.004 + 0.006,
      0.974025 is 0.999 * 0.975,
      0.9311999999999999 is 0.97 * 0.96]).
step(step(state(brugge, low, none), state(brugge, full, none), quick_charge_brugge, 600.0, 0.004, 0.999, 0.97),
     fact(9),
     ['P' = none],
     []).
step(path(state(brugge, full, none), state(oostende, mid, none), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "tttt", "ttt"),
     rule(16),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, none),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1200.0,
      'Cost' = 0.006,
      'Belief' = 0.975,
      'Comfort' = 0.96,
      'Fuelout' = "ttt"],
     [step(state(brugge, full, none), state(oostende, mid, none), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96)]).
step(append([quick_charge_brugge], [public_coastline_brugge_oostende], [quick_charge_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(1800.0 is 600.0 + 1200.0, builtin, [], []).
step(0.01 is 0.004 + 0.006, builtin, [], []).
step(0.9311999999999999 is 0.97 * 0.96, builtin, [], []).
step(append([fly_kortrijk_brugge], [quick_charge_brugge, public_coastline_brugge_oostende], [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(3400.0 is 1600.0 + 1800.0, builtin, [], []).
step(0.9218879999999999 is 0.99 * 0.9311999999999999, builtin, [], []).
step(append([fly_gent_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(5000.0 is 1600.0 + 3400.0, builtin, [], []).
step(0.9546419025 is 0.99 * 0.96428475, builtin, [], []).
step(0.9126691199999999 is 0.99 * 0.9218879999999999, builtin, [], []).
step(0.9546419025 > 0.94, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")),
     rule(19),
     ['Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5150.0,
      'Cost' = 0.024,
      'Belief' = 0.94034675196,
      'Comfort' = 0.9506969999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt"],
     [surviving_plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt")]).
step(surviving_plan([fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, mid, yes, "tt"),
     rule(18),
     ['Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5150.0,
      'Cost' = 0.024,
      'Belief' = 0.94034675196,
      'Comfort' = 0.9506969999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, "ttttttt", "tt"),
      0.94034675196 > 0.94,
      0.024 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 5150.0, 0.024, 0.94034675196, 0.9506969999999999, "ttttttt", "tt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5150.0,
      'Cost' = 0.024,
      'Belief' = 0.94034675196,
      'Comfort' = 0.9506969999999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tt",
      'Mid' = state(kortrijk, mid, none),
      'Act' = fly_gent_kortrijk,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'D2' = 3550.0,
      'C2' = 0.017,
      'B2' = 0.9498452039999999,
      'M2' = 0.9602999999999999],
     [step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
      path(state(kortrijk, mid, none), state(oostende, mid, yes), [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3550.0, 0.017, 0.9498452039999999, 0.9602999999999999, "tttttt", "tt"),
      append([fly_gent_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
      5150.0 is 1600.0 + 3550.0,
      0.024 is 0.007 + 0.017,
      0.94034675196 is 0.99 * 0.9498452039999999,
      0.9506969999999999 is 0.99 * 0.9602999999999999]).
step(path(state(kortrijk, mid, none), state(oostende, mid, yes), [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 3550.0, 0.017, 0.9498452039999999, 0.9602999999999999, "tttttt", "tt"),
     rule(17),
     ['From' = state(kortrijk, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3550.0,
      'Cost' = 0.017,
      'Belief' = 0.9498452039999999,
      'Comfort' = 0.9602999999999999,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, low, none),
      'Act' = fly_kortrijk_brugge,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'D2' = 1950.0,
      'C2' = 0.01,
      'B2' = 0.9594396,
      'M2' = 0.97],
     [step(state(kortrijk, mid, none), state(brugge, low, none), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
      path(state(brugge, low, none), state(oostende, mid, yes), [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 1950.0, 0.01, 0.9594396, 0.97, "ttttt", "tt"),
      append([fly_kortrijk_brugge], [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
      3550.0 is 1600.0 + 1950.0,
      0.017 is 0.007 + 0.01,
      0.9498452039999999 is 0.99 * 0.9594396,
      0.9602999999999999 is 0.99 * 0.97]).
step(path(state(brugge, low, none), state(oostende, mid, yes), [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], 1950.0, 0.01, 0.9594396, 0.97, "ttttt", "tt"),
     rule(17),
     ['From' = state(brugge, low, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1950.0,
      'Cost' = 0.01,
      'Belief' = 0.9594396,
      'Comfort' = 0.97,
      'Fuelmid' = "tttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, full, none),
      'Act' = quick_charge_brugge,
      'D1' = 600.0,
      'C1' = 0.004,
      'B1' = 0.999,
      'M1' = 0.97,
      'Restactions' = [buy_permit_brugge, cross_corridor_brugge_oostende],
      'D2' = 1350.0,
      'C2' = 0.006,
      'B2' = 0.9603999999999999,
      'M2' = 1.0],
     [step(state(brugge, low, none), state(brugge, full, none), quick_charge_brugge, 600.0, 0.004, 0.999, 0.97),
      path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, cross_corridor_brugge_oostende], 1350.0, 0.006, 0.9603999999999999, 1.0, "tttt", "tt"),
      append([quick_charge_brugge], [buy_permit_brugge, cross_corridor_brugge_oostende], [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
      1950.0 is 600.0 + 1350.0,
      0.01 is 0.004 + 0.006,
      0.9594396 is 0.999 * 0.9603999999999999,
      0.97 is 0.97 * 1.0]).
step(path(state(brugge, full, none), state(oostende, mid, yes), [buy_permit_brugge, cross_corridor_brugge_oostende], 1350.0, 0.006, 0.9603999999999999, 1.0, "tttt", "tt"),
     rule(17),
     ['From' = state(brugge, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [buy_permit_brugge, cross_corridor_brugge_oostende],
      'Duration' = 1350.0,
      'Cost' = 0.006,
      'Belief' = 0.9603999999999999,
      'Comfort' = 1.0,
      'Fuelmid' = "ttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, full, yes),
      'Act' = buy_permit_brugge,
      'D1' = 450.0,
      'C1' = 0.002,
      'B1' = 0.98,
      'M1' = 1.0,
      'Restactions' = [cross_corridor_brugge_oostende],
      'D2' = 900.0,
      'C2' = 0.004,
      'B2' = 0.98,
      'M2' = 1.0],
     [step(state(brugge, full, none), state(brugge, full, yes), buy_permit_brugge, 450.0, 0.002, 0.98, 1.0),
      path(state(brugge, full, yes), state(oostende, mid, yes), [cross_corridor_brugge_oostende], 900.0, 0.004, 0.98, 1.0, "ttt", "tt"),
      append([buy_permit_brugge], [cross_corridor_brugge_oostende], [buy_permit_brugge, cross_corridor_brugge_oostende]),
      1350.0 is 450.0 + 900.0,
      0.006 is 0.002 + 0.004,
      0.9603999999999999 is 0.98 * 0.98,
      1.0 is 1.0 * 1.0]).
step(append([quick_charge_brugge], [buy_permit_brugge, cross_corridor_brugge_oostende], [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(1950.0 is 600.0 + 1350.0, builtin, [], []).
step(append([fly_kortrijk_brugge], [quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(append([fly_gent_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende], [fly_gent_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, buy_permit_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.958577964498, 0.9506969999999999, mid, yes, "tt")),
     rule(19),
     ['Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5000.0,
      'Cost' = 0.023,
      'Belief' = 0.958577964498,
      'Comfort' = 0.9506969999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt"],
     [surviving_plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.958577964498, 0.9506969999999999, mid, yes, "tt")]).
step(surviving_plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.958577964498, 0.9506969999999999, mid, yes, "tt"),
     rule(18),
     ['Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5000.0,
      'Cost' = 0.023,
      'Belief' = 0.958577964498,
      'Comfort' = 0.9506969999999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.958577964498, 0.9506969999999999, "ttttttt", "tt"),
      0.958577964498 > 0.94,
      0.023 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 5000.0, 0.023, 0.958577964498, 0.9506969999999999, "ttttttt", "tt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 5000.0,
      'Cost' = 0.023,
      'Belief' = 0.958577964498,
      'Comfort' = 0.9506969999999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tt",
      'Mid' = state(kortrijk, mid, none),
      'Act' = fly_gent_kortrijk,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'D2' = 3400.0,
      'C2' = 0.016,
      'B2' = 0.9682605702,
      'M2' = 0.9602999999999999],
     [step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
      path(state(kortrijk, mid, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 3400.0, 0.016, 0.9682605702, 0.9602999999999999, "tttttt", "tt"),
      append([fly_gent_kortrijk], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
      5000.0 is 1600.0 + 3400.0,
      0.023 is 0.007 + 0.016,
      0.958577964498 is 0.99 * 0.9682605702,
      0.9506969999999999 is 0.99 * 0.9602999999999999]).
step(path(state(kortrijk, mid, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 3400.0, 0.016, 0.9682605702, 0.9602999999999999, "tttttt", "tt"),
     rule(17),
     ['From' = state(kortrijk, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3400.0,
      'Cost' = 0.016,
      'Belief' = 0.9682605702,
      'Comfort' = 0.9602999999999999,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tt",
      'Mid' = state(kortrijk, mid, yes),
      'Act' = get_zone_permit_kortrijk,
      'D1' = 300.0,
      'C1' = 0.001,
      'B1' = 0.999,
      'M1' = 1.0,
      'Restactions' = [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'D2' = 3100.0,
      'C2' = 0.015,
      'B2' = 0.9692298,
      'M2' = 0.9602999999999999],
     [step(state(kortrijk, mid, none), state(kortrijk, mid, yes), get_zone_permit_kortrijk, 300.0, 0.001, 0.999, 1.0),
      path(state(kortrijk, mid, yes), state(oostende, mid, yes), [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 3100.0, 0.015, 0.9692298, 0.9602999999999999, "ttttt", "tt"),
      append([get_zone_permit_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
      3400.0 is 300.0 + 3100.0,
      0.016 is 0.001 + 0.015,
      0.9682605702 is 0.999 * 0.9692298,
      0.9602999999999999 is 1.0 * 0.9602999999999999]).
step(step(state(kortrijk, mid, none), state(kortrijk, mid, yes), get_zone_permit_kortrijk, 300.0, 0.001, 0.999, 1.0),
     fact(7),
     ['B' = mid],
     []).
step(path(state(kortrijk, mid, yes), state(oostende, mid, yes), [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], 3100.0, 0.015, 0.9692298, 0.9602999999999999, "ttttt", "tt"),
     rule(17),
     ['From' = state(kortrijk, mid, yes),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende],
      'Duration' = 3100.0,
      'Cost' = 0.015,
      'Belief' = 0.9692298,
      'Comfort' = 0.9602999999999999,
      'Fuelmid' = "tttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, low, yes),
      'Act' = fly_kortrijk_brugge,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [quick_charge_brugge, cross_corridor_brugge_oostende],
      'D2' = 1500.0,
      'C2' = 0.008,
      'B2' = 0.97902,
      'M2' = 0.97],
     [step(state(kortrijk, mid, yes), state(brugge, low, yes), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
      path(state(brugge, low, yes), state(oostende, mid, yes), [quick_charge_brugge, cross_corridor_brugge_oostende], 1500.0, 0.008, 0.97902, 0.97, "tttt", "tt"),
      append([fly_kortrijk_brugge], [quick_charge_brugge, cross_corridor_brugge_oostende], [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
      3100.0 is 1600.0 + 1500.0,
      0.015 is 0.007 + 0.008,
      0.9692298 is 0.99 * 0.97902,
      0.9602999999999999 is 0.99 * 0.97]).
step(step(state(kortrijk, mid, yes), state(brugge, low, yes), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
     fact(5),
     ['P' = yes],
     []).
step(append([fly_kortrijk_brugge], [quick_charge_brugge, cross_corridor_brugge_oostende], [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(3100.0 is 1600.0 + 1500.0, builtin, [], []).
step(0.015 is 0.007 + 0.008, builtin, [], []).
step(0.9692298 is 0.99 * 0.97902, builtin, [], []).
step(append([get_zone_permit_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(3400.0 is 300.0 + 3100.0, builtin, [], []).
step(0.016 is 0.001 + 0.015, builtin, [], []).
step(0.9682605702 is 0.999 * 0.9692298, builtin, [], []).
step(0.9602999999999999 is 1.0 * 0.9602999999999999, builtin, [], []).
step(append([fly_gent_kortrijk], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende], [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, cross_corridor_brugge_oostende]),
     builtin,
     [],
     []).
step(0.023 is 0.007 + 0.016, builtin, [], []).
step(0.958577964498 is 0.99 * 0.9682605702, builtin, [], []).
step(0.958577964498 > 0.94, builtin, [], []).
step(0.023 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025, 0.9536872605975, 0.9126691199999999, mid, yes, "tt")),
     rule(19),
     ['Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 5300.0,
      'Cost' = 0.025,
      'Belief' = 0.9536872605975,
      'Comfort' = 0.9126691199999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt"],
     [surviving_plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025, 0.9536872605975, 0.9126691199999999, mid, yes, "tt")]).
step(surviving_plan([fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025, 0.9536872605975, 0.9126691199999999, mid, yes, "tt"),
     rule(18),
     ['Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 5300.0,
      'Cost' = 0.025,
      'Belief' = 0.9536872605975,
      'Comfort' = 0.9126691199999999,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "tt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025, 0.9536872605975, 0.9126691199999999, "ttttttt", "tt"),
      0.9536872605975 > 0.94,
      0.025 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 5300.0, 0.025, 0.9536872605975, 0.9126691199999999, "ttttttt", "tt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 5300.0,
      'Cost' = 0.025,
      'Belief' = 0.9536872605975,
      'Comfort' = 0.9126691199999999,
      'Fuelmid' = "tttttt",
      'Fuelout' = "tt",
      'Mid' = state(kortrijk, mid, none),
      'Act' = fly_gent_kortrijk,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'D2' = 3700.0,
      'C2' = 0.018000000000000002,
      'B2' = 0.96332046525,
      'M2' = 0.9218879999999999],
     [step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
      path(state(kortrijk, mid, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 3700.0, 0.018000000000000002, 0.96332046525, 0.9218879999999999, "tttttt", "tt"),
      append([fly_gent_kortrijk], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
      5300.0 is 1600.0 + 3700.0,
      0.025 is 0.007 + 0.018000000000000002,
      0.9536872605975 is 0.99 * 0.96332046525,
      0.9126691199999999 is 0.99 * 0.9218879999999999]).
step(path(state(kortrijk, mid, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 3700.0, 0.018000000000000002, 0.96332046525, 0.9218879999999999, "tttttt", "tt"),
     rule(17),
     ['From' = state(kortrijk, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 3700.0,
      'Cost' = 0.018000000000000002,
      'Belief' = 0.96332046525,
      'Comfort' = 0.9218879999999999,
      'Fuelmid' = "ttttt",
      'Fuelout' = "tt",
      'Mid' = state(kortrijk, mid, yes),
      'Act' = get_zone_permit_kortrijk,
      'D1' = 300.0,
      'C1' = 0.001,
      'B1' = 0.999,
      'M1' = 1.0,
      'Restactions' = [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'D2' = 3400.0,
      'C2' = 0.017,
      'B2' = 0.96428475,
      'M2' = 0.9218879999999999],
     [step(state(kortrijk, mid, none), state(kortrijk, mid, yes), get_zone_permit_kortrijk, 300.0, 0.001, 0.999, 1.0),
      path(state(kortrijk, mid, yes), state(oostende, mid, yes), [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 3400.0, 0.017, 0.96428475, 0.9218879999999999, "ttttt", "tt"),
      append([get_zone_permit_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
      3700.0 is 300.0 + 3400.0,
      0.018000000000000002 is 0.001 + 0.017,
      0.96332046525 is 0.999 * 0.96428475,
      0.9218879999999999 is 1.0 * 0.9218879999999999]).
step(path(state(kortrijk, mid, yes), state(oostende, mid, yes), [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], 3400.0, 0.017, 0.96428475, 0.9218879999999999, "ttttt", "tt"),
     rule(17),
     ['From' = state(kortrijk, mid, yes),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 3400.0,
      'Cost' = 0.017,
      'Belief' = 0.96428475,
      'Comfort' = 0.9218879999999999,
      'Fuelmid' = "tttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, low, yes),
      'Act' = fly_kortrijk_brugge,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [quick_charge_brugge, public_coastline_brugge_oostende],
      'D2' = 1800.0,
      'C2' = 0.01,
      'B2' = 0.974025,
      'M2' = 0.9311999999999999],
     [step(state(kortrijk, mid, yes), state(brugge, low, yes), fly_kortrijk_brugge, 1600.0, 0.007, 0.99, 0.99),
      path(state(brugge, low, yes), state(oostende, mid, yes), [quick_charge_brugge, public_coastline_brugge_oostende], 1800.0, 0.01, 0.974025, 0.9311999999999999, "tttt", "tt"),
      append([fly_kortrijk_brugge], [quick_charge_brugge, public_coastline_brugge_oostende], [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
      3400.0 is 1600.0 + 1800.0,
      0.017 is 0.007 + 0.01,
      0.96428475 is 0.99 * 0.974025,
      0.9218879999999999 is 0.99 * 0.9311999999999999]).
step(path(state(brugge, low, yes), state(oostende, mid, yes), [quick_charge_brugge, public_coastline_brugge_oostende], 1800.0, 0.01, 0.974025, 0.9311999999999999, "tttt", "tt"),
     rule(17),
     ['From' = state(brugge, low, yes),
      'To' = state(oostende, mid, yes),
      'Actions' = [quick_charge_brugge, public_coastline_brugge_oostende],
      'Duration' = 1800.0,
      'Cost' = 0.01,
      'Belief' = 0.974025,
      'Comfort' = 0.9311999999999999,
      'Fuelmid' = "ttt",
      'Fuelout' = "tt",
      'Mid' = state(brugge, full, yes),
      'Act' = quick_charge_brugge,
      'D1' = 600.0,
      'C1' = 0.004,
      'B1' = 0.999,
      'M1' = 0.97,
      'Restactions' = [public_coastline_brugge_oostende],
      'D2' = 1200.0,
      'C2' = 0.006,
      'B2' = 0.975,
      'M2' = 0.96],
     [step(state(brugge, low, yes), state(brugge, full, yes), quick_charge_brugge, 600.0, 0.004, 0.999, 0.97),
      path(state(brugge, full, yes), state(oostende, mid, yes), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "ttt", "tt"),
      append([quick_charge_brugge], [public_coastline_brugge_oostende], [quick_charge_brugge, public_coastline_brugge_oostende]),
      1800.0 is 600.0 + 1200.0,
      0.01 is 0.004 + 0.006,
      0.974025 is 0.999 * 0.975,
      0.9311999999999999 is 0.97 * 0.96]).
step(path(state(brugge, full, yes), state(oostende, mid, yes), [public_coastline_brugge_oostende], 1200.0, 0.006, 0.975, 0.96, "ttt", "tt"),
     rule(16),
     ['From' = state(brugge, full, yes),
      'To' = state(oostende, mid, yes),
      'Act' = public_coastline_brugge_oostende,
      'Duration' = 1200.0,
      'Cost' = 0.006,
      'Belief' = 0.975,
      'Comfort' = 0.96,
      'Fuelout' = "tt"],
     [step(state(brugge, full, yes), state(oostende, mid, yes), public_coastline_brugge_oostende, 1200.0, 0.006, 0.975, 0.96)]).
step(append([get_zone_permit_kortrijk], [fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(3700.0 is 300.0 + 3400.0, builtin, [], []).
step(0.018000000000000002 is 0.001 + 0.017, builtin, [], []).
step(0.96332046525 is 0.999 * 0.96428475, builtin, [], []).
step(0.9218879999999999 is 1.0 * 0.9218879999999999, builtin, [], []).
step(append([fly_gent_kortrijk], [get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende], [fly_gent_kortrijk, get_zone_permit_kortrijk, fly_kortrijk_brugge, quick_charge_brugge, public_coastline_brugge_oostende]),
     builtin,
     [],
     []).
step(5300.0 is 1600.0 + 3700.0, builtin, [], []).
step(0.025 is 0.007 + 0.018000000000000002, builtin, [], []).
step(0.9536872605975 is 0.99 * 0.96332046525, builtin, [], []).
step(0.9536872605975 > 0.94, builtin, [], []).
step(0.025 < 0.03, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.9435600454499999, 0.86526, mid, yes, "ttt")),
     rule(19),
     ['Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 3500.0,
      'Cost' = 0.02,
      'Belief' = 0.9435600454499999,
      'Comfort' = 0.86526,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt"],
     [surviving_plan([fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.9435600454499999, 0.86526, mid, yes, "ttt")]).
step(surviving_plan([fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.9435600454499999, 0.86526, mid, yes, "ttt"),
     rule(18),
     ['Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 3500.0,
      'Cost' = 0.02,
      'Belief' = 0.9435600454499999,
      'Comfort' = 0.86526,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.9435600454499999, 0.86526, "ttttttt", "ttt"),
      0.9435600454499999 > 0.94,
      0.02 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.02, 0.9435600454499999, 0.86526, "ttttttt", "ttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 3500.0,
      'Cost' = 0.02,
      'Belief' = 0.9435600454499999,
      'Comfort' = 0.86526,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttt",
      'Mid' = state(kortrijk, mid, none),
      'Act' = fly_gent_kortrijk,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende],
      'D2' = 1900.0,
      'C2' = 0.013000000000000001,
      'B2' = 0.953090955,
      'M2' = 0.874],
     [step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
      path(state(kortrijk, mid, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 1900.0, 0.013000000000000001, 0.953090955, 0.874, "tttttt", "ttt"),
      append([fly_gent_kortrijk], [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], [fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende]),
      3500.0 is 1600.0 + 1900.0,
      0.02 is 0.007 + 0.013000000000000001,
      0.9435600454499999 is 0.99 * 0.953090955,
      0.86526 is 0.99 * 0.874]).
step(path(state(kortrijk, mid, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 1900.0, 0.013000000000000001, 0.953090955, 0.874, "tttttt", "ttt"),
     rule(17),
     ['From' = state(kortrijk, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 1900.0,
      'Cost' = 0.013000000000000001,
      'Belief' = 0.953090955,
      'Comfort' = 0.874,
      'Fuelmid' = "ttttt",
      'Fuelout' = "ttt",
      'Mid' = state(kortrijk, mid, yes),
      'Act' = get_zone_permit_kortrijk,
      'D1' = 300.0,
      'C1' = 0.001,
      'B1' = 0.999,
      'M1' = 1.0,
      'Restactions' = [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende],
      'D2' = 1600.0,
      'C2' = 0.012,
      'B2' = 0.9540449999999999,
      'M2' = 0.874],
     [step(state(kortrijk, mid, none), state(kortrijk, mid, yes), get_zone_permit_kortrijk, 300.0, 0.001, 0.999, 1.0),
      path(state(kortrijk, mid, yes), state(oostende, mid, yes), [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 1600.0, 0.012, 0.9540449999999999, 0.874, "ttttt", "ttt"),
      append([get_zone_permit_kortrijk], [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende]),
      1900.0 is 300.0 + 1600.0,
      0.013000000000000001 is 0.001 + 0.012,
      0.953090955 is 0.999 * 0.9540449999999999,
      0.874 is 1.0 * 0.874]).
step(path(state(kortrijk, mid, yes), state(oostende, mid, yes), [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], 1600.0, 0.012, 0.9540449999999999, 0.874, "ttttt", "ttt"),
     rule(17),
     ['From' = state(kortrijk, mid, yes),
      'To' = state(oostende, mid, yes),
      'Actions' = [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 1600.0,
      'Cost' = 0.012,
      'Belief' = 0.9540449999999999,
      'Comfort' = 0.874,
      'Fuelmid' = "tttt",
      'Fuelout' = "ttt",
      'Mid' = state(kortrijk, full, yes),
      'Act' = emergency_charge_kortrijk,
      'D1' = 500.0,
      'C1' = 0.003,
      'B1' = 0.999,
      'M1' = 0.95,
      'Restactions' = [direct_corridor_kortrijk_oostende],
      'D2' = 1100.0,
      'C2' = 0.009,
      'B2' = 0.955,
      'M2' = 0.92],
     [step(state(kortrijk, mid, yes), state(kortrijk, full, yes), emergency_charge_kortrijk, 500.0, 0.003, 0.999, 0.95),
      path(state(kortrijk, full, yes), state(oostende, mid, yes), [direct_corridor_kortrijk_oostende], 1100.0, 0.009, 0.955, 0.92, "tttt", "ttt"),
      append([emergency_charge_kortrijk], [direct_corridor_kortrijk_oostende], [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende]),
      1600.0 is 500.0 + 1100.0,
      0.012 is 0.003 + 0.009,
      0.9540449999999999 is 0.999 * 0.955,
      0.874 is 0.95 * 0.92]).
step(step(state(kortrijk, mid, yes), state(kortrijk, full, yes), emergency_charge_kortrijk, 500.0, 0.003, 0.999, 0.95),
     fact(11),
     ['P' = yes],
     []).
step(path(state(kortrijk, full, yes), state(oostende, mid, yes), [direct_corridor_kortrijk_oostende], 1100.0, 0.009, 0.955, 0.92, "tttt", "ttt"),
     rule(16),
     ['From' = state(kortrijk, full, yes),
      'To' = state(oostende, mid, yes),
      'Act' = direct_corridor_kortrijk_oostende,
      'Duration' = 1100.0,
      'Cost' = 0.009,
      'Belief' = 0.955,
      'Comfort' = 0.92,
      'Fuelout' = "ttt"],
     [step(state(kortrijk, full, yes), state(oostende, mid, yes), direct_corridor_kortrijk_oostende, 1100.0, 0.009, 0.955, 0.92)]).
step(step(state(kortrijk, full, yes), state(oostende, mid, yes), direct_corridor_kortrijk_oostende, 1100.0, 0.009, 0.955, 0.92),
     fact(15),
     [],
     []).
step(append([emergency_charge_kortrijk], [direct_corridor_kortrijk_oostende], [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende]),
     builtin,
     [],
     []).
step(1600.0 is 500.0 + 1100.0, builtin, [], []).
step(0.012 is 0.003 + 0.009, builtin, [], []).
step(0.9540449999999999 is 0.999 * 0.955, builtin, [], []).
step(0.874 is 0.95 * 0.92, builtin, [], []).
step(append([get_zone_permit_kortrijk], [emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende]),
     builtin,
     [],
     []).
step(1900.0 is 300.0 + 1600.0, builtin, [], []).
step(0.013000000000000001 is 0.001 + 0.012, builtin, [], []).
step(0.953090955 is 0.999 * 0.9540449999999999, builtin, [], []).
step(0.874 is 1.0 * 0.874, builtin, [], []).
step(append([fly_gent_kortrijk], [get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende], [fly_gent_kortrijk, get_zone_permit_kortrijk, emergency_charge_kortrijk, direct_corridor_kortrijk_oostende]),
     builtin,
     [],
     []).
step(3500.0 is 1600.0 + 1900.0, builtin, [], []).
step(0.02 is 0.007 + 0.013000000000000001, builtin, [], []).
step(0.9435600454499999 is 0.99 * 0.953090955, builtin, [], []).
step(0.86526 is 0.99 * 0.874, builtin, [], []).
step(0.9435600454499999 > 0.94, builtin, [], []).
step(gps_plan(d1, plan([fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.9435600454499999, 0.86526, mid, yes, "ttt")),
     rule(19),
     ['Actions' = [fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 3500.0,
      'Cost' = 0.019999999999999997,
      'Belief' = 0.9435600454499999,
      'Comfort' = 0.86526,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt"],
     [surviving_plan([fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.9435600454499999, 0.86526, mid, yes, "ttt")]).
step(surviving_plan([fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.9435600454499999, 0.86526, mid, yes, "ttt"),
     rule(18),
     ['Actions' = [fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 3500.0,
      'Cost' = 0.019999999999999997,
      'Belief' = 0.9435600454499999,
      'Comfort' = 0.86526,
      'Battery' = mid,
      'Permit' = yes,
      'Fuelleft' = "ttt",
      'Fuel' = "ttttttt"],
     [fuel(fuel7, "ttttttt"),
      path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.9435600454499999, 0.86526, "ttttttt", "ttt"),
      0.9435600454499999 > 0.94,
      0.019999999999999997 < 0.03]).
step(path(state(gent, full, none), state(oostende, mid, yes), [fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 3500.0, 0.019999999999999997, 0.9435600454499999, 0.86526, "ttttttt", "ttt"),
     rule(17),
     ['From' = state(gent, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 3500.0,
      'Cost' = 0.019999999999999997,
      'Belief' = 0.9435600454499999,
      'Comfort' = 0.86526,
      'Fuelmid' = "tttttt",
      'Fuelout' = "ttt",
      'Mid' = state(kortrijk, mid, none),
      'Act' = fly_gent_kortrijk,
      'D1' = 1600.0,
      'C1' = 0.007,
      'B1' = 0.99,
      'M1' = 0.99,
      'Restactions' = [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende],
      'D2' = 1900.0,
      'C2' = 0.012999999999999998,
      'B2' = 0.953090955,
      'M2' = 0.874],
     [step(state(gent, full, none), state(kortrijk, mid, none), fly_gent_kortrijk, 1600.0, 0.007, 0.99, 0.99),
      path(state(kortrijk, mid, none), state(oostende, mid, yes), [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 1900.0, 0.012999999999999998, 0.953090955, 0.874, "tttttt", "ttt"),
      append([fly_gent_kortrijk], [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], [fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende]),
      3500.0 is 1600.0 + 1900.0,
      0.019999999999999997 is 0.007 + 0.012999999999999998,
      0.9435600454499999 is 0.99 * 0.953090955,
      0.86526 is 0.99 * 0.874]).
step(path(state(kortrijk, mid, none), state(oostende, mid, yes), [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 1900.0, 0.012999999999999998, 0.953090955, 0.874, "tttttt", "ttt"),
     rule(17),
     ['From' = state(kortrijk, mid, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 1900.0,
      'Cost' = 0.012999999999999998,
      'Belief' = 0.953090955,
      'Comfort' = 0.874,
      'Fuelmid' = "ttttt",
      'Fuelout' = "ttt",
      'Mid' = state(kortrijk, full, none),
      'Act' = emergency_charge_kortrijk,
      'D1' = 500.0,
      'C1' = 0.003,
      'B1' = 0.999,
      'M1' = 0.95,
      'Restactions' = [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende],
      'D2' = 1400.0,
      'C2' = 0.009999999999999998,
      'B2' = 0.9540449999999999,
      'M2' = 0.92],
     [step(state(kortrijk, mid, none), state(kortrijk, full, none), emergency_charge_kortrijk, 500.0, 0.003, 0.999, 0.95),
      path(state(kortrijk, full, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 1400.0, 0.009999999999999998, 0.9540449999999999, 0.92, "ttttt", "ttt"),
      append([emergency_charge_kortrijk], [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende]),
      1900.0 is 500.0 + 1400.0,
      0.012999999999999998 is 0.003 + 0.009999999999999998,
      0.953090955 is 0.999 * 0.9540449999999999,
      0.874 is 0.95 * 0.92]).
step(step(state(kortrijk, mid, none), state(kortrijk, full, none), emergency_charge_kortrijk, 500.0, 0.003, 0.999, 0.95),
     fact(11),
     ['P' = none],
     []).
step(path(state(kortrijk, full, none), state(oostende, mid, yes), [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], 1400.0, 0.009999999999999998, 0.9540449999999999, 0.92, "ttttt", "ttt"),
     rule(17),
     ['From' = state(kortrijk, full, none),
      'To' = state(oostende, mid, yes),
      'Actions' = [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende],
      'Duration' = 1400.0,
      'Cost' = 0.009999999999999998,
      'Belief' = 0.9540449999999999,
      'Comfort' = 0.92,
      'Fuelmid' = "tttt",
      'Fuelout' = "ttt",
      'Mid' = state(kortrijk, full, yes),
      'Act' = get_zone_permit_kortrijk,
      'D1' = 300.0,
      'C1' = 0.001,
      'B1' = 0.999,
      'M1' = 1.0,
      'Restactions' = [direct_corridor_kortrijk_oostende],
      'D2' = 1100.0,
      'C2' = 0.009,
      'B2' = 0.955,
      'M2' = 0.92],
     [step(state(kortrijk, full, none), state(kortrijk, full, yes), get_zone_permit_kortrijk, 300.0, 0.001, 0.999, 1.0),
      path(state(kortrijk, full, yes), state(oostende, mid, yes), [direct_corridor_kortrijk_oostende], 1100.0, 0.009, 0.955, 0.92, "tttt", "ttt"),
      append([get_zone_permit_kortrijk], [direct_corridor_kortrijk_oostende], [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende]),
      1400.0 is 300.0 + 1100.0,
      0.009999999999999998 is 0.001 + 0.009,
      0.9540449999999999 is 0.999 * 0.955,
      0.92 is 1.0 * 0.92]).
step(step(state(kortrijk, full, none), state(kortrijk, full, yes), get_zone_permit_kortrijk, 300.0, 0.001, 0.999, 1.0),
     fact(7),
     ['B' = full],
     []).
step(append([get_zone_permit_kortrijk], [direct_corridor_kortrijk_oostende], [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende]),
     builtin,
     [],
     []).
step(1400.0 is 300.0 + 1100.0, builtin, [], []).
step(0.009999999999999998 is 0.001 + 0.009, builtin, [], []).
step(0.92 is 1.0 * 0.92, builtin, [], []).
step(append([emergency_charge_kortrijk], [get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende]),
     builtin,
     [],
     []).
step(1900.0 is 500.0 + 1400.0, builtin, [], []).
step(0.012999999999999998 is 0.003 + 0.009999999999999998, builtin, [], []).
step(append([fly_gent_kortrijk], [emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende], [fly_gent_kortrijk, emergency_charge_kortrijk, get_zone_permit_kortrijk, direct_corridor_kortrijk_oostende]),
     builtin,
     [],
     []).
step(0.019999999999999997 is 0.007 + 0.012999999999999998, builtin, [], []).
step(0.019999999999999997 < 0.03, builtin, [], []).