['2007_memrand', '', ''],
['3001_not', '', '-1+0-6148914691236517206+6148914691236517205'],
['3002_lshift', '', '+1+2+4611686018427387904-9223372036854775808'],
['2007_memrand', '', ''],
['3001_not', '', '-1+0-6148914691236517206+6148914691236517205'],
['3002_lshift', '', '+1+2+4611686018427387904-9223372036854775808'],