15e2bc54f1 ^
64d3efcc2c ^
1 2 3 4 5
6
7
[ (builtins.mul 4 9) (builtins.mul 0 7) (builtins.mul 7 0) (builtins.mul 7 2) (builtins.mul (builtins.mul 4 0.5) 21) ]