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:>=
SOLUTION:1748
INTERACTOR:<
SOLUTION:1743
INTERACTOR:<
SOLUTION:1740
INTERACTOR:>=
SOLUTION:1741
INTERACTOR:>=
SOLUTION:1742
INTERACTOR:>=
SOLUTION:! 1742
