Appendices

Games encoding

Pairing algorithm

Pairing evaluation function