#noshortcuts

1273 0 0

1259 0 0

1267 0 0

1293 0 0

1284 0 0

1353 0 0

1069 0 0

1796 0 0

1787 0 0

1740 0 0

1716 0 0

1727 0 0

1178 0 0

1219 0 0

2065 0 0

2052 0 0

2030 0 0

2053 0 0

2033 0 0

2109 0 0

2171 1 0

1876 1 0

2028 0 0

2059 0 0

2199 1 0

3193 2 1

1986 2 0

2004 2 0

2018 2 0

2037 0 0