(bots: list[list[int]])
| 3 | from z3 import If, Int, Optimize |
| 4 | |
| 5 | def part1(bots: list[list[int]]) -> int: |
| 6 | x,y,z,r = max(bots, key=lambda b: b[3]) |
| 7 | return sum(abs(x1-x) + abs(y1-y) + abs(z1-z) <= r for x1,y1,z1,_ in bots) |
| 8 | |
| 9 | def part2(bots: list[list[int]]) -> int: |
| 10 | def abs(x): |