../../Task/Loop-over-multiple-arrays-simultaneously/ACL2