At that stage, it consisted of 250 pages of notes and 3 gigabytes of computer programs, data and results.
Vào thời điểm đó, chứng minh gồm 250 trang của ghi chú và 3 gigabyte của chương trình máy tính, dữ liệu và kết quả.