data Q

data Fp n

class FiniteField fq

type F2

f2

type F3

f3

type F5

f5

type F7

f7

type F11

type F13

type F17

type F19

type F23

type F29

type F31

type F37

type F41

type F43

type F47

type F53

type F59

type F61

type F67

type F71

type F73

type F79

type F83

type F89

type F97