test_examples([151,152,153,154,155,156]).