From e5b0fc0461c119f18e079c3ca279f0359990d49c Mon Sep 17 00:00:00 2001 From: funderburkjim Date: Sun, 11 Sep 2022 22:00:48 -0400 Subject: [PATCH] LOISELEUR DESLONGCHAMPS edition of AK. #62 --- pwg_ls2/ak/ak_index_ld.txt | 86 ++ pwg_ls2/ak/ak_index_ld_verses_set.py | 1501 +++++++++++++++++++++ pwg_ls2/ak/ak_verse_ld_list.py | 209 +++ pwg_ls2/ak/ak_verse_ld_list.txt | 1807 ++++++++++++++++++++++++++ pwg_ls2/ak/readme.txt | 37 +- 5 files changed, 3635 insertions(+), 5 deletions(-) create mode 100644 pwg_ls2/ak/ak_index_ld.txt create mode 100644 pwg_ls2/ak/ak_index_ld_verses_set.py create mode 100644 pwg_ls2/ak/ak_verse_ld_list.py create mode 100644 pwg_ls2/ak/ak_verse_ld_list.txt diff --git a/pwg_ls2/ak/ak_index_ld.txt b/pwg_ls2/ak/ak_index_ld.txt new file mode 100644 index 0000000..36767e4 --- /dev/null +++ b/pwg_ls2/ak/ak_index_ld.txt @@ -0,0 +1,86 @@ +; This is taken from Loiseleur Deslongchamps LD +; https://archive.org/details/amarakochaouvoca01amaruoft/ +; This is made in the same format as ak_index.txt, although +; there is no section in the LD book of 1838. +; file has a regular structure, with 2 kinds of entries. +; lines beginning with semi-colon are comments ignored +; by processing programs. +; first 3 characters are (beginning) page number +003 Book 1. Chapter 1. Sect. 1 1-67 +014 Book 1. Chapter 1. Sect. 2 1-37 +022 Book 1. Chapter 1. Sect. 3 1-22 +028 Book 1. Chapter 1. Sect. 4 1-26 +034 Book 1. Chapter 1. Sect. 5 1-22 +040 Book 1. Chapter 1. Sect. 6 1-4 +041 Book 1. Chapter 1. Sect. 7 1-38 +051 Book 1. Chapter 2. Sect. 1 1-11 +054 Book 1. Chapter 2. Sect. 2 1-4 +055 Book 1. Chapter 2. Sect. 3 1-44 +067 Book 2. Chapter 1. 1-18 +071 Book 2. Chapter 2. 1-20 +077 Book 2. Chapter 3. 1-8 +079 Book 2. Chapter 4. Sect. 1 1-20 +084 Book 2. Chapter 4. Sect. 2 1-62 +097 Book 2. Chapter 4. Sect. 3 1-31 +103 Book 2. Chapter 4. Sect. 4 1-22 +; above has 1-23 in COL +108 Book 2. Chapter 4. Sect. 5 1-35 +116 Book 2. Chapter 5. 1-43 +125 Book 2. Chapter 6. Sect. 1 1-49 +137 Book 2. Chapter 6. Sect. 2 1-50 +149 Book 2. Chapter 6. Sect. 3 1-41 +159 Book 2. Chapter 7. 1-57 +174 Book 2. Chapter 8. Sect. 1 1-32 +182 Book 2. Chapter 8. Sect. 2 1-88 +202 Book 2. Chapter 9. 1-112 +228 Book 2. Chapter 10. 1-47 +240 Book 3. Chapter 1. 1-51 +251 Book 3. Chapter 2. 1-62 +264 Book 3. Chapter 3. 1-43 +277 Book 3. Chapter 4. Sect. 1 1-18 +; LIV. IV, CHAP. IV, SECT. 1. (should be LIV. III ?) +282 Book 3. Chapter 4. Sect. 2 19-20 +; ? is previous 19-19 or 19-20? +283 Book 3. Chapter 4. Sect. 3 20-27 +285 Book 3. Chapter 4. Sect. 4 28-28 +285 Book 3. Chapter 4. Sect. 5 29-30 +286 Book 3. Chapter 4. Sect. 6 31-31 +286 Book 3. Chapter 4. Sect. 7 32-34 +287 Book 3. Chapter 4. Sect. 8 35-35 +288 Book 3. Chapter 4. Sect. 9 36-41 +290 Book 3. Chapter 4. Sect. 10 42-43 +290 Book 3. Chapter 4. Sect. 11 44-46 +291 Book 3. Chapter 4. Sect. 12 47-47 +292 Book 3. Chapter 4. Sect. 13 48-59 +295 Book 3. Chapter 4. Sect. 14 60-87 +303 Book 3. Chapter 4. Sect. 15 88-90 +304 Book 3. Chapter 4. Sect. 16 91-97 +306 Book 3. Chapter 4. Sect. 17 98-106 +308 Book 3. Chapter 4. Sect. 18 107-130 +315 Book 3. Chapter 4. Sect. 19 131-134 +316 Book 3. Chapter 4. Sect. 20 134-134 +; section 20 is empty +316 Book 3. Chapter 4. Sect. 21 135-136 +316 Book 3. Chapter 4. Sect. 22 137-139 +318 Book 3. Chapter 4. Sect. 23 140-146 +320 Book 3. Chapter 4. Sect. 24 147-162 +324 Book 3. Chapter 4. Sect. 25 163-194 +333 Book 3. Chapter 4. Sect. 26 194-207 +337 Book 3. Chapter 4. Sect. 27 208-215 +339 Book 3. Chapter 4. Sect. 28 216-219 +340 Book 3. Chapter 4. Sect. 29 220-227 +342 Book 3. Chapter 4. Sect. 30 228-237 +345 Book 3. Chapter 4. Sect. 31 238-241 +347 Book 3. Chapter 4. Sect. 32 1-18 +352 Book 3. Chapter 5. 1-23 +359 Book 3. Chapter 6. Sect. 1 1-10 +362 Book 3. Chapter 6. Sect. 2 11-21 +366 Book 3. Chapter 6. Sect. 3 22-31 +369 Book 3. Chapter 6. Sect. 4 32-36 +371 Book 3. Chapter 6. Sect. 5 37-38 +372 Book 3. Chapter 6. Sect. 6 39-41 +372 Book 3. Chapter 6. Sect. 7 41-41 +; previous is empty section +373 Book 3. Chapter 6. Sect. 8 42-46 +; 374 last page +; 375 additions et corrections diff --git a/pwg_ls2/ak/ak_index_ld_verses_set.py b/pwg_ls2/ak/ak_index_ld_verses_set.py new file mode 100644 index 0000000..8a6256a --- /dev/null +++ b/pwg_ls2/ak/ak_index_ld_verses_set.py @@ -0,0 +1,1501 @@ +#-*- coding:utf-8 -*- +ak_index_verses_set = { # a set + (1, 1, 1, 1), # 3 + (1, 1, 1, 2), # 3 + (1, 1, 1, 3), # 3 + (1, 1, 1, 4), # 3 + (1, 1, 1, 5), # 3 + (1, 1, 1, 6), # 3 + (1, 1, 1, 7), # 3 + (1, 1, 1, 8), # 3 + (1, 1, 1, 9), # 3 + (1, 1, 1, 10), # 3 + (1, 1, 1, 11), # 3 + (1, 1, 1, 12), # 3 + (1, 1, 1, 13), # 3 + (1, 1, 1, 14), # 3 + (1, 1, 1, 15), # 3 + (1, 1, 1, 16), # 3 + (1, 1, 1, 17), # 3 + (1, 1, 1, 18), # 3 + (1, 1, 1, 19), # 3 + (1, 1, 1, 20), # 3 + (1, 1, 1, 21), # 3 + (1, 1, 1, 22), # 3 + (1, 1, 1, 23), # 3 + (1, 1, 1, 24), # 3 + (1, 1, 1, 25), # 3 + (1, 1, 1, 26), # 3 + (1, 1, 1, 27), # 3 + (1, 1, 1, 28), # 3 + (1, 1, 1, 29), # 3 + (1, 1, 1, 30), # 3 + (1, 1, 1, 31), # 3 + (1, 1, 1, 32), # 3 + (1, 1, 1, 33), # 3 + (1, 1, 1, 34), # 3 + (1, 1, 1, 35), # 3 + (1, 1, 1, 36), # 3 + (1, 1, 1, 37), # 3 + (1, 1, 1, 38), # 3 + (1, 1, 1, 39), # 3 + (1, 1, 1, 40), # 3 + (1, 1, 1, 41), # 3 + (1, 1, 1, 42), # 3 + (1, 1, 1, 43), # 3 + (1, 1, 1, 44), # 3 + (1, 1, 1, 45), # 3 + (1, 1, 1, 46), # 3 + (1, 1, 1, 47), # 3 + (1, 1, 1, 48), # 3 + (1, 1, 1, 49), # 3 + (1, 1, 1, 50), # 3 + (1, 1, 1, 51), # 3 + (1, 1, 1, 52), # 3 + (1, 1, 1, 53), # 3 + (1, 1, 1, 54), # 3 + (1, 1, 1, 55), # 3 + (1, 1, 1, 56), # 3 + (1, 1, 1, 57), # 3 + (1, 1, 1, 58), # 3 + (1, 1, 1, 59), # 3 + (1, 1, 1, 60), # 3 + (1, 1, 1, 61), # 3 + (1, 1, 1, 62), # 3 + (1, 1, 1, 63), # 3 + (1, 1, 1, 64), # 3 + (1, 1, 1, 65), # 3 + (1, 1, 1, 66), # 3 + (1, 1, 1, 67), # 3 + (1, 1, 2, 1), # 14 + (1, 1, 2, 2), # 14 + (1, 1, 2, 3), # 14 + (1, 1, 2, 4), # 14 + (1, 1, 2, 5), # 14 + (1, 1, 2, 6), # 14 + (1, 1, 2, 7), # 14 + (1, 1, 2, 8), # 14 + (1, 1, 2, 9), # 14 + (1, 1, 2, 10), # 14 + (1, 1, 2, 11), # 14 + (1, 1, 2, 12), # 14 + (1, 1, 2, 13), # 14 + (1, 1, 2, 14), # 14 + (1, 1, 2, 15), # 14 + (1, 1, 2, 16), # 14 + (1, 1, 2, 17), # 14 + (1, 1, 2, 18), # 14 + (1, 1, 2, 19), # 14 + (1, 1, 2, 20), # 14 + (1, 1, 2, 21), # 14 + (1, 1, 2, 22), # 14 + (1, 1, 2, 23), # 14 + (1, 1, 2, 24), # 14 + (1, 1, 2, 25), # 14 + (1, 1, 2, 26), # 14 + (1, 1, 2, 27), # 14 + (1, 1, 2, 28), # 14 + (1, 1, 2, 29), # 14 + (1, 1, 2, 30), # 14 + (1, 1, 2, 31), # 14 + (1, 1, 2, 32), # 14 + (1, 1, 2, 33), # 14 + (1, 1, 2, 34), # 14 + (1, 1, 2, 35), # 14 + (1, 1, 2, 36), # 14 + (1, 1, 2, 37), # 14 + (1, 1, 3, 1), # 22 + (1, 1, 3, 2), # 22 + (1, 1, 3, 3), # 22 + (1, 1, 3, 4), # 22 + (1, 1, 3, 5), # 22 + (1, 1, 3, 6), # 22 + (1, 1, 3, 7), # 22 + (1, 1, 3, 8), # 22 + (1, 1, 3, 9), # 22 + (1, 1, 3, 10), # 22 + (1, 1, 3, 11), # 22 + (1, 1, 3, 12), # 22 + (1, 1, 3, 13), # 22 + (1, 1, 3, 14), # 22 + (1, 1, 3, 15), # 22 + (1, 1, 3, 16), # 22 + (1, 1, 3, 17), # 22 + (1, 1, 3, 18), # 22 + (1, 1, 3, 19), # 22 + (1, 1, 3, 20), # 22 + (1, 1, 3, 21), # 22 + (1, 1, 3, 22), # 22 + (1, 1, 4, 1), # 28 + (1, 1, 4, 2), # 28 + (1, 1, 4, 3), # 28 + (1, 1, 4, 4), # 28 + (1, 1, 4, 5), # 28 + (1, 1, 4, 6), # 28 + (1, 1, 4, 7), # 28 + (1, 1, 4, 8), # 28 + (1, 1, 4, 9), # 28 + (1, 1, 4, 10), # 28 + (1, 1, 4, 11), # 28 + (1, 1, 4, 12), # 28 + (1, 1, 4, 13), # 28 + (1, 1, 4, 14), # 28 + (1, 1, 4, 15), # 28 + (1, 1, 4, 16), # 28 + (1, 1, 4, 17), # 28 + (1, 1, 4, 18), # 28 + (1, 1, 4, 19), # 28 + (1, 1, 4, 20), # 28 + (1, 1, 4, 21), # 28 + (1, 1, 4, 22), # 28 + (1, 1, 4, 23), # 28 + (1, 1, 4, 24), # 28 + (1, 1, 4, 25), # 28 + (1, 1, 4, 26), # 28 + (1, 1, 5, 1), # 34 + (1, 1, 5, 2), # 34 + (1, 1, 5, 3), # 34 + (1, 1, 5, 4), # 34 + (1, 1, 5, 5), # 34 + (1, 1, 5, 6), # 34 + (1, 1, 5, 7), # 34 + (1, 1, 5, 8), # 34 + (1, 1, 5, 9), # 34 + (1, 1, 5, 10), # 34 + (1, 1, 5, 11), # 34 + (1, 1, 5, 12), # 34 + (1, 1, 5, 13), # 34 + (1, 1, 5, 14), # 34 + (1, 1, 5, 15), # 34 + (1, 1, 5, 16), # 34 + (1, 1, 5, 17), # 34 + (1, 1, 5, 18), # 34 + (1, 1, 5, 19), # 34 + (1, 1, 5, 20), # 34 + (1, 1, 5, 21), # 34 + (1, 1, 5, 22), # 34 + (1, 1, 6, 1), # 40 + (1, 1, 6, 2), # 40 + (1, 1, 6, 3), # 40 + (1, 1, 6, 4), # 40 + (1, 1, 7, 1), # 41 + (1, 1, 7, 2), # 41 + (1, 1, 7, 3), # 41 + (1, 1, 7, 4), # 41 + (1, 1, 7, 5), # 41 + (1, 1, 7, 6), # 41 + (1, 1, 7, 7), # 41 + (1, 1, 7, 8), # 41 + (1, 1, 7, 9), # 41 + (1, 1, 7, 10), # 41 + (1, 1, 7, 11), # 41 + (1, 1, 7, 12), # 41 + (1, 1, 7, 13), # 41 + (1, 1, 7, 14), # 41 + (1, 1, 7, 15), # 41 + (1, 1, 7, 16), # 41 + (1, 1, 7, 17), # 41 + (1, 1, 7, 18), # 41 + (1, 1, 7, 19), # 41 + (1, 1, 7, 20), # 41 + (1, 1, 7, 21), # 41 + (1, 1, 7, 22), # 41 + (1, 1, 7, 23), # 41 + (1, 1, 7, 24), # 41 + (1, 1, 7, 25), # 41 + (1, 1, 7, 26), # 41 + (1, 1, 7, 27), # 41 + (1, 1, 7, 28), # 41 + (1, 1, 7, 29), # 41 + (1, 1, 7, 30), # 41 + (1, 1, 7, 31), # 41 + (1, 1, 7, 32), # 41 + (1, 1, 7, 33), # 41 + (1, 1, 7, 34), # 41 + (1, 1, 7, 35), # 41 + (1, 1, 7, 36), # 41 + (1, 1, 7, 37), # 41 + (1, 1, 7, 38), # 41 + (1, 2, 1, 1), # 51 + (1, 2, 1, 2), # 51 + (1, 2, 1, 3), # 51 + (1, 2, 1, 4), # 51 + (1, 2, 1, 5), # 51 + (1, 2, 1, 6), # 51 + (1, 2, 1, 7), # 51 + (1, 2, 1, 8), # 51 + (1, 2, 1, 9), # 51 + (1, 2, 1, 10), # 51 + (1, 2, 1, 11), # 51 + (1, 2, 2, 1), # 54 + (1, 2, 2, 2), # 54 + (1, 2, 2, 3), # 54 + (1, 2, 2, 4), # 54 + (1, 2, 3, 1), # 55 + (1, 2, 3, 2), # 55 + (1, 2, 3, 3), # 55 + (1, 2, 3, 4), # 55 + (1, 2, 3, 5), # 55 + (1, 2, 3, 6), # 55 + (1, 2, 3, 7), # 55 + (1, 2, 3, 8), # 55 + (1, 2, 3, 9), # 55 + (1, 2, 3, 10), # 55 + (1, 2, 3, 11), # 55 + (1, 2, 3, 12), # 55 + (1, 2, 3, 13), # 55 + (1, 2, 3, 14), # 55 + (1, 2, 3, 15), # 55 + (1, 2, 3, 16), # 55 + (1, 2, 3, 17), # 55 + (1, 2, 3, 18), # 55 + (1, 2, 3, 19), # 55 + (1, 2, 3, 20), # 55 + (1, 2, 3, 21), # 55 + (1, 2, 3, 22), # 55 + (1, 2, 3, 23), # 55 + (1, 2, 3, 24), # 55 + (1, 2, 3, 25), # 55 + (1, 2, 3, 26), # 55 + (1, 2, 3, 27), # 55 + (1, 2, 3, 28), # 55 + (1, 2, 3, 29), # 55 + (1, 2, 3, 30), # 55 + (1, 2, 3, 31), # 55 + (1, 2, 3, 32), # 55 + (1, 2, 3, 33), # 55 + (1, 2, 3, 34), # 55 + (1, 2, 3, 35), # 55 + (1, 2, 3, 36), # 55 + (1, 2, 3, 37), # 55 + (1, 2, 3, 38), # 55 + (1, 2, 3, 39), # 55 + (1, 2, 3, 40), # 55 + (1, 2, 3, 41), # 55 + (1, 2, 3, 42), # 55 + (1, 2, 3, 43), # 55 + (1, 2, 3, 44), # 55 + (2, 1, 1), # 67 + (2, 1, 2), # 67 + (2, 1, 3), # 67 + (2, 1, 4), # 67 + (2, 1, 5), # 67 + (2, 1, 6), # 67 + (2, 1, 7), # 67 + (2, 1, 8), # 67 + (2, 1, 9), # 67 + (2, 1, 10), # 67 + (2, 1, 11), # 67 + (2, 1, 12), # 67 + (2, 1, 13), # 67 + (2, 1, 14), # 67 + (2, 1, 15), # 67 + (2, 1, 16), # 67 + (2, 1, 17), # 67 + (2, 1, 18), # 67 + (2, 2, 1), # 71 + (2, 2, 2), # 71 + (2, 2, 3), # 71 + (2, 2, 4), # 71 + (2, 2, 5), # 71 + (2, 2, 6), # 71 + (2, 2, 7), # 71 + (2, 2, 8), # 71 + (2, 2, 9), # 71 + (2, 2, 10), # 71 + (2, 2, 11), # 71 + (2, 2, 12), # 71 + (2, 2, 13), # 71 + (2, 2, 14), # 71 + (2, 2, 15), # 71 + (2, 2, 16), # 71 + (2, 2, 17), # 71 + (2, 2, 18), # 71 + (2, 2, 19), # 71 + (2, 2, 20), # 71 + (2, 3, 1), # 77 + (2, 3, 2), # 77 + (2, 3, 3), # 77 + (2, 3, 4), # 77 + (2, 3, 5), # 77 + (2, 3, 6), # 77 + (2, 3, 7), # 77 + (2, 3, 8), # 77 + (2, 4, 1, 1), # 79 + (2, 4, 1, 2), # 79 + (2, 4, 1, 3), # 79 + (2, 4, 1, 4), # 79 + (2, 4, 1, 5), # 79 + (2, 4, 1, 6), # 79 + (2, 4, 1, 7), # 79 + (2, 4, 1, 8), # 79 + (2, 4, 1, 9), # 79 + (2, 4, 1, 10), # 79 + (2, 4, 1, 11), # 79 + (2, 4, 1, 12), # 79 + (2, 4, 1, 13), # 79 + (2, 4, 1, 14), # 79 + (2, 4, 1, 15), # 79 + (2, 4, 1, 16), # 79 + (2, 4, 1, 17), # 79 + (2, 4, 1, 18), # 79 + (2, 4, 1, 19), # 79 + (2, 4, 1, 20), # 79 + (2, 4, 2, 1), # 84 + (2, 4, 2, 2), # 84 + (2, 4, 2, 3), # 84 + (2, 4, 2, 4), # 84 + (2, 4, 2, 5), # 84 + (2, 4, 2, 6), # 84 + (2, 4, 2, 7), # 84 + (2, 4, 2, 8), # 84 + (2, 4, 2, 9), # 84 + (2, 4, 2, 10), # 84 + (2, 4, 2, 11), # 84 + (2, 4, 2, 12), # 84 + (2, 4, 2, 13), # 84 + (2, 4, 2, 14), # 84 + (2, 4, 2, 15), # 84 + (2, 4, 2, 16), # 84 + (2, 4, 2, 17), # 84 + (2, 4, 2, 18), # 84 + (2, 4, 2, 19), # 84 + (2, 4, 2, 20), # 84 + (2, 4, 2, 21), # 84 + (2, 4, 2, 22), # 84 + (2, 4, 2, 23), # 84 + (2, 4, 2, 24), # 84 + (2, 4, 2, 25), # 84 + (2, 4, 2, 26), # 84 + (2, 4, 2, 27), # 84 + (2, 4, 2, 28), # 84 + (2, 4, 2, 29), # 84 + (2, 4, 2, 30), # 84 + (2, 4, 2, 31), # 84 + (2, 4, 2, 32), # 84 + (2, 4, 2, 33), # 84 + (2, 4, 2, 34), # 84 + (2, 4, 2, 35), # 84 + (2, 4, 2, 36), # 84 + (2, 4, 2, 37), # 84 + (2, 4, 2, 38), # 84 + (2, 4, 2, 39), # 84 + (2, 4, 2, 40), # 84 + (2, 4, 2, 41), # 84 + (2, 4, 2, 42), # 84 + (2, 4, 2, 43), # 84 + (2, 4, 2, 44), # 84 + (2, 4, 2, 45), # 84 + (2, 4, 2, 46), # 84 + (2, 4, 2, 47), # 84 + (2, 4, 2, 48), # 84 + (2, 4, 2, 49), # 84 + (2, 4, 2, 50), # 84 + (2, 4, 2, 51), # 84 + (2, 4, 2, 52), # 84 + (2, 4, 2, 53), # 84 + (2, 4, 2, 54), # 84 + (2, 4, 2, 55), # 84 + (2, 4, 2, 56), # 84 + (2, 4, 2, 57), # 84 + (2, 4, 2, 58), # 84 + (2, 4, 2, 59), # 84 + (2, 4, 2, 60), # 84 + (2, 4, 2, 61), # 84 + (2, 4, 2, 62), # 84 + (2, 4, 3, 1), # 97 + (2, 4, 3, 2), # 97 + (2, 4, 3, 3), # 97 + (2, 4, 3, 4), # 97 + (2, 4, 3, 5), # 97 + (2, 4, 3, 6), # 97 + (2, 4, 3, 7), # 97 + (2, 4, 3, 8), # 97 + (2, 4, 3, 9), # 97 + (2, 4, 3, 10), # 97 + (2, 4, 3, 11), # 97 + (2, 4, 3, 12), # 97 + (2, 4, 3, 13), # 97 + (2, 4, 3, 14), # 97 + (2, 4, 3, 15), # 97 + (2, 4, 3, 16), # 97 + (2, 4, 3, 17), # 97 + (2, 4, 3, 18), # 97 + (2, 4, 3, 19), # 97 + (2, 4, 3, 20), # 97 + (2, 4, 3, 21), # 97 + (2, 4, 3, 22), # 97 + (2, 4, 3, 23), # 97 + (2, 4, 3, 24), # 97 + (2, 4, 3, 25), # 97 + (2, 4, 3, 26), # 97 + (2, 4, 3, 27), # 97 + (2, 4, 3, 28), # 97 + (2, 4, 3, 29), # 97 + (2, 4, 3, 30), # 97 + (2, 4, 3, 31), # 97 + (2, 4, 4, 1), # 103 + (2, 4, 4, 2), # 103 + (2, 4, 4, 3), # 103 + (2, 4, 4, 4), # 103 + (2, 4, 4, 5), # 103 + (2, 4, 4, 6), # 103 + (2, 4, 4, 7), # 103 + (2, 4, 4, 8), # 103 + (2, 4, 4, 9), # 103 + (2, 4, 4, 10), # 103 + (2, 4, 4, 11), # 103 + (2, 4, 4, 12), # 103 + (2, 4, 4, 13), # 103 + (2, 4, 4, 14), # 103 + (2, 4, 4, 15), # 103 + (2, 4, 4, 16), # 103 + (2, 4, 4, 17), # 103 + (2, 4, 4, 18), # 103 + (2, 4, 4, 19), # 103 + (2, 4, 4, 20), # 103 + (2, 4, 4, 21), # 103 + (2, 4, 4, 22), # 103 + (2, 4, 5, 1), # 108 + (2, 4, 5, 2), # 108 + (2, 4, 5, 3), # 108 + (2, 4, 5, 4), # 108 + (2, 4, 5, 5), # 108 + (2, 4, 5, 6), # 108 + (2, 4, 5, 7), # 108 + (2, 4, 5, 8), # 108 + (2, 4, 5, 9), # 108 + (2, 4, 5, 10), # 108 + (2, 4, 5, 11), # 108 + (2, 4, 5, 12), # 108 + (2, 4, 5, 13), # 108 + (2, 4, 5, 14), # 108 + (2, 4, 5, 15), # 108 + (2, 4, 5, 16), # 108 + (2, 4, 5, 17), # 108 + (2, 4, 5, 18), # 108 + (2, 4, 5, 19), # 108 + (2, 4, 5, 20), # 108 + (2, 4, 5, 21), # 108 + (2, 4, 5, 22), # 108 + (2, 4, 5, 23), # 108 + (2, 4, 5, 24), # 108 + (2, 4, 5, 25), # 108 + (2, 4, 5, 26), # 108 + (2, 4, 5, 27), # 108 + (2, 4, 5, 28), # 108 + (2, 4, 5, 29), # 108 + (2, 4, 5, 30), # 108 + (2, 4, 5, 31), # 108 + (2, 4, 5, 32), # 108 + (2, 4, 5, 33), # 108 + (2, 4, 5, 34), # 108 + (2, 4, 5, 35), # 108 + (2, 5, 1), # 116 + (2, 5, 2), # 116 + (2, 5, 3), # 116 + (2, 5, 4), # 116 + (2, 5, 5), # 116 + (2, 5, 6), # 116 + (2, 5, 7), # 116 + (2, 5, 8), # 116 + (2, 5, 9), # 116 + (2, 5, 10), # 116 + (2, 5, 11), # 116 + (2, 5, 12), # 116 + (2, 5, 13), # 116 + (2, 5, 14), # 116 + (2, 5, 15), # 116 + (2, 5, 16), # 116 + (2, 5, 17), # 116 + (2, 5, 18), # 116 + (2, 5, 19), # 116 + (2, 5, 20), # 116 + (2, 5, 21), # 116 + (2, 5, 22), # 116 + (2, 5, 23), # 116 + (2, 5, 24), # 116 + (2, 5, 25), # 116 + (2, 5, 26), # 116 + (2, 5, 27), # 116 + (2, 5, 28), # 116 + (2, 5, 29), # 116 + (2, 5, 30), # 116 + (2, 5, 31), # 116 + (2, 5, 32), # 116 + (2, 5, 33), # 116 + (2, 5, 34), # 116 + (2, 5, 35), # 116 + (2, 5, 36), # 116 + (2, 5, 37), # 116 + (2, 5, 38), # 116 + (2, 5, 39), # 116 + (2, 5, 40), # 116 + (2, 5, 41), # 116 + (2, 5, 42), # 116 + (2, 5, 43), # 116 + (2, 6, 1, 1), # 125 + (2, 6, 1, 2), # 125 + (2, 6, 1, 3), # 125 + (2, 6, 1, 4), # 125 + (2, 6, 1, 5), # 125 + (2, 6, 1, 6), # 125 + (2, 6, 1, 7), # 125 + (2, 6, 1, 8), # 125 + (2, 6, 1, 9), # 125 + (2, 6, 1, 10), # 125 + (2, 6, 1, 11), # 125 + (2, 6, 1, 12), # 125 + (2, 6, 1, 13), # 125 + (2, 6, 1, 14), # 125 + (2, 6, 1, 15), # 125 + (2, 6, 1, 16), # 125 + (2, 6, 1, 17), # 125 + (2, 6, 1, 18), # 125 + (2, 6, 1, 19), # 125 + (2, 6, 1, 20), # 125 + (2, 6, 1, 21), # 125 + (2, 6, 1, 22), # 125 + (2, 6, 1, 23), # 125 + (2, 6, 1, 24), # 125 + (2, 6, 1, 25), # 125 + (2, 6, 1, 26), # 125 + (2, 6, 1, 27), # 125 + (2, 6, 1, 28), # 125 + (2, 6, 1, 29), # 125 + (2, 6, 1, 30), # 125 + (2, 6, 1, 31), # 125 + (2, 6, 1, 32), # 125 + (2, 6, 1, 33), # 125 + (2, 6, 1, 34), # 125 + (2, 6, 1, 35), # 125 + (2, 6, 1, 36), # 125 + (2, 6, 1, 37), # 125 + (2, 6, 1, 38), # 125 + (2, 6, 1, 39), # 125 + (2, 6, 1, 40), # 125 + (2, 6, 1, 41), # 125 + (2, 6, 1, 42), # 125 + (2, 6, 1, 43), # 125 + (2, 6, 1, 44), # 125 + (2, 6, 1, 45), # 125 + (2, 6, 1, 46), # 125 + (2, 6, 1, 47), # 125 + (2, 6, 1, 48), # 125 + (2, 6, 1, 49), # 125 + (2, 6, 2, 1), # 137 + (2, 6, 2, 2), # 137 + (2, 6, 2, 3), # 137 + (2, 6, 2, 4), # 137 + (2, 6, 2, 5), # 137 + (2, 6, 2, 6), # 137 + (2, 6, 2, 7), # 137 + (2, 6, 2, 8), # 137 + (2, 6, 2, 9), # 137 + (2, 6, 2, 10), # 137 + (2, 6, 2, 11), # 137 + (2, 6, 2, 12), # 137 + (2, 6, 2, 13), # 137 + (2, 6, 2, 14), # 137 + (2, 6, 2, 15), # 137 + (2, 6, 2, 16), # 137 + (2, 6, 2, 17), # 137 + (2, 6, 2, 18), # 137 + (2, 6, 2, 19), # 137 + (2, 6, 2, 20), # 137 + (2, 6, 2, 21), # 137 + (2, 6, 2, 22), # 137 + (2, 6, 2, 23), # 137 + (2, 6, 2, 24), # 137 + (2, 6, 2, 25), # 137 + (2, 6, 2, 26), # 137 + (2, 6, 2, 27), # 137 + (2, 6, 2, 28), # 137 + (2, 6, 2, 29), # 137 + (2, 6, 2, 30), # 137 + (2, 6, 2, 31), # 137 + (2, 6, 2, 32), # 137 + (2, 6, 2, 33), # 137 + (2, 6, 2, 34), # 137 + (2, 6, 2, 35), # 137 + (2, 6, 2, 36), # 137 + (2, 6, 2, 37), # 137 + (2, 6, 2, 38), # 137 + (2, 6, 2, 39), # 137 + (2, 6, 2, 40), # 137 + (2, 6, 2, 41), # 137 + (2, 6, 2, 42), # 137 + (2, 6, 2, 43), # 137 + (2, 6, 2, 44), # 137 + (2, 6, 2, 45), # 137 + (2, 6, 2, 46), # 137 + (2, 6, 2, 47), # 137 + (2, 6, 2, 48), # 137 + (2, 6, 2, 49), # 137 + (2, 6, 2, 50), # 137 + (2, 6, 3, 1), # 149 + (2, 6, 3, 2), # 149 + (2, 6, 3, 3), # 149 + (2, 6, 3, 4), # 149 + (2, 6, 3, 5), # 149 + (2, 6, 3, 6), # 149 + (2, 6, 3, 7), # 149 + (2, 6, 3, 8), # 149 + (2, 6, 3, 9), # 149 + (2, 6, 3, 10), # 149 + (2, 6, 3, 11), # 149 + (2, 6, 3, 12), # 149 + (2, 6, 3, 13), # 149 + (2, 6, 3, 14), # 149 + (2, 6, 3, 15), # 149 + (2, 6, 3, 16), # 149 + (2, 6, 3, 17), # 149 + (2, 6, 3, 18), # 149 + (2, 6, 3, 19), # 149 + (2, 6, 3, 20), # 149 + (2, 6, 3, 21), # 149 + (2, 6, 3, 22), # 149 + (2, 6, 3, 23), # 149 + (2, 6, 3, 24), # 149 + (2, 6, 3, 25), # 149 + (2, 6, 3, 26), # 149 + (2, 6, 3, 27), # 149 + (2, 6, 3, 28), # 149 + (2, 6, 3, 29), # 149 + (2, 6, 3, 30), # 149 + (2, 6, 3, 31), # 149 + (2, 6, 3, 32), # 149 + (2, 6, 3, 33), # 149 + (2, 6, 3, 34), # 149 + (2, 6, 3, 35), # 149 + (2, 6, 3, 36), # 149 + (2, 6, 3, 37), # 149 + (2, 6, 3, 38), # 149 + (2, 6, 3, 39), # 149 + (2, 6, 3, 40), # 149 + (2, 6, 3, 41), # 149 + (2, 7, 1), # 159 + (2, 7, 2), # 159 + (2, 7, 3), # 159 + (2, 7, 4), # 159 + (2, 7, 5), # 159 + (2, 7, 6), # 159 + (2, 7, 7), # 159 + (2, 7, 8), # 159 + (2, 7, 9), # 159 + (2, 7, 10), # 159 + (2, 7, 11), # 159 + (2, 7, 12), # 159 + (2, 7, 13), # 159 + (2, 7, 14), # 159 + (2, 7, 15), # 159 + (2, 7, 16), # 159 + (2, 7, 17), # 159 + (2, 7, 18), # 159 + (2, 7, 19), # 159 + (2, 7, 20), # 159 + (2, 7, 21), # 159 + (2, 7, 22), # 159 + (2, 7, 23), # 159 + (2, 7, 24), # 159 + (2, 7, 25), # 159 + (2, 7, 26), # 159 + (2, 7, 27), # 159 + (2, 7, 28), # 159 + (2, 7, 29), # 159 + (2, 7, 30), # 159 + (2, 7, 31), # 159 + (2, 7, 32), # 159 + (2, 7, 33), # 159 + (2, 7, 34), # 159 + (2, 7, 35), # 159 + (2, 7, 36), # 159 + (2, 7, 37), # 159 + (2, 7, 38), # 159 + (2, 7, 39), # 159 + (2, 7, 40), # 159 + (2, 7, 41), # 159 + (2, 7, 42), # 159 + (2, 7, 43), # 159 + (2, 7, 44), # 159 + (2, 7, 45), # 159 + (2, 7, 46), # 159 + (2, 7, 47), # 159 + (2, 7, 48), # 159 + (2, 7, 49), # 159 + (2, 7, 50), # 159 + (2, 7, 51), # 159 + (2, 7, 52), # 159 + (2, 7, 53), # 159 + (2, 7, 54), # 159 + (2, 7, 55), # 159 + (2, 7, 56), # 159 + (2, 7, 57), # 159 + (2, 8, 1, 1), # 174 + (2, 8, 1, 2), # 174 + (2, 8, 1, 3), # 174 + (2, 8, 1, 4), # 174 + (2, 8, 1, 5), # 174 + (2, 8, 1, 6), # 174 + (2, 8, 1, 7), # 174 + (2, 8, 1, 8), # 174 + (2, 8, 1, 9), # 174 + (2, 8, 1, 10), # 174 + (2, 8, 1, 11), # 174 + (2, 8, 1, 12), # 174 + (2, 8, 1, 13), # 174 + (2, 8, 1, 14), # 174 + (2, 8, 1, 15), # 174 + (2, 8, 1, 16), # 174 + (2, 8, 1, 17), # 174 + (2, 8, 1, 18), # 174 + (2, 8, 1, 19), # 174 + (2, 8, 1, 20), # 174 + (2, 8, 1, 21), # 174 + (2, 8, 1, 22), # 174 + (2, 8, 1, 23), # 174 + (2, 8, 1, 24), # 174 + (2, 8, 1, 25), # 174 + (2, 8, 1, 26), # 174 + (2, 8, 1, 27), # 174 + (2, 8, 1, 28), # 174 + (2, 8, 1, 29), # 174 + (2, 8, 1, 30), # 174 + (2, 8, 1, 31), # 174 + (2, 8, 1, 32), # 174 + (2, 8, 2, 1), # 182 + (2, 8, 2, 2), # 182 + (2, 8, 2, 3), # 182 + (2, 8, 2, 4), # 182 + (2, 8, 2, 5), # 182 + (2, 8, 2, 6), # 182 + (2, 8, 2, 7), # 182 + (2, 8, 2, 8), # 182 + (2, 8, 2, 9), # 182 + (2, 8, 2, 10), # 182 + (2, 8, 2, 11), # 182 + (2, 8, 2, 12), # 182 + (2, 8, 2, 13), # 182 + (2, 8, 2, 14), # 182 + (2, 8, 2, 15), # 182 + (2, 8, 2, 16), # 182 + (2, 8, 2, 17), # 182 + (2, 8, 2, 18), # 182 + (2, 8, 2, 19), # 182 + (2, 8, 2, 20), # 182 + (2, 8, 2, 21), # 182 + (2, 8, 2, 22), # 182 + (2, 8, 2, 23), # 182 + (2, 8, 2, 24), # 182 + (2, 8, 2, 25), # 182 + (2, 8, 2, 26), # 182 + (2, 8, 2, 27), # 182 + (2, 8, 2, 28), # 182 + (2, 8, 2, 29), # 182 + (2, 8, 2, 30), # 182 + (2, 8, 2, 31), # 182 + (2, 8, 2, 32), # 182 + (2, 8, 2, 33), # 182 + (2, 8, 2, 34), # 182 + (2, 8, 2, 35), # 182 + (2, 8, 2, 36), # 182 + (2, 8, 2, 37), # 182 + (2, 8, 2, 38), # 182 + (2, 8, 2, 39), # 182 + (2, 8, 2, 40), # 182 + (2, 8, 2, 41), # 182 + (2, 8, 2, 42), # 182 + (2, 8, 2, 43), # 182 + (2, 8, 2, 44), # 182 + (2, 8, 2, 45), # 182 + (2, 8, 2, 46), # 182 + (2, 8, 2, 47), # 182 + (2, 8, 2, 48), # 182 + (2, 8, 2, 49), # 182 + (2, 8, 2, 50), # 182 + (2, 8, 2, 51), # 182 + (2, 8, 2, 52), # 182 + (2, 8, 2, 53), # 182 + (2, 8, 2, 54), # 182 + (2, 8, 2, 55), # 182 + (2, 8, 2, 56), # 182 + (2, 8, 2, 57), # 182 + (2, 8, 2, 58), # 182 + (2, 8, 2, 59), # 182 + (2, 8, 2, 60), # 182 + (2, 8, 2, 61), # 182 + (2, 8, 2, 62), # 182 + (2, 8, 2, 63), # 182 + (2, 8, 2, 64), # 182 + (2, 8, 2, 65), # 182 + (2, 8, 2, 66), # 182 + (2, 8, 2, 67), # 182 + (2, 8, 2, 68), # 182 + (2, 8, 2, 69), # 182 + (2, 8, 2, 70), # 182 + (2, 8, 2, 71), # 182 + (2, 8, 2, 72), # 182 + (2, 8, 2, 73), # 182 + (2, 8, 2, 74), # 182 + (2, 8, 2, 75), # 182 + (2, 8, 2, 76), # 182 + (2, 8, 2, 77), # 182 + (2, 8, 2, 78), # 182 + (2, 8, 2, 79), # 182 + (2, 8, 2, 80), # 182 + (2, 8, 2, 81), # 182 + (2, 8, 2, 82), # 182 + (2, 8, 2, 83), # 182 + (2, 8, 2, 84), # 182 + (2, 8, 2, 85), # 182 + (2, 8, 2, 86), # 182 + (2, 8, 2, 87), # 182 + (2, 8, 2, 88), # 182 + (2, 9, 1), # 202 + (2, 9, 2), # 202 + (2, 9, 3), # 202 + (2, 9, 4), # 202 + (2, 9, 5), # 202 + (2, 9, 6), # 202 + (2, 9, 7), # 202 + (2, 9, 8), # 202 + (2, 9, 9), # 202 + (2, 9, 10), # 202 + (2, 9, 11), # 202 + (2, 9, 12), # 202 + (2, 9, 13), # 202 + (2, 9, 14), # 202 + (2, 9, 15), # 202 + (2, 9, 16), # 202 + (2, 9, 17), # 202 + (2, 9, 18), # 202 + (2, 9, 19), # 202 + (2, 9, 20), # 202 + (2, 9, 21), # 202 + (2, 9, 22), # 202 + (2, 9, 23), # 202 + (2, 9, 24), # 202 + (2, 9, 25), # 202 + (2, 9, 26), # 202 + (2, 9, 27), # 202 + (2, 9, 28), # 202 + (2, 9, 29), # 202 + (2, 9, 30), # 202 + (2, 9, 31), # 202 + (2, 9, 32), # 202 + (2, 9, 33), # 202 + (2, 9, 34), # 202 + (2, 9, 35), # 202 + (2, 9, 36), # 202 + (2, 9, 37), # 202 + (2, 9, 38), # 202 + (2, 9, 39), # 202 + (2, 9, 40), # 202 + (2, 9, 41), # 202 + (2, 9, 42), # 202 + (2, 9, 43), # 202 + (2, 9, 44), # 202 + (2, 9, 45), # 202 + (2, 9, 46), # 202 + (2, 9, 47), # 202 + (2, 9, 48), # 202 + (2, 9, 49), # 202 + (2, 9, 50), # 202 + (2, 9, 51), # 202 + (2, 9, 52), # 202 + (2, 9, 53), # 202 + (2, 9, 54), # 202 + (2, 9, 55), # 202 + (2, 9, 56), # 202 + (2, 9, 57), # 202 + (2, 9, 58), # 202 + (2, 9, 59), # 202 + (2, 9, 60), # 202 + (2, 9, 61), # 202 + (2, 9, 62), # 202 + (2, 9, 63), # 202 + (2, 9, 64), # 202 + (2, 9, 65), # 202 + (2, 9, 66), # 202 + (2, 9, 67), # 202 + (2, 9, 68), # 202 + (2, 9, 69), # 202 + (2, 9, 70), # 202 + (2, 9, 71), # 202 + (2, 9, 72), # 202 + (2, 9, 73), # 202 + (2, 9, 74), # 202 + (2, 9, 75), # 202 + (2, 9, 76), # 202 + (2, 9, 77), # 202 + (2, 9, 78), # 202 + (2, 9, 79), # 202 + (2, 9, 80), # 202 + (2, 9, 81), # 202 + (2, 9, 82), # 202 + (2, 9, 83), # 202 + (2, 9, 84), # 202 + (2, 9, 85), # 202 + (2, 9, 86), # 202 + (2, 9, 87), # 202 + (2, 9, 88), # 202 + (2, 9, 89), # 202 + (2, 9, 90), # 202 + (2, 9, 91), # 202 + (2, 9, 92), # 202 + (2, 9, 93), # 202 + (2, 9, 94), # 202 + (2, 9, 95), # 202 + (2, 9, 96), # 202 + (2, 9, 97), # 202 + (2, 9, 98), # 202 + (2, 9, 99), # 202 + (2, 9, 100), # 202 + (2, 9, 101), # 202 + (2, 9, 102), # 202 + (2, 9, 103), # 202 + (2, 9, 104), # 202 + (2, 9, 105), # 202 + (2, 9, 106), # 202 + (2, 9, 107), # 202 + (2, 9, 108), # 202 + (2, 9, 109), # 202 + (2, 9, 110), # 202 + (2, 9, 111), # 202 + (2, 9, 112), # 202 + (2, 10, 1), # 228 + (2, 10, 2), # 228 + (2, 10, 3), # 228 + (2, 10, 4), # 228 + (2, 10, 5), # 228 + (2, 10, 6), # 228 + (2, 10, 7), # 228 + (2, 10, 8), # 228 + (2, 10, 9), # 228 + (2, 10, 10), # 228 + (2, 10, 11), # 228 + (2, 10, 12), # 228 + (2, 10, 13), # 228 + (2, 10, 14), # 228 + (2, 10, 15), # 228 + (2, 10, 16), # 228 + (2, 10, 17), # 228 + (2, 10, 18), # 228 + (2, 10, 19), # 228 + (2, 10, 20), # 228 + (2, 10, 21), # 228 + (2, 10, 22), # 228 + (2, 10, 23), # 228 + (2, 10, 24), # 228 + (2, 10, 25), # 228 + (2, 10, 26), # 228 + (2, 10, 27), # 228 + (2, 10, 28), # 228 + (2, 10, 29), # 228 + (2, 10, 30), # 228 + (2, 10, 31), # 228 + (2, 10, 32), # 228 + (2, 10, 33), # 228 + (2, 10, 34), # 228 + (2, 10, 35), # 228 + (2, 10, 36), # 228 + (2, 10, 37), # 228 + (2, 10, 38), # 228 + (2, 10, 39), # 228 + (2, 10, 40), # 228 + (2, 10, 41), # 228 + (2, 10, 42), # 228 + (2, 10, 43), # 228 + (2, 10, 44), # 228 + (2, 10, 45), # 228 + (2, 10, 46), # 228 + (2, 10, 47), # 228 + (3, 1, 1), # 240 + (3, 1, 2), # 240 + (3, 1, 3), # 240 + (3, 1, 4), # 240 + (3, 1, 5), # 240 + (3, 1, 6), # 240 + (3, 1, 7), # 240 + (3, 1, 8), # 240 + (3, 1, 9), # 240 + (3, 1, 10), # 240 + (3, 1, 11), # 240 + (3, 1, 12), # 240 + (3, 1, 13), # 240 + (3, 1, 14), # 240 + (3, 1, 15), # 240 + (3, 1, 16), # 240 + (3, 1, 17), # 240 + (3, 1, 18), # 240 + (3, 1, 19), # 240 + (3, 1, 20), # 240 + (3, 1, 21), # 240 + (3, 1, 22), # 240 + (3, 1, 23), # 240 + (3, 1, 24), # 240 + (3, 1, 25), # 240 + (3, 1, 26), # 240 + (3, 1, 27), # 240 + (3, 1, 28), # 240 + (3, 1, 29), # 240 + (3, 1, 30), # 240 + (3, 1, 31), # 240 + (3, 1, 32), # 240 + (3, 1, 33), # 240 + (3, 1, 34), # 240 + (3, 1, 35), # 240 + (3, 1, 36), # 240 + (3, 1, 37), # 240 + (3, 1, 38), # 240 + (3, 1, 39), # 240 + (3, 1, 40), # 240 + (3, 1, 41), # 240 + (3, 1, 42), # 240 + (3, 1, 43), # 240 + (3, 1, 44), # 240 + (3, 1, 45), # 240 + (3, 1, 46), # 240 + (3, 1, 47), # 240 + (3, 1, 48), # 240 + (3, 1, 49), # 240 + (3, 1, 50), # 240 + (3, 1, 51), # 240 + (3, 2, 1), # 251 + (3, 2, 2), # 251 + (3, 2, 3), # 251 + (3, 2, 4), # 251 + (3, 2, 5), # 251 + (3, 2, 6), # 251 + (3, 2, 7), # 251 + (3, 2, 8), # 251 + (3, 2, 9), # 251 + (3, 2, 10), # 251 + (3, 2, 11), # 251 + (3, 2, 12), # 251 + (3, 2, 13), # 251 + (3, 2, 14), # 251 + (3, 2, 15), # 251 + (3, 2, 16), # 251 + (3, 2, 17), # 251 + (3, 2, 18), # 251 + (3, 2, 19), # 251 + (3, 2, 20), # 251 + (3, 2, 21), # 251 + (3, 2, 22), # 251 + (3, 2, 23), # 251 + (3, 2, 24), # 251 + (3, 2, 25), # 251 + (3, 2, 26), # 251 + (3, 2, 27), # 251 + (3, 2, 28), # 251 + (3, 2, 29), # 251 + (3, 2, 30), # 251 + (3, 2, 31), # 251 + (3, 2, 32), # 251 + (3, 2, 33), # 251 + (3, 2, 34), # 251 + (3, 2, 35), # 251 + (3, 2, 36), # 251 + (3, 2, 37), # 251 + (3, 2, 38), # 251 + (3, 2, 39), # 251 + (3, 2, 40), # 251 + (3, 2, 41), # 251 + (3, 2, 42), # 251 + (3, 2, 43), # 251 + (3, 2, 44), # 251 + (3, 2, 45), # 251 + (3, 2, 46), # 251 + (3, 2, 47), # 251 + (3, 2, 48), # 251 + (3, 2, 49), # 251 + (3, 2, 50), # 251 + (3, 2, 51), # 251 + (3, 2, 52), # 251 + (3, 2, 53), # 251 + (3, 2, 54), # 251 + (3, 2, 55), # 251 + (3, 2, 56), # 251 + (3, 2, 57), # 251 + (3, 2, 58), # 251 + (3, 2, 59), # 251 + (3, 2, 60), # 251 + (3, 2, 61), # 251 + (3, 2, 62), # 251 + (3, 3, 1), # 264 + (3, 3, 2), # 264 + (3, 3, 3), # 264 + (3, 3, 4), # 264 + (3, 3, 5), # 264 + (3, 3, 6), # 264 + (3, 3, 7), # 264 + (3, 3, 8), # 264 + (3, 3, 9), # 264 + (3, 3, 10), # 264 + (3, 3, 11), # 264 + (3, 3, 12), # 264 + (3, 3, 13), # 264 + (3, 3, 14), # 264 + (3, 3, 15), # 264 + (3, 3, 16), # 264 + (3, 3, 17), # 264 + (3, 3, 18), # 264 + (3, 3, 19), # 264 + (3, 3, 20), # 264 + (3, 3, 21), # 264 + (3, 3, 22), # 264 + (3, 3, 23), # 264 + (3, 3, 24), # 264 + (3, 3, 25), # 264 + (3, 3, 26), # 264 + (3, 3, 27), # 264 + (3, 3, 28), # 264 + (3, 3, 29), # 264 + (3, 3, 30), # 264 + (3, 3, 31), # 264 + (3, 3, 32), # 264 + (3, 3, 33), # 264 + (3, 3, 34), # 264 + (3, 3, 35), # 264 + (3, 3, 36), # 264 + (3, 3, 37), # 264 + (3, 3, 38), # 264 + (3, 3, 39), # 264 + (3, 3, 40), # 264 + (3, 3, 41), # 264 + (3, 3, 42), # 264 + (3, 3, 43), # 264 + (3, 4, 1, 1), # 277 + (3, 4, 1, 2), # 277 + (3, 4, 1, 3), # 277 + (3, 4, 1, 4), # 277 + (3, 4, 1, 5), # 277 + (3, 4, 1, 6), # 277 + (3, 4, 1, 7), # 277 + (3, 4, 1, 8), # 277 + (3, 4, 1, 9), # 277 + (3, 4, 1, 10), # 277 + (3, 4, 1, 11), # 277 + (3, 4, 1, 12), # 277 + (3, 4, 1, 13), # 277 + (3, 4, 1, 14), # 277 + (3, 4, 1, 15), # 277 + (3, 4, 1, 16), # 277 + (3, 4, 1, 17), # 277 + (3, 4, 1, 18), # 277 + (3, 4, 2, 19), # 282 + (3, 4, 2, 20), # 282 + (3, 4, 3, 20), # 283 + (3, 4, 3, 21), # 283 + (3, 4, 3, 22), # 283 + (3, 4, 3, 23), # 283 + (3, 4, 3, 24), # 283 + (3, 4, 3, 25), # 283 + (3, 4, 3, 26), # 283 + (3, 4, 3, 27), # 283 + (3, 4, 4, 28), # 285 + (3, 4, 5, 29), # 285 + (3, 4, 5, 30), # 285 + (3, 4, 6, 31), # 286 + (3, 4, 7, 32), # 286 + (3, 4, 7, 33), # 286 + (3, 4, 7, 34), # 286 + (3, 4, 8, 35), # 287 + (3, 4, 9, 36), # 288 + (3, 4, 9, 37), # 288 + (3, 4, 9, 38), # 288 + (3, 4, 9, 39), # 288 + (3, 4, 9, 40), # 288 + (3, 4, 9, 41), # 288 + (3, 4, 10, 42), # 290 + (3, 4, 10, 43), # 290 + (3, 4, 11, 44), # 290 + (3, 4, 11, 45), # 290 + (3, 4, 11, 46), # 290 + (3, 4, 12, 47), # 291 + (3, 4, 13, 48), # 292 + (3, 4, 13, 49), # 292 + (3, 4, 13, 50), # 292 + (3, 4, 13, 51), # 292 + (3, 4, 13, 52), # 292 + (3, 4, 13, 53), # 292 + (3, 4, 13, 54), # 292 + (3, 4, 13, 55), # 292 + (3, 4, 13, 56), # 292 + (3, 4, 13, 57), # 292 + (3, 4, 13, 58), # 292 + (3, 4, 13, 59), # 292 + (3, 4, 14, 60), # 295 + (3, 4, 14, 61), # 295 + (3, 4, 14, 62), # 295 + (3, 4, 14, 63), # 295 + (3, 4, 14, 64), # 295 + (3, 4, 14, 65), # 295 + (3, 4, 14, 66), # 295 + (3, 4, 14, 67), # 295 + (3, 4, 14, 68), # 295 + (3, 4, 14, 69), # 295 + (3, 4, 14, 70), # 295 + (3, 4, 14, 71), # 295 + (3, 4, 14, 72), # 295 + (3, 4, 14, 73), # 295 + (3, 4, 14, 74), # 295 + (3, 4, 14, 75), # 295 + (3, 4, 14, 76), # 295 + (3, 4, 14, 77), # 295 + (3, 4, 14, 78), # 295 + (3, 4, 14, 79), # 295 + (3, 4, 14, 80), # 295 + (3, 4, 14, 81), # 295 + (3, 4, 14, 82), # 295 + (3, 4, 14, 83), # 295 + (3, 4, 14, 84), # 295 + (3, 4, 14, 85), # 295 + (3, 4, 14, 86), # 295 + (3, 4, 14, 87), # 295 + (3, 4, 15, 88), # 303 + (3, 4, 15, 89), # 303 + (3, 4, 15, 90), # 303 + (3, 4, 16, 91), # 304 + (3, 4, 16, 92), # 304 + (3, 4, 16, 93), # 304 + (3, 4, 16, 94), # 304 + (3, 4, 16, 95), # 304 + (3, 4, 16, 96), # 304 + (3, 4, 16, 97), # 304 + (3, 4, 17, 98), # 306 + (3, 4, 17, 99), # 306 + (3, 4, 17, 100), # 306 + (3, 4, 17, 101), # 306 + (3, 4, 17, 102), # 306 + (3, 4, 17, 103), # 306 + (3, 4, 17, 104), # 306 + (3, 4, 17, 105), # 306 + (3, 4, 17, 106), # 306 + (3, 4, 18, 107), # 308 + (3, 4, 18, 108), # 308 + (3, 4, 18, 109), # 308 + (3, 4, 18, 110), # 308 + (3, 4, 18, 111), # 308 + (3, 4, 18, 112), # 308 + (3, 4, 18, 113), # 308 + (3, 4, 18, 114), # 308 + (3, 4, 18, 115), # 308 + (3, 4, 18, 116), # 308 + (3, 4, 18, 117), # 308 + (3, 4, 18, 118), # 308 + (3, 4, 18, 119), # 308 + (3, 4, 18, 120), # 308 + (3, 4, 18, 121), # 308 + (3, 4, 18, 122), # 308 + (3, 4, 18, 123), # 308 + (3, 4, 18, 124), # 308 + (3, 4, 18, 125), # 308 + (3, 4, 18, 126), # 308 + (3, 4, 18, 127), # 308 + (3, 4, 18, 128), # 308 + (3, 4, 18, 129), # 308 + (3, 4, 18, 130), # 308 + (3, 4, 19, 131), # 315 + (3, 4, 19, 132), # 315 + (3, 4, 19, 133), # 315 + (3, 4, 19, 134), # 315 + (3, 4, 20, 134), # 316 + (3, 4, 21, 135), # 316 + (3, 4, 21, 136), # 316 + (3, 4, 22, 137), # 316 + (3, 4, 22, 138), # 316 + (3, 4, 22, 139), # 316 + (3, 4, 23, 140), # 318 + (3, 4, 23, 141), # 318 + (3, 4, 23, 142), # 318 + (3, 4, 23, 143), # 318 + (3, 4, 23, 144), # 318 + (3, 4, 23, 145), # 318 + (3, 4, 23, 146), # 318 + (3, 4, 24, 147), # 320 + (3, 4, 24, 148), # 320 + (3, 4, 24, 149), # 320 + (3, 4, 24, 150), # 320 + (3, 4, 24, 151), # 320 + (3, 4, 24, 152), # 320 + (3, 4, 24, 153), # 320 + (3, 4, 24, 154), # 320 + (3, 4, 24, 155), # 320 + (3, 4, 24, 156), # 320 + (3, 4, 24, 157), # 320 + (3, 4, 24, 158), # 320 + (3, 4, 24, 159), # 320 + (3, 4, 24, 160), # 320 + (3, 4, 24, 161), # 320 + (3, 4, 24, 162), # 320 + (3, 4, 25, 163), # 324 + (3, 4, 25, 164), # 324 + (3, 4, 25, 165), # 324 + (3, 4, 25, 166), # 324 + (3, 4, 25, 167), # 324 + (3, 4, 25, 168), # 324 + (3, 4, 25, 169), # 324 + (3, 4, 25, 170), # 324 + (3, 4, 25, 171), # 324 + (3, 4, 25, 172), # 324 + (3, 4, 25, 173), # 324 + (3, 4, 25, 174), # 324 + (3, 4, 25, 175), # 324 + (3, 4, 25, 176), # 324 + (3, 4, 25, 177), # 324 + (3, 4, 25, 178), # 324 + (3, 4, 25, 179), # 324 + (3, 4, 25, 180), # 324 + (3, 4, 25, 181), # 324 + (3, 4, 25, 182), # 324 + (3, 4, 25, 183), # 324 + (3, 4, 25, 184), # 324 + (3, 4, 25, 185), # 324 + (3, 4, 25, 186), # 324 + (3, 4, 25, 187), # 324 + (3, 4, 25, 188), # 324 + (3, 4, 25, 189), # 324 + (3, 4, 25, 190), # 324 + (3, 4, 25, 191), # 324 + (3, 4, 25, 192), # 324 + (3, 4, 25, 193), # 324 + (3, 4, 25, 194), # 324 + (3, 4, 26, 194), # 333 + (3, 4, 26, 195), # 333 + (3, 4, 26, 196), # 333 + (3, 4, 26, 197), # 333 + (3, 4, 26, 198), # 333 + (3, 4, 26, 199), # 333 + (3, 4, 26, 200), # 333 + (3, 4, 26, 201), # 333 + (3, 4, 26, 202), # 333 + (3, 4, 26, 203), # 333 + (3, 4, 26, 204), # 333 + (3, 4, 26, 205), # 333 + (3, 4, 26, 206), # 333 + (3, 4, 26, 207), # 333 + (3, 4, 27, 208), # 337 + (3, 4, 27, 209), # 337 + (3, 4, 27, 210), # 337 + (3, 4, 27, 211), # 337 + (3, 4, 27, 212), # 337 + (3, 4, 27, 213), # 337 + (3, 4, 27, 214), # 337 + (3, 4, 27, 215), # 337 + (3, 4, 28, 216), # 339 + (3, 4, 28, 217), # 339 + (3, 4, 28, 218), # 339 + (3, 4, 28, 219), # 339 + (3, 4, 29, 220), # 340 + (3, 4, 29, 221), # 340 + (3, 4, 29, 222), # 340 + (3, 4, 29, 223), # 340 + (3, 4, 29, 224), # 340 + (3, 4, 29, 225), # 340 + (3, 4, 29, 226), # 340 + (3, 4, 29, 227), # 340 + (3, 4, 30, 228), # 342 + (3, 4, 30, 229), # 342 + (3, 4, 30, 230), # 342 + (3, 4, 30, 231), # 342 + (3, 4, 30, 232), # 342 + (3, 4, 30, 233), # 342 + (3, 4, 30, 234), # 342 + (3, 4, 30, 235), # 342 + (3, 4, 30, 236), # 342 + (3, 4, 30, 237), # 342 + (3, 4, 31, 238), # 345 + (3, 4, 31, 239), # 345 + (3, 4, 31, 240), # 345 + (3, 4, 31, 241), # 345 + (3, 4, 32, 1), # 347 + (3, 4, 32, 2), # 347 + (3, 4, 32, 3), # 347 + (3, 4, 32, 4), # 347 + (3, 4, 32, 5), # 347 + (3, 4, 32, 6), # 347 + (3, 4, 32, 7), # 347 + (3, 4, 32, 8), # 347 + (3, 4, 32, 9), # 347 + (3, 4, 32, 10), # 347 + (3, 4, 32, 11), # 347 + (3, 4, 32, 12), # 347 + (3, 4, 32, 13), # 347 + (3, 4, 32, 14), # 347 + (3, 4, 32, 15), # 347 + (3, 4, 32, 16), # 347 + (3, 4, 32, 17), # 347 + (3, 4, 32, 18), # 347 + (3, 5, 1), # 352 + (3, 5, 2), # 352 + (3, 5, 3), # 352 + (3, 5, 4), # 352 + (3, 5, 5), # 352 + (3, 5, 6), # 352 + (3, 5, 7), # 352 + (3, 5, 8), # 352 + (3, 5, 9), # 352 + (3, 5, 10), # 352 + (3, 5, 11), # 352 + (3, 5, 12), # 352 + (3, 5, 13), # 352 + (3, 5, 14), # 352 + (3, 5, 15), # 352 + (3, 5, 16), # 352 + (3, 5, 17), # 352 + (3, 5, 18), # 352 + (3, 5, 19), # 352 + (3, 5, 20), # 352 + (3, 5, 21), # 352 + (3, 5, 22), # 352 + (3, 5, 23), # 352 + (3, 6, 1, 1), # 359 + (3, 6, 1, 2), # 359 + (3, 6, 1, 3), # 359 + (3, 6, 1, 4), # 359 + (3, 6, 1, 5), # 359 + (3, 6, 1, 6), # 359 + (3, 6, 1, 7), # 359 + (3, 6, 1, 8), # 359 + (3, 6, 1, 9), # 359 + (3, 6, 1, 10), # 359 + (3, 6, 2, 11), # 362 + (3, 6, 2, 12), # 362 + (3, 6, 2, 13), # 362 + (3, 6, 2, 14), # 362 + (3, 6, 2, 15), # 362 + (3, 6, 2, 16), # 362 + (3, 6, 2, 17), # 362 + (3, 6, 2, 18), # 362 + (3, 6, 2, 19), # 362 + (3, 6, 2, 20), # 362 + (3, 6, 2, 21), # 362 + (3, 6, 3, 22), # 366 + (3, 6, 3, 23), # 366 + (3, 6, 3, 24), # 366 + (3, 6, 3, 25), # 366 + (3, 6, 3, 26), # 366 + (3, 6, 3, 27), # 366 + (3, 6, 3, 28), # 366 + (3, 6, 3, 29), # 366 + (3, 6, 3, 30), # 366 + (3, 6, 3, 31), # 366 + (3, 6, 4, 32), # 369 + (3, 6, 4, 33), # 369 + (3, 6, 4, 34), # 369 + (3, 6, 4, 35), # 369 + (3, 6, 4, 36), # 369 + (3, 6, 5, 37), # 371 + (3, 6, 5, 38), # 371 + (3, 6, 6, 39), # 372 + (3, 6, 6, 40), # 372 + (3, 6, 6, 41), # 372 + (3, 6, 7, 41), # 372 + (3, 6, 8, 42), # 373 + (3, 6, 8, 43), # 373 + (3, 6, 8, 44), # 373 + (3, 6, 8, 45), # 373 + (3, 6, 8, 46), # 373 +} diff --git a/pwg_ls2/ak/ak_verse_ld_list.py b/pwg_ls2/ak/ak_verse_ld_list.py new file mode 100644 index 0000000..efce2ea --- /dev/null +++ b/pwg_ls2/ak/ak_verse_ld_list.py @@ -0,0 +1,209 @@ +#-*- coding:utf-8 -*- +"""ak_verse_ld_list.py +""" +import sys,re,codecs +from ak_index_ld_verses_set import ak_index_verses_set +#print(len(ak_index_verses_set)) + +sys.stdout.reconfigure(encoding='utf-8') + +def parm_words(parmstr): + parmstr1 = parmstr.replace('v. l.','v._l.') + # parenthesized expressions + def f(m): + old = m.group(0) + new = old.replace(' ','_') + return new + parmstr1a = re.sub(r'\(.*?\)',f,parmstr1) + if parmstr1a != parmstr1: + #print('parm_words chk: "%s" -> "%s"' %(parmstr1,parmstr1a)) + parmstr1 = parmstr1a + #exit(1) + if parmstr1.startswith(' '): + parmstr1 = parmstr1[1:] # drop initial space + words = parmstr1.split(' ') + return words + +word_type_regexes = [ + # regex: name + (r'^[0-9]+\.$', 'N.'), + (r'^[0-9]+\,$', 'N,'), + (r'^[0-9]+$', 'N'), + (r'^v\._l\.$', 'vl'), # varia-licta + (r'^$', 'NP'), # no parms + (r'^fg\.$', 'fg'), + (r'^\(.*\)$','pe'), + (r'^.*$', '?'), # not elsewhere classified + ] +def word_type(word): + ans = None + for regex,w_type in word_type_regexes: + if re.search(regex,word): + ans = w_type + break + #if word.startswith('('): + # print('word_type %s = %s' %(word, ans)) + # exit(1) + return ans + +def classify_1(ls): + m = re.search(r'^AK\.(.*)$',ls) + parmstr = m.group(1) + words = parm_words(parmstr) + wordtypes = [word_type(w) for w in words] + lstype = ' '.join(wordtypes) + if False: + print('words=',words) + print('parmstr=',parmstr) + exit(1) + return lstype,parmstr + +def classify_2(ls): + m = re.search(r'^(.*)$',ls) + parmstr1 = m.group(1) + parmstr2 = m.group(2) + if parmstr1 == '': + parmstr = parmstr2 + else: + parmstr = parmstr1 + ' ' + parmstr2 + words = parm_words(parmstr) + wordtypes = [word_type(w) for w in words] + lstype = ' '.join(wordtypes) + return lstype,parmstr + +def classification(lines): + d = {} # + lschanges = [] + metaline = None + imetaline1 = None + page = None + for iline,line in enumerate(lines): + line = line.rstrip('\r\n') + if line == '': + continue + if line.startswith(''): + metaline = line + imetaline1 = iline+1 + continue + if line == '': + metaline = None + imetaline = None + continue + if line.startswith('[Page'): + page = line + continue + instances = re.findall(r'AK\..*?',line) + for instance in instances: + c,parmstr = classify_1(instance) + rec = (instance,metaline,parmstr,iline+1,line) + if c not in d: + d[c] = [] + d[c].append(rec) + # + instances = re.findall(r' (3,5,1) + x = parmstr.replace('fg.','') + x = x.replace(r'vl.','') + x = re.sub(r' +','',x) + x = x.replace('.','') + words = [] + for w in x.split(','): + if w != 'vl': + words.append(w) + try: + parmtuple = tuple([int(w) for w in words]) + except: + print('parmstr=',parmstr,words) + exit(1) + return parmtuple + +def convert_dparmstr(d): + e = {} + for c in d.keys(): + for rec in d[c]: + (instance,metaline,parmstr,lnum,line) = rec + if parmstr == '': # exclude AK. + continue + #print('parmstr="%s"' %parmstr) + parmtuple = get_parm_tuple(parmstr) + #print('parmtuple=',parmtuple) + #exit(1) + if parmtuple not in e: + e[parmtuple] = [] + e[parmtuple].append(rec) + return e + +def write_doneparms(fileout,d): + #keys = d.keys() + #keys1 = sorted(keys,key = lambda c: len(d[c]),reverse = True) + dparms = convert_dparmstr(d) + # add empty records for keys 'not used' + for parmtuple in ak_index_verses_set: + if parmtuple not in dparms: + dparms[parmtuple] = [] + keys = dparms.keys() # integer tuples + print(len(keys),"keys found") + keys1 = sorted(keys) + ntot = 0 + outrecs = [] + outarr = [] + lnumsd = {} # lnum used. To avoid dupliclates + outarr.append('; =======================================================' ) + outarr.append('; %s (%s)' %(fileout,len(keys))) + outarr.append('; =======================================================' ) + + for parmtuple in keys1: + parmknown = '-' + if parmtuple in ak_index_verses_set: + parmknown = '+' + + rec = dparms[parmtuple] + numinstance = len(rec) + outarr.append('%s %s %s' %(parmknown,parmtuple,numinstance)) + with codecs.open(fileout,"w","utf-8") as f: + for out in outarr: + f.write(out+'\n') + print(len(keys1),"records written to",fileout) + +# parameter patterns that are 'done' +donec = {'NP', + 'N, N, N, N.', + 'N, N, N.', + 'N, N, N, N', + 'N, N, N', + 'N, N, N, N, vl', + 'N, N, N, vl', + 'N, N, N, N. fg', + } +def done_notdone(d): + d1 = {} + d2 = {} + for c in d: + if c in donec: + d1[c] = d[c] + else: + d2[c] = d[c] + return d1,d2 + +if __name__=="__main__": + filein = sys.argv[1] # xxx.txt (path to digitization of xxx) + fileout = sys.argv[2] # instances with parsed parms + + with codecs.open(filein,"r","utf-8") as f: + lines = [x.rstrip('\r\n') for x in f] + d = classification(lines) # also, updates tip.changes + d1,d2 = done_notdone(d) # separate + write_doneparms(fileout,d1) + diff --git a/pwg_ls2/ak/ak_verse_ld_list.txt b/pwg_ls2/ak/ak_verse_ld_list.txt new file mode 100644 index 0000000..664ff69 --- /dev/null +++ b/pwg_ls2/ak/ak_verse_ld_list.txt @@ -0,0 +1,1807 @@ +; ======================================================= +; ak_verse_ld_list.txt (1804) +; ======================================================= ++ (1, 1, 1, 1) 8 ++ (1, 1, 1, 2) 10 ++ (1, 1, 1, 3) 9 ++ (1, 1, 1, 4) 6 ++ (1, 1, 1, 5) 11 ++ (1, 1, 1, 6) 13 ++ (1, 1, 1, 7) 10 ++ (1, 1, 1, 8) 10 ++ (1, 1, 1, 9) 9 ++ (1, 1, 1, 10) 6 ++ (1, 1, 1, 11) 9 ++ (1, 1, 1, 12) 11 ++ (1, 1, 1, 13) 10 ++ (1, 1, 1, 14) 8 ++ (1, 1, 1, 15) 8 ++ (1, 1, 1, 16) 8 ++ (1, 1, 1, 17) 7 ++ (1, 1, 1, 18) 9 ++ (1, 1, 1, 19) 9 ++ (1, 1, 1, 20) 11 ++ (1, 1, 1, 21) 9 ++ (1, 1, 1, 22) 12 ++ (1, 1, 1, 23) 10 ++ (1, 1, 1, 24) 8 ++ (1, 1, 1, 25) 10 ++ (1, 1, 1, 26) 12 ++ (1, 1, 1, 27) 9 ++ (1, 1, 1, 28) 8 ++ (1, 1, 1, 29) 10 ++ (1, 1, 1, 30) 10 ++ (1, 1, 1, 31) 12 ++ (1, 1, 1, 32) 12 ++ (1, 1, 1, 33) 12 ++ (1, 1, 1, 34) 8 ++ (1, 1, 1, 35) 9 ++ (1, 1, 1, 36) 11 ++ (1, 1, 1, 37) 9 ++ (1, 1, 1, 38) 12 ++ (1, 1, 1, 39) 8 ++ (1, 1, 1, 40) 9 ++ (1, 1, 1, 41) 9 ++ (1, 1, 1, 42) 12 ++ (1, 1, 1, 43) 11 ++ (1, 1, 1, 44) 10 ++ (1, 1, 1, 45) 9 ++ (1, 1, 1, 46) 8 ++ (1, 1, 1, 47) 8 ++ (1, 1, 1, 48) 10 ++ (1, 1, 1, 49) 8 ++ (1, 1, 1, 50) 11 ++ (1, 1, 1, 51) 9 ++ (1, 1, 1, 52) 11 ++ (1, 1, 1, 53) 10 ++ (1, 1, 1, 54) 10 ++ (1, 1, 1, 55) 12 ++ (1, 1, 1, 56) 12 ++ (1, 1, 1, 57) 11 ++ (1, 1, 1, 58) 13 ++ (1, 1, 1, 59) 10 ++ (1, 1, 1, 60) 13 ++ (1, 1, 1, 61) 11 ++ (1, 1, 1, 62) 11 ++ (1, 1, 1, 63) 7 ++ (1, 1, 1, 64) 8 ++ (1, 1, 1, 65) 11 ++ (1, 1, 1, 66) 9 ++ (1, 1, 1, 67) 6 ++ (1, 1, 2, 1) 12 ++ (1, 1, 2, 2) 10 ++ (1, 1, 2, 3) 10 ++ (1, 1, 2, 4) 12 ++ (1, 1, 2, 5) 9 ++ (1, 1, 2, 6) 7 ++ (1, 1, 2, 7) 6 ++ (1, 1, 2, 8) 10 ++ (1, 1, 2, 9) 9 ++ (1, 1, 2, 10) 10 ++ (1, 1, 2, 11) 9 ++ (1, 1, 2, 12) 9 ++ (1, 1, 2, 13) 10 ++ (1, 1, 2, 14) 7 ++ (1, 1, 2, 15) 11 ++ (1, 1, 2, 16) 11 ++ (1, 1, 2, 17) 12 ++ (1, 1, 2, 18) 12 ++ (1, 1, 2, 19) 10 ++ (1, 1, 2, 20) 11 ++ (1, 1, 2, 21) 10 ++ (1, 1, 2, 22) 9 ++ (1, 1, 2, 23) 9 ++ (1, 1, 2, 24) 8 ++ (1, 1, 2, 25) 10 ++ (1, 1, 2, 26) 11 ++ (1, 1, 2, 27) 10 ++ (1, 1, 2, 28) 10 ++ (1, 1, 2, 29) 11 ++ (1, 1, 2, 30) 10 ++ (1, 1, 2, 31) 10 ++ (1, 1, 2, 32) 10 ++ (1, 1, 2, 33) 11 ++ (1, 1, 2, 34) 11 ++ (1, 1, 2, 35) 13 ++ (1, 1, 2, 36) 11 ++ (1, 1, 2, 37) 7 ++ (1, 1, 3, 1) 9 ++ (1, 1, 3, 2) 11 ++ (1, 1, 3, 3) 16 ++ (1, 1, 3, 4) 10 ++ (1, 1, 3, 5) 8 ++ (1, 1, 3, 6) 7 ++ (1, 1, 3, 7) 9 ++ (1, 1, 3, 8) 11 ++ (1, 1, 3, 9) 9 ++ (1, 1, 3, 10) 7 ++ (1, 1, 3, 11) 5 ++ (1, 1, 3, 12) 6 ++ (1, 1, 3, 13) 5 ++ (1, 1, 3, 14) 9 ++ (1, 1, 3, 15) 11 ++ (1, 1, 3, 16) 11 ++ (1, 1, 3, 17) 9 ++ (1, 1, 3, 18) 11 ++ (1, 1, 3, 19) 12 ++ (1, 1, 3, 20) 8 ++ (1, 1, 3, 21) 9 ++ (1, 1, 3, 22) 9 +- (1, 1, 3, 38) 1 ++ (1, 1, 4, 1) 12 ++ (1, 1, 4, 2) 12 ++ (1, 1, 4, 3) 13 ++ (1, 1, 4, 4) 8 ++ (1, 1, 4, 5) 11 ++ (1, 1, 4, 6) 13 ++ (1, 1, 4, 7) 13 ++ (1, 1, 4, 8) 13 ++ (1, 1, 4, 9) 12 ++ (1, 1, 4, 10) 15 ++ (1, 1, 4, 11) 11 ++ (1, 1, 4, 12) 10 ++ (1, 1, 4, 13) 9 ++ (1, 1, 4, 14) 10 ++ (1, 1, 4, 15) 11 ++ (1, 1, 4, 16) 11 ++ (1, 1, 4, 17) 9 ++ (1, 1, 4, 18) 9 ++ (1, 1, 4, 19) 8 ++ (1, 1, 4, 20) 8 ++ (1, 1, 4, 21) 5 ++ (1, 1, 4, 22) 15 ++ (1, 1, 4, 23) 12 ++ (1, 1, 4, 24) 13 ++ (1, 1, 4, 25) 15 ++ (1, 1, 4, 26) 9 ++ (1, 1, 5, 1) 13 ++ (1, 1, 5, 2) 4 ++ (1, 1, 5, 3) 8 ++ (1, 1, 5, 4) 9 ++ (1, 1, 5, 5) 9 ++ (1, 1, 5, 6) 13 ++ (1, 1, 5, 7) 10 ++ (1, 1, 5, 8) 12 ++ (1, 1, 5, 9) 10 ++ (1, 1, 5, 10) 11 ++ (1, 1, 5, 11) 8 ++ (1, 1, 5, 12) 14 ++ (1, 1, 5, 13) 9 ++ (1, 1, 5, 14) 9 ++ (1, 1, 5, 15) 8 ++ (1, 1, 5, 16) 9 ++ (1, 1, 5, 17) 10 ++ (1, 1, 5, 18) 10 ++ (1, 1, 5, 19) 11 ++ (1, 1, 5, 20) 10 ++ (1, 1, 5, 21) 9 ++ (1, 1, 5, 22) 10 ++ (1, 1, 6, 1) 14 ++ (1, 1, 6, 2) 9 ++ (1, 1, 6, 3) 12 ++ (1, 1, 6, 4) 9 ++ (1, 1, 7, 1) 10 ++ (1, 1, 7, 2) 9 ++ (1, 1, 7, 3) 8 ++ (1, 1, 7, 4) 9 ++ (1, 1, 7, 5) 11 ++ (1, 1, 7, 6) 11 ++ (1, 1, 7, 7) 10 ++ (1, 1, 7, 8) 10 ++ (1, 1, 7, 9) 10 ++ (1, 1, 7, 10) 8 ++ (1, 1, 7, 11) 10 ++ (1, 1, 7, 12) 8 ++ (1, 1, 7, 13) 7 ++ (1, 1, 7, 14) 10 ++ (1, 1, 7, 15) 12 ++ (1, 1, 7, 16) 8 ++ (1, 1, 7, 17) 10 ++ (1, 1, 7, 18) 9 ++ (1, 1, 7, 19) 12 ++ (1, 1, 7, 20) 10 ++ (1, 1, 7, 21) 13 ++ (1, 1, 7, 22) 9 ++ (1, 1, 7, 23) 13 ++ (1, 1, 7, 24) 9 ++ (1, 1, 7, 25) 11 ++ (1, 1, 7, 26) 14 ++ (1, 1, 7, 27) 13 ++ (1, 1, 7, 28) 10 ++ (1, 1, 7, 29) 10 ++ (1, 1, 7, 30) 11 ++ (1, 1, 7, 31) 8 ++ (1, 1, 7, 32) 10 ++ (1, 1, 7, 33) 13 ++ (1, 1, 7, 34) 10 ++ (1, 1, 7, 35) 7 ++ (1, 1, 7, 36) 9 ++ (1, 1, 7, 37) 9 ++ (1, 1, 7, 38) 11 +- (1, 1, 14) 1 +- (1, 1, 14, 18) 1 +- (1, 1, 28) 1 ++ (1, 2, 1, 1) 10 ++ (1, 2, 1, 2) 12 ++ (1, 2, 1, 3) 9 ++ (1, 2, 1, 4) 4 ++ (1, 2, 1, 5) 8 ++ (1, 2, 1, 6) 11 ++ (1, 2, 1, 7) 11 ++ (1, 2, 1, 8) 9 ++ (1, 2, 1, 9) 7 ++ (1, 2, 1, 10) 8 ++ (1, 2, 1, 11) 10 +- (1, 2, 1, 12) 7 +- (1, 2, 1, 19) 1 ++ (1, 2, 2, 1) 8 ++ (1, 2, 2, 2) 8 ++ (1, 2, 2, 3) 14 ++ (1, 2, 2, 4) 3 ++ (1, 2, 3, 1) 14 ++ (1, 2, 3, 2) 7 ++ (1, 2, 3, 3) 15 ++ (1, 2, 3, 4) 15 ++ (1, 2, 3, 5) 9 ++ (1, 2, 3, 6) 9 ++ (1, 2, 3, 7) 10 ++ (1, 2, 3, 8) 7 ++ (1, 2, 3, 9) 9 ++ (1, 2, 3, 10) 11 ++ (1, 2, 3, 11) 16 ++ (1, 2, 3, 12) 9 ++ (1, 2, 3, 13) 9 ++ (1, 2, 3, 14) 8 ++ (1, 2, 3, 15) 10 ++ (1, 2, 3, 16) 9 ++ (1, 2, 3, 17) 10 ++ (1, 2, 3, 18) 12 ++ (1, 2, 3, 19) 7 ++ (1, 2, 3, 20) 7 ++ (1, 2, 3, 21) 11 ++ (1, 2, 3, 22) 13 ++ (1, 2, 3, 23) 8 ++ (1, 2, 3, 24) 14 ++ (1, 2, 3, 25) 9 ++ (1, 2, 3, 26) 13 ++ (1, 2, 3, 27) 11 ++ (1, 2, 3, 28) 10 ++ (1, 2, 3, 29) 19 ++ (1, 2, 3, 30) 9 ++ (1, 2, 3, 31) 8 ++ (1, 2, 3, 32) 8 ++ (1, 2, 3, 33) 11 ++ (1, 2, 3, 34) 6 ++ (1, 2, 3, 35) 7 ++ (1, 2, 3, 36) 7 ++ (1, 2, 3, 37) 10 ++ (1, 2, 3, 38) 8 ++ (1, 2, 3, 39) 8 ++ (1, 2, 3, 40) 8 ++ (1, 2, 3, 41) 9 ++ (1, 2, 3, 42) 10 ++ (1, 2, 3, 43) 2 ++ (1, 2, 3, 44) 0 +- (1, 2, 38) 1 ++ (2, 1, 1) 5 ++ (2, 1, 2) 15 ++ (2, 1, 3) 14 ++ (2, 1, 4) 11 ++ (2, 1, 5) 10 ++ (2, 1, 6) 13 ++ (2, 1, 7) 9 ++ (2, 1, 8) 10 ++ (2, 1, 9) 7 ++ (2, 1, 10) 9 ++ (2, 1, 11) 9 ++ (2, 1, 12) 6 ++ (2, 1, 13) 11 ++ (2, 1, 14) 4 ++ (2, 1, 15) 11 ++ (2, 1, 16) 8 ++ (2, 1, 17) 10 ++ (2, 1, 18) 12 +- (2, 1, 19) 3 ++ (2, 2, 1) 14 ++ (2, 2, 2) 10 ++ (2, 2, 3) 16 ++ (2, 2, 4) 14 +- (2, 2, 4, 13) 1 ++ (2, 2, 5) 10 ++ (2, 2, 6) 8 ++ (2, 2, 7) 9 ++ (2, 2, 8) 8 ++ (2, 2, 9) 9 ++ (2, 2, 10) 8 ++ (2, 2, 11) 8 ++ (2, 2, 12) 10 ++ (2, 2, 13) 9 ++ (2, 2, 14) 13 ++ (2, 2, 15) 7 ++ (2, 2, 16) 8 ++ (2, 2, 17) 10 ++ (2, 2, 18) 7 ++ (2, 2, 19) 8 ++ (2, 2, 20) 4 ++ (2, 3, 1) 13 ++ (2, 3, 2) 9 ++ (2, 3, 3) 6 ++ (2, 3, 4) 13 ++ (2, 3, 5) 11 ++ (2, 3, 6) 9 ++ (2, 3, 7) 7 ++ (2, 3, 8) 8 +- (2, 4, 1) 1 ++ (2, 4, 1, 1) 10 ++ (2, 4, 1, 2) 6 ++ (2, 4, 1, 3) 5 ++ (2, 4, 1, 4) 12 ++ (2, 4, 1, 5) 13 ++ (2, 4, 1, 6) 10 ++ (2, 4, 1, 7) 12 ++ (2, 4, 1, 8) 9 ++ (2, 4, 1, 9) 11 ++ (2, 4, 1, 10) 7 ++ (2, 4, 1, 11) 9 ++ (2, 4, 1, 12) 15 ++ (2, 4, 1, 13) 11 ++ (2, 4, 1, 14) 10 ++ (2, 4, 1, 15) 8 ++ (2, 4, 1, 16) 9 ++ (2, 4, 1, 17) 10 ++ (2, 4, 1, 18) 9 ++ (2, 4, 1, 19) 9 ++ (2, 4, 1, 20) 4 ++ (2, 4, 2, 1) 9 ++ (2, 4, 2, 2) 7 ++ (2, 4, 2, 3) 9 ++ (2, 4, 2, 4) 10 ++ (2, 4, 2, 5) 10 ++ (2, 4, 2, 6) 9 ++ (2, 4, 2, 7) 10 ++ (2, 4, 2, 8) 7 ++ (2, 4, 2, 9) 11 ++ (2, 4, 2, 10) 12 ++ (2, 4, 2, 11) 11 ++ (2, 4, 2, 12) 8 ++ (2, 4, 2, 13) 13 ++ (2, 4, 2, 14) 12 ++ (2, 4, 2, 15) 15 ++ (2, 4, 2, 16) 8 ++ (2, 4, 2, 17) 10 ++ (2, 4, 2, 18) 9 ++ (2, 4, 2, 19) 8 ++ (2, 4, 2, 20) 10 ++ (2, 4, 2, 21) 9 ++ (2, 4, 2, 22) 10 ++ (2, 4, 2, 23) 7 ++ (2, 4, 2, 24) 15 ++ (2, 4, 2, 25) 11 ++ (2, 4, 2, 26) 9 ++ (2, 4, 2, 27) 9 ++ (2, 4, 2, 28) 9 ++ (2, 4, 2, 29) 7 ++ (2, 4, 2, 30) 10 ++ (2, 4, 2, 31) 8 ++ (2, 4, 2, 32) 8 ++ (2, 4, 2, 33) 8 ++ (2, 4, 2, 34) 6 ++ (2, 4, 2, 35) 14 ++ (2, 4, 2, 36) 10 ++ (2, 4, 2, 37) 10 ++ (2, 4, 2, 38) 8 ++ (2, 4, 2, 39) 11 ++ (2, 4, 2, 40) 9 ++ (2, 4, 2, 41) 13 ++ (2, 4, 2, 42) 8 ++ (2, 4, 2, 43) 10 ++ (2, 4, 2, 44) 8 ++ (2, 4, 2, 45) 13 ++ (2, 4, 2, 46) 9 ++ (2, 4, 2, 47) 11 ++ (2, 4, 2, 48) 9 ++ (2, 4, 2, 49) 11 ++ (2, 4, 2, 50) 8 ++ (2, 4, 2, 51) 11 ++ (2, 4, 2, 52) 8 ++ (2, 4, 2, 53) 11 ++ (2, 4, 2, 54) 10 ++ (2, 4, 2, 55) 10 ++ (2, 4, 2, 56) 7 ++ (2, 4, 2, 57) 8 ++ (2, 4, 2, 58) 19 ++ (2, 4, 2, 59) 8 ++ (2, 4, 2, 60) 14 ++ (2, 4, 2, 61) 11 ++ (2, 4, 2, 62) 11 +- (2, 4, 2, 68) 1 ++ (2, 4, 3, 1) 9 ++ (2, 4, 3, 2) 13 ++ (2, 4, 3, 3) 12 ++ (2, 4, 3, 4) 8 ++ (2, 4, 3, 5) 11 ++ (2, 4, 3, 6) 10 ++ (2, 4, 3, 7) 10 ++ (2, 4, 3, 8) 9 ++ (2, 4, 3, 9) 10 ++ (2, 4, 3, 10) 16 ++ (2, 4, 3, 11) 12 ++ (2, 4, 3, 12) 10 ++ (2, 4, 3, 13) 11 ++ (2, 4, 3, 14) 9 ++ (2, 4, 3, 15) 10 ++ (2, 4, 3, 16) 9 ++ (2, 4, 3, 17) 7 ++ (2, 4, 3, 18) 10 ++ (2, 4, 3, 19) 10 ++ (2, 4, 3, 20) 7 ++ (2, 4, 3, 21) 11 ++ (2, 4, 3, 22) 10 ++ (2, 4, 3, 23) 12 ++ (2, 4, 3, 24) 13 ++ (2, 4, 3, 25) 8 ++ (2, 4, 3, 26) 13 ++ (2, 4, 3, 27) 8 ++ (2, 4, 3, 28) 9 ++ (2, 4, 3, 29) 7 ++ (2, 4, 3, 30) 12 ++ (2, 4, 3, 31) 6 +- (2, 4, 3, 32) 1 +- (2, 4, 4) 1 ++ (2, 4, 4, 1) 9 ++ (2, 4, 4, 2) 11 ++ (2, 4, 4, 3) 9 ++ (2, 4, 4, 4) 11 ++ (2, 4, 4, 5) 8 ++ (2, 4, 4, 6) 11 ++ (2, 4, 4, 7) 8 ++ (2, 4, 4, 8) 9 ++ (2, 4, 4, 9) 13 ++ (2, 4, 4, 10) 10 ++ (2, 4, 4, 11) 11 ++ (2, 4, 4, 12) 9 ++ (2, 4, 4, 13) 10 ++ (2, 4, 4, 14) 11 ++ (2, 4, 4, 15) 14 ++ (2, 4, 4, 16) 11 ++ (2, 4, 4, 17) 10 ++ (2, 4, 4, 18) 10 ++ (2, 4, 4, 19) 12 ++ (2, 4, 4, 20) 14 ++ (2, 4, 4, 21) 14 ++ (2, 4, 4, 22) 12 +- (2, 4, 4, 23) 4 +- (2, 4, 4, 32) 1 +- (2, 4, 5) 1 ++ (2, 4, 5, 1) 7 ++ (2, 4, 5, 2) 13 ++ (2, 4, 5, 3) 9 ++ (2, 4, 5, 4) 9 ++ (2, 4, 5, 5) 9 ++ (2, 4, 5, 6) 9 ++ (2, 4, 5, 7) 10 ++ (2, 4, 5, 8) 8 ++ (2, 4, 5, 9) 11 ++ (2, 4, 5, 10) 9 ++ (2, 4, 5, 11) 9 ++ (2, 4, 5, 12) 13 ++ (2, 4, 5, 13) 9 ++ (2, 4, 5, 14) 9 ++ (2, 4, 5, 15) 10 ++ (2, 4, 5, 16) 10 ++ (2, 4, 5, 17) 12 ++ (2, 4, 5, 18) 7 ++ (2, 4, 5, 19) 10 ++ (2, 4, 5, 20) 12 ++ (2, 4, 5, 21) 9 ++ (2, 4, 5, 22) 10 ++ (2, 4, 5, 23) 13 ++ (2, 4, 5, 24) 8 ++ (2, 4, 5, 25) 18 ++ (2, 4, 5, 26) 10 ++ (2, 4, 5, 27) 8 ++ (2, 4, 5, 28) 8 ++ (2, 4, 5, 29) 8 ++ (2, 4, 5, 30) 11 ++ (2, 4, 5, 31) 9 ++ (2, 4, 5, 32) 10 ++ (2, 4, 5, 33) 10 ++ (2, 4, 5, 34) 11 ++ (2, 4, 5, 35) 8 +- (2, 4, 12) 1 +- (2, 4, 25) 1 +- (2, 4, 32, 11) 1 +- (2, 4, 37) 1 +- (2, 4, 52) 1 ++ (2, 5, 1) 13 ++ (2, 5, 2) 15 ++ (2, 5, 3) 15 ++ (2, 5, 4) 13 ++ (2, 5, 5) 10 ++ (2, 5, 6) 9 ++ (2, 5, 7) 10 ++ (2, 5, 8) 10 ++ (2, 5, 9) 9 ++ (2, 5, 10) 11 ++ (2, 5, 11) 7 ++ (2, 5, 12) 10 ++ (2, 5, 13) 9 ++ (2, 5, 14) 10 ++ (2, 5, 15) 9 ++ (2, 5, 16) 9 ++ (2, 5, 17) 8 ++ (2, 5, 18) 6 ++ (2, 5, 19) 8 ++ (2, 5, 20) 10 ++ (2, 5, 21) 11 ++ (2, 5, 22) 21 ++ (2, 5, 23) 8 ++ (2, 5, 24) 6 ++ (2, 5, 25) 12 ++ (2, 5, 26) 11 ++ (2, 5, 27) 10 ++ (2, 5, 28) 8 ++ (2, 5, 29) 12 ++ (2, 5, 30) 10 ++ (2, 5, 31) 9 ++ (2, 5, 32) 11 ++ (2, 5, 33) 13 ++ (2, 5, 34) 8 ++ (2, 5, 35) 10 ++ (2, 5, 36) 9 ++ (2, 5, 37) 9 ++ (2, 5, 38) 13 ++ (2, 5, 39) 13 ++ (2, 5, 40) 10 ++ (2, 5, 41) 8 ++ (2, 5, 42) 9 ++ (2, 5, 43) 7 ++ (2, 6, 1, 1) 11 ++ (2, 6, 1, 2) 13 ++ (2, 6, 1, 3) 10 ++ (2, 6, 1, 4) 10 ++ (2, 6, 1, 5) 8 ++ (2, 6, 1, 6) 12 ++ (2, 6, 1, 7) 8 ++ (2, 6, 1, 8) 10 ++ (2, 6, 1, 9) 9 ++ (2, 6, 1, 10) 11 ++ (2, 6, 1, 11) 10 ++ (2, 6, 1, 12) 10 ++ (2, 6, 1, 13) 4 ++ (2, 6, 1, 14) 9 ++ (2, 6, 1, 15) 9 ++ (2, 6, 1, 16) 7 ++ (2, 6, 1, 17) 11 ++ (2, 6, 1, 18) 10 ++ (2, 6, 1, 19) 9 ++ (2, 6, 1, 20) 10 ++ (2, 6, 1, 21) 9 ++ (2, 6, 1, 22) 7 ++ (2, 6, 1, 23) 7 ++ (2, 6, 1, 24) 5 ++ (2, 6, 1, 25) 8 ++ (2, 6, 1, 26) 7 ++ (2, 6, 1, 27) 10 ++ (2, 6, 1, 28) 13 ++ (2, 6, 1, 29) 10 ++ (2, 6, 1, 30) 7 ++ (2, 6, 1, 31) 5 ++ (2, 6, 1, 32) 9 ++ (2, 6, 1, 33) 8 ++ (2, 6, 1, 34) 10 ++ (2, 6, 1, 35) 10 ++ (2, 6, 1, 36) 7 ++ (2, 6, 1, 37) 6 ++ (2, 6, 1, 38) 8 ++ (2, 6, 1, 39) 11 ++ (2, 6, 1, 40) 9 ++ (2, 6, 1, 41) 9 ++ (2, 6, 1, 42) 11 ++ (2, 6, 1, 43) 11 ++ (2, 6, 1, 44) 13 ++ (2, 6, 1, 45) 9 ++ (2, 6, 1, 46) 9 ++ (2, 6, 1, 47) 10 ++ (2, 6, 1, 48) 15 ++ (2, 6, 1, 49) 10 ++ (2, 6, 2, 1) 9 ++ (2, 6, 2, 2) 17 ++ (2, 6, 2, 3) 12 ++ (2, 6, 2, 4) 14 ++ (2, 6, 2, 5) 13 ++ (2, 6, 2, 6) 7 ++ (2, 6, 2, 7) 8 ++ (2, 6, 2, 8) 10 ++ (2, 6, 2, 9) 12 ++ (2, 6, 2, 10) 9 ++ (2, 6, 2, 11) 9 ++ (2, 6, 2, 12) 12 ++ (2, 6, 2, 13) 14 ++ (2, 6, 2, 14) 8 ++ (2, 6, 2, 15) 17 ++ (2, 6, 2, 16) 12 ++ (2, 6, 2, 17) 10 ++ (2, 6, 2, 18) 12 ++ (2, 6, 2, 19) 10 ++ (2, 6, 2, 20) 10 ++ (2, 6, 2, 21) 10 ++ (2, 6, 2, 22) 10 ++ (2, 6, 2, 23) 10 ++ (2, 6, 2, 24) 8 ++ (2, 6, 2, 25) 10 ++ (2, 6, 2, 26) 9 ++ (2, 6, 2, 27) 12 ++ (2, 6, 2, 28) 11 ++ (2, 6, 2, 29) 12 ++ (2, 6, 2, 30) 8 ++ (2, 6, 2, 31) 12 ++ (2, 6, 2, 32) 9 ++ (2, 6, 2, 33) 11 ++ (2, 6, 2, 34) 8 ++ (2, 6, 2, 35) 7 ++ (2, 6, 2, 36) 7 ++ (2, 6, 2, 37) 8 ++ (2, 6, 2, 38) 7 ++ (2, 6, 2, 39) 10 ++ (2, 6, 2, 40) 12 ++ (2, 6, 2, 41) 9 ++ (2, 6, 2, 42) 11 ++ (2, 6, 2, 43) 9 ++ (2, 6, 2, 44) 14 ++ (2, 6, 2, 45) 10 ++ (2, 6, 2, 46) 11 ++ (2, 6, 2, 47) 8 ++ (2, 6, 2, 48) 11 ++ (2, 6, 2, 49) 17 ++ (2, 6, 2, 50) 6 ++ (2, 6, 3, 1) 10 ++ (2, 6, 3, 2) 9 ++ (2, 6, 3, 3) 7 ++ (2, 6, 3, 4) 10 ++ (2, 6, 3, 5) 7 ++ (2, 6, 3, 6) 8 ++ (2, 6, 3, 7) 8 ++ (2, 6, 3, 8) 6 ++ (2, 6, 3, 9) 9 ++ (2, 6, 3, 10) 7 ++ (2, 6, 3, 11) 9 ++ (2, 6, 3, 12) 8 ++ (2, 6, 3, 13) 9 ++ (2, 6, 3, 14) 8 ++ (2, 6, 3, 15) 7 ++ (2, 6, 3, 16) 11 ++ (2, 6, 3, 17) 11 ++ (2, 6, 3, 18) 8 ++ (2, 6, 3, 19) 8 ++ (2, 6, 3, 20) 7 ++ (2, 6, 3, 21) 10 ++ (2, 6, 3, 22) 12 ++ (2, 6, 3, 23) 10 ++ (2, 6, 3, 24) 7 ++ (2, 6, 3, 25) 10 ++ (2, 6, 3, 26) 11 ++ (2, 6, 3, 27) 13 ++ (2, 6, 3, 28) 12 ++ (2, 6, 3, 29) 8 ++ (2, 6, 3, 30) 9 ++ (2, 6, 3, 31) 7 ++ (2, 6, 3, 32) 13 ++ (2, 6, 3, 33) 8 ++ (2, 6, 3, 34) 5 ++ (2, 6, 3, 35) 8 ++ (2, 6, 3, 36) 7 ++ (2, 6, 3, 37) 8 ++ (2, 6, 3, 38) 7 ++ (2, 6, 3, 39) 9 ++ (2, 6, 3, 40) 10 ++ (2, 6, 3, 41) 12 +- (2, 6, 10, 2) 1 +- (2, 6, 31) 1 +- (2, 6, 32) 1 ++ (2, 7, 1) 10 ++ (2, 7, 2) 11 ++ (2, 7, 3) 9 ++ (2, 7, 4) 12 ++ (2, 7, 5) 14 ++ (2, 7, 6) 9 ++ (2, 7, 7) 9 ++ (2, 7, 8) 11 ++ (2, 7, 9) 7 ++ (2, 7, 10) 10 ++ (2, 7, 11) 8 ++ (2, 7, 12) 7 ++ (2, 7, 13) 12 ++ (2, 7, 14) 8 ++ (2, 7, 15) 8 ++ (2, 7, 16) 11 ++ (2, 7, 17) 9 ++ (2, 7, 18) 8 ++ (2, 7, 19) 8 ++ (2, 7, 20) 7 ++ (2, 7, 21) 8 ++ (2, 7, 22) 10 ++ (2, 7, 23) 8 ++ (2, 7, 24) 12 ++ (2, 7, 25) 6 ++ (2, 7, 26) 8 ++ (2, 7, 27) 8 ++ (2, 7, 28) 8 ++ (2, 7, 29) 8 ++ (2, 7, 30) 6 ++ (2, 7, 31) 11 ++ (2, 7, 32) 9 ++ (2, 7, 33) 8 ++ (2, 7, 34) 12 ++ (2, 7, 35) 10 ++ (2, 7, 36) 8 ++ (2, 7, 37) 9 ++ (2, 7, 38) 6 ++ (2, 7, 39) 12 ++ (2, 7, 40) 9 ++ (2, 7, 41) 10 ++ (2, 7, 42) 10 ++ (2, 7, 43) 8 ++ (2, 7, 44) 9 ++ (2, 7, 45) 10 ++ (2, 7, 46) 11 ++ (2, 7, 47) 9 ++ (2, 7, 48) 5 ++ (2, 7, 49) 9 ++ (2, 7, 50) 7 ++ (2, 7, 51) 9 ++ (2, 7, 52) 9 ++ (2, 7, 53) 8 ++ (2, 7, 54) 7 ++ (2, 7, 55) 11 ++ (2, 7, 56) 8 ++ (2, 7, 57) 11 ++ (2, 8, 1, 1) 13 ++ (2, 8, 1, 2) 7 ++ (2, 8, 1, 3) 8 ++ (2, 8, 1, 4) 6 ++ (2, 8, 1, 5) 8 ++ (2, 8, 1, 6) 12 ++ (2, 8, 1, 7) 10 ++ (2, 8, 1, 8) 7 ++ (2, 8, 1, 9) 11 ++ (2, 8, 1, 10) 12 ++ (2, 8, 1, 11) 13 ++ (2, 8, 1, 12) 10 ++ (2, 8, 1, 13) 10 ++ (2, 8, 1, 14) 9 ++ (2, 8, 1, 15) 11 ++ (2, 8, 1, 16) 10 ++ (2, 8, 1, 17) 10 ++ (2, 8, 1, 18) 11 ++ (2, 8, 1, 19) 10 ++ (2, 8, 1, 20) 8 ++ (2, 8, 1, 21) 8 ++ (2, 8, 1, 22) 8 ++ (2, 8, 1, 23) 11 ++ (2, 8, 1, 24) 10 ++ (2, 8, 1, 25) 7 ++ (2, 8, 1, 26) 11 ++ (2, 8, 1, 27) 8 ++ (2, 8, 1, 28) 6 ++ (2, 8, 1, 29) 10 ++ (2, 8, 1, 30) 11 ++ (2, 8, 1, 31) 7 ++ (2, 8, 1, 32) 8 +- (2, 8, 2) 1 ++ (2, 8, 2, 1) 9 ++ (2, 8, 2, 2) 13 ++ (2, 8, 2, 3) 10 ++ (2, 8, 2, 4) 10 ++ (2, 8, 2, 5) 10 ++ (2, 8, 2, 6) 12 ++ (2, 8, 2, 7) 7 ++ (2, 8, 2, 8) 9 ++ (2, 8, 2, 9) 9 ++ (2, 8, 2, 10) 12 ++ (2, 8, 2, 11) 12 ++ (2, 8, 2, 12) 11 ++ (2, 8, 2, 13) 9 ++ (2, 8, 2, 14) 12 ++ (2, 8, 2, 15) 6 ++ (2, 8, 2, 16) 8 ++ (2, 8, 2, 17) 9 ++ (2, 8, 2, 18) 10 ++ (2, 8, 2, 19) 9 ++ (2, 8, 2, 20) 11 ++ (2, 8, 2, 21) 9 ++ (2, 8, 2, 22) 8 ++ (2, 8, 2, 23) 7 ++ (2, 8, 2, 24) 10 ++ (2, 8, 2, 25) 7 ++ (2, 8, 2, 26) 8 ++ (2, 8, 2, 27) 11 ++ (2, 8, 2, 28) 9 ++ (2, 8, 2, 29) 8 ++ (2, 8, 2, 30) 8 ++ (2, 8, 2, 31) 7 ++ (2, 8, 2, 32) 10 ++ (2, 8, 2, 33) 11 ++ (2, 8, 2, 34) 7 ++ (2, 8, 2, 35) 9 ++ (2, 8, 2, 36) 6 ++ (2, 8, 2, 37) 10 ++ (2, 8, 2, 38) 9 ++ (2, 8, 2, 39) 8 ++ (2, 8, 2, 40) 9 ++ (2, 8, 2, 41) 11 ++ (2, 8, 2, 42) 10 ++ (2, 8, 2, 43) 5 ++ (2, 8, 2, 44) 9 ++ (2, 8, 2, 45) 8 ++ (2, 8, 2, 46) 12 ++ (2, 8, 2, 47) 10 ++ (2, 8, 2, 48) 7 ++ (2, 8, 2, 49) 10 ++ (2, 8, 2, 50) 12 ++ (2, 8, 2, 51) 9 ++ (2, 8, 2, 52) 8 ++ (2, 8, 2, 53) 12 ++ (2, 8, 2, 54) 11 ++ (2, 8, 2, 55) 12 ++ (2, 8, 2, 56) 9 ++ (2, 8, 2, 57) 11 ++ (2, 8, 2, 58) 11 ++ (2, 8, 2, 59) 12 ++ (2, 8, 2, 60) 8 ++ (2, 8, 2, 61) 11 ++ (2, 8, 2, 62) 9 ++ (2, 8, 2, 63) 9 ++ (2, 8, 2, 64) 12 ++ (2, 8, 2, 65) 9 ++ (2, 8, 2, 66) 7 ++ (2, 8, 2, 67) 9 ++ (2, 8, 2, 68) 6 ++ (2, 8, 2, 69) 2 ++ (2, 8, 2, 70) 10 ++ (2, 8, 2, 71) 9 ++ (2, 8, 2, 72) 11 ++ (2, 8, 2, 73) 11 ++ (2, 8, 2, 74) 11 ++ (2, 8, 2, 75) 9 ++ (2, 8, 2, 76) 9 ++ (2, 8, 2, 77) 9 ++ (2, 8, 2, 78) 9 ++ (2, 8, 2, 79) 9 ++ (2, 8, 2, 80) 8 ++ (2, 8, 2, 81) 9 ++ (2, 8, 2, 82) 9 ++ (2, 8, 2, 83) 8 ++ (2, 8, 2, 84) 11 ++ (2, 8, 2, 85) 11 ++ (2, 8, 2, 86) 10 ++ (2, 8, 2, 87) 10 ++ (2, 8, 2, 88) 8 +- (2, 8, 3, 64) 1 +- (2, 8, 39) 1 +- (2, 8, 275) 1 ++ (2, 9, 1) 12 ++ (2, 9, 2) 9 ++ (2, 9, 3) 9 ++ (2, 9, 4) 12 ++ (2, 9, 5) 8 ++ (2, 9, 6) 10 ++ (2, 9, 7) 17 ++ (2, 9, 8) 11 ++ (2, 9, 9) 12 ++ (2, 9, 10) 7 ++ (2, 9, 11) 7 ++ (2, 9, 12) 12 ++ (2, 9, 13) 12 ++ (2, 9, 14) 8 ++ (2, 9, 15) 10 ++ (2, 9, 16) 14 ++ (2, 9, 17) 13 ++ (2, 9, 18) 9 ++ (2, 9, 19) 11 ++ (2, 9, 20) 9 ++ (2, 9, 21) 10 ++ (2, 9, 22) 12 ++ (2, 9, 23) 10 ++ (2, 9, 24) 8 ++ (2, 9, 25) 9 ++ (2, 9, 26) 12 ++ (2, 9, 27) 7 ++ (2, 9, 28) 9 ++ (2, 9, 29) 10 ++ (2, 9, 30) 8 ++ (2, 9, 31) 15 ++ (2, 9, 32) 12 ++ (2, 9, 33) 10 ++ (2, 9, 34) 10 ++ (2, 9, 35) 8 ++ (2, 9, 36) 8 ++ (2, 9, 37) 10 ++ (2, 9, 38) 10 ++ (2, 9, 39) 10 ++ (2, 9, 40) 12 ++ (2, 9, 41) 15 ++ (2, 9, 42) 13 ++ (2, 9, 43) 11 ++ (2, 9, 44) 7 ++ (2, 9, 45) 10 ++ (2, 9, 46) 11 ++ (2, 9, 47) 12 ++ (2, 9, 48) 13 ++ (2, 9, 49) 13 ++ (2, 9, 50) 10 ++ (2, 9, 51) 11 ++ (2, 9, 52) 10 ++ (2, 9, 53) 10 ++ (2, 9, 54) 10 ++ (2, 9, 55) 10 ++ (2, 9, 56) 13 ++ (2, 9, 57) 15 ++ (2, 9, 58) 8 ++ (2, 9, 59) 12 ++ (2, 9, 60) 9 ++ (2, 9, 61) 7 ++ (2, 9, 62) 11 ++ (2, 9, 63) 9 ++ (2, 9, 64) 7 ++ (2, 9, 65) 10 ++ (2, 9, 66) 8 ++ (2, 9, 67) 7 ++ (2, 9, 68) 9 ++ (2, 9, 69) 10 ++ (2, 9, 70) 8 ++ (2, 9, 71) 10 ++ (2, 9, 72) 11 ++ (2, 9, 73) 6 ++ (2, 9, 74) 11 ++ (2, 9, 75) 11 ++ (2, 9, 76) 11 ++ (2, 9, 77) 11 ++ (2, 9, 78) 12 ++ (2, 9, 79) 7 ++ (2, 9, 80) 11 ++ (2, 9, 81) 10 ++ (2, 9, 82) 9 ++ (2, 9, 83) 8 ++ (2, 9, 84) 5 ++ (2, 9, 85) 7 ++ (2, 9, 86) 8 ++ (2, 9, 87) 9 ++ (2, 9, 88) 9 ++ (2, 9, 89) 9 ++ (2, 9, 90) 11 ++ (2, 9, 91) 10 ++ (2, 9, 92) 10 ++ (2, 9, 93) 7 ++ (2, 9, 94) 8 ++ (2, 9, 95) 9 ++ (2, 9, 96) 7 ++ (2, 9, 97) 11 ++ (2, 9, 98) 13 ++ (2, 9, 99) 6 ++ (2, 9, 100) 13 ++ (2, 9, 101) 9 ++ (2, 9, 102) 11 ++ (2, 9, 103) 10 ++ (2, 9, 104) 12 ++ (2, 9, 105) 15 ++ (2, 9, 106) 13 ++ (2, 9, 107) 7 ++ (2, 9, 108) 9 ++ (2, 9, 109) 12 ++ (2, 9, 110) 8 ++ (2, 9, 111) 7 ++ (2, 9, 112) 6 ++ (2, 10, 1) 5 ++ (2, 10, 2) 7 ++ (2, 10, 3) 7 ++ (2, 10, 4) 5 ++ (2, 10, 5) 11 ++ (2, 10, 6) 8 ++ (2, 10, 7) 8 ++ (2, 10, 8) 9 ++ (2, 10, 9) 10 ++ (2, 10, 10) 9 ++ (2, 10, 11) 11 ++ (2, 10, 12) 8 ++ (2, 10, 13) 8 ++ (2, 10, 14) 8 ++ (2, 10, 15) 10 ++ (2, 10, 16) 12 ++ (2, 10, 17) 14 ++ (2, 10, 18) 8 ++ (2, 10, 19) 14 ++ (2, 10, 20) 14 ++ (2, 10, 21) 9 ++ (2, 10, 22) 11 ++ (2, 10, 23) 9 ++ (2, 10, 24) 10 ++ (2, 10, 25) 12 ++ (2, 10, 26) 9 ++ (2, 10, 27) 13 ++ (2, 10, 28) 9 ++ (2, 10, 29) 12 ++ (2, 10, 30) 12 ++ (2, 10, 31) 13 ++ (2, 10, 32) 10 ++ (2, 10, 33) 12 ++ (2, 10, 34) 9 ++ (2, 10, 35) 9 ++ (2, 10, 36) 10 ++ (2, 10, 37) 10 ++ (2, 10, 38) 15 ++ (2, 10, 39) 9 ++ (2, 10, 40) 11 ++ (2, 10, 41) 10 ++ (2, 10, 42) 10 ++ (2, 10, 43) 9 ++ (2, 10, 44) 11 ++ (2, 10, 45) 8 ++ (2, 10, 46) 8 ++ (2, 10, 47) 4 +- (2, 24, 8) 1 ++ (3, 1, 1) 0 ++ (3, 1, 2) 0 ++ (3, 1, 3) 12 ++ (3, 1, 4) 10 ++ (3, 1, 5) 8 ++ (3, 1, 6) 11 ++ (3, 1, 7) 10 ++ (3, 1, 8) 11 ++ (3, 1, 9) 13 ++ (3, 1, 10) 11 ++ (3, 1, 11) 9 ++ (3, 1, 12) 4 ++ (3, 1, 13) 9 ++ (3, 1, 14) 9 ++ (3, 1, 15) 10 ++ (3, 1, 16) 10 ++ (3, 1, 17) 9 ++ (3, 1, 18) 8 ++ (3, 1, 19) 10 ++ (3, 1, 20) 9 ++ (3, 1, 21) 8 ++ (3, 1, 22) 11 ++ (3, 1, 23) 10 ++ (3, 1, 24) 13 +- (3, 1, 24, 157) 1 ++ (3, 1, 25) 10 ++ (3, 1, 26) 10 ++ (3, 1, 27) 9 ++ (3, 1, 28) 9 ++ (3, 1, 29) 9 ++ (3, 1, 30) 13 ++ (3, 1, 31) 10 ++ (3, 1, 32) 11 ++ (3, 1, 33) 9 ++ (3, 1, 34) 7 ++ (3, 1, 35) 11 ++ (3, 1, 36) 10 ++ (3, 1, 37) 8 ++ (3, 1, 38) 9 ++ (3, 1, 39) 9 ++ (3, 1, 40) 9 ++ (3, 1, 41) 8 ++ (3, 1, 42) 10 ++ (3, 1, 43) 9 ++ (3, 1, 44) 9 ++ (3, 1, 45) 6 ++ (3, 1, 46) 10 ++ (3, 1, 47) 11 ++ (3, 1, 48) 11 ++ (3, 1, 49) 11 ++ (3, 1, 50) 7 ++ (3, 1, 51) 4 ++ (3, 2, 1) 11 ++ (3, 2, 2) 13 +- (3, 2, 2, 61) 1 +- (3, 2, 2, 62) 2 ++ (3, 2, 3) 14 ++ (3, 2, 4) 11 ++ (3, 2, 5) 12 ++ (3, 2, 6) 11 ++ (3, 2, 7) 13 ++ (3, 2, 8) 9 ++ (3, 2, 9) 9 ++ (3, 2, 10) 13 ++ (3, 2, 11) 13 ++ (3, 2, 12) 10 ++ (3, 2, 13) 9 ++ (3, 2, 14) 14 ++ (3, 2, 15) 12 ++ (3, 2, 16) 10 ++ (3, 2, 17) 9 ++ (3, 2, 18) 10 ++ (3, 2, 19) 11 ++ (3, 2, 20) 13 ++ (3, 2, 21) 11 ++ (3, 2, 22) 8 ++ (3, 2, 23) 9 ++ (3, 2, 24) 10 ++ (3, 2, 25) 11 ++ (3, 2, 26) 10 ++ (3, 2, 27) 11 ++ (3, 2, 28) 8 ++ (3, 2, 29) 7 ++ (3, 2, 30) 11 ++ (3, 2, 31) 11 ++ (3, 2, 32) 12 ++ (3, 2, 33) 9 ++ (3, 2, 34) 9 ++ (3, 2, 35) 13 ++ (3, 2, 36) 10 ++ (3, 2, 37) 10 ++ (3, 2, 38) 12 ++ (3, 2, 39) 12 ++ (3, 2, 40) 11 ++ (3, 2, 41) 13 ++ (3, 2, 42) 11 ++ (3, 2, 43) 10 ++ (3, 2, 44) 11 ++ (3, 2, 45) 8 ++ (3, 2, 46) 13 ++ (3, 2, 47) 10 ++ (3, 2, 48) 12 ++ (3, 2, 49) 13 ++ (3, 2, 50) 12 ++ (3, 2, 51) 9 ++ (3, 2, 52) 11 ++ (3, 2, 53) 13 ++ (3, 2, 54) 11 ++ (3, 2, 55) 12 ++ (3, 2, 56) 11 ++ (3, 2, 57) 13 ++ (3, 2, 58) 12 ++ (3, 2, 59) 12 ++ (3, 2, 60) 14 ++ (3, 2, 61) 8 ++ (3, 2, 62) 9 ++ (3, 3, 1) 9 ++ (3, 3, 2) 14 ++ (3, 3, 3) 12 ++ (3, 3, 4) 10 ++ (3, 3, 5) 11 ++ (3, 3, 6) 10 ++ (3, 3, 7) 10 ++ (3, 3, 8) 16 ++ (3, 3, 9) 17 ++ (3, 3, 10) 17 ++ (3, 3, 11) 15 ++ (3, 3, 12) 14 ++ (3, 3, 13) 10 +- (3, 3, 13, 52) 1 ++ (3, 3, 14) 13 ++ (3, 3, 15) 9 ++ (3, 3, 16) 8 ++ (3, 3, 17) 9 ++ (3, 3, 18) 10 +- (3, 3, 18, 104) 1 +- (3, 3, 18, 118) 1 ++ (3, 3, 19) 11 ++ (3, 3, 20) 9 ++ (3, 3, 21) 10 ++ (3, 3, 22) 8 ++ (3, 3, 23) 9 +- (3, 3, 23, 140) 1 ++ (3, 3, 24) 11 ++ (3, 3, 25) 8 ++ (3, 3, 26) 12 ++ (3, 3, 27) 10 ++ (3, 3, 28) 9 ++ (3, 3, 29) 13 ++ (3, 3, 30) 10 ++ (3, 3, 31) 10 ++ (3, 3, 32) 12 ++ (3, 3, 33) 10 ++ (3, 3, 34) 7 ++ (3, 3, 35) 9 ++ (3, 3, 36) 7 ++ (3, 3, 37) 5 ++ (3, 3, 38) 10 ++ (3, 3, 39) 8 ++ (3, 3, 40) 10 ++ (3, 3, 41) 7 ++ (3, 3, 42) 7 ++ (3, 3, 43) 10 +- (3, 4, 1) 2 ++ (3, 4, 1, 1) 6 ++ (3, 4, 1, 2) 6 ++ (3, 4, 1, 3) 8 ++ (3, 4, 1, 4) 9 ++ (3, 4, 1, 5) 12 ++ (3, 4, 1, 6) 9 ++ (3, 4, 1, 7) 9 ++ (3, 4, 1, 8) 8 ++ (3, 4, 1, 9) 11 ++ (3, 4, 1, 10) 12 ++ (3, 4, 1, 11) 8 ++ (3, 4, 1, 12) 4 ++ (3, 4, 1, 13) 9 ++ (3, 4, 1, 14) 11 ++ (3, 4, 1, 15) 15 ++ (3, 4, 1, 16) 6 ++ (3, 4, 1, 17) 7 ++ (3, 4, 1, 18) 10 +- (3, 4, 2) 2 ++ (3, 4, 2, 19) 12 ++ (3, 4, 2, 20) 3 +- (3, 4, 2, 34) 1 +- (3, 4, 3) 5 ++ (3, 4, 3, 20) 9 ++ (3, 4, 3, 21) 10 ++ (3, 4, 3, 22) 10 ++ (3, 4, 3, 23) 11 ++ (3, 4, 3, 24) 14 ++ (3, 4, 3, 25) 8 ++ (3, 4, 3, 26) 8 ++ (3, 4, 3, 27) 12 +- (3, 4, 4) 2 +- (3, 4, 4, 2) 1 ++ (3, 4, 4, 28) 9 +- (3, 4, 4, 29) 1 +- (3, 4, 5) 1 +- (3, 4, 5, 17) 1 ++ (3, 4, 5, 29) 16 ++ (3, 4, 5, 30) 7 +- (3, 4, 5, 222) 1 +- (3, 4, 6) 1 ++ (3, 4, 6, 31) 11 +- (3, 4, 6, 45) 1 +- (3, 4, 7) 1 +- (3, 4, 7, 22) 1 ++ (3, 4, 7, 32) 13 ++ (3, 4, 7, 33) 8 ++ (3, 4, 7, 34) 7 ++ (3, 4, 8, 35) 7 +- (3, 4, 8, 36) 7 +- (3, 4, 9) 2 ++ (3, 4, 9, 36) 5 ++ (3, 4, 9, 37) 10 ++ (3, 4, 9, 38) 8 ++ (3, 4, 9, 39) 10 ++ (3, 4, 9, 40) 10 ++ (3, 4, 9, 41) 9 +- (3, 4, 9, 42) 7 +- (3, 4, 9, 139) 1 +- (3, 4, 10) 3 ++ (3, 4, 10, 42) 2 ++ (3, 4, 10, 43) 10 +- (3, 4, 10, 44) 3 +- (3, 4, 11) 1 ++ (3, 4, 11, 44) 4 ++ (3, 4, 11, 45) 7 ++ (3, 4, 11, 46) 12 +- (3, 4, 11, 65) 1 +- (3, 4, 12) 4 ++ (3, 4, 12, 47) 10 +- (3, 4, 12, 50) 1 +- (3, 4, 13) 2 ++ (3, 4, 13, 48) 14 ++ (3, 4, 13, 49) 10 ++ (3, 4, 13, 50) 11 ++ (3, 4, 13, 51) 8 ++ (3, 4, 13, 52) 4 ++ (3, 4, 13, 53) 10 ++ (3, 4, 13, 54) 10 ++ (3, 4, 13, 55) 7 ++ (3, 4, 13, 56) 11 ++ (3, 4, 13, 57) 9 ++ (3, 4, 13, 58) 4 ++ (3, 4, 13, 59) 8 +- (3, 4, 14, 28) 1 ++ (3, 4, 14, 60) 10 ++ (3, 4, 14, 61) 6 ++ (3, 4, 14, 62) 12 ++ (3, 4, 14, 63) 12 ++ (3, 4, 14, 64) 7 ++ (3, 4, 14, 65) 7 ++ (3, 4, 14, 66) 9 ++ (3, 4, 14, 67) 10 ++ (3, 4, 14, 68) 6 ++ (3, 4, 14, 69) 13 ++ (3, 4, 14, 70) 9 ++ (3, 4, 14, 71) 9 ++ (3, 4, 14, 72) 6 ++ (3, 4, 14, 73) 12 ++ (3, 4, 14, 74) 7 ++ (3, 4, 14, 75) 8 ++ (3, 4, 14, 76) 9 ++ (3, 4, 14, 77) 10 ++ (3, 4, 14, 78) 10 ++ (3, 4, 14, 79) 9 ++ (3, 4, 14, 80) 9 ++ (3, 4, 14, 81) 10 ++ (3, 4, 14, 82) 9 ++ (3, 4, 14, 83) 9 ++ (3, 4, 14, 84) 8 ++ (3, 4, 14, 85) 15 ++ (3, 4, 14, 86) 7 ++ (3, 4, 14, 87) 8 +- (3, 4, 14, 88) 4 ++ (3, 4, 15, 88) 4 ++ (3, 4, 15, 89) 6 ++ (3, 4, 15, 90) 9 +- (3, 4, 15, 186) 1 +- (3, 4, 16) 6 +- (3, 4, 16, 86) 1 ++ (3, 4, 16, 91) 8 ++ (3, 4, 16, 92) 12 ++ (3, 4, 16, 93) 7 ++ (3, 4, 16, 94) 6 ++ (3, 4, 16, 95) 10 ++ (3, 4, 16, 96) 11 ++ (3, 4, 16, 97) 10 +- (3, 4, 16, 98) 3 +- (3, 4, 16, 202) 1 +- (3, 4, 17) 3 ++ (3, 4, 17, 98) 4 ++ (3, 4, 17, 99) 7 ++ (3, 4, 17, 100) 8 ++ (3, 4, 17, 101) 4 ++ (3, 4, 17, 102) 1 ++ (3, 4, 17, 103) 0 ++ (3, 4, 17, 104) 0 ++ (3, 4, 17, 105) 12 ++ (3, 4, 17, 106) 7 +- (3, 4, 17, 107) 3 +- (3, 4, 17, 209) 2 +- (3, 4, 18, 102) 10 +- (3, 4, 18, 103) 10 +- (3, 4, 18, 104) 10 +- (3, 4, 18, 105) 1 ++ (3, 4, 18, 107) 4 ++ (3, 4, 18, 108) 12 ++ (3, 4, 18, 109) 8 ++ (3, 4, 18, 110) 5 ++ (3, 4, 18, 111) 8 ++ (3, 4, 18, 112) 9 ++ (3, 4, 18, 113) 10 ++ (3, 4, 18, 114) 10 ++ (3, 4, 18, 115) 8 ++ (3, 4, 18, 116) 10 ++ (3, 4, 18, 117) 8 ++ (3, 4, 18, 118) 6 ++ (3, 4, 18, 119) 4 ++ (3, 4, 18, 120) 7 ++ (3, 4, 18, 121) 8 ++ (3, 4, 18, 122) 5 ++ (3, 4, 18, 123) 8 ++ (3, 4, 18, 124) 11 ++ (3, 4, 18, 125) 9 ++ (3, 4, 18, 126) 10 ++ (3, 4, 18, 127) 5 ++ (3, 4, 18, 128) 3 ++ (3, 4, 18, 129) 7 ++ (3, 4, 18, 130) 12 +- (3, 4, 18, 131) 5 +- (3, 4, 18, 147) 1 +- (3, 4, 19) 2 +- (3, 4, 19, 65) 1 ++ (3, 4, 19, 131) 7 ++ (3, 4, 19, 132) 9 ++ (3, 4, 19, 133) 7 ++ (3, 4, 19, 134) 5 +- (3, 4, 20) 2 ++ (3, 4, 20, 134) 0 +- (3, 4, 20, 135) 4 ++ (3, 4, 21, 135) 6 ++ (3, 4, 21, 136) 10 +- (3, 4, 21, 149) 1 +- (3, 4, 21, 152) 1 +- (3, 4, 21, 157) 1 +- (3, 4, 21, 239) 1 +- (3, 4, 21, 240) 1 +- (3, 4, 22) 1 ++ (3, 4, 22, 137) 12 ++ (3, 4, 22, 138) 10 ++ (3, 4, 22, 139) 6 +- (3, 4, 22, 140) 4 +- (3, 4, 22, 142) 2 +- (3, 4, 22, 212) 1 +- (3, 4, 22, 215) 1 +- (3, 4, 22, 229) 1 +- (3, 4, 23) 2 ++ (3, 4, 23, 140) 5 ++ (3, 4, 23, 141) 11 ++ (3, 4, 23, 142) 6 ++ (3, 4, 23, 143) 10 ++ (3, 4, 23, 144) 11 ++ (3, 4, 23, 145) 12 ++ (3, 4, 23, 146) 9 +- (3, 4, 23, 147) 3 +- (3, 4, 24) 1 +- (3, 4, 24, 28) 1 ++ (3, 4, 24, 147) 5 ++ (3, 4, 24, 148) 9 ++ (3, 4, 24, 149) 9 ++ (3, 4, 24, 150) 6 ++ (3, 4, 24, 151) 8 ++ (3, 4, 24, 152) 4 ++ (3, 4, 24, 153) 9 ++ (3, 4, 24, 154) 6 ++ (3, 4, 24, 155) 9 ++ (3, 4, 24, 156) 9 ++ (3, 4, 24, 157) 9 ++ (3, 4, 24, 158) 6 ++ (3, 4, 24, 159) 10 ++ (3, 4, 24, 160) 11 ++ (3, 4, 24, 161) 9 ++ (3, 4, 24, 162) 6 +- (3, 4, 24, 163) 5 +- (3, 4, 24, 175) 1 +- (3, 4, 25) 3 +- (3, 4, 25, 156) 1 ++ (3, 4, 25, 163) 5 ++ (3, 4, 25, 164) 9 ++ (3, 4, 25, 165) 7 ++ (3, 4, 25, 166) 11 ++ (3, 4, 25, 167) 8 ++ (3, 4, 25, 168) 9 ++ (3, 4, 25, 169) 9 ++ (3, 4, 25, 170) 5 ++ (3, 4, 25, 171) 9 ++ (3, 4, 25, 172) 8 ++ (3, 4, 25, 173) 8 ++ (3, 4, 25, 174) 8 ++ (3, 4, 25, 175) 8 ++ (3, 4, 25, 176) 4 ++ (3, 4, 25, 177) 11 ++ (3, 4, 25, 178) 3 ++ (3, 4, 25, 179) 12 ++ (3, 4, 25, 180) 5 ++ (3, 4, 25, 181) 12 ++ (3, 4, 25, 182) 10 ++ (3, 4, 25, 183) 4 ++ (3, 4, 25, 184) 8 ++ (3, 4, 25, 185) 10 ++ (3, 4, 25, 186) 12 ++ (3, 4, 25, 187) 8 ++ (3, 4, 25, 188) 10 ++ (3, 4, 25, 189) 5 ++ (3, 4, 25, 190) 8 ++ (3, 4, 25, 191) 5 ++ (3, 4, 25, 192) 2 ++ (3, 4, 25, 193) 9 ++ (3, 4, 25, 194) 9 +- (3, 4, 26) 1 +- (3, 4, 26, 97) 1 ++ (3, 4, 26, 194) 0 ++ (3, 4, 26, 195) 10 ++ (3, 4, 26, 196) 8 ++ (3, 4, 26, 197) 15 ++ (3, 4, 26, 198) 8 ++ (3, 4, 26, 199) 13 ++ (3, 4, 26, 200) 4 ++ (3, 4, 26, 201) 10 ++ (3, 4, 26, 202) 11 ++ (3, 4, 26, 203) 13 ++ (3, 4, 26, 204) 8 ++ (3, 4, 26, 205) 9 ++ (3, 4, 26, 206) 8 ++ (3, 4, 26, 207) 13 ++ (3, 4, 27, 208) 10 ++ (3, 4, 27, 209) 5 ++ (3, 4, 27, 210) 9 ++ (3, 4, 27, 211) 3 ++ (3, 4, 27, 212) 5 ++ (3, 4, 27, 213) 9 ++ (3, 4, 27, 214) 10 ++ (3, 4, 27, 215) 11 +- (3, 4, 28) 6 ++ (3, 4, 28, 216) 13 ++ (3, 4, 28, 217) 6 ++ (3, 4, 28, 218) 5 ++ (3, 4, 28, 219) 8 +- (3, 4, 28, 220) 3 +- (3, 4, 29) 2 +- (3, 4, 29, 132) 1 ++ (3, 4, 29, 220) 3 ++ (3, 4, 29, 221) 7 ++ (3, 4, 29, 222) 10 ++ (3, 4, 29, 223) 10 ++ (3, 4, 29, 224) 6 ++ (3, 4, 29, 225) 5 ++ (3, 4, 29, 226) 10 ++ (3, 4, 29, 227) 7 +- (3, 4, 30) 3 +- (3, 4, 30, 225) 1 ++ (3, 4, 30, 228) 9 ++ (3, 4, 30, 229) 11 ++ (3, 4, 30, 230) 8 ++ (3, 4, 30, 231) 5 ++ (3, 4, 30, 232) 9 ++ (3, 4, 30, 233) 12 ++ (3, 4, 30, 234) 13 ++ (3, 4, 30, 235) 5 ++ (3, 4, 30, 236) 1 ++ (3, 4, 30, 237) 6 +- (3, 4, 31) 3 +- (3, 4, 31, 235) 2 +- (3, 4, 31, 236) 6 +- (3, 4, 31, 237) 1 ++ (3, 4, 31, 238) 8 ++ (3, 4, 31, 239) 10 ++ (3, 4, 31, 240) 6 ++ (3, 4, 31, 241) 2 +- (3, 4, 32) 11 ++ (3, 4, 32, 1) 2 ++ (3, 4, 32, 2) 2 ++ (3, 4, 32, 3) 1 ++ (3, 4, 32, 4) 2 ++ (3, 4, 32, 5) 2 ++ (3, 4, 32, 6) 2 ++ (3, 4, 32, 7) 4 ++ (3, 4, 32, 8) 2 ++ (3, 4, 32, 9) 0 ++ (3, 4, 32, 10) 1 ++ (3, 4, 32, 11) 1 ++ (3, 4, 32, 12) 4 ++ (3, 4, 32, 13) 4 ++ (3, 4, 32, 14) 0 ++ (3, 4, 32, 15) 4 ++ (3, 4, 32, 16) 1 ++ (3, 4, 32, 17) 3 ++ (3, 4, 32, 18) 3 +- (3, 4, 33) 1 +- (3, 4, 34) 4 +- (3, 4, 34, 155) 1 +- (3, 4, 35) 1 +- (3, 4, 38) 3 +- (3, 4, 39) 3 +- (3, 4, 40) 3 +- (3, 4, 41) 3 +- (3, 4, 42) 1 +- (3, 4, 43) 3 +- (3, 4, 44) 1 +- (3, 4, 45) 3 +- (3, 4, 46) 3 +- (3, 4, 47) 2 +- (3, 4, 50) 2 +- (3, 4, 52) 4 +- (3, 4, 55) 1 +- (3, 4, 56) 2 +- (3, 4, 58) 3 +- (3, 4, 59) 5 +- (3, 4, 60) 1 +- (3, 4, 61) 1 +- (3, 4, 62) 1 +- (3, 4, 64) 3 +- (3, 4, 66) 1 +- (3, 4, 67) 1 +- (3, 4, 68) 1 +- (3, 4, 70) 2 +- (3, 4, 71) 3 +- (3, 4, 73) 1 +- (3, 4, 74) 3 +- (3, 4, 76) 2 +- (3, 4, 78) 1 +- (3, 4, 80) 3 +- (3, 4, 81) 1 +- (3, 4, 82) 2 +- (3, 4, 83) 3 +- (3, 4, 84) 5 +- (3, 4, 85) 1 +- (3, 4, 86) 1 +- (3, 4, 87) 2 +- (3, 4, 88) 8 +- (3, 4, 89) 2 +- (3, 4, 90) 3 +- (3, 4, 91) 2 +- (3, 4, 92) 1 +- (3, 4, 93) 2 +- (3, 4, 94) 3 +- (3, 4, 95) 1 +- (3, 4, 96) 3 +- (3, 4, 97) 3 +- (3, 4, 98) 4 +- (3, 4, 100) 3 +- (3, 4, 101) 4 +- (3, 4, 102) 2 +- (3, 4, 104) 1 +- (3, 4, 105) 1 +- (3, 4, 106) 2 +- (3, 4, 107) 1 +- (3, 4, 108) 1 +- (3, 4, 109) 1 +- (3, 4, 110) 3 +- (3, 4, 111) 1 +- (3, 4, 112) 5 +- (3, 4, 113) 2 +- (3, 4, 114) 1 +- (3, 4, 115) 1 +- (3, 4, 116) 1 +- (3, 4, 117) 1 +- (3, 4, 118) 3 +- (3, 4, 119) 3 +- (3, 4, 120) 3 +- (3, 4, 122) 3 +- (3, 4, 123) 1 +- (3, 4, 124) 1 +- (3, 4, 127) 2 +- (3, 4, 128) 6 +- (3, 4, 130) 1 +- (3, 4, 133) 1 +- (3, 4, 134) 4 +- (3, 4, 135) 1 +- (3, 4, 136) 2 +- (3, 4, 140) 1 +- (3, 4, 141) 3 +- (3, 4, 142) 4 +- (3, 4, 146) 2 +- (3, 4, 147) 1 +- (3, 4, 148) 2 +- (3, 4, 149) 1 +- (3, 4, 150) 3 +- (3, 4, 151) 3 +- (3, 4, 152) 5 +- (3, 4, 153) 1 +- (3, 4, 155) 1 +- (3, 4, 156) 2 +- (3, 4, 158) 2 +- (3, 4, 159) 1 +- (3, 4, 161) 2 +- (3, 4, 162) 4 +- (3, 4, 163) 1 +- (3, 4, 164) 3 +- (3, 4, 165) 3 +- (3, 4, 166) 1 +- (3, 4, 169) 1 +- (3, 4, 170) 4 +- (3, 4, 171) 2 +- (3, 4, 172) 1 +- (3, 4, 178) 6 +- (3, 4, 179) 2 +- (3, 4, 180) 2 +- (3, 4, 181) 1 +- (3, 4, 183) 4 +- (3, 4, 184) 1 +- (3, 4, 185) 7 +- (3, 4, 186) 1 +- (3, 4, 187) 2 +- (3, 4, 189) 16 +- (3, 4, 191) 3 +- (3, 4, 192) 7 +- (3, 4, 193) 2 +- (3, 4, 194) 4 +- (3, 4, 197) 1 +- (3, 4, 199) 2 +- (3, 4, 200) 3 +- (3, 4, 201) 1 +- (3, 4, 202) 2 +- (3, 4, 204) 3 +- (3, 4, 209) 4 +- (3, 4, 210) 2 +- (3, 4, 211) 7 +- (3, 4, 212) 1 +- (3, 4, 213) 1 +- (3, 4, 214) 1 +- (3, 4, 216) 1 +- (3, 4, 217) 1 +- (3, 4, 218) 6 +- (3, 4, 220) 2 +- (3, 4, 221) 3 +- (3, 4, 222) 1 +- (3, 4, 223) 4 +- (3, 4, 224) 8 +- (3, 4, 225) 2 +- (3, 4, 226) 2 +- (3, 4, 227) 5 +- (3, 4, 228) 1 +- (3, 4, 229) 2 +- (3, 4, 230) 3 +- (3, 4, 231) 2 +- (3, 4, 232) 1 +- (3, 4, 235) 3 +- (3, 4, 236) 1 +- (3, 4, 237) 3 +- (3, 4, 238) 3 +- (3, 4, 239) 1 +- (3, 4, 240) 3 +- (3, 4, 241) 1 +- (3, 4, 423) 1 ++ (3, 5, 1) 9 ++ (3, 5, 2) 13 ++ (3, 5, 3) 13 ++ (3, 5, 4) 13 ++ (3, 5, 5) 14 ++ (3, 5, 6) 7 ++ (3, 5, 7) 15 ++ (3, 5, 8) 13 ++ (3, 5, 9) 13 ++ (3, 5, 10) 11 ++ (3, 5, 11) 15 ++ (3, 5, 12) 11 ++ (3, 5, 13) 10 ++ (3, 5, 14) 8 ++ (3, 5, 15) 10 ++ (3, 5, 16) 9 ++ (3, 5, 17) 12 ++ (3, 5, 18) 14 ++ (3, 5, 19) 10 ++ (3, 5, 20) 8 ++ (3, 5, 21) 10 ++ (3, 5, 22) 13 ++ (3, 5, 23) 9 ++ (3, 6, 1, 1) 0 ++ (3, 6, 1, 2) 2 ++ (3, 6, 1, 3) 6 ++ (3, 6, 1, 4) 2 ++ (3, 6, 1, 5) 5 ++ (3, 6, 1, 6) 5 ++ (3, 6, 1, 7) 7 ++ (3, 6, 1, 8) 11 ++ (3, 6, 1, 9) 12 ++ (3, 6, 1, 10) 13 +- (3, 6, 1, 15) 1 +- (3, 6, 1, 22) 1 ++ (3, 6, 2, 11) 3 ++ (3, 6, 2, 12) 5 ++ (3, 6, 2, 13) 6 ++ (3, 6, 2, 14) 2 ++ (3, 6, 2, 15) 2 ++ (3, 6, 2, 16) 5 ++ (3, 6, 2, 17) 11 ++ (3, 6, 2, 18) 17 ++ (3, 6, 2, 19) 11 ++ (3, 6, 2, 20) 14 ++ (3, 6, 2, 21) 9 +- (3, 6, 3) 1 ++ (3, 6, 3, 22) 12 ++ (3, 6, 3, 23) 10 ++ (3, 6, 3, 24) 5 ++ (3, 6, 3, 25) 6 ++ (3, 6, 3, 26) 7 ++ (3, 6, 3, 27) 6 ++ (3, 6, 3, 28) 6 ++ (3, 6, 3, 29) 3 ++ (3, 6, 3, 30) 9 ++ (3, 6, 3, 31) 14 +- (3, 6, 3, 32) 5 ++ (3, 6, 4, 32) 3 ++ (3, 6, 4, 33) 14 ++ (3, 6, 4, 34) 14 ++ (3, 6, 4, 35) 15 ++ (3, 6, 4, 36) 3 +- (3, 6, 5, 1) 1 ++ (3, 6, 5, 37) 6 ++ (3, 6, 5, 38) 15 ++ (3, 6, 6, 39) 7 ++ (3, 6, 6, 40) 10 ++ (3, 6, 6, 41) 1 +- (3, 6, 7) 1 ++ (3, 6, 7, 41) 0 +- (3, 6, 7, 42) 10 +- (3, 6, 8) 2 ++ (3, 6, 8, 42) 3 ++ (3, 6, 8, 43) 6 ++ (3, 6, 8, 44) 4 ++ (3, 6, 8, 45) 7 ++ (3, 6, 8, 46) 8 +- (3, 6, 9) 3 +- (3, 6, 10) 1 +- (3, 6, 11) 1 +- (3, 6, 12) 2 +- (3, 6, 14) 1 +- (3, 6, 16) 1 +- (3, 6, 17) 1 +- (3, 6, 19) 3 +- (3, 6, 21) 1 +- (3, 6, 22) 1 +- (3, 6, 23) 1 +- (3, 6, 24) 1 +- (3, 6, 25) 3 +- (3, 6, 26) 2 +- (3, 6, 27) 1 +- (3, 6, 28) 3 +- (3, 6, 29) 1 +- (3, 6, 30) 2 +- (3, 6, 32) 1 +- (3, 6, 33) 3 +- (3, 6, 34) 2 +- (3, 6, 35) 1 +- (3, 6, 37) 2 +- (3, 6, 41) 3 +- (3, 6, 43) 4 +- (3, 6, 44) 2 +- (6, 2, 2, 26) 1 +- (11, 8, 14) 1 diff --git a/pwg_ls2/ak/readme.txt b/pwg_ls2/ak/readme.txt index f0a11bd..090d06e 100644 --- a/pwg_ls2/ak/readme.txt +++ b/pwg_ls2/ak/readme.txt @@ -783,9 +783,36 @@ python lsextract_all.py temp_pwg_1.txt temp_bib.txt lsextract_pwg_1.txt ------------------------------------------------------------ ------------------------------------------------------------ ------------------------------------------------------------ - - - - - +https://archive.org/details/amarakochaouvoca01amaruoft/ +LOISELEUR DESLONGCHAMPS + This may be the 'nach der Ausgabe von COLEBROOKE und LOISELEUR' mentioned + as the source for 'AK.' +VOCABULAIRE D'AMARASINHA, A. LOISELEUR DESLONGCHAMPS, + PREMIERE PARTIE, + M DCCC XXXIX (1839) + +ak_index_ld.txt like ak_index.txt, but for the LD version. +python ak_index_verses.py ak_index_ld.txt ak_index_ld_verses_set.py + +# cp ak_verse_list.py ak_verse_ld_list.py +# ak_verse_ld uses ak_index_ld_verses_set.py +python ak_verse_ld_list.py temp_pwg_1.txt ak_verse_ld_list.txt + +511 matches for "^-" in buffer: ak_verse_list.txt +306 matches for "^-" in buffer: ak_verse_ld_list.txt + +This comparison provides support for contention that +the LD version should be preferred as a link target. +However, there are still 306 PWG references which +do not correspond to a verse in LD. + +The next comparison is puzzling: +263 matches for "\+ (3, 4," in buffer: ak_verse_list.txt +262 matches for "\+ (3, 4," in buffer: ak_verse_ld_list.txt + +442 matches for "\- (3, 4," in buffer: ak_verse_list.txt +234 matches for "\- (3, 4," in buffer: ak_verse_ld_list.txt +This shows that about 200 additional (3, 4, ...) of PWG are + recognized by LD version. + *****************************************************