davidheineman
commited on
Commit
·
00837f7
1
Parent(s):
bccc6f8
update index
Browse files- .gitattributes +4 -0
- README.md +3 -7
- index/0.codes.pt +2 -2
- index/0.metadata.json +2 -2
- index/0.residuals.pt +2 -2
- index/1.codes.pt +2 -2
- index/1.metadata.json +4 -4
- index/1.residuals.pt +2 -2
- dataset.json → index/2.codes.pt +2 -2
- index/2.metadata.json +6 -0
- anthology.bib → index/2.residuals.pt +2 -2
- index/avg_residual.pt +1 -1
- index/buckets.pt +1 -1
- index/centroids.pt +1 -1
- index/doclens.0.json +0 -0
- index/doclens.1.json +0 -0
- index/doclens.2.json +1 -0
- index/ivf.pid.pt +2 -2
- index/metadata.json +62 -3
- index/plan.json +10 -10
- papers.json +3 -0
.gitattributes
ADDED
@@ -0,0 +1,4 @@
|
|
|
|
|
|
|
|
|
|
|
1 |
+
index filter=lfs diff=lfs merge=lfs -text
|
2 |
+
papers.json filter=lfs diff=lfs merge=lfs -text
|
3 |
+
index/*.pt filter=lfs diff=lfs merge=lfs -text
|
4 |
+
index/*.json filter=lfs diff=lfs merge=lfs -text
|
README.md
CHANGED
@@ -1,7 +1,3 @@
|
|
1 |
-
|
2 |
-
|
3 |
-
|
4 |
-
|
5 |
-
Use ColBERT as a search engine for the [ACL Anthology](https://aclanthology.org/). (Parse any bibtex, and store in a MySQL service).
|
6 |
-
|
7 |
-
**This repo contains the ColBERT index and dataset.** To run the interface, see [github.com/davidheineman/acl-search](https://github.com/davidheineman/acl-search).
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:1c579e620d3f2dfc10374ede1c5a259c2a7f58d847aa7afd371e1376e741c865
|
3 |
+
size 326
|
|
|
|
|
|
|
|
index/0.codes.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
-
size
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:70e022d10d5597f43ea0b0d6d3fff991f185d181cc54145d206470ded4aec416
|
3 |
+
size 17695851
|
index/0.metadata.json
CHANGED
@@ -1,6 +1,6 @@
|
|
1 |
{
|
2 |
"passage_offset": 0,
|
3 |
-
"num_passages":
|
4 |
-
"num_embeddings":
|
5 |
"embedding_offset": 0
|
6 |
}
|
|
|
1 |
{
|
2 |
"passage_offset": 0,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 4423786,
|
5 |
"embedding_offset": 0
|
6 |
}
|
index/0.residuals.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
-
size
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:9b7dfc880d10a9977df9aae231cb4051a848c08986ee6fa9d3709eb628d7fc85
|
3 |
+
size 141561911
|
index/1.codes.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
-
size
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:3ae4ceba9ce95a336a1107cbf82081b5667516bce1870c677db4daec7626e41e
|
3 |
+
size 17156075
|
index/1.metadata.json
CHANGED
@@ -1,6 +1,6 @@
|
|
1 |
{
|
2 |
-
"passage_offset":
|
3 |
-
"num_passages":
|
4 |
-
"num_embeddings":
|
5 |
-
"embedding_offset":
|
6 |
}
|
|
|
1 |
{
|
2 |
+
"passage_offset": 25000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 4288835,
|
5 |
+
"embedding_offset": 4423786
|
6 |
}
|
index/1.residuals.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
-
size
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:1261c1546c6db17379ed72a05ff286f6f9a66875f62aa36a5c3aa6d04cf90633
|
3 |
+
size 137243447
|
dataset.json → index/2.codes.pt
RENAMED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
-
size
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:63a9e9b71d127a8c738288388c1656afbd12d44a9b3c9b85aa4aec17036e51c4
|
3 |
+
size 14345451
|
index/2.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 50000,
|
3 |
+
"num_passages": 17577,
|
4 |
+
"num_embeddings": 3586177,
|
5 |
+
"embedding_offset": 8712621
|
6 |
+
}
|
anthology.bib → index/2.residuals.pt
RENAMED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
-
size
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:b5e0d1a861c52ab982b7eb253a2771ced027f5952c4a62226f9f16eacf57d1db
|
3 |
+
size 114758391
|
index/avg_residual.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
size 762
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:7d3fe0c1784062f3dc70947006a381f7f0ca0d4dfe018f304599a9abb390c36e
|
3 |
size 762
|
index/buckets.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
size 999
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:7e6d458ebcd777c52176c7f40ef7cb2a1dae95bc42348d17c94317897a14383d
|
3 |
size 999
|
index/centroids.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
size 8389361
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:52fc085dcb89bc6de14603a45c081de97e4652c53ce2766679a3e17e217e047b
|
3 |
size 8389361
|
index/doclens.0.json
CHANGED
The diff for this file is too large to render.
See raw diff
|
|
index/doclens.1.json
CHANGED
The diff for this file is too large to render.
See raw diff
|
|
index/doclens.2.json
ADDED
@@ -0,0 +1 @@
|
|
|
|
|
1 |
+
[122,112,102,86,118,139,105,33,71,78,105,183,117,114,86,140,130,54,88,153,133,106,88,121,134,134,134,169,144,149,163,109,302,109,171,124,61,72,153,109,188,133,131,125,98,173,125,198,115,172,226,265,150,257,108,294,198,168,145,157,185,180,243,134,258,140,164,95,134,197,167,178,204,231,140,110,177,94,120,182,144,83,97,153,88,275,112,153,166,178,153,160,109,150,133,84,123,78,156,171,160,147,144,95,133,162,99,142,81,60,138,110,138,186,169,134,78,228,97,136,124,68,134,135,129,128,137,99,161,185,146,109,132,159,128,166,175,136,127,88,254,127,121,125,56,102,73,193,174,160,163,105,155,190,194,266,63,154,180,113,158,143,149,124,206,172,168,190,174,118,235,195,186,141,182,146,108,222,158,185,123,225,156,114,214,122,134,199,129,176,192,101,91,203,167,162,181,172,152,96,204,140,161,165,155,111,144,160,143,134,112,256,259,212,164,231,238,173,190,142,157,201,73,178,113,158,136,204,158,125,260,70,99,140,171,139,154,173,140,138,137,146,229,179,123,110,222,127,189,219,132,166,116,178,227,272,171,173,172,235,70,109,141,162,182,186,228,147,153,157,296,469,271,438,251,348,98,368,151,299,117,252,296,182,211,235,157,184,273,190,146,252,177,170,169,140,263,99,202,185,155,136,75,257,71,120,246,294,306,232,169,298,263,212,193,281,302,296,257,305,161,215,299,256,274,275,325,295,237,281,354,333,276,254,254,266,301,224,312,282,310,260,232,299,290,276,259,290,323,269,291,270,279,212,302,312,109,266,298,257,265,299,196,244,196,246,284,268,237,247,204,259,219,234,271,252,263,261,374,286,397,216,311,263,303,261,262,336,248,194,374,162,282,249,238,213,259,241,176,232,138,267,135,188,255,275,254,198,205,270,270,299,266,212,295,286,192,469,484,437,273,389,297,470,324,465,233,357,310,178,241,268,244,180,248,174,337,200,248,85,199,255,91,175,96,188,61,146,185,113,108,99,134,134,72,163,170,218,207,176,113,130,102,168,200,187,109,128,147,153,158,69,98,194,273,93,159,118,102,72,113,149,93,85,162,108,78,60,126,140,167,169,210,187,184,195,130,190,67,242,243,155,229,194,156,201,248,118,214,231,204,187,154,173,276,267,264,181,222,161,277,243,134,121,157,188,152,185,271,215,227,224,161,139,226,246,188,212,204,127,222,157,165,212,177,150,201,195,243,170,245,128,187,123,231,246,166,216,253,166,206,224,245,235,188,182,144,194,171,210,163,240,182,192,112,195,271,210,231,125,196,182,197,221,192,248,179,239,116,212,206,146,211,286,196,211,208,184,211,212,182,258,240,178,209,156,174,204,187,208,229,192,232,195,180,217,145,221,215,212,206,215,209,172,166,284,194,186,158,215,163,162,225,259,213,151,201,180,238,163,178,157,195,222,213,175,234,145,155,223,207,301,189,243,242,260,209,292,212,213,259,202,168,233,201,229,223,289,153,247,158,198,225,253,236,225,214,154,187,235,197,185,204,181,95,113,193,212,150,218,143,200,216,144,114,208,131,130,102,167,76,130,156,99,220,150,129,189,221,159,185,131,202,187,161,123,173,169,151,185,115,111,220,145,149,186,270,129,236,174,122,197,175,152,129,218,167,176,137,136,187,191,110,164,262,131,160,225,186,137,145,237,181,117,166,173,147,211,285,190,230,234,211,156,198,208,168,170,182,181,134,143,251,167,201,182,209,151,251,120,204,224,243,223,196,139,122,259,146,196,140,10,121,116,154,120,152,182,191,119,219,172,174,112,218,124,69,128,113,48,176,104,165,220,190,168,282,151,130,159,99,93,150,135,167,214,214,306,225,203,182,212,103,204,124,121,171,134,153,251,153,196,185,158,148,142,164,218,183,30,336,151,205,165,134,215,127,133,69,153,105,22,112,122,115,153,151,265,106,84,167,130,109,182,84,157,162,213,160,208,138,145,63,144,115,69,113,114,124,137,136,191,94,126,140,163,223,80,125,123,121,155,126,122,101,130,113,163,91,87,92,120,76,126,121,136,106,171,142,159,122,122,95,74,183,91,202,82,141,96,230,65,111,179,160,195,188,149,149,78,137,119,157,169,129,168,175,117,116,116,134,122,133,181,127,122,139,133,157,120,117,176,212,145,159,259,115,203,191,111,178,187,96,170,75,178,169,171,174,115,88,159,89,87,90,136,146,123,164,45,123,77,155,92,154,102,61,126,117,177,112,159,112,96,128,101,166,122,117,71,128,64,96,113,107,54,83,166,172,182,80,147,110,97,121,67,85,109,59,74,139,161,105,85,160,84,101,69,90,132,55,122,123,108,190,92,117,144,73,111,101,114,135,73,128,140,149,118,135,117,159,154,178,124,122,95,176,122,121,226,202,224,175,85,133,114,110,100,183,147,89,118,143,81,120,125,94,106,161,198,122,126,138,170,218,212,124,172,116,162,138,186,193,153,200,91,129,125,142,143,69,162,121,157,165,85,122,122,134,77,153,53,129,159,168,119,118,173,206,192,162,80,145,106,151,93,156,145,148,156,149,214,112,109,231,94,146,135,178,70,86,153,116,100,64,93,90,59,84,144,199,314,216,105,80,115,114,170,160,132,97,165,133,210,194,149,185,134,156,105,134,107,99,137,198,133,159,164,137,160,86,100,141,113,138,106,122,137,116,127,177,62,146,107,194,111,136,173,203,152,148,29,159,134,168,134,251,105,139,194,131,116,207,81,119,116,102,111,94,114,141,149,127,77,85,188,111,65,141,60,182,163,103,141,173,59,93,75,191,145,160,112,142,147,89,140,142,197,44,158,141,228,171,72,76,138,108,133,149,211,155,73,96,78,142,146,111,167,148,92,154,102,69,60,93,116,139,38,127,135,140,125,117,142,88,100,102,59,64,79,91,144,64,46,67,104,167,155,166,92,123,93,220,188,173,124,103,80,95,174,116,150,179,93,96,140,124,105,85,173,98,68,178,123,144,142,129,71,77,146,80,156,173,109,135,192,139,81,97,146,131,119,118,158,160,137,163,136,175,246,128,217,107,124,158,116,100,121,179,151,199,110,175,118,154,148,148,112,98,57,170,169,123,80,152,143,114,142,117,135,120,121,115,116,177,95,197,85,126,200,129,172,100,111,195,154,158,119,112,83,51,99,130,170,97,107,133,144,98,148,105,182,140,164,85,166,147,205,122,90,175,142,103,121,95,104,78,108,243,107,142,125,180,174,193,99,81,150,135,205,77,103,152,114,102,300,93,146,94,186,96,144,144,114,74,142,151,133,131,183,81,110,136,134,100,125,102,88,278,172,114,105,177,97,123,200,136,73,163,148,53,146,65,143,37,132,145,120,152,190,233,122,179,174,177,121,135,83,105,200,131,172,211,88,123,162,89,199,162,133,155,120,187,84,69,97,70,109,154,128,80,116,151,103,64,185,149,116,124,107,118,154,178,164,101,157,24,95,137,156,85,134,119,139,180,82,54,79,179,101,57,146,152,135,117,99,85,84,134,120,160,194,169,137,194,136,101,51,162,170,118,118,138,179,155,200,81,189,170,121,69,149,139,243,115,144,148,75,124,134,93,235,164,87,84,111,133,103,148,105,162,131,93,68,105,179,133,108,72,117,73,142,106,81,171,128,203,154,199,152,259,138,207,178,53,115,149,97,84,60,105,111,96,184,96,160,132,124,208,174,61,121,71,115,135,143,118,206,160,130,56,137,85,98,138,72,81,78,178,81,183,172,118,223,89,93,167,158,103,91,120,193,218,91,121,121,126,142,242,162,207,125,177,171,212,169,234,207,159,80,197,36,171,188,212,168,142,145,245,238,237,280,157,197,201,185,152,146,161,167,191,183,237,106,229,229,170,204,194,172,204,178,184,205,137,199,167,230,146,202,128,112,128,134,120,193,213,133,176,145,110,214,189,185,115,156,133,198,138,162,176,145,144,127,127,124,155,92,100,132,207,214,226,205,217,173,122,186,119,180,217,149,203,210,192,208,81,236,140,192,125,197,153,95,118,143,211,150,105,112,116,113,201,155,140,141,171,139,211,188,107,181,162,112,188,115,110,160,125,163,231,136,139,202,124,278,143,159,161,107,102,129,187,125,155,132,171,135,129,175,218,172,163,169,134,136,240,286,133,160,248,228,144,125,258,147,204,233,209,244,140,236,116,200,131,280,243,103,157,160,113,159,150,188,121,205,200,148,237,166,156,211,214,177,116,169,223,224,144,122,146,171,116,215,164,182,187,281,166,59,146,92,145,152,188,437,150,60,168,450,114,215,117,155,133,162,186,144,169,110,122,201,146,121,116,102,237,132,105,173,109,48,87,133,102,171,109,208,172,294,142,198,111,209,141,117,108,94,148,131,109,115,189,111,132,152,112,100,128,139,287,197,103,255,160,179,207,149,118,153,136,161,176,60,94,108,148,132,198,104,209,212,105,135,164,109,202,196,170,178,125,204,106,170,125,104,138,112,151,126,112,149,185,241,117,101,130,138,76,62,96,76,112,135,117,236,197,121,140,161,94,145,151,124,78,188,122,110,134,193,162,172,89,83,98,77,73,183,192,137,220,153,134,151,122,97,176,60,100,134,197,103,122,177,145,122,144,136,197,158,132,190,165,123,112,124,172,90,123,90,101,92,115,90,133,140,158,227,148,129,183,108,250,203,227,229,130,203,158,122,170,197,117,115,136,200,150,139,191,128,188,221,164,166,163,100,144,141,72,167,86,166,196,142,123,127,137,100,141,136,251,208,125,142,209,187,94,145,169,123,139,164,139,123,113,107,206,94,168,136,99,161,147,96,163,180,107,144,138,224,202,144,112,297,152,155,100,99,61,79,126,72,88,194,140,97,136,162,113,106,153,137,106,131,145,143,211,123,146,171,113,96,96,87,94,167,145,91,53,224,108,126,85,127,217,179,191,238,148,109,87,94,203,67,109,114,85,187,97,73,159,85,136,122,98,118,175,103,169,176,114,131,111,193,124,132,247,229,198,112,112,184,150,190,172,135,142,152,87,213,161,127,216,162,183,236,95,145,80,146,160,205,159,137,172,164,169,136,186,161,209,85,69,127,225,218,234,186,167,216,232,93,177,133,171,106,156,150,82,125,281,193,125,181,167,101,76,157,142,215,146,209,243,140,229,154,133,206,184,156,156,146,183,120,212,116,214,163,163,171,220,94,232,143,209,137,135,175,133,206,224,52,209,116,129,113,173,131,167,193,201,163,324,149,244,228,166,95,221,119,109,140,185,124,113,169,138,117,139,112,148,281,120,148,135,131,115,249,322,248,68,178,80,125,125,202,129,82,266,198,167,176,172,200,183,128,150,125,110,106,108,196,114,190,105,213,125,151,216,111,136,161,128,248,139,127,123,93,149,94,149,122,193,192,210,207,118,146,224,200,187,151,141,154,173,139,226,161,157,112,108,235,160,77,153,73,157,163,159,148,185,164,124,166,177,98,143,164,176,69,175,121,155,189,274,68,136,113,115,230,120,93,169,130,165,234,171,86,194,78,81,98,227,219,129,169,151,220,114,125,201,183,200,166,130,126,83,136,126,89,109,134,274,132,140,70,207,188,193,131,131,145,239,151,188,158,117,122,117,169,108,160,138,103,114,114,150,106,145,200,141,135,234,94,74,199,158,118,122,143,183,157,161,124,192,94,110,138,91,190,157,146,95,229,152,106,128,99,120,186,172,113,133,181,75,224,70,153,174,135,128,121,151,188,180,255,183,164,146,118,89,85,165,78,139,83,170,184,129,163,182,115,92,212,248,144,143,190,104,204,188,157,132,191,228,131,165,133,220,140,164,34,147,144,91,179,120,138,80,66,129,262,143,192,137,174,182,115,316,230,95,143,227,118,145,116,195,89,83,94,147,98,66,99,148,181,132,64,133,66,135,108,216,138,89,125,157,101,151,162,187,81,73,190,93,98,113,62,102,110,70,102,145,111,209,133,144,160,217,108,84,192,136,100,151,143,114,144,155,132,164,171,165,180,123,125,251,157,173,251,112,181,133,129,112,132,78,148,98,183,47,127,96,471,104,277,59,96,140,125,92,103,281,278,62,142,149,166,185,199,95,111,109,150,104,135,224,130,129,74,104,138,143,84,119,131,121,125,151,214,211,171,194,190,84,121,241,69,100,139,54,69,139,224,179,190,155,136,94,130,155,124,111,116,143,82,158,165,146,97,124,193,180,184,134,130,164,130,98,112,82,96,194,218,119,86,143,157,214,158,192,171,149,200,135,159,98,171,198,190,122,191,130,89,174,155,141,143,145,56,137,119,110,85,150,105,181,278,152,62,90,129,82,165,120,55,138,128,203,188,157,109,109,123,158,151,178,173,242,152,198,101,164,110,53,192,111,213,147,114,133,121,160,219,189,199,168,63,179,110,77,141,264,151,123,86,85,110,175,149,123,78,175,154,131,150,129,125,265,214,180,228,130,134,175,172,114,124,123,189,138,274,149,202,103,244,166,85,136,209,181,160,206,172,175,90,139,165,111,103,187,140,130,74,201,141,110,115,96,133,121,130,171,130,192,127,87,189,139,148,112,126,218,99,238,179,167,198,151,209,133,179,152,116,123,200,102,167,125,49,96,121,80,180,140,170,89,130,117,158,113,141,186,128,188,87,196,109,123,258,124,154,118,175,125,167,191,151,205,133,219,117,179,94,198,177,204,106,236,121,168,222,125,104,138,168,147,126,139,90,117,154,117,109,156,94,132,106,129,83,137,115,240,167,56,170,235,96,227,91,180,212,125,209,154,110,179,173,107,121,85,159,166,164,222,152,148,120,138,158,147,186,138,84,127,143,210,146,88,143,145,140,111,137,225,196,164,123,185,222,165,174,131,170,165,239,133,108,147,139,185,145,115,203,164,207,106,146,206,129,143,130,204,172,169,151,115,156,127,275,267,137,140,109,178,87,338,141,64,141,152,142,160,175,127,123,131,115,182,205,166,140,163,201,185,97,161,142,154,138,142,109,108,296,149,119,132,140,131,141,207,109,131,260,149,162,108,165,137,201,175,71,247,148,225,127,168,94,110,142,133,176,77,131,135,224,222,184,135,119,167,118,183,200,216,199,75,187,212,159,150,93,94,86,193,129,102,106,169,175,73,89,109,65,180,82,217,92,160,105,153,63,163,97,121,139,64,178,139,109,95,132,167,205,113,117,93,74,120,134,121,131,102,97,135,68,103,78,277,193,148,98,122,104,82,151,148,118,117,94,105,113,164,124,112,223,181,88,65,125,96,103,165,117,143,178,193,156,224,235,62,112,92,135,64,99,84,170,116,91,153,141,161,120,119,147,112,27,161,91,55,55,235,213,86,141,137,124,200,113,220,156,100,161,159,144,188,161,48,56,56,218,128,155,197,153,157,184,227,132,186,117,119,220,113,164,232,217,178,182,182,188,227,165,132,121,109,194,121,94,152,82,72,148,159,145,98,255,113,107,146,141,58,150,188,98,186,85,76,187,176,87,167,58,84,170,180,211,137,162,125,103,142,111,163,168,103,105,105,126,166,151,103,188,139,138,271,153,90,135,144,134,126,110,135,131,100,161,176,184,128,124,207,170,201,142,179,118,228,109,121,108,216,203,133,173,171,254,123,180,158,184,194,129,145,168,153,168,157,262,95,87,166,127,142,232,121,224,125,143,149,110,160,154,154,187,104,196,210,185,187,203,87,158,138,210,120,99,94,100,87,90,158,149,110,117,238,112,187,161,162,103,97,210,182,41,165,168,188,152,206,149,139,110,176,135,87,218,237,142,221,173,142,147,142,165,339,212,112,76,60,186,146,219,104,111,118,106,195,120,136,119,146,125,66,206,122,134,167,170,146,350,183,407,294,253,157,267,220,245,129,204,167,154,163,120,243,320,143,234,236,285,260,313,216,289,164,224,150,156,130,98,135,486,389,303,233,292,186,145,185,107,146,181,188,151,121,157,280,132,217,188,216,238,107,185,233,86,90,204,223,170,153,203,157,204,130,130,219,252,193,251,201,178,230,236,158,214,189,256,126,280,118,169,150,179,206,163,119,160,133,203,149,181,135,108,104,220,208,149,217,141,187,85,199,129,241,213,118,145,145,169,141,165,195,114,275,166,135,169,219,138,187,158,161,154,258,210,119,166,115,191,236,93,207,124,149,228,313,273,146,178,146,101,99,91,90,106,117,264,174,96,225,87,121,224,233,128,120,149,182,159,96,119,133,112,217,200,237,106,165,104,198,76,166,247,128,138,168,165,219,175,191,163,233,180,127,217,146,161,192,228,135,181,123,168,161,189,140,165,151,197,227,247,173,194,258,125,188,91,146,159,119,172,307,218,176,92,236,165,290,185,207,249,159,125,166,158,165,134,123,240,214,177,182,98,192,220,148,176,150,119,242,190,162,192,186,144,205,228,159,134,159,140,120,223,207,197,167,203,206,245,205,190,180,121,123,290,177,141,227,201,178,176,149,132,182,203,180,180,240,244,345,295,193,320,186,423,211,196,195,266,488,199,186,271,212,198,331,248,423,198,257,337,260,263,344,306,282,237,201,213,205,282,191,201,197,246,262,401,313,301,305,247,307,461,208,187,212,208,272,319,201,194,405,373,173,204,195,289,142,290,302,321,226,175,366,229,243,267,232,193,195,190,165,272,178,134,135,221,65,149,185,173,201,158,260,134,197,215,147,266,181,177,171,162,101,144,167,240,245,170,137,229,182,326,179,175,175,187,116,177,141,84,292,71,177,185,117,169,107,128,151,104,102,107,127,134,166,224,130,204,250,134,170,209,164,181,178,110,165,274,180,183,75,211,165,153,155,124,280,164,125,220,134,217,163,189,208,183,208,261,195,116,151,242,130,200,248,223,178,229,242,147,228,269,229,222,145,246,189,247,161,232,132,203,176,265,183,152,209,136,136,216,203,259,220,143,159,173,199,159,135,142,116,172,190,195,186,120,192,175,203,181,190,154,170,168,202,142,209,153,187,192,178,209,132,186,225,209,122,240,214,156,193,249,248,182,175,89,53,197,152,203,157,132,100,59,98,145,174,196,156,150,51,176,280,99,100,301,122,259,183,224,155,107,128,147,317,117,182,152,131,160,159,150,186,174,125,106,181,220,248,159,210,199,201,123,226,200,112,111,251,163,243,132,129,136,160,114,190,65,147,107,202,189,210,125,108,117,141,189,141,207,107,173,126,91,178,199,136,189,72,219,156,147,114,243,175,180,112,171,332,201,113,152,202,75,287,180,361,260,228,251,205,205,200,74,321,183,98,297,295,336,125,242,143,154,179,179,128,134,187,118,188,198,188,185,159,144,157,231,114,184,96,143,158,171,228,123,111,215,153,109,136,150,271,62,104,217,101,169,124,97,226,237,190,123,238,221,134,165,176,286,211,184,188,123,252,234,395,227,168,183,145,196,223,137,114,169,172,156,382,225,179,387,149,219,213,211,220,165,91,146,210,145,204,94,156,209,268,131,109,133,152,196,201,152,205,197,239,159,224,111,147,171,146,194,256,199,235,197,106,177,232,152,141,190,172,317,124,143,126,268,163,181,159,162,206,245,228,153,262,139,175,184,201,178,217,249,76,147,284,286,191,137,142,178,140,219,233,129,212,217,291,281,123,117,232,205,146,102,314,162,143,110,128,171,242,164,141,200,144,169,134,174,117,183,141,193,156,181,229,162,222,127,243,196,241,138,190,295,136,148,177,189,114,207,208,257,317,197,177,220,95,185,178,171,129,272,206,141,116,330,132,95,130,155,129,150,219,170,308,141,238,133,188,73,212,179,192,200,290,138,177,179,231,233,163,361,215,191,147,225,102,248,235,219,105,176,182,270,169,3,120,231,252,165,239,185,154,192,120,137,245,208,200,269,143,210,180,238,185,161,242,161,72,159,133,186,105,242,68,205,154,191,77,178,252,111,123,211,162,316,126,240,169,161,106,130,202,139,256,198,156,178,161,142,164,103,104,112,200,194,357,144,244,296,197,205,184,105,157,182,157,116,162,390,174,71,94,142,188,137,156,224,142,121,155,186,266,144,214,164,216,244,101,166,259,281,170,146,118,177,124,96,185,143,109,141,222,161,231,166,151,103,259,238,167,199,201,144,185,258,137,204,266,203,168,143,134,110,341,192,181,176,169,245,81,285,156,149,149,119,225,170,228,249,195,226,110,180,139,210,170,305,147,140,137,240,188,121,210,213,184,131,154,178,99,131,325,150,159,178,127,182,169,243,137,171,146,144,150,358,188,115,209,73,195,305,187,229,228,252,297,218,191,173,148,139,213,198,176,96,147,111,121,223,154,162,196,161,317,119,214,184,246,199,185,177,282,162,246,255,199,113,176,200,167,99,127,198,166,190,249,118,317,233,167,182,236,121,137,114,153,242,194,130,165,175,202,219,295,311,113,176,164,169,215,144,161,176,160,189,140,206,159,327,79,140,202,127,277,154,166,203,154,169,264,232,166,274,216,134,203,95,184,204,150,184,126,233,159,174,132,153,141,221,156,158,196,222,214,120,110,138,99,135,205,131,232,149,190,138,118,206,95,137,270,261,221,274,113,202,173,244,145,166,250,189,197,188,174,156,191,79,106,276,290,206,183,201,236,204,154,182,224,246,246,164,269,259,230,198,257,220,217,199,219,255,177,231,183,213,203,274,192,201,226,167,239,286,270,289,235,207,156,227,218,202,169,205,251,314,217,165,146,291,176,256,186,155,263,232,222,185,231,255,139,96,241,275,218,283,183,230,174,268,134,188,168,245,241,250,243,270,147,247,169,142,193,204,143,193,238,191,211,194,250,190,318,245,251,206,206,195,316,156,203,209,261,188,190,260,258,227,209,201,195,198,341,187,230,193,216,123,211,218,193,200,164,282,199,160,165,155,266,192,280,190,216,232,269,219,158,176,214,162,247,382,254,214,212,172,190,164,202,197,224,165,298,216,189,176,279,247,316,282,232,253,219,160,156,290,288,158,158,228,127,180,217,207,203,181,131,254,152,161,230,166,135,237,162,369,310,202,258,158,134,190,166,162,190,270,150,254,238,112,256,297,211,164,219,163,187,206,159,230,156,131,160,220,250,151,195,210,301,190,142,312,192,244,169,239,192,191,188,171,167,204,210,230,245,178,293,231,137,207,112,202,158,185,233,185,140,311,236,130,341,238,185,122,201,130,170,138,228,256,242,207,206,142,304,205,186,199,165,248,266,167,199,252,296,273,190,240,195,198,272,220,193,181,198,212,205,186,205,199,223,145,125,256,209,159,182,282,286,394,207,168,132,218,450,211,169,207,189,240,265,271,183,160,193,196,267,144,244,171,180,238,234,259,350,261,172,207,124,102,177,129,216,271,305,245,257,172,177,198,234,218,294,142,186,168,189,202,182,193,202,164,146,210,393,211,197,108,244,234,217,175,233,227,170,114,188,160,201,114,196,149,160,386,102,257,250,195,315,233,190,210,177,173,210,150,125,371,142,164,172,198,143,151,208,201,261,187,175,307,181,218,165,212,287,284,170,257,243,117,255,154,147,156,216,94,255,267,153,271,194,246,205,176,238,130,213,213,333,236,207,192,250,269,231,130,171,375,233,244,187,126,238,286,207,225,212,154,167,126,168,165,166,187,213,272,337,157,106,273,302,282,220,251,203,255,158,246,141,226,274,187,203,215,208,203,170,228,228,160,203,239,168,180,236,190,326,198,314,212,97,388,318,159,269,302,278,333,249,224,257,173,279,184,189,140,243,233,309,222,127,228,232,154,153,265,203,242,184,202,185,207,171,190,216,93,166,157,274,178,197,158,148,335,130,186,182,281,173,233,162,204,172,142,223,213,220,218,214,270,254,193,196,202,201,238,257,250,151,319,213,232,188,199,285,271,86,200,192,223,225,188,158,307,144,242,255,326,279,211,140,240,259,207,254,190,276,271,277,214,210,298,141,245,211,141,90,124,227,142,211,286,222,276,127,190,315,369,136,259,158,249,192,161,156,240,145,195,216,228,227,152,161,185,192,162,341,121,202,216,226,198,191,194,196,232,160,332,217,254,202,264,165,272,260,172,159,212,222,236,206,220,205,124,254,177,174,345,110,226,163,205,175,377,105,297,238,272,139,240,185,229,244,267,241,276,232,192,233,379,159,267,208,256,116,186,418,164,206,218,220,210,226,161,188,251,192,192,239,244,320,206,214,183,194,179,237,176,340,158,203,216,219,209,145,203,229,217,235,295,207,186,170,147,139,178,239,175,228,180,255,212,228,232,182,205,214,241,186,273,217,147,188,204,148,196,241,267,201,101,193,175,222,160,251,198,138,231,198,219,204,160,229,225,185,243,241,201,138,188,232,114,235,279,168,234,356,365,211,136,258,194,180,169,156,187,240,187,265,206,155,156,291,129,182,248,159,252,245,190,174,128,244,222,191,186,149,238,250,245,282,116,227,212,177,193,160,166,180,197,214,188,258,251,302,270,246,203,288,173,158,227,257,159,176,207,219,277,132,184,323,193,222,162,225,292,279,75,236,215,199,188,164,218,171,274,228,222,181,255,173,183,247,317,239,237,227,229,221,206,193,212,163,239,342,200,182,141,202,211,221,249,141,222,194,219,147,238,254,287,262,239,240,258,256,212,238,193,272,263,132,218,228,153,180,235,142,191,164,227,187,232,283,250,243,113,215,213,376,222,214,196,199,139,206,204,214,175,192,191,212,134,175,253,415,180,173,157,302,242,235,216,251,259,183,212,213,139,191,147,316,197,199,282,184,284,157,228,159,111,109,228,158,186,148,194,97,214,264,223,228,171,188,245,170,214,174,320,190,160,189,245,272,230,210,334,238,238,269,246,164,246,254,200,228,204,333,175,181,311,219,205,164,266,221,231,226,297,161,186,183,333,163,213,262,200,177,165,244,203,156,217,193,218,138,140,236,186,265,152,148,270,179,221,224,303,247,153,218,117,162,243,203,290,214,217,184,182,217,193,204,201,206,154,124,247,308,162,191,244,183,182,191,214,262,184,163,162,263,112,266,269,159,105,168,171,157,237,192,315,144,231,276,228,253,252,320,134,252,217,261,232,175,194,193,227,194,205,141,277,203,305,195,223,233,196,201,258,164,416,262,280,212,220,161,282,235,269,184,261,261,275,251,243,221,166,260,217,179,258,224,238,161,214,248,200,171,272,237,210,187,401,252,186,114,361,312,313,306,314,145,381,194,195,248,244,191,302,141,188,217,229,193,176,206,165,217,127,241,245,317,253,164,190,219,172,312,183,304,183,147,183,110,190,161,191,199,282,313,264,170,104,211,289,133,228,162,221,316,219,182,241,184,217,257,172,182,209,194,226,221,172,235,155,287,237,165,177,144,185,237,293,225,260,189,202,278,291,131,172,138,170,229,207,186,195,271,134,332,200,232,254,318,211,225,195,191,186,233,236,285,218,204,182,181,213,240,183,237,408,197,181,156,201,153,189,220,212,173,183,260,264,201,273,319,296,207,185,247,220,232,198,298,208,265,184,171,196,216,199,183,252,148,204,195,171,269,245,182,348,169,138,398,206,260,276,146,206,316,254,165,274,217,146,184,165,220,317,103,203,311,326,208,209,207,214,213,187,193,243,247,252,279,227,204,177,173,203,198,221,112,145,161,202,164,252,233,189,234,145,182,310,164,223,208,208,264,277,204,215,243,237,185,228,206,159,165,208,244,178,259,118,253,326,182,141,242,261,177,374,225,265,313,167,380,212,278,386,290,256,185,194,144,205,215,380,211,278,171,238,170,147,289,249,180,202,245,266,216,181,188,129,181,194,134,200,165,257,270,216,208,146,303,191,159,160,165,200,210,222,250,277,225,245,227,225,219,223,188,197,214,205,292,147,194,251,209,243,266,228,185,241,196,201,234,289,179,243,138,251,141,218,303,265,200,336,188,237,194,197,202,175,230,227,201,279,355,240,270,277,251,171,138,226,126,278,235,146,249,158,235,341,329,221,183,186,254,244,182,240,252,285,244,183,146,168,150,219,219,166,189,195,215,317,187,374,100,278,217,161,206,309,204,259,241,260,335,242,141,259,289,212,201,244,278,149,236,361,209,421,250,225,232,173,181,222,230,316,233,217,172,219,220,158,274,200,186,296,197,313,221,209,238,186,240,282,267,255,216,272,275,156,266,290,237,274,280,241,236,192,152,224,296,266,164,210,225,254,191,217,298,231,290,256,207,293,278,204,224,174,364,143,278,303,307,212,151,177,168,232,194,214,153,213,302,189,229,236,197,167,113,298,168,268,376,243,211,189,147,354,282,169,140,208,253,305,254,192,220,171,188,252,189,161,184,161,202,231,278,146,182,148,369,216,314,154,166,221,319,221,277,229,247,190,187,159,159,178,109,227,226,182,293,156,192,298,269,209,209,169,259,336,169,220,252,192,223,244,264,169,182,210,264,166,236,249,169,161,233,134,247,164,227,164,219,270,171,129,266,160,333,177,250,290,238,285,161,177,238,151,173,241,308,237,206,228,243,167,323,238,183,238,132,169,222,235,246,255,150,244,194,214,224,164,217,270,158,217,123,204,261,260,166,173,226,205,215,199,143,237,238,260,213,275,218,234,184,228,197,237,162,147,107,176,164,193,179,182,306,215,273,144,165,371,126,200,200,186,326,242,311,198,275,166,148,238,181,358,180,244,201,241,244,210,141,127,254,287,168,233,218,314,291,197,243,193,171,146,182,259,192,272,233,221,212,249,353,153,188,153,383,189,229,296,257,243,249,172,261,166,256,136,232,227,245,236,217,191,181,222,156,187,169,252,230,276,241,304,214,223,254,221,168,229,244,176,134,215,252,164,233,248,201,109,152,227,163,167,203,196,186,195,198,170,204,195,157,173,181,199,203,243,127,190,216,120,141,252,184,353,232,220,382,181,209,186,207,188,180,295,241,210,261,271,167,202,204,138,204,178,244,163,195,160,273,217,229,161,261,208,325,297,263,146,214,206,208,155,186,168,196,198,198,255,174,216,197,151,203,286,292,162,194,225,287,256,282,305,293,222,95,200,216,244,287,202,197,171,213,189,255,278,132,209,187,172,210,244,341,197,231,242,279,207,226,264,226,180,206,176,244,296,229,294,214,175,267,128,93,213,244,213,231,227,196,190,145,141,151,165,190,188,285,233,237,236,176,370,292,162,207,256,137,189,278,209,194,194,171,254,207,256,262,166,314,180,207,331,181,257,250,228,210,166,140,222,207,219,132,319,246,188,227,181,217,211,135,209,167,250,273,249,333,199,274,275,226,198,230,246,308,292,198,182,230,173,205,168,294,151,200,136,144,232,257,272,232,260,140,149,130,174,174,186,309,193,247,251,170,189,322,145,207,195,134,199,271,153,215,241,301,165,228,337,138,253,166,168,242,200,173,229,194,189,216,203,164,168,251,197,200,183,205,252,132,143,197,307,189,235,157,347,188,169,195,285,168,176,234,173,249,238,259,241,305,207,330,255,181,214,197,193,204,240,237,242,276,139,212,232,191,231,131,283,168,264,193,278,325,244,239,291,169,216,161,178,249,205,191,235,258,213,224,179,257,174,100,265,205,147,178,252,232,257,221,239,273,275,221,191,282,121,170,200,279,137,238,204,223,104,178,238,167,252,187,291,244,177,196,451,179,218,144,280,138,228,133,248,189,162,165,263,290,168,359,145,216,264,369,192,221,201,139,252,276,232,186,320,265,141,185,209,233,207,176,186,227,207,144,307,192,176,233,117,248,227,135,278,147,219,229,136,264,155,304,141,219,262,210,206,222,188,177,167,212,335,237,156,175,292,301,216,222,191,212,237,205,283,151,212,268,221,158,254,232,178,289,154,174,116,288,245,220,175,244,161,384,240,293,230,234,222,197,280,322,247,302,147,221,112,227,281,173,194,207,214,389,186,228,177,219,197,187,226,209,216,229,202,244,185,180,180,228,211,246,225,201,287,325,450,176,238,244,130,197,150,201,201,176,277,276,219,212,198,235,159,189,177,212,209,247,275,221,226,321,268,200,151,220,193,197,103,161,186,189,296,249,164,188,203,209,259,233,135,268,195,262,203,185,244,226,224,262,227,211,184,196,259,202,225,317,244,207,268,121,142,365,217,294,261,190,259,145,208,194,215,196,224,259,141,147,310,242,136,162,206,159,204,225,163,149,164,279,300,216,320,320,285,224,347,266,265,198,225,322,189,271,199,145,238,210,238,260,245,131,158,242,222,236,152,158,227,197,178,211,150,231,287,246,220,158,299,205,199,256,287,242,281,228,180,209,185,336,232,192,187,208,233,178,156,155,200,274,159,224,298,186,200,176,198,279,201,269,173,294,176,212,265,120,138,208,189,307,210,212,224,285,271,151,201,164,148,243,245,115,342,256,259,245,218,156,167,173,292,152,339,223,223,239,274,189,322,149,294,174,210,276,277,199,152,213,266,266,220,308,210,255,243,250,277,217,217,232,244,271,154,249,282,158,162,221,138,208,232,211,235,174,207,292,140,229,147,227,257,113,263,293,308,288,205,136,152,150,167,238,324,244,256,233,230,323,230,242,119,199,227,178,240,283,271,222,288,272,173,202,203,168,280,191,273,161,212,297,120,204,196,199,189,165,223,262,166,154,277,183,277,210,142,241,158,120,208,214,318,307,147,140,278,238,306,220,219,211,287,142,170,173,244,337,238,255,148,206,228,224,152,196,135,312,220,125,332,225,162,248,189,232,230,136,223,272,237,159,167,216,209,166,155,207,238,219,214,204,247,225,166,234,159,261,323,134,178,307,295,205,129,233,139,175,223,188,163,249,165,283,233,222,204,230,213,213,260,248,252,227,245,299,279,271,205,282,223,163,173,166,300,125,214,202,171,237,256,199,189,230,168,338,285,145,137,277,176,262,217,274,228,142,248,264,280,242,179,241,211,167,285,190,272,224,235,224,238,179,111,233,227,128,198,258,231,207,242,287,181,210,203,193,213,234,168,229,179,201,178,229,172,126,245,249,161,232,175,230,206,272,209,231,255,137,228,328,157,253,178,180,199,187,226,246,265,179,175,188,276,229,273,207,233,248,190,162,186,251,158,382,185,227,241,230,248,268,196,226,320,195,170,141,186,161,317,245,149,137,224,176,300,182,229,162,178,240,398,219,215,275,222,249,234,169,245,184,214,228,370,144,250,215,274,241,245,273,185,145,241,216,171,199,247,265,230,152,243,363,226,139,255,305,204,137,265,185,183,186,197,218,301,207,294,156,218,296,257,217,269,263,310,211,216,220,165,228,257,226,183,210,300,221,148,152,254,162,239,350,247,132,110,245,183,223,215,247,171,204,243,205,203,186,234,196,169,236,250,241,344,287,293,149,183,288,214,235,197,258,233,226,230,235,200,214,117,167,237,211,182,308,178,182,238,262,292,252,285,180,166,129,236,206,186,333,341,321,338,144,334,265,188,255,197,236,182,293,175,228,232,105,163,209,250,251,190,196,182,251,211,184,189,253,216,251,242,208,179,189,195,217,168,212,165,250,248,203,206,236,257,254,152,179,254,200,222,235,260,259,174,141,144,278,263,221,254,280,265,172,200,208,280,232,155,192,247,207,208,243,124,211,140,182,144,140,270,292,223,165,352,229,222,186,158,249,192,219,250,179,215,161,216,156,245,322,295,102,199,246,192,199,217,229,144,218,199,162,133,194,187,167,163,170,169,139,222,264,191,117,172,210,211,213,159,210,220,181,178,242,157,240,241,181,206,215,240,238,204,174,265,359,161,174,220,220,245,165,242,236,148,200,172,249,96,188,153,129,167,278,133,178,216,189,297,182,230,217,190,262,191,106,161,234,264,306,183,222,288,228,140,252,292,157,169,222,279,216,199,246,177,222,188,138,197,126,203,310,150,240,236,181,136,373,209,273,237,279,258,369,106,206,261,87,239,210,191,148,135,183,272,183,221,218,178,190,200,176,157,198,268,180,221,143,283,203,227,208,221,222,176,372,320,213,194,322,227,260,227,201,154,255,185,245,170,305,173,111,285,288,211,140,176,257,252,314,282,180,173,209,239,266,151,209,140,160,159,253,254,223,178,162,248,194,127,159,293,194,183,264,264,150,198,196,224,129,149,150,329,208,248,281,226,187,169,222,300,225,150,228,197,206,231,219,312,149,194,241,227,199,196,292,140,203,192,181,251,173,193,213,355,146,258,210,375,178,210,172,224,88,204,174,213,220,283,189,237,170,288,258,268,159,194,134,163,260,179,343,196,269,306,190,183,195,200,122,230,107,134,184,230,187,253,258,179,176,201,207,258,269,247,159,276,182,264,343,221,168,259,206,277,239,268,239,237,206,167,181,196,249,230,254,212,264,373,317,269,202,274,112,286,221,259,341,201,195,161,229,192,170,164,224,179,175,261,225,202,215,298,215,166,198,126,258,228,151,205,183,201,184,137,207,370,255,158,204,245,219,235,185,324,179,181,213,163,150,215,212,152,181,308,161,106,189,247,218,174,256,252,208,186,309,172,224,258,237,175,197,235,226,131,239,255,318,261,242,115,245,259,155,222,237,211,218,224,283,173,351,163,164,193,153,270,214,204,226,241,241,295,160,196,166,226,186,261,177,244,232,175,250,143,216,211,182,280,266,323,223,235,242,225,233,213,272,259,244,167,161,263,300,233,133,263,167,240,193,192,128,187,212,119,187,181,161,217,139,255,359,239,135,194,227,260,266,100,185,208,166,281,191,159,260,275,184,253,196,197,259,228,240,212,194,275,169,179,176,245,145,217,154,255,200,228,228,225,135,301,240,199,201,218,251,236,343,182,259,276,163,317,249,247,269,221,216,238,224,248,219,121,270,162,310,173,166,208,216,210,272,286,242,238,193,160,250,210,236,159,109,229,133,214,288,153,200,200,254,172,296,117,205,265,157,201,208,255,264,166,130,167,238,259,153,201,219,252,285,217,190,119,197,175,279,253,167,232,332,370,160,170,267,150,186,278,221,212,117,215,214,320,237,184,243,220,193,216,235,257,294,175,204,194,243,191,223,332,232,242,248,144,251,120,246,244,181,222,253,112,249,176,206,292,170,248,200,189,205,181,163,230,190,178,241,182,128,230,197,143,223,209,183,297,186,175,225,206,191,173,236,289,258,244,273,264,255,115,264,313,140,223,223,188,194,296,226,158,143,187,136,208,201,250,224,158,136,228,192,198,179,124,193,309,388,131,237,235,205,220,199,192,209,157,246,301,250,255,299,119,133,148,327,219,244,276,238,342,203,206,159,151,278,201,265,336,242,274,170,265,223,164,215,176,180,197,261,212,142,220,271,244,190,256,241,140,198,338,246,167,211,251,118,325,258,202,159,174,260,108,213,112,136,145,167,173,232,225,180,189,122,160,330,345,249,165,232,244,289,164,133,234,232,178,268,235,174,210,151,230,176,207,228,185,258,253,332,215,328,233,215,115,271,93,330,243,162,256,197,153,271,204,172,150,250,221,245,170,218,229,142,220,198,283,320,168,278,322,196,199,195,244,244,222,236,174,145,256,211,184,186,303,128,324,138,178,235,185,264,186,203,222,294,245,206,211,214,219,271,199,171,152,336,262,152,209,267,254,206,215,275,165,159,170,324,187,183,162,295,181,166,256,220,283,361,262,220,218,206,222,271,233,329,199,270,230,132,183,282,193,230,167,341,267,166,280,311,205,194,197,139,220,224,221,258,131,196,176,168,185,207,224,160,227,139,170,179,268,198,259,178,94,183,223,268,247,236,199,274,175,288,215,190,192,235,312,194,151,184,158,226,156,173,161,96,232,151,153,273,256,294,203,358,248,315,222,184,171,367,162,260,243,191,226,150,106,175,287,199,229,232,194,171,128,146,215,192,256,207,314,282,259,217,291,190,341,163,277,260,180,159,208,163,302,130,177,183,220,207,242,144,200,215,279,212,275,248,153,133,341,201,280,211,207,239,185,179,201,228,221,177,223,243,230,128,146,206,209,255,243,203,214,190,319,176,285,203,256,154,212,185,258,218,204,250,228,151,243,193,273,235,192,214,269,226,175,279,192,266,328,380,362,160,144,229,146,111,234,212,352,194,235,191,168,258,200,186,215,184,151,267,270,197,308,158,179,298,194,233,158,247,278,261,231,172,236,164,250,267,139,216,256,178,209,270,181,315,302,252,235,127,202,192,197,195,235,282,178,267,149,176,206,157,227,144,274,263,239,179,137,204,319,122,118,191,303,336,239,226,126,251,235,256,253,230,283,253,243,180,159,144,155,278,151,156,239,280,302,182,201,209,247,175,187,224,196,241,170,214,257,206,285,174,145,157,169,263,161,203,186,248,255,219,213,151,240,239,206,324,261,300,163,168,105,241,238,265,235,359,167,200,193,185,199,225,129,278,150,179,112,199,176,260,167,154,216,184,225,180,232,227,210,300,135,222,203,190,173,218,153,194,289,187,255,227,167,245,211,185,195,199,228,237,185,313,313,204,153,170,163,205,245,127,142,122,165,236,195,187,247,172,166,176,178,172,179,166,166,318,331,172,195,201,235,240,215,278,190,194,199,184,190,213,192,339,219,221,224,146,186,230,213,302,183,200,239,197,250,174,293,227,156,185,157,102,225,201,177,227,263,211,245,233,238,201,377,229,221,188,157,301,247,180,247,240,179,169,178,174,217,268,280,232,309,139,151,260,190,202,251,159,241,233,329,149,257,273,216,210,245,257,264,186,224,192,217,213,194,226,186,152,260,267,238,201,171,165,260,242,195,182,195,183,188,210,155,263,123,218,228,158,270,312,253,264,314,243,200,221,220,182,245,206,110,203,148,238,200,223,299,306,193,189,196,192,174,194,212,177,151,297,199,286,273,241,178,172,261,106,222,284,191,213,265,207,295,245,234,157,221,209,210,166,183,247,165,348,174,198,185,205,208,158,258,271,202,218,139,208,198,216,261,204,303,392,231,105,235,377,361,286,150,259,182,240,153,283,203,176,226,222,222,292,285,245,155,159,232,286,336,199,226,217,166,215,307,54,199,222,196,270,251,168,207,165,158,164,212,270,212,260,165,179,175,250,165,406,240,261,323,230,194,182,305,204,169,226,240,159,237,254,231,212,265,197,265,198,244,165,175,188,170,359,242,239,240,148,130,255,274,213,233,168,307,214,203,255,320,152,238,237,261,205,265,237,219,271,241,247,263,217,241,247,287,216,210,224,128,245,226,199,138,270,275,146,180,285,185,257,238,150,244,234,284,205,182,169,164,273,202,99,235,237,201,268,188,118,172,199,186,153,285,156,243,162,241,143,287,257,162,185,159,137,244,153,284,176,240,184,224,142,263,230,113,169,144,251,210,188,209,236,287,250,313,219,185,292,138,260,238,169,181,227,300,203,245,116,271,285,319,117,183,210,183,198,281,226,203,230,208,244,166,310,180,232,178,340,180,198,208,178,290,243,401,229,183,189,280,240,241,195,200,196,306,161,261,177,234,133,124,188,143,358,262,295,258,240,181,208,209,155,287,243,231,270,246,219,214,236,190,180,303,184,187,244,181,300,293,306,257,204,281,187,186,163,94,195,213,254,249,199,191,201,81,281,153,204,274,198,286,214,289,316,268,204,255,219,202,246,243,156,216,279,207,243,296,195,167,211,216,244,181,167,212,207,147,229,178,251,306,173,218,185,203,182,185,213,263,176,256,173,100,176,166,279,191,210,310,327,173,127,227,273,269,175,318,178,121,198,181,157,151,225,221,226,179,159,239,285,282,242,260,145,285,150,176,255,231,163,286,390,253,143,134,221,118,221,193,129,288,210,204,221,239,260,142,208,199,168,134,186,129,170,208,172,138,232,210,156,213,257,214,319,145,256,196,278,179,241,370,159,249,169,186,158,219,151,185,260,218,202,206,179,268,199,176,175,244,281,325,254,199,227,249,206,226,233,236,267,269,192,178,161,258,285,184,232,189,217,173,188,268,124,176,140,132,245,276,219,167,152,234,168,177,224,186,188,232,256,230,306,200,217,198,215,208,249,232,317,164,190,197,352,267,211,160,216,113,214,184,238,190,171,289,286,196,200,217,151,193,204,169,193,205,235,188,372,195,118,210,325,127,255,299,223,199,166,249,200,249,220,196,270,223,228,106,155,169,119,110,174,152,245,164,91,273,242,197,154,309,264,198,216,244,167,286,280,217,241,137,165,188,192,166,122,205,118,236,208,222,235,354,240,167,180,220,230,199,193,140,240,263,192,240,188,207,227,222,218,289,189,285,175,262,256,164,318,153,165,203,159,215,127,235,181,193,130,162,277,216,222,211,151,203,198,168,285,171,166,274,217,254,224,240,234,233,283,235,248,203,237,191,219,171,196,196,173,160,179,177,151,218,225,209,300,280,178,205,123,189,181,210,247,209,295,203,219,168,186,312,228,210,166,144,240,250,252,182,165,234,245,282,197,126,120,251,248,137,179,347,180,112,167,260,314,170,230,239,210,206,269,267,262,163,209,183,243,375,130,127,189,233,212,332,185,265,311,344,190,289,145,258,147,221,352,298,216,192,162,267,160,172,293,248,221,206,193,225,117,186,209,228,258,219,208,201,329,134,133,169,244,256,341,225,287,153,295,222,241,270,193,94,269,252,227,303,277,270,172,265,238,210,255,329,210,211,315,289,165,218,182,306,211,233,214,177,156,189,237,189,209,176,250,206,158,228,129,193,163,252,288,213,141,290,141,209,222,178,290,176,145,222,217,237,281,130,99,193,292,171,292,234,162,230,192,157,206,184,175,301,148,241,200,143,229,268,235,186,285,233,212,283,200,131,240,280,293,183,208,217,159,268,170,125,225,245,169,190,168,178,263,216,182,155,179,325,361,290,209,251,265,289,227,287,168,195,284,229,241,280,214,130,173,140,198,187,191,202,159,204,283,143,212,350,191,218,166,273,265,133,226,360,236,167,243,186,113,313,157,251,284,198,221,208,195,156,344,174,261,216,176,239,204,162,139,251,218,180,215,159,164,255,294,197,158,239,224,253,172,147,189,239,206,196,213,161,374,222,224,153,240,304,239,298,196,169,292,108,232,177,145,272,249,163,275,227,214,219,142,272,205,228,271,240,218,298,150,146,299,241,200,216,149,229,183,118,302,231,243,130,240,288,198,214,182,234,346,271,165,201,174,165,156,195,192,219,198,165,203,225,164,243,267,200,131,280,289,209,197,210,295,259,152,333,218,167,203,221,258,167,167,206,239,218,162,198,122,199,207,126,125,196,249,191,287,153,237,173,247,253,252,148,203,230,196,193,135,170,247,131,280,312,174,201,327,169,173,256,305,196,206,392,221,76,253,149,249,154,283,171,141,220,259,180,128,155,119,148,188,147,224,225,130,242,291,193,161,166,186,156,247,175,252,150,265,191,271,317,163,106,217,188,173,189,233,240,134,183,217,216,307,126,270,181,191,249,292,207,293,128,272,252,274,151,196,197,204,180,167,280,174,337,148,220,206,175,240,304,170,187,248,244,238,258,319,251,250,187,379,195,203,250,215,164,197,133,205,187,279,221,172,208,224,185,285,306,133,226,324,217,222,168,249,222,247,235,270,211,215,314,238,164,267,280,135,166,280,154,185,115,230,221,193,194,187,264,230,175,236,241,199,221,255,321,174,132,221,206,192,267,299,182,192,201,267,135,242,112,172,255,241,267,226,168,203,111,256,184,170,190,243,186,252,167,113,120,270,168,309,149,137,323,233,187,205,185,318,188,254,184,158,160,152,234,138,262,103,177,212,176,287,175,278,135,112,212,209,182,160,206,247,199,251,256,200,328,289,201,203,261,242,183,138,216,129,182,248,365,179,213,212,235,165,141,219,254,181,227,173,263,311,289,226,268,308,144,225,212,194,130,199,169,173,201,228,224,192,214,202,180,193,245,179,177,232,232,150,145,235,383,192,220,143,290,275,168,227,218,194,198,321,180,269,178,230,233,231,245,161,151,168,177,254,225,182,172,269,253,190,161,257,230,284,239,185,245,286,111,170,203,176,188,232,168,203,191,213,220,271,170,219,224,154,266,158,130,179,200,195,181,241,183,199,351,219,203,210,191,253,159,179,168,195,154,222,185,187,204,215,217,220,175,189,204,152,247,176,290,168,205,211,198,251,281,210,283,223,303,177,217,172,201,187,205,140,153,169,245,285,284,381,170,120,195,250,231,181,187,237,197,295,267,193,174,189,212,228,206,265,202,256,98,174,277,253,226,204,296,167,303,182,83,282,126,176,239,160,240,189,272,220,169,217,220,168,198,221,221,248,320,307,235,251,222,233,181,256,119,157,143,214,276,301,128,199,190,171,247,274,113,247,192,164,170,159,224,358,147,164,215,157,174,205,308,177,264,169,199,345,148,112,172,231,145,202,226,221,175,226,319,172,254,262,217,257,186,209,212,175,197,126,260,264,205,285,179,158,187,179,129,212,179,233,204,277,144,231,136,155,143,174,153,331,344,219,136,192,174,311,302,226,183,122,333,209,284,191,191,187,245,219,155,235,269,168,253,393,264,145,204,157,243,236,214,172,264,165,191,253,228,192,165,195,91,176,195,191,179,324,292,340,311,164,140,275,178,228,259,154,245,319,253,221,240,209,188,167,285,178,300,198,245,232,230,190,203,199,204,151,225,256,151,177,277,209,168,280,113,259,248,276,222,208,161,160,272,284,171,221,184,172,206,137,269,169,215,221,118,284,216,256,255,178,246,263,196,241,190,210,209,288,241,200,236,272,173,143,222,254,297,187,276,191,246,257,292,233,278,211,193,273,208,174,200,179,181,251,183,201,208,216,311,258,265,348,274,178,101,183,177,204,308,193,331,205,219,235,210,173,217,202,353,241,194,166,189,233,315,254,323,236,201,292,118,327,325,242,247,285,123,201,259,329,185,260,251,80,305,173,246,162,131,150,204,281,241,307,276,213,304,113,289,260,173,213,160,362,225,164,152,211,153,236,195,163,193,289,305,264,151,267,242,191,221,210,194,116,183,205,234,226,155,233,214,292,281,268,188,207,154,144,133,238,197,272,175,222,230,206,195,262,204,191,237,185,237,162,152,197,193,154,185,158,256,277,234,157,198,181,103,243,151,186,283,217,192,240,282,277,225,309,184,263,187,132,209,197,366,160,241,122,212,228,321,269,165,256,247,185,130,178,171,285,198,277,159,239,184,181,230,262,134,198,279,180,188,234,314,264,195,208,229,190,264,186,418,135,225,223,260,230,235,153,214,181,211,225,194,132,254,237,133,335,156,173,300,259,149,228,246,172,318,240,241,176,200,248,154,303,262,187,224,176,224,201,249,286,153,169,249,147,230,337,252,171,203,221,201,183,299,196,245,122,273,231,165,252,236,272,105,249,227,268,272,211,217,171,174,218,186,203,174,197,143,322,198,232,182,124,224,276,205,329,200,166,187,294,261,196,248,216,167,205,182,204,225,209,190,181,168,220,252,296,291,341,214,310,200,299,261,230,262,304,216,234,204,246,269,150,236,168,282,237,232,301,266,158,228,211,259,216,308,190,184,229,185,287,298,299,201,120,236,220,188,212,232,196,218,218,111,271,179,187,146,147,179,324,204,277,239,253,163,198,190,207,232,361,195,139,143,248,160,212,256,148,268,215,272,248,305,180,187,185,173,217,239,256,273,230,245,206,162,236,219,302,255,258,150,298,124,199,260,137,186,251,276,307,186,196,181,351,268,179,276,209,320,135,177,183,170,223,208,255,151,186,210,207,240,150,192,165,260,209,256,215,262,150,345,216,199,235,215,227,273,273,252,250,189,167,155,289,214,231,277,314,327,226,186,213,143,335,236,278,170,230,274,179,251,230,232,182,236,233,156,239,281,104,214,167,299,230,259,206,269,243,177,144,193,235,159,161,189,254,174,154,261,225,215,254,196,250,206,238,127,185,194,232,195,253,243,202,210,250,156,230,277,172,132,233,196,313,226,230,185,262,105,160,272,129,259,168,282,191,251,180,213,258,178,295,134,217,215,194,288,212,166,299,179,188,231,247,205,226,238,209,274,213,252,205,186,229,199,220,202,318,298,236,236,272,185,232,299,108,197,245,246,170,218,265,225,154,297,169,199,140,267,200,235,158,208,170,250,151,199,183,271,247,267,138,211,193,282,269,235,300,319,232,228,218,261,162,198,186,235,149,296,207,286,177,267,180,210,191,147,258,205,164,172,158,256,287,255,216,143,243,235,176,149,277,253,129,306,265,234,227,273,319,208,172,161,212,227,310,269,135,239,253,310,183,225,242,389,255,238,211,274,382,146,232,292,164,208,188,294,207,204,220,150,223,271,201,383,216,268,156,222,258,263,235,191,205,246,327,209,222,277,239,274,140,256,211,261,207,227,274,213,177,237,362,166,258,200,176,319,242,103,220,186,224,151,170,157,188,181,335,187,331,255,135,252,203,192,317,237,254,201,218,280,187,141,220,186,190,189,265,173,333,107,136,211,202,172,241,136,165,207,174,255,218,213,279,203,268,196,151,256,264,197,349,212,214,211,224,383,133,195,148,176,235,279,321,252,251,231,218,101,235,202,226,296,261,233,182,235,180,249,112,368,270,200,224,335,313,201,201,228,236,187,196,192,260,261,366,258,209,252,223,211,177,170,234,280,243,302,200,310,262,312,315,217,241,233,219,247,238,204,194,206,231,218,258,304,212,203,174,248,144,203,204,339,361,249,140,202,154,289,207,180,133,205,241,222,182,113,247,217,199,152,325,165,272,249,253,194,235,187,119,233,221,123,137,224,249,261,258,253,274,291,151,240,292,151,167,229,117,249,150,196,197,233,365,214,237,134,208,197,249,224,180,269,198,279,98,219,172,178,210,263,242,220,209,225,158,227,151,304,182,303,193,148,225,253,295,301,246,254,241,326,159,194,267,264,300,212,203,136,220,234,323,210,139,212,221,188,228,243,342,158,223,203,295,254,194,187,192,227,219,203,188,228,134,271,220,160,201,202,350,236,128,221,231,223,250,311,215,212,293,259,263,209,275,271,259,135,190,218,215,190,321,263,137,257,222,259,200,246,152,225,115,123,179,287,226,279,242,301,201,158,249,110,181,311,297,228,299,198,246,246,235,139,78,278,189,228,157,165,209,174,277,206,231,242,227,233,152,204,212,184,271,268,222,256,270,286,255,230,438,250,291,227,85,181,195,308,97,158,231,228,150,247,110,183,132,193,183,156,262,233,341,166,291,269,234,214,284,173,206,202,148,102,146,165,298,235,192,252,129,308,209,124,227,205,304,231,187,231,289,102,257,215,177,237,294,197,226,206,285,233,163,180,233,123,226,163,241,171,182,227,168,231,220,249,284,275,208,189,303,228,273,175,198,224,195,363,213,217,276,215,176,216,258,217,282,179,173,195,249,310,243,314,270,176,238,281,284,237,247,220,246,150,241,235,152,303,239,209,196,193,270,289,305,212,333,274,283,247,162,275,244,256,177,210,228,287,167,227,193,179,252,377,162,209,205,158,118,296,414,302,256,223,151,243,237,207,217,235,240,215,230,213,295,208,312,141,267,237,213,401,186,153,274,283,128,356,267,295,254,271,156,221,172,232,219,186,173,201,176,237,189,245,224,210,305,240,204,228,286,245,390,243,201,242,188,213,208,200,190,156,255,229,324,228,242,224,250,241,250,251,154,250,293,255,256,315,281,169,255,209,212,232,159,193,210,229,239,218,203,181,171,197,158,211,189,246,162,197,211,193,181,177,240,116,306,177,181,236,242,213,115,240,235,104,229,257,258,183,192,176,206,233,212,328,208,138,211,192,382,220,260,267,367,189,315,197,177,216,175,317,188,176,96,302,156,224,176,183,138,340,235,202,275,151,253,239,194,148,174,238,191,316,206,160,248,379,195,196,195,208,245,254,167,127,120,307,252,110,366,251,180,198,191,202,98,239,300,354,237,234,192,173,229,343,196,248,216,262,313,203,128,142,260,230,161,173,242,194,214,167,273,212,225,235,231,268,234,84,169,241,222,223,274,313,278,124,163,249,263,223,263,252,159,271,170,246,236,202,220,285,224,262,218,171,214,156,214,232,341,180,312,246,259,219,188,197,237,219,207,126,157,165,336,232,173,227,306,96,251,334,154,200,274,232,236,134,180,380,253,210,157,258,259,142,200,291,240,190,290,298,158,156,150,220,188,124,208,217,165,207,269,269,176,388,315,223,233,167,155,252,243,247,252,326,299,222,162,154,170,282,255,233,216,102,281,191,220,75,295,216,209,123,184,271,356,246,156,218,243,231,229,265,250,234,187,198,220,258,155,270,155,227,282,309,273,243,301,182,206,161,196,174,214,186,269,201,264,221,123,248,205,171,133,333,183,291,215,300,187,233,189,262,257,220,221,241,221,227,83,208,208,227,227,180,159,163,215,164,349,210,286,166,181,186,265,323,192,206,210,159,281,297,224,216,164,206,297,238,342,205,234,206,153,300,336,261,248,230,202,151,277,222,251,225,333,276,214,294,183,229,199,208,155,221,329,217,201,169,246,138,231,250,208,163,193,182,229,205,192,273,228,217,124,149,208,194,134,250,252,142,276,258,226,255,185,110,265,269,244,178,291,190,237,256,192,246,242,228,188,227,257,187,240,203,162,237,245,341,260,268,119,184,119,294,255,261,214,220,235,250,155,254,151,292,246,196,246,299,160,217,199,289,185,288,272,209,290,177,260,251,230,196,153,204,265,154,266,153,404,251,299,208,278,289,260,179,257,163,165,236,264,302,219,238,192,217,203,119,204,240,99,108,192,192,178,240,121,188,155,304,206,246,304,181,236,203,164,220,201,221,319,296,164,219,246,208,224,269,347,227,145,291,169,195,172,188,194,217,203,219,182,234,223,322,223,225,190,283,209,140,257,237,175,201,282,130,263,197,241,105,306,350,170,246,216,227,222,248,241,166,349,181,262,250,240,202,187,259,243,229,200,272,150,161,268,218,257,184,122,229,206,241,265,200,286,295,165,263,211,237,169,242,188,196,211,164,92,240,274,208,119,180,205,173,243,306,289,167,227,222,135,188,82,248,226,225,165,326,209,155,267,322,162,260,216,144,194,155,243,237,245,147,247,179,220,281,169,379,232,258,257,211,217,219,192,307,272,264,267,244,147,280,259,98,323,298,138,178,148,189,210,221,168,276,172,273,254,280,237,120,261,202,252,217,297,299,110,132,189,237,252,220,192,186,218,352,187,166,235,226,265,237,155,256,166,180,156,272,207,249,142,241,178,199,133,217,211,211,233,216,223,153,157,218,229,220,340,239,231,212,244,223,226,285,283,202,232,109,218,230,140,237,209,276,234,277,272,228,175,208,262,164,235,254,286,265,133,211,269,198,249,231,136,227,251,167,252,306,273,250,210,115,249,146,192,142,354,173,268,177,235,402,222,183,143,203,184,192,155,273,218,197,197,235,240,248,235,202,185,257,211,205,194,132,285,225,265,287,126,212,287,110,178,133,206,185,162,297,148,297,201,185,217,328,200,193,276,137,184,227,112,211,235,254,217,307,212,252,237,233,203,161,213,338,281,220,149,288,135,231,141,281,170,153,170,227,184,228,187,237,220,263,175,334,175,169,208,205,205,140,262,194,268,259,216,182,142,224,175,379,198,169,320,237,223,256,236,200,207,305,161,241,275,250,127,206,260,253,288,163,275,199,241,158,185,236,206,287,289,177,200,202,230,190,385,219,193,219,249,258,181,248,258,262,180,152,279,199,339,295,207,222,265,232,226,247,153,266,152,216,266,196,161,246,215,225,205,244,184,233,200,263,351,220,228,246,230,197,239,214,161,164,188,225,255,347,180,266,248,293,275,244,257,216,182,247,216,212,168,264,185,181,190,227,204,211,179,186,150,262,204,216,239,210,292,267,322,271,175,178,308,200,254,191,231,198,297,157,293,345,152,183,287,206,227,163,149,319,152,219,261,282,132,242,162,179,252,230,261,185,248,197,218,203,166,215,226,188,142,180,157,213,191,196,189,161,173,182,158,263,252,247,177,154,291,225,210,205,213,385,173,273,269,186,230,220,193,185,301,275,197,249,202,147,204,200,175,174,229,205,218,300,159,278,250,163,227,232,125,330,265,149,183,223,258,229,157,235,197,262,139,226,253,190,333,375,260,157,301,202,315,228,190,233,243,149,162,232,223,219,253,129,172,310,159,173,244,179,219,228,200,218,199,132,280,179,262,348,187,259,93,206,227,291,181,265,249,268,277,263,208,161,250,242,272,265,180,216,169,175,200,239,120,146,290,207,227,354,163,268,235,204,235,262,236,173,174,221,275,269,158,267,194,223,217,257,153,214,213,146,195,173,179,298,236,184,245,187,241,159,223,203,227,212,307,229,258,237,243,338,225,131,194,146,240,274,143,278,268,314,278,197,136,248,160,214,212,193,186,239,269,188,216,279,259,261,308,251,268,170,181,333,210,199,188,172,240,215,250,346,178,242,173,200,171,279,336,249,227,181,243,273,263,191,213,176,208,211,277,170,201,253,159,195,173,273,218,111,190,192,258,188,191,343,182,244,269,155,194,214,158,209,200,197,227,263,141,264,238,336,203,234,238,191,302,203,146,250,197,261,217,230,205,253,190,188,212,215,193,288,67,237,188,252,200,164,233,253,210,180,182,183,115,288,258,204,222,221,167,194,237,256,208,266,280,248,271,211,143,388,181,209,261,251,163,132,295,218,206,248,192,270,277,137,219,143,228,217,207,267,258,126,258,194,234,199,265,300,305,207,225,189,301,213,182,182,336,238,280,200,216,215,299,282,228,263,273,181,188,211,233,335,286,96,260,228,188,272,140,304,266,176,244,132,217,161,164,302,282,192,269,230,231,184,114,190,222,256,348,219,247,251,114,179,248,241,271,231,202,167,203,257,253,169,285,183,204,265,230,199,276,154,265,308,135,172,189,175,238,168,246,299,254,155,201,211,201,174,251,275,176,180,248,152,135,126,240,183,346,209,132,255,107,288,179,209,205,236,188,251,212,152,174,184,249,125,136,208,220,180,213,165,202,151,190,275,302,198,165,185,218,225,194,197,266,283,202,194,230,255,256,174,268,190,294,191,189,190,199,185,172,127,242,227,131,165,232,199,248,206,211,204,205,184,264,206,215,212,237,211,177,106,182,195,226,206,155,204,304,218,190,196,226,240,189,257,192,272,251,150,179,265,302,230,328,219,165,271,156,193,242,258,381,239,232,277,187,174,158,148,289,201,350,174,179,221,189,197,274,161,218,262,357,337,205,213,175,241,198,294,230,251,261,308,316,237,174,241,193,196,233,240,145,142,271,276,236,170,165,112,243,167,172,99,227,181,256,239,287,238,171,209,215,201,239,152,209,202,291,124,305,254,154,234,190,287,189,159,215,229,121,215,184,283,205,257,251,244,214,196,242,251,242,302,221,193,229,257,200,293,208,409,317,142,209,295,194,214,200,280,312,259,246,228,254,147,230,274,257,251,223,177,143,191,225,299,202,177,234,187,178,243,321,225,243,396,280,270,280,173,249,141,268,209,185,244,191,226,268,188,172,146,189,179,212,171,252,206,140,182,297,174,262,277,215,204,207,207,171,383,223,276,271,196,291,191,193,236,271,348,193,214,223,138,210,232,204,232,269,192,223,321,140,172,210,347,201,234,167,167,185,196,276,280,356,160,195,271,205,106,160,221,293,160,230,204,200,200,189,215,213,256,188,395,239,195,207,169,319,291,218,182,217,214,113,199,310,152,269,189,225,224,226,224,194,200,218,177,187,228,199,231,211,363,294,285,134,202,222,283,321,192,283,427,200,298,225,242,229,219,165,188,168,249,194,228,180,212,169,318,270,263,257,186,147,208,259,217,231,258,164,214,204,208,222,213,277,161,208,244,175,216,211,149,258,107,340,209,331,264,262,191,321,157,267,262,224,304,266,256,88,309,351,156,209,136,377,263,222,191,75,194,287,203,381,245,221,263,239,176,196,241,186,178,232,139,284,243,192,160,147,225,147,296,224,165,298,185,188,214,253,166,369,216,149,208,171,227,208,295,217,205,149,181,145,147,229,166,255,178,190,263,221,224,288,162,207,174,206,337,259,288,229,248,193,241,161,289,244,211,167,267,227,288,163,251,216,270,183,124,290,213,208,156,211,259,283,271,428,184,247,216,336,108,222,281,130,259,240,205,216,169,160,198,383,150,173,261,201,158,208,189,330,176,279,205,221,246,348,129,198,295,184,280,329,194,243,300,189,143,190,177,188,123,185,208,246,197,209,211,234,333,223,203,117,270,286,238,337,245,155,155,254,238,302,199,178,269,288,205,363,231,153,143,125,213,202,186,303,306,160,231,217,192,187,313,304,220,334,180,231,244,218,159,220,245,268,172,191,428,226,314,220,223,215,142,185,180,241,283,201,207,240,164,159,174,215,202,203,286,207,160,233,226,215,279,277,173,192,226,155,227,240,243,144,277,235,113,192,328,362,262,192,252,162,198,170,273,212,223,233,129,201,252,202,194,264,283,212,155,238,277,312,164,173,222,238,224,179,205,286,174,175,277,239,280,159,195,204,275,228,247,275,213,131,291,209,287,247,245,190,149,263,227,273,195,245,223,223,232,204,199,223,292,237,248,269,167,201,248,251,200,158,283,266,254,277,97,213,338,315,232,251,149,207,217,244,180,191,205,202,368,150,250,257,321,247,189,161,192,283,275,250,167,144,239,147,257,265,257,182,220,182,246,219,213,214,243,181,147,201,183,224,283,206,202,316,153,205,261,317,237,193,182,348,303,199,231,175,187,245,240,212,220,163,222,157,239,293,211,197,416,253,156,226,142,295,242,192,185,201,208,156,193,217,237,188,242,154,181,165,333,258,200,153,195,307,141,220,217,289,269,233,144,181,216,271,288,160,295,251,186,229,182,304,222,200,228,344,244,172,278,214,125,168,158,264,164,251,212,215,225,265,171,326,224,173,204,208,177,145,295,275,230,183,261,183,219,190,184,226,327,207,226,313,174,231,172,294,251,201,217,158,195,246,274,227,187,283,158,157,300,296,240,194,232,239,174,321,233,177,275,221,228,175,242,286,198,176,181,180,173,286,231,381,204,250,357,275,250,174,223,191,319,210,261,275,307,195,184,184,166,253,155,196,188,223,191,200,192,321,288,146,152,203,241,229,192,173,306,257,345,235,130,169,166,284,267,404,280,302,283,248,156,247,111,185,216,189,219,216,164,182,249,162,267,249,262,156,240,215,201,181,163,286,259,200,272,213,219,256,325,241,210,300,168,196,192,300,145,197,220,192,203,157,175,224,153,222,206,145,241,203,179,198,214,131,234,196,203,343,191,313,180,226,124,258,204,261,202,189,255,241,178,204,264,208,105,250,254,225,195,235,197,227,259,226,236,147,205,260,240,196,209,311,250,185,230,225,209,229,183,241,206,208,198,270,281,171,145,261,212,254,196,203,241,257,290,304,227,219,242,276,286,284,236,265,250,290,165,193,239,122,154,152,205,121,241,293,187,127,294,232,282,248,247,341,209,218,251,186,132,210,157,407,130,276,167,182,192,191,182,212,223,233,176,252,224,175,241,190,241,240,148,197,200,124,136,227,98,267,236,263,253,375,245,221,180,203,258,259,175,356,225,191,165,204,167,253,154,137,164,107,238,199,192,303,259,313,213,175,188,244,198,256,229,230,251,164,223,211,166,199,202,243,180,246,183,302,210,236,119,241,237,167,240,195,161,209,198,245,229,229,238,301,244,200,291,254,253,177,271,216,304,164,283,251,285,205,140,193,281,344,259,155,222,141,168,240,335,245,282,134,279,276,225,187,183,132,167,267,232,167,217,307,209,147,229,296,308,232,263,175,304,159,201,321,291,324,272,207,209,233,267,212,235,290,153,193,233,253,244,205,187,160,228,213,246,220,174,173,212,230,176,135,280,213,346,215,294,160,242,193,249,198,155,267,261,295,282,195,208,230,154,269,226,172,178,330,185,212,209,156,220,237,276,279,273,165,182,197,227,187,168,285,219,302,199,187,279,206,274,252,238,182,205,271,278,230,152,140,207,260,214,182,212,205,270,129,226,166,212,209,294,182,171,213,157,177,220,260,265,198,216,194,171,213,234,244,202,190,329,279,268,221,315,156,278,237,68,175,300,208,214,259,193,182,255,291,281,197,228,177,238,182,311,172,201,246,211,266,165,154,183,432,162,230,212,195,217,242,172,164,362,286,154,192,134,121,210,208,198,206,255,245,210,180,262,218,198,223,267,196,261,216,170,206,208,248,188,269,216,61,283,207,243,151,194,138,269,194,191,274,228,196,262,183,346,252,253,157,285,273,251,223,208,291,251,178,254,175,254,215,163,189,224,240,216,255,341,273,213,229,239,225,279,261,306,193,212,184,248,252,157,306,189,261,227,252,246,161,171,234,196,229,321,190,273,177,213,149,158,153,241,175,141,329,228,191,177,242,240,273,187,398,245,206,283,250,187,177,193,333,250,220,141,187,195,245,254,363,220,236,235,119,159,229,262,247,236,155,271,216,181,202,201,209,223,223,182,226,138,185,326,139,229,311,139,227,132,205,271,232,331,232,214,151,196,158,227,207,137,260,293,265,312,193,277,255,255,210,265,192,242,120,297,251,176,236,199,235,227,252,194,177,206,170,206,220,321,172,169,202,247,184,184,249,193,177,281,284,150,165,246,185,232,139,230,197,166,187,158,132,188,195,233,217,202,280,234,181,181,81,301,162,146,249,248,268,249,328,191,157,177,175,283,165,284,239,171,166,263,129,194,125,143,107,169,193,244,288,173,255,210,244,270,127,219,218,287,219,223,228,184,260,173,177,227,236,221,277,202,225,204,156,195,285,156,111,228,208,230,290,216,232,322,271,130,191,143,324,267,256,264,214,149,222,243,207,253,124,142,227,207,192,208,226,269,257,233,174,190,176,198,195,375,347,176,202,182,202,231,106,239,233,296,229,378,202,178,253,324,223,268,260,172,181,258,222,324,253,179,231,292,117,264,238,212,198,336,171,221,233,303,110,253,210,340,195,295,292,263,165,200,192,143,243,184,177,229,224,192,217,188,214,192,158,241,255,195,240,333,323,203,157,160,240,264,321,201,283,214,263,289,257,158,191,274,141,229,196,188,183,181,165,219,267,210,231,192,201,206,201,177,190,160,251,306,206,248,260,336,144,277,243,354,188,204,171,227,175,253,148,271,171,259,91,268,214,217,198,247,228,252,268,163,185,264,236,222,221,252,302,239,199,264,179,201,247,162,168,208,188,237,161,414,169,248,186,222,253,280,159,192,267,313,268,290,180,207,217,222,274,197,211,231,236,234,327,129,236,233,174,237,249,224,230,252,180,173,330,188,169,133,309,361,149,164,205,215,236,207,159,198,179,211,240,183,216,104,217,220,252,173,191,193,139,223,169,230,179,190,181,267,262,217,183,263,235,305,211,264,172,217,204,188,289,260,297,226,346,205,139,224,158,286,210,274,213,259,245,178,243,317,225,207,285,246,181,234,161,284,186,201,287,233,221,237,173,225,144,155,215,216,237,133,292,173,292,232,214,178,166,242,285,244,209,139,203,113,148,206,220,188,264,182,252,191,220,384,253,189,260,302,213,195,168,242,242,142,243,193,193,258,216,178,189,273,257,208,212,264,223,386,235,286,291,308,187,215,224,342,180,191,180,291,177,204,277,237,253,161,219,245,346,300,195,227,270,206,257,142,165,168,247,232,184,402,181,211,170,212,263,285,361,190,240,192,260,315,165,182,346,180,274,222,215,193,189,283,321,139,259,265,242,288,270,258,226,178,198,286,204,265,108,155,267,243,230,275,235,190,195,257,223,133,332,323,206,254,210,235,200,155,230,286,267,203,215,226,208,150,239,217,214,159,238,158,318,261,251,273,146,137,240,140,300,274,198,272,349,304,265,174,208,241,241,217,247,274,286,265,190,275,189,195,179,203,219,201,209,139,293,245,151,246,191,231,151,238,180,219,230,279,192,264,172,194,254,292,251,180,215,194,322,223,216,159,232,169,225,195,188,212,222,213,152,409,211,254,223,210,200,127,209,207,281,209,162,158,261,272,184,208,223,168,261,195,293,281,198,162,230,235,231,261,261,114,136,194,189,127,250,316,258,227,157,251,221,237,198,264,157,234,257,257,248,272,245,212,376,226,193,229,203,252,219,303,205,232,225,211,243,191,277,206,102,300,269,272,277,223,235,209,292,297,234,311,205,225,257,245,239,285,230,171,205,280,168,294,124,176,196,165,243,212,220,141,172,142,292,251,193,345,246,245,264,172,208,279,155,202,193,258,311,132,232,221,133,253,180,339,251,240,256,349,261,204,225,211,171,200,209,275,166,253,188,221,239,259,249,323,299,205,253,195,244,355,190,236,261,160,211,237,218,319,169,199,316,225,302,201,236,209,164,186,171,221,219,189,175,130,200,124,269,271,203,269,224,310,259,288,221,156,172,199,192,307,184,411,253,259,189,194,256,313,129,238,195,196,295,279,266,145,154,195,271,181,210,299,269,310,170,199,223,217,181,236,225,206,134,151,263,270,270,255,225,243,100,321,184,203,206,242,285,178,194,165,291,148,174,194,249,295,215,219,188,194,151,120,206,275,166,212,214,169,211,197,165,193,248,250,261,190,235,141,244,241,135,426,240,204,249,174,224,204,210,150,176,195,246,255,195,184,271,217,141,218,152,247,256,172,158,333,179,176,132,199,259,202,199,308,198,274,265,214,247,255,302,233,275,272,380,278,151,300,246,217,235,204,213,176,150,225,228,250,167,194,187,252,222,252,167,196,262,253,144,241,215,174,242,159,208,255,283,228,201,170,232,285,185,232,207,380,131,244,141,288,261,178,156,229,225,210,234,190,275,269,227,197,254,221,201,226,190,218,244,133,202,200,281,159,172,319,218,208,153,199,231,132,195,152,167,206,275,182,103,274,326,170,295,252,256,214,209,342,217,194,139,200,215,172,227,230,201,208,164,251,260,220,266,353,158,265,207,201,212,270,184,191,261,242,233,403,182,202,203,236,150,238,305,271,191,276,204,257,251,239,250,275,171,200,274,184,143,210,244,287,208,230,240,374,211,204,200,217,216,260,189,224,270,208,197,198,198,179,272,247,235,210,158,232,238,250,206,171,228,201,172,167,244,237,150,350,206,150,217,293,242,244,234,272,182,262,170,282,277,252,280,176,283,272,170,233,173,291,245,276,268,285,207,294,273,299,237,204,166,231,255,279,252,197,159,260,317,315,202,224,182,234,140,163,237,125,253,181,259,246,244,322,283,324,203,165,186,231,364,259,261,239,336,277,242,245,332,240,175,212,253,242,241,182,169,215,161,150,172,232,248,113,279,177,345,176,248,286,192,168,230,261,248,186,171,200,389,330,241,299,177,161,165,153,227,231,218,254,264,191,210,236,223,217,160,209,328,203,290,128,270,174,237,238,186,288,238,218,253,214,264,213,163,100,230,251,110,253,135,250,309,260,146,165,246,211,165,155,232,201,228,251,311,186,197,305,162,70,211,206,175,300,177,242,191,265,119,247,203,232,204,140,234,261,136,249,206,133,194,175,304,223,212,203,210,370,210,225,187,259,257,209,235,161,231,233,230,214,255,221,205,314,181,181,326,302,145,133,170,190,260,312,249,198,136,212,275,229,225,245,172,185,280,399,196,213,334,416,307,282,141,258,275,237,263,245,317,200,181,240,307,237,199,296,174,200,284,280,215,159,349,229,242,250,165,186,200,267,161,202,269,256,188,190,242,292,254,186,227,329,221,221,312,195,245,288,347,242,191,226,204,190,336,293,190,262,304,230,223,277,248,326,174,229,248,197,197,195,222,180,257,170,159,219,235,273,317,206,326,235,300,217,173,219,229,148,193,276,317,193,234,161,200,203,276,229,130,246,193,251,289,231,154,310,162,158,169,232,258,332,208,168,240,256,137,156,184,274,220,229,211,186,293,198,253,213,183,167,254,273,152,198,199,185,141,231,247,229,262,274,162,137,192,313,254,170,226,202,217,214,204,259,253,170,210,213,217,188,182,220,291,230,146,231,198,265,202,253,185,208,371,309,187,170,179,246,242,218,258,212,236,274,286,218,274,201,105,243,183,202,174,409,212,256,317,215,255,215,225,191,260,180,242,152,212,264,277,223,261,225,273,344,263,198,221,351,299,190,215,245,186,143,303,263,181,153,231,226,154,249,230,284,272,210,230,309,236,248,245,234,263,233,187,282,235,166,272,210,218,389,201,279,172,252,196,219,115,262,223,237,168,312,151,184,180,215,249,182,339,250,232,181,255,211,232,273,266,176,141,208,287,161,188,127,245,255,161,167,159,252,260,275,282,435,170,254,370,247,286,237,216,147,191,254,120,231,343,247,211,131,260,250,272,240,284,183,169,187,182,162,245,249,203,204,173,159,182,264,183,240,279,254,134,331,278,197,306,185,159,231,219,241,198,218,311,152,287,205,253,187,245,316,249,169,327,252,298,213,303,173,183,274,198,187,274,222,207,334,203,200,218,270,343,215,214,169,226,204,209,222,204,180,173,162,278,266,214,178,216,288,327,152,264,135,283,185,146,188,297,234,236,109,175,243,150,207,266,204,179,232,107,150,222,269,170,112,310,211,273,277,256,283,229,241,360,221,284,209,212,165,275,179,194,182,161,216,256,236,184,168,302,196,147,309,251,248,242,230,212,223,151,206,214,213,443,110,255,247,283,255,325,256,216,200,218,298,143,304,272,225,251,235,289,298,196,225,266,270,219,260,189,315,239,272,173,299,215,226,168,224,203,257,280,257,224,208,189,166,120,275,163,197,226,331,210,181,149,260,181,200,211,213,335,209,265,207,193,298,213,139,242,198,213,198,178,211,248,180,166,149,172,138,199,226,132,139,341,294,258,329,252,261,232,311,213,168,235,297,230,138,235,189,237,218,304,175,242,164,307,242,260,149,114,249,242,248,237,257,287,206,210,213,224,213,247,159,293,263,294,206,187,223,171,109,175,178,172,215,169,227,167,248,232,185,363,198,137,208,155,224,237,241,175,237,256,233,204,103,280,210,296,132,300,354,199,232,224,189,218,160,223,195,237,183,228,278,151,183,278,175,167,257,259,193,234,199,236,217,106,255,272,242,165,200,199,173,316,201,117,278,257,161,181,197,237,225,225,199,223,142,192,222,205,326,221,239,185,292,300,279,210,228,391,251,175,158,329,147,340,253,228,182,243,174,255,199,180,167,271,222,193,189,234,272,311,295,181,225,158,122,306,180,329,224,192,213,180,214,237,243,251,173,289,221,172,196,229,291,227,241,159,236,299,159,266,153,144,277,238,147,156,153,222,213,189,116,132,345,180,155,214,179,257,169,182,247,178,217,277,229,222,166,184,206,198,225,199,255,152,172,194,308,221,220,245,96,258,195,188,207,220,213,197,210,184,198,175,174,185,190,211,270,232,335,264,202,237,158,204,213,237,191,77,264,219,194,133,165,252,228,314,262,204,244,165,164,193,259,243,306,127,104,211,166,231,266,185,271,242,198,197,270,187,215,199,301,222,210,171,323,319,239,147,181,127,186,176,221,197,243,276,208,191,257,202,351,164,122,205,127,217,210,150,182,221,228,374,175,246,192,152,285,250,269,179,258,253,197,232,216,266,323,195]
|
index/ivf.pid.pt
CHANGED
@@ -1,3 +1,3 @@
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
-
oid sha256:
|
3 |
-
size
|
|
|
1 |
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:b8072ef751792e4725af0a5a26730591160b6d775520aa01206cf1886b129228
|
3 |
+
size 34645095
|
index/metadata.json
CHANGED
@@ -1,3 +1,62 @@
|
|
1 |
-
|
2 |
-
|
3 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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": "index",
|
12 |
+
"nbits": 2,
|
13 |
+
"kmeans_niters": 4,
|
14 |
+
"resume": false,
|
15 |
+
"similarity": "cosine",
|
16 |
+
"bsize": 64,
|
17 |
+
"accumsteps": 1,
|
18 |
+
"lr": 3e-6,
|
19 |
+
"maxsteps": 500000,
|
20 |
+
"save_every": null,
|
21 |
+
"warmup": null,
|
22 |
+
"warmup_bert": null,
|
23 |
+
"relu": false,
|
24 |
+
"nway": 2,
|
25 |
+
"use_ib_negatives": false,
|
26 |
+
"reranker": false,
|
27 |
+
"distillation_alpha": 1.0,
|
28 |
+
"ignore_scores": false,
|
29 |
+
"model_name": null,
|
30 |
+
"query_maxlen": 32,
|
31 |
+
"attend_to_mask_tokens": false,
|
32 |
+
"interaction": "colbert",
|
33 |
+
"dim": 128,
|
34 |
+
"doc_maxlen": 512,
|
35 |
+
"mask_punctuation": true,
|
36 |
+
"checkpoint": "colbert-ir\/colbertv2.0",
|
37 |
+
"triples": null,
|
38 |
+
"collection": [
|
39 |
+
"list with 67577 elements starting with...",
|
40 |
+
[
|
41 |
+
"In recent years, several end-to-end online translation systems have been proposed to successfully incorporate human post-editing feedback in the translation workflow. The performance of these systems in a multi-domain translation environment (involving different text genres, post-editing styles, machine translation systems) within the automatic post-editing (APE) task has not been thoroughly investigated yet. In this work, we show that when used in the APE framework the existing online systems are not robust towards domain changes in the incoming data stream. In particular, these systems lack in the capability to learn and use domain-specific post-editing rules from a pool of multi-domain data sets. To cope with this problem, we propose an online learning framework that generates more reliable translations with significantly better quality as compared with the existing online and batch systems. Our framework includes: i) an instance selection technique based on information retrieval that helps to build domain-specific APE systems, and ii) an optimization procedure to tune the feature weights of the log-linear model that allows the decoder to improve the post-editing quality.",
|
42 |
+
"We assessed how different machine translation (MT) systems affect the post-editing (PE) process and product of professional English\u2013Spanish translators. Our model found that for each 1-point increase in BLEU, there is a PE time decrease of 0.16 seconds per word, about 3-4%. The MT system with the lowest BLEU score produced the output that was post-edited to the lowest quality and with the highest PE effort, measured both in HTER and actual PE operations.",
|
43 |
+
"Computer-aided translation (CAT) tools often use a translation memory (TM) as the key resource to assist translators. A TM contains translation units (TU) which are made up of source and target language segments; translators use the target segments in the TU suggested by the CAT tool by converting them into the desired translation. Proposals from TMs could be made more useful by using techniques such as fuzzy-match repair (FMR) which modify words in the target segment corresponding to mismatches identified in the source segment. Modifications in the target segment are done by translating the mismatched source sub-segments using an external source of bilingual information (SBI) and applying the translations to the corresponding positions in the target segment. Several combinations of translated sub-segments can be applied to the target segment which can produce multiple repair candidates. We provide a formal algorithmic description of a method that is capable of using any SBI to generate all possible fuzzy-match repairs and perform an oracle evaluation on three different language pairs to ascertain the potential of the method to improve translation productivity. Using DGT-TM translation memories and the machine system Apertium as the single source to build repair operators in three different language pairs, we show that the best repaired fuzzy matches are consistently closer to reference translations than either machine-translated segments or unrepaired fuzzy matches."
|
44 |
+
]
|
45 |
+
],
|
46 |
+
"queries": null,
|
47 |
+
"index_name": "index",
|
48 |
+
"overwrite": false,
|
49 |
+
"root": "\/coc\/pskynet6\/dheineman3\/colbert-acl\/acl-search\/experiments",
|
50 |
+
"experiment": "notebook",
|
51 |
+
"index_root": null,
|
52 |
+
"name": "2024-08\/24\/01.35.22",
|
53 |
+
"rank": 0,
|
54 |
+
"nranks": 2,
|
55 |
+
"amp": true,
|
56 |
+
"gpus": 4
|
57 |
+
},
|
58 |
+
"num_chunks": 3,
|
59 |
+
"num_partitions": 32768,
|
60 |
+
"num_embeddings": 12298798,
|
61 |
+
"avg_doclen": 181.996803646211
|
62 |
+
}
|
index/plan.json
CHANGED
@@ -36,27 +36,27 @@
|
|
36 |
"checkpoint": "colbert-ir\/colbertv2.0",
|
37 |
"triples": null,
|
38 |
"collection": [
|
39 |
-
"list with
|
40 |
[
|
41 |
-
"
|
42 |
-
"
|
43 |
-
"
|
44 |
]
|
45 |
],
|
46 |
"queries": null,
|
47 |
"index_name": "index",
|
48 |
"overwrite": false,
|
49 |
-
"root": "\/coc\/pskynet6\/dheineman3\/
|
50 |
"experiment": "notebook",
|
51 |
"index_root": null,
|
52 |
-
"name": "2024-08\/
|
53 |
"rank": 0,
|
54 |
"nranks": 2,
|
55 |
"amp": true,
|
56 |
-
"gpus":
|
57 |
},
|
58 |
-
"num_chunks":
|
59 |
"num_partitions": 32768,
|
60 |
-
"num_embeddings_est":
|
61 |
-
"avg_doclen_est":
|
62 |
}
|
|
|
36 |
"checkpoint": "colbert-ir\/colbertv2.0",
|
37 |
"triples": null,
|
38 |
"collection": [
|
39 |
+
"list with 67577 elements starting with...",
|
40 |
[
|
41 |
+
"In recent years, several end-to-end online translation systems have been proposed to successfully incorporate human post-editing feedback in the translation workflow. The performance of these systems in a multi-domain translation environment (involving different text genres, post-editing styles, machine translation systems) within the automatic post-editing (APE) task has not been thoroughly investigated yet. In this work, we show that when used in the APE framework the existing online systems are not robust towards domain changes in the incoming data stream. In particular, these systems lack in the capability to learn and use domain-specific post-editing rules from a pool of multi-domain data sets. To cope with this problem, we propose an online learning framework that generates more reliable translations with significantly better quality as compared with the existing online and batch systems. Our framework includes: i) an instance selection technique based on information retrieval that helps to build domain-specific APE systems, and ii) an optimization procedure to tune the feature weights of the log-linear model that allows the decoder to improve the post-editing quality.",
|
42 |
+
"We assessed how different machine translation (MT) systems affect the post-editing (PE) process and product of professional English\u2013Spanish translators. Our model found that for each 1-point increase in BLEU, there is a PE time decrease of 0.16 seconds per word, about 3-4%. The MT system with the lowest BLEU score produced the output that was post-edited to the lowest quality and with the highest PE effort, measured both in HTER and actual PE operations.",
|
43 |
+
"Computer-aided translation (CAT) tools often use a translation memory (TM) as the key resource to assist translators. A TM contains translation units (TU) which are made up of source and target language segments; translators use the target segments in the TU suggested by the CAT tool by converting them into the desired translation. Proposals from TMs could be made more useful by using techniques such as fuzzy-match repair (FMR) which modify words in the target segment corresponding to mismatches identified in the source segment. Modifications in the target segment are done by translating the mismatched source sub-segments using an external source of bilingual information (SBI) and applying the translations to the corresponding positions in the target segment. Several combinations of translated sub-segments can be applied to the target segment which can produce multiple repair candidates. We provide a formal algorithmic description of a method that is capable of using any SBI to generate all possible fuzzy-match repairs and perform an oracle evaluation on three different language pairs to ascertain the potential of the method to improve translation productivity. Using DGT-TM translation memories and the machine system Apertium as the single source to build repair operators in three different language pairs, we show that the best repaired fuzzy matches are consistently closer to reference translations than either machine-translated segments or unrepaired fuzzy matches."
|
44 |
]
|
45 |
],
|
46 |
"queries": null,
|
47 |
"index_name": "index",
|
48 |
"overwrite": false,
|
49 |
+
"root": "\/coc\/pskynet6\/dheineman3\/colbert-acl\/acl-search\/experiments",
|
50 |
"experiment": "notebook",
|
51 |
"index_root": null,
|
52 |
+
"name": "2024-08\/24\/01.35.22",
|
53 |
"rank": 0,
|
54 |
"nranks": 2,
|
55 |
"amp": true,
|
56 |
+
"gpus": 4
|
57 |
},
|
58 |
+
"num_chunks": 3,
|
59 |
"num_partitions": 32768,
|
60 |
+
"num_embeddings_est": 12161657.478149414,
|
61 |
+
"avg_doclen_est": 179.9674072265625
|
62 |
}
|
papers.json
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:e94e1a192ec2aa3dfebd89562e2adfc1923b93d1602416ea21dbddab8f9e1dc4
|
3 |
+
size 163436435
|