test_examples([83,84,85,86,87]).