test_examples([47,48,49,50,51,52]).