soft3/conformance/fixtures/nox/inv-two.nox

ฯ€ 0.0% 16 words ยท 1 min 
# inv(2) = 9223372034707292161
object  2
budget  100
formula [8 [0 1]]
result  9223372034707292161

Graph