[69652]:
[receiver] DVN.execute(_params=[ (arg_1=0x0000000000000000000000000000000000000000000000000000000000000020, arg_2=0x0000000000000000000000000000000000000000000000000000000000000020, arg_3=0x0000000000000000000000000000000000000000000000000000000000000020, arg_4=0x0000000000000000000000000000000000000000000000000000000000000020, arg_5=0x0000000000000000000000000000000000000000000000000000000000000020, arg_6=0x0000000000000000000000000000000000000000000000000000000000000020, arg_7=0x0000000000000000000000000000000000000000000000000000000000000020, arg_8=0x0000000000000000000000000000000000000000000000000000000000000020, arg_9=0x0000000000000000000000000000000000000000000000000000000000000020, arg_10=0x0000000000000000000000000000000000000000000000000000000000000020, arg_11=0x0000000000000000000000000000000000000000000000000000000000000020, arg_12=0x0000000000000000000000000000000000000000000000000000000000000020, arg_13=0x0000000000000000000000000000000000000000000000000000000000000020, arg_14=0x0000000000000000000000000000000000000000000000000000000000000020, arg_15=0x0000000000000000000000000000000000000000000000000000000000000020, arg_16=0x0000000000000000000000000000000000000000000000000000000000000020, arg_17=0x0000000000000000000000000000000000000000000000000000000000000020, arg_18=0x0000000000000000000000000000000000000000000000000000000000000020, arg_19=0x0000000000000000000000000000000000000000000000000000000000000020, arg_20=0x0000000000000000000000000000000000000000000000000000000000000020)]) => ()