Ah, cool, interesting.
Does the 50 turn rule make the analysis harder or easier? My gut says easier because it creates some limit that should, I guess, let you prune some extra cases somehow… but it does add some extra state which is weird. Two otherwise identical board states become no longer identical depending on how you got there…