[Om] search for huge OpenMath files

[Evans Bekoe]

Dear All,

I am a bachelor student at Jacobs University Bremen! Under the
supervision of Prof. Kohlhase, i have implemented a bidirectional
translation between the two OpenMath encodings (binary and XML). Now, i
need some huge OpenMath files to run my implementation over in order to
derive statistics for my report; I hope this is the right place to ask.

Thanks in advance.

sincerely,
Evans Bekoe.