15e2bc54f1be ^
1 2 3 4 5 6 7 8 9 10
[ (builtins.div 9 3) (builtins.div 7 1) (builtins.div 3 9) (builtins.div 4 4) (builtins.div 1 2) (builtins.div 1.0 2) (builtins.div 1 2.0) (builtins.div 1.0 2.0) ]