Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Garr200912_3.json -T -R -O -V Low
Exception in thread "main" java.lang.StringIndexOutOfBoundsException: begin 842, end -1, length 9033
	at java.base/java.lang.String.checkBoundsBeginEnd(String.java:4601)
	at java.base/java.lang.String.substring(String.java:2704)
	at verification.Verifier.verifyQuery(verifier.kt:37)
	at verification.VerifierKt.bisectionSearch(verifier.kt:64)
	at MainKt.runProblem(main.kt:180)
	at MainKt.main(main.kt:325)
Command exited with non-zero status 1
real 6.82
user 9.46
sys 0.37
