Today's Advent of Code solution in @fuzion : Instead of testing all the ways two ranges can overlap, just checking if they are completely separate and joining them if not helped a lot. And there is an existential operator ∃!
The source: https://github.com/fridis/fuzion_aoc/blob/main/2025/05/part2.fz