1 2 3 4 5 6 7 8 9 10 11 12 13
discard """ output: '''0 1 1 2 2 3 0 1 1 2 2 3 3 5''' """ import mpushexperimental main(12)