diff --git a/pwg_ls2/ak/ak_verse_list.txt b/pwg_ls2/ak/ak_verse_list.txt
new file mode 100644
index 0000000..033f518
--- /dev/null
+++ b/pwg_ls2/ak/ak_verse_list.txt
@@ -0,0 +1,2016 @@
+; =======================================================
+; temp_ak_verse_list.txt (2013)
+; =======================================================
++ (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, 10, 45) 0
++ (3, 4, 10, 46) 0
+- (3, 4, 11) 1
+- (3, 4, 11, 44) 4
+- (3, 4, 11, 45) 7
+- (3, 4, 11, 46) 12
++ (3, 4, 11, 47) 0
++ (3, 4, 11, 48) 0
++ (3, 4, 11, 49) 0
++ (3, 4, 11, 50) 0
++ (3, 4, 11, 51) 0
++ (3, 4, 11, 52) 0
++ (3, 4, 11, 53) 0
++ (3, 4, 11, 54) 0
++ (3, 4, 11, 55) 0
++ (3, 4, 11, 56) 0
++ (3, 4, 11, 57) 0
++ (3, 4, 11, 58) 0
++ (3, 4, 11, 59) 0
+- (3, 4, 11, 65) 1
+- (3, 4, 12) 4
+- (3, 4, 12, 47) 10
+- (3, 4, 12, 50) 1
++ (3, 4, 12, 60) 0
++ (3, 4, 12, 61) 0
++ (3, 4, 12, 62) 0
++ (3, 4, 12, 63) 0
++ (3, 4, 12, 64) 0
++ (3, 4, 12, 65) 0
++ (3, 4, 12, 66) 0
++ (3, 4, 12, 67) 0
++ (3, 4, 12, 68) 0
++ (3, 4, 12, 69) 0
++ (3, 4, 12, 70) 0
++ (3, 4, 12, 71) 0
++ (3, 4, 12, 72) 0
++ (3, 4, 12, 73) 0
++ (3, 4, 12, 74) 0
++ (3, 4, 12, 75) 0
++ (3, 4, 12, 76) 0
++ (3, 4, 12, 77) 0
++ (3, 4, 12, 78) 0
++ (3, 4, 12, 79) 0
++ (3, 4, 12, 80) 0
++ (3, 4, 12, 81) 0
++ (3, 4, 12, 82) 0
++ (3, 4, 12, 83) 0
++ (3, 4, 12, 84) 0
++ (3, 4, 12, 85) 0
++ (3, 4, 12, 86) 0
++ (3, 4, 12, 87) 0
++ (3, 4, 12, 88) 0
+- (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, 13, 89) 0
++ (3, 4, 13, 90) 0
+- (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, 14, 91) 0
++ (3, 4, 14, 92) 0
++ (3, 4, 14, 93) 0
++ (3, 4, 14, 94) 0
++ (3, 4, 14, 95) 0
++ (3, 4, 14, 96) 0
++ (3, 4, 14, 97) 0
++ (3, 4, 14, 98) 0
+- (3, 4, 15, 88) 4
+- (3, 4, 15, 89) 6
+- (3, 4, 15, 90) 9
++ (3, 4, 15, 99) 0
++ (3, 4, 15, 100) 0
++ (3, 4, 15, 101) 0
++ (3, 4, 15, 102) 0
++ (3, 4, 15, 103) 0
++ (3, 4, 15, 104) 0
++ (3, 4, 15, 105) 0
++ (3, 4, 15, 106) 0
++ (3, 4, 15, 107) 0
+- (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, 108) 0
++ (3, 4, 16, 109) 0
++ (3, 4, 16, 110) 0
++ (3, 4, 16, 111) 0
++ (3, 4, 16, 112) 0
++ (3, 4, 16, 113) 0
++ (3, 4, 16, 114) 0
++ (3, 4, 16, 115) 0
++ (3, 4, 16, 116) 0
++ (3, 4, 16, 117) 0
++ (3, 4, 16, 118) 0
++ (3, 4, 16, 119) 0
++ (3, 4, 16, 120) 0
++ (3, 4, 16, 121) 0
++ (3, 4, 16, 122) 0
++ (3, 4, 16, 123) 0
++ (3, 4, 16, 124) 0
++ (3, 4, 16, 125) 0
++ (3, 4, 16, 126) 0
++ (3, 4, 16, 127) 0
++ (3, 4, 16, 128) 0
++ (3, 4, 16, 129) 0
++ (3, 4, 16, 130) 0
++ (3, 4, 16, 131) 0
+- (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, 105) 12
+- (3, 4, 17, 106) 7
+- (3, 4, 17, 107) 3
++ (3, 4, 17, 132) 0
++ (3, 4, 17, 133) 0
++ (3, 4, 17, 134) 0
+- (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, 135) 0
+- (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, 19, 136) 0
++ (3, 4, 19, 137) 0
++ (3, 4, 19, 138) 0
++ (3, 4, 19, 139) 0
++ (3, 4, 19, 140) 0
++ (3, 4, 19, 141) 0
++ (3, 4, 19, 142) 0
++ (3, 4, 19, 143) 0
++ (3, 4, 19, 144) 0
++ (3, 4, 19, 145) 0
++ (3, 4, 19, 146) 0
++ (3, 4, 19, 147) 0
+- (3, 4, 20) 2
+- (3, 4, 20, 135) 4
++ (3, 4, 20, 148) 0
++ (3, 4, 20, 149) 0
++ (3, 4, 20, 150) 0
++ (3, 4, 20, 151) 0
++ (3, 4, 20, 152) 0
++ (3, 4, 20, 153) 0
++ (3, 4, 20, 154) 0
++ (3, 4, 20, 155) 0
++ (3, 4, 20, 156) 0
++ (3, 4, 20, 157) 0
++ (3, 4, 20, 158) 0
++ (3, 4, 20, 159) 0
++ (3, 4, 20, 160) 0
++ (3, 4, 20, 161) 0
++ (3, 4, 20, 162) 0
++ (3, 4, 20, 163) 0
+- (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, 164) 0
++ (3, 4, 21, 165) 0
++ (3, 4, 21, 166) 0
++ (3, 4, 21, 167) 0
++ (3, 4, 21, 168) 0
++ (3, 4, 21, 169) 0
++ (3, 4, 21, 170) 0
++ (3, 4, 21, 171) 0
++ (3, 4, 21, 172) 0
++ (3, 4, 21, 173) 0
++ (3, 4, 21, 174) 0
++ (3, 4, 21, 175) 0
++ (3, 4, 21, 176) 0
++ (3, 4, 21, 177) 0
++ (3, 4, 21, 178) 0
++ (3, 4, 21, 179) 0
++ (3, 4, 21, 180) 0
++ (3, 4, 21, 181) 0
++ (3, 4, 21, 182) 0
++ (3, 4, 21, 183) 0
++ (3, 4, 21, 184) 0
++ (3, 4, 21, 185) 0
++ (3, 4, 21, 186) 0
++ (3, 4, 21, 187) 0
++ (3, 4, 21, 188) 0
++ (3, 4, 21, 189) 0
++ (3, 4, 21, 190) 0
++ (3, 4, 21, 191) 0
++ (3, 4, 21, 192) 0
++ (3, 4, 21, 193) 0
++ (3, 4, 21, 194) 0
+- (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, 195) 0
++ (3, 4, 22, 196) 0
++ (3, 4, 22, 197) 0
++ (3, 4, 22, 198) 0
++ (3, 4, 22, 199) 0
++ (3, 4, 22, 200) 0
++ (3, 4, 22, 201) 0
++ (3, 4, 22, 202) 0
++ (3, 4, 22, 203) 0
++ (3, 4, 22, 204) 0
++ (3, 4, 22, 205) 0
++ (3, 4, 22, 206) 0
++ (3, 4, 22, 207) 0
+- (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, 23, 208) 0
++ (3, 4, 23, 209) 0
++ (3, 4, 23, 210) 0
++ (3, 4, 23, 211) 0
++ (3, 4, 23, 212) 0
++ (3, 4, 23, 213) 0
++ (3, 4, 23, 214) 0
++ (3, 4, 23, 215) 0
+- (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, 24, 216) 0
++ (3, 4, 24, 217) 0
++ (3, 4, 24, 218) 0
++ (3, 4, 24, 219) 0
++ (3, 4, 24, 220) 0
+- (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, 25, 221) 0
++ (3, 4, 25, 222) 0
++ (3, 4, 25, 223) 0
++ (3, 4, 25, 224) 0
++ (3, 4, 25, 225) 0
++ (3, 4, 25, 226) 0
++ (3, 4, 25, 227) 0
+- (3, 4, 26) 1
+- (3, 4, 26, 97) 1
+- (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, 26, 228) 0
++ (3, 4, 26, 229) 0
++ (3, 4, 26, 230) 0
++ (3, 4, 26, 231) 0
++ (3, 4, 26, 232) 0
++ (3, 4, 26, 233) 0
++ (3, 4, 26, 234) 0
++ (3, 4, 26, 235) 0
++ (3, 4, 26, 236) 0
++ (3, 4, 26, 237) 0
+- (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, 27, 238) 0
++ (3, 4, 27, 239) 0
++ (3, 4, 27, 240) 0
++ (3, 4, 27, 241) 0
+- (3, 4, 28) 6
++ (3, 4, 28, 1) 0
++ (3, 4, 28, 2) 0
++ (3, 4, 28, 3) 0
++ (3, 4, 28, 4) 0
++ (3, 4, 28, 5) 0
++ (3, 4, 28, 6) 0
++ (3, 4, 28, 7) 0
++ (3, 4, 28, 8) 0
++ (3, 4, 28, 9) 0
++ (3, 4, 28, 10) 0
++ (3, 4, 28, 11) 0
++ (3, 4, 28, 12) 0
++ (3, 4, 28, 13) 0
++ (3, 4, 28, 14) 0
++ (3, 4, 28, 15) 0
++ (3, 4, 28, 16) 0
++ (3, 4, 28, 17) 0
++ (3, 4, 28, 18) 0
+- (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, 10) 1
+- (3, 4, 32, 11) 1
+- (3, 4, 32, 12) 4
+- (3, 4, 32, 13) 4
+- (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, 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, 8, 47) 0
+- (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