It gets worse. Just take a look at the sample input file. Many regions don't even include the set and the fourth one in the file fails (assert (and (< left right) (< bottom top))). Mess is an understatement. I hope their real file is better, but this doesn't address the issue of how to deal with bogus data.