We would like to thank the staff and students of the Department of Applied Mathematics, MFF UK, for allowing us to use the department computers and moreover for serving as very useful betatesters, and thus partially supporting our work.
We also owe many thanks to our advisor, Martin Mares<, for a very attentive supervision, numerous comments and ideas, and invaluable advice.