/**/_xdc_._1uafny && _xdc_._1uafny( ["Map data ©2017 Google",[["obliques",[[50.65642599320274,5.482177734375],[50.65990836093938,5.51513671875]]],["obliques",[[50.65294336725708,5.482177734375],[50.65642599320274,5.51513671875]]],["obliques",[[50.64946048309612,5.482177734375],[50.65294336725708,5.51513671875]]],["obliques",[[50.64597734071359,5.482177734375],[50.64946048309612,5.51513671875]]],["obliques",[[50.64249394010321,5.482177734375],[50.64597734071359,5.51513671875]]],["report_map_issue",[[50.62507306341436,5.44921875],[50.68079714532164,5.537109375]]],["traffic",[[50.65903779321197,5.483551025390625],[50.65990836093938,5.513763427734375]]],["traffic",[[50.65816720934679,5.483551025390625],[50.65903779321197,5.513763427734375]]],["traffic",[[50.65729660934375,5.483551025390625],[50.65816720934679,5.513763427734375]]],["traffic",[[50.65642599320274,5.483551025390625],[50.65729660934375,5.513763427734375]]],["traffic",[[50.65555536092367,5.483551025390625],[50.65642599320274,5.513763427734375]]],["traffic",[[50.65468471250643,5.483551025390625],[50.65555536092367,5.513763427734375]]],["traffic",[[50.65381404795094,5.483551025390625],[50.65468471250643,5.513763427734375]]],["traffic",[[50.65294336725708,5.483551025390625],[50.65381404795094,5.513763427734375]]],["traffic",[[50.65207267042477,5.483551025390625],[50.65294336725708,5.513763427734375]]],["traffic",[[50.65120195745391,5.483551025390625],[50.65207267042477,5.513763427734375]]],["traffic",[[50.65033122834439,5.483551025390625],[50.65120195745391,5.513763427734375]]],["traffic",[[50.64946048309612,5.483551025390625],[50.65033122834439,5.513763427734375]]],["traffic",[[50.64858972170901,5.483551025390625],[50.64946048309612,5.513763427734375]]],["traffic",[[50.64771894418295,5.483551025390625],[50.64858972170901,5.513763427734375]]],["traffic",[[50.64684815051785,5.483551025390625],[50.64771894418295,5.513763427734375]]],["traffic",[[50.64597734071359,5.483551025390625],[50.64684815051785,5.513763427734375]]],["traffic",[[50.6451065147701,5.483551025390625],[50.64597734071359,5.513763427734375]]],["traffic",[[50.64423567268727,5.483551025390625],[50.6451065147701,5.513763427734375]]],["traffic",[[50.64336481446501,5.483551025390625],[50.64423567268727,5.513763427734375]]],["traffic",[[50.64249394010321,5.483551025390625],[50.64336481446501,5.513763427734375]]]],[[19,[[-90,-180],[90,180]]],[9,[[-90,-180],[90,180]]],[14,[[-84.375,-180],[84.375,180]]],[14,[[-57.00007429999999,-180],[83.68835439999998,180]]],[14,[[2.000003699999994,-20.00000009999999],[66,9.999971399999993]]],[18,[[47.3053318,5.383928400000003],[54.75933549999999,15.4590886]]],[16,[[49.49999570000001,0.9999703999999953],[52.00002899999998,6.500000900000003]]],[20,[[48.3673095,4.471435500000013],[51.498413,8.690185500000013]]],[19,[[49.4740319,2.495545999999962],[51.54148129999999,6.472408999999971]]],[20,[[49.47143549999998,4.729614199999987],[50.73486320000001,5.762329099999988]]],[20,[[49.93835439999998,5.267944300000011],[50.76782220000001,6.361083900000011]]],[15,[[50.60890670000001,5.415487200000001],[50.8740377,5.710830600000008]]]],[[["m",[15,16880,11016],404101534],["m",[15,16881,11016],404101534],["m",[15,16882,11016],404101534],["m",[15,16883,11016],404101317],["m",[15,16884,11016],404101365],["m",[15,16885,11016],404101365],["m",[15,16886,11016],404101365],["m",[15,16887,11016],404101438],["m",[15,16888,11016],404101498],["m",[15,16880,11017],404101594],["m",[15,16881,11017],404101594],["m",[15,16882,11017],404101594],["m",[15,16883,11017],404101317],["m",[15,16884,11017],404101534],["m",[15,16885,11017],404101534],["m",[15,16886,11017],404101534],["m",[15,16887,11017],404101461],["m",[15,16888,11017],404101498],["m",[15,16880,11018],404101594],["m",[15,16881,11018],404101594],["m",[15,16882,11018],404101594],["m",[15,16883,11018],404101461],["m",[15,16884,11018],404101534],["m",[15,16885,11018],404101534],["m",[15,16886,11018],404101534],["m",[15,16887,11018],404101461],["m",[15,16888,11018],404101498],["m",[15,16880,11019],404101594],["m",[15,16881,11019],404101606],["m",[15,16882,11019],404101606],["m",[15,16883,11019],404101606],["m",[15,16884,11019],404101534],["m",[15,16885,11019],404101534],["m",[15,16886,11019],404101534],["m",[15,16887,11019],404101461],["m",[15,16888,11019],404101414],["m",[15,16880,11020],404101269],["m",[15,16881,11020],404101606],["m",[15,16882,11020],404101606],["m",[15,16883,11020],404101606],["m",[15,16884,11020],404101461],["m",[15,16885,11020],404101498],["m",[15,16886,11020],404101498],["m",[15,16887,11020],404101606],["m",[15,16888,11020],404101606],["m",[15,16880,11021],404101269],["m",[15,16881,11021],404101606],["m",[15,16882,11021],404101606],["m",[15,16883,11021],404101606],["m",[15,16884,11021],404101498],["m",[15,16885,11021],404101498],["m",[15,16886,11021],404101498],["m",[15,16887,11021],404101606],["m",[15,16888,11021],404101606],["m",[15,16880,11022],404100790],["m",[15,16881,11022],404101342],["m",[15,16882,11022],404101522],["m",[15,16883,11022],404101522],["m",[15,16884,11022],404101522],["m",[15,16885,11022],404101498],["m",[15,16886,11022],404101498],["m",[15,16887,11022],404101606],["m",[15,16888,11022],404101606],["m",[15,16880,11023],404101534],["m",[15,16881,11023],404101534],["m",[15,16882,11023],404101522],["m",[15,16883,11023],404101522],["m",[15,16884,11023],404101522],["m",[15,16885,11023],404101498],["m",[15,16886,11023],404101498],["m",[15,16887,11023],404101390],["m",[15,16888,11023],404100910],["m",[14,8440,5508],404101594],["m",[14,8441,5508],404101594],["m",[14,8442,5508],404101534],["m",[14,8443,5508],404101534],["m",[14,8444,5508],404101438],["m",[14,8440,5509],404101606],["m",[14,8441,5509],404101606],["m",[14,8442,5509],404101606],["m",[14,8443,5509],404101534],["m",[14,8444,5509],404101534],["m",[14,8440,5510],404101606],["m",[14,8441,5510],404101606],["m",[14,8442,5510],404101606],["m",[14,8443,5510],404101534],["m",[14,8444,5510],404101534],["m",[14,8440,5511],404101606],["m",[14,8441,5511],404101606],["m",[14,8442,5511],404101606],["m",[14,8443,5511],404101390],["m",[14,8444,5511],404101534],["m",[16,33764,22036],404101594],["m",[16,33765,22036],404099950],["m",[16,33766,22036],404100945],["m",[16,33767,22036],404100945],["m",[16,33768,22036],404100945],["m",[16,33769,22036],404100910],["m",[16,33770,22036],404101534],["m",[16,33771,22036],404101534],["m",[16,33772,22036],404101534],["m",[16,33773,22036],404101461],["m",[16,33764,22037],404101594],["m",[16,33765,22037],404099950],["m",[16,33766,22037],404099950],["m",[16,33767,22037],404101461],["m",[16,33768,22037],404101461],["m",[16,33769,22037],404101461],["m",[16,33770,22037],404101534],["m",[16,33771,22037],404101534],["m",[16,33772,22037],404101534],["m",[16,33773,22037],404101461],["m",[16,33764,22038],404099950],["m",[16,33765,22038],404099950],["m",[16,33766,22038],404099950],["m",[16,33767,22038],404101461],["m",[16,33768,22038],404101461],["m",[16,33769,22038],404101461],["m",[16,33770,22038],404101534],["m",[16,33771,22038],404101534],["m",[16,33772,22038],404101534],["m",[16,33773,22038],404101461],["m",[16,33764,22039],404101293],["m",[16,33765,22039],404101293],["m",[16,33766,22039],404099950],["m",[16,33767,22039],404101461],["m",[16,33768,22039],404101461],["m",[16,33769,22039],404101461],["m",[16,33770,22039],404100910],["m",[16,33771,22039],404101054],["m",[16,33772,22039],404101054],["m",[16,33773,22039],404101342],["m",[16,33764,22040],404101606],["m",[16,33765,22040],404101606],["m",[16,33766,22040],404101606],["m",[16,33767,22040],404100910],["m",[16,33768,22040],404100910],["m",[16,33769,22040],404100910],["m",[16,33770,22040],404100910],["m",[16,33771,22040],404101054],["m",[16,33772,22040],404101054],["m",[16,33773,22040],404101342],["m",[16,33764,22041],404101606],["m",[16,33765,22041],404101606],["m",[16,33766,22041],404101606],["m",[16,33767,22041],404100910],["m",[16,33768,22041],404100910],["m",[16,33769,22041],404100910],["m",[16,33770,22041],404100514],["m",[16,33771,22041],404100514],["m",[16,33772,22041],404101498],["m",[16,33773,22041],404101498],["m",[16,33764,22042],404101606],["m",[16,33765,22042],404101606],["m",[16,33766,22042],404101606],["m",[16,33767,22042],404101269],["m",[16,33768,22042],404100910],["m",[16,33769,22042],404100910],["m",[16,33770,22042],404100514],["m",[16,33771,22042],404101498],["m",[16,33772,22042],404101498],["m",[16,33773,22042],404101498],["m",[16,33764,22043],404101269],["m",[16,33765,22043],404101269],["m",[16,33766,22043],404101269],["m",[16,33767,22043],404101269],["m",[16,33768,22043],404099950],["m",[16,33769,22043],404100514],["m",[16,33770,22043],404101498],["m",[16,33771,22043],404101498],["m",[16,33772,22043],404101498],["m",[16,33773,22043],404101498],["m",[16,33764,22044],404101342],["m",[16,33765,22044],404101342],["m",[16,33766,22044],404101269],["m",[16,33767,22044],404101269],["m",[16,33768,22044],404100118],["m",[16,33769,22044],404100118],["m",[16,33770,22044],404101498],["m",[16,33771,22044],404101498],["m",[16,33772,22044],404101498],["m",[16,33773,22044],404101498]]],0] )