33a18880bdb99e0cc60f69eadb5c448c8e6bfbd6
[nit.git] / tests / sav / example_point.sav
1 (0:0)
2 (5:8)
3 false
4 true