Data for unit test of alto-checker