Generating free groups by loop translations

Let F be a free group of a finite rank. We construct a commutative loop Q(·) such that the permutation group on Q generated by all left and right translations of Q(·) is isomorphic to F.