extrapolate-0.4.0: test/model/eg/redblack.out
+++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests.