22
type: Entity
corresponds to variable: http://www.example.org/unpublished-mul#a
label: a

-3
type: Entity
corresponds to variable: http://www.example.org/unpublished-mul#b
label: b

fairstepprov
type: Activity
corresponds to step: unpublished-mul
ended at time: 2022-12-15T15:32:38.382110
started at time: 2022-12-15T15:32:38.382107
used: 22
used: -3
used: -66

-66
type: Entity
corresponds to variable: out1
label: out1

sig
has algorithm: RSA

assertion
generated at time: 2022-12-15T15:32:39.397434