soft3/conformance/fixtures/nox/mul-top.nox

ฯ€ 0.0% 20 words ยท 1 min 
# mul: (p-1)(p-1) = 1
object  [18446744069414584320 18446744069414584320]
budget  100
formula [7 [[0 2] [0 3]]]
result  1

Graph