@assert ends_inside(23, -10, day17_test)
@assert ends_inside(25, -9, day17_test)
@assert ends_inside(27, -5, day17_test)
@assert ends_inside(29, -6, day17_test)
@assert ends_inside(22, -6, day17_test)
@assert ends_inside(21, -7, day17_test)
@assert ends_inside(9, 0, day17_test)
@assert ends_inside(27, -7, day17_test)
@assert ends_inside(24, -5, day17_test)
@assert ends_inside(25, -7, day17_test)
@assert ends_inside(26, -6, day17_test)
@assert ends_inside(25, -5, day17_test)
@assert ends_inside(6, 8, day17_test)
@assert ends_inside(11, -2, day17_test)
@assert ends_inside(20, -5, day17_test)
@assert ends_inside(29, -10, day17_test)
@assert ends_inside(6, 3, day17_test)
@assert ends_inside(28, -7, day17_test)
@assert ends_inside(8, 0, day17_test)
@assert ends_inside(30, -6, day17_test)
@assert ends_inside(29, -8, day17_test)
@assert ends_inside(20, -10, day17_test)
@assert ends_inside(6, 7, day17_test)
@assert ends_inside(6, 4, day17_test)
@assert ends_inside(6, 1, day17_test)
@assert ends_inside(14, -4, day17_test)
@assert ends_inside(21, -6, day17_test)
@assert ends_inside(26, -10, day17_test)
@assert ends_inside(7, -1, day17_test)
@assert ends_inside(7, 7, day17_test)
@assert ends_inside(8, -1, day17_test)
@assert ends_inside(21, -9, day17_test)
@assert ends_inside(6, 2, day17_test)
@assert ends_inside(20, -7, day17_test)
@assert ends_inside(30, -10, day17_test)
@assert ends_inside(14, -3, day17_test)
@assert ends_inside(20, -8, day17_test)
@assert ends_inside(13, -2, day17_test)
@assert ends_inside(7, 3, day17_test)
@assert ends_inside(28, -8, day17_test)
@assert ends_inside(29, -9, day17_test)
@assert ends_inside(15, -3, day17_test)
@assert ends_inside(22, -5, day17_test)
@assert ends_inside(26, -8, day17_test)
@assert ends_inside(25, -8, day17_test)
@assert ends_inside(25, -6, day17_test)
@assert ends_inside(15, -4, day17_test)
@assert ends_inside(9, -2, day17_test)
@assert ends_inside(15, -2, day17_test)
@assert ends_inside(12, -2, day17_test)
@assert ends_inside(28, -9, day17_test)
@assert ends_inside(12, -3, day17_test)
@assert ends_inside(24, -6, day17_test)
@assert ends_inside(23, -7, day17_test)
@assert ends_inside(25, -10, day17_test)
@assert ends_inside(7, 8, day17_test)
@assert ends_inside(11, -3, day17_test)
@assert ends_inside(26, -7, day17_test)
@assert ends_inside(7, 1, day17_test)
@assert ends_inside(23, -9, day17_test)
@assert ends_inside(6, 0, day17_test)
@assert ends_inside(22, -10, day17_test)
@assert ends_inside(27, -6, day17_test)
@assert ends_inside(8, 1, day17_test)
@assert ends_inside(22, -8, day17_test)
@assert ends_inside(13, -4, day17_test)
@assert ends_inside(7, 6, day17_test)
@assert ends_inside(28, -6, day17_test)
@assert ends_inside(11, -4, day17_test)
@assert ends_inside(12, -4, day17_test)
@assert ends_inside(26, -9, day17_test)
@assert ends_inside(7, 4, day17_test)
@assert ends_inside(24, -10, day17_test)
@assert ends_inside(23, -8, day17_test)
@assert ends_inside(30, -8, day17_test)
@assert ends_inside(7, 0, day17_test)
@assert ends_inside(9, -1, day17_test)
@assert ends_inside(10, -1, day17_test)
@assert ends_inside(26, -5, day17_test)
@assert ends_inside(22, -9, day17_test)
@assert ends_inside(6, 5, day17_test)
@assert ends_inside(7, 5, day17_test)
@assert ends_inside(23, -6, day17_test)
@assert ends_inside(28, -10, day17_test)
@assert ends_inside(10, -2, day17_test)
@assert ends_inside(11, -1, day17_test)
@assert ends_inside(20, -9, day17_test)
@assert ends_inside(14, -2, day17_test)
@assert ends_inside(29, -7, day17_test)
@assert ends_inside(13, -3, day17_test)
@assert ends_inside(23, -5, day17_test)
@assert ends_inside(24, -8, day17_test)
@assert ends_inside(27, -9, day17_test)
@assert ends_inside(30, -7, day17_test)
@assert ends_inside(28, -5, day17_test)
@assert ends_inside(21, -10, day17_test)
@assert ends_inside(7, 9, day17_test)
@assert ends_inside(6, 6, day17_test)
@assert ends_inside(21, -5, day17_test)
@assert ends_inside(27, -10, day17_test)
@assert ends_inside(7, 2, day17_test)
@assert ends_inside(30, -9, day17_test)
@assert ends_inside(21, -8, day17_test)
@assert ends_inside(22, -7, day17_test)
@assert ends_inside(24, -9, day17_test)
@assert ends_inside(20, -6, day17_test)
@assert ends_inside(6, 9, day17_test)
@assert ends_inside(29, -5, day17_test)
@assert ends_inside(8, -2, day17_test)
@assert ends_inside(27, -8, day17_test)
@assert ends_inside(30, -5, day17_test)
@assert ends_inside(24, -7, day17_test)