#noshortcuts

1807 0 0

2891 3 0

2699 3 0

2800 5 0

2811 10 0

1888 0 0

1795 0 0

1777 0 0

1824 0 0

1830 0 0

1859 0 0

1871 0 0

1872 0 0

1907 1 0

1837 1 0

1771 0 0

1745 0 0

1793 2 0

1793 2 0

1787 1 0

1930 1 0

1816 0 0

1823 1 0

1772 1 0

1743 0 0

1733 1 0

1777 0 0

1787 1 0

1765 0 0

1903 1 0