michael@0: michael@0: michael@0: michael@0: op-dict largeop michael@0: michael@0: michael@0: michael@0: michael@0: ∑ michael@0: michael@0: michael@0: michael@0: