made example input smaller since travis was not able to handle it