I could, worst case, use the encoding scheme you use to write them down on paper when you prove things about them.
I could, worst case, use the encoding scheme you use to write them down on paper when you prove things about them.