  We construct a pivotal category by a finite presentation and show that it is
an integral form of the category of invariant tensors of the spin
representation of the quantum group U_q(B_3) over the field of rational
functions in q.
