MSC:
Primary 03E15; Secondary 54H05.