Paige loop of field:F2

Definition
This loop is defined as the defining ingredient::Paige loop of defining ingredient::field:F2. It is a simple Moufang loop and has order 120.

GAP implementation
The loop can be defined in either of the two ways given below, but they both rely upon the Loops package in GAP.