این فایل شامل موارد زیر است:

1- لغات فنی

2- فرضیه

3- قضایای بنیادی

4- OKA برای حل مسئله

5- رویه برچسب زنی ( Labeling procedure)

6- قدم های الگوریتم

7- مثال عددی