soft3/conformance/fixtures/nox/shl.nox ฯ 0.0% 13 words ยท 1 min object [1 4] budget 200 formula [14 [[0 2] [0 3]]] Graph Graph