diff --git a/.doctrees/environment.pickle b/.doctrees/environment.pickle index fd612381..07fe26e7 100644 Binary files a/.doctrees/environment.pickle and b/.doctrees/environment.pickle differ diff --git a/.doctrees/examples/racetrack/model.doctree b/.doctrees/examples/racetrack/model.doctree index b22d5306..cc5ef0e4 100644 Binary files a/.doctrees/examples/racetrack/model.doctree and b/.doctrees/examples/racetrack/model.doctree differ diff --git a/.doctrees/examples/racetrack/quickstart.doctree b/.doctrees/examples/racetrack/quickstart.doctree index 45d230d3..15d71a73 100644 Binary files a/.doctrees/examples/racetrack/quickstart.doctree and b/.doctrees/examples/racetrack/quickstart.doctree differ diff --git a/.doctrees/guide/analysis.doctree b/.doctrees/guide/analysis.doctree index d337ed1e..38729411 100644 Binary files a/.doctrees/guide/analysis.doctree and b/.doctrees/guide/analysis.doctree differ diff --git a/.doctrees/guide/construction.doctree b/.doctrees/guide/construction.doctree index 7920bc34..86e73e5d 100644 Binary files a/.doctrees/guide/construction.doctree and b/.doctrees/guide/construction.doctree differ diff --git a/.doctrees/guide/exploration.doctree b/.doctrees/guide/exploration.doctree index 015f8a84..3edf0321 100644 Binary files a/.doctrees/guide/exploration.doctree and b/.doctrees/guide/exploration.doctree differ diff --git a/.doctrees/gym/abstract.doctree b/.doctrees/gym/abstract.doctree index 909ea6ba..f9ea54a5 100644 Binary files a/.doctrees/gym/abstract.doctree and b/.doctrees/gym/abstract.doctree differ diff --git a/.doctrees/gym/generic.doctree b/.doctrees/gym/generic.doctree index 81d4b4fd..1f0a6f2c 100644 Binary files a/.doctrees/gym/generic.doctree and b/.doctrees/gym/generic.doctree differ diff --git a/.doctrees/gym/index.doctree b/.doctrees/gym/index.doctree index 80b8d8a4..77512add 100644 Binary files a/.doctrees/gym/index.doctree and b/.doctrees/gym/index.doctree differ diff --git a/.doctrees/incubator/moml/macros.doctree b/.doctrees/incubator/moml/macros.doctree index da3e3b81..52479da8 100644 Binary files a/.doctrees/incubator/moml/macros.doctree and b/.doctrees/incubator/moml/macros.doctree differ diff --git a/.doctrees/reference/analysis.doctree b/.doctrees/reference/analysis.doctree index 00d59eee..a2604774 100644 Binary files a/.doctrees/reference/analysis.doctree and b/.doctrees/reference/analysis.doctree differ diff --git a/.doctrees/reference/engine.doctree b/.doctrees/reference/engine.doctree index 2a953045..ee4f629e 100644 Binary files a/.doctrees/reference/engine.doctree and b/.doctrees/reference/engine.doctree differ diff --git a/.doctrees/reference/jani.doctree b/.doctrees/reference/jani.doctree index 6a7a5fd5..fe6b88f1 100644 Binary files a/.doctrees/reference/jani.doctree and b/.doctrees/reference/jani.doctree differ diff --git a/.doctrees/reference/model/actions.doctree b/.doctrees/reference/model/actions.doctree index 106c8f23..309b437e 100644 Binary files a/.doctrees/reference/model/actions.doctree and b/.doctrees/reference/model/actions.doctree differ diff --git a/.doctrees/reference/model/automata.doctree b/.doctrees/reference/model/automata.doctree index af896892..f65b0ec5 100644 Binary files a/.doctrees/reference/model/automata.doctree and b/.doctrees/reference/model/automata.doctree differ diff --git a/.doctrees/reference/model/context.doctree b/.doctrees/reference/model/context.doctree index f0d2cf80..e4afe69f 100644 Binary files a/.doctrees/reference/model/context.doctree and b/.doctrees/reference/model/context.doctree differ diff --git a/.doctrees/reference/model/exceptions.doctree b/.doctrees/reference/model/exceptions.doctree index bcd8970f..4406d307 100644 Binary files a/.doctrees/reference/model/exceptions.doctree and b/.doctrees/reference/model/exceptions.doctree differ diff --git a/.doctrees/reference/model/expressions.doctree b/.doctrees/reference/model/expressions.doctree index d9af672b..e2cc9b29 100644 Binary files a/.doctrees/reference/model/expressions.doctree and b/.doctrees/reference/model/expressions.doctree differ diff --git a/.doctrees/reference/model/functions.doctree b/.doctrees/reference/model/functions.doctree index d786ec18..7318c13d 100644 Binary files a/.doctrees/reference/model/functions.doctree and b/.doctrees/reference/model/functions.doctree differ diff --git a/.doctrees/reference/model/networks.doctree b/.doctrees/reference/model/networks.doctree index b9821f82..68355a10 100644 Binary files a/.doctrees/reference/model/networks.doctree and b/.doctrees/reference/model/networks.doctree differ diff --git a/.doctrees/reference/model/properties.doctree b/.doctrees/reference/model/properties.doctree index d8bde794..28ceb4eb 100644 Binary files a/.doctrees/reference/model/properties.doctree and b/.doctrees/reference/model/properties.doctree differ diff --git a/.doctrees/reference/model/types.doctree b/.doctrees/reference/model/types.doctree index dd404854..997b35e2 100644 Binary files a/.doctrees/reference/model/types.doctree and b/.doctrees/reference/model/types.doctree differ diff --git a/.doctrees/tools/modest.doctree b/.doctrees/tools/modest.doctree index 034ad604..c5418bbc 100644 Binary files a/.doctrees/tools/modest.doctree and b/.doctrees/tools/modest.doctree differ diff --git a/.doctrees/tools/storm.doctree b/.doctrees/tools/storm.doctree index 1c49cdd4..effa7568 100644 Binary files a/.doctrees/tools/storm.doctree and b/.doctrees/tools/storm.doctree differ diff --git a/_images/quickstart_6_0.svg b/_images/quickstart_6_0.svg index 8139c49a..fc5de9ce 100644 --- a/_images/quickstart_6_0.svg +++ b/_images/quickstart_6_0.svg @@ -330,7 +330,7 @@ y="320" width="10" height="10" - fill="blue" + fill="yellow" stroke="black" stroke-width="2pt" /> @@ -990,7 +990,7 @@ y="320" width="10" height="10" - fill="yellow" + fill="blue" stroke="black" stroke-width="2pt" /> diff --git a/examples/racetrack/quickstart/index.html b/examples/racetrack/quickstart/index.html index f816f922..8fce7001 100644 --- a/examples/racetrack/quickstart/index.html +++ b/examples/racetrack/quickstart/index.html @@ -462,7 +462,7 @@
Scenario(track=Track(width=30, height=33, blank_cells=frozenset({Coordinate(x=26, y=21), Coordinate(x=18, y=17), Coordinate(x=26, y=30), Coordinate(x=19, y=9), Coordinate(x=11, y=5), Coordinate(x=19, y=18), Coordinate(x=11, y=14), Coordinate(x=0, y=23), Coordinate(x=25, y=25), Coordinate(x=4, y=2), Coordinate(x=22, y=10), Coordinate(x=3, y=6), Coordinate(x=22, y=19), Coordinate(x=3, y=15), Coordinate(x=14, y=15), Coordinate(x=3, y=24), Coordinate(x=15, y=7), Coordinate(x=7, y=3), Coordinate(x=18, y=3), Coordinate(x=15, y=16), Coordinate(x=18, y=12), Coordinate(x=26, y=25), Coordinate(x=29, y=27), Coordinate(x=8, y=4), Coordinate(x=19, y=4), Coordinate(x=11, y=0), Coordinate(x=25, y=20), Coordinate(x=2, y=27), Coordinate(x=25, y=29), Coordinate(x=22, y=5), Coordinate(x=14, y=1), Coordinate(x=22, y=14), Coordinate(x=3, y=10), Coordinate(x=14, y=10), Coordinate(x=3, y=19), Coordinate(x=14, y=19), Coordinate(x=3, y=28), Coordinate(x=15, y=2), Coordinate(x=15, y=11), Coordinate(x=7, y=7), Coordinate(x=18, y=7), Coordinate(x=26, y=20), Coordinate(x=18, y=16), Coordinate(x=29, y=22), Coordinate(x=21, y=18), Coordinate(x=29, y=31), Coordinate(x=11, y=4), Coordinate(x=25, y=6), Coordinate(x=10, y=17), Coordinate(x=2, y=13), Coordinate(x=2, y=22), Coordinate(x=25, y=24), Coordinate(x=2, y=31), Coordinate(x=22, y=9), Coordinate(x=3, y=5), Coordinate(x=14, y=5), Coordinate(x=22, y=18), Coordinate(x=3, y=14), Coordinate(x=14, y=14), Coordinate(x=3, y=23), Coordinate(x=15, y=6), Coordinate(x=28, y=25), Coordinate(x=7, y=2), Coordinate(x=18, y=2), Coordinate(x=18, y=11), Coordinate(x=6, y=15), Coordinate(x=29, y=26), Coordinate(x=10, y=3), Coordinate(x=2, y=8), Coordinate(x=2, y=17), Coordinate(x=25, y=19), Coordinate(x=2, y=26), Coordinate(x=25, y=28), Coordinate(x=22, y=4), Coordinate(x=14, y=0), Coordinate(x=3, y=9), Coordinate(x=14, y=9), Coordinate(x=3, y=18), Coordinate(x=14, y=18), Coordinate(x=17, y=20), Coordinate(x=28, y=20), Coordinate(x=5, y=27), Coordinate(x=28, y=29), Coordinate(x=6, y=10), Coordinate(x=21, y=8), Coordinate(x=29, y=21), Coordinate(x=21, y=17), Coordinate(x=29, y=30), Coordinate(x=2, y=3), Coordinate(x=25, y=5), Coordinate(x=10, y=16), Coordinate(x=2, y=12), Coordinate(x=2, y=21), Coordinate(x=2, y=30), Coordinate(x=22, y=8), Coordinate(x=24, y=27), Coordinate(x=3, y=4), Coordinate(x=14, y=4), Coordinate(x=17, y=6), Coordinate(x=17, y=15), Coordinate(x=5, y=22), Coordinate(x=28, y=24), Coordinate(x=5, y=31), Coordinate(x=6, y=5), Coordinate(x=21, y=3), Coordinate(x=6, y=14), Coordinate(x=29, y=25), Coordinate(x=10, y=2), Coordinate(x=2, y=7), Coordinate(x=2, y=16), Coordinate(x=13, y=13), Coordinate(x=24, y=22), Coordinate(x=16, y=18), Coordinate(x=1, y=29), Coordinate(x=24, y=31), Coordinate(x=17, y=1), Coordinate(x=5, y=8), Coordinate(x=17, y=10), Coordinate(x=9, y=6), Coordinate(x=5, y=17), Coordinate(x=17, y=19), Coordinate(x=28, y=19), Coordinate(x=5, y=26), Coordinate(x=28, y=28), Coordinate(x=6, y=9), Coordinate(x=21, y=7), Coordinate(x=21, y=16), Coordinate(x=20, y=20), Coordinate(x=10, y=6), Coordinate(x=23, y=25), Coordinate(x=2, y=2), Coordinate(x=2, y=11), Coordinate(x=4, y=30), Coordinate(x=24, y=8), Coordinate(x=1, y=15), Coordinate(x=13, y=17), Coordinate(x=24, y=17), Coordinate(x=16, y=13), Coordinate(x=1, y=24), Coordinate(x=24, y=26), Coordinate(x=5, y=3), Coordinate(x=17, y=5), Coordinate(x=9, y=1), Coordinate(x=5, y=12), Coordinate(x=17, y=14), Coordinate(x=5, y=21), Coordinate(x=28, y=23), Coordinate(x=5, y=30), Coordinate(x=6, y=4), Coordinate(x=21, y=2), Coordinate(x=6, y=13), Coordinate(x=20, y=15), Coordinate(x=12, y=20), Coordinate(x=23, y=20), Coordinate(x=23, y=29), Coordinate(x=4, y=25), Coordinate(x=13, y=3), Coordinate(x=24, y=3), Coordinate(x=13, y=12), Coordinate(x=16, y=8), Coordinate(x=1, y=19), Coordinate(x=24, y=21), Coordinate(x=16, y=17), Coordinate(x=1, y=28), Coordinate(x=24, y=30), Coordinate(x=5, y=7), Coordinate(x=17, y=9), Coordinate(x=9, y=5), Coordinate(x=5, y=16), Coordinate(x=5, y=25), Coordinate(x=27, y=22), Coordinate(x=27, y=31), Coordinate(x=20, y=10), Coordinate(x=23, y=6), Coordinate(x=20, y=19), Coordinate(x=12, y=15), Coordinate(x=23, y=15), Coordinate(x=4, y=11), Coordinate(x=23, y=24), Coordinate(x=4, y=20), Coordinate(x=4, y=29), Coordinate(x=24, y=7), Coordinate(x=16, y=3), Coordinate(x=1, y=14), Coordinate(x=13, y=16), Coordinate(x=24, y=16), Coordinate(x=16, y=12), Coordinate(x=1, y=23), Coordinate(x=24, y=25), Coordinate(x=5, y=2), Coordinate(x=17, y=4), Coordinate(x=5, y=11), Coordinate(x=27, y=26), Coordinate(x=11, y=18), Coordinate(x=0, y=27), Coordinate(x=20, y=5), Coordinate(x=12, y=1), Coordinate(x=20, y=14), Coordinate(x=12, y=10), Coordinate(x=4, y=6), Coordinate(x=12, y=19), Coordinate(x=23, y=19), Coordinate(x=4, y=15), Coordinate(x=23, y=28), Coordinate(x=4, y=24), Coordinate(x=13, y=2), Coordinate(x=13, y=11), Coordinate(x=16, y=7), Coordinate(x=1, y=18), Coordinate(x=16, y=16), Coordinate(x=15, y=20), Coordinate(x=26, y=29), Coordinate(x=5, y=6), Coordinate(x=8, y=8), Coordinate(x=19, y=8), Coordinate(x=27, y=21), Coordinate(x=19, y=17), Coordinate(x=27, y=30), Coordinate(x=11, y=13), Coordinate(x=0, y=22), Coordinate(x=0, y=31), Coordinate(x=20, y=9), Coordinate(x=12, y=5), Coordinate(x=23, y=5), Coordinate(x=20, y=18), Coordinate(x=12, y=14), Coordinate(x=23, y=14), Coordinate(x=4, y=10), Coordinate(x=23, y=23), Coordinate(x=4, y=19), Coordinate(x=4, y=28), Coordinate(x=24, y=6), Coordinate(x=16, y=2), Coordinate(x=1, y=13), Coordinate(x=15, y=15), Coordinate(x=26, y=24), Coordinate(x=18, y=20), Coordinate(x=8, y=3), Coordinate(x=19, y=3), Coordinate(x=27, y=25), Coordinate(x=11, y=17), Coordinate(x=0, y=26), Coordinate(x=20, y=4), Coordinate(x=12, y=0), Coordinate(x=23, y=9), Coordinate(x=4, y=5), Coordinate(x=23, y=18), Coordinate(x=4, y=14), Coordinate(x=3, y=27), Coordinate(x=15, y=1), Coordinate(x=15, y=10), Coordinate(x=7, y=6), Coordinate(x=18, y=6), Coordinate(x=15, y=19), Coordinate(x=26, y=19), Coordinate(x=18, y=15), Coordinate(x=26, y=28), Coordinate(x=8, y=7), Coordinate(x=19, y=7), Coordinate(x=27, y=20), Coordinate(x=11, y=3), Coordinate(x=19, y=16), Coordinate(x=11, y=12), Coordinate(x=12, y=4), Coordinate(x=23, y=4), Coordinate(x=25, y=23), Coordinate(x=4, y=9), Coordinate(x=22, y=17), Coordinate(x=3, y=13), Coordinate(x=14, y=13), Coordinate(x=3, y=22), Coordinate(x=3, y=31), Coordinate(x=15, y=5), Coordinate(x=7, y=1), Coordinate(x=18, y=1), Coordinate(x=15, y=14), Coordinate(x=18, y=10), Coordinate(x=26, y=23), Coordinate(x=18, y=19), Coordinate(x=8, y=2), Coordinate(x=19, y=2), Coordinate(x=19, y=11), Coordinate(x=11, y=16), Coordinate(x=25, y=18), Coordinate(x=2, y=25), Coordinate(x=25, y=27), Coordinate(x=22, y=3), Coordinate(x=3, y=8), Coordinate(x=22, y=21), Coordinate(x=3, y=17), Coordinate(x=14, y=17), Coordinate(x=3, y=26), Coordinate(x=15, y=0), Coordinate(x=15, y=9), Coordinate(x=7, y=5), Coordinate(x=18, y=5), Coordinate(x=15, y=18), Coordinate(x=26, y=18), Coordinate(x=18, y=14), Coordinate(x=29, y=20), Coordinate(x=29, y=29), Coordinate(x=19, y=6), Coordinate(x=11, y=2), Coordinate(x=25, y=4), Coordinate(x=10, y=15), Coordinate(x=2, y=20), Coordinate(x=25, y=22), Coordinate(x=2, y=29), Coordinate(x=25, y=31), Coordinate(x=22, y=7), Coordinate(x=3, y=3), Coordinate(x=14, y=3), Coordinate(x=22, y=16), Coordinate(x=3, y=12), Coordinate(x=14, y=12), Coordinate(x=3, y=21), Coordinate(x=3, y=30), Coordinate(x=15, y=4), Coordinate(x=15, y=13), Coordinate(x=7, y=9), Coordinate(x=18, y=9), Coordinate(x=18, y=18), Coordinate(x=29, y=24), Coordinate(x=21, y=20), Coordinate(x=10, y=1), Coordinate(x=2, y=6), Coordinate(x=25, y=8), Coordinate(x=7, y=8), Coordinate(x=2, y=15), Coordinate(x=25, y=17), Coordinate(x=2, y=24), Coordinate(x=25, y=26), Coordinate(x=22, y=2), Coordinate(x=3, y=7), Coordinate(x=22, y=20), Coordinate(x=3, y=16), Coordinate(x=14, y=16), Coordinate(x=3, y=25), Coordinate(x=17, y=18), Coordinate(x=28, y=27), Coordinate(x=7, y=4), Coordinate(x=18, y=4), Coordinate(x=6, y=8), Coordinate(x=21, y=6), Coordinate(x=21, y=15), Coordinate(x=29, y=28), Coordinate(x=10, y=5), Coordinate(x=25, y=3), Coordinate(x=2, y=10), Coordinate(x=2, y=19), Coordinate(x=25, y=21), Coordinate(x=2, y=28), Coordinate(x=22, y=6), Coordinate(x=3, y=2), Coordinate(x=14, y=2), Coordinate(x=3, y=11), Coordinate(x=14, y=11), Coordinate(x=5, y=20), Coordinate(x=28, y=22), Coordinate(x=5, y=29), Coordinate(x=28, y=31), Coordinate(x=6, y=3), Coordinate(x=6, y=12), Coordinate(x=21, y=10), Coordinate(x=29, y=23), Coordinate(x=21, y=19), Coordinate(x=10, y=0), Coordinate(x=2, y=5), Coordinate(x=25, y=7), Coordinate(x=10, y=18), Coordinate(x=2, y=14), Coordinate(x=25, y=16), Coordinate(x=2, y=23), Coordinate(x=13, y=20), Coordinate(x=24, y=20), Coordinate(x=1, y=27), Coordinate(x=24, y=29), Coordinate(x=14, y=6), Coordinate(x=17, y=8), Coordinate(x=9, y=4), Coordinate(x=5, y=15), Coordinate(x=17, y=17), Coordinate(x=5, y=24), Coordinate(x=28, y=26), Coordinate(x=6, y=7), Coordinate(x=21, y=5), Coordinate(x=21, y=14), Coordinate(x=10, y=4), Coordinate(x=2, y=9), Coordinate(x=2, y=18), Coordinate(x=24, y=15), Coordinate(x=13, y=15), Coordinate(x=16, y=11), Coordinate(x=1, y=22), Coordinate(x=24, y=24), Coordinate(x=16, y=20), Coordinate(x=1, y=31), Coordinate(x=17, y=3), Coordinate(x=5, y=10), Coordinate(x=17, y=12), Coordinate(x=5, y=19), Coordinate(x=28, y=21), Coordinate(x=5, y=28), Coordinate(x=28, y=30), Coordinate(x=6, y=2), Coordinate(x=6, y=11), Coordinate(x=21, y=9), Coordinate(x=12, y=18), Coordinate(x=23, y=27), Coordinate(x=2, y=4), Coordinate(x=4, y=23), Coordinate(x=13, y=1), Coordinate(x=13, y=10), Coordinate(x=16, y=6), Coordinate(x=1, y=17), Coordinate(x=13, y=19), Coordinate(x=24, y=19), Coordinate(x=16, y=15), Coordinate(x=1, y=26), Coordinate(x=24, y=28), Coordinate(x=5, y=5), Coordinate(x=17, y=7), Coordinate(x=9, y=3), Coordinate(x=5, y=14), Coordinate(x=17, y=16), Coordinate(x=5, y=23), Coordinate(x=27, y=29), Coordinate(x=6, y=6), Coordinate(x=21, y=4), Coordinate(x=0, y=30), Coordinate(x=20, y=8), Coordinate(x=20, y=17), Coordinate(x=12, y=13), Coordinate(x=23, y=22), Coordinate(x=4, y=18), Coordinate(x=23, y=31), Coordinate(x=4, y=27), Coordinate(x=13, y=5), Coordinate(x=24, y=5), Coordinate(x=16, y=1), Coordinate(x=1, y=12), Coordinate(x=13, y=14), Coordinate(x=16, y=10), Coordinate(x=1, y=21), Coordinate(x=24, y=23), Coordinate(x=16, y=19), Coordinate(x=1, y=30), Coordinate(x=17, y=2), Coordinate(x=5, y=9), Coordinate(x=17, y=11), Coordinate(x=9, y=7), Coordinate(x=5, y=18), Coordinate(x=27, y=24), Coordinate(x=6, y=1), Coordinate(x=19, y=20), Coordinate(x=0, y=25), Coordinate(x=20, y=3), Coordinate(x=23, y=8), Coordinate(x=4, y=4), Coordinate(x=12, y=17), Coordinate(x=23, y=17), Coordinate(x=4, y=13), Coordinate(x=23, y=26), Coordinate(x=4, y=22), Coordinate(x=13, y=0), Coordinate(x=4, y=31), Coordinate(x=13, y=9), Coordinate(x=24, y=9), Coordinate(x=16, y=5), Coordinate(x=1, y=16), Coordinate(x=13, y=18), Coordinate(x=24, y=18), Coordinate(x=16, y=14), Coordinate(x=1, y=25), Coordinate(x=26, y=27), Coordinate(x=5, y=4), Coordinate(x=9, y=2), Coordinate(x=5, y=13), Coordinate(x=8, y=6), Coordinate(x=27, y=19), Coordinate(x=19, y=15), Coordinate(x=27, y=28), Coordinate(x=11, y=11), Coordinate(x=0, y=29), Coordinate(x=20, y=7), Coordinate(x=12, y=3), Coordinate(x=23, y=3), Coordinate(x=20, y=16), Coordinate(x=12, y=12), Coordinate(x=4, y=8), Coordinate(x=23, y=21), Coordinate(x=4, y=17), Coordinate(x=23, y=30), Coordinate(x=4, y=26), Coordinate(x=13, y=4), Coordinate(x=24, y=4), Coordinate(x=16, y=0), Coordinate(x=16, y=9), Coordinate(x=1, y=20), Coordinate(x=26, y=22), Coordinate(x=26, y=31), Coordinate(x=8, y=1), Coordinate(x=19, y=1), Coordinate(x=19, y=10), Coordinate(x=27, y=23), Coordinate(x=11, y=6), Coordinate(x=19, y=19), Coordinate(x=11, y=15), Coordinate(x=0, y=24), Coordinate(x=20, y=2), Coordinate(x=20, y=11), Coordinate(x=23, y=7), Coordinate(x=4, y=3), Coordinate(x=12, y=16), Coordinate(x=23, y=16), Coordinate(x=4, y=12), Coordinate(x=4, y=21), Coordinate(x=16, y=4), Coordinate(x=15, y=17), Coordinate(x=26, y=17), Coordinate(x=26, y=26), Coordinate(x=8, y=5), Coordinate(x=19, y=5), Coordinate(x=27, y=18), Coordinate(x=11, y=1), Coordinate(x=19, y=14), Coordinate(x=27, y=27), Coordinate(x=11, y=10), Coordinate(x=11, y=19), Coordinate(x=0, y=28), Coordinate(x=20, y=6), Coordinate(x=12, y=2), Coordinate(x=12, y=11), Coordinate(x=25, y=30), Coordinate(x=4, y=7), Coordinate(x=4, y=16), Coordinate(x=22, y=15), Coordinate(x=3, y=20), Coordinate(x=14, y=20), Coordinate(x=3, y=29), Coordinate(x=15, y=3), Coordinate(x=15, y=12), Coordinate(x=18, y=8)}), blocked_cells=frozenset({Coordinate(x=15, y=21), Coordinate(x=7, y=17), Coordinate(x=15, y=30), Coordinate(x=7, y=26), Coordinate(x=18, y=26), Coordinate(x=27, y=4), Coordinate(x=8, y=0), Coordinate(x=19, y=0), Coordinate(x=27, y=13), Coordinate(x=8, y=9), Coordinate(x=0, y=5), Coordinate(x=8, y=18), Coordinate(x=0, y=14), Coordinate(x=11, y=23), Coordinate(x=10, y=27), Coordinate(x=22, y=28), Coordinate(x=14, y=24), Coordinate(x=26, y=7), Coordinate(x=26, y=16), Coordinate(x=7, y=12), Coordinate(x=15, y=25), Coordinate(x=7, y=21), Coordinate(x=18, y=21), Coordinate(x=7, y=30), Coordinate(x=18, y=30), Coordinate(x=27, y=8), Coordinate(x=0, y=0), Coordinate(x=21, y=32), Coordinate(x=0, y=9), Coordinate(x=11, y=9), Coordinate(x=25, y=11), Coordinate(x=10, y=22), Coordinate(x=10, y=31), Coordinate(x=3, y=1), Coordinate(x=22, y=23), Coordinate(x=22, y=32), Coordinate(x=14, y=28), Coordinate(x=26, y=2), Coordinate(x=26, y=11), Coordinate(x=7, y=16), Coordinate(x=29, y=13), Coordinate(x=6, y=29), Coordinate(x=21, y=27), Coordinate(x=10, y=8), Coordinate(x=25, y=15), Coordinate(x=10, y=26), Coordinate(x=22, y=0), Coordinate(x=22, y=27), Coordinate(x=14, y=23), Coordinate(x=14, y=32), Coordinate(x=26, y=6), Coordinate(x=17, y=25), Coordinate(x=7, y=11), Coordinate(x=9, y=30), Coordinate(x=29, y=8), Coordinate(x=29, y=17), Coordinate(x=21, y=13), Coordinate(x=6, y=24), Coordinate(x=21, y=22), Coordinate(x=21, y=31), Coordinate(x=25, y=1), Coordinate(x=10, y=12), Coordinate(x=25, y=10), Coordinate(x=10, y=21), Coordinate(x=10, y=30), Coordinate(x=3, y=0), Coordinate(x=22, y=13), Coordinate(x=13, y=32), Coordinate(x=26, y=1), Coordinate(x=17, y=29), Coordinate(x=9, y=25), Coordinate(x=29, y=3), Coordinate(x=29, y=12), Coordinate(x=6, y=19), Coordinate(x=6, y=28), Coordinate(x=21, y=26), Coordinate(x=10, y=7), Coordinate(x=25, y=14), Coordinate(x=10, y=25), Coordinate(x=13, y=27), Coordinate(x=16, y=32), Coordinate(x=28, y=6), Coordinate(x=28, y=15), Coordinate(x=9, y=11), Coordinate(x=17, y=24), Coordinate(x=9, y=20), Coordinate(x=9, y=29), Coordinate(x=29, y=7), Coordinate(x=29, y=16), Coordinate(x=21, y=12), Coordinate(x=6, y=23), Coordinate(x=21, y=21), Coordinate(x=6, y=32), Coordinate(x=21, y=30), Coordinate(x=25, y=0), Coordinate(x=10, y=11), Coordinate(x=25, y=9), Coordinate(x=24, y=13), Coordinate(x=13, y=22), Coordinate(x=13, y=31), Coordinate(x=16, y=27), Coordinate(x=28, y=1), Coordinate(x=28, y=10), Coordinate(x=9, y=15), Coordinate(x=17, y=28), Coordinate(x=9, y=24), Coordinate(x=6, y=0), Coordinate(x=29, y=2), Coordinate(x=29, y=11), Coordinate(x=6, y=18), Coordinate(x=20, y=29), Coordinate(x=12, y=25), Coordinate(x=13, y=8), Coordinate(x=13, y=26), Coordinate(x=16, y=22), Coordinate(x=16, y=31), Coordinate(x=28, y=5), Coordinate(x=28, y=14), Coordinate(x=9, y=10), Coordinate(x=17, y=23), Coordinate(x=9, y=19), Coordinate(x=9, y=28), Coordinate(x=29, y=6), Coordinate(x=8, y=32), Coordinate(x=19, y=32), Coordinate(x=20, y=24), Coordinate(x=12, y=29), Coordinate(x=1, y=10), Coordinate(x=24, y=12), Coordinate(x=13, y=21), Coordinate(x=13, y=30), Coordinate(x=16, y=26), Coordinate(x=17, y=0), Coordinate(x=28, y=0), Coordinate(x=28, y=9), Coordinate(x=28, y=18), Coordinate(x=9, y=14), Coordinate(x=8, y=27), Coordinate(x=19, y=27), Coordinate(x=20, y=1), Coordinate(x=11, y=32), Coordinate(x=12, y=6), Coordinate(x=20, y=28), Coordinate(x=12, y=24), Coordinate(x=1, y=5), Coordinate(x=13, y=7), Coordinate(x=16, y=21), Coordinate(x=16, y=30), Coordinate(x=28, y=4), Coordinate(x=9, y=0), Coordinate(x=9, y=9), Coordinate(x=27, y=17), Coordinate(x=8, y=13), Coordinate(x=19, y=13), Coordinate(x=8, y=22), Coordinate(x=19, y=22), Coordinate(x=0, y=18), Coordinate(x=8, y=31), Coordinate(x=19, y=31), Coordinate(x=11, y=27), Coordinate(x=23, y=1), Coordinate(x=23, y=10), Coordinate(x=20, y=23), Coordinate(x=20, y=32), Coordinate(x=12, y=28), Coordinate(x=1, y=0), Coordinate(x=24, y=2), Coordinate(x=1, y=9), Coordinate(x=24, y=11), Coordinate(x=15, y=29), Coordinate(x=7, y=25), Coordinate(x=18, y=25), Coordinate(x=27, y=3), Coordinate(x=27, y=12), Coordinate(x=0, y=4), Coordinate(x=8, y=17), Coordinate(x=0, y=13), Coordinate(x=8, y=26), Coordinate(x=19, y=26), Coordinate(x=11, y=22), Coordinate(x=20, y=0), Coordinate(x=11, y=31), Coordinate(x=4, y=1), Coordinate(x=12, y=23), Coordinate(x=1, y=4), Coordinate(x=26, y=15), Coordinate(x=15, y=24), Coordinate(x=7, y=20), Coordinate(x=7, y=29), Coordinate(x=18, y=29), Coordinate(x=27, y=7), Coordinate(x=27, y=16), Coordinate(x=8, y=12), Coordinate(x=19, y=12), Coordinate(x=0, y=8), Coordinate(x=11, y=8), Coordinate(x=8, y=21), Coordinate(x=19, y=21), Coordinate(x=0, y=17), Coordinate(x=8, y=30), Coordinate(x=19, y=30), Coordinate(x=11, y=26), Coordinate(x=23, y=0), Coordinate(x=20, y=13), Coordinate(x=12, y=9), Coordinate(x=22, y=22), Coordinate(x=22, y=31), Coordinate(x=14, y=27), Coordinate(x=26, y=10), Coordinate(x=7, y=15), Coordinate(x=15, y=28), Coordinate(x=7, y=24), Coordinate(x=18, y=24), Coordinate(x=27, y=2), Coordinate(x=27, y=11), Coordinate(x=0, y=3), Coordinate(x=8, y=16), Coordinate(x=0, y=12), Coordinate(x=19, y=25), Coordinate(x=0, y=21), Coordinate(x=11, y=21), Coordinate(x=11, y=30), Coordinate(x=4, y=0), Coordinate(x=22, y=26), Coordinate(x=14, y=22), Coordinate(x=14, y=31), Coordinate(x=26, y=5), Coordinate(x=26, y=14), Coordinate(x=7, y=10), Coordinate(x=15, y=23), Coordinate(x=7, y=19), Coordinate(x=15, y=32), Coordinate(x=7, y=28), Coordinate(x=18, y=28), Coordinate(x=27, y=6), Coordinate(x=8, y=11), Coordinate(x=0, y=7), Coordinate(x=11, y=7), Coordinate(x=0, y=16), Coordinate(x=10, y=20), Coordinate(x=10, y=29), Coordinate(x=22, y=12), Coordinate(x=14, y=8), Coordinate(x=22, y=30), Coordinate(x=14, y=26), Coordinate(x=26, y=0), Coordinate(x=26, y=9), Coordinate(x=7, y=14), Coordinate(x=7, y=23), Coordinate(x=18, y=23), Coordinate(x=27, y=1), Coordinate(x=6, y=27), Coordinate(x=21, y=25), Coordinate(x=0, y=2), Coordinate(x=25, y=13), Coordinate(x=10, y=24), Coordinate(x=22, y=25), Coordinate(x=14, y=21), Coordinate(x=14, y=30), Coordinate(x=26, y=4), Coordinate(x=7, y=0), Coordinate(x=18, y=0), Coordinate(x=26, y=13), Coordinate(x=17, y=32), Coordinate(x=29, y=15), Coordinate(x=21, y=11), Coordinate(x=6, y=22), Coordinate(x=6, y=31), Coordinate(x=21, y=29), Coordinate(x=10, y=10), Coordinate(x=10, y=19), Coordinate(x=10, y=28), Coordinate(x=22, y=11), Coordinate(x=14, y=7), Coordinate(x=14, y=25), Coordinate(x=17, y=27), Coordinate(x=9, y=23), Coordinate(x=29, y=1), Coordinate(x=9, y=32), Coordinate(x=29, y=10), Coordinate(x=6, y=17), Coordinate(x=29, y=19), Coordinate(x=6, y=26), Coordinate(x=21, y=24), Coordinate(x=2, y=1), Coordinate(x=10, y=14), Coordinate(x=25, y=12), Coordinate(x=10, y=23), Coordinate(x=10, y=32), Coordinate(x=13, y=25), Coordinate(x=17, y=13), Coordinate(x=28, y=13), Coordinate(x=17, y=22), Coordinate(x=9, y=18), Coordinate(x=17, y=31), Coordinate(x=9, y=27), Coordinate(x=29, y=5), Coordinate(x=21, y=1), Coordinate(x=29, y=14), Coordinate(x=6, y=21), Coordinate(x=6, y=30), Coordinate(x=21, y=28), Coordinate(x=10, y=9), Coordinate(x=22, y=1), Coordinate(x=13, y=29), Coordinate(x=16, y=25), Coordinate(x=28, y=8), Coordinate(x=28, y=17), Coordinate(x=9, y=13), Coordinate(x=17, y=26), Coordinate(x=9, y=22), Coordinate(x=29, y=0), Coordinate(x=9, y=31), Coordinate(x=29, y=9), Coordinate(x=6, y=16), Coordinate(x=29, y=18), Coordinate(x=6, y=25), Coordinate(x=21, y=23), Coordinate(x=20, y=27), Coordinate(x=2, y=0), Coordinate(x=25, y=2), Coordinate(x=10, y=13), Coordinate(x=12, y=32), Coordinate(x=13, y=6), Coordinate(x=13, y=24), Coordinate(x=16, y=29), Coordinate(x=5, y=1), Coordinate(x=28, y=3), Coordinate(x=28, y=12), Coordinate(x=9, y=8), Coordinate(x=17, y=21), Coordinate(x=9, y=17), Coordinate(x=17, y=30), Coordinate(x=9, y=26), Coordinate(x=29, y=4), Coordinate(x=21, y=0), Coordinate(x=6, y=20), Coordinate(x=20, y=22), Coordinate(x=20, y=31), Coordinate(x=12, y=27), Coordinate(x=24, y=1), Coordinate(x=1, y=8), Coordinate(x=24, y=10), Coordinate(x=13, y=28), Coordinate(x=16, y=24), Coordinate(x=28, y=7), Coordinate(x=28, y=16), Coordinate(x=9, y=12), Coordinate(x=9, y=21), Coordinate(x=8, y=25), Coordinate(x=23, y=13), Coordinate(x=20, y=26), Coordinate(x=12, y=22), Coordinate(x=12, y=31), Coordinate(x=1, y=3), Coordinate(x=24, y=14), Coordinate(x=13, y=23), Coordinate(x=16, y=28), Coordinate(x=5, y=0), Coordinate(x=28, y=2), Coordinate(x=28, y=11), Coordinate(x=9, y=16), Coordinate(x=27, y=15), Coordinate(x=8, y=20), Coordinate(x=8, y=29), Coordinate(x=19, y=29), Coordinate(x=11, y=25), Coordinate(x=20, y=12), Coordinate(x=12, y=8), Coordinate(x=20, y=21), Coordinate(x=20, y=30), Coordinate(x=12, y=26), Coordinate(x=24, y=0), Coordinate(x=1, y=7), Coordinate(x=16, y=23), Coordinate(x=15, y=27), Coordinate(x=7, y=32), Coordinate(x=18, y=32), Coordinate(x=27, y=10), Coordinate(x=8, y=15), Coordinate(x=0, y=11), Coordinate(x=8, y=24), Coordinate(x=19, y=24), Coordinate(x=0, y=20), Coordinate(x=11, y=20), Coordinate(x=11, y=29), Coordinate(x=23, y=12), Coordinate(x=20, y=25), Coordinate(x=12, y=21), Coordinate(x=12, y=30), Coordinate(x=1, y=2), Coordinate(x=1, y=11), Coordinate(x=15, y=22), Coordinate(x=7, y=18), Coordinate(x=15, y=31), Coordinate(x=7, y=27), Coordinate(x=18, y=27), Coordinate(x=27, y=5), Coordinate(x=27, y=14), Coordinate(x=8, y=10), Coordinate(x=0, y=6), Coordinate(x=8, y=19), Coordinate(x=0, y=15), Coordinate(x=8, y=28), Coordinate(x=19, y=28), Coordinate(x=11, y=24), Coordinate(x=12, y=7), Coordinate(x=22, y=29), Coordinate(x=1, y=6), Coordinate(x=15, y=8), Coordinate(x=26, y=8), Coordinate(x=7, y=13), Coordinate(x=18, y=13), Coordinate(x=15, y=26), Coordinate(x=7, y=22), Coordinate(x=18, y=22), Coordinate(x=27, y=0), Coordinate(x=7, y=31), Coordinate(x=18, y=31), Coordinate(x=27, y=9), Coordinate(x=0, y=1), Coordinate(x=8, y=14), Coordinate(x=0, y=10), Coordinate(x=8, y=23), Coordinate(x=19, y=23), Coordinate(x=0, y=19), Coordinate(x=11, y=28), Coordinate(x=23, y=2), Coordinate(x=23, y=11), Coordinate(x=22, y=24), Coordinate(x=1, y=1), Coordinate(x=14, y=29), Coordinate(x=26, y=3), Coordinate(x=26, y=12)}), start_cells=frozenset({Coordinate(x=4, y=32), Coordinate(x=0, y=32), Coordinate(x=2, y=32), Coordinate(x=5, y=32), Coordinate(x=3, y=32), Coordinate(x=1, y=32)}), goal_cells=frozenset({Coordinate(x=25, y=32), Coordinate(x=28, y=32), Coordinate(x=23, y=32), Coordinate(x=26, y=32), Coordinate(x=29, y=32), Coordinate(x=24, y=32), Coordinate(x=27, y=32)})), start_cell=Coordinate(x=2, y=32), tank_type=<TankType.LARGE: 1>, underground=<Underground.SAND: (ArithmeticBinary(operator=<ArithmeticBinaryOperator.REAL_DIV: ('/', <function ArithmeticBinaryOperator.<lambda> at 0x7f01b8125c10>)>, left=IntegerConstant(integer=5), right=IntegerConstant(integer=10)), <function Underground.<lambda> at 0x7f01b0e4cd30>)>, max_speed=None, max_acceleration=1, fuel_model=<function fuel_model_regular at 0x7f01b0e67ee0>, compute_distances=False, random_start=False)
+Scenario(track=Track(width=30, height=33, blank_cells=frozenset({Coordinate(x=26, y=21), Coordinate(x=18, y=17), Coordinate(x=26, y=30), Coordinate(x=19, y=9), Coordinate(x=11, y=5), Coordinate(x=19, y=18), Coordinate(x=11, y=14), Coordinate(x=0, y=23), Coordinate(x=25, y=25), Coordinate(x=4, y=2), Coordinate(x=22, y=10), Coordinate(x=3, y=6), Coordinate(x=22, y=19), Coordinate(x=3, y=15), Coordinate(x=14, y=15), Coordinate(x=3, y=24), Coordinate(x=15, y=7), Coordinate(x=7, y=3), Coordinate(x=18, y=3), Coordinate(x=15, y=16), Coordinate(x=18, y=12), Coordinate(x=26, y=25), Coordinate(x=29, y=27), Coordinate(x=8, y=4), Coordinate(x=19, y=4), Coordinate(x=11, y=0), Coordinate(x=25, y=20), Coordinate(x=2, y=27), Coordinate(x=25, y=29), Coordinate(x=22, y=5), Coordinate(x=14, y=1), Coordinate(x=22, y=14), Coordinate(x=3, y=10), Coordinate(x=14, y=10), Coordinate(x=3, y=19), Coordinate(x=14, y=19), Coordinate(x=3, y=28), Coordinate(x=15, y=2), Coordinate(x=15, y=11), Coordinate(x=7, y=7), Coordinate(x=18, y=7), Coordinate(x=26, y=20), Coordinate(x=18, y=16), Coordinate(x=29, y=22), Coordinate(x=21, y=18), Coordinate(x=29, y=31), Coordinate(x=11, y=4), Coordinate(x=25, y=6), Coordinate(x=10, y=17), Coordinate(x=2, y=13), Coordinate(x=2, y=22), Coordinate(x=25, y=24), Coordinate(x=2, y=31), Coordinate(x=22, y=9), Coordinate(x=3, y=5), Coordinate(x=14, y=5), Coordinate(x=22, y=18), Coordinate(x=3, y=14), Coordinate(x=14, y=14), Coordinate(x=3, y=23), Coordinate(x=15, y=6), Coordinate(x=28, y=25), Coordinate(x=7, y=2), Coordinate(x=18, y=2), Coordinate(x=18, y=11), Coordinate(x=6, y=15), Coordinate(x=29, y=26), Coordinate(x=10, y=3), Coordinate(x=2, y=8), Coordinate(x=2, y=17), Coordinate(x=25, y=19), Coordinate(x=2, y=26), Coordinate(x=25, y=28), Coordinate(x=22, y=4), Coordinate(x=14, y=0), Coordinate(x=3, y=9), Coordinate(x=14, y=9), Coordinate(x=3, y=18), Coordinate(x=14, y=18), Coordinate(x=17, y=20), Coordinate(x=28, y=20), Coordinate(x=5, y=27), Coordinate(x=28, y=29), Coordinate(x=6, y=10), Coordinate(x=21, y=8), Coordinate(x=29, y=21), Coordinate(x=21, y=17), Coordinate(x=29, y=30), Coordinate(x=2, y=3), Coordinate(x=25, y=5), Coordinate(x=10, y=16), Coordinate(x=2, y=12), Coordinate(x=2, y=21), Coordinate(x=2, y=30), Coordinate(x=22, y=8), Coordinate(x=24, y=27), Coordinate(x=3, y=4), Coordinate(x=14, y=4), Coordinate(x=17, y=6), Coordinate(x=17, y=15), Coordinate(x=5, y=22), Coordinate(x=28, y=24), Coordinate(x=5, y=31), Coordinate(x=6, y=5), Coordinate(x=21, y=3), Coordinate(x=6, y=14), Coordinate(x=29, y=25), Coordinate(x=10, y=2), Coordinate(x=2, y=7), Coordinate(x=2, y=16), Coordinate(x=13, y=13), Coordinate(x=24, y=22), Coordinate(x=16, y=18), Coordinate(x=1, y=29), Coordinate(x=24, y=31), Coordinate(x=17, y=1), Coordinate(x=5, y=8), Coordinate(x=17, y=10), Coordinate(x=9, y=6), Coordinate(x=5, y=17), Coordinate(x=17, y=19), Coordinate(x=28, y=19), Coordinate(x=5, y=26), Coordinate(x=28, y=28), Coordinate(x=6, y=9), Coordinate(x=21, y=7), Coordinate(x=21, y=16), Coordinate(x=20, y=20), Coordinate(x=10, y=6), Coordinate(x=23, y=25), Coordinate(x=2, y=2), Coordinate(x=2, y=11), Coordinate(x=4, y=30), Coordinate(x=24, y=8), Coordinate(x=1, y=15), Coordinate(x=13, y=17), Coordinate(x=24, y=17), Coordinate(x=16, y=13), Coordinate(x=1, y=24), Coordinate(x=24, y=26), Coordinate(x=5, y=3), Coordinate(x=17, y=5), Coordinate(x=9, y=1), Coordinate(x=5, y=12), Coordinate(x=17, y=14), Coordinate(x=5, y=21), Coordinate(x=28, y=23), Coordinate(x=5, y=30), Coordinate(x=6, y=4), Coordinate(x=21, y=2), Coordinate(x=6, y=13), Coordinate(x=20, y=15), Coordinate(x=12, y=20), Coordinate(x=23, y=20), Coordinate(x=23, y=29), Coordinate(x=4, y=25), Coordinate(x=13, y=3), Coordinate(x=24, y=3), Coordinate(x=13, y=12), Coordinate(x=16, y=8), Coordinate(x=1, y=19), Coordinate(x=24, y=21), Coordinate(x=16, y=17), Coordinate(x=1, y=28), Coordinate(x=24, y=30), Coordinate(x=5, y=7), Coordinate(x=17, y=9), Coordinate(x=9, y=5), Coordinate(x=5, y=16), Coordinate(x=5, y=25), Coordinate(x=27, y=22), Coordinate(x=27, y=31), Coordinate(x=20, y=10), Coordinate(x=23, y=6), Coordinate(x=20, y=19), Coordinate(x=12, y=15), Coordinate(x=23, y=15), Coordinate(x=4, y=11), Coordinate(x=23, y=24), Coordinate(x=4, y=20), Coordinate(x=4, y=29), Coordinate(x=24, y=7), Coordinate(x=16, y=3), Coordinate(x=1, y=14), Coordinate(x=13, y=16), Coordinate(x=24, y=16), Coordinate(x=16, y=12), Coordinate(x=1, y=23), Coordinate(x=24, y=25), Coordinate(x=5, y=2), Coordinate(x=17, y=4), Coordinate(x=5, y=11), Coordinate(x=27, y=26), Coordinate(x=11, y=18), Coordinate(x=0, y=27), Coordinate(x=20, y=5), Coordinate(x=12, y=1), Coordinate(x=20, y=14), Coordinate(x=12, y=10), Coordinate(x=4, y=6), Coordinate(x=12, y=19), Coordinate(x=23, y=19), Coordinate(x=4, y=15), Coordinate(x=23, y=28), Coordinate(x=4, y=24), Coordinate(x=13, y=2), Coordinate(x=13, y=11), Coordinate(x=16, y=7), Coordinate(x=1, y=18), Coordinate(x=16, y=16), Coordinate(x=15, y=20), Coordinate(x=26, y=29), Coordinate(x=5, y=6), Coordinate(x=8, y=8), Coordinate(x=19, y=8), Coordinate(x=27, y=21), Coordinate(x=19, y=17), Coordinate(x=27, y=30), Coordinate(x=11, y=13), Coordinate(x=0, y=22), Coordinate(x=0, y=31), Coordinate(x=20, y=9), Coordinate(x=12, y=5), Coordinate(x=23, y=5), Coordinate(x=20, y=18), Coordinate(x=12, y=14), Coordinate(x=23, y=14), Coordinate(x=4, y=10), Coordinate(x=23, y=23), Coordinate(x=4, y=19), Coordinate(x=4, y=28), Coordinate(x=24, y=6), Coordinate(x=16, y=2), Coordinate(x=1, y=13), Coordinate(x=15, y=15), Coordinate(x=26, y=24), Coordinate(x=18, y=20), Coordinate(x=8, y=3), Coordinate(x=19, y=3), Coordinate(x=27, y=25), Coordinate(x=11, y=17), Coordinate(x=0, y=26), Coordinate(x=20, y=4), Coordinate(x=12, y=0), Coordinate(x=23, y=9), Coordinate(x=4, y=5), Coordinate(x=23, y=18), Coordinate(x=4, y=14), Coordinate(x=3, y=27), Coordinate(x=15, y=1), Coordinate(x=15, y=10), Coordinate(x=7, y=6), Coordinate(x=18, y=6), Coordinate(x=15, y=19), Coordinate(x=26, y=19), Coordinate(x=18, y=15), Coordinate(x=26, y=28), Coordinate(x=8, y=7), Coordinate(x=19, y=7), Coordinate(x=27, y=20), Coordinate(x=11, y=3), Coordinate(x=19, y=16), Coordinate(x=11, y=12), Coordinate(x=12, y=4), Coordinate(x=23, y=4), Coordinate(x=25, y=23), Coordinate(x=4, y=9), Coordinate(x=22, y=17), Coordinate(x=3, y=13), Coordinate(x=14, y=13), Coordinate(x=3, y=22), Coordinate(x=3, y=31), Coordinate(x=15, y=5), Coordinate(x=7, y=1), Coordinate(x=18, y=1), Coordinate(x=15, y=14), Coordinate(x=18, y=10), Coordinate(x=26, y=23), Coordinate(x=18, y=19), Coordinate(x=8, y=2), Coordinate(x=19, y=2), Coordinate(x=19, y=11), Coordinate(x=11, y=16), Coordinate(x=25, y=18), Coordinate(x=2, y=25), Coordinate(x=25, y=27), Coordinate(x=22, y=3), Coordinate(x=3, y=8), Coordinate(x=22, y=21), Coordinate(x=3, y=17), Coordinate(x=14, y=17), Coordinate(x=3, y=26), Coordinate(x=15, y=0), Coordinate(x=15, y=9), Coordinate(x=7, y=5), Coordinate(x=18, y=5), Coordinate(x=15, y=18), Coordinate(x=26, y=18), Coordinate(x=18, y=14), Coordinate(x=29, y=20), Coordinate(x=29, y=29), Coordinate(x=19, y=6), Coordinate(x=11, y=2), Coordinate(x=25, y=4), Coordinate(x=10, y=15), Coordinate(x=2, y=20), Coordinate(x=25, y=22), Coordinate(x=2, y=29), Coordinate(x=25, y=31), Coordinate(x=22, y=7), Coordinate(x=3, y=3), Coordinate(x=14, y=3), Coordinate(x=22, y=16), Coordinate(x=3, y=12), Coordinate(x=14, y=12), Coordinate(x=3, y=21), Coordinate(x=3, y=30), Coordinate(x=15, y=4), Coordinate(x=15, y=13), Coordinate(x=7, y=9), Coordinate(x=18, y=9), Coordinate(x=18, y=18), Coordinate(x=29, y=24), Coordinate(x=21, y=20), Coordinate(x=10, y=1), Coordinate(x=2, y=6), Coordinate(x=25, y=8), Coordinate(x=7, y=8), Coordinate(x=2, y=15), Coordinate(x=25, y=17), Coordinate(x=2, y=24), Coordinate(x=25, y=26), Coordinate(x=22, y=2), Coordinate(x=3, y=7), Coordinate(x=22, y=20), Coordinate(x=3, y=16), Coordinate(x=14, y=16), Coordinate(x=3, y=25), Coordinate(x=17, y=18), Coordinate(x=28, y=27), Coordinate(x=7, y=4), Coordinate(x=18, y=4), Coordinate(x=6, y=8), Coordinate(x=21, y=6), Coordinate(x=21, y=15), Coordinate(x=29, y=28), Coordinate(x=10, y=5), Coordinate(x=25, y=3), Coordinate(x=2, y=10), Coordinate(x=2, y=19), Coordinate(x=25, y=21), Coordinate(x=2, y=28), Coordinate(x=22, y=6), Coordinate(x=3, y=2), Coordinate(x=14, y=2), Coordinate(x=3, y=11), Coordinate(x=14, y=11), Coordinate(x=5, y=20), Coordinate(x=28, y=22), Coordinate(x=5, y=29), Coordinate(x=28, y=31), Coordinate(x=6, y=3), Coordinate(x=6, y=12), Coordinate(x=21, y=10), Coordinate(x=29, y=23), Coordinate(x=21, y=19), Coordinate(x=10, y=0), Coordinate(x=2, y=5), Coordinate(x=25, y=7), Coordinate(x=10, y=18), Coordinate(x=2, y=14), Coordinate(x=25, y=16), Coordinate(x=2, y=23), Coordinate(x=13, y=20), Coordinate(x=24, y=20), Coordinate(x=1, y=27), Coordinate(x=24, y=29), Coordinate(x=14, y=6), Coordinate(x=17, y=8), Coordinate(x=9, y=4), Coordinate(x=5, y=15), Coordinate(x=17, y=17), Coordinate(x=5, y=24), Coordinate(x=28, y=26), Coordinate(x=6, y=7), Coordinate(x=21, y=5), Coordinate(x=21, y=14), Coordinate(x=10, y=4), Coordinate(x=2, y=9), Coordinate(x=2, y=18), Coordinate(x=24, y=15), Coordinate(x=13, y=15), Coordinate(x=16, y=11), Coordinate(x=1, y=22), Coordinate(x=24, y=24), Coordinate(x=16, y=20), Coordinate(x=1, y=31), Coordinate(x=17, y=3), Coordinate(x=5, y=10), Coordinate(x=17, y=12), Coordinate(x=5, y=19), Coordinate(x=28, y=21), Coordinate(x=5, y=28), Coordinate(x=28, y=30), Coordinate(x=6, y=2), Coordinate(x=6, y=11), Coordinate(x=21, y=9), Coordinate(x=12, y=18), Coordinate(x=23, y=27), Coordinate(x=2, y=4), Coordinate(x=4, y=23), Coordinate(x=13, y=1), Coordinate(x=13, y=10), Coordinate(x=16, y=6), Coordinate(x=1, y=17), Coordinate(x=13, y=19), Coordinate(x=24, y=19), Coordinate(x=16, y=15), Coordinate(x=1, y=26), Coordinate(x=24, y=28), Coordinate(x=5, y=5), Coordinate(x=17, y=7), Coordinate(x=9, y=3), Coordinate(x=5, y=14), Coordinate(x=17, y=16), Coordinate(x=5, y=23), Coordinate(x=27, y=29), Coordinate(x=6, y=6), Coordinate(x=21, y=4), Coordinate(x=0, y=30), Coordinate(x=20, y=8), Coordinate(x=20, y=17), Coordinate(x=12, y=13), Coordinate(x=23, y=22), Coordinate(x=4, y=18), Coordinate(x=23, y=31), Coordinate(x=4, y=27), Coordinate(x=13, y=5), Coordinate(x=24, y=5), Coordinate(x=16, y=1), Coordinate(x=1, y=12), Coordinate(x=13, y=14), Coordinate(x=16, y=10), Coordinate(x=1, y=21), Coordinate(x=24, y=23), Coordinate(x=16, y=19), Coordinate(x=1, y=30), Coordinate(x=17, y=2), Coordinate(x=5, y=9), Coordinate(x=17, y=11), Coordinate(x=9, y=7), Coordinate(x=5, y=18), Coordinate(x=27, y=24), Coordinate(x=6, y=1), Coordinate(x=19, y=20), Coordinate(x=0, y=25), Coordinate(x=20, y=3), Coordinate(x=23, y=8), Coordinate(x=4, y=4), Coordinate(x=12, y=17), Coordinate(x=23, y=17), Coordinate(x=4, y=13), Coordinate(x=23, y=26), Coordinate(x=4, y=22), Coordinate(x=13, y=0), Coordinate(x=4, y=31), Coordinate(x=13, y=9), Coordinate(x=24, y=9), Coordinate(x=16, y=5), Coordinate(x=1, y=16), Coordinate(x=13, y=18), Coordinate(x=24, y=18), Coordinate(x=16, y=14), Coordinate(x=1, y=25), Coordinate(x=26, y=27), Coordinate(x=5, y=4), Coordinate(x=9, y=2), Coordinate(x=5, y=13), Coordinate(x=8, y=6), Coordinate(x=27, y=19), Coordinate(x=19, y=15), Coordinate(x=27, y=28), Coordinate(x=11, y=11), Coordinate(x=0, y=29), Coordinate(x=20, y=7), Coordinate(x=12, y=3), Coordinate(x=23, y=3), Coordinate(x=20, y=16), Coordinate(x=12, y=12), Coordinate(x=4, y=8), Coordinate(x=23, y=21), Coordinate(x=4, y=17), Coordinate(x=23, y=30), Coordinate(x=4, y=26), Coordinate(x=13, y=4), Coordinate(x=24, y=4), Coordinate(x=16, y=0), Coordinate(x=16, y=9), Coordinate(x=1, y=20), Coordinate(x=26, y=22), Coordinate(x=26, y=31), Coordinate(x=8, y=1), Coordinate(x=19, y=1), Coordinate(x=19, y=10), Coordinate(x=27, y=23), Coordinate(x=11, y=6), Coordinate(x=19, y=19), Coordinate(x=11, y=15), Coordinate(x=0, y=24), Coordinate(x=20, y=2), Coordinate(x=20, y=11), Coordinate(x=23, y=7), Coordinate(x=4, y=3), Coordinate(x=12, y=16), Coordinate(x=23, y=16), Coordinate(x=4, y=12), Coordinate(x=4, y=21), Coordinate(x=16, y=4), Coordinate(x=15, y=17), Coordinate(x=26, y=17), Coordinate(x=26, y=26), Coordinate(x=8, y=5), Coordinate(x=19, y=5), Coordinate(x=27, y=18), Coordinate(x=11, y=1), Coordinate(x=19, y=14), Coordinate(x=27, y=27), Coordinate(x=11, y=10), Coordinate(x=11, y=19), Coordinate(x=0, y=28), Coordinate(x=20, y=6), Coordinate(x=12, y=2), Coordinate(x=12, y=11), Coordinate(x=25, y=30), Coordinate(x=4, y=7), Coordinate(x=4, y=16), Coordinate(x=22, y=15), Coordinate(x=3, y=20), Coordinate(x=14, y=20), Coordinate(x=3, y=29), Coordinate(x=15, y=3), Coordinate(x=15, y=12), Coordinate(x=18, y=8)}), blocked_cells=frozenset({Coordinate(x=15, y=21), Coordinate(x=7, y=17), Coordinate(x=15, y=30), Coordinate(x=7, y=26), Coordinate(x=18, y=26), Coordinate(x=27, y=4), Coordinate(x=8, y=0), Coordinate(x=19, y=0), Coordinate(x=27, y=13), Coordinate(x=8, y=9), Coordinate(x=0, y=5), Coordinate(x=8, y=18), Coordinate(x=0, y=14), Coordinate(x=11, y=23), Coordinate(x=10, y=27), Coordinate(x=22, y=28), Coordinate(x=14, y=24), Coordinate(x=26, y=7), Coordinate(x=26, y=16), Coordinate(x=7, y=12), Coordinate(x=15, y=25), Coordinate(x=7, y=21), Coordinate(x=18, y=21), Coordinate(x=7, y=30), Coordinate(x=18, y=30), Coordinate(x=27, y=8), Coordinate(x=0, y=0), Coordinate(x=21, y=32), Coordinate(x=0, y=9), Coordinate(x=11, y=9), Coordinate(x=25, y=11), Coordinate(x=10, y=22), Coordinate(x=10, y=31), Coordinate(x=3, y=1), Coordinate(x=22, y=23), Coordinate(x=22, y=32), Coordinate(x=14, y=28), Coordinate(x=26, y=2), Coordinate(x=26, y=11), Coordinate(x=7, y=16), Coordinate(x=29, y=13), Coordinate(x=6, y=29), Coordinate(x=21, y=27), Coordinate(x=10, y=8), Coordinate(x=25, y=15), Coordinate(x=10, y=26), Coordinate(x=22, y=0), Coordinate(x=22, y=27), Coordinate(x=14, y=23), Coordinate(x=14, y=32), Coordinate(x=26, y=6), Coordinate(x=17, y=25), Coordinate(x=7, y=11), Coordinate(x=9, y=30), Coordinate(x=29, y=8), Coordinate(x=29, y=17), Coordinate(x=21, y=13), Coordinate(x=6, y=24), Coordinate(x=21, y=22), Coordinate(x=21, y=31), Coordinate(x=25, y=1), Coordinate(x=10, y=12), Coordinate(x=25, y=10), Coordinate(x=10, y=21), Coordinate(x=10, y=30), Coordinate(x=3, y=0), Coordinate(x=22, y=13), Coordinate(x=13, y=32), Coordinate(x=26, y=1), Coordinate(x=17, y=29), Coordinate(x=9, y=25), Coordinate(x=29, y=3), Coordinate(x=29, y=12), Coordinate(x=6, y=19), Coordinate(x=6, y=28), Coordinate(x=21, y=26), Coordinate(x=10, y=7), Coordinate(x=25, y=14), Coordinate(x=10, y=25), Coordinate(x=13, y=27), Coordinate(x=16, y=32), Coordinate(x=28, y=6), Coordinate(x=28, y=15), Coordinate(x=9, y=11), Coordinate(x=17, y=24), Coordinate(x=9, y=20), Coordinate(x=9, y=29), Coordinate(x=29, y=7), Coordinate(x=29, y=16), Coordinate(x=21, y=12), Coordinate(x=6, y=23), Coordinate(x=21, y=21), Coordinate(x=6, y=32), Coordinate(x=21, y=30), Coordinate(x=25, y=0), Coordinate(x=10, y=11), Coordinate(x=25, y=9), Coordinate(x=24, y=13), Coordinate(x=13, y=22), Coordinate(x=13, y=31), Coordinate(x=16, y=27), Coordinate(x=28, y=1), Coordinate(x=28, y=10), Coordinate(x=9, y=15), Coordinate(x=17, y=28), Coordinate(x=9, y=24), Coordinate(x=6, y=0), Coordinate(x=29, y=2), Coordinate(x=29, y=11), Coordinate(x=6, y=18), Coordinate(x=20, y=29), Coordinate(x=12, y=25), Coordinate(x=13, y=8), Coordinate(x=13, y=26), Coordinate(x=16, y=22), Coordinate(x=16, y=31), Coordinate(x=28, y=5), Coordinate(x=28, y=14), Coordinate(x=9, y=10), Coordinate(x=17, y=23), Coordinate(x=9, y=19), Coordinate(x=9, y=28), Coordinate(x=29, y=6), Coordinate(x=8, y=32), Coordinate(x=19, y=32), Coordinate(x=20, y=24), Coordinate(x=12, y=29), Coordinate(x=1, y=10), Coordinate(x=24, y=12), Coordinate(x=13, y=21), Coordinate(x=13, y=30), Coordinate(x=16, y=26), Coordinate(x=17, y=0), Coordinate(x=28, y=0), Coordinate(x=28, y=9), Coordinate(x=28, y=18), Coordinate(x=9, y=14), Coordinate(x=8, y=27), Coordinate(x=19, y=27), Coordinate(x=20, y=1), Coordinate(x=11, y=32), Coordinate(x=12, y=6), Coordinate(x=20, y=28), Coordinate(x=12, y=24), Coordinate(x=1, y=5), Coordinate(x=13, y=7), Coordinate(x=16, y=21), Coordinate(x=16, y=30), Coordinate(x=28, y=4), Coordinate(x=9, y=0), Coordinate(x=9, y=9), Coordinate(x=27, y=17), Coordinate(x=8, y=13), Coordinate(x=19, y=13), Coordinate(x=8, y=22), Coordinate(x=19, y=22), Coordinate(x=0, y=18), Coordinate(x=8, y=31), Coordinate(x=19, y=31), Coordinate(x=11, y=27), Coordinate(x=23, y=1), Coordinate(x=23, y=10), Coordinate(x=20, y=23), Coordinate(x=20, y=32), Coordinate(x=12, y=28), Coordinate(x=1, y=0), Coordinate(x=24, y=2), Coordinate(x=1, y=9), Coordinate(x=24, y=11), Coordinate(x=15, y=29), Coordinate(x=7, y=25), Coordinate(x=18, y=25), Coordinate(x=27, y=3), Coordinate(x=27, y=12), Coordinate(x=0, y=4), Coordinate(x=8, y=17), Coordinate(x=0, y=13), Coordinate(x=8, y=26), Coordinate(x=19, y=26), Coordinate(x=11, y=22), Coordinate(x=20, y=0), Coordinate(x=11, y=31), Coordinate(x=4, y=1), Coordinate(x=12, y=23), Coordinate(x=1, y=4), Coordinate(x=26, y=15), Coordinate(x=15, y=24), Coordinate(x=7, y=20), Coordinate(x=7, y=29), Coordinate(x=18, y=29), Coordinate(x=27, y=7), Coordinate(x=27, y=16), Coordinate(x=8, y=12), Coordinate(x=19, y=12), Coordinate(x=0, y=8), Coordinate(x=11, y=8), Coordinate(x=8, y=21), Coordinate(x=19, y=21), Coordinate(x=0, y=17), Coordinate(x=8, y=30), Coordinate(x=19, y=30), Coordinate(x=11, y=26), Coordinate(x=23, y=0), Coordinate(x=20, y=13), Coordinate(x=12, y=9), Coordinate(x=22, y=22), Coordinate(x=22, y=31), Coordinate(x=14, y=27), Coordinate(x=26, y=10), Coordinate(x=7, y=15), Coordinate(x=15, y=28), Coordinate(x=7, y=24), Coordinate(x=18, y=24), Coordinate(x=27, y=2), Coordinate(x=27, y=11), Coordinate(x=0, y=3), Coordinate(x=8, y=16), Coordinate(x=0, y=12), Coordinate(x=19, y=25), Coordinate(x=0, y=21), Coordinate(x=11, y=21), Coordinate(x=11, y=30), Coordinate(x=4, y=0), Coordinate(x=22, y=26), Coordinate(x=14, y=22), Coordinate(x=14, y=31), Coordinate(x=26, y=5), Coordinate(x=26, y=14), Coordinate(x=7, y=10), Coordinate(x=15, y=23), Coordinate(x=7, y=19), Coordinate(x=15, y=32), Coordinate(x=7, y=28), Coordinate(x=18, y=28), Coordinate(x=27, y=6), Coordinate(x=8, y=11), Coordinate(x=0, y=7), Coordinate(x=11, y=7), Coordinate(x=0, y=16), Coordinate(x=10, y=20), Coordinate(x=10, y=29), Coordinate(x=22, y=12), Coordinate(x=14, y=8), Coordinate(x=22, y=30), Coordinate(x=14, y=26), Coordinate(x=26, y=0), Coordinate(x=26, y=9), Coordinate(x=7, y=14), Coordinate(x=7, y=23), Coordinate(x=18, y=23), Coordinate(x=27, y=1), Coordinate(x=6, y=27), Coordinate(x=21, y=25), Coordinate(x=0, y=2), Coordinate(x=25, y=13), Coordinate(x=10, y=24), Coordinate(x=22, y=25), Coordinate(x=14, y=21), Coordinate(x=14, y=30), Coordinate(x=26, y=4), Coordinate(x=7, y=0), Coordinate(x=18, y=0), Coordinate(x=26, y=13), Coordinate(x=17, y=32), Coordinate(x=29, y=15), Coordinate(x=21, y=11), Coordinate(x=6, y=22), Coordinate(x=6, y=31), Coordinate(x=21, y=29), Coordinate(x=10, y=10), Coordinate(x=10, y=19), Coordinate(x=10, y=28), Coordinate(x=22, y=11), Coordinate(x=14, y=7), Coordinate(x=14, y=25), Coordinate(x=17, y=27), Coordinate(x=9, y=23), Coordinate(x=29, y=1), Coordinate(x=9, y=32), Coordinate(x=29, y=10), Coordinate(x=6, y=17), Coordinate(x=29, y=19), Coordinate(x=6, y=26), Coordinate(x=21, y=24), Coordinate(x=2, y=1), Coordinate(x=10, y=14), Coordinate(x=25, y=12), Coordinate(x=10, y=23), Coordinate(x=10, y=32), Coordinate(x=13, y=25), Coordinate(x=17, y=13), Coordinate(x=28, y=13), Coordinate(x=17, y=22), Coordinate(x=9, y=18), Coordinate(x=17, y=31), Coordinate(x=9, y=27), Coordinate(x=29, y=5), Coordinate(x=21, y=1), Coordinate(x=29, y=14), Coordinate(x=6, y=21), Coordinate(x=6, y=30), Coordinate(x=21, y=28), Coordinate(x=10, y=9), Coordinate(x=22, y=1), Coordinate(x=13, y=29), Coordinate(x=16, y=25), Coordinate(x=28, y=8), Coordinate(x=28, y=17), Coordinate(x=9, y=13), Coordinate(x=17, y=26), Coordinate(x=9, y=22), Coordinate(x=29, y=0), Coordinate(x=9, y=31), Coordinate(x=29, y=9), Coordinate(x=6, y=16), Coordinate(x=29, y=18), Coordinate(x=6, y=25), Coordinate(x=21, y=23), Coordinate(x=20, y=27), Coordinate(x=2, y=0), Coordinate(x=25, y=2), Coordinate(x=10, y=13), Coordinate(x=12, y=32), Coordinate(x=13, y=6), Coordinate(x=13, y=24), Coordinate(x=16, y=29), Coordinate(x=5, y=1), Coordinate(x=28, y=3), Coordinate(x=28, y=12), Coordinate(x=9, y=8), Coordinate(x=17, y=21), Coordinate(x=9, y=17), Coordinate(x=17, y=30), Coordinate(x=9, y=26), Coordinate(x=29, y=4), Coordinate(x=21, y=0), Coordinate(x=6, y=20), Coordinate(x=20, y=22), Coordinate(x=20, y=31), Coordinate(x=12, y=27), Coordinate(x=24, y=1), Coordinate(x=1, y=8), Coordinate(x=24, y=10), Coordinate(x=13, y=28), Coordinate(x=16, y=24), Coordinate(x=28, y=7), Coordinate(x=28, y=16), Coordinate(x=9, y=12), Coordinate(x=9, y=21), Coordinate(x=8, y=25), Coordinate(x=23, y=13), Coordinate(x=20, y=26), Coordinate(x=12, y=22), Coordinate(x=12, y=31), Coordinate(x=1, y=3), Coordinate(x=24, y=14), Coordinate(x=13, y=23), Coordinate(x=16, y=28), Coordinate(x=5, y=0), Coordinate(x=28, y=2), Coordinate(x=28, y=11), Coordinate(x=9, y=16), Coordinate(x=27, y=15), Coordinate(x=8, y=20), Coordinate(x=8, y=29), Coordinate(x=19, y=29), Coordinate(x=11, y=25), Coordinate(x=20, y=12), Coordinate(x=12, y=8), Coordinate(x=20, y=21), Coordinate(x=20, y=30), Coordinate(x=12, y=26), Coordinate(x=24, y=0), Coordinate(x=1, y=7), Coordinate(x=16, y=23), Coordinate(x=15, y=27), Coordinate(x=7, y=32), Coordinate(x=18, y=32), Coordinate(x=27, y=10), Coordinate(x=8, y=15), Coordinate(x=0, y=11), Coordinate(x=8, y=24), Coordinate(x=19, y=24), Coordinate(x=0, y=20), Coordinate(x=11, y=20), Coordinate(x=11, y=29), Coordinate(x=23, y=12), Coordinate(x=20, y=25), Coordinate(x=12, y=21), Coordinate(x=12, y=30), Coordinate(x=1, y=2), Coordinate(x=1, y=11), Coordinate(x=15, y=22), Coordinate(x=7, y=18), Coordinate(x=15, y=31), Coordinate(x=7, y=27), Coordinate(x=18, y=27), Coordinate(x=27, y=5), Coordinate(x=27, y=14), Coordinate(x=8, y=10), Coordinate(x=0, y=6), Coordinate(x=8, y=19), Coordinate(x=0, y=15), Coordinate(x=8, y=28), Coordinate(x=19, y=28), Coordinate(x=11, y=24), Coordinate(x=12, y=7), Coordinate(x=22, y=29), Coordinate(x=1, y=6), Coordinate(x=15, y=8), Coordinate(x=26, y=8), Coordinate(x=7, y=13), Coordinate(x=18, y=13), Coordinate(x=15, y=26), Coordinate(x=7, y=22), Coordinate(x=18, y=22), Coordinate(x=27, y=0), Coordinate(x=7, y=31), Coordinate(x=18, y=31), Coordinate(x=27, y=9), Coordinate(x=0, y=1), Coordinate(x=8, y=14), Coordinate(x=0, y=10), Coordinate(x=8, y=23), Coordinate(x=19, y=23), Coordinate(x=0, y=19), Coordinate(x=11, y=28), Coordinate(x=23, y=2), Coordinate(x=23, y=11), Coordinate(x=22, y=24), Coordinate(x=1, y=1), Coordinate(x=14, y=29), Coordinate(x=26, y=3), Coordinate(x=26, y=12)}), start_cells=frozenset({Coordinate(x=4, y=32), Coordinate(x=0, y=32), Coordinate(x=2, y=32), Coordinate(x=5, y=32), Coordinate(x=3, y=32), Coordinate(x=1, y=32)}), goal_cells=frozenset({Coordinate(x=25, y=32), Coordinate(x=28, y=32), Coordinate(x=23, y=32), Coordinate(x=26, y=32), Coordinate(x=29, y=32), Coordinate(x=24, y=32), Coordinate(x=27, y=32)})), start_cell=Coordinate(x=0, y=32), tank_type=<TankType.LARGE: 1>, underground=<Underground.SAND: (ArithmeticBinary(operator=<ArithmeticBinaryOperator.REAL_DIV: ('/', <function ArithmeticBinaryOperator.<lambda> at 0x7f3e482d4c10>)>, left=IntegerConstant(integer=5), right=IntegerConstant(integer=10)), <function Underground.<lambda> at 0x7f3e4800fd30>)>, max_speed=None, max_acceleration=1, fuel_model=<function fuel_model_regular at 0x7f3e48023ee0>, compute_distances=False, random_start=False)
<momba.model.networks.Network at 0x7f01b0db5730>
+<momba.model.networks.Network at 0x7f3e38fe8e80>
<momba.engine.explore.Explorer at 0x7f01b0db5760>
+<momba.engine.explore.Explorer at 0x7f3e38fe8a90>
{'car_dx': Value(0),
'car_dy': Value(0),
- 'car_x': Value(2),
+ 'car_x': Value(0),
'car_y': Value(32),
'fuel': Value(1629)}
'{"jani-version": 1, "x-generator": "Momba (v0.6.11)", "x-momba-release": "0.6.11", "name": "A Momba Model", "x-momba-anonymous": true, "metadata": {}, "x-momba-metadata": {}, "type": "mdp", "variables": [{"name": "pos_x", "type": "int", "initial-value": 0}, {"name": "pos_y", "type": "int", "initial-value": 0}], "constants": [], "actions": [{"name": "left"}, {"name": "right"}, {"name": "stay"}], "automata": [{"name": "Environment", "x-momba-anonymous": false, "variables": [{"name": "has_won", "type": "bool", "initial-value": false}, {"name": "has_crashed", "type": "bool", "initial-value": false}], "locations": [{"name": "ready", "x-momba-anonymous": false, "transient-values": []}], "edges": [{"location": "ready", "destinations": [{"location": "ready", "probability": {"exp": {"op": "-", "left": 1, "right": 0.6}}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": "pos_y", "right": 3}, "right": {"op": "<", "left": "pos_y", "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": "pos_y", "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 2}}}}}]}, {"location": "ready", "probability": {"exp": 0.6}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "pos_y", "value": {"op": "+", "left": "pos_y", "right": -1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 3}, "right": {"op": "<", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}}}]}], "action": "left", "guard": {"exp": {"op": "∧", "left": {"op": "¬", "exp": "has_won"}, "right": {"op": "¬", "exp": "has_crashed"}}}}, {"location": "ready", "destinations": [{"location": "ready", "probability": {"exp": {"op": "-", "left": 1, "right": 0.6}}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": "pos_y", "right": 3}, "right": {"op": "<", "left": "pos_y", "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": "pos_y", "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 2}}}}}]}, {"location": "ready", "probability": {"exp": 0.6}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "pos_y", "value": {"op": "+", "left": "pos_y", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 3}, "right": {"op": "<", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}}}]}], "action": "right", "guard": {"exp": {"op": "∧", "left": {"op": "¬", "exp": "has_won"}, "right": {"op": "¬", "exp": "has_crashed"}}}}, {"location": "ready", "destinations": [{"location": "ready", "probability": {"exp": 0.6}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "pos_y", "value": {"op": "+", "left": "pos_y", "right": 0}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 3}, "right": {"op": "<", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}}}]}, {"location": "ready", "probability": {"exp": {"op": "-", "left": 1, "right": 0.6}}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": "pos_y", "right": 3}, "right": {"op": "<", "left": "pos_y", "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": "pos_y", "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 2}}}}}]}], "action": "stay", "guard": {"exp": {"op": "∧", "left": {"op": "¬", "exp": "has_won"}, "right": {"op": "¬", "exp": "has_crashed"}}}}], "initial-locations": ["ready"]}], "properties": [], "system": {"elements": [{"automaton": "Environment"}], "syncs": [{"synchronise": ["left"], "result": "left"}, {"synchronise": ["right"], "result": "right"}, {"synchronise": ["stay"], "result": "stay"}]}, "features": ["derived-operators"]}'
+'{"jani-version": 1, "x-generator": "Momba (v0.6.11)", "x-momba-release": "0.6.11", "name": "A Momba Model", "x-momba-anonymous": true, "metadata": {}, "x-momba-metadata": {}, "type": "mdp", "variables": [{"name": "pos_x", "type": "int", "initial-value": 0}, {"name": "pos_y", "type": "int", "initial-value": 0}], "constants": [], "actions": [{"name": "left"}, {"name": "right"}, {"name": "stay"}], "automata": [{"name": "Environment", "x-momba-anonymous": false, "variables": [{"name": "has_won", "type": "bool", "initial-value": false}, {"name": "has_crashed", "type": "bool", "initial-value": false}], "locations": [{"name": "ready", "x-momba-anonymous": false, "transient-values": []}], "edges": [{"location": "ready", "destinations": [{"location": "ready", "probability": {"exp": 0.6}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "pos_y", "value": {"op": "+", "left": "pos_y", "right": -1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 3}, "right": {"op": "<", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": -1}, "right": 2}}}}}]}, {"location": "ready", "probability": {"exp": {"op": "-", "left": 1, "right": 0.6}}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": "pos_y", "right": 3}, "right": {"op": "<", "left": "pos_y", "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": "pos_y", "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 2}}}}}]}], "action": "left", "guard": {"exp": {"op": "∧", "left": {"op": "¬", "exp": "has_won"}, "right": {"op": "¬", "exp": "has_crashed"}}}}, {"location": "ready", "destinations": [{"location": "ready", "probability": {"exp": 0.6}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "pos_y", "value": {"op": "+", "left": "pos_y", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 3}, "right": {"op": "<", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 1}, "right": 2}}}}}]}, {"location": "ready", "probability": {"exp": {"op": "-", "left": 1, "right": 0.6}}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": "pos_y", "right": 3}, "right": {"op": "<", "left": "pos_y", "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": "pos_y", "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 2}}}}}]}], "action": "right", "guard": {"exp": {"op": "∧", "left": {"op": "¬", "exp": "has_won"}, "right": {"op": "¬", "exp": "has_crashed"}}}}, {"location": "ready", "destinations": [{"location": "ready", "probability": {"exp": {"op": "-", "left": 1, "right": 0.6}}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": "pos_y", "right": 3}, "right": {"op": "<", "left": "pos_y", "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": "pos_y", "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": "pos_y", "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": "pos_y", "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": "pos_y", "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": "pos_y", "right": 2}}}}}]}, {"location": "ready", "probability": {"exp": 0.6}, "assignments": [{"ref": "pos_x", "value": {"op": "+", "left": "pos_x", "right": 1}}, {"ref": "pos_y", "value": {"op": "+", "left": "pos_y", "right": 0}}, {"ref": "has_won", "value": {"op": "≥", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 34}}, {"ref": "has_crashed", "value": {"op": "∨", "left": {"op": "∨", "left": {"op": "≥", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 3}, "right": {"op": "<", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}, "right": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∨", "left": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 12}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 17}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 2}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 6}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 21}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 31}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 4}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 27}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 19}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 11}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 1}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 13}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 24}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 20}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 0}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 3}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 5}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 32}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 1}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 7}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}, "right": {"op": "∧", "left": {"op": "=", "left": {"op": "+", "left": "pos_x", "right": 1}, "right": 18}, "right": {"op": "=", "left": {"op": "+", "left": "pos_y", "right": 0}, "right": 2}}}}}]}], "action": "stay", "guard": {"exp": {"op": "∧", "left": {"op": "¬", "exp": "has_won"}, "right": {"op": "¬", "exp": "has_crashed"}}}}], "initial-locations": ["ready"]}], "properties": [], "system": {"elements": [{"automaton": "Environment"}], "syncs": [{"synchronise": ["left"], "result": "left"}, {"synchronise": ["right"], "result": "right"}, {"synchronise": ["stay"], "result": "stay"}]}, "features": ["derived-operators"]}'
<Context model_type=ModelType.MDP at 0x7fd37ca6dee0>
+<Context model_type=ModelType.MDP at 0x7f835859e4f0>
<momba.engine.explore.Explorer at 0x7eff20c51d90>
+<momba.engine.explore.Explorer at 0x7faf68ac1d30>
Action: snd_idle12
- With p=0.5 to <momba.engine.explore.Destination object at 0x7eff208cf5e0>.
- With p=0.5 to <momba.engine.explore.Destination object at 0x7eff208cf250>.
+ With p=0.5 to <momba.engine.explore.Destination object at 0x7faf6872c6a0>.
+ With p=0.5 to <momba.engine.explore.Destination object at 0x7faf6872c670>.
Action: snd_idle21
- With p=0.5 to <momba.engine.explore.Destination object at 0x7eff208cff10>.
- With p=0.5 to <momba.engine.explore.Destination object at 0x7eff208cf490>.
+ With p=0.5 to <momba.engine.explore.Destination object at 0x7faf6872cf10>.
+ With p=0.5 to <momba.engine.explore.Destination object at 0x7faf6872c1f0>.
<momba.model.networks.Network at 0x7fb6745a1eb0>
+<momba.model.networks.Network at 0x7fb230f0b730>
<Automaton name='environment' at 0x7f3a5c364fd0>
+<Automaton name='environment' at 0x7fc66c102eb0>
<Context model_type=ModelType.PTA at 0x7f935cc11ca0>
+<Context model_type=ModelType.PTA at 0x7fb8804595e0>
<momba.model.networks.Network at 0x7f509851c580>
+<momba.model.networks.Network at 0x7f4ef036ffa0>