soft3/conformance/fixtures/nox/halt-budget.nox ฯ 0.0% 21 words ยท 1 min # budget exhausted before the add completes object [1 2] budget 2 formula [5 [[0 2] [0 3]]] halt Graph Graph