## /* nahodne rychlosti a casy, ktore sa vrati pri debugovani */
## Real_t dbg_rnd_speed[] = {
## 	0.5, 1.5, 1.2, 0.3,
## 	1.7, 2.5, 1.0, 0.1,
## 	0.3
## };
## Real_t dbg_rnd_time[]  = {
## 	2.2, 0.4, 0.6, 0.8, /* t = 4.0 */
## 	0.8, 0.1, 1.1, 0.5, /* t = 6.5 */
## 	1.5
## };

# t x	v
0.0 0.0 0.0
2.2 2.42 2.2
2.2 2.42 0.5
2.6 2.7 0.9
2.6 2.7 1.5
3.2 3.78 2.1
3.2 3.78 1.2
4.0 5.06 2.0
4.0 5.06 0.3
4.8 5.62 1.1
4.8 5.62 1.7
4.9 5.795 1.8
4.9 5.795 2.5
6.0 9.15 3.6
6.0 9.15 1.0
6.5 9.775 1.5
6.5 9.775 0.1
8.0 11.05 1.6
8.0 11.05 0.3