20
individual
1 10 60
dresden_railways.prism sbar \texttt{dresden\_railways}:11803849932596031334 1363150 1350856 1342939 1329197 1339492 1312855 1252719 1255480 1213276 1228858 1257804 1272231 1285262 1276177 1204620 1285316 1337289 1315658 1251158 1262073 12629772 12484854 13077285 12959339 12435023 12591266 12588526 12413377 12239263 12442422 12311164 12253004 12586594 12353371 12232121 12449541 13020476 12850652 12342981 12482405 71403419 79647960 80043775 80267518 79685936 79312871 76023964 74286712 78882954 73654419 77541536 72207124 75412383 73886558 77273969 77805658 73236576 72807553 77704202 78433013