discard """
  output: '''0 1
1 2
2 3
0 1
1 2
2 3
3 5'''
"""

import mpushexperimental

main(12)