<<< 'definitions' >>> [('alice', ['alice9', 'alice8', 'alice6', 'alice8', 'alice6', 'alice8', 'alice6']), ('alice1', ['marking3', 'fetching3', 'fetching1', 'choosing1', 'multiplying', 'fetching2', 'fetching1', 'choosing2', 'multiplying', 'adding', 'fetching1', 'choosing5', 'adding', 'retaining1']), ('alice2', ['marking3', 'fetching3', 'fetching1', 'choosing3', 'multiplying', 'fetching2', 'fetching1', 'choosing4', 'multiplying', 'adding', 'fetching1', 'choosing6', 'adding', 'retaining1']), ('alice3', ['duplicating3', 'alice2', ['alice1'], 'dipping']), ('alice4', ['marking2', ['fetching2', 'choosing1', 'fetching2', 'choosing2', 'fetching1', 'alice3'], 'listing', ['fetching2', 'choosing3', 'fetching2', 'choosing4', 'fetching1', 'alice3'], 'listing', ['fetching2', 'choosing5', 'fetching2', 'choosing6', 'fetching1', 'alice3'], 'listing', [50.0, 250.0, 50.0], 'concatenating', 'concatenating', 'concatenating', 'retaining1']), ('alice5', ['marking2', 'fetching1', ['fetching2', 'swapping', 'alice4'], 'mapping', 'retaining1']), ('alice6', ['marking2', 'fetching2', ['fetching1', 'alice5'], 'mapping', 'reducing_with_concatenating', 'retaining1']), ('alice7', ['alice8', 'alice6']), ('alice8', [[['half', 0.0, 0.0, 'half', 0.0, 0.0], 'listing', ['half', 0.0, 0.0, 'half', 0.0, 200.0], 'listing', ['half', 0.0, 0.0, 'half', 300.0, 0.0], 'listing'], 'listing']), ('alice9', [[[0.0, 0.0, 300.0, 300.0, 600.0, 0.0, 44.0, 44.0, 222.0]]]), ('big', [100.0]), ('bob6', ['marking2', 'fetching2', ['fetching1', 'alice5'], 'mapping', 'reducing_with_concatenating', 'retaining1']), ('double', ['duplicating', 'adding']), ('dozen', ['duplicating', 'duplicating', 'duplicating', 'duplicating', 'duplicating', 'duplicating', 'duplicating', 'duplicating', 'duplicating', 'duplicating', 'duplicating']), ('fibonacci', ['big', 'basis', 'big', 2.0, 'subtracting', ['fibonacci3'], 'iterating']), ('fibonacci1', ['one', 'negatory', 'shifting', 'big', 'basis', 'multiplying']), ('fibonacci3', ['duplicating', 'fibonacci4', 'swapping', 'one', 'shifting', 'adding']), ('fibonacci4', ['duplicating', 'fibonacci1', 'adding', 'big', 'basis', 'multiplying']), ('half', [1.0, 2.0, 'dividing']), ('hundred', [100.0]), ('incr', [1.0, 'adding']), ('incrementing', [1.0, 'adding']), ('negatory', [0.0, 'swapping', 'subtracting']), ('priming', ['duplicating', 'counting', ['getting2', 'swapping', 'modulo', 0.0, 'equaling'], 'mapping', 'summing', 2.0, 'equaling', 'swapping', 'popping']), ('pyramid5', ['alice9', 'alice7', 'alice7', 'alice7', 'alice7', 'alice7']), ('square', ['duplicating', 'multiplying']), ('squaring', ['duplicating', 'multiplying']), ('thousand', [1000.0])]