b3097de75d50 ^
64d3efcc2ce0 ^
1 2 3 4 5 6
7
8
[ (builtins.add 7 11) (builtins.add 7.9 11) (builtins.add 7 11.9) (builtins.add 7.2 11.9) (builtins.add 7.1 11.9) (builtins.add (builtins.add 21 10) 11) ]