Spaces:
Sleeping
Sleeping
lawrencewu
commited on
Commit
•
3cff39a
1
Parent(s):
5a0319a
migrate to huggingface
Browse files- .gitignore +3 -0
- .ragatouille/colbert/indexes/.DS_Store +0 -0
- .ragatouille/colbert/indexes/ESV/.DS_Store +0 -0
- .ragatouille/colbert/indexes/ESV/0.codes.pt +3 -0
- .ragatouille/colbert/indexes/ESV/0.metadata.json +6 -0
- .ragatouille/colbert/indexes/ESV/0.residuals.pt +3 -0
- .ragatouille/colbert/indexes/ESV/1.codes.pt +3 -0
- .ragatouille/colbert/indexes/ESV/1.metadata.json +6 -0
- .ragatouille/colbert/indexes/ESV/1.residuals.pt +3 -0
- .ragatouille/colbert/indexes/ESV/avg_residual.pt +3 -0
- .ragatouille/colbert/indexes/ESV/buckets.pt +3 -0
- .ragatouille/colbert/indexes/ESV/centroids.pt +3 -0
- .ragatouille/colbert/indexes/ESV/collection.json +0 -0
- .ragatouille/colbert/indexes/ESV/doclens.0.json +1 -0
- .ragatouille/colbert/indexes/ESV/doclens.1.json +1 -0
- .ragatouille/colbert/indexes/ESV/ivf.pid.pt +3 -0
- .ragatouille/colbert/indexes/ESV/metadata.json +64 -0
- .ragatouille/colbert/indexes/ESV/pid_docid_map.json +0 -0
- .ragatouille/colbert/indexes/ESV/plan.json +64 -0
- README.md +20 -12
- app.py +54 -0
- requirements.txt +7 -0
.gitignore
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
.DS_Store
|
2 |
+
.env
|
3 |
+
.streamlit/secrets.toml
|
.ragatouille/colbert/indexes/.DS_Store
ADDED
Binary file (8.2 kB). View file
|
|
.ragatouille/colbert/indexes/ESV/.DS_Store
ADDED
Binary file (6.15 kB). View file
|
|
.ragatouille/colbert/indexes/ESV/0.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:42dedf695ccc4f6306bae7497ac06fc6290fd16469cafc3afe1065aabcf26875
|
3 |
+
size 2115036
|
.ragatouille/colbert/indexes/ESV/0.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 0,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 528479,
|
5 |
+
"embedding_offset": 0
|
6 |
+
}
|
.ragatouille/colbert/indexes/ESV/0.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:038f070ab11af85897730c669f67697d2466eeaba5d88400c2fb37793a93c382
|
3 |
+
size 16912496
|
.ragatouille/colbert/indexes/ESV/1.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:896bc7240e567cfa20b090cea50440a41a2cc0d5a385477d716496a708eb624d
|
3 |
+
size 1717788
|
.ragatouille/colbert/indexes/ESV/1.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 25000,
|
3 |
+
"num_passages": 20778,
|
4 |
+
"num_embeddings": 429159,
|
5 |
+
"embedding_offset": 528479
|
6 |
+
}
|
.ragatouille/colbert/indexes/ESV/1.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:c19b347b9297b14e67f40dc813951b930f71cc2e761df5ba01320c282c5a422f
|
3 |
+
size 13734256
|
.ragatouille/colbert/indexes/ESV/avg_residual.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:69889e683bb36760c5aca4a0b6fe1e3de7ae8111b3695bd0d0aa1895041e7284
|
3 |
+
size 1205
|
.ragatouille/colbert/indexes/ESV/buckets.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:a64d86c384c19ed889cb7885289d4732671b290b9286805ffa8abbd09700bcfc
|
3 |
+
size 1432
|
.ragatouille/colbert/indexes/ESV/centroids.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:06aaeeace2e0d6f6aa3f1718ed3897ba6981629069bd81ba4b8139ffc9f0f33c
|
3 |
+
size 2098342
|
.ragatouille/colbert/indexes/ESV/collection.json
ADDED
The diff for this file is too large to render.
See raw diff
|
|
.ragatouille/colbert/indexes/ESV/doclens.0.json
ADDED
@@ -0,0 +1 @@
|
|
|
|
|
1 |
+
[18,27,17,24,41,24,41,29,39,31,30,29,42,26,32,26,32,36,19,33,32,20,23,28,26,17,23,47,40,32,14,21,15,24,30,22,27,29,30,25,26,35,27,21,39,14,25,32,39,14,24,28,23,13,33,33,17,14,20,40,17,50,21,42,24,36,25,22,14,25,31,14,31,25,29,25,22,36,33,16,15,43,23,27,11,24,19,35,31,45,24,25,29,31,24,22,35,27,28,21,6,11,13,16,21,28,14,13,26,25,21,23,18,18,14,32,23,24,14,9,9,9,11,9,8,11,12,7,32,28,28,36,30,19,45,41,42,24,48,52,8,31,39,27,14,23,32,22,20,26,22,37,25,34,32,30,26,24,26,21,23,24,23,47,24,24,37,31,23,21,41,36,33,43,36,26,36,7,13,9,33,24,30,41,21,14,39,39,20,22,25,17,34,34,16,25,20,40,32,36,35,28,13,26,19,29,33,49,18,32,32,17,42,28,15,40,22,17,26,30,24,16,12,32,15,29,25,38,18,34,38,25,22,22,19,22,22,21,30,36,31,16,27,47,45,17,44,32,38,23,28,49,25,27,18,35,38,48,52,26,41,26,40,38,16,40,16,22,47,32,10,8,26,9,28,36,11,40,24,24,26,45,39,14,24,32,49,32,20,19,15,33,30,21,28,29,29,31,4,8,12,7,7,11,15,24,22,13,23,31,8,11,8,14,18,9,7,4,7,8,18,42,28,29,39,22,23,24,25,13,25,25,42,28,15,34,32,23,34,11,31,37,26,27,42,22,32,4,8,7,10,10,12,10,13,11,15,20,25,43,29,23,37,14,38,36,26,29,27,39,30,20,37,24,18,12,24,51,28,32,26,25,25,37,4,9,15,24,39,31,18,19,36,24,16,26,25,34,13,36,22,11,12,19,24,31,31,30,11,16,32,32,29,27,22,30,33,29,28,22,35,40,23,47,24,17,14,12,8,22,21,30,29,18,28,19,12,13,10,9,23,36,39,18,42,24,53,19,31,57,13,10,8,8,14,22,28,20,42,33,17,13,18,11,9,7,28,21,17,41,11,34,32,46,41,18,22,28,40,21,20,15,29,9,10,14,21,21,10,4,11,11,22,25,22,15,10,9,18,16,28,15,16,18,8,8,14,9,21,33,19,11,41,14,34,43,26,22,12,16,15,13,18,13,14,16,20,28,26,43,19,28,31,32,31,47,29,26,44,23,25,41,20,15,28,38,38,20,36,30,25,26,21,19,21,32,20,17,22,19,20,40,25,27,14,34,47,23,21,50,34,31,19,7,7,8,6,7,10,10,8,11,9,8,19,23,45,15,31,24,26,14,25,30,40,44,36,20,26,21,37,23,23,23,25,10,27,29,30,34,30,24,24,20,15,36,25,30,24,22,23,18,19,19,11,31,37,22,27,33,29,30,17,19,14,25,26,34,21,13,14,32,41,31,28,29,31,21,20,31,22,21,20,29,19,19,14,28,17,35,22,39,29,16,22,36,24,25,17,39,21,17,19,38,9,24,33,30,27,25,26,27,43,32,42,38,12,29,19,26,23,20,24,13,24,35,18,21,15,21,29,18,34,24,20,20,33,32,22,16,28,15,17,23,13,24,23,10,27,29,34,27,23,25,37,19,27,27,39,16,44,25,25,29,26,13,15,21,20,26,30,15,30,18,21,17,41,35,24,21,21,16,36,14,32,27,22,11,11,10,39,26,15,18,12,26,14,14,17,40,27,45,26,44,29,34,12,42,19,30,14,31,29,24,38,28,13,25,13,12,32,34,24,27,20,19,11,14,10,12,10,14,10,12,10,15,9,13,29,18,31,28,20,28,26,33,21,31,37,29,28,26,21,19,25,33,38,38,43,25,30,44,24,21,20,20,17,27,21,22,28,23,16,20,10,20,30,34,29,15,10,11,11,11,9,10,8,8,10,17,36,12,41,26,33,42,42,29,22,17,34,28,20,38,32,41,34,24,13,11,16,32,18,27,26,23,27,23,24,37,17,21,24,25,25,23,14,40,16,32,28,20,29,19,18,32,29,19,24,24,17,22,23,12,24,20,36,22,41,17,17,11,53,23,16,25,27,26,19,28,19,21,22,22,26,13,19,18,27,27,17,23,22,23,25,24,19,10,10,9,11,17,30,26,18,23,14,12,20,21,22,22,19,36,29,18,14,22,22,27,26,34,33,47,28,23,13,33,23,14,22,28,22,38,33,17,25,15,27,26,18,34,35,29,22,15,16,30,31,37,18,41,28,39,26,23,33,34,29,27,26,15,36,35,16,15,17,29,20,14,37,17,20,33,16,33,22,19,50,27,22,32,41,18,50,21,17,25,18,13,43,32,46,41,36,43,30,25,31,31,38,30,30,18,29,19,22,19,31,24,23,38,22,18,29,28,20,21,25,26,13,27,22,28,22,24,28,24,25,22,62,26,27,13,23,33,31,16,19,33,19,26,32,18,22,21,45,36,15,28,21,18,22,21,28,23,32,20,25,15,32,28,23,25,13,25,33,32,29,39,32,42,17,33,21,14,27,15,34,29,19,13,19,27,35,23,15,9,10,9,15,13,22,27,41,18,16,37,27,19,39,25,12,7,17,16,45,21,52,16,42,33,41,24,28,28,17,24,40,45,45,21,18,19,16,27,17,18,35,14,9,7,9,10,25,26,24,23,13,21,22,39,19,16,20,20,20,29,24,23,35,11,19,48,19,21,18,14,31,17,26,27,25,13,9,20,21,21,22,30,15,22,16,13,29,11,16,15,17,23,20,9,8,11,14,26,13,15,24,31,27,21,16,21,20,14,11,22,43,51,38,21,35,20,19,22,23,55,15,40,25,43,26,32,30,18,11,20,42,45,16,43,12,27,25,35,42,15,22,30,24,13,31,17,14,17,15,28,30,15,22,19,21,16,30,31,22,29,9,33,29,13,41,45,33,28,21,20,16,25,20,29,26,18,18,18,40,23,28,17,16,15,17,27,31,26,12,16,15,18,21,13,22,28,33,16,16,14,24,25,23,15,23,19,32,34,28,34,39,23,34,28,19,33,25,26,28,18,33,28,26,26,20,16,32,28,22,31,34,34,17,16,28,27,16,20,17,35,17,18,26,18,21,29,20,25,14,33,37,18,15,21,22,19,42,21,31,26,22,32,19,36,16,19,24,26,31,24,23,37,27,23,27,16,21,39,15,34,23,20,26,33,27,26,16,41,26,27,32,24,18,24,26,33,39,34,12,16,17,30,18,31,17,30,29,27,25,20,33,24,21,28,21,16,41,17,27,18,20,22,22,14,31,18,38,22,27,28,24,43,17,24,24,14,37,18,31,26,21,22,20,13,23,21,15,31,17,30,25,21,19,37,18,32,18,17,27,20,22,39,24,26,25,25,17,33,15,25,25,43,22,19,28,30,14,16,26,21,36,21,26,27,26,24,20,22,26,19,15,22,30,26,36,18,28,12,15,31,36,35,18,37,29,26,29,21,21,33,30,14,25,30,15,29,12,22,26,27,26,15,30,21,37,20,25,24,36,15,33,15,21,42,28,26,17,33,23,29,21,8,28,18,27,27,37,35,39,22,35,26,14,38,11,20,31,50,21,13,7,10,5,10,11,16,10,8,8,10,9,11,18,12,12,12,4,14,12,10,11,11,10,8,10,13,8,15,24,21,28,32,27,21,8,13,13,14,11,11,31,44,33,31,4,12,14,5,10,5,12,39,17,19,43,21,23,22,32,18,26,34,9,9,12,11,11,10,10,13,9,9,9,28,31,22,7,9,12,23,26,25,18,28,33,15,9,9,14,26,10,9,29,22,9,8,20,15,21,26,44,28,28,37,29,30,21,27,21,27,7,10,10,8,11,42,15,19,18,23,35,24,29,34,22,11,32,21,38,33,26,26,33,26,26,25,13,12,22,33,40,28,27,30,40,31,21,40,26,15,29,19,21,52,22,26,25,20,31,9,8,11,22,26,22,20,7,9,8,14,20,13,32,32,39,37,35,20,27,28,44,36,23,12,11,15,9,13,22,11,14,17,9,11,9,9,9,12,12,9,11,15,11,28,18,33,16,45,27,21,39,29,28,24,36,34,36,37,46,20,27,13,49,16,25,27,31,36,25,43,19,35,44,29,15,18,12,10,11,9,8,16,15,31,26,25,22,25,20,22,15,13,9,11,9,6,15,17,19,22,15,34,21,18,30,26,21,23,50,23,17,23,23,39,15,25,4,7,13,11,9,10,25,18,13,31,41,38,32,47,35,33,20,28,38,35,17,24,35,30,15,26,14,24,27,36,21,23,25,26,28,27,19,31,32,17,30,27,15,38,26,17,21,42,43,24,21,16,14,11,11,12,29,22,31,30,31,14,26,20,33,26,32,23,27,25,16,31,32,30,41,30,36,30,10,8,19,29,32,32,8,9,7,9,28,13,36,19,31,22,20,19,27,22,46,25,24,31,38,23,23,20,9,14,12,5,16,17,23,29,33,17,14,15,20,41,37,32,20,23,12,31,30,21,16,30,19,33,20,41,29,37,23,29,42,17,37,30,21,25,24,21,36,20,20,25,16,30,16,32,19,19,21,20,31,17,30,21,26,34,24,34,17,16,42,27,20,25,20,17,27,25,25,22,18,29,19,25,32,19,38,32,21,17,30,23,15,49,29,32,31,20,19,21,19,14,35,41,29,16,38,19,26,22,41,41,18,35,32,33,38,17,19,29,20,10,20,15,17,14,20,16,16,22,16,24,25,34,31,15,17,24,26,16,25,28,28,13,24,21,22,18,27,24,27,22,44,18,15,19,14,30,35,20,22,31,21,16,33,22,26,30,20,28,32,23,13,19,23,14,23,22,25,42,32,26,29,18,25,38,26,18,19,18,26,13,31,28,20,20,22,40,24,33,27,22,16,38,14,20,30,25,19,22,12,28,28,32,29,25,29,26,28,12,18,39,19,23,45,10,35,19,16,22,16,29,26,15,12,11,27,29,20,15,39,39,28,27,17,40,28,14,24,25,16,24,27,21,35,17,28,14,34,20,20,14,12,19,17,24,33,30,17,27,28,26,11,38,11,18,35,32,38,18,15,27,20,29,28,21,18,27,16,16,30,35,15,18,9,30,23,20,28,28,19,23,17,38,41,32,24,16,29,35,35,23,19,24,27,35,15,24,15,24,24,43,27,26,26,15,10,17,28,26,29,17,17,25,22,17,15,34,17,26,15,24,28,32,25,26,27,30,13,28,13,29,15,26,46,25,30,24,31,42,19,21,26,24,35,21,13,28,18,23,24,33,36,21,30,12,27,30,21,14,9,15,22,39,20,34,25,15,20,28,29,17,22,26,20,29,34,27,17,17,20,20,21,25,26,12,27,26,11,19,22,25,10,23,17,31,15,18,22,17,31,37,24,16,16,31,41,13,21,28,24,43,15,25,27,28,24,19,39,26,30,22,36,18,19,26,13,17,25,13,16,16,16,21,20,19,10,12,26,26,18,19,30,34,14,30,19,24,31,22,43,13,29,17,22,31,28,32,21,26,27,25,33,17,42,28,13,25,16,28,21,16,15,25,23,28,29,31,36,21,61,14,22,27,24,22,22,19,35,24,32,40,22,21,18,22,14,22,27,25,18,30,28,29,23,14,37,16,17,18,34,45,29,31,22,19,31,37,13,33,28,19,32,19,24,26,31,22,14,22,25,16,20,13,27,22,26,34,16,26,25,24,22,22,20,25,25,18,40,17,17,23,34,23,42,15,18,28,17,17,29,28,15,16,24,29,9,12,26,35,18,22,33,18,36,15,26,25,9,20,28,17,37,12,22,18,24,31,20,24,17,20,11,26,23,19,11,20,23,19,18,12,21,25,18,26,27,15,23,40,34,28,19,5,12,26,22,35,23,26,29,19,37,22,20,28,30,24,29,29,23,16,36,31,33,33,24,25,43,20,22,37,20,18,35,16,19,22,37,18,8,8,9,36,28,21,26,17,25,15,21,31,23,30,29,29,25,14,20,19,18,38,43,19,16,19,15,12,14,12,8,7,9,10,8,16,36,20,23,12,22,32,30,33,25,43,26,28,21,29,18,20,28,20,35,22,32,17,23,22,28,15,34,26,27,27,14,18,17,17,43,27,16,32,19,27,27,39,29,21,30,23,31,16,30,31,13,22,26,26,18,38,45,26,36,24,15,13,22,35,15,27,23,38,27,33,29,16,36,35,44,23,25,29,16,31,17,35,35,32,27,23,19,32,24,18,19,14,42,45,15,18,38,40,26,29,10,36,21,33,18,17,29,18,25,19,23,17,43,19,12,19,13,18,45,21,25,23,47,24,47,34,42,31,33,23,38,28,22,26,17,29,10,38,34,36,23,23,20,26,34,16,39,27,19,45,42,27,30,24,17,14,18,23,22,38,25,34,40,25,35,31,20,32,22,24,19,18,21,24,31,26,22,27,28,32,39,29,33,15,35,24,29,29,16,34,33,14,46,20,22,34,25,24,22,27,43,57,11,24,34,21,13,26,20,31,24,43,29,14,22,33,35,36,34,28,38,15,7,29,22,25,34,33,13,43,33,9,10,9,28,25,24,19,33,25,49,26,22,23,30,22,17,50,32,28,32,22,35,43,18,21,23,22,28,21,19,11,22,28,32,22,48,22,46,26,42,26,24,21,25,19,51,33,35,11,26,22,32,26,30,35,23,17,42,43,30,24,17,31,28,19,23,44,37,57,49,30,39,16,26,48,28,36,15,11,11,8,11,9,7,25,32,26,33,20,20,29,20,12,30,18,24,28,20,12,31,26,22,25,21,30,17,24,34,17,21,21,27,21,13,31,29,14,16,29,18,27,22,16,15,34,45,22,28,17,40,21,16,24,30,27,29,15,36,23,34,34,39,37,42,35,25,39,41,27,24,30,50,19,14,18,23,16,31,37,24,21,35,23,20,25,13,23,27,10,15,31,29,11,19,25,33,22,14,19,23,33,26,25,13,20,24,14,21,18,44,21,13,22,28,23,21,28,15,20,29,5,10,10,10,24,10,34,26,32,19,35,35,28,21,12,33,28,22,22,21,22,24,27,38,21,22,22,25,24,31,30,17,28,20,27,20,37,23,17,36,18,21,17,15,17,39,28,33,24,14,26,37,28,28,24,36,8,15,18,26,22,17,24,29,23,13,28,24,28,23,21,25,27,35,25,26,23,18,45,37,27,25,14,11,26,26,14,20,35,14,22,37,23,19,36,23,24,38,28,41,22,26,34,29,26,25,21,18,35,17,27,34,27,20,38,30,17,14,47,10,17,14,29,19,21,41,21,28,22,17,23,16,25,44,23,21,28,41,33,24,10,10,9,11,17,26,23,32,17,24,22,32,22,30,21,18,22,17,16,37,26,30,31,23,22,18,29,31,24,22,16,25,26,29,23,28,22,17,46,24,21,15,23,24,32,18,21,29,17,33,21,30,27,13,25,40,18,26,17,33,20,22,14,41,20,38,34,27,20,14,45,36,34,20,17,32,15,24,17,32,19,18,37,25,23,23,14,26,39,31,38,21,30,19,21,41,33,17,22,18,20,42,16,27,22,31,26,25,29,31,14,30,39,38,32,37,16,11,33,34,26,11,20,20,15,18,19,13,15,20,16,22,35,23,18,33,21,33,17,40,20,28,28,28,18,25,17,37,36,15,46,44,26,34,17,25,37,37,30,19,38,22,15,27,39,28,28,27,15,30,29,28,40,27,25,21,16,22,25,28,18,33,15,43,22,46,15,38,34,13,21,21,11,44,23,31,30,25,27,15,26,26,28,46,25,16,22,23,23,25,17,24,9,9,7,9,10,33,27,57,33,24,31,25,36,19,17,16,22,26,24,47,18,38,20,30,23,28,39,37,26,10,9,8,11,22,31,20,23,27,19,36,29,27,30,26,25,18,20,27,34,40,13,44,28,27,38,23,19,21,11,33,33,24,25,14,25,20,20,30,28,22,20,16,26,18,34,36,11,15,40,20,56,22,31,22,28,19,29,26,25,41,31,32,19,28,13,32,20,23,43,29,25,21,32,19,28,16,16,26,26,25,21,21,26,29,25,23,14,26,40,15,36,29,21,12,26,23,26,10,22,13,25,32,25,16,14,29,12,30,26,30,18,24,32,21,23,28,25,34,27,38,41,23,12,23,15,19,24,22,21,20,21,25,12,25,31,25,23,14,23,33,32,21,19,25,15,17,21,31,11,25,34,21,37,18,38,13,17,32,32,30,22,38,30,22,46,17,29,23,24,20,26,36,28,29,29,20,22,22,17,46,22,19,25,36,28,23,12,26,21,34,45,20,24,16,31,28,28,27,26,23,25,25,37,36,21,44,19,28,40,25,28,34,35,38,18,31,29,22,20,28,36,45,32,34,27,25,30,25,46,35,35,31,25,28,32,31,22,34,29,37,48,27,36,24,29,28,45,29,32,36,37,39,16,29,24,35,22,29,23,35,26,21,25,28,21,34,40,18,21,32,10,13,9,12,10,10,8,8,8,12,9,7,12,10,28,37,23,36,43,19,28,29,20,38,16,19,55,30,25,42,39,18,19,21,28,22,39,36,42,21,36,13,27,25,27,32,19,20,20,16,23,30,35,30,26,35,28,21,37,25,16,30,31,16,27,25,23,21,38,33,32,10,37,19,29,23,24,28,23,42,9,15,30,40,21,21,28,25,28,53,19,36,22,48,9,24,48,17,25,19,14,23,20,21,42,23,31,22,17,16,25,37,30,7,11,17,32,33,11,21,23,23,29,28,25,16,27,19,28,19,16,25,21,34,23,27,8,11,9,13,23,35,31,28,38,18,25,23,26,34,22,22,13,21,22,18,38,20,19,36,19,25,22,24,32,25,17,16,29,13,22,15,32,25,45,46,36,35,35,35,20,20,29,23,28,13,34,14,29,16,24,36,25,30,26,30,24,34,34,19,36,55,24,14,29,35,22,23,28,17,29,16,44,25,36,29,44,17,30,32,16,30,30,18,25,26,22,33,45,13,28,23,24,23,26,39,29,43,31,27,32,52,25,15,29,37,18,17,32,23,26,41,30,38,28,29,18,47,33,43,40,25,34,27,26,21,13,30,27,37,32,29,21,33,19,21,21,28,29,13,13,30,22,33,18,34,41,24,16,29,37,24,44,35,31,33,25,43,36,31,22,28,28,19,23,27,16,10,25,20,21,31,28,22,17,29,17,49,11,15,35,24,19,21,29,31,15,23,16,20,15,36,36,23,22,20,17,28,14,26,32,21,34,42,28,14,13,22,17,23,20,22,24,21,30,29,22,17,20,50,28,28,36,25,31,20,21,17,14,25,18,36,18,23,38,13,13,23,16,29,19,32,24,31,31,15,33,34,31,21,14,13,29,21,34,28,24,20,15,32,16,17,10,13,30,35,27,19,23,20,17,28,15,13,33,33,20,19,30,24,24,46,30,26,21,34,18,29,24,16,22,37,35,20,16,28,21,38,31,34,30,28,32,26,26,17,17,22,12,14,11,28,30,23,30,13,20,14,23,27,27,20,15,26,13,18,25,47,17,27,19,22,38,16,21,14,23,24,21,18,24,25,17,11,43,36,31,10,23,34,14,33,20,18,28,22,27,29,29,28,27,28,23,19,20,33,26,29,20,37,25,31,9,9,9,17,18,34,24,37,24,18,18,27,27,15,21,27,32,38,16,12,38,17,29,19,33,17,12,20,12,14,13,10,21,17,15,25,32,29,19,29,19,20,14,29,27,23,39,17,20,27,20,21,30,17,17,14,23,27,29,32,22,23,26,39,28,22,38,24,50,27,23,32,17,34,31,12,9,13,4,8,26,33,21,25,24,23,18,26,19,26,17,26,20,18,28,25,29,19,13,38,22,13,13,13,13,10,10,11,18,12,9,10,10,8,15,22,39,33,26,8,10,16,15,10,12,10,13,14,31,29,28,15,38,16,9,8,12,29,29,39,29,24,21,22,20,15,21,26,27,21,37,19,18,16,33,24,24,13,36,27,42,46,21,21,43,18,24,18,26,28,30,23,22,36,27,28,21,21,24,18,27,25,19,26,48,20,28,36,20,18,34,28,22,29,15,33,20,25,33,18,10,9,10,9,13,41,19,25,25,38,39,27,31,20,26,21,21,32,34,49,27,18,19,25,43,35,19,29,18,20,37,29,29,14,22,20,19,37,21,26,31,26,28,21,34,16,19,27,25,15,41,22,40,37,33,29,29,27,26,36,32,30,17,50,18,35,19,46,18,27,30,26,28,24,12,6,28,27,39,38,38,27,47,19,35,26,22,23,21,16,36,25,15,27,30,21,23,22,26,24,33,26,15,27,28,27,29,26,40,42,26,26,38,21,37,29,27,12,14,12,11,10,12,33,35,23,13,19,7,11,15,11,11,31,34,17,19,28,24,20,31,18,32,9,34,14,27,13,18,29,29,11,32,27,21,31,25,26,17,26,16,24,23,27,20,29,22,23,31,33,41,17,15,24,24,15,12,13,9,10,8,12,26,21,31,27,36,30,21,34,22,24,22,19,19,29,16,32,37,31,28,20,34,19,53,23,9,13,19,46,27,14,23,25,33,45,22,20,23,40,26,20,24,21,29,24,31,45,36,23,17,17,25,26,27,34,18,17,28,15,29,23,25,17,15,22,22,17,41,17,23,17,27,50,12,23,25,19,16,17,44,21,32,20,29,40,19,20,25,21,38,33,16,31,32,23,20,37,19,24,25,27,19,17,13,41,21,16,21,21,15,25,28,30,21,21,27,36,35,36,32,22,23,33,27,14,38,14,39,23,20,20,13,29,37,21,37,41,33,31,46,39,31,23,28,29,17,48,21,43,48,27,18,30,11,26,40,34,19,26,30,30,33,29,19,36,47,25,31,31,36,14,12,37,16,22,20,29,43,19,21,43,27,36,22,28,10,29,17,23,7,10,27,14,10,12,28,13,22,25,16,8,10,12,17,20,39,18,28,48,11,14,14,35,15,36,19,15,30,22,35,21,27,27,11,28,24,20,35,17,34,26,53,17,33,17,34,31,30,31,30,16,20,27,35,12,34,44,41,30,39,15,48,25,19,35,22,34,13,23,17,8,14,8,8,12,15,10,7,22,33,28,47,35,31,29,17,22,25,40,24,18,19,25,23,35,14,31,27,21,15,36,18,39,35,17,29,29,15,30,30,27,30,38,45,39,36,28,43,29,24,18,25,25,21,22,34,34,19,24,19,20,21,28,33,18,29,46,23,22,25,30,23,34,31,43,36,25,17,20,26,35,21,37,22,32,28,29,52,28,21,26,28,39,27,27,33,29,4,13,12,9,34,19,41,25,10,32,14,41,24,18,26,41,33,33,27,28,18,29,18,40,32,10,34,46,27,15,27,23,32,29,37,35,37,22,32,32,18,32,16,28,10,26,42,25,14,35,45,16,20,34,36,21,42,18,35,25,14,24,27,41,57,22,35,19,29,29,30,31,52,20,26,34,17,29,14,25,20,34,51,16,37,36,15,42,28,29,17,32,22,33,42,24,13,24,26,26,25,23,23,45,27,19,17,37,21,23,26,40,13,23,43,18,19,31,34,20,34,29,39,20,30,33,12,21,52,20,37,22,14,33,14,20,25,43,44,17,18,54,48,43,29,42,32,32,26,30,30,36,24,15,31,28,32,37,15,24,53,19,48,25,25,26,26,36,32,25,30,30,20,22,20,26,25,32,21,34,21,34,46,32,22,23,36,48,27,22,40,16,32,58,30,27,45,44,34,28,12,30,43,24,27,38,25,35,49,23,41,18,11,17,37,23,24,40,22,20,23,25,30,34,17,26,14,20,37,15,23,19,15,21,22,32,16,38,27,18,20,29,21,22,35,30,37,31,36,28,32,22,24,28,23,32,38,30,27,33,33,50,24,25,28,32,42,31,23,31,27,32,26,48,44,30,44,20,27,31,26,27,34,23,30,17,22,40,35,20,31,43,23,46,21,45,20,46,18,40,34,37,25,39,17,22,37,20,23,25,34,43,30,23,31,21,40,26,24,31,26,48,30,18,24,24,40,19,19,29,40,26,24,28,23,11,28,29,26,35,24,19,35,32,30,13,12,21,33,44,29,18,34,26,18,29,30,40,16,44,36,34,25,22,31,13,37,23,37,22,54,27,26,32,33,28,55,18,30,9,10,11,11,11,9,10,8,8,10,26,20,24,13,18,12,40,42,34,39,41,28,46,32,35,41,29,29,52,32,18,24,16,20,24,10,27,29,29,10,22,17,13,17,16,29,46,21,24,23,22,22,25,27,16,22,23,28,10,27,40,15,26,24,15,25,24,55,29,29,20,24,24,22,21,14,23,20,28,22,23,19,34,21,14,36,32,35,15,26,18,15,25,21,16,33,22,32,29,16,25,29,25,31,29,35,24,17,43,39,26,16,31,31,21,27,13,25,27,24,20,29,24,23,43,17,16,29,24,41,28,34,24,35,14,13,34,19,19,37,21,15,17,14,14,36,24,34,12,30,23,18,25,38,26,44,24,49,25,31,23,24,31,33,25,23,45,36,41,23,19,40,20,41,29,37,52,31,26,45,51,17,24,59,38,24,45,22,34,37,44,12,25,32,11,18,29,18,28,40,33,41,18,42,44,46,36,20,64,18,32,21,23,31,54,20,34,32,18,44,23,31,31,35,18,24,37,31,11,11,27,33,10,10,8,12,30,26,26,24,39,47,22,41,10,10,8,17,12,15,10,34,8,10,12,9,28,14,14,19,31,33,17,35,36,50,20,52,34,33,41,32,26,24,39,33,16,38,43,28,22,12,10,11,10,12,12,10,10,12,12,10,12,45,24,34,28,24,42,11,12,16,11,9,9,16,13,13,20,20,40,24,40,16,50,31,21,35,32,57,49,34,39,27,37,32,27,30,15,33,25,33,17,25,26,29,19,55,26,33,50,26,37,28,23,39,23,42,35,40,43,37,22,32,35,26,23,35,51,30,32,35,37,35,31,40,18,41,24,4,11,8,10,7,6,7,12,13,9,7,11,38,31,19,28,45,35,31,24,18,44,53,30,43,29,46,24,31,48,37,43,30,36,33,33,31,36,11,10,7,12,10,15,26,31,20,46,42,29,29,33,33,39,42,47,16,33,39,32,35,45,39,26,43,37,48,24,21,55,34,35,32,49,21,9,8,9,8,9,9,8,7,6,10,19,29,29,37,31,38,32,22,14,14,8,13,11,8,9,8,9,24,35,31,23,33,37,33,32,18,29,36,39,15,33,36,33,42,43,27,22,11,35,64,22,33,27,35,19,36,28,37,37,22,25,11,9,11,10,10,14,8,14,16,19,11,9,10,10,12,12,13,10,14,13,13,9,8,7,9,15,8,11,13,36,15,10,7,12,22,38,31,10,7,15,7,8,27,11,9,7,6,8,15,24,14,10,19,11,10,8,13,10,10,12,23,14,9,17,10,9,10,9,10,9,9,12,10,13,15,15,12,22,6,12,10,10,12,14,8,6,12,31,11,6,7,7,6,34,6,8,6,11,8,11,10,11,10,14,36,52,32,32,25,22,43,22,35,39,33,58,34,27,24,45,81,24,43,17,41,34,40,32,48,39,23,25,30,26,43,35,33,39,24,50,39,30,23,36,24,26,25,36,21,18,32,42,31,23,31,22,20,16,35,28,46,31,17,33,39,23,37,37,25,29,24,20,32,29,32,38,33,39,21,14,21,14,15,30,29,13,18,17,24,28,24,23,20,49,21,18,33,27,35,21,37,33,10,23,28,30,28,38,31,35,29,9,32,34,19,31,36,34,13,23,28,25,21,9,34,29,35,31,20,20,19,25,25,21,25,18,26,34,38,35,24,36,19,20,22,20,11,11,40,14,27,27,29,7,9,6,8,12,7,6,9,11,12,11,10,10,12,12,37,26,28,22,16,20,42,32,31,18,27,29,22,20,21,21,21,29,23,12,8,16,37,36,64,48,32,26,20,54,43,28,40,30,15,15,18,25,17,21,31,20,11,31,20,26,22,26,34,25,30,25,36,47,38,44,28,33,23,26,19,17,23,39,28,37,14,19,23,24,19,18,42,20,21,43,34,16,51,18,29,33,24,35,30,47,43,30,40,54,30,23,16,21,18,48,20,27,21,20,36,25,27,23,15,35,18,34,16,25,38,29,37,25,28,12,39,25,42,20,31,17,34,17,34,28,18,22,29,21,36,25,19,39,31,27,39,32,21,32,18,38,29,7,14,11,19,25,29,25,16,33,28,29,26,23,30,24,24,39,12,15,18,27,21,37,21,21,30,30,29,25,21,10,14,13,19,13,32,18,7,13,10,10,30,23,27,7,18,14,20,21,27,18,28,29,19,30,30,21,18,30,16,39,29,24,15,14,12,12,13,15,12,11,14,15,26,32,32,25,28,16,25,22,7,11,8,9,8,6,13,11,13,8,37,32,32,18,23,29,39,28,19,30,17,37,33,45,43,16,10,13,11,9,28,16,29,28,22,30,12,9,11,9,22,33,40,45,22,18,25,15,37,18,17,21,18,15,16,17,28,22,17,28,35,14,29,23,38,49,24,23,35,22,44,18,32,30,33,23,20,17,39,39,30,52,17,35,25,32,7,15,10,16,32,31,35,17,28,15,17,33,22,31,28,24,17,30,29,25,22,17,36,23,13,8,8,13,5,11,12,7,9,13,11,32,29,27,44,18,32,42,29,8,13,11,19,29,34,16,24,43,27,23,33,29,24,14,22,41,16,30,25,11,32,12,17,23,24,28,21,25,25,17,30,33,37,24,24,15,30,36,37,17,28,11,9,17,26,13,30,26,32,33,38,23,27,26,31,22,30,28,23,17,16,15,20,27,12,21,47,25,35,27,35,41,31,55,19,21,35,34,56,15,58,30,21,19,50,26,29,24,21,18,29,17,17,34,19,41,24,20,35,29,29,36,32,26,41,16,35,26,22,22,16,15,17,29,19,28,17,22,24,20,23,22,21,43,12,15,26,23,33,33,14,26,25,22,24,20,23,26,30,25,14,7,13,14,14,12,12,31,34,17,24,25,26,22,19,27,16,12,12,32,30,17,28,19,22,22,41,17,19,22,33,18,14,21,18,18,35,16,19,28,12,20,24,37,26,26,17,42,38,37,22,24,22,17,8,21,17,37,38,30,20,31,30,25,35,36,34,23,39,36,36,19,20,30,34,24,25,19,24,44,23,28,27,15,24,19,19,24,23,41,24,36,24,27,22,26,14,31,16,25,30,14,14,18,17,28,28,23,19,25,14,22,25,33,22,30,22,24,17,30,37,27,26,32,22,17,14,39,37,19,27,21,27,25,15,26,41,37,23,27,33,20,22,16,27,18,19,20,21,23,18,17,31,32,29,34,26,27,19,18,22,13,14,27,22,22,27,30,22,27,18,16,26,9,19,20,6,14,9,23,23,18,21,38,38,25,38,31,30,24,13,21,25,13,22,27,19,10,33,35,24,26,22,13,25,29,27,41,31,10,23,19,14,19,19,14,13,6,8,9,16,15,17,23,23,21,14,13,28,21,18,22,36,23,27,10,25,19,24,14,17,19,23,23,30,17,27,35,16,23,37,29,22,20,28,21,37,28,23,33,27,21,20,26,8,16,28,20,37,28,20,31,37,30,14,42,26,19,28,30,19,31,17,29,13,22,15,19,17,19,22,28,9,15,12,12,12,8,28,30,24,23,25,34,32,39,27,18,23,25,28,17,29,19,18,16,27,16,29,25,26,37,19,25,23,29,26,16,31,27,31,17,21,22,19,43,11,35,24,13,28,20,14,25,40,30,18,23,32,13,14,28,27,19,22,27,21,20,27,45,26,29,20,16,17,8,21,8,19,29,15,41,32,20,38,32,26,17,41,21,33,26,26,19,38,37,22,13,34,50,40,26,39,37,22,27,10,21,29,23,34,38,45,25,15,26,28,19,26,30,42,15,23,19,19,36,15,21,30,28,26,17,34,27,38,39,37,10,21,23,32,19,24,20,19,32,20,20,17,26,20,25,25,7,8,20,9,11,11,10,36,14,7,11,20,13,24,25,30,15,44,23,18,18,25,18,23,19,39,20,35,18,47,30,33,35,23,37,16,19,27,21,28,20,23,21,24,31,22,18,42,29,10,29,21,16,25,23,20,23,24,6,10,13,14,14,14,8,12,7,10,14,13,11,11,11,9,8,9,10,16,17,26,30,13,17,20,20,19,25,30,21,10,13,13,10,16,11,12,11,9,15,13,8,13,15,14,11,9,11,12,18,12,27,20,16,14,37,16,16,38,23,28,28,22,29,20,9,14,40,21,21,16,17,27,35,29,27,29,34,28,32,15,13,7,10,13,12,10,17,34,22,39,30,32,26,21,18,16,26,32,17,23,16,38,27,15,31,18,62,31,26,17,11,9,7,8,12,9,11,12,32,41,32,13,28,19,17,37,24,49,40,17,36,15,24,33,28,26,29,30,32,28,26,26,27,28,34,25,28,29,29,20,23,26,21,17,23,33,14,10,10,9,34,7,10,6,4,11,11,21,21,26,16,34,28,11,10,11,14,10,12,13,31,19,32,38,18,40,31,32,16,38,11,23,15,28,31,38,32,16,35,27,37,38,34,32,14,31,24,35,26,25,21,31,28,22,37,18,42,25,34,29,13,48,30,36,17,33,18,19,42,26,26,27,11,30,29,22,18,32,22,25,45,34,13,19,28,24,25,38,17,24,33,29,31,27,20,23,20,20,23,18,44,26,21,14,16,15,13,33,29,17,16,17,23,20,14,30,23,17,25,28,34,43,13,25,38,26,22,29,70,19,31,38,17,23,43,44,22,26,27,26,18,42,23,42,34,19,23,44,21,28,20,28,20,15,30,36,27,47,14,34,33,22,11,11,10,31,26,24,19,16,14,13,23,34,11,31,43,43,47,23,23,22,26,44,23,24,27,12,24,17,30,28,28,25,38,23,18,33,14,41,16,34,38,41,31,35,26,37,22,20,23,33,29,37,38,18,42,42,52,21,16,29,28,23,43,19,37,24,33,18,33,18,11,35,22,29,19,41,18,28,20,32,24,13,14,24,19,22,18,28,14,27,17,36,21,25,29,32,45,40,26,13,41,23,29,24,23,16,34,27,23,23,39,25,28,21,14,20,33,45,24,22,30,20,27,38,16,27,40,12,20,24,33,16,20,39,28,23,22,27,17,30,11,10,21,29,21,28,22,27,33,36,20,20,14,25,29,18,21,21,31,22,46,21,23,29,21,16,30,29,53,43,20,34,25,18,37,18,18,31,25,23,25,36,39,23,21,24,22,38,18,22,32,12,9,6,10,8,15,9,31,21,34,36,28,24,23,15,34,28,21,16,24,29,28,26,17,28,21,37,16,33,35,19,36,26,46,38,31,34,13,31,27,19,35,16,20,40,27,21,18,36,19,25,27,24,35,30,31,16,49,19,32,26,30,22,24,25,19,34,33,19,20,20,34,22,20,31,25,27,19,33,15,35,20,24,34,37,21,22,15,20,39,14,12,36,40,22,33,22,17,34,17,16,33,42,28,46,19,21,22,22,37,30,23,31,14,46,19,28,32,18,34,18,29,39,24,22,16,30,22,22,46,39,28,35,20,39,16,25,18,21,24,46,22,26,38,26,20,27,33,30,43,33,27,15,24,18,33,11,27,32,33,46,25,47,18,25,33,18,28,33,25,16,49,19,30,18,15,36,18,29,24,15,38,25,22,20,31,17,23,10,40,18,33,34,33,32,23,14,31,34,23,27,23,31,27,21,35,29,32,19,24,26,16,31,21,40,27,21,26,31,33,36,24,26,24,31,39,31,34,25,25,40,22,39,30,24,26,25,18,27,25,24,37,36,41,20,24,16,22,28,27,37,22,28,12,40,36,32,14,29,17,21,15,26,22,22,15,17,19,33,25,34,21,29,16,24,31,25,25,17,41,7,20,24,18,24,23,20,24,22,27,15,25,27,24,23,38,17,33,41,27,30,23,18,21,28,14,37,18,26,29,13,15,15,37,21,34,25,21,24,18,14,12,15,32,22,20,17,28,10,22,27,28,32,14,27,40,23,16,34,22,23,25,37,17,28,15,16,20,31,42,25,27,13,30,27,18,27,36,24,19,25,12,22,16,47,24,22,18,16,28,32,37,16,26,30,21,30,25,16,13,25,26,15,20,33,38,23,17,25,28,25,24,18,9,7,24,37,38,29,15,13,20,26,30,20,41,17,6,17,8,20,19,28,24,37,20,15,13,19,12,9,8,12,14,16,41,23,17,15,21,25,22,31,27,36,32,17,30,42,11,17,27,26,14,13,11,21,36,15,34,42,35,29,21,23,19,23,21,19,16,35,18,34,26,20,20,24,20,21,13,22,23,23,14,32,30,16,21,18,23,21,23,27,37,27,19,25,22,21,29,25,38,14,16,26,19,24,21,25,30,39,34,20,24,22,18,22,14,27,20,22,32,19,23,20,18,35,31,26,26,27,14,26,30,27,36,10,19,22,17,33,23,12,23,24,21,16,35,23,21,25,18,30,37,15,17,30,29,17,40,24,10,21,21,14,14,33,22,13,29,35,24,25,31,21,21,18,33,24,33,15,15,17,24,25,25,15,21,22,19,28,23,25,23,30,22,16,33,14,23,13,13,25,13,18,20,29,21,29,8,21,29,18,34,22,17,18,11,28,33,36,23,31,20,30,29,23,19,23,23,32,24,18,30,26,14,25,22,15,20,33,17,28,12,11,42,12,25,24,9,29,20,17,15,11,21,11,16,31,29,24,16,28,17,51,28,21,25,37,24,31,37,23,33,21,29,26,29,17,19,22,20,33,22,32,19,13,24,10,24,25,24,30,19,18,23,29,27,26,15,23,21,21,29,20,35,13,9,8,6,7,8,7,32,18,29,22,15,37,20,34,14,34,8,29,20,26,19,29,23,14,9,40,30,17,17,33,25,41,22,14,35,24,11,35,23,27,20,27,34,24,25,22,18,39,43,8,31,41,30,12,19,16,31,37,27,35,34,25,28,35,40,21,28,28,16,7,18,15,12,19,23,27,41,26,14,36,31,22,22,22,12,17,38,16,32,16,26,17,31,43,42,31,16,35,23,20,35,34,14,18,34,15,24,35,15,19,38,32,37,28,24,30,18,38,35,31,12,23,40,27,18,16,19,31,13,15,22,21,22,35,23,30,17,25,37,28,14,14,15,13,34,17,22,24,23,17,37,16,15,25,27,27,29,33,38,41,27,14,25,36,22,19,38,11,32,45,15,51,50,38,27,26,34,37,19,31,29,37,31,14,32,10,58,21,29,21,31,27,31,15,34,34,26,41,21,20,28,36,14,46,42,12,47,34,47,29,25,53,24,18,27,35,34,13,37,31,17,25,37,19,23,15,31,55,48,28,32,20,28,43,19,34,28,13,20,20,31,31,31,26,12,38,31,38,46,35,54,34,29,36,14,42,21,35,16,19,32,23,41,24,47,13,26,39,31,20,38,24,34,55,42,25,46,43,37,25,29,28,15,55,19,38,28,44,19,9,11,10,12,12,10,10,12,13,11,11,12,11,12,10,9,12,14,12,13,12,11,13,14,12,12,11,11,9,10,9,9,13,13,9,11,11,11,13,16,14,11,13,11,11,11,8,12,10,11,10,17,10,14,14,9,10,13,9,10,9,14,10,9,8,10,11,11,10,9,9,7,7,9,13,11,9,16,14,9,8,8,12,11,13,12,13,10,11,14,14,15,13,12,11,12,12,10,13,10,11,12,13,9,17,10,11,11,14,12,12,11,10,6,8,12,12,9,9,11,13,8,11,12,17,38,56,39,24,41,26,29,34,46,19,18,53,9,7,9,7,10,8,34,28,36,46,25,56,38,47,19,67,29,40,31,18,32,49,52,33,26,28,9,11,8,12,12,10,12,10,12,12,10,9,8,10,12,23,53,23,58,58,14,28,36,25,60,24,50,41,27,31,37,33,49,28,38,57,27,32,43,38,40,30,20,29,33,30,59,38,27,33,35,29,41,23,28,36,74,21,38,48,35,22,39,31,45,17,71,24,35,34,32,48,18,33,44,22,20,31,40,24,22,46,39,25,26,29,34,37,23,41,36,35,34,50,29,32,26,15,30,39,41,14,14,34,25,20,27,21,15,47,51,50,22,18,30,39,38,32,40,38,28,50,48,7,12,15,27,17,21,22,31,51,25,27,33,29,51,26,26,56,40,31,59,23,31,35,39,34,30,40,36,31,40,45,48,37,37,28,43,59,42,16,44,46,55,29,24,15,10,13,13,18,13,32,25,58,15,29,60,53,32,29,44,37,33,33,41,24,30,34,28,33,50,33,48,23,21,15,22,22,47,35,36,31,19,53,27,49,61,30,36,26,47,60,22,22,50,27,41,21,52,39,26,49,41,21,29,23,34,18,41,28,39,39,18,26,30,31,29,33,15,58,12,30,25,39,25,32,19,37,32,31,33,57,37,32,19,48,51,58,21,47,17,36,18,24,49,18,11,10,9,12,21,21,24,25,38,26,38,37,36,16,30,45,31,39,29,34,33,17,54,20,57,25,49,37,30,31,67,18,49,30,21,27,16,41,36,31,28,41,44,51,39,63,45,32,29,34,17,24,30,35,28,22,28,37,19,25,24,28,27,56,38,29,29,61,20,46,36,28,17,55,21,25,33,26,20,79,46,21,25,27,27,23,43,43,24,27,19,44,38,46,41,21,41,48,35,46,44,23,39,18,53,18,36,29,24,29,27,37,52,33,31,33,20,22,29,16,31,21,17,25,22,47,48,24,49,25,65,23,57,37,33,44,20,47,32,36,31,38,39,29,42,27,40,25,33,30,27,24,39,29,50,28,48,31,19,51,28,42,19,29,35,39,25,63,62,30,41,25,24,26,41,30,22,51,42,23,39,19,51,48,37,53,34,33,57,36,8,12,38,45,31,51,40,37,22,29,21,44,29,25,42,24,25,55,32,45,36,33,22,43,41,23,36,41,29,48,56,22,31,30,50,20,44,45,53,36,25,38,44,67,62,40,67,33,95,24,70,33,43,30,37,38,40,59,35,43,46,29,63,59,31,28,42,72,30,53,31,33,26,18,15,54,53,38,24,31,29,65,56,35,76,24,28,29,36,26,65,31,44,48,45,64,38,45,35,21,25,53,56,19,39,34,47,36,30,38,47,40,41,54,41,53,42,37,34,16,57,52,33,31,43,21,29,19,33,26,38,54,28,28,27,55,49,20,26,24,42,41,24,65,55,46,55,26,44,37,43,24,21,58,18,33,21,28,41,23,44,22,53,40,42,32,66,35,28,60,47,20,79,18,18,61,35,25,40,24,48,49,29,31,43,39,24,27,21,42,49,36,35,26,31,37,79,32,31,32,62,58,49,37,27,49,47,25,45,57,18,42,26,22,48,48,32,14,56,39,28,48,28,30,15,48,63,35,45,52,40,24,31,28,34,42,33,41,56,29,14,49,53,28,43,52,31,31,78,55,50,35,47,50,22,24,18,58,22,38,64,43,43,42,33,29,54,26,40,38,22,28,36,52,33,37,41,49,25,43,38,41,38,65,20,56,41,31,26,62,43,39,33,32,42,40,25,24,42,56,43,51,23,35,42,27,24,58,55,47,31,19,39,31,40,57,48,34,19,51,59,27,22,41,31,19,36,21,38,53,63,21,28,38,61,64,41,39,64,34,37,41,28,33,32,17,38,69,57,24,36,47,40,51,48,17,64,57,35,54,28,22,56,30,36,31,44,56,53,29,30,49,41,46,61,37,29,57,17,38,58,46,24,45,45,26,23,28,24,30,43,37,26,31,54,36,44,23,33,38,46,30,38,50,40,30,34,38,54,60,47,9,12,10,12,9,9,8,12,11,10,16,16,10,9,12,9,12,15,9,11,9,7,13,13,11,9,9,11,7,9,12,10,9,10,10,11,12,9,9,9,9,8,10,8,7,8,7,10,11,8,13,9,10,9,9,9,10,11,7,10,9,11,11,11,8,9,9,12,9,9,9,13,7,7,8,13,8,9,8,11,12,8,9,8,12,8,13,14,11,13,10,11,12,14,12,8,8,11,11,9,11,9,14,7,12,13,10,9,12,7,10,13,13,7,12,12,13,9,11,10,15,9,7,9,9,9,13,7,14,9,10,7,10,8,11,9,11,10,6,8,11,11,8,8,9,13,7,9,7,10,11,7,6,8,9,10,10,9,9,7,10,9,10,8,9,9,10,10,10,10,7,11,12,10,9,10,14,10,6,12,7,10,9,15,7,15,9,10,12,7,13,14,11,9,12,7,10,9,13,9,8,7,11,8,11,9,9,6,13,7,12,9,13,9,12,7,9,11,9,13,10,12,15,13,10,9,9,8,11,10,11,11,11,10,8,9,54,6,9,10,11,10,7,11,13,11,12,16,15,11,14,14,15,6,7,11,13,11,10,14,11,13,15,11,14,7,7,11,13,13,11,14,11,7,12,13,11,8,9,9,12,15,7,14,13,13,11,17,11,10,15,10,8,6,7,12,13,8,11,12,15,12,11,12,11,6,7,11,13,12,9,11,9,11,13,7,11,13,10,12,18,13,14,12,10,8,12,11,14,13,11,8,7,17,11,11,13,12,12,6,11,7,10,12,12,10,11,10,11,14,13,13,10,6,31,8,10,8,10,7,9,10,8,12,8,14,10,12,8,10,9,9,9,9,7,8,7,7,8,9,13,13,13,12,10,14,14,9,9,10,12,49,11,11,16,11,13,8,14,11,12,6,11,11,12,13,11,11,11,13,12,7,11,6,10,12,8,9,14,12,13,7,14,11,10,6,11,12,10,10,8,15,13,11,10,6,12,9,15,10,6,16,11,8,16,10,6,10,16,14,10,6,12,10,10,14,11,8,13,12,19,8,7,9,9,9,10,8,10,7,8,13,7,8,10,10,11,9,8,14,15,11,11,12,10,10,11,14,8,11,10,13,12,11,11,11,10,8,10,14,10,13,11,17,9,8,7,15,7,8,9,13,12,14,12,15,10,14,12,10,6,14,12,9,11,8,15,8,14,10,12,12,14,8,13,9,12,14,10,11,22,28,22,13,15,12,10,11,12,14,9,11,13,10,13,11,10,11,13,13,8,11,14,16,17,17,10,8,16,14,68,8,13,9,8,11,10,13,12,12,9,13,14,14,10,42,15,8,7,7,10,10,35,6,8,7,7,10,12,31,25,11,10,10,13,14,18,46,8,12,9,7,30,26,36,26,11,12,12,8,12,14,14,12,14,17,25,11,10,15,7,7,7,4,12,13,11,8,6,10,17,12,11,11,11,12,12,11,12,11,15,11,12,11,11,10,11,9,14,12,12,13,13,11,10,8,17,9,14,7,12,11,12,10,14,11,13,16,10,9,9,10,9,10,12,13,16,14,12,14,11,9,8,12,11,11,11,11,11,11,15,8,13,10,14,19,16,14,14,6,8,13,10,12,15,13,10,10,8,8,12,12,13,9,11,13,15,9,11,12,13,11,12,10,12,12,8,19,25,58,30,55,38,37,39,29,40,31,41,30,39,21,22,28,17,4,13,7,12,8,10,9,8,10,6,10,6,8,7,13,7,9,9,9,9,12,7,10,7,9,7,10,13,10,7,10,8,20,16,23,34,30,32,30,40,38,24,38,16,69,24,14,41,42,24,49,32,35,37,28,31,49,13,13,11,11,23,9,11,14,11,9,11,6,20,12,15,11,8,8,26,23,32,25,52,36,32,39,28,12,16,10,8,10,9,9,11,10,7,6,22,7,11,9,11,11,12,9,10,11,10,8,13,11,13,11,12,12,11,11,11,9,6,12,12,12,11,9,9,10,9,9,9,6,11,9,8,12,12,13,10,9,7,10,11,13,10,10,11,10,13,10,13,12,10,12,12,13,11,9,11,7,10,8,8,9,10,7,11,8,10,7,12,7,12,11,10,9,11,10,9,8,10,10,11,8,9,8,9,11,12,8,8,12,11,11,7,12,7,8,8,11,8,9,8,9,11,6,10,7,10,8,13,10,9,12,10,9,8,9,6,9,6,9,8,9,11,10,10,8,10,10,10,8,6,11,12,10,9,13,11,10,8,9,8,11,11,9,6,13,10,12,9,9,8,10,10,11,8,11,13,8,11,7,13,43,29,43,21,28,20,14,7,6,11,8,6,9,7,11,13,11,6,8,6,8,16,10,22,51,42,38,5,11,9,10,12,10,11,14,6,11,11,10,10,8,9,8,10,10,9,9,8,32,51,8,6,8,14,8,11,11,10,9,15,9,9,11,10,11,10,11,10,13,9,7,8,7,8,8,10,6,12,10,10,9,8,6,9,8,10,9,27,35,39,22,9,12,11,11,10,8,9,6,9,13,10,6,11,10,14,9,6,8,8,11,9,12,9,8,7,11,7,8,9,9,8,10,10,8,7,7,7,10,11,16,12,14,12,11,12,14,11,10,25,10,9,11,14,11,8,11,10,10,9,12,12,12,9,9,7,14,13,13,7,13,13,7,8,9,7,6,8,10,7,12,8,8,7,9,11,9,11,7,13,8,9,8,11,8,12,8,13,13,9,14,11,9,8,10,12,10,6,12,11,12,11,6,9,9,11,9,7,10,13,9,6,10,10,9,10,8,9,10,12,9,14,13,9,11,6,8,8,11,10,10,8,12,12,13,13,10,10,20,51,10,8,11,9,9,11,9,13,10,12,11,12,10,10,10,10,10,7,9,12,11,11,12,7,6,9,10,10,9,11,8,14,13,11,6,9,9,10,8,9,10,10,12,10,8,10,13,11,6,11,7,13,10,10,7,10,11,10,10,7,10,7,10,11,10,10,9,10,10,7,10,11,6,9,11,7,12,6,11,7,13,6,17,9,13,10,12,11,10,9,11,8,10,9,6,12,10,8,6,12,6,8,12,10,10,11,15,6,7,9,9,12,9,12,10,11,11,7,12,14,8,12,12,17,10,9,9,8,10,10,7,9,7,12,16,10,10,12,7,11,9,10,7,9,10,9,8,9,8,12,7,10,7,7,7,15,11,9,9,8,9,8,10,9,9,8,9,12,39,28,28,21,39,24,13,26,36,29,36,36,40,28,34,22,40,20,46,24,32,41,33,34,24,30,39,11,11,12,8,38,48,51,33,49,46,58,33,12,11,11,10,8,9,7,9,10,11,8,9,11,11,6,11,9,8,8,10,12,12,9,11,10,12,9,11,9,10,10,7,6,12,6,8,12,10,10,10,12,6,11,10,10,9,13,8,12,7,14,11,11,11,11,13,15,8,15,11,12,10,8,6,11,9,12,11,9,9,14,8,11,8,16,13,11,8,14,6,9,10,10,12,10,7,9,8,10,8,10,14,10,12,10,10,11,13,9,9,11,10,14,11,10,12,13,9,8,12,13,14,9,9,14,13,14,12,12,8,11,8,15,6,45,32,23,30,32,9,12,11,14,11,9,13,7,8,9,10,11,13,10,11,11,8,10,10,8,10,9,9,8,37,45,29,54,16,7,10,13,11,11,11,14,10,11,8,16,7,8,7,9,8,11,10,13,13,8,12,8,8,9,10,11,9,17,9,11,10,14,10,12,31,13,10,11,20,15,9,13,10,12,8,10,11,13,14,12,11,10,10,9,8,14,6,10,8,11,10,13,8,7,9,9,7,12,9,9,12,10,9,11,11,13,8,16,15,10,13,14,13,9,11,10,12,21,29,46,36,34,32,44,22,52,30,36,41,36,34,36,42,13,9,10,7,11,7,11,14,10,12,10,10,11,40,32,27,8,8,11,12,10,10,8,9,8,9,12,11,12,10,11,12,11,13,17,9,13,14,13,11,10,7,10,10,8,11,9,9,9,11,7,15,12,9,8,10,10,9,7,11,11,10,10,11,6,11,12,7,14,11,11,11,48,32,53,24,30,23,15,36,19,34,41,12,22,43,58,44,44,33,10,8,10,7,7,7,9,8,8,9,12,13,12,11,8,7,9,13,8,9,7,9,9,11,6,14,14,11,10,10,10,14,9,7,9,8,9,9,11,10,7,14,8,7,13,9,11,16,9,9,13,15,7,9,10,10,10,10,7,9,9,7,11,11,7,7,16,8,12,11,6,8,12,11,10,9,8,9,13,15,11,10,13,10,7,10,9,9,10,11,7,17,41,36,55,45,49,10,13,8,16,11,10,9,9,8,15,7,8,10,9,11,11,11,10,11,10,13,11,12,17,9,11,9,9,35,21,14,13,10,11,40,35,11,11,7,8,10,7,16,10,15,9,14,10,11,9,12,8,9,7,11,8,12,11,14,6,6,37,35,13,23,31,7,8,14,13,13,11,11,9,10,8,14,9,12,12,10,7,7,14,7,8,10,9,14,9,8,10,11,8,8,12,8,9,6,14,13,11,19,36,61,46,34,36,21,52,47,45,28,41,36,47,48,27,47,10,10,9,11,10,11,9,7,32,36,23,34,45,7,11,8,10,11,10,14,8,12,8,11,11,10,8,12,11,12,6,7,9,7,11,10,15,13,13,12,12,9,9,14,15,16,12,10,8,8,10,6,12,11,11,8,9,12,14,11,8,10,10,8,37,29,34,31,24,39,50,60,59,12,21,20,34,12,40,27,30,23,32,48,30,8,7,10,6,9,9,9,9,7,9,9,10,7,9,6,8,10,10,7,12,6,12,11,53,7,13,10,12,9,8,10,10,12,10,12,13,11,13,12,11,8,9,9,12,10,12,34,35,50,52,40,37,61,33,46,20,54,24,54,37,45,31,30,34,64,48,48,11,9,8,7,12,7,10,8,13,13,11,10,14,8,11,6,8,8,13,8,7,10,8,9,13,11,8,9,8,8,7,11,10,10,11,7,6,12,10,7,8,10,8,14,9,7,10,11,11,8,12,11,8,11,9,9,45,46,16,63,24,26,85,28,52,40,19,11,8,13,8,10,11,8,14,8,6,12,10,14,6,12,13,22,33,50,42,27,16,10,8,11,6,9,7,13,9,29,28,10,9,11,9,8,38,25,16,9,11,10,12,7,9,8,10,10,8,10,9,9,12,7,9,6,9,10,8,9,20,11,9,11,9,13,11,10,11,8,9,10,10,11,10,11,10,11,8,8,9,15,10,37,48,27,19,12,9,12,11,7,9,7,9,12,10,10,8,22,51,40,33,41,32,35,44,6,9,7,9,9,7,9,12,12,12,7,9,11,12,6,10,9,11,10,9,6,9,11,10,10,9,9,10,11,11,13,11,13,11,10,9,14,43,41,15,10,13,9,7,8,12,12,9,9,12,9,6,9,8,11,13,13,10,18,30,26,32,30,35,22,20,21,55,41,29,29,39,22,42,30,23,69,32,38,12,42,41,38,52,40,32,46,20,46,26,37,32,30,17,69,46,24,42,32,32,36,22,26,32,14,44,13,24,18,21,22,39,39,31,52,18,10,12,11,10,10,16,12,11,12,6,9,8,7,9,11,43,11,12,15,11,11,11,12,13,11,9,11,11,10,12,9,27,51,37,30,25,27,23,40,46,42,42,35,36,23,45,40,20,35,11,10,12,58,49,45,27,39,34,28,22,53,29,41,40,34,61,37,39,39,35,36,38,46,65,24,55,29,48,36,34,63,24,40,49,33,49,22,28,34,24,55,32,27,56,34,32,17,49,34,52,27,15,35,34,41,27,34,30,20,18,53,17,40,38,49,35,20,71,39,48,14,48,43,23,30,19,12,45,56,12,24,48,15,7,10,8,7,9,10,14,9,10,8,11,11,44,22,13,9,12,12,11,9,11,6,13,8,13,10,14,8,8,11,10,8,7,9,8,13,11,8,9,11,8,8,9,10,13,16,13,14,10,9,6,11,11,7,14,9,11,13,11,10,14,14,12,11,12,10,11,14,12,6,9,9,9,7,8,12,13,9,8,11,26,7,9,8,8,11,13,12,13,6,13,14,8,9,8,8,14,11,11,8,8,10,12,9,8,7,12,14,10,13,10,8,13,12,13,10,11,11,12,11,13,10,15,14,14,11,13,11,11,14,13,10,14,13,12,6,7,10,8,9,12,8,7,8,8,11,6,14,9,6,13,11,11,9,11,10,13,12,11,11,10,8,11,8,10,10,6,9,8,7,9,7,8,9,7,14,11,34,13,6,24,21,16,35,43,11,9,12,26,28,45,50,53,7,11,17,15,10,9,9,10,10,7,10,13,13,9,6,30,25,51,35,41,45,48,36,13,37,67,30,17,20,63,11,43,26,26,32,35,39,35,29,25,43,55,34,11,19,41,52,45,29,46,29,24,57,40,45,15,30,42,31,33,36,68,26,25,24,42,49,26,23,31,56,48,44,10,8,12,18,38,60,29,32,32,24,29,11,34,37,40,11,39,26,45,49,50,43,30,48,20,43,35,26,43,28,14,36,52,39,45,59,44,32,42,48,46,27,36,37,56,24,35,46,40,19,23,51,12,39,54,69,30,58,50,31,27,41,45,40,20,67,41,35,47,60,28,68,28,67,20,31,25,23,24,34,45,29,46,25,30,49,32,31,52,45,50,60,39,29,44,23,32,14,49,25,30,44,21,23,43,38,31,16,49,31,27,35,52,51,49,27,59,22,53,40,18,44,33,50,29,27,40,33,40,56,46,39,38,20,31,11,7,12,8,44,22,48,32,36,19,37,29,60,46,58,31,22,25,40,36,27,22,42,43,22,48,31,39,51,24,34,68,70,34,64,66,51,53,61,45,33,49,73,38,63,54,35,18,43,47,32,50,63,83,39,36,37,36,27,78,22,48,41,45,23,43,39,42,17,35,28,43,37,23,25,37,37,39,45,64,29,48,33,33,30,54,40,38,46,55,29,17,40,57,47,54,34,39,47,37,27,24,40,45,54,46,34,29,77,29,50,43,25,65,36,45,22,49,44,52,30,64,60,43,48,37,63,50,16,29,39,46,17,56,8,7,6,6,9,6,7,8,7,7,8,8,8,7,6,8,7,12,8,10,8,8,8,13,10,6,8,8,13,12,14,7,10,12,10,12,13,12,8,10,9,10,11,9,8,32,13,12,9,11,10,7,9,10,9,13,10,12,11,11,9,10,9,12,8,7,9,8,9,14,10,9,10,7,15,8,12,9,9,8,9,6,10,11,7,12,16,41,46,10,9,12,12,11,9,9,6,8,13,9,13,10,14,24,7,11,12,14,11,7,13,19,16,11,9,12,8,11,8,12,13,9,8,8,10,8,9,10,7,8,11,12,7,6,13,13,14,12,12,12,13,13,8,11,9,7,10,11,7,11,11,6,12,13,8,11,9,10,8,8,9,8,8,8,11,9,28,12,11,12,9,9,9,34,24,10,8,14,16,13,14,11,14,9,12,6,8,10,9,14,9,9,10,11,7,13,7,9,9,22,15,17,24,19,33,27,11,8,9,12,13,8,12,11,12,7,7,10,10,15,12,9,9,10,10,7,11,11,14,12,11,55,30,36,27,38,37,8,11,10,8,8,16,13,14,11,8,12,6,9,8,11,10,12,8,6,10,8,11,10,11,12,10,11,10,8,12,10,11,8,7,7,7,14,10,9,6,13,12,10,11,17,6,14,11,7,14,10,9,11,7,9,8,10,9,9,14,10,18,6,9,10,11,7,10,8,16,9,10,10,8,11,10,9,11,10,11,13,10,38,37,11,12,10,8,13,6,12,9,14,10,14,10,6,25,35,53,48,25,46,5,11,9,7,13,12,7,12,9,12,8,12,13,8,15,15,25,7,9,9,12,9,12,13,11,9,6,13,9,9,11,7,6,9,7,10,9,10,11,11,8,6,13,8,8,11,30,25,46,43,21,19,23,10,10,8,6,8,9,9,8,37,37,35,35,41,28,48,23,12,10,14,9,10,12,12,11,15,11,11,10,11,9,9,11,10,6,10,8,11,7,10,10,15,12,11,12,40,35,37,46,13,11,9,6,11,11,6,10,8,7,8,16,9,8,8,9,11,14,11,9,7,16,9,7,10,12,8,29,50,25,11,9,8,10,10,9,13,13,38,37,13,9,11,9,8,8,8,13,12,8,9,10,8,9,10,9,34,40,10,9,13,10,10,14,7,10,9,12,8,6,10,54,49,24,7,13,5,11,12,9,9,11,8,10,12,8,9,16,8,13,10,15,9,9,9,10,13,10,13,8,9,8,10,7,9,8,8,8,11,8,11,12,11,9,10,7,7,39,12,7,7,7,11,11,10,6,7,10,11,15,13,13,10,11,20,15,9,13,10,12,8,10,11,13,14,12,11,10,11,10,8,14,15,12,15,16,14,14,12,32,11,6,8,11,11,9,13,9,10,6,10,9,10,8,11,8,12,10,14,9,12,11,13,6,10,9,7,7,8,7,9,9,9,11,9,9,9,14,14,12,7,11,17,7,10,10,13,9,17,10,13,6,8,9,8,9,8,11,8,8,6,9,9,16,12,8,9,14,8,7,10,7,8,10,13,9,10,11,11,10,13,11,9,12,9,10,12,10,10,10,9,8,9,11,11,14,9,9,9,14,6,11,15,10,8,9,10,15,10,7,12,12,11,8,7,10,12,11,6,9,16,10,9,9,10,10,5,7,9,13,7,13,10,12,13,9,8,9,7,8,8,11,48,24,21,37,25,28,10,38,25,28,13,51,17,30,60,32,32,28,37,49,28,27,55,32,45,38,54,44,36,48,30,30,69,26,35,29,23,40,64,26,28,32,15,8,8,9,9,10,10,11,10,11,12,13,10,10,12,12,9,12,6,16,10,11,13,9,11,9,10,13,10,9,10,10,9,13,11,16,12,9,10,13,12,13,15,7,11,12,11,12,14,10,12,12,10,10,15,10,14,15,7,12,9,10,12,11,12,13,12,12,10,11,11,10,10,9,9,11,12,9,8,10,11,13,8,11,11,8,10,11,8,7,10,9,12,10,10,12,8,11,12,12,12,11,10,9,10,11,13,11,10,11,13,12,10,11,11,10,16,8,11,11,10,11,11,9,10,10,11,10,10,9,14,11,12,14,11,13,13,10,9,14,9,9,11,10,11,10,9,16,11,10,9,11,10,12,8,11,10,11,9,12,12,10,13,10,11,15,12,13,15,10,10,12,10,10,11,16,10,14,12,13,10,8,7,10,13,11,10,11,13,10,10,9,7,17,14,10,11,9,13,11,12,12,10,12,11,13,12,11,11,10,11,13,10,10,12,14,11,9,15,12,12,11,12,10,10,8,12,9,11,11,9,11,9,10,9,10,15,9,12,9,8,9,12,11,13,9,9,11,11,12,10,13,9,13,10,11,11,14,12,10,10,10,13,10,11,7,10,9,9,9,9,9,8,13,9,13,11,16,13,15,10,15,14,9,14,14,10,15,10,11,13,12,8,9,15,12,10,9,7,6,9,9,12,10,10,11,12,9,9,8,12,7,10,8,12,12,11,12,10,9,10,11,11,12,11,12,9,8,10,12,12,15,16,10,12,11,13,15,12,12,9,11,11,14,12,14,11,13,12,9,9,11,11,9,12,8,11,8,11,9,12,8,11,10,9,10,12,10,10,10,9,8,10,9,9,10,9,11,9,10,11,11,10,11,8,10,12,12,11,9,13,7,13,9,10,10,11,10,11,12,9,10,11,10,11,14,10,14,12,9,11,12,11,10,7,9,9,10,11,12,9,12,9,7,10,12,9,13,11,11,11,10,9,9,9,13,9,9,12,11,9,9,9,7,9,7,10,9,13,9,8,12,9,11,8,11,10,13,10,9,12,12,13,9,10,12,12,11,14,10,11,11,14,12,13,9,9,10,11,10,10,8,8,12,8,7,9,10,14,9,8,10,13,9,12,10,11,10,8,11,9,10,13,15,16,13,16,13,13,12,11,11,12,12,8,9,11,14,9,10,11,11,7,10,13,13,9,10,13,11,9,12,13,8,13,14,15,11,12,11,11,11,12,9,14,10,12,13,12,8,8,14,15,8,12,12,11,11,10,13,14,12,12,13,13,11,12,10,10,10,10,12,12,12,12,12,9,13,13,12,12,10,12,15,9,9,12,11,12,12,13,14,10,9,9,10,12,12,9,14,12,11,12,12,12,9,10,14,10,15,15,15,14,11,10,11,15,11,13,14,13,9,8,10,9,10,14,13,11,15,12,14,12,12,9,12,10,11,15,9,11,11,15,11,12,10,12,12,14,13,9,11,12,8,12,12,12,10,13,12,15,10,13,13,11,12,11,12,10,12,12,14,11,12,11,14,11,19,9,15,15,14,11,14,11,10,11,13,11,8,12,15,10,9,10,13,12,11,12,12,14,12,10,13,13,13,13,11,11,11,15,15,12,10,12,14,14,8,10,12,9,12,13,13,10,11,13,11,11,10,12,11,12,13,14,13,15,7,12,12,11,9,9,12,12,11,16,10,11,8,10,14,15,14,10,11,15,11,11,11,12,11,16,15,12,14,13,9,11,11,12,9,12,16,12,9,8,9,9,11,11,13,11,10,11,18,16,7,13,14,10,11,11,7,12,10,11,11,9,13,13,13,16,10,10,11,10,9,14,13,10,13,15,14,10,11,14,12,9,13,13,13,11,13,14,10,13,14,13,9,11,12,11,12,11,11,12,12,14,13,12,10,9,16,13,16,12,15,10,14,13,14,10,10,12,12,11,13,12,13,10,12,13,11,13,15,13,10,12,12,11,7,9,14,12,14,12,12,9,16,9,14,10,13,14,10,11,13,11,14,8,10,14,12,9,11,13,15,9,9,9,11,11,17,12,18,15,11,14,10,8,10,9,12,10,12,12,14,11,11,12,12,11,14,15,11,13,12,10,7,12,16,11,12,12,12,13,15,10,14,13,11,12,13,11,10,8,8,13,10,10,12,13,13,13,10,10,13,15,10,11,11,12,18,13,15,8,12,12,11,17,10,11,11,11,19,10,9,12,14,10,9,12,14,10,9,10,12,10,16,13,15,8,9,12,10,13,10,11,12,16,12,12,10,12,10,10,12,16,12,10,14,12,10,15,12,12,11,10,10,9,10,10,13,11,13,12,11,9,10,13,14,13,9,10,12,12,12,11,13,9,11,9,10,10,9,11,11,9,12,10,11,8,16,13,15,12,13,12,12,10,10,8,12,14,13,14,9,13,13,10,8,12,12,13,11,14,11,13,14,10,10,12,13,14,12,10,12,14,12,11,15,10,13,11,10,11,12,14,11,10,13,12,16,9,11,13,14,14,12,11,9,10,13,13,15,14,15,13,9,12,10,14,10,10,13,14,15,14,16,10,13,11,14,12,15,10,11,9,12,11,12,9,10,13,12,11,10,9,11,13,8,11,11,12,17,15,13,12,8,8,11,13,11,12,10,10,10,12,14,9,11,10,15,10,11,9,13,9,13,13,11,15,10,10,18,9,14,9,9,11,11,10,14,12,11,13,12,11,10,11,15,13,10,11,14,12,12,10,13,11,10,9,14,9,13,11,11,13,11,9,12,13,14,10,10,10,12,12,10,8,16,8,11,9,12,12,13,13,9,13,11,11,9,8,13,10,14,11,10,11,12,12,13,9,15,12,13,14,9,14,13,11,13,11,14,10,9,16,12,12,12,10,12,14,13,13,14,13,13,10,14,12,11,14,12,7,12,15,12,12,10,11,12,10,8,11,12,9,11,12,9,8,13,8,10,12,9,10,9,10,9,10,11,12,10,9,15,10,12,10,10,14,8,12,15,9,11,10,10,8,10,11,14,10,11,10,9,10,10,10,14,8,11,9,10,8,13,16,12,11,15,10,8,13,14,10,11,9,10,10,11,10,10,10,9,8,9,10,10,12,10,7,11,10,9,10,17,13,14,12,7,8,10,9,9,9,9,9,9,9,10,12,12,12,10,12,8,9,10,15,13,7,12,12,12,12,14,13,11,16,11,12,11,17,9,12,13,12,14,14,10,12,11,10,12,11,12,10,14,11,10,13,13,14,11,8,6,7,11,9,12,12,17,14,12,11,11,11,10,9,8,10,11,12,9,22,12,13,13,13,11,11,13,12,13,11,13,14,8,9,11,10,10,10,12,11,8,13,14,13,13,12,12,9,15,10,11,13,13,13,13,12,15,12,13,10,15,8,13,13,13,9,9,11,15,13,10,11,14,13,11,13,8,13,11,11,17,13,15,11,11,9,10,11,13,11,12,12,12,11,16,12,9,13,11,10,15,13,14,10,10,11,13,14,13,12,12,14,14,12,9,11,14,13,13,14,13,12,12,11,11,12,14,10,12,12,15,9,10,9,13,12,10,12,13,9,9,9,6,10,11,11,13,12,12,10,14,15,20,10,10,12,14,12,12,17,18,12,8,8,10,10,11,12,7,9,12,12,9,11,12,11,15,11,13,7,11,11,9,9,11,13,11,10,11,12,9,8,11,11,14,11,8,12,11,13,12,9,12,13,13,14,15,13,13,13,11,13,9,13,12,14,11,11,15,15,12,15,11,11,14,15,13,10,8,10,14,12,14,11,16,10,14,11,13,14,11,11,11,11,10,14,12,12,11,14,10,11,14,9,12,11,11,13,11,12,10,9,16,12,12,11,11,9,13,15,14,10,11,11,11,9,13,12,11,9,11,14,11,11,12,10,15,11,11,11,14,13,10,11,11,13,10,14,12,11,11,11,10,14,15,17,14,11,11,12,11,8,11,11,11,12,12,14,6,9,14,9,15,9,11,11,9,14,10,9,10,11,12,12,10,9,13,11,13,8,10,7,12,8,9,6,8,7,8,9,10,10,11,13,9,10,8,11,11,12,12,12,10,10,10,9,9,12,13,16,9,9,10,11,12,11,9,10,11,9,11,10,11,10,11,11,12,11,9,9,8,8,17,17,11,10,10,12,11,10,12,14,13,10,10,9,9,13,9,11,9,10,11,11,10,9,9,8,11,9,10,9,9,10,13,8,8,11,11,12,10,10,11,12,11,10,10,10,12,10,10,9,11,9,12,12,12,11,10,9,9,12,14,11,12,15,25,33,39,33,34,63,29,28,52,25,48,13,44,33,40,21,43,40,41,67,35,43,13,46,41,31,30,41,40,50,55,36,49,25,27,54,23,43,47,41,22,35,33,26,43,37,70,47,34,26,33,33,41,14,35,28,46,26,25,16,36,43,39,22,28,59,36,36,34,27,52,20,21,35,25,27,32,52,30,35,37,27,38,24,27,38,36,22,30,28,24,59,17,39,51,36,25,36,36,61,50,53,29,27,55,18,55,38,35,21,26,47,41,29,32,69,32,33,36,41,22,40,27,54,29,30,33,56,22,48,45,43,13,10,12,10,24,10,11,10,11,10,11,11,12,10,14,9,9,9,10,13,10,12,20,13,10,10,11,12,9,8,14,11,20,11,11,11,25,11,38,24,18,20,19,20,20,21,22,21,18,15,25,19,32,17,40,23,49,31,32,10,23,12,13,37,30,27,28,18,39,33,51,71,31,40,58,26,58,51,25,36,38,34,46,52,53,45,31,27,44,45,66,51,30,59,23,45,38,34,28,26,42,24,68,35,53,30,27,40,29,50,52,46,56,54,61,37,32,64,27,31,40,30,39,30,24,9,11,11,11,9,12,16,29,19,11,13,10,22,10,11,11,10,10,12,12,10,12,11,11,9,10,50,52,22,54,29,50,57,39,52,67,51,55,43,17,44,59,45,17,47,11,28,18,37,49,35,26,31,30,60,13,22,28,24,50,24,36,44,17,15,14,15,41,23,11,11,11,11,16,33,10,11,12,12,13,31,37,21,32,18,28,15,12,15,17,21,17,17,14,17,41,34,54,35,40,49,27,30,25,34,17,11,10,43,44,39,38,52,26,31,39,44,65,34,30,58,41,35,20,31,55,42,36,23,35,38,30,20,62,32,63,33,29,40,61,20,40,51,24,31,52,48,26,41,26,26,20,10,37,11,8,10,9,8,11,8,8,7,10,8,8,10,11,7,10,9,8,8,13,10,8,6,11,7,8,9,7,8,12,10,9,12,7,8,10,10,10,9,8,11,10,12,6,12,10,12,10,10,8,9,8,11,15,12,11,6,10,9,9,10,9,7,9,8,13,7,7,5,5,9,8,12,9,10,9,8,11,11,9,10,11,7,7,9,8,6,9,9,7,7,7,7,12,13,7,7,8,11,10,10,15,8,13,11,13,6,11,13,12,14,11,6,10,7,10,7,9,10,8,10,9,17,12,12,12,11,11,10,14,11,10,11,11,11,9,10,14,11,11,9,7,7,9,9,7,12,13,12,11,11,9,12,9,12,10,8,10,7,7,8,10,12,14,14,15,11,11,16,10,8,11,9,11,7,8,11,9,14,14,15,10,12,9,10,12,11,10,12,10,11,11,11,10,12,11,6,8,9,10,11,6,7,8,9,8,9,7,8,10,8,10,9,11,7,8,13,9,12,10,7,8,8,8,11,9,12,8,7,7,7,13,8,13,11,8,7,10,13,12,14,15,12,8,12,13,11,8,9,11,12,12,11,10,9,6,12,8,10,9,8,12,10,12,26,13,21,10,17,16,11,10,11,14,8,10,9,12,10,41,33,27,41,44,27,9,9,8,8,11,9,13,13,11,8,9,7,9,12,10,11,9,9,10,8,9,9,10,9,13,11,9,10,11,8,8,7,8,7,6,9,12,8,9,10,9,12,10,10,13,15,13,10,10,10,9,14,13,10,9,7,8,11,10,9,14,15,13,14,14,13,14,15,17,10,9,8,8,14,12,11,6,8,7,8,7,14,11,13,10,12,12,13,12,11,10,14,14,15,14,8,9,9,12,10,12,13,10,9,9,8,9,7,7,11,12,9,8,9,11,11,9,10,7,11,33,32,10,11,11,25,47,30,27,30,12,10,10,10,7,7,9,8,8,8,10,6,7,6,7,11,10,17,10,8,12,6,8,9,60,40,44,51,22,36,8,7,10,10,11,8,13,13,16,10,10,10,22,21,27,31,22,27,41,35,36,43,17,32,30,22,46,29,30,33,36,9,31,43,39,10,9,10,10,12,11,8,29,24,25,35,23,13,25,32,50,26,38,27,59,9,8,14,8,8,8,9,9,12,10,9,10,13,16,9,11,10,9,11,9,7,10,12,8,12,10,9,10,14,11,9,9,12,12,7,10,11,12,16,9,17,9,12,10,13,12,13,11,11,12,15,13,15,13,13,8,12,10,10,10,12,12,11,9,12,8,13,14,12,20,8,12,10,14,10,10,14,9,13,12,11,10,10,11,8,12,10,11,11,11,13,10,15,9,10,11,11,6,9,12,10,9,14,15,12,13,41,6,13,11,9,8,15,10,8,14,10,11,11,15,17,14,15,9,11,13,8,11,9,10,11,14,11,15,15,10,40,15,31,23,42,25,45,32,9,9,11,9,11,7,10,10,8,8,9,12,12,8,11,7,9,13,12,11,16,11,14,12,13,9,9,13,14,12,11,12,13,15,15,12,12,10,13,16,10,11,9,12,14,19,9,8,15,9,35,53,11,10,9,10,11,13,12,12,20,14,15,11,9,10,11,9,9,11,12,11,8,12,9,11,10,7,8,8,11,13,9,14,10,8,7,10,12,14,12,13,14,15,10,7,10,8,10,13,9,14,8,12,7,10,7,9,9,13,8,13,11,10,9,8,10,13,12,9,10,9,11,11,13,8,11,11,11,11,15,14,12,11,10,13,11,10,9,11,10,11,10,12,10,6,10,8,13,9,9,10,14,9,9,15,13,9,8,9,10,14,10,12,9,9,11,10,9,10,41,51,26,15,10,9,12,9,9,8,9,8,11,8,11,9,8,11,9,9,11,10,9,10,8,7,11,8,12,9,13,8,9,9,11,9,8,9,8,10,11,10,13,11,11,10,11,7,12,6,10,9,11,12,8,12,9,12,12,11,12,9,8,10,7,8,10,10,12,30,33,9,7,7,9,7,12,12,11,9,11,7,12,7,11,9,8,9,14,14,11,15,12,13,10,11,10,11,13,10,13,12,8,15,8,14,7,15,7,14,9,11,7,9,8,10,11,11,12,13,12,7,10,11,11,11,7,10,9,9,8,11,9,9,9,6,10,8,9,12,11,13,12,12,9,12,11,11,6,7,10,11,5,5,8,8,8,8,11,8,8,6,11,7,15,14,11,8,9,10,13,8,13,13,12,7,7,14,13,10,8,8,8,9,7,8,12,10,11,11,11,7,16,11,7,13,11,15,14,32,17,48,7,11,10,11,9,13,11,8,10,11,8,15,12,14,10,14,10,11,11,7,11,6,10,9,23,38,39,12,12,9,12,15,14,9,12,9,12,8,11,12,16,13,11,8,9,13,12,10,11,9,10,7,9,10,9,8,9,9,12,9,10,10,8,13,12,11,13,14,10,11,10,12,14,15,9,10,9,8,16,7,12,7,13,13,11,10,8,9,15,11,16,13,10,10,11,9,13,12,9,17,10,11,9,16,12,11,11,9,9,14,10,14,14,12,13,9,10,8,9,7,17,12,11,12,8,13,14,13,10,13,27,37,41,31,43,40,31,37,24,28,35,42,31,39,23,49,11,16,8,7,10,7,7,8,7,9,8,11,8,12,12,12,12,8,10,7,8,7,6,6,10,8,9,10,11,9,7,9,11,6,10,5,8,6,6,7,11,9,13,12,11,8,11,10,10,7,9,12,6,7,12,10,8,8,11,10,7,7,9,32,31,10,12,10,10,12,11,7,9,9,11,9,6,7,8,9,12,12,12,8,9,9,9,8,9,12,12,11,17,25,21,36,11,8,10,9,10,8,8,7,13,18,9,28,43,23,40,19,20,44,32,29,32,47,7,11,12,8,8,10,15,7,11,8,10,13,9,11,9,8,9,13,9,10,10,10,7,7,8,10,7,11,11,14,13,10,9,8,12,8,11,8,6,9,11,8,10,40,11,9,37,6,7,6,6,6,8,38,39,15,14,15,11,11,11,13,13,14,10,11,11,12,8,6,11,6,9,10,10,13,8,8,8,8,13,12,12,11,12,9,13,16,8,11,11,9,14,6,10,15,12,14,12,22,14,9,9,10,9,10,11,12,12,8,11,10,10,10,8,8,8,12,9,11,11,10,9,12,8,8,11,11,10,7,9,9,11,9,14,9,10,11,8,11,8,11,10,12,11,14,16,9,11,11,12,15,14,14,11,11,11,9,14,19,8,10,18,12,14,14,14,13,15,12,21,14,13,16,8,7,10,6,13,9,9,8,8,13,8,8,7,13,8,8,8,8,10,11,9,9,7,9,12,11,11,11,10,9,13,12,10,9,15,13,13,13,7,11,11,10,10,12,10,11,13,12,10,9,9,7,13,10,11,9,10,12,12,11,14,11,12,9,9,9,9,13,15,13,10,40,6,9,9,8,7,9,7,13,8,9,11,9,9,11,10,10,14,14,13,17,15,16,13,9,13,9,14,8,11,13,11,12,14,12,39,47,15,11,17,13,11,12,12,14,10,11,12,13,10,11,16,16,14,15,8,9,12,8,9,7,8,11,7,9,11,12,8,20,9,9,9,8,10,8,6,8,8,8,13,17,9,9,10,12,14,9,14,11,9,9,10,11,9,16,8,10,10,10,10,12,11,13,12,11,10,13,11,8,13,13,12,15,16,12,13,9,9,11,13,9,9,14,11,9,14,9,9,9,9,7,17,12,12,9,9,11,11,11,11,8,7,6,10,7,10,8,11,12,12,11,11,15,13,16,11,16,13,8,12,11,18,14,14,13,14,11,15,13,12,8,9,8,9,10,11,8,10,10,42,22,7,11,9,10,15,8,9,7,13,17,13,9,12,8,11,12,8,13,7,11,13,14,10,8,10,10,12,17,10,9,14,15,17,16,18,9,10,9,11,10,13,13,15,10,9,11,13,10,11,8,11,12,13,14,12,10,7,10,9,7,13,10,12,11,13,13,10,10,8,8,13,11,12,7,9,5,7,8,12,17,8,7,11,14,11,10,11,7,12,16,10,14,9,13,11,13,14,11,13,7,6,9,8,12,10,12,11,7,13,9,13,15,11,11,40,37,33,38,44,31,31,56,12,12,9,12,12,9,14,20,47,44,22,39,45,14,7,12,11,13,7,11,10,14,15,10,11,10,15,10,10,14,15,10,10,11,12,11,6,9,9,17,29,14,13,10,13,10,11,11,9,11,9,13,8,11,14,14,13,12,18,11,12,8,12,9,9,14,12,14,7,10,12,11,9,14,14,9,12,8,9,10,10,8,10,10,8,9,10,10,9,10,7,9,8,9,8,13,11,12,10,13,12,14,13,11,12,11,12,15,6,9,5,7,9,7,10,7,14,8,10,12,11,14,11,15,12,12,9,12,10,10,7,7,7,6,9,12,11,8,12,10,9,10,14,12,13,13,13,11,10,9,12,14,12,12,12,12,12,9,14,14,12,11,10,15,10,13,13,13,12,8,14,10,11,13,10,11,8,16,12,7,12,9,12,10,12,15,9,8,12,11,12,9,15,9,11,10,11,11,8,9,10,13,11,11,14,9,11,12,13,12,10,11,11,12,11,14,14,8,9,12,9,11,11,14,12,12,10,16,10,10,13,11,10,12,11,9,10,9,13,9,8,12,10,9,11,9,10,15,8,12,12,16,8,11,12,9,11,8,7,10,11,7,6,7,10,9,12,12,12,12,10,8,10,10,13,11,9,12,11,13,14,8,13,9,11,12,9,12,10,10,32,51,39,36,27,39,43,36,32,33,52,49,34,26,38,61,29,41,31,29,23,54,30,37,43,61,14,42,37,33,37,44,28,35,36,36,11,38,36,20,30,29,39,14,14,8,11,7,10,10,10,9,11,12,12,10,10,8,10,8,6,6,12,8,7,9,9,9,9,9,10,9,11,7,9,10,8,10,8,9,14,11,9,12,7,46,21,31,41,26,24,37,22,53,51,18,38,12,39,25,24,40,23,11,6,14,9,11,11,10,9,12,8,12,11,13,8,11,13,12,8,10,14,13,9,9,10,10,13,12,9,8,11,8,10,6,10,8,13,7,10,8,10,6,8,13,9,9,25,24,42,56,45,38,18,38,37,33,10,7,7,8,11,12,8,6,12,13,9,11,9,9,12,10,11,7,10,7,14,10,12,8,10,12,10,9,9,9,8,9,6,10,9,9,10,11,12,11,11,14,11,12,9,9,11,10,7,8,10,7,10,13,12,13,11,12,11,14,11,9,9,12,9,11,9,10,12,11,12,13,14,11,11,12,8,12,10,12,12,11,10,13,11,6,11,8,10,10,7,9,7,10,12,11,11,11,10,10,9,13,10,9,14,11,10,9,11,9,10,10,10,9,9,11,11,9,11,11,9,9,8,10,11,9,9,7,10,9,17,11,15,8,8,9,13,10,10,12,10,12,11,12,11,11,8,11,11,9,8,9,9,7,12,10,8,7,13,13,14,8,12,12,15,10,12,12,10,7,11,9,14,11,11,12,10,11,10,11,9,9,8,12,11,10,12,10,7,11,8,9,11,12,11,8,11,7,10,12,14,16,12,9,13,12,12,8,15,13,11,9,10,10,7,9,9,11,10,11,13,10,10,14,10,11,11,11,8,11,13,11,11,14,13,13,8,10,11,11,11,10,9,11,9,7,8,10,11,15,9,13,10,13,12,10,11,11,15,9,11,12,10,13,9,10,9,10,8,9,11,10,7,12,9,9,11,12,8,8,7,6,11,9,11,10,11,12,12,12,13,13,11,7,12,9,11,12,12,10,14,10,10,13,8,15,15,9,9,9,12,12,14,14,13,10,10,10,9,12,10,9,10,9,10,11,11,11,11,8,12,10,9,8,13,9,8,7,9,9,12,12,10,10,10,9,9,10,8,10,9,11,15,9,12,11,7,12,10,11,17,10,9,7,10,9,9,6,9,12,8,9,10,12,11,8,9,11,10,7,10,10,9,12,12,13,9,11,12,12,12,12,14,7,17,10,11,13,8,12,13,9,8,10,8,10,13,9,10,12,9,11,9,10,9,12,11,13,11,11,12,12,9,12,11,9,14,8,14,8,9,11,31,17,37,45,46,40,48,41,38,30,59,32,8,10,10,12,17,8,13,12,9,9,10,11,11,11,9,11,9,10,12,9,8,8,10,11,11,13,10,10,9,11,10,10,12,14,9,9,10,8,9,8,10,12,10,11,10,13,13,10,7,9,12,12,9,14,13,13,12,9,12,12,8,11,15,13,9,15,9,16,9,18,13,7,14,9,16,7,8,12,9,11,11,8,8,8,8,7,13,11,11,7,14,9,13,7,11,9,13,11,10,8,13,6,8,7,6,10,6,9,9,12,9,8,12,7,9,8,7,6,8,7,9,10,6,8,8,8,8,9,11,9,8,9,9,12,8,12,9,9,8,13,8,10,10,11,9,11,10,9,9,10,8,8,10,11,13,7,11,11,10,9,14,11,10,10,13,9,12,13,9,12,9,8,12,9,12,12,9,11,8,10,11,12,13,12,10,10,14,9,9,7,10,8,10,10,10,6,10,7,10,7,9,9,7,9,16,9,10,10,10,7,9,9,9,8,14,10,13,7,11,6,8,12,10,9,10,9,10,10,11,13,10,9,12,9,12,9,12,8,13,10,8,11,9,12,10,8,12,10,8,8,10,8,8,8,7,9,10,8,14,12,11,10,9,11,11,11,9,9,11,11,10,10,13,13,12,11,7,11,13,11,12,10,9,13,10,10,11,11,11,12,13,13,13,14,10,12,14,14,12,11,8,8,10,8,11,11,8,7,9,10,7,10,13,11,15,9,12,14,14,7,12,9,8,12,13,12,13,11,9,10,8,12,13,12,13,14,12,13,13,9,10,10,13,11,12,9,10,12,12,12,12,11,11,8,14,9,12,13,11,5,15,10,11,13,14,7,13,13,7,8,11,10,12,7,12,12,10,9,7,12,9,10,9,11,9,13,13,11,12,10,9,13,11,13,9,11,12,13,8,10,15,7,9,14,9,7,15,10,10,9,14,12,11,8,13,13,11,9,10,10,10,8,10,7,9,8,8,8,13,10,12,12,9,9,15,10,12,14,11,11,8,12,11,13,9,14,15,8,10,13,7,11,9,10,9,13,15,11,13,12,10,14,9,10,7,10,9,9,10,13,7,9,8,10,10,8,7,11,13,8,7,9,10,12,14,11,8,8,7,9,9,8,13,9,9,11,9,7,10,8,11,11,10,12,9,9,11,8,13,12,8,9,12,12,9,10,9,11,12,9,9,10,11,15,8,8,10,9,9,10,9,9,11,14,9,12,11,11,11,12,13,11,10,9,8,8,9,8,13,7,12,9,12,11,12,9,12,10,10,11,14,13,10,8,10,10,12,9,13,13,13,9,9,15,10,12,12,6,10,11,7,7,13,8,11,9,9,10,12,11,11,8,9,7,8,11,11,12,10,12,10,9,13,14,13,15,8,10,12,12,5,9,8,8,11,14,10,7,9,8,22,31,37,26,8,12,12,6,10,15,8,9,10,8,8,11,9,10,10,12,8,9,8,14,11,11,10,10,13,10,10,9,10,13,14,11,11,13,12,12,14,13,11,15,11,10,12,12,12,10,8,9,12,13,12,14,10,11,14,10,10,13,9,12,14,9,11,10,15,12,11,11,9,12,14,9,11,14,14,16,12,9,12,13,12,11,12,10,14,11,10,10,14,14,11,14,11,7,15,10,10,11,14,12,17,9,10,14,12,9,13,13,6,10,11,11,9,15,10,12,11,10,15,10,8,8,14,12,11,14,12,10,12,10,10,12,12,10,14,13,9,8,10,8,9,10,10,13,12,16,13,12,8,7,9,7,8,8,15,12,14,9,10,9,14,11,12,10,14,15,16,10,11,10,11,11,16,13,10,12,12,11,9,14,12,11,14,14,10,11,14,10,9,10,8,14,12,13,12,14,7,9,9,9,10,12,12,11,15,12,10,9,8,13,10,8,13,8,8,12,9,12,14,8,14,9,11,13,9,9,13,6,6,12,10,7,14,9,8,8,8,6,6,7,9,7,12,11,11,10,10,10,6,9,10,8,7,14,7,8,9,7,9,13,7,11,8,11,8,11,7,10,11,13,8,12,9,10,10,8,11,10,9,12,9,8,13,8,9,11,8,10,10,13,11,10,9,9,7,8,9,14,9,12,9,14,10,9,14,9,8,10,11,14,11,11,18,11,13,9,9,11,11,17,13,17,13,17,9,15,8,11,8,12,13,9,10,11,10,8,9,13,14,9,10,13,16,15,9,12,10,9,13,10,11,13,12,9,10,11,10,11,10,9,13,11,11,12,12,11,10,13,12,13,13,12,11,12,11,11,10,12,8,11,8,8,10,12,13,11,12,11,9,11,12,12,11,15,14,11,15,11,13,8,12,9,11,10,8,9,9,9,11,15,8,9,9,14,11,12,11,11,8,11,11,12,11,11,9,12,9,11,10,11,12,12,11,13,8,10,11,11,13,9,12,11,10,10,7,14,7,9,11,8,6,14,14,8,10,13,10,9,12,11,11,12,11,14,12,15,12,11,10,12,16,67,10,13,10,8,10,11,10,11,11,11,9,12,10,10,14,12,11,14,10,12,13,15,13,12,11,11,10,11,10,9,9,11,10,9,9,10,10,13,9,11,14,9,8,11,10,11,10,11,13,12,9,8,9,12,11,12,8,9,9,10,11,14,13,10,11,7,7,10,9,12,9,9,7,9,7,9,6,13,10,10,8,13,11,9,9,13,10,10,10,7,11,12,11,10,13,10,14,13,11,9,13,14,11,12,12,15,10,11,9,9,11,15,13,14,11,11,13,16,13,10,9,8,13,14,11,12,10,12,12,11,13,13,19,14,13,19,13,12,12,13,11,10,10,9,12,11,16,15,12,13,13,7,10,9,12,9,15,12,8,8,10,8,10,6,8,7,11,11,8,10,9,10,9,11,7,11,9,9,9,9,7,10,8,9,9,7,9,10,11,10,10,9,11,11,10,11,10,6,8,15,12,12,10,10,11,8,12,10,12,13,10,8,12,10,13,15,8,12,12,12,13,11,9,8,14,11,15,15,6,10,10,8,10,8,14,10,13,6,8,11,9,12,9,9,7,11,11,8,10,9,10,11,12,8,8,9,9,9,13,14,13,10,8,12,13,14,12,14,12,10,11,13,12,14,13,10,8,11,11,12,10,11,17,13,14,9,15,12,12,11,17,11,12,11,10,10,11,10,8,8,8,8,8,11,12,13,17,16,11,13,11,7,12,7,8,7,9,8,7,10,8,13,8,15,10,10,9,12,10,17,6,10,9,9,8,7,12,10,10,11,8,10,11,8,9,11,16,10,11,8,9,11,11,13,11,10,12,11,9,8,8,8,8,10,10,13,12,11,14,12,12,13,11,12,10,9,9,9,7,11,7,11,8,12,11,10,9,14,8,10,11,14,13,16,10,11,10,10,17,14,9,10,15,8,9,11,12,11,11,9,8,6,7,7,11,13,11,10,11,6,13,13,9,16,16,16,21,9,14,11,9,10,10,12,12,9,9,8,12,12,9,13,13,8,8,10,8,6,9,7,9,8,11,12,11,8,17,6,13,6,13,8,10,10,10,9,10,7,8,13,15,14,8,10,8,10,13,10,15,14,11,13,9,12,12,10,12,43,31,65,67,20,12,6,10,11,9,8,11,6,46,11,13,10,11,9,8,10,11,13,13,9,9,7,9,8,12,10,11,10,11,10,8,11,14,10,8,8,10,8,8,8,11,9,9,11,7,10,10,15,8,14,10,9,7,8,11,7,10,8,9,8,9,11,13,11,11,11,11,10,9,8,9,10,10,11,13,12,7,8,6,7,8,10,8,7,6,7,7,10,9,6,9,9,9,9,11,8,11,9,7,9,6,14,11,8,8,8,8,8,6,7,9,11,10,8,7,11,12,8,10,10,12,10,11,10,8,10,11,8,11,12,13,12,11,13,12,7,11,7,14,13,10,9,10,8,7,10,7,9,8,9,11,10,8,9,8,12,9,13,9,7,8,6,11,10,14,10,8,12,10,8,14,6,11,8,9,9,12,8,10,8,7,14,11,9,9,10,8,10,12,9,9,13,15,9,12,11,12,9,10,14,11,9,14,8,8,14,11,9,8,11,8,7,8,7,7,10,9,12,12,11,10,6,8,10,9,10,8,10,11,9,9,8,8,11,10,10,11,10,9,8,10,10,10,11,8,10,9,8,9,11,8,7,8,11,8,11,9,10,7,9,7,7,9,7,6,8,10,8,8,8,9,6,8,9,10,8,8,8,8,8,12,7,8,8,8,10,11,8,9,8,13,10,12,6,9,9,10,11,10,12,10,8,11,14,6,13,8,12,9,9,12,15,12,11,9,10,11,11,13,11,13,9,11,12,10,10,6,9,9,10,8,10,7,12,8,10,11,10,11,7,9,10,12,9,11,10,10,11,9,13,11,10,10,8,8,9,6,10,8,11,11,9,13,10,10,11,8,13,12,11,12,10,10,10,9,12,11,10,10,11,12,7,11,7,10,11,11,11,9,9,9,9,9,9,8,9,9,8,8,8,10,11,8,13,9,13,7,9,9,8,12,10,16,11,10,11,10,9,7,7,9,8,8,24,34,25,43,40,26,46,55,33,11,47,22,33,42,63,24,30,30,45,25,36,32,35,30,35,16,40,53,42,36,28,42,30,37,26,44,53,28,30,32,35,32,38,15,40,44,23,36,39,36,23,59,24,18,57,29,49,54,44,18,14,46,23,47,26,53,61,39,37,9,25,34,21,40,9,19,14,56,33,20,26,18,41,30,75,26,26,47,45,71,44,28,36,35,31,45,49,46,34,24,25,26,34,53,39,28,40,30,38,32,20,53,24,40,29,44,41,29,54,31,41,45,38,43,29,12,6,11,9,17,56,40,47,22,44,38,46,18,40,17,38,43,53,54,44,24,41,36,38,25,54,25,31,62,39,42,50,42,31,32,32,37,26,34,35,27,37,24,35,56,22,30,27,42,43,46,37,44,17,52,21,29,29,21,56,21,60,29,83,30,41,59,14,21,35,26,38,27,25,40,43,44,44,32,19,28,30,37,37,31,26,35,30,32,59,25,27,37,57,33,46,30,62,57,26,30,17,51,58,35,10,12,12,11,33,29,17,18,24,23,34,37,32,23,46,56,33,28,52,60,27,53,29,45,29,30,38,24,48,19,62,46,30,24,17,40,38,50,32,27,44,23,53,29,34,33,40,23,46,32,42,42,13,32,45,52,33,42,46,62,46,29,48,46,64,53,17,14,17,16,15,16,17,16,16,17,16,20,17,19,24,15,33,26,56,36,31,52,23,42,44,31,32,41,39,31,20,43,30,15,24,20,63,34,35,24,35,30,54,22,34,37,53,23,27,51,26,30,46,17,53,39,26,40,48,35,55,25,37,33,38,21,43,29,37,35,62,65,52,46,52,27,49,30,28,28,29,33,40,19,33,10,11,10,20,10,14,14,11,11,11,21,15,15,14,22,12,13,13,11,22,9,11,17,11,22,29,15,14,11,16,8,13,23,11,14,16,9,18,25,14,19,36,37,22,37,17,39,46,27,38,32,43,53,56,54,53,30,34,38,36,53,42,73,28,27,40,54,51,37,49,30,21,36,46,32,32,50,52,40,32,36,41,45,58,39,65,50,23,42,30,28,10,11,20,10,13,11,42,37,17,12,11,15,17,16,41,46,31,31,39,35,25,23,24,23,16,12,11,17,31,27,20,17,23,42,19,37,19,25,26,42,42,21,10,12,24,27,20,20,13,9,13,14,18,56,25,32,37,58,9,22,34,52,41,52,47,51,56,44,38,28,40,40,47,31,27,28,34,36,28,34,18,15,31,23,20,21,39,36,21,25,21,32,25,58,26,21,22,21,48,24,41,19,23,21,35,21,34,30,19,30,42,27,24,32,31,49,62,17,55,39,65,51,59,29,45,31,35,47,37,36,64,42,32,40,37,34,44,19,59,53,51,54,70,53,49,31,29,28,34,40,34,37,35,21,31,28,13,35,59,59,52,59,33,43,32,34,28,32,46,47,35,23,59,33,41,35,58,24,56,33,40,30,16,29,26,22,26,41,49,14,21,33,36,60,41,17,38,42,29,42,16,22,29,41,28,34,33,45,27,36,26,50,36,57,29,41,29,19,24,34,31,29,35,31,38,38,23,38,34,42,39,34,39,32,19,36,56,34,19,17,35,37,34,26,24,10,38,46,36,26,34,65,38,34,30,26,43,51,35,31,23,28,56,17,41,30,38,29,34,48,40,38,36,27,42,50,24,30,46,63,44,59,42,50,19,46,46,36,44,39,66,41,44,9,63,56,40,52,16,9,39,28,42,40,33,34,9,45,47,26,48,17,27,51,38,36,32,9,52,36,34,18,9,40,29,34,36,16,37,15,30,21,33,23,24,30,27,31,22,21,46,24,34,34,44,22,51,28,37,52,9,21,37,32,24,16,9,35,34,22,23,27,52,32,33,32,33,9,39,16,24,21,15,52,27,34,28,40,28,32,30,52,38,28,26,18,20,43,27,42,51,42,51,30,35,32,57,48,18,38,22,38,18,18,36,36,32,27,27,52,22,41,31,16,27,24,23,37,16,27,37,37,20,22,32,33,38,43,20,43,45,21,65,39,10,35,21,24,47,31,54,53,40,51,29,46,10,14,28,25,42,26,25,29,26,34,42,28,20,30,10,8,19,16,14,18,17,32,33,18,24,24,36,36,28,31,19,27,63,29,34,40,28,26,28,25,40,22,39,34,40,31,29,32,9,44,21,40,41,57,43,48,11,55,66,43,42,54,29,34,23,32,38,42,39,15,31,21,31,19,28,48,37,24,31,27,59,37,38,45,17,52,44,41,33,54,15,32,38,19,38,19,24,38,41,29,39,30,24,22,49,21,52,47,32,28,57,39,37,40,46,9,27,34,32,24,42,45,48,49,55,34,37,44,53,25,31,58,43,36,33,57,28,29,32,61,20,27,61,40,18,38,27,11,38,28,43,35,25,26,30,34,28,26,34,35,20,23,40,26,19,48,38,34,19,15,13,24,11,27,38,27,26,34,31,36,18,40,36,30,45,37,37,28,27,33,42,31,25,28,26,39,65,50,30,26,32,38,37,27,42,26,52,31,57,29,26,24,25,24,42,37,40,35,54,54,61,49,52,41,31,70,30,35,47,16,33,51,27,47,30,23,30,47,41,10,29,29,60,54,35,29,33,31,44,44,32,43,51,50,22,10,19,45,22,26,22,32,22,32,30,29,21,22,27,28,22,45,28,26,22,30,20,36,30,25,34,28,26,27,37,10,29,28,23,24,32,21,36,35,40,19,24,29,27,33,32,28,32,45,45,26,42,38,21,26,23,20,22,30,18,33,29,21,42,18,36,21,9,51,45,36,37,36,19,18,31,30,34,31,35,38,23,33,66,49,37,29,27,32,33,43,55,27,37,34,18,26,21,28,37,35,34,29,44,25,39,12,38,24,10,29,34,15,33,47,21,42,19,10,43,50,52,37,33,26,28,32,28,32,23,44,34,22,29,10,59,29,22,49,43,35,32,42,10,37,19,24,23,17,33,20,9,38,41,28,22,35,21,32,10,46,30,33,51,40,28,28,50,56,28,40,40,55,10,40,20,10,44,35,21,21,22,38,10,30,20,45,44,33,50,47,35,19,34,18,9,28,35,20,29,24,33,25,40,38,43,20,10,31,19,49,14,16,20,24,21,25,40,12,32,27,36,35,36,24,30,34,52,38,22,16,23,31,38,22,25,20,26,25,33,29,18,30,26,31,45,36,41,38,27,50,23,35,21,19,31,24,29,31,24,16,29,37,43,42,22,34,53,23,30,25,29,34,40,18,17,30,43,39,17,29,24,23,18,20,40,19,32,45,36,26,25,30,26,39,19,22,44,39,20,23,20,36,28,25,39,35,31,55,30,21,41,36,43,30,48,47,42,27,9,27,34,17,35,43,33,42,30,41,31,23,19,37,27,45,19,42,32,32,36,25,38,27,24,32,41,45,26,33,22,31,42,21,42,24,41,40,26,15,30,24,20,48,32,20,47,20,30,42,19,24,26,29,38,27,25,47,24,36,53,28,34,21,27,42,28,27,52,24,30,25,35,27,16,41,24,25,31,39,23,29,29,31,30,34,32,37,18,33,54,38,60,33,31,39,30,32,35,48,25,37,52,36,36,40,27,31,48,27,24,20,26,43,27,40,28,39,64,21,39,26,42,50,30,33,39,49,55,45,34,50,39,44,11,20,51,28,29,42,20,30,72,26,47,44,51,40,11,32,37,42,14,19,38,38,43,22,34,30,41,25,38,31,14,24,61,38,30,26,21,37,15,31,54,42,40,66,23,43,49,25,27,23,37,50,50,20,30,27,61,61,35,30,53,45,42,31,41,30,41,50,24,28,34,45,10,29,43,31,35,50,19,33,22,35,34,18,43,23,39,30,24,57,30,20,33,66,29,25,16,39,19,43,20,27,27,32,38,55,12,47,45,38,26,36,29,35,28,31,38,17,11,37,50,37,17,44,49,14,22,28,28,50,45,34,26,45,12,20,62,29,12,30,47,23,47,12,34,34,11,37,23,14,34,34,29,29,60,34,39,24,43,53,38,29,31,55,48,47,39,40,34,17,12,37,64,25,35,63,41,44,27,45,12,43,30,36,37,30,30,31,37,39,57,37,12,28,24,33,33,39,39,21,12,15,38,41,43,33,42,56,23,28,22,23,40,35,34,30,34,21,38,36,19,36,19,19,37,26,41,30,25,25,35,14,34,40,12,48,50,28,44,24,36,28,51,21,48,37,35,27,33,24,39,57,36,23,41,21,46,21,28,28,40,19,37,11,20,35,29,32,40,43,26,56,33,12,41,31,22,42,39,31,26,33,43,36,57,47,52,11,32,22,29,16,46,33,27,27,22,24,28,37,27,31,29,41,34,43,55,38,30,29,66,34,31,29,28,35,40,35,21,15,5,10,7,9,7,11,8,9,7,8,9,9,8,11,8,9,9,9,8,9,7,7,8,14,9,9,8,9,9,11,11,8,11,8,12,7,9,8,7,7,8,9,9,9,11,8,10,10,8,6,10,9,14,7,12,9,14,36,12,47,25,50,44,40,41,28,48,19,25,31,44,24,34,38,29,24,32,20,30,41,23,39,26,31,21,39,39,61,26,36,53,31,30,35,26,31,22,51,51,56,45,31,37,42,12,29,68,21,22,11,26,37,30,28,20,60,12,16,9,6,6,8,20,33,40,26,43,33,18,20,12,47,27,43,48,33,49,23,41,32,50,38,25,42,32,13,27,33,59,29,23,34,16,31,28,34,35,28,32,28,29,12,36,27,50,27,37,12,28,40,60,25,34,36,37,36,11,15,28,46,24,19,36,42,25,40,34,28,17,29,37,21,39,34,25,26,26,38,49,54,53,17,39,33,45,23,20,8,10,8,13,7,12,11,10,11,9,7,11,34,29,39,27,38,35,26,44,26,33,39,27,29,32,36,26,28,21,10,7,10,12,8,11,8,6,10,43,34,28,22,26,34,26,45,48,11,37,37,29,25,16,52,23,41,34,40,18,40,11,20,58,47,31,36,56,26,41,35,20,31,46,45,30,39,32,22,38,31,29,36,24,44,38,26,44,35,40,25,37,33,49,16,7,10,6,9,10,7,8,9,12,9,38,65,32,11,14,29,8,8,12,9,9,9,9,9,8,8,9,8,7,9,6,7,12,7,12,7,11,7,15,9,15,10,32,41,29,24,20,30,29,28,30,31,14,28,34,22,32,28,10,7,9,9,10,8,11,13,7,8,10,9,12,6,8,10,12,7,8,7,9,8,9,10,12,6,14,8,7,12,11,7,9,10,10,9,12,7,10,7,13,10,11,10,9,11,17,8,11,11,9,12,15,10,9,9,9,9,9,10,8,13,9,8,9,11,9,15,10,11,12,9,11,11,12,12,16,8,11,12,24,10,10,11,9,10,9,10,10,6,10,6,12,14,13,10,9,12,9,15,17,11,11,11,15,9,8,9,12,12,11,11,6,12,11,10,7,10,9,11,18,10,11,12,12,9,9,12,8,11,13,12,45,50,47,26,24,11,8,7,8,9,10,8,10,14,16,10,8,12,11,10,10,16,8,16,16,33,26,26,14,43,26,55,28,35,39,38,27,54,52,28,36,11,16,10,8,10,10,10,9,10,9,9,9,32,7,9,10,10,11,7,18,17,12,10,10,43,8,13,16,14,11,11,10,10,15,16,8,10,8,8,12,15,13,12,11,10,14,7,11,10,11,8,10,19,10,14,13,14,10,10,10,12,26,44,42,18,40,52,28,26,16,11,11,9,7,8,9,9,7,9,7,10,8,10,9,7,9,9,11,12,8,7,7,10,9,8,6,15,12,8,6,10,8,7,9,13,10,29,33,60,25,65,55,53,34,52,14,26,19,11,12,9,9,7,8,10,9,13,11,11,16,15,12,12,14,7,12,14,8,11,11,9,9,9,7,27,50,20,23,12,10,9,7,12,13,10,11,7,12,15,12,12,36,26,37,10,18,28,39,24,40,58,65,42,64,29,46,66,29,45,11,40,21,33,33,57,34,49,38,42,50,66,44,28,36,28,25,19,24,28,36,47,11,43,35,31,61,40,37,46,48,38,23,11,49,26,46,21,37,13,58,13,57,23,48,49,43,24,44,25,46,28,25,25,23,28,27,34,33,57,33,35,30,22,11,19,41,26,38,34,28,32,28,30,43,12,32,22,21,52,28,24,50,57,53,49,25,28,24,29,54,36,26,25,41,11,47,31,27,43,27,52,57,24,34,38,26,27,31,31,36,35,38,32,34,46,30,39,37,28,23,27,23,43,35,33,46,31,37,41,26,44,11,48,20,20,61,17,42,42,62,31,42,44,22,27,11,33,26,48,18,33,24,60,31,25,39,46,55,35,36,48,41,32,28,66,28,44,32,37,33,24,46,18,29,46,26,44,58,54,21,31,42,41,20,68,41,32,28,33,20,54,25,35,32,33,42,28,53,35,36,56,61,25,44,18,36,35,26,28,34,25,28,41,28,25,37,24,43,47,32,38,33,33,29,30,47,21,25,29,47,29,23,41,29,26,35,42,18,54,28,39,23,44,30,56,42,28,45,41,34,29,50,50,30,29,19,39,39,27,20,29,16,41,32,28,38,24,22,43,14,17,40,35,35,23,31,28,27,38,24,26,21,26,33,36,60,51,32,21,17,15,19,35,14,37,44,17,25,20,75,53,29,34,76,33,56,42,19,16,42,43,40,50,30,37,33,31,36,25,39,22,42,37,41,58,31,52,27,35,29,47,42,46,28,58,24,37,32,52,24,14,35,29,42,35,15,34,25,25,51,25,47,29,33,47,35,43,59,39,36,18,41,31,36,31,37,21,67,37,45,35,35,26,46,36,40,46,63,29,33,44,36,48,27,69,21,57,71,30,48,24,34,47,45,42,51,36,27,29,26,54,42,32,35,39,15,14,26,38,45,43,19,60,32,25,35,37,39,44,41,28,17,54,22,58,18,20,22,22,20,18,55,26,69,39,31,44,30,39,32,29,46,18,30,76,49,20,18,20,22,21,40,29,25,30,30,36,33,33,41,24,38,39,19,22,67,43,19,22,29,18,20,19,39,34,51,17,49,27,36,48,21,27,42,19,39,45,17,27,36,17,39,15,25,43,22,25,45,20,51,32,33,36,25,17,34,9,15,39,45,29,41,35,17,47,20,24,49,21,46,23,21,8,15,56,34,36,41,35,49,42,28,28,31,44,47,33,21,24,26,22,51,45,36,52,34,42,21,31,19,39,20,37,59,54,49,57,10,54,39,38,29,44,40,19,13,41,22,37,39,36,13,46,34,36,17,35,42,30,26,48,62,32,31,31,32,33,29,24,26,58,33,43,29,37,15,54,44,30,27,32,33,33,51,28,61,23,39,29,31,29,53,15,42,37,15,28,45,35,29,32,38,16,24,21,42,24,11,38,45,21,31,18,13,73,46,41,7,9,8,13,44,51,39,45,31,33,36,43,35,12,44,31,43,43,46,46,14,24,16,40,23,19,41,42,26,23,20,40,21,30,47,17,35,29,28,29,34,31,67,39,24,35,36,43,36,51,37,33,24,37,59,24,40,41,23,26,46,25,25,36,24,37,54,38,41,47,56,20,21,24,32,27,35,26,29,20,26,31,38,33,24,38,33,32,36,34,50,58,65,30,44,29,43,49,27,48,21,34,31,38,25,51,36,28,51,27,49,17,28,41,26,46,24,35,29,32,49,32,42,31,42,26,35,39,46,23,24,29,19,32,25,21,26,26,27,24,39,24,47,18,50,18,37,34,43,28,35,36,34,21,23,52,40,37,19,37,36,28,40,39,15,21,41,40,43,37,22,41,36,41,14,35,42,37,25,25,42,56,46,19,35,54,20,56,62,21,37,55,30,29,18,33,31,44,44,35,50,45,24,22,35,44,33,71,52,32,29,28,38,22,22,34,36,34,48,44,37,29,42,11,16,25,31,49,39,22,21,9,21,10,8,19,15,18,18,17,10,50,15,21,58,50,29,44,25,32,57,15,41,22,34,29,41,43,22,57,43,37,36,20,40,31,30,36,46,45,27,35,30,20,37,36,64,39,24,42,33,37,27,40,66,22,29,43,52,53,25,34,40,26,25,17,39,45,31,40,33,38,35,58,36,36,48,42,19,43,43,40,27,32,45,49,31,20,39,30,33,38,27,23,31,38,25,34,13,39,31,47,17,37,25,39,23,50,37,24,37,37,53,47,13,36,42,32,34,31,28,38,46,16,27,26,27,20,26,50,21,37,26,46,38,38,43,24,20,35,23,23,46,25,29,44,35,61,37,34,22,35,41,46,30,21,44,27,27,22,21,50,40,43,46,47,37,33,36,33,28,47,28,45,36,31,37,43,30,35,36,15,14,22,18,36,32,28,45,16,51,20,58,38,23,60,40,35,29,27,44,23,24,33,34,44,34,16,33,18,21,30,25,18,37,49,21,32,26,45,27,42,37,17,31,32,35,60,13,42,56,43,25,43,41,21,24,23,17,37,39,39,36,29,32,57,30,31,23,30,36,33,17,58,31,60,29,55,25,43,16,19,19,36,25,20,34,53,30,60,46,25,45,18,32,28,22,41,40,53,69,54,38,34,37,34,41,24,34,49,34,28,30,24,18,32,26,10,31,26,19,47,23,20,24,32,30,21,31,21,21,22,26,44,25,18,34,14,20,32,36,36,29,46,45,45,36,45,18,14,28,20,43,31,37,20,25,41,34,30,16,46,41,51,33,34,16,40,38,27,23,28,29,21,16,26,26,45,17,27,43,34,19,50,52,41,39,48,49,45,35,32,27,31,32,49,41,46,26,42,47,41,40,16,25,29,28,35,30,23,30,33,27,37,16,26,27,26,52,47,50,36,48,58,25,37,27,25,31,36,40,34,35,32,35,43,22,24,59,47,23,33,34,25,16,69,25,33,35,50,13,38,42,32,29,37,51,33,35,28,32,42,39,45,27,56,67,29,35,53,60,19,40,20,18,36,35,33,62,24,11,13,10,11,10,9,13,11,9,9,13,8,10,15,10,9,9,11,9,8,9,11,10,13,7,10,12,11,7,10,11,10,12,12,9,9,9,8,9,14,11,14,11,13,8,9,11,16,11,9,12,11,11,13,11,9,10,10,14,12,11,14,13,11,10,10,13,12,15,13,12,12,10,12,10,10,9,8,8,12,13,10,6,9,12,13,10,12,12,11,12,11,10,11,10,10,11,9,10,11,8,13,12,9,7,11,10,12,11,10,11,14,8,11,9,11,11,11,10,10,11,10,8,11,10,9,8,14,11,9,10,10,12,10,11,11,12,11,10,9,12,11,10,10,26,15,41,35,11,43,33,49,29,22,5,8,10,10,12,10,8,11,9,7,9,11,12,11,9,9,9,9,10,10,9,12,8,11,12,9,15,10,7,10,7,8,7,9,7,9,10,8,10,12,13,7,12,11,9,8,10,11,11,11,10,11,12,14,14,11,15,11,13,10,12,12,12,10,13,10,10,8,12,10,9,12,10,9,12,11,12,12,8,8,9,8,10,11,11,9,8,9,11,11,10,12,12,11,9,10,11,11,6,8,6,10,8,12,9,8,9,12,10,42,28,27,47,25,32,23,30,39,23,37,25,13,12,8,8,8,12,12,9,7,8,8,9,9,9,9,12,10,13,8,11,9,10,11,11,9,8,8,12,8,7,8,8,8,8,11,13,11,10,10,7,12,14,14,8,12,11,9,12,10,12,11,10,11,9,10,10,8,13,10,12,9,14,11,8,6,8,10,12,14,10,11,16,11,8,11,11,9,9,10,25,17,7,9,10,11,10,11]
|
.ragatouille/colbert/indexes/ESV/doclens.1.json
ADDED
@@ -0,0 +1 @@
|
|
|
|
|
1 |
+
[13,13,11,14,9,11,10,8,10,12,11,13,12,12,9,9,9,12,9,13,12,11,13,13,11,8,11,13,13,13,11,8,9,10,11,8,14,8,6,12,12,11,11,18,12,11,11,12,7,8,13,10,11,9,8,10,9,9,9,9,9,10,10,14,13,11,9,11,9,8,10,9,9,10,8,9,9,12,12,10,10,11,12,11,13,12,14,15,15,11,9,10,9,9,8,13,10,10,9,9,9,11,11,12,13,9,11,11,11,33,53,31,44,46,22,46,43,21,57,31,20,33,17,33,21,28,37,35,39,14,34,40,22,29,47,31,24,30,51,48,29,24,27,32,30,25,27,36,23,7,12,9,8,10,9,10,9,10,10,10,8,11,15,14,51,38,32,33,48,33,50,27,24,16,32,66,15,28,41,26,36,48,26,35,52,58,32,36,34,39,42,60,65,16,46,20,54,19,17,41,19,54,35,45,72,36,33,30,46,35,30,37,24,44,39,59,61,63,56,22,27,24,8,7,11,12,23,27,32,38,43,48,32,26,44,28,41,50,31,55,57,65,30,37,32,81,25,70,34,45,14,21,33,38,61,53,41,12,12,13,15,10,9,11,52,44,26,58,41,19,38,23,64,27,23,39,73,43,36,29,38,53,39,27,48,36,68,22,87,16,20,26,16,17,43,17,17,21,31,36,50,30,26,62,34,11,51,19,72,41,33,43,32,41,28,20,48,13,38,46,53,25,24,9,5,9,11,7,8,8,8,9,21,43,25,17,50,39,34,59,51,6,7,11,9,12,8,8,8,9,8,12,8,8,39,26,9,10,11,11,8,9,8,9,6,11,8,7,8,21,33,17,22,49,46,17,30,11,11,11,11,13,8,11,9,11,9,11,13,13,11,11,10,10,11,9,14,16,12,12,31,31,42,43,38,36,32,62,36,28,33,34,38,54,24,28,27,42,31,34,22,22,29,33,39,53,30,36,34,47,28,39,24,33,65,27,18,29,49,47,48,41,43,55,40,49,35,36,35,25,37,56,55,59,58,47,13,29,29,30,44,35,32,34,18,45,43,38,29,23,50,27,16,42,39,31,24,49,20,52,33,72,43,38,24,36,38,32,33,36,44,33,50,42,29,39,34,19,29,50,52,24,40,35,26,50,36,27,29,22,35,53,39,35,42,55,39,20,36,29,32,58,32,31,31,27,31,71,24,23,37,33,15,27,8,8,10,10,11,7,10,8,7,9,12,8,13,9,10,8,11,9,9,9,9,6,11,8,10,7,11,12,8,7,8,8,9,7,7,7,5,13,7,10,13,10,11,8,10,7,11,10,6,8,11,10,8,8,10,9,10,8,9,6,7,7,7,8,9,7,8,7,13,6,11,8,7,10,9,10,10,7,8,8,14,10,9,9,10,9,6,10,9,8,14,8,8,8,11,8,8,8,8,10,9,11,6,8,9,10,8,7,10,7,8,9,7,7,7,7,11,8,10,9,11,10,7,11,11,11,10,10,12,7,9,11,8,8,9,12,11,9,11,9,10,9,10,11,14,8,10,8,11,9,12,6,11,11,14,11,11,10,8,10,11,12,7,12,9,9,6,16,11,9,12,8,15,9,10,10,9,11,12,8,10,10,11,8,7,8,10,9,10,8,8,10,9,8,11,13,8,9,8,8,10,9,9,8,13,7,15,8,11,7,9,8,11,7,10,8,9,8,10,8,10,7,9,6,6,11,9,11,10,11,9,8,9,13,13,9,10,11,6,7,9,9,10,9,9,8,9,7,9,8,9,11,9,9,9,9,9,10,8,13,7,11,9,13,8,9,6,13,9,9,8,10,10,13,8,9,9,10,9,13,9,10,9,12,9,12,7,13,9,10,9,9,8,12,12,9,11,11,10,11,9,10,10,12,9,8,9,9,8,14,11,8,8,11,9,13,9,11,9,12,9,9,9,12,8,13,10,8,6,12,13,12,11,7,9,8,10,11,8,11,9,13,8,9,11,10,8,11,7,10,8,12,6,10,10,11,6,6,8,11,6,10,13,11,7,8,7,8,13,10,11,10,8,8,8,10,9,10,10,11,8,11,10,13,6,9,8,11,8,12,10,9,11,9,10,11,9,12,9,9,9,8,9,8,9,11,10,9,7,12,11,10,11,8,9,12,8,10,7,17,9,10,11,10,7,11,11,12,10,12,10,10,8,7,11,8,8,7,12,11,9,11,7,11,11,9,7,11,12,10,8,9,10,10,5,10,8,10,8,10,9,9,10,8,8,7,8,10,8,12,11,8,9,9,9,12,14,8,10,9,14,12,11,11,16,11,16,8,12,8,11,7,9,8,11,10,10,11,14,7,11,11,7,12,14,10,10,9,8,10,10,10,12,11,11,8,10,10,10,12,10,11,10,9,9,10,9,14,14,10,9,11,22,8,11,12,16,14,29,16,22,34,30,31,15,36,27,39,26,27,33,19,14,31,21,25,49,18,41,32,29,21,36,34,34,24,32,37,33,29,22,25,27,25,21,31,37,20,13,44,37,21,29,27,39,37,68,31,23,26,40,44,29,55,49,55,62,22,30,25,45,29,18,28,38,32,38,38,23,49,39,31,20,13,53,34,25,17,45,27,36,46,19,32,21,37,27,29,32,19,25,36,35,34,49,30,24,18,26,42,24,30,24,19,22,44,25,31,25,23,35,19,40,27,30,42,15,29,29,26,53,41,35,26,9,21,37,39,36,35,35,18,32,25,34,18,19,42,27,42,28,27,17,23,26,26,29,24,38,30,16,20,11,35,32,28,24,21,21,39,41,42,27,66,45,35,34,19,25,14,30,20,45,19,39,25,24,38,45,29,27,26,26,16,29,37,48,30,34,44,55,46,20,41,19,51,23,32,55,14,29,18,36,15,38,34,20,31,32,34,33,37,31,25,43,38,33,28,19,31,43,25,24,42,35,35,40,21,36,29,49,21,26,21,36,31,28,35,43,44,22,45,49,42,29,38,31,29,45,43,39,56,24,26,14,40,20,30,24,30,31,25,46,17,31,15,39,30,42,21,48,26,34,45,26,33,15,24,33,41,27,31,32,27,25,23,39,46,45,37,50,42,43,34,47,22,32,55,50,18,25,17,47,23,49,38,36,21,27,29,28,33,28,20,46,16,26,43,25,24,12,30,11,61,22,17,24,8,34,45,14,56,26,36,27,46,17,30,31,41,38,62,30,45,35,38,24,43,23,9,44,24,40,45,15,24,31,41,37,39,40,39,16,22,31,37,26,34,36,37,33,27,32,33,33,42,32,30,26,32,17,16,14,11,9,12,14,10,8,15,13,7,12,11,12,16,14,13,10,15,13,16,13,12,11,12,10,9,9,7,20,15,9,13,12,11,12,9,17,10,12,15,15,12,10,46,34,8,14,14,33,28,14,28,19,62,29,48,20,56,48,24,33,36,56,31,34,9,45,23,30,43,45,16,36,19,31,24,29,54,27,25,22,19,22,42,11,33,48,33,18,38,15,44,34,39,23,38,47,42,16,39,30,21,55,15,42,19,25,38,24,31,30,33,31,31,44,35,41,25,38,22,45,23,32,17,30,30,30,42,43,29,21,28,25,19,31,33,34,26,32,30,26,30,35,14,27,30,38,38,22,21,39,26,38,22,31,30,25,34,41,13,10,24,11,38,46,21,31,11,13,50,38,26,7,8,7,12,42,37,26,32,19,31,23,48,33,23,14,25,26,33,24,42,22,44,20,24,24,16,34,27,15,22,15,29,38,27,25,49,15,15,12,29,26,38,50,25,23,33,31,25,35,40,33,26,35,28,46,36,35,34,58,38,42,19,27,31,26,33,25,13,13,18,27,15,22,27,36,24,36,16,35,34,31,24,32,15,23,32,17,26,29,33,17,47,42,31,15,54,54,17,27,25,15,27,32,33,46,31,28,22,35,29,29,22,50,13,32,33,27,40,39,27,25,39,35,22,30,27,41,19,36,16,37,32,24,8,30,18,17,10,20,20,17,26,38,32,36,16,24,20,17,31,28,37,40,30,50,32,20,25,26,20,25,32,18,43,42,48,26,26,30,29,15,20,22,40,31,22,39,37,35,24,30,29,38,31,29,48,24,16,25,28,19,37,19,21,18,19,31,27,23,36,16,32,24,35,26,39,20,39,31,36,33,31,34,30,23,21,28,24,36,28,45,29,19,25,22,45,27,35,33,32,47,46,18,35,50,19,30,21,37,22,28,41,43,12,23,45,18,30,14,19,25,35,17,28,23,36,31,44,56,39,55,16,35,31,27,39,27,30,48,36,24,41,26,54,38,35,24,23,47,24,21,14,40,28,20,41,41,28,26,23,29,30,24,68,59,55,35,30,38,31,42,44,27,28,18,31,32,37,30,46,34,23,20,38,37,35,22,32,16,35,20,37,31,38,17,38,23,26,29,48,8,40,44,22,36,51,8,37,16,39,35,8,32,23,30,19,27,21,22,24,24,35,24,38,19,37,29,19,8,26,23,15,17,44,28,27,21,26,29,9,46,41,36,22,37,33,61,32,23,44,28,33,27,51,23,32,43,46,53,21,39,22,27,31,41,35,25,25,41,34,27,33,50,26,41,37,29,27,23,40,22,48,39,36,21,53,19,48,34,29,33,44,48,40,18,23,48,33,10,48,19,21,33,23,36,29,31,41,21,36,53,15,50,62,41,29,20,21,35,27,14,48,21,48,26,30,21,40,31,37,28,37,45,28,25,26,18,38,39,29,37,18,23,29,17,11,20,21,19,24,17,20,25,36,27,23,21,32,18,41,47,30,35,33,18,25,23,43,35,24,16,18,28,57,46,36,36,27,26,35,17,42,29,20,36,34,31,22,28,14,31,23,18,17,24,24,19,36,20,21,16,17,28,19,22,33,19,29,32,32,31,29,38,23,29,16,20,30,26,35,39,31,20,25,23,19,20,36,41,41,48,24,23,30,20,19,43,29,31,17,24,35,27,37,22,21,16,28,33,28,26,39,34,13,23,33,16,49,52,34,22,48,27,44,40,31,40,33,29,17,36,34,37,23,37,21,41,35,32,33,23,29,14,19,26,33,17,30,22,35,31,43,61,17,30,29,36,34,17,28,30,31,28,37,31,18,15,17,29,25,25,48,32,22,29,9,23,23,27,31,24,20,23,41,34,19,25,29,14,36,17,24,28,28,29,34,24,18,26,17,16,16,17,41,22,17,24,32,22,31,26,25,37,7,9,10,11,24,18,20,14,33,21,18,21,15,16,12,17,36,18,35,21,11,10,20,11,9,9,8,12,28,13,20,44,30,15,20,26,18,24,21,32,26,27,39,21,21,36,17,23,21,44,7,17,11,10,16,19,13,45,22,13,22,25,11,23,26,14,14,22,13,10,27,21,37,18,17,36,22,38,38,31,23,22,26,24,19,25,22,22,23,22,14,18,17,19,20,19,31,19,24,18,27,24,19,38,9,27,18,26,45,33,50,39,36,23,28,30,13,12,14,24,26,16,17,17,10,27,20,17,22,39,23,35,33,20,30,18,38,32,36,20,30,18,24,28,55,21,31,29,32,30,20,53,34,37,32,41,34,27,18,17,22,31,16,12,11,26,19,28,17,20,24,30,18,26,26,53,40,25,52,23,22,20,15,29,28,33,35,37,24,20,29,43,20,27,33,40,20,44,26,21,35,37,31,70,16,20,28,19,16,18,17,19,18,26,17,18,18,18,30,16,21,20,25,22,21,23,18,22,15,17,17,16,24,18,28,37,32,21,20,22,22,19,29,16,16,15,16,29,18,15,18,25,50,24,16,17,13,34,19,24,34,15,18,41,36,36,28,18,23,28,31,18,18,38,40,25,16,21,18,35,34,39,18,27,17,21,49,36,31,26,14,39,41,25,35,28,23,27,30,47,40,27,22,21,32,39,21,35,23,22,18,9,40,45,23,21,19,26,20,22,21,19,18,16,36,19,13,14,11,12,32,25,28,22,18,18,25,32,13,10,16,14,21,11,12,18,10,10,12,17,12,19,20,26,17,9,30,31,23,16,36,25,38,27,28,38,26,21,33,17,17,26,43,26,16,41,51,28,32,31,48,26,27,67,27,25,40,29,16,29,28,28,30,33,16,29,27,35,22,26,20,16,31,31,21,17,34,26,37,30,35,21,53,21,17,45,28,37,24,22,45,35,29,22,46,47,26,30,33,17,26,17,38,39,25,40,32,41,21,27,52,50,37,23,56,59,25,24,24,15,21,17,23,26,18,18,18,20,17,17,17,28,15,15,23,19,25,20,30,17,43,31,45,36,24,22,19,46,14,9,9,10,9,27,40,18,62,16,8,10,7,9,8,14,61,44,25,26,37,16,15,9,19,21,31,21,24,32,28,21,13,12,33,43,23,67,16,62,26,22,31,56,33,35,34,36,28,25,32,38,27,32,18,23,11,12,14,41,21,40,48,17,16,32,41,26,24,29,38,27,15,19,18,18,20,18,21,35,52,30,24,29,42,43,59,18,36,38,21,19,51,39,28,47,40,44,33,26,29,34,60,27,23,13,10,10,11,8,15,9,7,13,10,9,9,9,10,7,12,10,8,11,11,14,9,9,13,8,9,11,11,11,8,10,11,9,10,13,12,13,9,11,10,14,12,14,10,13,9,13,15,13,12,12,13,13,13,12,5,10,12,12,8,11,11,14,31,34,34,36,37,34,20,37,20,15,26,34,43,36,41,40,35,32,17,39,23,20,33,38,20,30,27,49,21,30,38,30,20,36,31,20,30,37,31,33,25,39,27,59,43,24,31,19,29,33,40,23,54,50,28,41,49,43,20,35,38,29,36,31,26,36,48,46,42,43,57,51,48,47,47,44,22,27,15,35,53,26,39,26,17,39,15,28,21,68,40,20,72,44,64,42,22,27,35,50,54,38,19,39,18,31,36,29,24,34,30,23,53,24,27,45,46,32,31,30,37,50,27,16,17,44,53,19,17,20,29,25,24,15,19,29,29,37,21,47,19,13,14,27,14,30,18,24,24,17,53,25,25,22,49,43,19,31,35,28,29,40,49,34,79,19,13,15,15,15,14,17,14,17,17,16,17,40,32,17,22,29,17,21,21,22,13,15,29,54,59,40,55,57,38,54,26,17,27,15,15,15,15,16,15,15,14,15,15,15,15,16,16,17,15,16,16,16,18,17,19,31,32,19,35,23,27,33,32,15,33,30,29,17,37,22,34,33,25,22,34,38,30,24,27,36,52,20,51,26,42,52,52,51,30,22,25,30,35,30,25,26,28,28,25,27,29,27,37,19,22,29,33,33,23,28,37,49,27,34,35,32,42,13,35,23,34,62,55,28,57,35,35,25,55,61,24,43,45,40,22,50,20,32,41,28,62,56,42,76,47,30,40,38,39,31,36,32,51,37,15,35,35,32,50,32,40,41,43,18,32,30,24,34,13,26,24,41,31,39,9,13,13,9,13,16,10,9,8,10,13,12,11,8,11,7,15,8,13,7,12,11,11,13,13,12,9,12,10,9,9,12,5,9,7,9,8,7,8,8,9,7,10,11,9,7,11,8,12,8,9,8,8,10,9,9,17,8,11,7,7,9,11,9,10,11,12,9,11,12,10,9,11,8,8,12,10,11,11,16,6,9,10,9,13,14,9,11,10,9,11,8,7,9,9,13,15,8,11,7,10,8,6,10,10,10,14,14,11,12,10,8,8,9,8,12,10,7,9,8,6,8,10,12,12,11,10,10,11,9,12,10,10,9,13,10,10,9,6,9,8,9,12,11,11,11,10,10,9,10,12,9,8,11,8,12,10,7,10,8,9,10,9,11,11,12,9,7,11,10,12,12,12,12,12,9,10,14,11,10,11,12,11,9,11,14,11,11,9,17,10,13,8,10,15,6,9,8,11,11,11,12,13,10,10,9,8,8,10,9,9,7,12,11,8,12,9,8,8,10,9,6,7,9,10,8,8,9,17,7,7,10,12,10,11,12,11,8,12,6,11,14,10,11,10,6,12,12,11,8,17,14,14,9,9,10,9,12,8,14,13,11,9,9,10,9,8,8,9,10,13,9,12,13,11,13,14,11,10,12,9,13,10,14,13,11,9,10,9,15,7,12,10,8,10,10,11,10,12,9,12,11,13,13,9,6,15,14,13,13,11,10,11,8,12,10,14,14,12,11,11,11,13,12,13,19,13,13,12,10,7,13,14,11,10,10,10,13,11,15,11,12,13,11,17,13,11,11,12,9,11,11,11,10,11,14,12,15,8,12,11,14,9,9,9,9,10,11,10,12,14,13,12,8,12,9,8,11,13,10,9,9,11,10,8,12,9,9,10,10,11,12,11,11,9,12,10,7,9,9,8,9,10,13,9,16,9,14,11,8,11,10,12,13,11,14,9,9,10,12,10,13,9,9,10,10,10,8,41,31,28,25,25,15,15,15,14,37,13,15,13,14,14,24,13,41,17,45,13,48,13,39,14,36,13,38,15,38,15,44,15,38,15,36,13,36,13,36,13,38,15,29,32,10,17,10,26,55,48,27,47,19,11,32,44,10,35,10,27,10,25,35,10,34,10,26,10,22,38,41,10,35,10,24,10,27,37,10,32,10,27,10,22,28,20,38,23,28,24,50,10,22,27,30,27,29,10,36,51,15,25,18,23,24,24,29,33,22,22,24,39,37,51,26,24,28,38,36,29,22,38,38,17,53,36,32,50,20,26,10,39,30,32,21,24,28,26,11,26,27,23,34,31,49,29,40,27,30,43,20,61,69,57,11,23,42,22,9,22,31,22,44,56,53,44,21,31,36,38,39,29,25,11,39,19,26,15,38,21,26,10,31,29,34,8,36,9,36,31,28,10,34,39,55,24,19,10,22,47,47,65,16,38,57,51,37,45,34,22,33,34,33,61,26,28,40,21,10,36,37,27,46,21,34,15,40,28,49,40,33,53,38,21,39,44,56,46,51,9,23,10,18,17,19,43,27,38,9,34,19,22,35,33,31,24,27,47,14,20,10,41,24,48,14,20,10,39,23,46,14,20,10,38,22,46,14,20,10,39,24,46,14,20,10,41,23,46,14,20,10,39,26,46,14,20,10,41,26,46,14,20,10,41,22,46,14,20,10,39,24,46,14,20,10,41,22,46,14,20,10,39,23,46,14,20,10,38,34,34,36,33,45,49,10,29,24,45,10,17,41,35,25,24,31,46,26,23,32,38,42,21,69,40,39,40,10,30,23,35,33,16,33,17,41,39,37,20,9,43,30,31,49,54,43,20,35,39,30,38,40,47,36,9,28,24,24,19,35,25,27,47,57,30,28,18,34,26,25,32,29,26,25,26,36,28,24,43,24,25,21,59,24,29,25,39,21,29,19,46,21,23,32,29,23,22,47,19,34,37,45,29,20,30,50,50,57,22,44,34,35,29,33,52,49,23,22,32,14,54,42,38,28,26,29,26,22,31,31,34,16,37,17,31,25,25,16,44,28,21,9,39,32,22,16,17,16,17,15,18,25,17,14,18,16,29,32,27,28,44,28,44,49,26,16,48,28,31,47,30,30,56,38,17,39,39,19,23,33,30,30,41,31,39,32,28,61,22,33,19,54,34,15,22,41,25,34,34,13,31,24,31,35,28,15,33,40,39,35,21,31,20,41,23,22,41,33,33,9,28,51,38,30,35,25,26,33,27,20,20,26,42,42,23,9,24,21,31,22,27,26,59,52,34,25,41,39,38,33,22,21,21,27,25,8,40,45,19,28,45,29,52,12,45,15,36,15,51,28,27,27,39,39,34,25,45,35,31,13,17,34,10,21,22,33,46,32,29,45,20,29,32,23,18,10,37,57,33,51,31,34,16,10,25,53,42,17,23,21,9,40,26,21,39,40,18,42,30,43,14,22,26,45,42,34,29,27,38,48,47,52,22,49,36,33,11,46,40,58,22,50,37,33,23,44,48,10,52,32,40,28,44,30,38,13,46,26,36,26,27,34,30,52,47,17,46,64,32,17,34,26,53,54,53,44,25,37,21,24,25,45,36,10,46,16,33,30,46,28,29,28,39,52,23,44,27,20,23,24,39,19,30,23,40,23,42,31,39,33,42,25,44,30,30,15,28,16,49,16,16,9,10,11,32,8,12,9,10,13,14,20,30,16,42,39,46,29,44,8,12,11,11,10,10,11,10,12,10,7,10,9,12,13,11,13,27,37,51,25,23,21,28,52,55,48,39,35,17,25,38,24,34,24,17,31,26,46,22,34,23,42,49,23,32,32,34,32,33,40,40,37,35,43,37,40,33,38,20,24,31,27,26,43,33,25,24,12,11,12,8,9,12,15,14,9,8,10,10,10,11,10,32,22,43,36,22,27,36,12,8,12,11,14,12,13,10,12,13,10,10,12,9,14,12,9,12,7,13,10,15,10,23,23,33,20,27,22,35,25,11,13,12,13,10,9,10,9,9,8,11,9,10,11,11,11,9,14,13,10,10,11,13,9,10,43,26,21,47,30,11,13,12,13,11,10,9,9,9,10,13,11,12,11,14,8,10,9,17,12,9,17,8,11,9,10,11,12,11,12,11,20,21,23,25,37,30,52,33,38,14,9,50,14,38,40,36,10,13,57,22,35,26,33,33,25,17,11,50,33,12,43,23,13,43,22,23,19,24,41,31,15,32,27,17,47,19,18,38,32,29,27,45,17,47,22,30,41,28,34,19,33,18,44,32,14,18,36,25,21,15,9,18,36,24,17,49,54,38,20,19,40,32,31,38,62,32,41,31,10,9,35,30,18,20,47,29,21,49,9,20,38,28,24,23,58,28,19,9,35,39,21,29,25,34,38,41,20,36,43,33,50,27,17,24,21,37,34,15,18,21,40,22,43,29,30,12,14,28,35,35,30,13,18,44,27,38,33,12,32,36,41,36,13,23,25,26,24,22,26,24,22,26,23,22,26,24,22,26,23,22,26,23,20,35,26,24,46,18,24,41,27,42,42,27,37,49,25,21,35,50,23,48,25,36,9,21,34,18,23,43,18,47,35,22,19,47,24,30,14,39,24,21,39,24,34,17,45,25,8,36,23,43,23,58,17,20,6,7,19,21,13,16,17,17,26,25,12,6,8,8,45,27,29,39,19,32,15,41,44,33,27,25,32,29,26,20,39,18,43,32,39,30,26,27,42,21,35,27,27,38,27,20,25,23,25,38,57,25,26,30,68,18,14,17,19,29,34,22,26,23,31,27,43,28,19,24,33,41,32,16,18,19,17,26,18,22,21,17,17,17,17,18,18,16,17,18,16,17,18,17,19,23,23,19,18,24,25,48,16,35,18,17,15,23,18,21,25,26,27,21,25,36,26,55,50,16,9,42,33,49,24,22,22,28,28,21,43,33,36,40,23,9,30,17,24,21,16,20,29,25,24,23,23,25,26,20,41,29,32,62,39,21,56,10,24,28,30,16,25,38,28,31,31,25,23,47,21,35,23,58,25,36,38,23,34,27,35,50,34,57,46,58,44,27,38,39,48,31,17,34,32,33,13,32,14,19,25,26,29,20,28,26,38,37,14,37,24,30,19,27,14,29,40,29,14,35,41,54,11,11,9,52,38,45,28,17,31,28,7,13,16,48,22,31,25,48,21,31,20,26,30,23,21,31,28,49,37,32,26,7,11,8,8,10,25,16,23,22,22,32,15,27,58,31,43,18,27,26,25,30,10,8,9,10,9,8,9,13,10,8,9,8,14,10,10,9,8,13,9,8,9,10,16,13,12,9,7,9,10,7,9,19,20,43,24,40,27,24,21,29,22,18,37,26,26,25,25,29,16,40,39,23,32,38,26,21,24,33,9,12,13,11,9,10,11,36,30,24,21,25,22,16,14,20,16,15,21,17,16,21,16,15,21,18,13,18,16,16,23,12,15,17,23,19,15,36,20,17,19,21,24,26,49,31,24,43,13,23,15,19,23,35,24,30,35,36,29,33,42,28,13,31,32,28,38,13,18,28,25,20,16,44,14,36,43,24,26,26,22,24,15,27,17,52,12,35,23,23,26,32,20,23,24,50,19,35,22,47,20,8,21,49,19,24,31,53,23,24,48,25,16,39,9,10,11,21,14,15,40,36,32,25,18,34,35,28,28,21,17,17,23,45,19,5,7,13,6,12,10,11,13,10,10,14,27,24,18,20,24,14,34,21,25,25,24,17,18,21,15,16,12,26,48,19,26,21,17,18,35,21,11,10,20,26,20,34,14,23,29,41,22,42,23,24,35,29,23,17,23,15,21,15,21,15,21,15,21,15,21,15,21,20,28,28,47,12,62,18,31,29,32,31,56,33,34,47,16,31,27,27,28,17,25,32,25,29,29,23,28,16,32,26,18,27,42,33,41,50,23,30,17,34,20,31,21,34,36,48,19,20,49,26,43,50,37,40,26,27,43,36,28,27,44,23,9,11,9,9,11,12,23,30,30,37,32,30,24,28,34,17,30,19,34,30,20,25,45,23,23,26,26,36,19,16,20,26,45,41,28,48,35,26,32,19,27,12,7,8,11,13,12,7,9,14,34,20,27,20,32,19,15,20,30,24,38,41,25,31,32,42,40,38,28,33,39,17,40,42,22,15,55,24,28,19,31,31,39,21,19,40,27,27,33,20,35,22,23,25,30,23,28,17,26,45,28,31,21,19,30,47,27,23,35,27,34,31,38,22,41,46,34,32,27,17,16,44,50,22,33,32,34,48,33,39,34,12,39,36,26,26,17,24,27,18,20,41,40,41,35,25,35,45,34,14,27,28,32,27,41,22,38,45,45,31,52,20,31,26,41,31,21,41,28,26,21,25,20,24,17,19,28,27,20,31,19,42,22,49,20,48,45,24,30,25,24,30,52,9,25,31,25,14,27,30,19,37,28,18,20,42,49,18,30,37,37,25,42,17,24,39,45,32,17,28,41,22,27,25,20,17,22,26,16,36,18,32,9,43,17,39,44,42,40,13,43,8,30,46,48,27,35,28,20,28,43,22,35,19,60,32,23,38,34,28,27,63,41,31,23,23,27,29,23,34,26,26,21,13,54,17,24,52,30,47,31,11,36,29,31,23,15,43,33,31,37,34,42,35,44,44,40,27,30,19,35,35,27,31,14,24,22,13,8,7,8,10,33,20,30,21,34,15,38,13,23,30,31,10,35,16,27,40,21,21,25,40,9,16,31,28,31,16,42,29,32,9,9,12,11,9,18,22,31,29,19,20,28,11,20,21,31,39,27,45,36,20,9,48,36,39,36,26,25,18,24,31,23,21,46,20,37,22,47,12,44,30,29,25,38,40,14,27,28,21,37,14,37,18,24,32,32,21,26,14,30,22,27,27,26,26,32,23,23,25,36,31,30,31,25,16,41,17,23,9,15,12,11,9,7,9,8,13,9,11,33,36,23,41,38,19,47,47,33,12,16,12,9,9,8,12,41,46,20,17,44,48,25,38,24,37,41,48,20,20,37,13,42,37,42,48,38,24,30,34,22,36,22,34,20,42,43,21,22,27,29,32,23,52,10,31,41,24,29,24,16,20,28,27,25,18,23,21,41,22,25,22,21,25,19,36,34,35,30,29,32,35,22,14,27,18,27,28,15,17,15,21,42,49,45,17,27,14,35,13,16,19,18,28,30,33,11,24,36,34,39,47,14,50,27,28,42,24,47,33,31,24,36,17,27,18,32,15,24,34,18,35,21,39,38,26,24,30,16,42,19,21,29,17,29,34,35,28,36,24,36,25,27,42,43,34,39,32,40,34,36,24,35,53,54,23,15,28,19,22,27,31,23,40,31,32,27,15,26,25,32,33,32,30,23,39,47,34,28,25,18,25,32,33,29,31,42,20,30,18,20,35,27,16,29,28,29,19,42,37,25,23,24,37,15,24,28,18,41,34,20,43,45,37,15,33,36,34,16,24,33,24,21,32,20,52,32,18,26,31,35,27,34,31,29,29,16,33,28,43,39,27,43,40,29,24,24,25,59,14,34,34,41,39,30,28,29,30,19,32,37,28,18,35,18,28,25,26,20,26,17,29,10,22,10,18,33,32,11,31,14,41,18,19,34,49,30,19,24,38,21,38,32,39,35,32,51,44,19,27,29,22,23,42,22,21,19,15,22,27,23,22,21,21,36,17,23,21,47,33,11,10,36,22,9,48,32,28,21,14,36,36,35,51,18,17,35,43,21,20,34,24,12,39,22,44,24,23,46,22,36,43,22,20,20,34,29,25,42,26,29,27,16,17,26,19,24,34,42,22,50,44,23,55,19,45,29,43,23,31,34,28,33,39,44,33,16,33,32,22,41,24,26,32,47,29,11,21,38,41,27,29,29,25,44,32,16,28,26,30,30,29,33,34,30,21,25,25,41,17,27,35,28,28,30,18,38,31,31,30,31,18,31,42,23,15,17,16,24,31,18,26,20,23,43,18,28,20,38,24,33,39,18,21,20,28,15,32,18,20,32,25,22,35,20,17,31,26,25,23,32,36,38,11,23,27,30,19,36,31,29,44,35,15,40,29,32,31,28,19,32,35,34,24,26,33,16,24,26,39,39,14,33,17,20,22,38,18,27,40,14,21,34,25,44,33,18,32,36,14,32,46,26,23,17,30,44,36,33,40,35,52,11,28,26,19,33,22,51,37,39,14,57,29,14,40,30,41,18,58,24,17,41,26,39,36,22,29,26,25,39,30,19,41,32,33,36,32,19,41,28,13,27,39,22,29,19,24,20,24,30,52,41,41,16,45,22,25,24,20,15,36,20,23,28,34,37,39,29,30,38,20,32,31,27,30,25,36,35,39,35,25,28,20,20,23,26,35,33,20,27,32,37,23,22,32,39,24,29,23,33,28,35,32,26,26,18,29,16,40,19,18,33,27,36,29,13,38,30,19,9,21,31,30,31,32,38,24,45,31,13,48,44,17,26,52,17,48,19,19,61,15,37,26,38,42,45,25,42,57,52,32,20,38,34,43,22,37,31,26,52,31,24,28,26,24,44,42,28,53,14,31,31,25,20,38,46,9,13,17,17,21,16,48,28,45,10,12,15,13,31,34,27,10,8,9,14,14,14,12,15,8,9,11,12,10,15,11,10,9,9,9,13,12,9,12,12,13,12,12,8,13,11,12,10,12,9,10,14,10,11,10,10,11,9,10,10,8,10,11,8,9,9,10,8,10,9,11,11,9,10,11,9,8,10,10,8,12,12,13,10,8,11,11,8,11,15,11,16,9,10,9,31,39,47,27,19,27,18,23,28,38,50,17,34,36,20,45,53,14,53,28,36,19,48,19,19,32,26,18,33,40,26,24,52,34,47,28,22,26,34,38,33,15,64,14,28,22,35,28,23,29,38,30,27,43,47,53,15,29,21,22,10,8,11,12,9,11,10,9,10,9,10,11,9,10,10,13,12,8,13,10,12,10,11,11,11,9,9,13,11,12,12,13,15,10,12,10,14,28,17,38,47,45,42,30,19,33,40,29,39,25,21,52,23,42,53,43,60,35,35,45,34,48,48,34,28,29,14,32,37,24,38,34,24,31,23,41,31,28,18,40,28,22,23,27,12,34,37,58,58,30,45,33,34,30,36,24,30,42,30,21,33,51,46,55,35,36,20,24,29,44,55,36,34,42,58,45,51,64,23,19,39,51,51,46,34,40,48,54,26,27,55,40,44,54,22,42,62,47,33,37,53,36,62,24,23,49,50,37,34,47,30,36,36,47,12,29,30,14,28,24,18,33,27,38,41,27,23,42,43,17,22,25,29,18,31,25,28,23,31,40,42,40,57,41,50,43,36,36,27,30,34,55,31,15,58,29,22,45,48,46,36,24,49,10,30,38,49,81,68,50,23,62,27,21,45,25,32,40,27,16,39,16,38,17,49,48,21,45,29,30,37,42,25,28,41,39,46,29,41,23,67,25,52,30,55,29,25,21,45,30,35,66,24,38,29,33,43,52,51,38,40,26,47,36,20,50,28,40,36,20,32,40,26,20,22,50,40,45,50,40,36,27,23,26,44,37,41,43,37,17,35,31,30,32,34,42,37,20,41,34,49,55,28,53,29,21,30,33,37,50,31,33,37,27,35,30,36,37,44,39,18,51,19,30,49,33,27,35,26,32,36,60,22,53,34,25,35,39,63,19,40,19,59,23,51,29,44,40,24,33,30,32,37,27,20,56,25,30,54,11,38,42,28,30,44,27,33,33,33,50,32,6,14,12,10,11,13,16,12,11,35,20,34,19,34,26,36,15,37,34,22,35,54,38,31,30,41,23,48,26,20,24,47,34,43,21,21,47,23,51,21,29,23,23,40,41,34,31,33,35,20,34,48,40,27,23,38,46,12,19,19,38,27,26,50,17,27,45,20,56,59,23,67,17,25,21,28,40,33,35,40,47,27,45,40,23,29,32,32,51,68,34,30,43,36,47,54,23,26,47,15,38,28,31,20,18,32,44,47,13,9,8,41,11,41,24,19,28,18,19,19,57,32,34,20,49,37,44,16,55,28,57,24,17,40,29,30,37,43,50,24,29,32,32,36,43,18,30,16,25,25,43,37,18,45,32,42,41,38,40,44,55,16,43,36,27,42,32,18,24,49,53,23,35,23,24,24,29,21,52,25,24,23,36,28,41,17,56,51,35,20,26,37,23,27,31,28,15,22,44,52,39,60,22,30,47,43,35,42,66,23,33,9,8,23,36,26,29,34,40,44,27,36,47,43,60,38,28,42,21,54,40,47,22,61,44,32,29,19,45,27,26,35,35,32,39,34,40,25,28,32,41,30,42,38,25,22,41,23,44,31,20,33,48,14,26,46,48,24,26,19,25,30,41,58,21,42,32,38,24,54,63,26,27,24,30,31,27,31,34,26,34,23,26,15,38,40,16,31,27,35,44,25,32,35,18,46,33,35,25,38,52,28,31,40,30,27,33,47,52,26,45,54,30,43,24,29,46,38,50,33,16,67,31,33,29,21,26,37,31,44,14,55,51,44,42,32,32,39,48,27,37,45,54,28,25,70,42,44,25,40,37,35,62,32,44,21,47,28,26,49,42,48,48,28,41,36,42,31,21,26,46,49,47,24,21,31,32,46,63,23,32,36,47,39,45,33,37,38,23,35,34,68,83,16,9,8,66,26,46,47,34,36,48,30,28,25,29,39,38,34,31,25,30,45,47,41,48,47,35,20,24,27,56,52,35,36,21,39,21,16,23,16,18,31,35,22,57,23,23,55,29,40,25,23,41,26,9,11,11,12,12,12,8,13,14,8,8,11,12,11,10,6,8,11,9,11,10,10,10,7,12,13,8,15,7,12,11,10,14,17,12,7,10,11,12,8,8,9,15,11,13,9,7,8,11,11,11,11,9,11,9,9,9,8,15,13,11,12,10,8,12,13,8,13,11,10,10,10,15,8,14,20,18,9,13,19,14,12,11,8,11,16,33,26,47,22,57,30,46,40,48,50,29,52,48,12,55,30,27,36,34,30,32,33,32,43,30,36,40,48,45,50,47,33,46,27,68,19,42,27,20,56,41,23,22,32,27,40,38,29,50,32,33,25,21,35,53,40,48,46,43,32,37,34,23,16,35,49,39,13,10,12,10,24,10,11,10,10,10,11,11,12,10,14,9,9,9,10,8,11,10,11,19,13,10,10,9,10,12,9,14,8,11,20,11,11,11,24,11,44,24,18,21,19,20,20,19,21,22,21,18,16,26,20,32,17,40,24,53,32,34,10,23,13,15,38,30,35,25,63,37,30,41,33,53,91,50,52,15,7,14,28,45,40,29,59,61,20,33,29,46,27,45,37,34,40,35,34,63,31,43,16,39,27,28,23,45,31,43,47,50,20,38,47,20,52,27,22,42,45,27,68,33,41,54,28,28,54,23,61,36,32,54,43,25,42,53,45,61,29,31,40,34,18,39,47,56,33,17,17,16,25,49,44,21,43,29,40,27,34,34,31,45,46,31,27,31,51,31,38,44,53,44,37,54,36,29,28,27,25,20,23,23,23,24,23,23,32,21,37,47,50,46,28,28,37,60,24,28,42,24,23,39,39,34,48,13,75,16,52,37,74,50,27,35,36,4,40,60,52,62,23,57,48,45,46,42,39,51,49,19,33,50,23,39,55,28,32,22,43,50,37,44,27,47,24,15,23,29,27,20,33,26,27,24,26,35,23,10,30,16,12,11,12,12,9,12,12,9,26,18,24,46,32,27,38,40,31,40,43,23,39,25,47,23,33,21,34,21,47,33,28,16,32,27,60,32,34,26,25,40,29,34,34,31,40,31,33,51,36,30,43,37,18,50,50,9,46,32,20,23,47,35,33,17,21,53,52,82,23,46,72,40,17,27,19,32,16,39,22,30,17,55,36,24,56,30,42,25,62,35,46,44,50,42,65,47,36,41,35,31,35,48,34,20,60,23,38,21,28,13,45,28,25,32,26,66,39,29,33,12,41,39,28,30,44,14,32,38,17,33,37,41,39,19,24,51,29,37,10,21,29,29,27,28,31,18,25,23,27,55,51,16,23,16,17,12,43,22,40,22,29,42,32,19,31,29,23,24,42,18,39,29,34,9,44,24,46,56,40,36,56,18,34,29,19,36,21,26,28,31,54,26,37,14,35,57,37,35,26,26,12,46,21,11,49,38,20,27,27,36,34,33,21,47,24,22,62,13,30,19,27,41,25,28,29,20,23,40,17,47,23,18,21,37,34,42,37,18,14,39,12,54,46,40,39,40,26,42,45,21,41,36,35,34,27,21,42,37,44,37,27,23,38,34,25,32,37,32,41,42,13,15,32,25,29,29,34,50,53,53,26,17,35,41,38,30,40,43,21,28,17,21,22,31,48,27,33,26,51,37,28,42,31,58,24,29,37,41,34,30,39,39,28,40,45,48,36,40,23,24,29,59,43,16,48,47,55,19,46,24,31,37,34,18,38,26,33,46,21,28,16,34,70,36,46,27,21,49,41,31,40,48,39,47,27,35,23,31,13,47,43,13,18,42,39,38,31,26,30,38,33,24,23,30,41,23,23,46,27,39,20,41,42,30,50,44,21,32,22,32,19,35,29,43,45,18,23,29,34,33,28,46,31,47,24,37,30,28,39,20,29,27,45,31,38,26,32,23,27,47,35,42,43,34,33,36,30,43,34,38,52,23,44,35,68,45,23,35,25,65,18,38,31,17,30,25,40,28,32,22,37,38,31,33,57,37,32,23,46,52,55,21,46,17,45,47,17,32,53,33,23,54,43,16,21,25,63,53,33,64,39,58,34,60,27,38,32,20,44,32,26,38,15,30,32,50,18,24,44,41,24,39,37,62,19,35,35,24,36,43,42,32,18,56,30,43,42,12,47,35,49,38,56,40,19,50,30,53,27,32,32,37,31,67,35,25,36,23,39,37,28,34,18,45,27,24,35,27,42,23,45,28,21,25,21,24,41,25,28,19,34,70,50,46,23,50,53,33,33,32,57,23,59,39,32,19,37,34,23,49,34,34,35,27,69,35,45,30,42,34,42,32,42,46,24,36,38,34,35,33,34,46,25,43,36,25,42,26,60,22,34,57,46,12,23,19,30,27,19,12,28,49,27,60,41,40,22,30,31,36,37,33,30,25,32,31,33,20,23,37,46,32,35,18,26,49,15,53,46,20,24,22,21,34,37,21,47,28,54,41,39,54,44,26,33,35,33,35,41,33,17,58,28,34,27,39,24,38,34,44,33,31,25,41,30,49,26,33,30,31,34,56,62,27,42,56,35,45,38,29,49,44,51,40,25,18,24,32,39,51,19,44,40,28,36,47,35,30,29,33,26,24,30,26,41,45,19,47,24,41,64,40,25,16,54,48,52,62,33,50,24,25,64,32,26,43,22,30,57,24,61,28,54,42,38,24,35,42,18,55,21,60,39,18,35,49,37,30,53,27,34,31,30,35,18,46,12,23,41,49,24,51,25,64,23,53,37,33,44,22,52,32,36,31,40,35,20,51,28,39,25,33,29,27,24,38,31,39,26,48,40,23,21,39,46,20,26,39,50,15,40,27,14,35,36,35,38,48,29,26,22,37,29,43,49,27,33,25,56,34,34,32,48,36,51,48,40,68,33,20,44,35,24,56,28,36,35,56,53,52,26,31,62,34,65,69,37,46,38,25,38,48,34,38,40,44,31,46,28,55,57,64,51,36,29,89,58,30,44,47,29,41,47,44,27,43,56,18,22,82,14,35,50,14,65,18,50,48,30,29,34,42,12,54,48,23,46,36,28,63,31,47,36,48,27,44,20,30,67,45,47,27,61,30,16,49,38,57,26,25,44,62,49,37,43,40,44,15,84,33,49,49,92,51,53,31,41,39,48,14,54,64,45,37,35,26,16,17,14,17,30,21,64,45,27,39,46,33,36,51,34,28,62,23,46,45,41,39,48,30,28,51,20,21,48,50,34,13,41,36,64,26,36,38,17,38,22,37,24,25,33,39,50,28,39,22,35,15,32,37,56,24,23,19,34,22,20,40,63,38,33,16,6,13,8,7,8,9,8,10,8,12,11,15,13,9,10,11,11,11,11,10,15,9,10,11,9,11,14,14,11,8,9,9,14,10,11,10,10,12,10,11,13,10,11,12,9,11,14,9,11,12,12,10,12,10,14,14,9,8,10,11,12,14,11,11,11,10,10,14,11,11,13,14,11,13,12,12,10,10,9,9,9,9,10,6,11,9,11,12,11,11,10,13,9,9,12,11,12,11,12,12,10,9,10,9,9,9,11,8,11,11,13,12,9,8,10,11,12,7,9,9,12,12,13,10,12,16,10,13,14,10,8,9,13,13,10,10,10,10,12,12,13,11,10,12,15,15,12,12,13,12,13,12,12,10,8,11,14,15,9,12,8,13,12,12,13,15,9,14,10,10,11,14,8,13,14,11,13,15,9,9,12,11,12,10,8,9,8,12,11,12,10,9,10,9,9,12,10,12,11,13,10,12,8,13,12,13,12,8,11,11,10,11,10,15,11,15,12,13,10,13,13,8,12,11,12,13,10,10,10,15,13,10,15,10,10,10,12,12,11,10,11,9,9,9,11,9,14,12,13,11,7,8,12,12,17,10,11,12,10,11,12,14,10,13,8,11,11,15,8,10,9,11,9,9,10,13,11,12,11,11,10,11,12,11,10,12,12,7,11,13,13,11,10,11,10,10,14,11,11,12,11,11,8,12,13,8,10,14,10,13,12,13,12,12,11,7,12,8,9,11,9,13,10,8,13,12,13,12,10,12,9,8,13,12,11,14,11,11,11,8,14,14,15,14,11,9,10,12,8,14,13,11,12,11,10,11,11,11,15,10,12,7,10,9,11,11,11,17,10,11,11,11,12,11,10,9,12,12,12,11,12,12,10,8,9,11,11,11,8,11,13,9,10,11,11,11,10,10,13,13,10,11,10,9,15,11,15,9,10,16,9,9,11,9,12,14,11,10,8,16,13,11,10,9,9,15,13,12,9,12,10,11,9,9,13,9,16,12,12,13,12,10,8,11,12,8,14,10,13,8,11,15,11,15,11,8,13,13,10,12,13,13,8,11,12,11,8,9,9,11,9,11,11,12,13,19,11,10,10,10,12,13,14,13,10,12,13,9,9,9,8,9,9,8,10,13,13,14,10,14,9,8,10,11,8,8,13,13,9,11,12,9,11,12,16,12,11,13,10,10,9,9,10,12,11,8,9,9,7,12,9,10,10,10,14,17,10,10,10,11,12,9,11,10,12,10,13,12,8,12,8,11,9,12,11,11,8,12,9,12,9,12,14,13,9,9,10,8,10,15,10,8,14,11,10,10,11,12,11,13,10,14,7,8,12,13,11,13,10,15,10,11,10,12,11,11,12,9,13,12,13,11,12,13,14,11,12,8,11,12,10,11,14,12,12,11,9,13,10,13,13,14,13,12,11,14,11,11,12,13,13,9,11,12,12,9,11,11,11,10,12,13,13,7,13,11,10,9,10,11,11,16,12,12,14,10,9,11,8,9,10,9,13,14,9,11,14,10,13,15,9,15,12,8,8,10,12,9,10,9,12,14,11,9,10,13,13,9,12,10,15,12,12,11,13,9,8,9,9,9,11,10,9,10,9,10,16,13,15,10,11,11,9,12,9,13,12,11,11,13,9,12,12,12,14,10,7,14,12,10,10,12,11,9,10,11,8,9,11,11,13,8,11,14,12,10,14,11,9,10,12,11,13,11,10,17,10,13,11,12,11,9,14,10,13,11,13,12,8,8,12,12,10,13,12,8,8,13,10,14,10,9,9,10,10,12,12,12,12,10,11,8,10,14,9,11,10,12,10,11,9,9,12,11,12,13,12,14,10,8,9,11,11,10,9,14,11,12,11,13,13,8,9,10,14,10,14,8,12,11,13,9,13,12,14,11,10,10,14,13,11,9,8,12,9,11,13,8,9,19,11,14,13,10,15,10,10,10,12,13,13,15,11,10,11,9,11,11,10,12,13,11,11,9,11,9,11,13,8,11,11,15,8,9,11,12,11,9,13,14,11,10,12,13,14,14,13,11,12,11,11,13,10,10,12,9,11,12,13,10,11,11,10,11,13,9,9,8,11,13,12,15,11,9,17,13,10,11,11,10,10,13,13,8,11,12,12,11,11,12,12,12,10,8,8,9,10,10,11,9,9,10,10,9,8,11,10,9,9,11,8,12,12,7,14,13,9,12,10,12,12,14,11,12,16,11,11,11,12,15,15,10,13,13,12,8,12,9,9,9,10,9,8,10,8,8,9,13,12,12,10,16,12,10,13,10,9,13,8,13,13,13,14,10,12,16,16,16,9,8,13,15,10,13,12,10,10,9,12,11,11,10,10,10,12,10,10,13,11,10,9,10,8,10,11,12,13,10,10,12,11,10,9,8,11,14,11,10,16,10,7,12,10,15,9,16,10,16,9,12,14,8,9,12,12,11,10,9,11,11,15,10,11,12,12,11,16,15,11,14,11,13,14,18,16,9,13,11,10,12,9,8,12,10,13,14,6,10,12,12,10,11,11,13,11,12,13,10,10,12,13,15,11,9,9,13,12,11,12,10,11,10,10,10,11,12,15,9,9,10,9,9,12,14,14,10,10,11,12,8,8,8,11,9,10,16,11,11,10,15,13,12,14,13,14,9,10,10,10,13,13,10,12,13,12,8,12,13,13,11,10,11,6,9,9,10,11,9,12,12,11,9,14,10,8,13,10,10,11,9,12,13,12,12,12,12,11,12,10,11,14,15,15,16,10,17,17,9,8,8,10,11,12,12,11,10,13,14,13,10,13,9,10,9,14,10,11,11,14,12,11,14,13,10,11,12,10,11,10,12,10,12,9,11,10,14,8,18,12,12,11,9,10,12,12,10,12,11,10,10,14,14,9,10,9,14,11,12,9,11,13,9,9,13,13,10,11,11,9,10,12,11,9,13,9,8,12,9,11,11,11,12,10,10,8,12,11,12,13,12,10,11,9,12,10,10,10,13,13,11,10,9,9,10,10,13,11,10,12,13,16,14,12,14,9,8,10,16,12,12,12,13,10,11,8,11,9,9,11,9,11,13,12,14,11,12,11,9,9,10,11,13,8,8,18,13,13,10,11,15,12,8,12,10,11,10,10,13,14,14,11,11,8,12,8,9,10,10,9,9,11,12,12,13,8,14,13,13,11,11,15,11,9,14,16,14,13,11,16,10,13,13,11,11,12,12,12,13,10,10,11,9,10,13,11,11,11,11,13,12,9,8,10,12,11,9,12,11,12,11,12,14,15,10,10,12,16,18,13,19,10,12,12,14,12,13,13,10,12,18,13,14,8,10,16,13,11,12,12,14,11,10,9,15,10,13,11,12,10,17,12,18,11,10,11,12,14,13,11,15,12,12,10,16,11,12,13,11,12,13,10,11,11,11,10,9,9,9,19,37,29,18,24,19,8,7,10,9,8,8,10,12,11,11,9,9,9,10,10,8,14,8,12,12,11,12,11,10,12,11,10,9,9,11,13,10,11,10,12,10,12,11,10,9,8,9,12,11,10,12,8,13,11,13,12,11,10,12,12,15,9,9,10,8,14,9,9,12,9,12,12,9,10,10,9,12,9,11,11,14,10,11,10,14,12,9,11,10,10,12,12,11,8,10,13,13,12,12,9,12,11,16,11,9,9,11,13,10,9,10,10,8,11,9,9,11,8,9,9,11,12,10,13,15,8,11,11,8,12,10,10,14,12,15,15,12,11,10,11,11,12,9,9,9,8,9,12,10,8,10,11,12,8,12,13,13,9,10,10,13,11,10,9,7,15,10,10,10,12,16,14,10,12,12,11,12,9,14,10,16,12,7,10,8,10,12,7,8,11,9,10,10,11,9,10,12,10,14,7,8,9,12,14,18,13,11,11,11,13,14,11,9,13,14,12,10,11,9,15,15,11,14,10,10,9,13,14,10,12,10,12,14,10,10,11,12,9,13,10,12,10,17,9,12,9,9,9,15,7,11,13,7,11,14,11,11,14,15,13,8,15,15,14,10,9,9,12,13,12,9,10,11,10,8,9,9,12,13,11,11,8,9,11,9,12,10,9,8,10,10,8,10,10,9,11,11,11,12,9,10,16,12,11,13,12,11,12,11,9,12,9,11,10,10,9,11,10,11,10,11,7,13,13,12,12,15,8,13,11,9,11,12,12,14,11,10,11,12,9,10,8,12,7,17,17,14,9,14,14,9,11,10,9,8,9,12,11,10,9,11,8,8,13,11,12,11,14,11,11,11,11,11,12,12,12,12,12,9,12,10,11,14,10,11,12,13,12,10,15,13,15,10,13,12,11,13,8,13,11,13,9,11,13,9,15,12,12,11,12,11,13,10,11,9,10,13,10,10,11,11,10,11,10,12,10,12,12,11,13,10,9,14,12,11,13,14,11,14,11,10,10,11,12,13,11,13,11,15,12,12,13,11,11,10,12,16,14,10,10,10,11,10,12,12,9,15,10,12,11,8,9,12,13,11,9,11,13,10,13,9,13,10,10,10,9,11,9,11,12,10,14,10,12,10,17,9,14,11,14,9,12,10,12,12,14,13,11,10,10,10,11,7,10,9,10,12,11,13,9,9,12,12,10,9,9,14,11,11,13,12,10,11,14,11,11,10,10,10,10,10,12,14,8,11,11,9,8,13,11,13,16,12,14,11,11,12,10,13,11,8,11,10,9,10,9,11,11,13,10,8,10,11,9,11,9,8,10,10,10,9,12,10,12,11,8,8,9,11,8,11,12,17,11,14,10,12,10,7,9,12,10,11,12,11,12,13,8,14,14,9,9,10,48,63,44,30,62,39,11,35,28,20,13,18,7,10,11,10,8,10,9,9,10,10,9,10,9,9,12,8,11,12,7,8,12,9,9,13,8,11,11,13,9,7,8,7,8,8,8,8,11,10,9,11,8,9,10,12,9,8,12,10,11,8,9,12,9,7,6,10,11,9,8,11,11,9,6,7,9,12,9,9,9,7,11,10,10,9,8,8,7,9,13,10,8,8,8,10,11,14,9,10,11,8,9,9,9,8,9,13,10,7,11,9,10,11,12,7,7,7,9,7,7,9,9,12,10,8,8,7,8,8,9,11,9,6,10,9,9,6,10,11,14,7,9,10,11,12,9,11,15,10,13,9,10,8,8,9,7,6,9,6,6,6,11,8,11,12,10,12,9,10,7,11,9,11,9,7,8,10,10,12,14,9,11,12,9,7,9,10,10,11,8,12,9,12,14,11,11,13,13,10,11,10,11,11,12,11,13,14,16,13,10,13,12,9,10,10,12,22,25,51,21,53,29,47,21,25,28,39,9,9,8,11,7,11,11,11,7,7,7,9,9,14,10,7,8,8,6,9,8,8,7,8,11,8,10,9,9,10,10,12,10,14,11,8,11,7,9,10,11,7,15,11,10,10,12,12,9,8,8,9,10,53,45,24,52,22,38,42,17,25,51,44,19,9,9,10,13,10,8,13,9,11,8,12,10,10,11,12,11,14,12,11,10,8,8,8,8,7,12,12,8,10,10,12,9,8,8,9,14,10,11,9,13,14,12,9,14,7,7,9,9,13,16,9,11,8,9,10,9,8,11,14,15,16,26,25,56,35,20,13,8,9,15,11,14,11,15,11,48,24,34,27,37,13,15,13,11,12,13,9,12,10,9,13,8,7,11,8,12,9,11,8,12,13,9,7,10,10,11,11,11,10,9,10,12,11,6,9,8,13,11,14,13,11,9,12,8,9,9,14,11,11,8,12,10,8,8,10,10,8,6,9,10,10,6,14,9,11,12,7,9,10,9,15,10,12,10,8,10,14,7,9,8,12,9,12,13,9,12,7,9,8,11,9,14,10,8,10,8,12,8,8,9,9,9,9,7,12,12,13,12,10,7,11,9,11,7,14,13,11,12,10,12,11,10,13,14,10,12,9,14,11,11,11,13,11,10,10,12,13,11,13,11,12,10,12,6,11,8,12,7,14,15,12,11,8,13,10,7,7,8,8,9,8,8,11,11,9,9,11,11,8,11,10,11,14,10,13,11,9,8,10,11,11,8,8,11,8,12,13,9,10,7,10,13,13,15,14,12,8,9,12,10,11,7,10,10,8,9,10,12,14,9,14,11,8,7,11,9,8,10,12,11,7,12,8,11,8,7,7,8,8,9,13,9,8,8,8,7,9,7,11,8,9,10,9,12,7,14,13,15,11,11,9,10,11,7,8,9,6,9,12,11,9,9,14,10,9,15,10,13,11,13,14,10,13,12,12,13,14,13,11,8,7,13,9,9,11,7,8,10,10,6,16,14,11,8,11,10,8,8,6,11,7,7,11,11,13,15,9,9,13,7,8,19,14,8,7,11,6,11,9,11,11,9,8,8,8,8,8,11,8,10,10,10,7,8,9,7,7,7,9,11,7,8,7,10,13,7,11,10,11,9,10,18,16,9,12,9,11,11,10,13,13,6,9,7,12,10,16,7,18,10,10,14,10,8,9,14,7,8,9,9,9,12,13,10,9,10,11,10,15,11,15,11,12,8,9,8,11,11,8,8,13,8,14,10,12,10,8,19,12,12,10,11,10,9,13,12,12,11,13,11,11,13,9,9,10,11,11,9,10,9,9,7,11,11,13,14,11,11,9,10,10,12,10,10,9,10,11,11,13,13,11,9,8,10,9,9,12,9,9,12,8,13,9,18,9,8,11,11,8,9,10,12,9,9,12,11,11,9,10,13,10,11,14,12,11,10,12,10,9,10,10,8,10,11,11,16,9,10,8,9,10,12,8,11,12,7,11,13,15,9,13,11,8,12,15,9,8,9,11,11,14,9,11,10,13,9,13,10,10,10,9,10,13,7,9,9,8,7,9,10,9,11,9,11,13,7,8,6,9,7,9,8,9,9,11,9,9,10,8,10,11,9,12,8,10,8,11,9,9,12,14,12,9,8,11,12,11,9,11,20,12,11,12,9,13,13,13,12,13,10,9,9,8,6,9,11,11,11,10,12,7,10,11,10,14,10,10,9,11,10,9,10,7,9,6,7,11,11,10,10,14,9,11,12,13,10,12,11,7,6,9,6,12,8,12,7,6,6,7,12,8,12,7,11,9,10,10,9,11,12,7,7,7,8,9,9,8,8,11,8,7,7,10,7,7,7,7,7,10,11,10,8,9,7,8,10,10,11,10,10,9,10,51,9,11,8,13,10,5,8,6,7,8,8,14,8,12,8,8,8,12,13,8,10,8,8,15,15,11,9,8,7,8,7,8,9,12,8,7,9,9,10,12,8,8,11,11,9,7,9,6,8,8,9,9,8,6,7,6,9,10,9,12,10,9,7,10,12,10,11,7,9,10,9,8,8,7,10,8,9,10,10,8,9,8,28,39,25,43,25,42,22,21,26,52,23,42,35,27,25,32,17,28,13,8,9,13,14,16,9,12,7,13,13,9,9,10,11,9,12,9,8,10,10,11,8,9,10,11,10,9,8,8,9,43,30,26,22,20,38,30,32,34,30,34,24,33,52,26,31,43,26,34,28,22,39,37,57,43,28,44,31,24,32,33,19,40,33,27,40,27,24,28,44,74,26,30,20,40,45,42,24,30,26,44,33,29,54,43,43,36,37,37,47,33,56,32,39,30,12,11,8,9,9,6,11,43,25,33,27,38,30,53,23,64,47,34,44,61,40,38,37,52,24,43,39,18,28,49,16,52,28,19,26,31,30,25,14,13,41,20,45,46,20,22,31,41,24,14,51,50,15,37,38,35,29,25,37,36,59,27,22,27,43,38,28,45,55,45,40,19,23,29,23,15,22,37,47,38,41,42,38,35,21,41,27,22,20,33,40,19,27,33,57,23,29,32,39,26,44,31,50,33,33,31,34,25,23,22,59,26,38,26,39,19,28,32,32,26,41,46,36,26,43,45,25,34,58,44,35,29,22,52,55,33,35,64,21,52,38,29,38,32,26,41,20,41,35,41,46,46,40,33,39,16,25,28,37,30,37,66,31,48,22,32,27,34,16,22,37,61,21,34,32,47,23,40,33,13,60,54,32,22,37,43,53,33,48,21,31,25,9,23,26,29,63,35,51,39,35,30,37,23,21,27,33,23,51,60,30,37,34,42,60,50,24,38,34,43,27,28,43,22,41,35,26,34,35,52,15,30,37,32,39,31,23,45,34,31,27,61,33,39,27,35,37,19,29,24,55,21,31,25,34,73,21,38,23,49,22,43,44,45,31,43,28,74,39,24,51,20,42,44,50,25,20,37,40,29,69,44,21,62,29,35,28,31,35,38,19,37,26,45,23,58,25,27,21,43,40,46,39,35,32,48,45,27,44,22,24,44,40,34,20,54,40,38,21,57,53,42,42,41,35,21,53,36,42,44,30,35,26,25,33,26,37,26,20,57,35,44,27,37,37,21,24,35,25,48,51,43,36,45,38,58,43,41,43,46,27,53,45,32,49,23,54,18,52,20,37,23,64,53,37,46,25,28,25,59,23,42,62,32,42,23,22,39,59,35,36,30,50,35,41,32,32,42,50,44,19,41,49,54,19,30,24,30,55,54,55,36,13,50,30,51,26,40,32,29,31,38,41,40,36,32,53,21,49,30,44,33,43,27,28,35,36,26,30,59,26,51,38,34,36,46,45,68,33,9,13,10,39,66,25,22,47,44,55,33,45,21,33,50,29,31,49,24,38,26,38,21,64,61,40,28,19,13,52,65,35,53,31,40,38,62,50,61,25,59,30,49,34,38,51,39,51,44,21,28,35,5,15,12,11,8,10,14,10,10,11,11,11,11,8,10,10,10,9,10,9,10,11,10,9,11,12,10,9,9,10,9,10,11,7,11,11,11,12,11,10,10,8,10,14,9,11,11,13,14,12,12,10,12,9,9,14,11,12,13,10,14,8,16,10,10,12,13,10,10,15,10,11,9,10,13,10,9,13,12,10,13,9,10,12,16,8,12,13,12,11,11,14,13,17,11,12,11,9,13,6,11,11,15,9,9,10,14,10,14,9,10,14,9,11,11,13,12,9,11,9,9,11,10,9,12,13,15,12,14,9,11,9,14,11,9,13,10,47,50,45,47,31,44,21,27,52,46,44,23,57,48,25,24,25,13,19,18,17,33,18,20,18,18,29,15,19,28,15,12,27,45,49,41,33,35,38,25,38,52,26,28,67,38,35,66,52,37,16,39,48,52,29,56,37,43,54,20,31,25,40,32,39,32,17,29,39,42,26,27,44,33,19,36,24,36,37,27,43,43,28,23,33,36,33,48,37,53,35,35,52,32,28,33,40,57,49,30,32,35,28,29,39,31,13,24,40,20,29,38,32,25,45,37,39,32,30,28,47,23,36,77,45,35,47,23,47,62,58,33,30,33,43,18,36,16,16,18,14,13,32,19,47,34,28,24,49,29,33,42,25,29,30,33,41,49,38,23,35,26,37,18,21,34,33,31,66,23,31,36,44,25,57,28,42,24,51,35,33,28,21,23,40,21,33,35,23,51,17,48,36,23,51,54,41,37,21,29,25,32,30,48,32,34,26,33,45,41,47,20,46,31,19,54,30,25,21,38,37,24,35,24,39,39,21,36,52,26,23,31,23,43,36,20,36,59,41,28,49,32,48,23,39,47,39,40,46,44,35,28,54,54,21,32,17,11,9,6,10,9,14,11,12,6,7,8,10,12,13,13,10,8,10,11,8,9,10,8,12,10,6,13,9,10,12,13,12,14,6,10,9,9,11,15,15,11,10,15,12,10,11,8,10,13,11,8,10,9,12,12,7,16,13,8,10,14,10,8,11,12,13,9,11,14,12,7,14,12,10,11,9,12,13,11,14,7,7,9,6,10,6,7,6,8,9,13,11,15,9,7,12,10,10,8,14,12,16,11,30,39,31,36,45,25,20,41,34,36,52,26,65,31,36,26,30,33,57,38,60,35,20,37,44,49,44,45,33,39,53,30,40,28,41,20,51,33,51,26,50,39,41,65,45,32,40,44,25,21,45,48,61,37,43,30,27,35,48,43,22,53,30,65,60,39,39,40,24,46,34,39,37,24,48,32,40,20,33,56,33,19,42,30,36,54,33,27,38,27,54,42,32,19,16,28,37,29,29,35,39,50,43,34,48,38,43,25,29,17,26,16,26,18,51,45,22,52,42,52,25,12,36,49,40,30,45,67,33,28,40,23,46,31,40,41,33,44,25,26,34,21,40,42,39,28,23,76,53,24,42,30,23,43,22,24,37,44,19,18,37,13,69,35,43,33,34,36,36,21,24,30,26,37,40,34,50,34,14,31,25,41,48,40,30,42,37,49,18,31,24,51,66,35,35,42,31,31,34,35,46,39,27,53,27,41,27,44,46,53,46,40,30,40,31,56,37,50,57,56,55,30,11,34,12,20,26,19,23,41,35,34,36,18,49,49,50,43,39,26,36,29,26,36,26,54,29,22,39,45,32,20,47,24,26,24,35,63,37,33,46,20,40,53,24,18,48,38,8,11,10,13,46,58,35,21,9,9,8,13,11,54,18,45,35,26,29,43,53,29,30,23,34,64,43,40,50,29,6,10,8,10,10,29,48,50,17,19,52,58,19,56,28,34,32,56,25,31,47,61,59,40,25,58,56,37,45,39,18,40,38,37,32,40,41,35,57,45,19,53,50,45,30,21,29,44,41,45,26,23,24,46,66,44,25,29,25,65,27,43,44,26,44,24,51,29,24,54,36,54,30,22,35,31,36,37,30,50,44,33,47,25,46,36,56,32,45,35,24,37,73,43,41,37,33,26,45,48,35,56,35,28,25,51,42,41,49,29,48,36,39,43,38,35,35,38,37,40,17,29,23,58,17,27,45,28,35,26,25,40,20,30,25,31,46,18,34,43,25,58,13,32,62,37,45,36,31,13,26,32,35,37,38,26,38,29,15,45,25,28,45,27,25,28,23,56,25,33,46,23,42,26,47,27,36,22,29,27,28,44,19,43,54,41,32,21,64,25,19,23,14,51,12,33,48,21,40,64,28,64,23,30,42,30,50,26,32,32,17,33,30,15,41,39,41,22,36,34,31,37,24,23,48,49,7,12,11,12,13,14,8,8,10,10,12,8,13,12,12,12,12,8,9,10,9,13,9,10,10,10,12,11,11,8,9,12,10,14,11,12,13,9,10,8,9,6,14,10,11,11,8,9,13,12,12,9,13,8,11,13,11,6,8,12,10,8,11,14,13,12,14,16,16,11,9,16,6,10,14,14,11,13,12,13,10,6,11,8,9,12,14,15,9,13,9,9,18,14,7,11,8,11,7,9,11,9,9,9,10,11,16,9,14,9,9,14,10,12,13,9,16,12,9,10,9,14,12,11,9,11,12,11,12,11,13,9,8,12,15,13,13,12,12,12,10,12,11,13,13,12,9,12,11,13,8,8,12,12,14,10,10,6,8,9,8,13,16,11,11,8,11,8,8,10,12,10,11,16,17,7,12,11,11,12,11,14,14,13,13,15,10,14,11,8,10,14,11,7,12,14,12,12,13,8,11,10,12,17,14,14,8,10,12,10,11,10,12,9,14,16,16,9,14,14,10,13,14,11,12,11,13,15,13,21,10,9,11,14,12,10,9,14,11,12,12,14,13,16,15,11,10,12,14,13,13,14,12,10,10,11,15,12,15,9,8,11,13,12,9,10,14,15,11,9,13,13,13,10,10,14,13,14,16,9,10,10,10,11,13,8,8,10,10,13,8,15,11,19,8,7,9,13,14,10,13,12,9,14,13,14,10,15,11,12,7,9,11,10,15,12,12,12,12,14,11,14,12,14,13,12,9,13,13,12,9,14,11,7,13,9,6,12,12,10,9,12,11,9,13,13,12,13,10,13,9,11,10,13,11,11,14,12,12,12,13,12,10,15,9,16,13,10,12,7,12,9,11,13,11,15,15,9,13,10,12,12,11,13,14,11,9,14,12,15,16,11,11,8,14,11,12,10,12,11,11,10,9,9,10,9,13,11,10,11,12,10,14,9,8,11,14,13,10,15,12,13,14,10,9,11,11,11,11,10,10,11,10,10,10,9,10,11,10,9,11,12,12,8,9,14,11,10,10,12,11,11,12,10,12,11,10,10,9,10,14,9,11,11,13,14,12,12,10,13,9,10,14,14,12,13,11,14,9,12,11,11,12,13,10,10,15,10,12,10,9,13,10,9,13,12,9,10,13,9,10,12,15,8,12,13,12,10,13,14,12,14,11,11,11,13,9,6,11,11,14,9,8,9,15,11,14,8,10,14,9,10,14,10,9,11,8,11,12,13,14,13,12,11,11,10,7,10,7,12,8,11,8,10,5,10,6,11,7,8,10,10,10,9,9,14,10,9,10,15,8,12,13,13,11,9,9,12,11,8,11,14,10,14,11,11,12,14,7,9,8,10,13,13,11,15,10,13,13,9,10,13,10,13,10,19,11,13,11,6,12,8,11,12,9,12,10,12,12,10,14,17,15,11,7,12,8,9,10,13,12,13,9,13,12,13,13,13,11,14,8,7,9,7,10,10,10,9,11,8,9,13,10,11,7,14,11,10,11,9,10,12,12,9,12,11,15,12,13,10,12,14,12,12,12,11,12,13,12,11,8,11,8,10,7,10,9,12,14,12,8,14,18,8,12,11,9,8,11,8,15,8,8,8,6,9,9,10,8,10,9,13,4,14,11,11,9,12,11,12,14,10,10,12,12,14,9,10,11,9,8,8,9,10,11,9,7,11,12,10,10,11,14,13,11,7,11,11,11,14,10,16,12,11,9,13,11,9,17,14,10,10,11,15,11,10,14,11,10,14,12,11,10,10,11,8,10,11,10,16,10,8,8,8,8,10,13,10,9,13,10,12,12,11,11,9,10,7,11,13,11,12,12,9,11,13,12,9,12,11,7,11,9,10,8,10,10,10,8,8,8,11,8,13,9,11,11,11,8,13,11,11,9,10,8,12,10,11,9,8,9,9,10,10,12,8,14,10,9,10,7,15,10,8,15,9,7,11,7,9,10,10,13,11,10,9,8,11,8,9,9,10,11,13,8,13,9,14,7,14,11,12,8,12,11,13,11,10,12,12,14,13,12,9,8,10,12,12,11,11,11,13,11,11,13,8,10,13,13,11,11,17,15,13,8,14,17,12,10,11,10,10,9,11,8,8,9,7,7,9,11,10,10,8,10,12,9,12,10,9,14,14,11,10,9,8,7,10,9,11,15,15,8,10,13,12,9,17,11,11,15,12,15,9,9,10,8,12,8,17,7,11,13,12,10,11,8,9,10,10,9,9,18,10,11,12,8,10,10,9,11,7,9,13,12,11,12,8,9,8,7,17,10,9,10,13,10,10,8,14,11,10,13,7,16,12,12,9,13,16,9,12,16,17,10,15,10,8,10,8,13,17,12,13,14,10,11,16,14,12,12,9,12,13,9,12,11,12,9,16,13,13,13,11,10,15,11,9,13,12,10,11,12,12,9,10,14,10,12,8,12,12,12,11,15,13,11,9,9,10,10,10,14,9,11,11,12,10,11,12,11,10,10,10,12,11,11,11,12,12,10,11,10,13,9,12,10,12,8,10,10,8,12,9,14,13,12,11,11,9,12,12,8,9,11,12,13,14,12,10,10,8,8,7,7,7,13,8,10,9,12,12,10,11,12,12,14,14,12,13,9,8,9,6,11,13,7,13,9,9,10,7,11,11,18,10,8,14,8,11,10,11,12,11,8,9,11,12,11,10,10,8,9,12,10,10,9,8,11,10,11,11,10,8,12,10,9,12,12,12,13,10,11,9,7,7,12,12,11,10,7,9,6,12,14,13,13,10,13,8,14,9,12,10,10,13,15,11,15,11,10,15,12,12,12,10,10,12,11,11,10,10,14,8,13,9,10,13,10,13,17,11,11,12,12,14,14,15,10,9,9,11,10,11,12,10,11,10,9,11,9,12,10,12,9,12,11,9,15,11,12,10,13,12,13,10,13,10,11,13,9,9,9,10,8,8,11,7,13,9,8,11,8,12,8,9,10,12,14,11,14,13,10,10,13,12,11,13,12,12,12,12,10,12,9,13,9,10,11,11,9,10,7,14,13,9,8,12,10,10,12,9,14,11,10,12,16,13,10,13,11,12,14,13,13,12,11,13,15,12,9,10,9,9,12,12,10,10,11,11,8,7,10,11,11,12,8,10,8,9,9,9,10,11,10,14,11,13,11,10,15,12,8,12,13,12,11,8,12,8,9,13,12,8,9,10,12,9,12,10,9,11,12,9,10,7,11,10,8,10,9,7,10,12,10,13,8,11,11,11,11,8,7,10,14,12,9,12,7,10,8,13,13,16,7,12,7,13,6,9,5,12,7,12,7,10,10,12,10,14,8,11,11,9,11,9,9,11,10,11,9,11,12,11,10,15,12,12,15,12,10,12,15,10,11,11,9,13,12,11,13,12,12,12,12,12,10,11,11,8,10,11,9,7,11,9,6,12,7,7,9,11,13,10,7,11,11,12,5,6,10,7,12,7,7,9,9,7,13,11,11,9,8,8,10,11,10,12,7,11,11,12,8,12,9,12,5,13,8,9,10,10,7,11,7,12,8,12,7,11,11,12,8,11,8,10,8,12,7,9,8,14,10,10,9,8,9,9,11,15,11,9,12,12,9,14,12,11,12,11,11,10,12,9,13,13,13,9,11,9,15,13,9,9,12,9,11,14,11,12,12,8,11,14,11,10,10,9,13,12,10,9,15,12,10,13,13,9,9,13,10,10,14,11,7,11,8,11,18,12,12,12,19,12,12,15,12,11,10,11,13,8,18,13,10,12,11,12,12,14,11,9,9,13,14,9,12,15,11,15,11,10,12,10,12,10,13,13,12,10,11,12,12,10,12,8,11,13,10,8,8,9,12,10,11,9,10,12,8,8,9,9,11,12,9,12,9,6,6,10,9,9,8,10,8,7,14,11,9,10,9,9,11,11,9,10,14,9,8,13,11,8,11,7,9,6,8,8,10,7,8,8,7,10,7,7,8,11,12,15,11,15,9,12,9,12,11,9,9,8,11,12,9,9,9,11,11,11,13,13,11,8,13,16,15,10,11,10,12,11,12,16,13,9,18,9,8,12,10,7,11,10,8,9,13,9,11,9,10,11,10,8,13,10,12,8,11,9,11,12,12,12,10,9,10,11,12,14,9,12,10,7,10,13,11,11,9,10,11,13,11,16,10,14,15,11,10,9,10,8,11,11,10,11,10,11,11,12,9,12,13,12,12,14,13,10,13,9,13,11,10,10,11,11,10,13,10,12,8,13,8,10,15,12,11,18,11,9,10,10,11,13,15,7,12,9,13,10,8,10,12,17,9,9,10,6,11,10,11,8,13,6,8,8,13,10,13,13,9,8,8,11,7,8,8,9,6,10,12,9,9,8,18,13,13,12,12,10,10,8,11,9,8,12,9,12,11,12,14,16,11,13,10,12,9,12,10,10,9,13,10,12,9,10,14,11,9,11,10,9,9,12,10,6,12,8,6,9,14,8,16,9,11,8,10,13,8,11,14,8,9,9,9,8,11,9,10,10,15,8,8,12,7,9,9,9,8,9,8,7,8,11,8,10,10,9,16,12,12,8,7,9,9,12,9,11,11,10,7,10,9,11,11,9,9,9,9,11,9,10,12,9,12,10,11,8,9,8,15,10,13,10,10,12,11,16,16,11,10,13,8,12,11,10,8,10,12,11,9,9,6,9,8,14,12,14,9,12,11,12,12,12,10,10,11,12,12,14,10,11,13,11,13,15,13,13,13,14,15,14,12,11,12,10,12,12,10,14,13,10,12,10,14,8,6,10,11,9,10,10,11,11,10,14,13,10,14,7,14,10,11,7,10,12,11,8,6,10,8,12,10,16,11,12,12,10,12,12,10,15,11,11,15,14,14,10,12,9,14,12,12,9,9,10,10,11,11,10,10,13,10,10,10,13,8,7,13,8,8,8,9,9,10,15,11,15,10,10,13,15,12,11,11,8,11,11,12,6,11,14,9,8,9,12,9,11,10,11,10,11,9,11,11,11,10,10,10,9,12,7,8,8,14,10,7,14,9,9,15,12,9,13,8,13,12,14,13,10,14,9,15,9,9,11,12,14,11,12,11,12,11,11,12,11,10,9,10,10,10,11,8,7,12,14,10,7,15,12,7,10,9,13,8,11,12,10,8,9,13,12,12,8,13,8,12,8,12,9,12,9,10,8,10,20,18,10,8,11,7,9,11,6,8,7,10,10,10,10,11,9,10,11,9,8,11,16,9,8,11,10,14,10,10,11,9,11,13,8,11,11,10,10,11,9,11,10,10,14,12,10,8,12,15,11,14,11,14,10,10,14,9,8,12,6,10,12,13,13,11,9,10,9,12,10,11,10,9,9,9,7,12,11,12,14,9,11,9,9,11,11,14,8,7,12,10,10,10,12,12,11,12,9,9,11,12,10,13,8,13,13,11,13,11,9,11,10,11,11,13,13,10,12,6,14,7,11,8,14,7,8,9,10,13,12,14,6,11,14,12,16,9,14,10,11,9,13,13,11,15,8,14,9,9,14,13,12,11,8,15,11,10,13,12,9,8,10,9,20,6,7,12,9,9,9,9,10,8,7,8,12,10,10,9,8,7,9,14,16,8,17,7,16,11,11,10,12,20,14,9,10,10,14,11,14,9,19,5,9,10,8,10,9,11,15,11,10,13,11,9,9,11,11,11,9,11,11,9,14,13,14,13,10,11,11,11,10,14,14,9,12,16,11,12,12,13,11,12,12,12,11,9,15,9,11,8,10,11,11,13,10,10,11,7,14,8,11,9,8,11,9,9,9,9,11,8,11,10,12,11,10,9,11,11,14,13,10,10,12,14,9,12,9,10,10,14,13,9,11,11,7,10,10,11,13,12,7,8,11,11,11,10,14,13,12,13,11,11,12,10,8,7,9,9,15,7,9,9,9,7,11,10,13,8,9,9,12,16,12,9,10,11,11,8,11,9,14,12,9,12,12,15,9,10,13,11,13,10,9,15,6,12,5,10,7,11,12,12,10,13,11,7,12,10,11,12,12,9,10,9,8,11,9,8,11,10,9,12,8,13,9,10,12,8,11,11,11,9,11,12,8,9,10,11,10,8,10,12,10,9,10,10,8,10,12,9,12,9,11,12,11,12,11,10,10,9,10,9,10,17,10,10,10,10,9,8,9,11,10,14,10,15,14,17,13,11,11,12,14,12,16,12,10,11,15,11,10,8,8,12,9,13,9,13,14,9,9,13,13,12,13,14,11,11,10,14,10,14,9,9,11,12,12,9,12,12,15,12,8,18,13,11,9,14,14,17,10,11,11,10,8,12,13,14,13,11,10,12,11,11,10,14,9,10,10,12,9,12,13,13,8,9,11,8,9,14,8,9,11,7,8,9,12,9,10,8,10,9,9,9,13,11,14,14,9,10,10,14,8,11,13,14,10,9,13,8,11,9,7,13,10,12,9,8,11,12,10,13,11,14,11,11,9,10,9,10,10,12,12,11,10,11,7,8,8,9,15,10,8,9,9,8,10,10,11,12,12,12,10,9,11,9,12,10,9,9,8,8,10,8,11,12,10,8,12,8,12,10,12,10,10,11,7,11,12,15,13,11,12,11,9,13,11,11,11,12,9,9,8,11,13,8,8,9,13,10,8,10,10,9,9,13,10,11,9,13,13,10,11,13,7,10,10,10,11,10,10,11,12,10,12,8,10,11,10,11,11,10,12,10,7,10,8,8,11,10,11,12,11,9,10,9,15,10,14,9,12,15,8,12,13,9,10,11,11,11,9,8,10,10,11,11,16,11,12,14,9,11,12,9,11,12,13,11,13,11,13,11,11,8,12,12,9,11,11,11,9,11,9,10,10,11,13,11,9,13,10,8,11,11,8,11,12,8,6,10,11,12,10,9,11,11,14,11,6,11,12,11,12,9,10,8,7,10,9,9,14,12,9,10,9,11,8,8,7,16,11,12,13,12,15,12,9,13,9,10,17,13,7,8,7,12,8,14,12,12,13,9,9,12,10,11,9,11,10,10,11,9,11,15,12,13,9,9,8,10,13,14,15,15,14,11,13,10,12,9,11,11,10,10,11,10,10,10,12,11,10,10,11,12,15,13,12,11,12,9,13,12,12,9,12,9,11,10,10,11,13,9,14,13,12,12,11,12,12,16,9,11,9,8,11,8,11,9,8,9,10,9,13,12,11,11,11,14,12,11,10,14,10,12,11,9,15,12,16,10,9,12,14,11,8,13,9,9,11,11,10,8,11,13,9,10,8,11,9,7,10,9,10,7,9,10,9,11,8,11,9,11,11,12,10,11,9,10,11,11,8,12,11,7,16,11,12,10,10,9,7,11,10,9,14,10,8,9,11,12,10,12,9,12,12,8,12,14,11,13,10,11,10,10,11,11,10,9,9,11,9,11,15,10,12,10,14,12,17,10,9,13,7,13,10,11,9,10,13,7,9,10,10,16,12,13,14,14,11,11,15,18,12,9,12,10,15,13,12,10,11,9,9,14,13,10,10,12,11,11,10,8,9,9,11,9,9,10,11,14,11,10,11,10,11,13,9,9,15,12,11,12,9,11,10,10,13,13,11,10,13,10,11,12,11,14,11,9,8,12,9,15,8,16,16,15,12,15,10,9,12,11,13,14,12,16,11,8,11,10,10,10,12,11,12,15,12,13,8,11,13,13,13,13,12,12,11,12,10,11,17,12,13,9,13,12,9,11,9,11,10,16,14,11,10,12,11,11,11,14,11,9,12,11,11,8,10,14,10,15,10,9,13,12,9,8,12,11,11,11,13,12,12,9,11,10,12,15,12,13,12,12,10,12,11,12,11,9,14,11,16,13,12,11,17,10,14,8,8,10,6,9,13,14,8,10,10,11,10,16,11,12,11,13,10,13,12,12,13,10,10,12,11,10,12,10,11,8,8,14,15,17,13,11,10,14,12,10,14,12,14,9,15,10,11,11,12,12,10,12,12,10,9,10,10,12,13,11,12,9,11,10,11,11,13,15,15,12,12,10,10,10,8,12,12,13,9,13,10,14,13,10,8,8,8,12,9,9,11,9,10,10,17,10,12,15,10,10,12,11,10,11,10,17,12,16,13,10,9,10,10,9,12,11,9,9,9,7,8,9,10,10,10,10,9,10,9,8,12,8,11,10,10,9,12,12,14,9,11,9,12,11,11,11,13,9,10,12,11,12,11,14,9,13,11,9,10,9,12,9,10,11,13,11,11,11,16,11,16,10,10,12,11,11,10,11,12,8,11,9,9,13,13,11,15,12,16,10,9,9,11,10,10,11,9,10,13,11,13,9,11,10,14,12,14,11,13,9,10,13,10,15,12,12,14,9,10,11,10,12,10,11,13,7,12,10,9,11,10,10,10,12,11,8,8,11,9,14,12,11,10,12,10,10,12,10,11,9,10,8,10,15,14,8,11,8,14,12,12,12,11,13,12,11,9,10,9,7,11,8,10,18,9,12,11,6,10,7,7,8,10,9,6,10,13,12,13,9,10,10,11,12,10,9,10,14,9,9,10,13,13,8,8,10,8,11,10,13,11,12,10,10,6,10,7,12,10,12,9,10,6,14,7,14,9,13,7,9,8,9,8,9,9,10,9,8,9,10,9,8,13,10,10,14,9,8,10,12,10,6,13,11,14,9,10,11,13,10,9,13,9,11,10,8,10,9,11,14,9,8,12,11,12,15,11,11,10,12,14,8,7,9,12,8,12,10,7,6,12,12,11,11,15,14,11,10,9,9,7,9,9,11,9,12,13,10,13,8,11,10,10,11,15,9,10,13,13,13,16,12,15,11,13,8,9,11,12,13,10,26,11,9,10,12,9,10,10,10,9,9,9,9,9,9,11,12,11,10,13,9,11,8,8,10,10,13,9,10,13,10,11,12,12,12,8,12,11,11,8,13,13,12,10,12,12,9,10,12,11,10,14,11,13,11,10,10,12,10,8,10,10,9,10,10,10,10,10,11,9,7,13,8,11,13,14,12,11,8,12,11,11,12,12,10,14,14,10,11,11,10,9,6,13,10,10,11,8,15,9,7,13,10,9,9,9,10,8,12,10,8,11,11,14,9,9,13,8,9,11,11,11,8,11,9,11,10,10,12,11,10,9,11,10,9,10,9,8,12,12,11,11,10,8,9,9,10,11,10,9,9,9,10,12,10,9,10,11,10,10,8,12,11,13,12,12,12,9,11,10,10,10,11,12,11,9,7,11,8,12,15,9,7,6,6,13,12,12,8,9,10,14,9,14,16,10,11,14,10,11,15,12,12,11,14,14,13,14,11,9,8,7,9,10,13,12,9,10,12,11,11,11,10,9,11,9,9,12,8,10,12,10,11,9,9,11,9,9,8,12,12,12,12,8,15,10,12,10,11,8,12,8,13,12,9,11,9,8,9,10,7,10,7,9,8,10,12,11,11,10,15,10,12,12,8,13,8,10,12,9,8,10,17,10,10,9,10,12,8,11,11,11,6,13,12,13,11,9,10,10,9,12,6,9,12,10,10,11,14,14,11,12,13,12,12,12,12,10,12,10,14,8,14,14,11,11,11,15,11,12,12,10,11,9,14,14,10,12,11,9,10,11,11,11,14,11,11,9,12,10,9,11,12,11,14,14,15,12,9,9,11,10,11,11,10,11,10,9,10,13,10,8,9,12,14,10,10,11,12,14,11,13,9,8,14,12,14,10,12,11,10,12,9,14,12,12,9,8,10,10,11,11,10,10,13,10,10,10,13,11,14,9,12,8,11,9,10,8,9,12,12,10,8,8,9,8,10,11,12,13,12,11,10,15,16,16,10,15,11,9,12,12,15,11,12,8,14,12,15,11,9,12,13,9,10,11,11,10,11,14,12,9,12,11,9,10,16,13,15,14,14,14,14,9,8,12,9,8,10,9,9,6,9,11,7,9,8,11,10,13,10,7,7,7,12,10,6,14,12,10,10,13,10,14,11,11,8,13,11,12,11,9,12,9,9,9,13,12,8,6,11,11,11,11,10,10,12,11,16,9,10,8,10,11,12,13,13,9,11,11,13,11,6,9,9,10,10,12,12,10,9,10,8,7,9,10,11,9,9,10,11,6,9,13,7,6,8,6,8,8,12,9,10,8,12,11,12,10,17,16,8,7,9,10,9,8,10,8,10,8,10,8,13,10,10,9,10,11,10,12,10,12,10,10,11,9,9,7,10,8,10,14,10,11,9,10,6,11,10,10,14,11,13,8,12,10,10,8,8,11,10,14,11,7,7,9,9,9,9,8,8,10,9,11,11,11,10,10,9,9,14,9,12,11,11,10,12,8,6,8,9,13,13,6,13,12,6,11,9,11,10,11,12,11,13,9,13,13,12,8,12,8,7,13,11,13,8,11,13,12,8,11,8,7,10,12,12,12,11,11,9,12,11,9,9,10,9,11,8,9,7,9,9,12,13,9,10,14,12,7,13,10,10,14,13,13,12,11,11,12,10,8,8,10,9,12,7,11,12,11,9,8,10,12,10,10,11,12,10,8,7,8,9,13,9,12,10,9,9,11,11,10,11,12,10,9,9,15,9,11,11,10,11,10,8,10,10,12,7,13,14,10,9,9,11,11,9,13,10,13,10,12,11,12,10,12,8,11,8,11,10,9,8,12,8,11,10,14,9,15,9,15,10,9,6,11,11,14,10,12,6,16,11,9,10,12,9,11,12,12,8,14,9,9,12,12,7,9,11,8,9,13,12,9,12,10,8,13,9,10,8,12,11,15,7,10,9,9,10,13,9,9,7,12,14,12,9,14,9,12,10,10,13,14,10,12,14,11,10,13,9,12,12,15,11,11,12,11,10,8,9,10,14,10,9,13,13,11,9,13,13,14,12,14,8,9,11,12,10,9,11,12,11,11,8,11,11,10,11,11,9,10,13,9,11,11,9,10,12,9,11,8,11,10,11,9,11,9,11,8,9,12,13,8,11,10,12,13,11,11,11,7,8,8,11,8,10,13,13,14,11,10,14,9,15,10,11,10,11,12,10,12,9,11,14,8,10,11,11,9,9,8,14,8,9,8,11,10,10,10,12,13,11,13,10,11,10,8,9,10,8,8,13,8,9,10,8,8,8,12,9,8,10,10,10,10,13,8,9,11,11,8,13,11,13,12,14,9,9,10,12,9,12,10,10,10,9,10,9,10,15,15,11,10,11,13,10,13,10,12,10,9,10,8,10,7,11,8,10,9,10,8,13,10,11,10,9,9,9,9,10,10,11,11,10,9,10,9,15,11,11,7,7,6,9,9,11,8,8,11,15,12,10,8,7,11,11,9,9,8,11,11,8,9,8,12,11,8,11,8,7,10,10,11,12,8,8,9,8,9,8,8,12,10,11,9,10,8,8,9,10,14,8,10,14,9,10,11,9,12,9,13,12,10,13,9,16,8,15,9,11,11,11,11,9,6,7,8,8,9,11,8,7,12,8,13,11,8,9,10,14,10,8,8,12,12,12,12,7,11,9,10,10,9,11,11,6,8,10,9,10,8,9,10,9,9,10,10,10,12,8,10,10,11,10,11,10,7,9,10,12,10,8,14,14,12,6,10,6,10,7,9,10,9,10,7,14,8,13,10,12,10,7,11,8,10,13,10,12,12,10,11,12,13,8,10,11,13,8,9,8,11,9,9,10,10,9,13,11,9,10,11,10,10,10,12,12,14,9,10,10,9,9,11,9,8,11,9,11,12,13,12,10,11,12,10,11,10,10,15,11,10,10,9,9,13,7,8,9,11,9,12,10,10,11,10,15,13,11,10,10,8,12,8,8,11,11,10,11,6,13,13,11,7,10,9,6,9,10,11,12,11,11,11,8,11,11,10,8,10,17,10,12,14,9,9,7,9,8,7,10,9,10,10,9,10,11,11,9,12,8,10,10,10,11,10,10,10,10,10,11,9,9,6,12,12,10,12,10,12,10,12,11,12,13,12,10,12,10,12,12,12,13,12,10,12,11,12,12,12,12,12,15,12,12,12,10,12,7,12,10,12,9,12,10,12,9,12,13,12,10,12,10,12,10,12,8,9,7,8,10,8,7,10,11,11,7,9,10,13,9,9,7,11,7,12,7,11,11,10,12,10,13,10,10,19,12,8,11,9,15,12,13,11,14,12,11,7,14,9,11,13,13,12,14,10,12,10,11,10,10,9,10,10,10,11,12,14,11,13,10,10,12,10,11,10,10,9,13,15,7,9,10,10,12,10,12,10,11,12,10,14,11,13,10,10,10,13,16,9,8,11,9,16,12,10,8,10,8,12,15,13,8,11,11,11,16,12,15,12,13,12,18,12,13,10,9,11,14,12,17,10,12,10,13,13,12,14,11,11,12,9,12,13,14,16,9,12,11,13,13,15,13,13,14,13,11,8,12,13,10,9,10,7,9,10,9,11,8,9,9,9,11,7,9,11,10,8,11,8,13,8,10,13,10,11,10,11,14,10,9,9,12,10,10,16,8,6,9,14,15,8,11,11,10,10,9,8,9,6,13,13,16,15,8,9,9,8,13,9,12,10,12,13,8,10,11,10,11,11,10,12,8,7,14,13,14,8,12,8,8,7,14,9,8,8,10,9,8,9,9,10,12,13,12,12,13,10,9,10,12,12,13,9,12,14,13,10,13,11,11,15,9,13,13,10,12,8,14,12,11,11,11,9,11,11,10,12,7,11,11,9,13,11,13,11,10,10,12,14,6,9,13,15,9,14,13,11,13,11,8,11,7,11,9,9,11,12,8,12,12,13,8,10,6,6,13,14,8,11,9,8,10,11,11,8,9,10,9,12,9,9,10,10,10,13,12,13,13,8,8,12,10,9,12,11,7,8,10,16,9,12,12,9,9,12,9,6,6,9,8,8,8,8,9,8,9,11,10,10,13,9,11,9,8,7,9,7,8,10,10,9,7,11,11,10,12,8,13,6,6,10,12,10,14,10,14,11,11,11,11,14,10,9,8,9,11,10,12,6,6,8,9,9,11,8,10,11,9,10,12,11,6,15,10,10,12,11,10,8,11,12,9,9,9,10,9,9,10,7,10,8,10,9,10,13,11,12,7,7,8,10,9,9,8,13,40,25,10,10,32,30,12,10,24,17,54,15,18,16,38,38,22,41,46,30,26,31,38,37,32,31,37,26,40,26,32,34,15,53,17,13,17,12,14,12,13,16,14,12,13,13,13,12,12,12,21,37,26,26,33,25,32,28,30,45,18,23,38,51,21,27,35,13,24,10,57,18,32,18,29,24,21,27,40,38,37,18,26,19,38,22,46,19,25,24,29,27,26,35,33,20,50,38,24,20,49,52,19,20,26,19,29,27,32,16,40,13,13,13,12,11,11,8,13,14,15,18,10,13,10,7,10,10,13,15,12,11,13,13,9,11,14,19,8,12,43,41,19,18,34,19,18,21,14,22,19,37,42,25,31,20,8,11,11,11,17,27,21,25,21,21,35,28,36,28,36,29,51,50,32,51,42,66,51,24,29,29,25,17,46,33,47,48,20,29,28,26,21,17,17,13,14,11,14,13,17,12,23,18,17,13,14,11,12,16,8,9,12,11,14,11,14,12,9,11,13,12,13,15,10,17,11,10,10,10,8,9,7,12,10,13,10,9,11,12,13,10,9,15,14,12,13,36,37,17,35,50,26,34,24,38,40,50,31,22,13,25,19,28,29,27,19,14,49,62,31,18,83,23,31,44,41,37,41,60,31,33,69,50,31,32,46,46,42,45,44,28,40,41,42,37,29,17,27,52,41,56,32,29,38,21,39,20,43,37,19,35,35,31,36,19,20,57,25,46,27,55,37,61,42,22,20,35,25,36,29,44,31,27,39,59,37,44,48,38,20,29,27,31,32,38,27,40,17,26,55,28,18,35,25,19,25,27,27,37,25,31,17,26,36,58,24,49,30,42,19,21,43,38,32,23,49,47,40,35,49,40,23,48,34,30,23,22,25,41,55,50,23,31,47,40,40,40,49,28,41,57,10,14,49,33,52,48,31,31,45,33,27,32,21,19,29,34,18,30,32,37,41,36,29,24,44,23,49,40,40,44,29,45,43,21,49,27,29,35,34,41,32,77,34,50,49,32,61,37,61,31,57,49,55,18,66,42,24,42,48,48,47,44,21,49,37,36,31,63,45,31,39,56,28,22,60,40,36,35,43,20,43,33,23,40,26,32,31,33,41,46,35,72,41,42,38,18,43,45,41,28,39,31,41,35,33,47,66,35,54,55,43,37,54,45,23,33,58,56,62,26,23,33,23,30,33,30,28,49,39,43,35,29,25,55,67,39,37,41,41,39,26,48,32,79,25,40,28,60,20,53,36,55,13,33,66,20,28,12,42,54,43,25,46,36,28,18,28,70,25,63,33,23,30,38,52,28,40,43,28,53,53,28,35,57,55,36,15,35,29,23,62,24,23,49,25,62,42,50,44,43,21,32,30,35,83,32,30,56,42,40,43,35,32,38,47,37,28,37,44,46,32,45,21,29,56,33,47,28,47,21,45,21,53,33,33,33,21,28,63,36,37,53,41,42,16,59,44,45,33,33,28,34,23,29,19,43,39,56,32,39,52,27,31,31,26,22,46,33,32,34,43,34,29,35,34,48,33,51,36,42,39,52,33,22,40,39,61,34,37,38,60,52,33,34,35,26,32,32,29,31,30,43,42,22,39,41,52,39,36,52,37,28,28,42,87,15,43,41,30,31,34,26,26,58,25,53,44,32,36,21,35,20,53,25,54,42,38,27,25,36,42,24,36,52,29,63,40,30,39,30,44,34,28,48,31,38,34,22,24,16,35,32,36,24,50,34,27,30,23,44,37,40,36,32,61,33,46,74,45,36,27,40,45,36,32,33,59,52,34,30,39,61,64,25,36,29,24,54,30,37,43,61,14,41,37,32,35,44,28,35,36,36,47,35,19,30,31,40,14,14,8,11,7,10,10,10,9,11,12,12,10,10,8,10,8,6,7,13,8,7,9,9,9,9,8,10,9,11,7,9,10,9,10,8,9,14,11,9,12,7,45,21,29,41,26,24,39,22,52,51,19,37,21,55,46,26,37,39,29,31,41,55,44,39,16,38,34,36,48,21,32,35,49,27,24,44,54,53,34,12,44,33,44,36,32,44,39,35,41,23,26,22,23,36,30,24,38,38,36,39,45,35,24,46,52,31,19,46,65,66,24,32,48,40,60,46,19,66,65,70,55,49,33,71,33,38,53,62,70,25,48,54,47,33,47,31,29,36,21,69,45,40,45,31,48,57,40,23,45,48,59,41,23,35,58,35,26,34,23,42,38,23,27,25,48,52,40,38,36,30,38,25,28,13,51,17,30,54,30,26,33,51,28,26,46,28,44,35,31,33,58,30,66,26,35,43,84,42,59,31,60,26,28,26]
|
.ragatouille/colbert/indexes/ESV/ivf.pid.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:a0b2954a5ac3d152adb21cc650368ca9a0d4b9cedf94cdb592bc295336488f26
|
3 |
+
size 3042200
|
.ragatouille/colbert/indexes/ESV/metadata.json
ADDED
@@ -0,0 +1,64 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"config": {
|
3 |
+
"query_token_id": "[unused0]",
|
4 |
+
"doc_token_id": "[unused1]",
|
5 |
+
"query_token": "[Q]",
|
6 |
+
"doc_token": "[D]",
|
7 |
+
"ncells": null,
|
8 |
+
"centroid_score_threshold": null,
|
9 |
+
"ndocs": null,
|
10 |
+
"load_index_with_mmap": false,
|
11 |
+
"index_path": null,
|
12 |
+
"index_bsize": 64,
|
13 |
+
"nbits": 2,
|
14 |
+
"kmeans_niters": 20,
|
15 |
+
"resume": false,
|
16 |
+
"similarity": "cosine",
|
17 |
+
"bsize": 64,
|
18 |
+
"accumsteps": 1,
|
19 |
+
"lr": 1e-5,
|
20 |
+
"maxsteps": 400000,
|
21 |
+
"save_every": null,
|
22 |
+
"warmup": 20000,
|
23 |
+
"warmup_bert": null,
|
24 |
+
"relu": false,
|
25 |
+
"nway": 64,
|
26 |
+
"use_ib_negatives": true,
|
27 |
+
"reranker": false,
|
28 |
+
"distillation_alpha": 1.0,
|
29 |
+
"ignore_scores": false,
|
30 |
+
"model_name": null,
|
31 |
+
"query_maxlen": 32,
|
32 |
+
"attend_to_mask_tokens": false,
|
33 |
+
"interaction": "colbert",
|
34 |
+
"dim": 128,
|
35 |
+
"doc_maxlen": 256,
|
36 |
+
"mask_punctuation": true,
|
37 |
+
"checkpoint": "colbert-ir\/colbertv2.0",
|
38 |
+
"triples": "\/future\/u\/okhattab\/root\/unit\/experiments\/2021.10\/downstream.distillation.round2.2_score\/round2.nway6.cosine.ib\/examples.64.json",
|
39 |
+
"collection": [
|
40 |
+
"list with 45778 elements starting with...",
|
41 |
+
[
|
42 |
+
"Paul, an apostle of Christ Jesus by the will of God, and Timothy our brother,",
|
43 |
+
"To the church of God that is at Corinth, with all the saints who are in the whole of Achaia:",
|
44 |
+
"Grace to you and peace from God our Father and the Lord Jesus Christ."
|
45 |
+
]
|
46 |
+
],
|
47 |
+
"queries": "\/future\/u\/okhattab\/data\/MSMARCO\/queries.train.tsv",
|
48 |
+
"index_name": "ESV",
|
49 |
+
"overwrite": false,
|
50 |
+
"root": ".ragatouille\/",
|
51 |
+
"experiment": "colbert",
|
52 |
+
"index_root": null,
|
53 |
+
"name": "2024-02\/17\/07.50.58",
|
54 |
+
"rank": 0,
|
55 |
+
"nranks": 1,
|
56 |
+
"amp": true,
|
57 |
+
"gpus": 1,
|
58 |
+
"avoid_fork_if_possible": false
|
59 |
+
},
|
60 |
+
"num_chunks": 2,
|
61 |
+
"num_partitions": 8192,
|
62 |
+
"num_embeddings": 957638,
|
63 |
+
"avg_doclen": 20.919175149635198
|
64 |
+
}
|
.ragatouille/colbert/indexes/ESV/pid_docid_map.json
ADDED
The diff for this file is too large to render.
See raw diff
|
|
.ragatouille/colbert/indexes/ESV/plan.json
ADDED
@@ -0,0 +1,64 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"config": {
|
3 |
+
"query_token_id": "[unused0]",
|
4 |
+
"doc_token_id": "[unused1]",
|
5 |
+
"query_token": "[Q]",
|
6 |
+
"doc_token": "[D]",
|
7 |
+
"ncells": null,
|
8 |
+
"centroid_score_threshold": null,
|
9 |
+
"ndocs": null,
|
10 |
+
"load_index_with_mmap": false,
|
11 |
+
"index_path": null,
|
12 |
+
"index_bsize": 64,
|
13 |
+
"nbits": 2,
|
14 |
+
"kmeans_niters": 20,
|
15 |
+
"resume": false,
|
16 |
+
"similarity": "cosine",
|
17 |
+
"bsize": 64,
|
18 |
+
"accumsteps": 1,
|
19 |
+
"lr": 1e-5,
|
20 |
+
"maxsteps": 400000,
|
21 |
+
"save_every": null,
|
22 |
+
"warmup": 20000,
|
23 |
+
"warmup_bert": null,
|
24 |
+
"relu": false,
|
25 |
+
"nway": 64,
|
26 |
+
"use_ib_negatives": true,
|
27 |
+
"reranker": false,
|
28 |
+
"distillation_alpha": 1.0,
|
29 |
+
"ignore_scores": false,
|
30 |
+
"model_name": null,
|
31 |
+
"query_maxlen": 32,
|
32 |
+
"attend_to_mask_tokens": false,
|
33 |
+
"interaction": "colbert",
|
34 |
+
"dim": 128,
|
35 |
+
"doc_maxlen": 256,
|
36 |
+
"mask_punctuation": true,
|
37 |
+
"checkpoint": "colbert-ir\/colbertv2.0",
|
38 |
+
"triples": "\/future\/u\/okhattab\/root\/unit\/experiments\/2021.10\/downstream.distillation.round2.2_score\/round2.nway6.cosine.ib\/examples.64.json",
|
39 |
+
"collection": [
|
40 |
+
"list with 45778 elements starting with...",
|
41 |
+
[
|
42 |
+
"Paul, an apostle of Christ Jesus by the will of God, and Timothy our brother,",
|
43 |
+
"To the church of God that is at Corinth, with all the saints who are in the whole of Achaia:",
|
44 |
+
"Grace to you and peace from God our Father and the Lord Jesus Christ."
|
45 |
+
]
|
46 |
+
],
|
47 |
+
"queries": "\/future\/u\/okhattab\/data\/MSMARCO\/queries.train.tsv",
|
48 |
+
"index_name": "ESV",
|
49 |
+
"overwrite": false,
|
50 |
+
"root": ".ragatouille\/",
|
51 |
+
"experiment": "colbert",
|
52 |
+
"index_root": null,
|
53 |
+
"name": "2024-02\/17\/07.50.58",
|
54 |
+
"rank": 0,
|
55 |
+
"nranks": 1,
|
56 |
+
"amp": true,
|
57 |
+
"gpus": 1,
|
58 |
+
"avoid_fork_if_possible": false
|
59 |
+
},
|
60 |
+
"num_chunks": 2,
|
61 |
+
"num_partitions": 8192,
|
62 |
+
"num_embeddings_est": 955284.4783859253,
|
63 |
+
"avg_doclen_est": 20.86776351928711
|
64 |
+
}
|
README.md
CHANGED
@@ -1,12 +1,20 @@
|
|
1 |
-
|
2 |
-
|
3 |
-
|
4 |
-
|
5 |
-
|
6 |
-
|
7 |
-
|
8 |
-
|
9 |
-
|
10 |
-
|
11 |
-
|
12 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
# Bible QA
|
2 |
+
|
3 |
+
Ask a question about the Bible and get an answer.
|
4 |
+
|
5 |
+
This uses ColBERT embeddings to retrieve relevant passages from the Bible (ESV) and then uses OpenAI's `gpt-3.5-turbo-0125` to answer the question.
|
6 |
+
|
7 |
+
# Setup
|
8 |
+
|
9 |
+
```bash
|
10 |
+
pyenv local 3.11
|
11 |
+
python3 -m venv venv
|
12 |
+
source venv/bin/activate
|
13 |
+
pip install -r requirements.txt
|
14 |
+
|
15 |
+
# install in editable mode
|
16 |
+
pip install -e .
|
17 |
+
|
18 |
+
# setup pre-commit
|
19 |
+
pre-commit install
|
20 |
+
```
|
app.py
ADDED
@@ -0,0 +1,54 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
import streamlit as st
|
2 |
+
from ragatouille import RAGPretrainedModel
|
3 |
+
from langchain.chains import create_retrieval_chain
|
4 |
+
from langchain.chains.combine_documents import create_stuff_documents_chain
|
5 |
+
from langchain_core.prompts import ChatPromptTemplate
|
6 |
+
from langchain_openai import ChatOpenAI
|
7 |
+
from dotenv import load_dotenv
|
8 |
+
import os
|
9 |
+
# load_dotenv()
|
10 |
+
|
11 |
+
os.environ["OPENAI_API_KEY"] = st.secrets["OPENAI_API_KEY"]
|
12 |
+
os.environ["LANGCHAIN_TRACING_V2"] = "true"
|
13 |
+
os.environ["LANGCHAIN_ENDPOINT"] = "https://api.smith.langchain.com"
|
14 |
+
os.environ["LANGCHAIN_API_KEY"] = st.secrets["LANGCHAIN_API_KEY"]
|
15 |
+
os.environ["LANGCHAIN_PROJECT"] = "bibleqa"
|
16 |
+
|
17 |
+
path_to_index = ".ragatouille/colbert/indexes/ESV/"
|
18 |
+
RAG = RAGPretrainedModel.from_index(path_to_index)
|
19 |
+
|
20 |
+
st.header("Bible Q&A")
|
21 |
+
st.write(
|
22 |
+
"""
|
23 |
+
Ask a question about the Bible and get an answer.
|
24 |
+
|
25 |
+
This uses ColBERT embeddings to retrieve relevant passages from the Bible (ESV) and then uses OpenAI's `gpt-3.5-turbo-0125` to answer the question.
|
26 |
+
"""
|
27 |
+
)
|
28 |
+
|
29 |
+
llm = ChatOpenAI(model="gpt-3.5-turbo-0125")
|
30 |
+
prompt = ChatPromptTemplate.from_template(
|
31 |
+
"""Answer the following question based only on the provided context:
|
32 |
+
|
33 |
+
<context>
|
34 |
+
{context}
|
35 |
+
</context>
|
36 |
+
|
37 |
+
Question: {input}"""
|
38 |
+
)
|
39 |
+
|
40 |
+
retriever = RAG.as_langchain_retriever(k=10)
|
41 |
+
document_chain = create_stuff_documents_chain(llm, prompt)
|
42 |
+
retrieval_chain = create_retrieval_chain(retriever, document_chain)
|
43 |
+
|
44 |
+
with st.form(key="query_form"):
|
45 |
+
query = st.text_input("Enter a query", "What does the Bible say about money?")
|
46 |
+
submit_button = st.form_submit_button(label="Submit")
|
47 |
+
if submit_button:
|
48 |
+
output = retrieval_chain.invoke({"input": query})
|
49 |
+
|
50 |
+
st.header("Answer")
|
51 |
+
st.write(output["answer"])
|
52 |
+
|
53 |
+
st.header("Context")
|
54 |
+
st.write(output["context"])
|
requirements.txt
ADDED
@@ -0,0 +1,7 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
pre-commit
|
2 |
+
pandas
|
3 |
+
RAGatouille
|
4 |
+
langchain
|
5 |
+
langchain-openai
|
6 |
+
python-dotenv
|
7 |
+
streamlit
|