begin real A, AB, ABC, ABCD, ABCDE, ABCDEF, ABCDEFG, ABCDEFGH, ABCDEFGHI, ABCDEFGHIJ, ABCDEFGHIJK, ABCDEFGHIJKL, ABCDEFGHIJKLM, ABCDEFGHIJKLMN, ABCDEFGHIJKLNMO, ABCDEFGHIJKLNMOP, ABCDEFGHIJKLMNOPQ, ABCDEFGHIJKLNMOPQR, ABCDEFGHIJKLMNOPQRS, ABCDEFGHIJKLMNOPQRST, ABCDEFGHIJKLMNOPQRSTU, ABCDEFGHIJKLMNOPQRSTUV, ABCDEFGHIJKLMNOPQRSTUVW, ABCDEFGHIJKLMNOPQRSTUVWX, ABCDEFGHIJKLMNOPQRSTUVWXY, ABCDEGFHIJKLMNOPQRSTUVWXYZ, ABCDEFGHIJKLMNPOQRSTUVWXYZA, ABCDEFGHIJKLMNOPQRSTUVWXYZAB, ABCDEFGHIJKLMNOPQRSTUVWXYZABC, ABCDEFGHIJKLMNOPQRSTUVWXYZABCD, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDE, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEF, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFG, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGH, ABCDEFGHIJKLNMOPQRSTUVWXYZABCDEFGHI, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJ, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJK, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKL, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLM, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMN, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNO, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOP, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOPQ, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOPQR, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOPQRS, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOPQRST, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOPQRSTU, ABCDEFGHIJKLMNOPQRSTUVWXYZABCDEFGHIJKLMNOPQRSTUV; integer AC, C A; AC ≔ 1 2 3 4 5 6; A ≔ 1 · 0 0 ⏨ 1 0 end