test_examples([78,79,80,81,82]).