INTERACTOR:
SOLUTION:
INTERACTOR:10000
SOLUTION:5001
INTERACTOR:<
SOLUTION:2501
INTERACTOR:<
SOLUTION:1251
INTERACTOR:>=
SOLUTION:1876
INTERACTOR:<
SOLUTION:1563
INTERACTOR:>=
SOLUTION:1719
INTERACTOR:>=
SOLUTION:1797
INTERACTOR:<
SOLUTION:1758
INTERACTOR:<
SOLUTION:1738
INTERACTOR:>=
