test_examples([6,7,8,9,10]).