Hugging Face's logo

Spaces:
bishmoy
/
Arxiv-CS-RAG
Running

App Files Community
3
bishmoy commited on
Commit
5218c0e
•
1 Parent(s): ea07f61

Index Update on 2024-05-13

Browse files
This view is limited to 50 files because it contains too many changes.   See raw diff
Files changed (50) hide show
  1. README.md +1 -1
  2. colbert/indexes/arxiv_colbert/0.codes.pt +1 -1
  3. colbert/indexes/arxiv_colbert/0.residuals.pt +1 -1
  4. colbert/indexes/arxiv_colbert/1.codes.pt +1 -1
  5. colbert/indexes/arxiv_colbert/1.residuals.pt +1 -1
  6. colbert/indexes/arxiv_colbert/10.codes.pt +2 -2
  7. colbert/indexes/arxiv_colbert/10.metadata.json +2 -2
  8. colbert/indexes/arxiv_colbert/10.residuals.pt +2 -2
  9. colbert/indexes/arxiv_colbert/11.codes.pt +2 -2
  10. colbert/indexes/arxiv_colbert/11.metadata.json +2 -2
  11. colbert/indexes/arxiv_colbert/11.residuals.pt +2 -2
  12. colbert/indexes/arxiv_colbert/12.codes.pt +2 -2
  13. colbert/indexes/arxiv_colbert/12.metadata.json +2 -2
  14. colbert/indexes/arxiv_colbert/12.residuals.pt +2 -2
  15. colbert/indexes/arxiv_colbert/13.codes.pt +2 -2
  16. colbert/indexes/arxiv_colbert/13.metadata.json +2 -2
  17. colbert/indexes/arxiv_colbert/13.residuals.pt +2 -2
  18. colbert/indexes/arxiv_colbert/14.codes.pt +2 -2
  19. colbert/indexes/arxiv_colbert/14.metadata.json +3 -3
  20. colbert/indexes/arxiv_colbert/14.residuals.pt +2 -2
  21. colbert/indexes/arxiv_colbert/2.codes.pt +1 -1
  22. colbert/indexes/arxiv_colbert/2.residuals.pt +1 -1
  23. colbert/indexes/arxiv_colbert/3.codes.pt +1 -1
  24. colbert/indexes/arxiv_colbert/3.residuals.pt +1 -1
  25. colbert/indexes/arxiv_colbert/4.codes.pt +1 -1
  26. colbert/indexes/arxiv_colbert/4.residuals.pt +1 -1
  27. colbert/indexes/arxiv_colbert/5.codes.pt +2 -2
  28. colbert/indexes/arxiv_colbert/5.metadata.json +1 -1
  29. colbert/indexes/arxiv_colbert/5.residuals.pt +2 -2
  30. colbert/indexes/arxiv_colbert/6.codes.pt +1 -1
  31. colbert/indexes/arxiv_colbert/6.metadata.json +2 -2
  32. colbert/indexes/arxiv_colbert/6.residuals.pt +2 -2
  33. colbert/indexes/arxiv_colbert/7.codes.pt +2 -2
  34. colbert/indexes/arxiv_colbert/7.metadata.json +2 -2
  35. colbert/indexes/arxiv_colbert/7.residuals.pt +2 -2
  36. colbert/indexes/arxiv_colbert/8.codes.pt +2 -2
  37. colbert/indexes/arxiv_colbert/8.metadata.json +2 -2
  38. colbert/indexes/arxiv_colbert/8.residuals.pt +2 -2
  39. colbert/indexes/arxiv_colbert/9.codes.pt +2 -2
  40. colbert/indexes/arxiv_colbert/9.metadata.json +2 -2
  41. colbert/indexes/arxiv_colbert/9.residuals.pt +2 -2
  42. colbert/indexes/arxiv_colbert/buckets.pt +1 -1
  43. colbert/indexes/arxiv_colbert/centroids.pt +1 -1
  44. colbert/indexes/arxiv_colbert/collection.json +2 -2
  45. colbert/indexes/arxiv_colbert/docid_metadata_map.json +2 -2
  46. colbert/indexes/arxiv_colbert/doclens.10.json +0 -0
  47. colbert/indexes/arxiv_colbert/doclens.11.json +0 -0
  48. colbert/indexes/arxiv_colbert/doclens.12.json +0 -0
  49. colbert/indexes/arxiv_colbert/doclens.13.json +0 -0
  50. colbert/indexes/arxiv_colbert/doclens.14.json +1 -1
README.md CHANGED
@@ -12,4 +12,4 @@ short_description: Ask an LLM about Arxiv papers
12
  ---
13
 
14
  ## Arxiv-CS-RAG
15
- Index Last Updated : 2024-05-06
 
12
  ---
13
 
14
  ## Arxiv-CS-RAG
15
+ Index Last Updated : 2024-05-13
colbert/indexes/arxiv_colbert/0.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:619e545cb4a0df34886262c2866a6faadf6f43116d2a4530defae9018e7344ac
3
  size 17225692
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:69dc9177d601a3753441d76f14dd27e488000ac30b2b9d2408d72ac8e293c9d1
3
  size 17225692
colbert/indexes/arxiv_colbert/0.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:55b4cb57a6defb0b8e46d2d37b92b7acefb4b3fd6c7e68bab718d03f48265234
3
  size 137797424
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:eedd40488983f5d07b436c99af2109e987fc82076790af06a6a6e007bd41675a
3
  size 137797424
colbert/indexes/arxiv_colbert/1.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:6fcd00caea3e7aa303f398dd4a444567f598a699d3166317c46b07018d4df2a7
3
  size 18657180
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:1f68bd3685c5271b9482d23c8b637ab0a4dfec53cb4bbc977db5dad666578f55
3
  size 18657180
colbert/indexes/arxiv_colbert/1.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:ec4f12b8398186bfd878e365fe9081a7b6fca1aec0ae909918b61d2d6b794344
3
  size 149249392
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:507627f408b895d374c5d6f8a743fdbad04917d7a109dcb2036b2463794fb54c
3
  size 149249392
colbert/indexes/arxiv_colbert/10.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:c9d9bd48decc0f8b219d21c0b4ec9af3083e56e026c9655561e53d6e4bd96d9d
3
- size 21312033
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:2670e3e6accfcfcea53a22d3206fa4d12f91bffd77c257c8d46a827a7eb3a503
3
+ size 21312609
colbert/indexes/arxiv_colbert/10.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 250000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5327717,
5
- "embedding_offset": 49560866
6
  }
 
1
  {
2
  "passage_offset": 250000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5327857,
5
+ "embedding_offset": 49561106
6
  }
colbert/indexes/arxiv_colbert/10.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:f1a5d39117677bfee869ed047f36028b570f78904ae978fee605ba21af9db3a6
3
- size 170488117
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:4a3691b911e83e0febafe49616be5475b6ac11a12b7d295f734e18312f791a20
3
+ size 170492597
colbert/indexes/arxiv_colbert/11.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:a1edfe9a47434efd5a16b0b202a2c85575e8c0905409b6f70bda301f6de23af5
3
- size 21359457
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:2a002d9b8d51f9901ff75a3c37b67081c366a6d6e46bfcb1caf53ab97b51933f
3
+ size 21361889
colbert/indexes/arxiv_colbert/11.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 275000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5339583,
5
- "embedding_offset": 54888583
6
  }
 
1
  {
2
  "passage_offset": 275000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5340189,
5
+ "embedding_offset": 54888963
6
  }
colbert/indexes/arxiv_colbert/11.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:b0cb9db3e1aa3ac462efdcad126365bd7b77f1655bdbd3df6f1fd627133f07a6
3
- size 170867829
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:240fd57e8f73a13bd1b72392173932b2f9fcdfab810ff9519f7eaa2d781b6782
3
+ size 170887221
colbert/indexes/arxiv_colbert/12.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:52a9ce12bd3f404adc3f1688fc85dee4eca084b6b726d59a915172eaf1befdfc
3
- size 21541345
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:d113a814934f71d691e789b7fd6f7357acd46f73c6822f21b5f304e258006274
3
+ size 21541537
colbert/indexes/arxiv_colbert/12.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 300000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5385048,
5
- "embedding_offset": 60228166
6
  }
 
1
  {
2
  "passage_offset": 300000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5385101,
5
+ "embedding_offset": 60229152
6
  }
colbert/indexes/arxiv_colbert/12.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:1523f5ca69fbbe1e02be3dd8b03939edc3d000b71b68f9f4c32317d0e37c8e61
3
- size 172322741
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:2f09a015f6428abd0952a1a43b6dd2203eaab2dd2ac74d033aaf0c15bbdd1b8f
3
+ size 172324405
colbert/indexes/arxiv_colbert/13.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:7c08a48a8dbd8e0a5472fb115ed64a688d8ffeaca378cb8da3a455f9904df9f8
3
- size 21386657
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:a24148ce35c8829c32053e3665031b58905c79525b466de4a2959aa494930cd0
3
+ size 21388257
colbert/indexes/arxiv_colbert/13.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 325000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5346382,
5
- "embedding_offset": 65613214
6
  }
 
1
  {
2
  "passage_offset": 325000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5346771,
5
+ "embedding_offset": 65614253
6
  }
colbert/indexes/arxiv_colbert/13.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:a9208f76ae4faa14f3b510e4b802412621b056f3ef1e4389ae98eafadd6b2c3d
3
- size 171085429
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:3eef04b14e359f06d04bb21c4d9cf025c802b6ebd9939333cafa406228d2092d
3
+ size 171097845
colbert/indexes/arxiv_colbert/14.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:181c840b4c48098aa7829ced653aa606207dec6733053b20fedd5781aac7b9cb
3
- size 6618017
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:4726aa7246e2a1b24cf1898b3b0ee7527c4171b59f4864d1437e3d9fc66913b8
3
+ size 7877665
colbert/indexes/arxiv_colbert/14.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 350000,
3
- "num_passages": 8750,
4
- "num_embeddings": 1654213,
5
- "embedding_offset": 70959596
6
  }
 
1
  {
2
  "passage_offset": 350000,
3
+ "num_passages": 10230,
4
+ "num_embeddings": 1969130,
5
+ "embedding_offset": 70961024
6
  }
colbert/indexes/arxiv_colbert/14.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:eda3938a89dd35bb3bc32b3026b141e61ee4349b4036f654ea3137b00f26a1d5
3
- size 52935989
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:a4930c0c30364eba88c614b06fb8a3d3aae52f1e638664c0f9f91053cb9a50aa
3
+ size 63013365
colbert/indexes/arxiv_colbert/2.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:cfabc4686af44fd151d95443e20afa5cec2c7133536da53bc8a10909da020722
3
  size 19121820
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:dc2d102d0b809c26becad0999c4fc4b2a408e0ddf4d74d1ee91d9307d9c3a994
3
  size 19121820
colbert/indexes/arxiv_colbert/2.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:1b4957549237179474f6e40658f20c2c32f6d132b67c979fa6a51813b07f9f67
3
  size 152966704
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:feaa14ac03af04f00d951e7ba442452833d899ca8aedbc9574691a0a45f3499c
3
  size 152966704
colbert/indexes/arxiv_colbert/3.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:2f4539b268b393f6308b00d30421e4ed47e291223ec9927f86f62b3f13a06e13
3
  size 19533212
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:6beb8eccc7866bb5e1728bfdb110730205d1376840f97831e916d2c4b1af6b5c
3
  size 19533212
colbert/indexes/arxiv_colbert/3.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:2900519b1092c901aef44ce1d10b01a540dba1f6924264c387591c22794dacf0
3
  size 156257456
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:8508c4507a23127f2d28bd2411d38e24b6667f64f75e6491ba1dc7678ca1fd62
3
  size 156257456
colbert/indexes/arxiv_colbert/4.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:71a2936882fb297cc35e23106a0fd3c23b6c360438307e4397a90af8c2849141
3
  size 19963420
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:a50b316a64a2beec856be025c92330baa2d7ac02e62dd9960daf3650ac117141
3
  size 19963420
colbert/indexes/arxiv_colbert/4.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:90c7c1f36d17b03375d594bf6eaf91d7a3b719bc08d45976971a3c8ad24936a8
3
  size 159699248
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:6c432963ee915474c82ca3fbed240e34a31623b3b6c85b17bd97763d185d4bad
3
  size 159699248
colbert/indexes/arxiv_colbert/5.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:3ef70277ca82bef95aeef55b8916ca8b0502afeacf22411b39e36f4203bb4543
3
- size 20303324
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:38e9aab0b57ef97992999c8858ad0046ff0a7e095d10b82d8f4579fc3bd38417
3
+ size 20303644
colbert/indexes/arxiv_colbert/5.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 125000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5075551,
5
  "embedding_offset": 23623887
6
  }
 
1
  {
2
  "passage_offset": 125000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5075619,
5
  "embedding_offset": 23623887
6
  }
colbert/indexes/arxiv_colbert/5.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:57cfb602452628e3250c2c70623c9f8e304aed72921ea53773722d5c62539824
3
- size 162418800
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:e521bb2c5c8ec28d6f2d7919d249bf72f1541d737643c6dc781817cbec51e0af
3
+ size 162420976
colbert/indexes/arxiv_colbert/6.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:a5eb941ad71ea7613299d2582640c8de4cd1d07184f932455ae530f292bf6b8c
3
  size 20473948
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:a58cc47a886af4b970d82dbabc40a8b87b83f58ae2a7f08b4d78811a3d58dfd6
3
  size 20473948
colbert/indexes/arxiv_colbert/6.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 150000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5118196,
5
- "embedding_offset": 28699438
6
  }
 
1
  {
2
  "passage_offset": 150000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5118193,
5
+ "embedding_offset": 28699506
6
  }
colbert/indexes/arxiv_colbert/6.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:5179129b2b3308511d9a1980964c6269432ba9275dc402dea5e233657e15b206
3
- size 163783472
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:4892f895a320daa2d99c99cce3bcc8a98db9815145ff5c3be0e6c36896fc669a
3
+ size 163783344
colbert/indexes/arxiv_colbert/7.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:7e34f0f21877c107f5e58b998f2066a163d09660240e803c4ff2325c93bdad16
3
- size 20836700
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:3446adcfd73ba5990a629f6067861088529d5b820412f757d9179300e74816d8
3
+ size 20836124
colbert/indexes/arxiv_colbert/7.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 175000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5208892,
5
- "embedding_offset": 33817634
6
  }
 
1
  {
2
  "passage_offset": 175000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5208741,
5
+ "embedding_offset": 33817699
6
  }
colbert/indexes/arxiv_colbert/7.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:8fca4408939089e22edf564724741a3f6c2a60c902a49fa2f811f5ba7c0a9d64
3
- size 166685744
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:d9bf5550f8f6587ce63ce49ae47451ae66b26c9d6e88bb41850759b8b82d7eca
3
+ size 166680880
colbert/indexes/arxiv_colbert/8.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:a699a0976037af27e24e0b738558c94b748f8f5db9268949a35d996c9a0eda92
3
- size 21023388
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:a048fe83a7ffcedd16ff62dbcc514df7175ffc6653a3304783c344f70eb75554
3
+ size 21023836
colbert/indexes/arxiv_colbert/8.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 200000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5255560,
5
- "embedding_offset": 39026526
6
  }
 
1
  {
2
  "passage_offset": 200000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5255671,
5
+ "embedding_offset": 39026440
6
  }
colbert/indexes/arxiv_colbert/8.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:48e75a2b5a7c2b193c571ea9b33966393f9b389e421a302d9bc8d27d4188438a
3
- size 168179120
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:6ddf6e03f026cfa94c9f2e6c3e1da31f37fbe83cdb1cc3eab08c13ec76efe25f
3
+ size 168182640
colbert/indexes/arxiv_colbert/9.codes.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:c6ed33a8ef1a851aab00596ce91d98c2c744eda7049f24838db65cf8b77f6130
3
- size 21116252
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:747d039d3167bd856fc8c2d6740d5596603c9663e172db7ac4edc595d1658e6d
3
+ size 21117148
colbert/indexes/arxiv_colbert/9.metadata.json CHANGED
@@ -1,6 +1,6 @@
1
  {
2
  "passage_offset": 225000,
3
  "num_passages": 25000,
4
- "num_embeddings": 5278780,
5
- "embedding_offset": 44282086
6
  }
 
1
  {
2
  "passage_offset": 225000,
3
  "num_passages": 25000,
4
+ "num_embeddings": 5278995,
5
+ "embedding_offset": 44282111
6
  }
colbert/indexes/arxiv_colbert/9.residuals.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:07fb272ba969c1ad00024ca1a7aa80a508562203f79c4c108a5894dc30e86e99
3
- size 168922160
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:efd62aa979d75a64bde45d6c684777b54c1c46de6b85f4fb0a25aa7416dd742c
3
+ size 168929008
colbert/indexes/arxiv_colbert/buckets.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:52ae1fcd3bc6b6a22413583cba980f7f5a9762ad473d701782c8eb04fff5600e
3
  size 1432
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:74dc4bd4c527dc92d07e848e6037178e15c8f0ae734fd84aa83b82f97da533f2
3
  size 1432
colbert/indexes/arxiv_colbert/centroids.pt CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:8e28088abc0f9de2ffd681efee35c35dbc1c99ebcc237836832b8425f410a6bf
3
  size 33555622
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:83bfacef8f87fda3b90ca003bb104c0ea41d4741856d559390839ec6ac56bc24
3
  size 33555622
colbert/indexes/arxiv_colbert/collection.json CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:ab6254e33d296b9f29a0cca800e1ee7a3aba0d4bcb1ed011df7e2e22032ea4da
3
- size 429865092
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:0b1ab95b141c0d5bbe4cfc1b864eab218eddb1dd19ec6ab809e5d364e674aaf1
3
+ size 431763984
colbert/indexes/arxiv_colbert/docid_metadata_map.json CHANGED
@@ -1,3 +1,3 @@
1
  version https://git-lfs.github.com/spec/v1
2
- oid sha256:b2a86161dff1618857d571882ab3e6b6cb2d05bfc8d4019a4f9fbada1ca751a4
3
- size 88185470
 
1
  version https://git-lfs.github.com/spec/v1
2
+ oid sha256:9a464214bbacb95d0c2e4d4137a3f8a8e3593c3c6cb59b9540c96d2190882622
3
+ size 88570222
colbert/indexes/arxiv_colbert/doclens.10.json CHANGED
The diff for this file is too large to render. See raw diff
 
colbert/indexes/arxiv_colbert/doclens.11.json CHANGED
The diff for this file is too large to render. See raw diff
 
colbert/indexes/arxiv_colbert/doclens.12.json CHANGED
The diff for this file is too large to render. See raw diff
 
colbert/indexes/arxiv_colbert/doclens.13.json CHANGED
The diff for this file is too large to render. See raw diff
 
colbert/indexes/arxiv_colbert/doclens.14.json CHANGED
@@ -1 +1 @@
1
- [202,266,155,193,181,196,214,72,154,229,143,150,293,188,143,148,327,276,219,195,258,88,168,183,225,177,182,212,173,271,266,133,286,299,180,238,290,159,285,174,158,159,281,229,165,193,189,214,239,195,223,128,217,158,265,256,171,236,224,245,302,237,235,124,280,302,199,80,235,303,171,286,278,214,227,185,237,284,255,198,178,233,215,222,137,245,223,161,266,172,230,221,177,258,163,192,222,229,207,255,199,102,174,294,184,156,215,166,233,178,144,266,197,280,183,149,189,142,288,246,248,151,237,287,275,255,233,188,190,237,332,275,230,240,290,324,189,164,249,193,110,249,183,213,198,105,259,218,218,167,112,317,165,174,182,98,179,123,149,217,164,191,100,166,206,211,195,125,166,172,256,184,231,185,304,256,199,280,299,305,247,189,203,300,240,216,197,172,213,232,187,205,294,165,210,166,159,222,135,170,209,151,294,178,212,267,163,257,178,267,255,191,195,171,135,294,227,348,183,230,214,211,139,174,250,294,169,256,208,206,135,119,83,133,212,374,183,162,333,172,260,234,185,267,215,168,100,162,177,194,202,174,189,148,206,167,136,79,280,116,131,172,169,258,171,190,120,197,310,304,317,266,144,224,246,212,180,300,190,208,256,204,195,200,242,217,340,137,224,255,199,312,296,194,200,204,155,235,197,213,222,231,251,216,193,276,270,150,129,166,162,199,249,189,212,287,251,321,265,272,239,220,178,236,184,204,209,295,180,173,211,235,163,179,163,221,293,154,191,239,214,242,119,300,191,137,235,338,155,174,209,161,288,214,164,159,274,178,237,167,232,138,207,202,207,216,237,271,166,287,91,253,157,311,152,272,236,187,155,201,202,184,199,203,290,174,243,202,179,150,262,239,234,199,224,150,256,181,194,205,138,124,267,213,176,290,282,183,203,240,232,226,192,277,212,122,223,128,253,204,276,155,137,267,245,249,283,151,229,176,315,115,291,151,128,320,211,168,162,210,207,131,177,306,296,273,263,255,261,241,207,259,173,165,313,257,261,217,122,159,186,228,175,290,175,192,136,282,161,303,177,207,132,238,157,162,220,221,208,185,209,238,243,265,230,165,89,164,187,336,126,335,261,169,245,205,100,149,234,192,317,283,246,234,256,176,301,177,180,218,280,147,305,218,173,222,157,125,148,209,183,272,213,71,206,201,215,150,237,164,193,268,287,129,236,128,225,328,288,189,326,297,240,113,216,169,198,307,294,254,195,184,167,136,317,213,225,239,271,315,235,171,248,190,245,273,234,195,254,234,230,251,260,267,298,206,234,307,255,179,232,185,168,227,193,174,316,160,210,206,235,185,253,181,203,237,285,282,201,247,156,184,189,221,103,221,275,137,278,183,115,181,179,225,170,169,201,131,190,173,199,129,339,227,241,188,145,234,165,192,221,240,276,215,222,177,225,279,146,306,124,175,283,205,148,218,151,168,326,159,179,228,283,214,324,141,135,130,110,231,222,197,195,202,229,239,204,240,258,197,172,230,235,274,150,207,163,159,153,164,221,236,238,216,272,257,184,146,306,181,198,266,231,226,191,204,253,254,246,151,227,273,296,304,133,133,308,208,116,257,326,184,276,149,253,294,175,231,191,286,179,219,205,176,163,221,252,171,191,276,119,126,227,267,162,299,261,219,174,194,214,209,175,246,223,235,95,264,223,153,276,319,125,220,183,196,157,199,173,293,180,254,196,203,253,154,188,169,166,167,162,298,211,203,180,84,176,315,207,204,216,184,237,251,228,209,214,283,202,184,195,171,204,152,239,264,261,200,219,175,291,257,265,294,207,122,189,204,295,221,195,263,267,340,245,248,147,239,184,262,151,117,193,115,285,269,162,92,243,219,216,124,158,283,289,191,201,169,178,210,256,255,188,207,176,100,185,196,166,204,160,154,251,232,187,101,201,251,273,235,254,203,127,193,121,242,172,264,200,259,162,229,319,180,202,99,168,218,319,216,269,311,317,251,218,120,172,231,275,218,135,231,156,157,233,247,255,35,227,157,179,174,112,170,215,201,283,219,129,240,195,211,244,230,339,175,195,275,239,150,128,187,240,342,232,118,293,79,215,129,254,203,223,215,162,190,121,241,171,88,185,292,184,151,308,165,204,251,142,178,240,202,180,167,181,247,208,170,215,228,210,295,125,172,234,240,308,212,224,160,185,248,241,231,160,291,220,125,174,219,276,159,243,278,186,211,185,254,267,272,176,195,300,190,328,151,214,240,229,190,255,190,255,212,287,221,164,208,154,284,280,231,315,256,196,215,130,204,324,253,284,200,274,177,198,120,246,304,294,232,233,165,286,196,284,255,255,226,245,256,149,178,259,274,183,228,153,292,219,136,230,199,236,194,243,130,142,105,69,270,216,229,304,127,159,323,329,242,183,129,167,99,74,231,155,225,166,253,312,207,324,206,169,274,271,223,210,220,233,244,135,207,184,241,214,146,182,234,158,268,265,160,302,274,270,267,223,194,193,168,201,227,171,192,216,136,193,227,117,185,157,169,245,225,262,302,175,251,129,182,211,186,192,300,188,246,287,180,208,220,186,187,52,217,178,177,208,255,200,272,207,167,218,226,199,150,177,241,226,166,266,264,246,178,299,165,190,155,217,136,97,132,72,113,167,280,189,280,199,244,210,186,240,323,241,233,280,262,280,270,283,142,240,210,99,244,267,278,126,203,101,199,286,229,192,236,102,200,201,130,186,197,284,220,293,260,83,199,277,144,364,237,134,152,134,285,156,273,214,113,212,215,257,214,310,195,262,210,269,177,170,128,216,102,188,201,221,198,263,236,250,257,181,282,298,244,105,172,282,280,210,214,199,184,235,276,247,214,111,217,237,224,114,245,212,274,104,163,230,210,168,228,243,171,87,169,304,295,183,161,207,104,181,255,228,202,88,288,204,226,225,186,201,205,176,195,292,166,299,164,173,162,137,230,218,209,240,298,220,184,213,131,188,156,155,274,161,192,222,292,126,193,172,217,182,221,214,148,208,299,196,233,183,197,178,282,246,227,220,48,147,293,241,275,256,257,155,238,226,286,234,247,181,296,165,260,257,207,287,292,228,268,290,245,189,237,221,248,245,263,270,279,203,200,160,235,158,309,113,329,213,190,196,325,227,250,100,87,195,202,205,255,255,249,187,178,135,274,248,182,270,282,94,183,187,187,121,250,205,152,215,231,182,220,230,231,126,215,217,223,270,160,211,276,236,179,185,163,290,132,173,275,285,136,212,173,218,288,259,135,168,281,162,240,292,199,299,270,132,182,113,268,208,227,243,227,218,233,240,237,313,186,238,322,264,145,196,253,213,261,201,199,125,261,252,252,217,214,158,139,95,254,277,171,323,156,202,186,293,238,190,195,163,294,320,327,167,144,105,304,70,151,156,192,270,116,177,252,139,193,133,229,203,256,202,277,80,268,244,290,178,128,197,263,248,185,289,177,232,140,202,201,149,90,232,133,221,165,189,305,216,210,248,277,204,307,226,274,256,153,235,183,189,200,223,203,182,287,323,192,234,206,222,188,218,247,298,253,172,150,152,209,249,250,154,329,294,223,108,204,223,157,137,250,229,211,321,297,142,199,249,249,162,206,155,106,182,143,272,82,220,174,126,192,223,184,231,306,158,180,118,260,247,199,287,181,158,265,263,211,248,239,308,226,327,247,258,270,127,145,230,178,320,196,275,194,167,173,248,124,159,229,205,220,196,143,237,85,196,204,253,318,242,179,192,234,247,158,322,296,210,123,208,252,248,227,200,177,331,289,335,197,186,158,194,256,184,327,247,155,188,213,196,111,228,221,176,256,227,355,167,224,262,83,276,214,247,243,263,254,175,206,204,267,167,241,294,250,209,220,178,225,145,106,224,177,246,242,248,56,199,245,175,233,213,181,111,289,208,250,251,232,204,204,330,187,303,183,241,220,291,257,248,208,165,321,232,224,249,192,202,227,258,249,119,254,253,155,294,130,122,250,210,293,201,251,290,248,283,141,196,222,185,121,303,283,111,321,257,220,335,235,290,307,197,232,245,204,84,141,230,250,287,249,243,306,162,192,185,292,195,293,234,191,209,214,217,203,246,232,163,137,204,249,227,195,301,335,211,171,301,180,197,182,253,212,225,211,290,181,121,210,210,238,217,234,179,178,283,251,158,162,198,200,306,161,101,220,97,316,240,271,254,211,123,117,195,231,259,227,209,278,226,252,270,221,160,239,46,256,298,266,160,268,269,315,211,298,351,156,269,214,223,284,194,203,112,289,183,198,144,313,232,181,260,221,306,296,230,221,145,117,192,129,255,285,186,171,214,247,151,217,198,165,100,222,152,186,136,144,298,160,273,202,164,206,206,61,199,124,243,159,248,265,226,201,207,217,165,246,292,185,288,221,250,192,162,216,196,136,173,166,196,251,174,171,246,251,188,239,234,235,203,170,310,131,196,225,245,247,308,247,243,182,276,247,258,202,179,230,166,302,245,214,200,210,309,221,132,243,262,229,233,301,206,252,229,217,284,227,212,203,271,314,89,74,156,237,178,160,217,155,234,274,209,189,181,228,157,227,257,193,63,246,209,223,288,255,333,200,162,274,96,262,203,238,228,195,157,238,220,268,228,268,172,177,239,62,243,246,267,170,326,122,144,280,178,226,288,182,237,113,234,169,210,127,176,300,220,171,293,237,196,231,205,271,178,130,262,290,139,109,100,191,145,202,284,121,173,226,327,202,282,194,185,120,236,175,180,114,320,216,163,183,256,224,143,218,254,229,211,177,215,190,240,201,211,240,208,219,305,280,196,174,269,200,242,256,235,230,162,140,218,231,201,154,202,136,224,295,195,167,259,227,202,199,150,273,221,274,160,352,196,166,170,283,221,244,255,195,273,390,109,187,219,274,203,133,251,166,227,218,184,171,98,169,242,245,184,294,153,221,107,174,154,227,206,242,213,173,167,253,191,266,233,237,169,231,254,148,171,228,206,267,289,168,243,203,160,273,205,209,274,235,181,293,176,182,277,69,282,223,304,258,174,180,178,276,285,218,155,178,242,245,175,183,179,223,188,265,206,218,221,331,232,300,178,163,185,232,246,221,157,239,242,193,187,215,272,227,253,165,311,184,208,172,214,146,265,252,254,149,182,202,275,238,164,208,248,216,214,242,299,287,163,158,310,221,216,208,134,275,190,201,182,249,171,208,200,283,271,217,231,188,220,242,196,310,149,141,129,255,179,234,127,132,287,216,213,236,220,116,178,274,193,124,210,227,218,85,232,233,230,214,170,165,335,128,133,219,248,67,200,320,185,261,101,239,169,297,266,204,121,200,265,196,233,275,259,173,155,105,209,217,141,243,254,194,193,214,221,276,193,169,317,236,164,158,281,115,231,226,209,196,190,54,258,151,283,198,203,223,306,257,252,201,153,227,181,236,220,185,243,293,321,280,290,236,191,189,291,112,224,317,128,217,334,187,172,260,179,295,285,298,319,215,278,248,244,135,170,191,167,267,259,179,232,310,211,293,205,242,206,201,249,244,190,216,217,237,191,236,123,239,235,220,273,105,89,189,252,219,162,244,110,166,246,149,197,227,164,172,246,167,164,215,153,189,272,245,171,234,285,290,141,207,146,173,231,238,223,191,226,186,269,188,180,210,203,292,213,242,252,194,234,176,204,210,312,214,143,301,228,216,155,275,234,407,202,196,312,149,181,178,158,156,185,209,206,176,271,351,196,241,193,289,263,242,180,214,240,139,128,321,138,264,295,269,248,184,162,231,325,173,248,131,212,203,158,240,160,261,355,279,234,237,182,177,283,160,214,198,192,220,298,73,331,365,202,184,295,263,168,164,147,190,290,248,189,254,175,252,215,268,217,174,185,212,260,207,204,212,198,278,158,209,136,208,261,200,229,205,145,110,274,229,129,96,159,137,188,178,180,210,213,165,238,175,314,259,192,169,223,221,169,169,130,363,214,212,136,184,155,128,211,251,170,233,214,295,282,172,196,236,277,227,274,282,176,174,123,168,172,179,125,227,270,176,314,180,176,200,205,238,271,135,242,205,224,215,275,213,221,220,292,247,158,185,159,207,324,236,187,238,279,229,136,205,243,260,278,287,342,266,252,292,226,188,285,184,181,216,168,217,140,191,164,212,275,311,240,194,217,194,250,278,321,198,234,231,215,200,220,220,271,203,124,233,193,225,102,201,238,252,195,150,219,196,143,240,218,227,211,171,252,174,249,227,243,240,295,242,272,189,171,189,243,139,317,178,175,158,144,191,241,190,212,264,167,238,206,246,221,163,205,220,212,197,180,290,219,234,178,226,150,272,216,239,218,267,126,190,179,188,320,298,206,255,254,289,121,225,206,222,208,130,279,329,285,126,137,278,255,175,194,258,184,152,230,288,123,219,239,98,261,123,234,288,337,196,262,141,282,227,272,101,171,152,229,194,222,79,134,169,174,207,181,179,139,269,234,127,156,250,226,253,177,182,242,226,183,231,333,145,303,263,148,234,206,277,89,194,229,266,213,177,250,222,298,280,303,209,128,234,244,143,193,231,213,164,270,247,129,250,201,250,243,204,233,103,210,151,243,173,247,265,236,186,197,207,212,281,314,199,137,209,184,213,114,285,329,181,223,156,196,272,189,191,279,148,250,252,143,215,233,148,303,261,335,137,198,242,220,191,270,252,323,157,142,184,235,285,311,280,248,208,173,209,243,129,231,226,216,237,71,196,217,202,252,154,204,270,195,147,265,216,272,236,249,222,199,199,228,232,286,159,157,153,202,145,193,232,247,140,256,174,136,218,276,164,264,258,209,194,188,195,156,73,235,269,172,221,277,332,158,266,235,201,206,237,327,194,178,236,257,188,164,234,186,176,191,222,202,143,164,231,115,159,316,308,278,191,191,182,330,255,125,274,265,302,277,200,236,311,294,241,160,224,224,163,270,225,242,192,247,333,183,179,225,215,282,235,165,222,157,170,309,161,249,261,242,276,214,155,141,320,137,118,99,176,232,339,279,167,201,241,271,239,334,265,232,276,110,209,284,193,142,246,155,247,189,221,131,201,179,142,164,240,304,195,163,215,253,162,187,314,187,163,187,256,297,258,236,146,190,192,207,230,168,184,326,234,218,186,142,239,204,242,224,222,167,205,186,171,204,275,194,216,232,225,232,278,295,237,184,244,233,241,174,234,240,136,303,282,245,329,245,207,139,228,239,207,222,223,327,170,168,176,149,96,282,183,260,293,228,228,189,275,203,104,166,293,190,328,164,222,253,240,229,158,230,251,146,155,124,253,230,151,306,193,197,224,148,265,162,298,132,226,199,196,240,255,205,246,261,229,203,184,152,306,250,241,179,229,168,247,204,212,279,203,209,213,206,117,280,279,168,223,331,274,140,275,257,162,319,265,144,264,189,287,336,263,210,177,137,156,176,159,239,180,279,134,211,189,148,230,262,215,198,265,208,209,148,201,209,369,198,218,161,244,321,294,171,161,231,162,172,177,206,308,277,195,123,125,228,319,195,221,227,200,233,301,122,128,202,236,177,259,180,86,255,203,118,152,236,279,182,190,276,271,257,230,239,314,203,199,203,163,165,204,209,225,199,160,233,218,177,255,318,239,153,156,175,148,201,145,254,293,216,199,194,179,144,321,175,212,148,343,197,279,361,214,203,230,222,163,246,234,287,122,222,196,269,273,175,261,316,267,198,206,184,305,172,234,237,284,113,307,123,200,144,277,243,237,209,192,249,176,260,184,254,266,219,138,215,185,168,191,142,152,253,287,206,214,219,268,305,220,151,218,218,263,312,226,300,195,250,309,279,223,265,278,234,359,206,112,282,239,188,259,229,233,286,169,298,245,160,238,70,190,115,291,199,228,248,279,194,245,172,201,319,219,291,138,204,223,279,181,277,166,227,162,152,157,178,236,245,213,211,193,281,221,160,101,240,192,80,214,222,159,296,330,169,200,158,238,169,264,251,271,112,265,208,208,292,237,166,187,214,195,182,198,108,217,301,293,228,240,172,198,233,154,145,155,248,180,255,231,170,113,222,260,212,309,240,266,223,206,272,163,183,183,168,207,168,211,193,151,279,191,147,231,171,113,293,170,301,121,167,198,190,216,232,269,236,237,198,287,158,306,121,246,206,235,93,246,226,207,165,112,230,207,327,191,264,193,154,271,216,179,69,263,168,260,168,171,354,207,337,278,282,286,257,232,92,223,370,283,254,208,265,227,162,162,235,247,212,305,289,183,180,146,266,311,230,114,313,310,249,291,210,315,262,300,161,242,158,173,236,223,260,135,205,232,232,245,184,220,136,260,319,213,101,256,213,150,121,111,266,243,303,188,170,221,187,242,233,233,283,171,184,195,258,149,213,194,205,166,283,293,186,203,177,279,214,225,262,233,213,243,314,159,172,212,310,311,301,115,277,161,185,220,233,184,218,243,326,182,154,118,172,243,248,189,184,180,243,292,244,185,116,284,256,173,179,273,126,162,260,169,200,200,255,338,256,177,139,226,218,341,180,276,113,258,138,232,221,247,161,156,198,182,134,169,232,177,259,137,296,122,234,179,179,266,268,193,228,286,182,216,191,184,221,171,258,243,250,278,257,247,192,290,314,308,195,229,346,95,164,275,242,334,209,234,215,175,145,212,222,199,211,209,130,160,183,139,274,104,165,174,245,178,164,245,131,163,236,319,285,188,114,210,235,207,240,170,170,167,200,360,180,289,133,262,167,257,162,284,269,213,228,157,159,235,111,244,205,139,323,221,216,129,222,154,148,231,205,262,165,284,187,275,164,236,345,264,367,244,320,193,154,184,246,273,192,195,163,110,260,236,207,300,131,178,291,348,139,247,190,321,273,135,295,170,207,180,156,108,254,168,271,85,317,302,166,155,235,210,303,199,268,127,198,120,224,216,141,175,199,328,127,130,299,272,227,170,239,133,120,265,131,187,88,233,214,212,238,100,238,158,152,202,289,228,153,191,224,166,111,162,250,301,174,287,191,265,151,281,157,172,256,191,257,170,239,312,183,332,164,241,222,178,223,216,182,254,292,223,236,184,283,305,243,222,309,289,123,171,199,229,165,188,272,203,195,192,232,172,198,137,164,206,248,152,200,200,199,287,215,301,199,150,221,237,139,221,285,230,194,150,252,265,186,124,331,170,209,238,331,283,130,201,157,224,279,258,254,144,168,285,160,178,217,189,239,107,99,161,197,231,258,307,168,226,158,269,194,194,284,263,161,249,207,255,131,259,268,192,179,174,265,195,276,150,189,199,189,260,217,219,256,166,202,253,191,260,56,217,221,302,238,224,305,170,158,112,163,263,254,207,291,299,203,216,242,157,279,162,214,168,220,270,279,222,244,229,171,285,260,253,188,256,232,265,221,250,186,190,124,190,329,271,195,305,266,217,258,232,230,351,221,246,165,274,86,213,222,172,366,183,211,191,159,218,255,207,281,113,146,202,123,155,232,192,252,296,216,216,211,257,264,150,212,241,216,241,118,206,186,146,282,133,258,208,220,214,290,201,171,190,203,148,205,167,307,172,245,205,242,288,259,241,208,315,183,219,65,153,252,297,141,181,260,243,219,210,319,99,201,238,223,349,183,300,234,119,251,237,311,192,187,316,255,189,133,216,195,290,237,160,264,190,195,225,133,221,160,190,209,160,354,115,237,183,280,182,333,249,287,205,192,276,213,214,176,240,237,176,271,237,216,204,112,141,183,198,185,199,203,255,290,240,175,236,225,203,271,225,194,254,235,171,201,265,151,201,233,250,220,177,263,265,142,292,314,341,68,274,169,278,106,234,296,308,151,204,181,141,268,152,147,201,218,207,259,210,159,173,160,161,231,301,283,256,158,188,185,173,168,269,193,165,241,244,193,198,276,155,223,107,235,194,194,236,138,172,299,256,194,149,238,109,188,216,164,174,191,204,200,269,182,234,197,187,342,268,215,220,98,129,155,237,161,251,150,236,198,260,191,303,188,118,242,180,165,177,189,69,232,80,293,137,227,94,248,218,193,166,160,284,206,221,76,181,207,211,202,237,311,67,158,116,203,242,78,172,199,189,211,309,260,181,262,241,214,212,154,265,150,106,162,136,300,273,291,241,133,134,237,178,201,238,237,212,216,161,266,124,229,319,256,245,152,351,251,290,218,310,295,254,232,212,301,230,181,147,251,247,284,323,219,273,211,271,223,236,163,209,203,148,185,286,210,215,221,296,225,291,264,281,260,216,246,214,257,236,230,107,184,76,205,258,251,200,181,303,156,287,259,239,214,279,197,205,219,270,171,261,195,223,116,267,182,236,228,286,177,204,217,157,317,141,230,177,146,191,235,158,201,157,269,226,185,70,204,122,266,190,274,203,214,159,183,143,204,227,145,279,242,261,162,326,197,301,247,214,283,186,245,237,247,205,248,226,207,161,184,287,253,332,206,350,148,242,132,196,248,122,239,224,327,303,233,184,237,197,237,193,328,195,227,300,230,214,155,187,186,199,304,291,309,248,151,161,230,168,235,128,263,248,188,217,157,241,270,261,270,194,279,191,164,117,240,142,278,185,157,241,126,245,279,214,194,189,201,215,280,191,193,96,225,156,163,124,108,156,145,204,166,245,283,129,209,304,187,338,214,151,246,305,326,191,205,251,173,169,198,179,229,232,192,206,312,230,197,104,311,212,236,247,114,233,120,298,213,245,189,253,166,191,234,94,116,243,217,292,235,308,225,117,156,270,234,310,174,158,167,176,209,133,171,278,212,192,172,341,189,187,297,365,210,260,140,224,168,231,256,211,232,181,236,198,275,243,145,133,188,273,118,174,194,173,299,257,144,207,252,185,141,182,168,217,102,201,221,168,204,118,290,225,106,202,158,218,298,212,262,173,206,176,146,146,132,144,198,232,114,101,149,225,232,193,111,177,180,171,157,340,331,237,270,188,186,217,273,239,163,169,142,263,300,261,213,259,327,244,177,233,265,307,252,169,286,175,238,224,263,271,255,215,241,98,249,164,114,215,215,121,158,157,225,288,325,202,136,286,263,311,327,202,256,210,157,220,207,320,278,233,211,186,199,250,131,311,199,210,301,257,192,276,153,100,164,305,257,201,308,123,162,226,169,289,288,278,221,202,267,243,148,110,138,222,268,183,155,103,237,128,311,201,284,179,323,208,232,299,217,210,235,196,151,151,248,162,311,213,189,252,235,295,165,284,183,236,165,250,183,174,277,254,250,228,198,138,201,175,170,192,275,131,145,275,268,150,233,269,293,256,112,208,269,154,277,175,165,291,193,220,191,148,163,194,261,279,270,248,211,253,202,173,230,171,252,120,257,163,108,224,155,195,174,187,212,219,339,299,241,198,179,166,171,235,188,150,238,217,295,184,198,187,216,230,114,266,160,305,219,223,276,107,215,172,194,158,136,118,170,137,301,279,259,177,108,288,285,203,171,212,182,247,186,202,286,302,253,179,273,168,189,246,119,171,164,275,164,188,203,160,209,238,245,258,228,257,110,153,184,202,232,193,294,269,211,330,108,265,319,243,250,293,305,307,306,301,126,198,75,144,128,159,207,202,267,307,245,300,167,156,197,329,260,208,233,195,218,256,284,198,217,287,243,208,202,184,136,192,139,214,259,271,280,141,171,224,302,248,185,227,221,205,130,189,175,134,281,109,320,145,126,312,262,167,287,322,166,269,208,155,326,294,146,249,248,156,250,213,220,198,46,100,212,218,163,187,214,129,99,263,110,288,270,150,161,187,137,271,198,191,200,287,248,209,148,313,311,320,252,202,317,126,275,206,267,278,262,184,187,307,161,182,222,198,281,252,150,243,247,170,243,181,137,304,246,212,195,145,216,241,263,222,273,220,203,212,245,221,253,145,150,186,267,231,311,247,267,153,221,173,170,114,259,339,205,261,186,209,305,275,225,235,191,158,288,165,238,253,81,213,271,209,177,299,292,184,244,280,207,172,245,274,150,197,208,254,137,284,180,192,322,268,253,171,229,206,213,305,219,294,298,217,154,224,294,278,258,235,291,147,237,168,185,306,256,224,165,185,231,187,170,247,141,205,173,164,319,195,151,184,232,182,256,208,203,306,262,200,267,70,227,167,215,174,219,228,228,264,126,211,220,236,144,132,263,256,130,211,186,264,174,179,216,195,298,170,170,183,236,58,331,268,304,268,212,196,190,320,272,334,203,332,220,228,266,248,159,227,148,196,167,303,180,265,242,230,209,204,163,262,280,209,197,201,214,240,308,216,346,166,219,258,316,296,134,184,140,218,267,178,218,180,149,221,279,249,129,204,190,208,262,195,286,219,198,173,294,134,306,84,145,168,240,262,219,161,139,213,222,179,170,275,261,186,161,236,276,232,180,148,187,78,193,256,245,307,183,190,218,265,293,255,177,235,248,252,303,244,218,160,295,286,266,158,178,323,121,359,326,259,114,164,170,194,220,192,171,247,262,259,185,232,152,278,324,205,324,198,132,208,215,298,182,242,214,192,335,225,182,199,342,226,231,223,251,173,275,216,176,185,197,238,167,188,156,179,197,251,186,297,234,176,142,260,173,155,261,164,179,155,195,142,225,249,162,166,195,120,263,200,186,167,226,232,166,82,245,179,169,165,276,200,166,226,275,182,245,158,193,166,158,224,145,204,259,252,247,235,168,154,263,256,264,215,198,211,209,210,160,168,308,161,276,151,208,168,315,157,149,196,148,289,250,320,193,100,239,216,163,159,304,99,221,268,239,168,188,149,170,248,179,213,326,187,339,236,206,209,242,160,244,212,214,183,134,166,213,234,238,229,237,226,221,247,241,223,183,141,95,284,189,306,214,117,98,230,98,68,56,100,120,231,189,96,182,76,40,150,201,120,182,68,314,113,127,87,97,103,134,86,237,107,153,93,61,108,121,338,128,86,109,132,111,112,88,130,71,110,67,59,150,88,69,169,119,74,145,76,168,164,214,36,97,102,243,85,74,157,91,125,110,106,254,77,150,279,88,396,104,185,107,126,111,66,24,85,95,282,59,106,41,71,48,98,104,127,84,167,67,86,146,83,117,121,148,161,111,224,94,107,71,140,64,122,256,97,187,194,80,62,146,77,68,139,39,47,59,101,125,90,71,137,119,106,141,131,227,109,159,248,73,116,132,60,144,100,94,141,92,140,90,119,217,78,262,162,114,134,108,97,36,81,183,247,79,98,101,55,69,86,105,94,112,215,165,118,140,40,80,92,154,70,111,85,88,210,110,134,172,138,168,139,106,60,134,37,129,115,178,171,91,91,52,105,68,100,94,132,97,80,152,63,184,189,218,97,109,122,130,54,205,130,165,87,150,90,184,187,71,73,49,79,303,138,89,96,123,75,75,65,61,137,162,101,82,126,69,72,154,84,150,76,78,146,48,204,87,93,58,122,152,133,160,93,116,63,103,75,112,172,102,151,116,80,88,67,94,118,45,135,162,147,101,90,106,152,182,82,89,130,120,124,71,105,98,63,73,194,96,108,76,180,148,130,134,241,190,161,48,152,52,109,114,291,165,79,90,219,94,115,185,62,96,272,228,301,121,67,125,152,121,78,122,149,92,58,61,79,102,87,178,55,143,174,95,102,68,82,107,88,144,99,125,63,60,75,123,59,85,172,175,78,160,139,150,65,196,257,128,249,190,111,158,131,158,232,116,117,216,113,58,20,85,105,106,154,133,242,165,148,130,208,70,91,129,159,49,105,128,123,89,78,138,253,168,253,115,220,166,287,169,74,59,98,99,173,300,133,85,141,194,120,117,150,150,88,83,143,74,86,84,80,131,100,211,122,215,188,155,75,69,243,81,195,141,76,35,126,111,84,127,106,93,153,106,116,155,128,116,49,195,236,144,95,183,103,115,121,97,127,170,244,284,109,111,156,102,81,95,203,146,65,171,54,127,129,61,152,100,126,76,67,110,100,185,103,127,127,120,51,107,67,141,81,87,151,142,129,121,131,181,160,64,117,72,77,136,170,83,46,112,76,85,84,50,85,308,84,65,74,72,65,152,132,215,121,208,120,80,142,111,83,102,146,119,87,118,175,140,138,49,145,130,118,114,101,188,221,107,164,66,109,92,98,169,183,86,151,102,86,130,102,117,94,89,127,54,39,84,269,98,67,90,136,115,136,77,164,182,111,74,230,168,71,108,174,152,272,91,131,145,153,71,113,117,115,147,72,79,85,175,123,73,99,164,144,99,163,88,154,123,129,159,213,190,135,94,220,212,313,155,308,231,208,172,118,142,70,180,192,189,72,211,237,319,185,107,179,119,168,141,154,241,122,172,146,304,214,114,191,85,175,97,111,116,169,126,123,150,158,109,98,96,105,101,119,83,50,74,107,115,76,105,135,143,115,121,84,152,74,68,83,83,98,60,98,236,205,70,134,198,121,110,109,186,73,78,119,48,85,147,273,106,233,115,121,243,152,183,87,159,145,112,162,104,147,96,111,130,80,58,130,128,167,158,102,241,172,73,87,106,152,91,124,114,75,134,302,156,244,144,70,134,194,64,71,48,100,124,162,179,294,97,85,124,129,75,163,85,243,78,69,137,136,85,106,134,155,159,86,131,184,264,154,98,93,239,107,188,146,116,281,211,187,132,139,132,135,140,136,155,93,147,169,75,70,243,86,162,158,127,112,212,229,110,242,259,123,137,165,160,81,101,100,185,207,69,138,189,108,290,49,72,144,147,121,199,188,129,234,268,215,127,250,157,146,120,110,139,166,131,219,63,162,195,134,112,126,115,55,123,103,45,159,79,210,67,203,174,80,92,70,153,71,106,136,125,116,121,135,182,78,273,159,126,118,187,61,107,136,74,138,61,149,41,122,84,115,155,121,158,111,85,98,238,86,102,112,185,149,214,187,183,261,316,103,89,289,126,107,83,224,132,116,279,141,149,65,194,150,95,104,97,52,10,102,193,233,207,125,146,189,120,136,261,38,112,93,157,155,123,159,16,124,150,110,128,145,75,72,197,169,81,127,129,187,90,188,88,101,191,184,139,200,102,117,74,158,220,226,62,107,284,265,59,44,176,163,69,222,93,131,51,85,81,95,250,180,180,227,102,275,273,53,115,113,105,54,117,192,81,100,109,153,76,129,209,83,170,134,192,249,213,191,122,80,106,115,189,76,100,75,91,175,100,127,59,44,51,77,97,133,131,169,86,215,115,159,159,86,306,95,248,272,188,179,161,84,137,129,245,74,151,31,195,81,71,125,119,213,197,129,105,149,187,231,264,266,125,125,192,114,146,168,46,99,58,81,128,50,135,71,153,115,94,124,156,186,73,233,186,153,131,103,165,139,110,106,154,166,120,116,74,107,89,83,114,96,117,105,259,175,97,225,57,163,128,154,126,107,124,119,66,65,107,134,131,185,247,112,128,189,187,104,236,109,75,278,168,165,226,135,154,107,208,187,86,80,91,133,79,152,123,56,108,147,116,94,169,112,190,141,79,116,268,252,153,127,252,179,191,233,200,131,99,157,192,166,212,27,52,187,94,141,49,138,140,117,161,117,223,88,208,202,183,90,162,160,68,145,261,59,60,95,82,100,49,197,64,197,112,237,101,94,219,125,159,115,55,188,130,110,60,169,259,162,175,119,135,88,101,169,192,170,149,91,91,111,107,147,65,108,126,104,114,27,203,43,91,174,93,186,207,144,288,167,73,66,118,194,155,200,142,93,152,187,189,158,246,118,78,116,124,116,153,68,164,107,135,103,208,84,130,88,204,151,108,122,91,160,299,95,97,130,88,118,167,147,109,99,161,245,173,152,70,54,62,56,173,62,206,86,132,107,68,171,127,154,206,107,91,280,80,217,117,224,88,290,203,28,149,110,156,211,93,125,297,234,109,245,227,24,95,89,76,131,104,74,98,133,214,75,245,126,166,119,92,161,185,114,160,142,168,100,150,78,106,162,144,90,117,71,144,193,142,134,66,101,294,120,136,203,170,97,108,134,120,157,184,105,153,292,152,109,78,304,50,153,71,111,99,155,60,57,92,96,103,234,209,276,243,213,175,135,66,108,225,172,118,101,84,117,149,83,85,74,92,146,204,170,75,199,173,151,83,162,49,65,153,126,117,179,69,131,180,129,211,135,53,149,220,87,124,137,250,282,157,224,207,220,146,157,162,322,181,43,102,175,89,84,110,121,105,194,168,220,90,46,193,173,243,117,100,114,156,149,184,176,182,234,120,265,178,213,126,266,288,64,102,121,77,134,258,132,78,70,85,190,163,320,195,282,176,191,99,138,252,170,185,235,243,188,95,125,78,209,224,180,168,140,143,208,99,197,113,176,184,110,121,69,179,111,106,164,254,113,240,152,122,133,65,168,161,131,180,76,126,107,108,21,109,12,237,110,243,161,192,87,96,163,101,138,190,162,19,40,81,100,75,138,189,124,76,125,311,272,188,60,301,299,139,89,140,164,167,140,138,213,103,176,96,174,124,160,169,319,107,261,242,232,83,156,117,133,49,97,52,223,107,179,110,190,199,198,152,183,191,126,258,195,178,188,228,126,90,73,108,172,216,187,156,166,98,99,135,280,197,271,272,261,116,76,264,171,100,182,157,112,99,131,133,221,191,72,162,66,172,117,237,207,256,49,48,107,114,165,239,162,276,183,141,107,115,111,107,75,209,157,185,128,176,215,220,117,85,115,64,135,186,109,84,84,140,135,215,133,94,131,51,153,103,14,204,203,105,272,188,179,102,48,111,115,39,156,220,121,179,177,298,200,149,83,175,160,50,199,196,150,160,228,180,140,130,91,147,293,141,152,176,80,129,89,271,324,126,206,116,63,72,125,144,66,259,142,104,188,82,112,237,190,159,144,123,102,98,91,134,89,165,275,173,225,85,64,51,229,96,196,75,128,100,169,143,111,71,58,59,28,168,144,122,135,79,124,75,138,128,204,112,55,132,99,118,82,183,156,43,105,164,180,170,173,213,172,152,111,143,218,166,194,197,119,147,276,132,271,116,160,167,65,166,97,129,111,119,111,111,128,221,188,160,128,182,68,112,90,85,229,105,164,72,176,150,230,118,146,162,139,161,168,202,205,33,63,174,18,84,177,131,168,220,114,104,128,161,106,76,157,186,148,169,65,268,155,129,214,87,156,142,226,73,180,237,152,71,63,95,156,148,197,96,116,131,154,106,156,172,300,95,104,92,137,220,124,130,104,89,127,297,237,119,213,54,55,209,84,83,244,137,188,137,174,263,210,248,138,96,75,105,126,125,116,111,183,278,117,201,132,223,189,186,182,95,184,132,306,215,152,132,290,189,234,56,200,176,95,111,141,123,94,114,309,158,306,138,103,175,173,142,153,133,186,85,148,137,107,149,198,276,129,236,174,270,228,106,127,300,287,287,143,251,177,252,220,202,266,69,268,160,64,80,142,186,104,153,245,132,276,126,143,41,140,67,182,312,69,79,111,57,95,108,92,136,161,93,198,92,139,151,134,171,178,184,117,115,135,172,118,283,188,243,304,112,209,74,135,104,122,234,91,97,195,111,234,210,156,243,324,165,143,163,93,111,129,221,88,141,48,94,148,164,164,79,103,248,113,107,129,225,114,53,139,140,163,232,183,194,273,250,107,68,142,122,121,229,85,129,200,138,244,104,107,131,160,73,296,71,134,266,99,149,85,135,179,76,102,94,280,326,168,71,97,81,84,114,116,174,159,81,65,105,210,313,237,188,198,197,125,186,223,40,87,167,143,78,305,263,142,58,172,93,197,191,149,162,181,137,155,81,38,154,139,181,101,177,158,281,133,32,183,158,236,181,214,61,91,97,32,286,277,83,114,81,227,126,220,89,182,111,93,268,122,166,205,292,145,80,213,168,81,91,208,173,196,232,206,206,159,187,163,170,81,141,135,192,200,72,288,118,8,208,124,126,147,110,232,159,125,122,187,136,239,212,86,227,150,77,222,108,149,72,220,234,164,140,255,167,70,201,265,101,125,73,145,151,114,200,133,132,104,50,171,188,278,177,175,223,132,181,158,126,127,150,205,129,61,133,95,75,211,192,110,188,203,153,168,129,62,227,163,137,88,91,157,218,157,148,221,148,215,66,98,81,190,125,110,69,120,84,84,128,245,158,170,337,144,227,248,113,234,135,184,91,134,134,282,250,129,171,128,141,50,92,97,50,72,177,179,126,145,130,245,85,151,132,155,176,94,29,103,194,242,134,154,199,135,254,215,112,61,172,222,128,107,130,104,148,153,125,119,102,150,97,128,233,142,141,198,138,249,123,116,83,103,164,225,304,199,161,135,268,102,117,172,84,115,151,54,166,128,190,165,94,139,151,163,82,138,255,134,154,155,111,62,181,23,167,98,148,95,66,92,127,91,88,146,177,112,147,108,84,124,37,92,207,98,42,89,281,125,16,117,266,279,137,210,160,40,118,201,140,143,106,113,108,93,17,122,95,68,243,136,268,269,129,138,74,194,121,156,133,51,104,122,269,136,256,122,30,191,185,153,181,109,154,120,80,193,72,190,238,271,109,152,189,142,72,79,116,68,109,115,86,82,154,223,275,56,42,88,62,88,187,73,121,132,63,167,190,78,101,165,158,149,36,210,53,208,163,125,50,204,78,313,73,219,274,137,150,220,88,158,181,141,149,179,237,169,90,45,86,73,134,164,117,128,192,239,122,237,195,242,258,199,192,149,153,157,46,73,246,132,149,136,68,78,100,95,236,78,199,159,163,287,198,178,103,263,173,121,295,203,229,166,133,85,112,56,121,108,69,142,261,160,90,151,165,137,189,84,231,133,104,107,100,343,76,100,58,113,23,100,97,193,157,157,109,210,251,83,102,68,167,71,97,261,178,184,104,195,100,63,42,102,169,164,139,17,84,80,294,123,90,137,184,189,225,202,166,148,247,148,127,127,84,238,182,129,116,156,202,119,249,194,209,144,193,211,200,128,237,158,202,232,124,197,198,112,151,305,178,226,98,139,250,122,194,120,112,203,95,176,128,71,106,129,93,146,273,139,222,159,129,142,188,131,200,272,189,271,212,277,74,255,204,92,80,149,267,255,118,279,191,212,98,164,114,124,307,137,168,245,232,324,227,254,295,163,266,268,227,168,248,179,109,240,137,192,172,210,119,88,118,162,211,171,186,92,106,200,174,158,109,153,173,151,140,272,87,109,80,217,167,134,66,216,298,89,126,153,44,72,16,298,125,78,78,79,240,198,143,165,101,58,79,157,76,103,77,167,78,127,145,93,161,236,148,125,119,194,278,130,145,195,257,203,204,105,245,124,148,141,147,62,46,271,85,205,188,277,180,140,184,101,95,154,136,160,74,184,246,95,54,155,219,257,234,256,117,191,148,94,83,270,73,97,109,69,85,93,126,130,66,61,83,41,197,23,111,162,75,102,96,78,245,149,132,111,68,75,157,289,132,60,104,112,81,221,132,230,64,148,229,184,98,54,284,39,229,151,182,73,116,181,71,86,87,117,77,87,287,68,139,104,217,149,107,109,183,88,199,105,120,74,107,101,95,107,123,154,164,31,107,125,120,92,151,157,192,165,184,129,91,62,113,163,153,191,120,265,228,145,133,118,96,59,114,102,102,51,130,212,152,154,146,127,181,138,183,152,37,329,78,133,155,134,227,314,234,284,126,215,174,202,304,195,164,221,136,60,108,125,199,139,104,103,65,125,217,211,257,257,179,210,284,188,160,200,218,86,113,221,235,142,60,298,98,132,88,273,128,143]
 
1
+ [250,202,266,155,193,181,196,214,72,154,229,143,150,293,188,143,148,327,276,219,195,258,88,168,183,225,177,182,212,173,271,266,133,286,299,180,238,290,159,285,174,158,159,281,229,165,193,189,214,239,195,223,128,217,158,265,256,171,236,224,245,302,237,235,124,280,302,199,80,235,303,171,286,278,214,227,185,237,284,255,198,178,233,215,222,137,245,223,161,266,172,230,221,177,258,163,192,222,229,207,255,199,102,174,294,184,156,215,166,233,178,144,266,197,280,183,149,189,142,288,246,248,151,237,287,275,255,233,188,190,237,332,275,230,240,290,324,189,164,249,193,110,249,183,213,198,105,259,218,224,167,112,317,165,174,182,98,179,123,149,217,164,191,100,166,206,211,195,126,166,172,256,184,231,185,304,256,199,280,299,305,247,189,203,300,240,216,197,172,213,232,187,205,294,165,210,166,159,222,135,170,209,151,294,178,212,267,163,257,178,267,255,191,195,171,135,294,227,348,183,230,214,211,139,174,250,294,169,256,208,206,135,119,83,133,212,374,183,162,333,172,260,234,185,267,215,168,100,162,177,194,202,174,189,148,206,167,136,79,280,116,131,172,169,258,171,190,120,197,310,304,317,266,144,224,246,212,180,300,190,208,256,204,195,200,242,217,340,137,224,255,199,312,296,194,200,204,155,235,197,213,222,231,251,216,193,276,270,150,129,166,162,199,249,189,212,287,251,321,265,272,239,220,178,236,184,204,209,295,180,173,211,235,163,179,163,221,293,154,191,239,214,242,119,300,191,137,235,338,155,174,209,161,288,214,164,159,274,178,237,167,232,138,207,202,207,216,237,271,166,287,91,253,157,311,152,272,236,187,155,201,202,184,199,203,290,174,243,202,179,150,262,239,234,199,224,150,256,181,194,205,138,124,267,213,176,290,282,183,203,240,232,226,192,277,212,122,223,128,253,204,276,155,137,267,245,249,283,151,229,176,315,115,291,151,128,320,211,168,162,210,207,131,177,306,296,273,263,255,261,241,207,259,173,165,313,257,261,217,122,159,186,228,175,290,175,192,136,282,161,303,177,207,132,238,157,162,220,221,208,185,209,238,243,265,230,165,89,164,187,336,126,335,261,169,245,188,100,149,234,192,317,283,246,234,256,176,301,177,180,218,280,147,305,218,173,222,157,125,148,209,183,272,213,71,206,201,215,150,237,164,193,268,287,129,236,128,225,328,288,189,326,297,240,113,216,169,198,307,294,254,195,184,167,136,317,213,225,239,271,315,235,171,248,190,245,273,234,195,254,234,230,251,260,267,298,206,234,307,255,179,232,185,168,227,193,174,316,160,210,206,235,185,253,181,203,237,285,282,201,247,156,184,189,221,103,221,275,137,278,183,115,181,179,225,170,169,201,131,190,173,199,129,339,227,241,188,145,234,165,192,221,240,276,215,222,177,225,279,146,306,124,175,283,205,148,218,151,168,326,159,179,228,283,214,324,141,135,130,110,231,222,197,195,202,229,239,204,240,258,197,172,230,235,274,150,207,163,159,153,164,221,236,238,216,272,257,184,146,306,181,198,266,231,226,191,204,253,254,246,151,227,273,296,304,133,133,308,208,116,257,326,184,276,149,253,294,175,231,191,286,179,219,205,176,163,221,252,171,191,276,119,126,227,267,162,299,261,219,174,194,214,209,175,246,223,235,95,264,223,153,276,319,125,220,183,196,157,199,173,293,180,254,196,203,253,154,188,169,166,167,162,298,211,203,180,84,176,315,207,204,216,184,237,251,228,209,214,283,202,184,195,171,204,152,239,264,261,200,219,175,291,257,265,294,207,122,189,204,295,221,195,263,267,340,245,248,147,239,184,262,151,117,193,115,285,269,162,92,243,219,216,124,158,283,289,191,201,169,178,210,256,255,188,207,176,100,185,196,166,204,160,154,251,232,187,101,201,251,273,235,254,203,127,193,121,242,172,264,200,259,162,229,319,180,202,99,168,218,319,216,269,311,317,251,218,120,172,231,275,218,135,231,156,157,233,247,255,35,227,157,179,174,112,170,215,201,283,219,129,240,195,211,244,230,339,175,195,275,239,150,128,187,240,342,232,118,293,79,215,129,254,203,223,215,162,190,121,241,171,88,185,292,184,151,308,165,204,251,142,178,240,202,180,167,181,247,208,170,215,228,210,295,125,172,234,240,308,212,224,160,185,248,241,231,160,291,220,125,174,219,276,159,243,278,186,211,185,254,267,272,176,195,300,190,328,151,214,240,229,190,255,190,255,212,287,221,164,208,154,284,280,231,315,256,196,215,130,204,324,253,284,200,274,177,198,120,246,304,294,232,233,165,286,196,284,255,255,226,245,256,149,178,259,274,183,228,153,292,219,136,230,199,236,194,243,130,142,105,69,270,216,229,304,127,159,323,329,242,183,129,167,99,74,231,155,225,166,253,312,207,324,206,169,274,271,223,210,220,233,244,135,207,184,241,214,146,182,234,158,268,265,160,302,274,270,267,223,194,193,168,201,227,171,192,216,136,193,227,117,185,157,169,245,225,262,302,175,251,129,182,211,186,192,300,188,246,287,180,208,220,186,187,52,217,178,177,208,255,200,272,207,167,218,226,199,150,177,241,226,166,266,264,246,178,299,165,190,155,215,136,97,132,72,113,167,280,189,280,199,244,210,186,240,323,241,233,280,262,280,270,283,142,240,210,99,244,267,278,126,203,101,199,286,229,192,236,102,200,213,130,186,197,284,220,293,260,83,199,277,144,364,237,134,152,134,285,156,273,214,113,212,215,257,214,310,195,262,210,269,177,170,128,216,102,188,201,221,198,263,236,250,257,181,282,298,244,105,172,282,280,210,214,199,184,235,276,247,214,111,217,237,224,114,245,212,274,104,163,230,210,168,228,243,171,87,169,304,295,183,161,207,104,181,255,228,202,88,288,204,226,225,186,201,205,176,195,292,166,299,164,173,162,137,230,218,209,240,298,220,184,213,131,188,156,155,274,161,192,222,292,126,193,172,217,182,221,214,148,208,299,196,233,183,197,178,282,246,227,220,48,147,293,241,275,256,257,155,238,226,286,234,247,181,296,165,260,257,207,287,292,228,268,290,245,189,237,221,248,245,263,270,279,203,200,160,235,158,309,113,329,213,190,196,325,227,250,100,87,195,202,205,255,255,249,187,178,135,274,248,182,270,282,94,183,187,187,121,250,205,152,215,231,182,220,230,231,126,215,217,223,270,160,211,276,236,179,185,163,290,132,173,275,285,136,212,173,218,288,259,135,168,281,162,240,292,199,299,270,132,182,113,268,208,227,243,227,218,233,240,237,313,186,238,322,264,145,196,253,213,261,201,199,125,261,252,252,217,214,158,139,95,254,277,171,323,156,202,186,293,238,190,195,163,294,320,327,167,144,105,304,70,151,156,192,270,116,177,252,139,193,133,229,203,256,202,277,80,268,244,290,178,128,197,263,248,185,289,177,232,140,202,201,149,90,232,133,221,165,189,305,216,210,248,277,204,307,226,274,256,153,235,183,189,200,223,203,182,287,323,192,234,206,222,188,218,247,298,253,172,150,152,209,249,250,154,329,294,223,108,204,223,157,137,250,229,211,321,297,142,199,249,249,162,206,155,106,182,143,272,82,220,174,126,192,223,184,231,306,158,180,118,260,247,199,287,181,158,265,263,211,248,239,308,226,327,247,258,270,127,145,230,178,320,196,275,194,167,173,248,124,159,229,205,220,196,143,237,85,196,204,253,318,242,179,192,234,247,158,322,296,210,123,208,252,248,227,200,177,331,289,335,197,186,158,194,256,184,327,247,155,188,213,196,111,228,221,176,256,227,355,167,224,262,83,276,214,247,243,263,254,175,206,204,267,167,241,294,250,209,220,178,225,145,106,224,177,246,242,248,56,199,245,175,233,213,181,111,289,208,250,251,232,204,204,330,187,303,183,241,220,291,257,248,208,165,321,232,224,249,192,202,227,258,249,119,254,253,155,294,130,122,250,210,293,201,251,289,248,283,141,196,222,185,121,303,283,111,321,257,220,335,235,290,307,197,232,245,204,84,141,230,250,287,249,243,306,162,192,185,292,195,293,234,191,209,214,217,203,246,232,163,137,204,249,227,195,301,335,211,171,301,180,197,182,253,212,225,211,290,181,121,210,210,238,217,234,179,178,283,251,158,162,198,200,306,161,101,220,97,316,240,271,254,211,123,117,195,231,259,227,209,278,226,252,270,221,160,239,46,256,298,266,160,268,269,315,211,298,351,156,269,214,223,284,194,203,112,289,183,198,144,313,232,181,260,221,306,296,230,221,145,117,192,129,255,285,186,171,214,247,151,217,198,165,100,222,152,186,136,144,298,160,273,202,164,206,206,61,199,124,243,159,248,265,226,201,207,217,165,246,292,185,288,221,250,192,162,216,196,136,173,166,196,251,174,171,246,251,188,239,234,235,203,170,310,131,196,225,245,247,308,247,243,182,276,247,258,202,179,230,166,302,245,214,200,210,309,221,132,243,262,229,233,301,206,252,229,217,284,227,212,203,271,314,89,74,156,237,178,160,217,155,234,274,209,189,181,228,157,227,257,193,63,246,209,223,288,255,333,200,162,274,96,262,203,238,228,195,157,238,220,268,228,268,172,177,239,62,243,246,267,170,326,122,144,280,178,226,288,182,237,113,234,169,210,127,176,300,220,171,293,237,196,231,205,271,178,130,262,290,139,109,100,191,145,202,284,121,173,226,327,202,282,194,185,120,236,175,180,114,320,216,163,183,256,224,143,218,254,229,211,177,215,190,240,201,211,240,208,219,305,280,196,174,269,200,242,256,235,230,162,140,218,231,201,154,202,136,224,295,195,167,259,227,202,199,150,273,221,274,160,352,196,166,170,283,221,244,255,195,273,390,109,187,219,274,203,133,251,166,227,218,184,171,98,169,242,245,184,294,153,221,107,174,154,227,206,242,213,173,167,253,191,266,233,237,169,231,254,148,171,228,206,267,289,168,243,203,160,273,205,209,274,235,181,293,176,182,277,69,282,223,304,258,174,180,178,276,285,218,155,178,242,245,175,183,179,223,188,265,206,218,221,331,232,300,178,163,185,232,246,221,157,239,242,193,187,215,272,227,253,165,311,184,208,172,214,146,265,252,254,149,182,202,275,238,164,208,248,216,214,242,299,287,163,158,310,221,216,208,134,275,190,201,182,249,171,208,200,283,271,217,231,188,220,242,196,310,149,141,129,255,179,234,127,132,287,216,213,236,220,116,178,274,193,124,210,227,218,85,232,233,230,214,170,165,335,128,133,219,248,67,200,320,185,261,101,239,169,297,266,204,121,200,265,196,233,275,259,173,155,105,209,217,141,243,254,194,193,214,221,276,193,169,317,236,164,158,281,115,231,226,209,196,190,54,258,151,283,198,203,223,306,257,252,201,153,227,181,236,220,185,243,293,321,280,290,236,191,189,291,112,224,317,128,217,334,187,172,260,179,295,285,298,319,215,278,248,244,135,170,191,167,267,259,179,232,310,211,293,205,242,206,201,249,244,190,216,217,237,191,236,123,239,235,220,273,105,89,189,252,219,162,244,110,166,246,149,197,227,164,172,246,167,164,215,153,189,272,245,171,234,285,290,141,207,146,173,231,238,223,191,226,186,269,188,180,210,203,292,213,214,252,194,234,176,204,210,312,214,143,301,228,216,155,275,234,407,202,196,312,149,181,178,158,156,185,209,206,176,271,351,196,241,193,289,263,242,180,214,240,139,128,321,138,264,295,269,248,184,162,231,325,173,248,131,212,203,158,240,160,261,355,279,234,237,182,177,283,160,214,198,192,220,298,73,331,365,202,184,295,263,168,164,147,190,290,248,189,254,175,252,215,268,217,174,185,212,260,207,204,212,198,278,158,209,136,208,261,200,229,205,145,110,274,229,129,96,159,137,188,178,180,210,213,165,238,175,314,259,192,169,223,221,169,169,130,363,214,212,136,184,155,128,211,251,170,233,214,295,282,172,196,236,277,227,274,282,176,174,123,168,172,179,125,227,270,176,314,180,176,200,205,238,271,135,242,205,224,215,275,213,221,220,292,247,158,185,159,207,324,236,187,238,279,229,136,205,243,260,278,287,342,266,252,292,226,188,285,184,181,216,168,217,140,191,164,212,275,311,240,194,217,194,250,278,321,198,234,231,215,200,220,220,271,203,124,233,193,225,102,201,238,252,195,150,219,196,143,240,218,227,211,171,252,174,249,227,243,240,295,242,272,189,171,189,243,139,317,178,175,158,144,191,241,190,212,264,167,238,206,246,221,163,205,220,212,197,180,290,219,234,178,226,150,272,216,239,218,267,126,190,179,188,320,298,206,255,254,289,121,225,206,222,208,130,279,329,285,126,137,278,255,175,194,258,184,152,230,288,123,219,239,98,261,123,234,288,337,196,262,141,282,227,272,101,171,152,229,194,222,79,134,169,174,207,181,179,139,269,234,127,156,250,226,253,177,182,242,226,183,231,333,145,303,263,148,234,206,277,89,194,229,266,213,177,250,222,298,280,303,209,128,234,244,143,193,231,213,164,270,247,129,250,201,250,243,204,233,103,210,151,243,173,247,265,236,186,197,207,212,281,314,199,137,209,184,213,114,285,329,181,223,156,196,272,189,191,279,148,250,252,143,215,233,148,303,261,335,137,198,242,220,191,270,252,323,157,142,184,235,285,311,280,248,208,173,209,243,129,231,226,216,237,71,196,217,202,252,154,204,270,195,147,265,216,272,236,249,222,199,199,228,232,286,159,157,153,202,145,193,232,247,140,256,174,136,218,276,164,264,258,209,194,188,195,156,73,235,269,172,221,277,332,158,266,235,201,206,237,327,194,178,236,257,188,164,234,186,176,191,222,202,143,164,231,115,159,316,308,278,191,191,182,330,255,125,274,265,302,277,200,236,311,294,241,160,224,224,163,270,225,242,192,247,333,183,179,225,215,282,235,165,222,157,170,309,161,249,261,242,276,214,155,141,320,137,118,99,176,232,339,279,167,201,241,271,239,334,265,232,276,110,209,284,193,142,246,155,247,189,221,131,201,179,142,164,240,304,195,163,215,253,162,187,314,187,163,187,256,297,258,236,146,190,192,207,230,168,184,326,234,218,186,142,239,204,242,224,222,167,205,186,171,204,275,194,216,232,225,232,278,295,237,184,244,233,241,174,234,240,136,303,282,245,329,245,207,139,228,239,207,222,223,327,170,168,176,149,96,282,183,260,293,228,228,189,275,203,104,166,293,190,328,164,222,253,240,229,158,230,251,146,155,124,253,230,151,306,193,197,224,148,265,162,298,132,226,199,196,240,255,205,246,261,229,203,184,152,306,250,241,179,229,168,247,204,212,279,203,209,213,206,117,280,279,168,223,331,274,140,275,257,162,319,265,144,264,189,287,336,263,210,177,137,156,176,159,239,180,279,134,211,189,148,230,262,215,198,265,208,209,148,201,209,369,198,218,161,244,321,294,171,161,231,162,172,177,206,308,277,195,123,125,228,319,195,221,227,200,233,301,122,128,202,236,177,259,180,86,255,203,118,152,236,279,182,190,276,271,257,230,239,314,203,199,203,163,165,204,209,225,199,160,233,218,177,255,318,239,153,156,175,148,201,145,254,293,216,199,194,179,144,321,175,212,148,343,197,279,361,214,203,230,222,163,246,234,287,122,222,196,269,273,175,261,316,267,198,206,184,305,172,234,237,284,113,307,123,200,144,277,243,237,209,192,249,176,260,184,254,266,219,138,215,185,168,191,142,152,253,287,206,214,219,268,305,220,151,218,218,263,312,226,300,195,250,309,279,223,265,278,234,359,206,112,282,239,188,259,229,233,286,169,298,245,160,238,70,190,115,291,199,228,248,279,194,245,172,201,319,219,291,138,312,223,279,181,277,166,227,162,152,157,178,236,245,213,211,193,281,221,160,101,240,192,80,214,222,159,296,330,169,200,158,238,169,264,251,271,112,265,208,208,292,237,166,187,214,195,182,198,108,217,301,293,228,240,172,198,233,154,145,155,248,180,255,231,170,113,222,260,212,309,240,266,223,206,272,163,183,183,168,207,168,211,193,151,279,191,147,231,171,113,293,170,301,121,167,198,190,216,232,269,236,237,198,287,158,306,121,246,206,235,93,246,226,207,165,112,230,207,327,191,264,193,154,271,216,179,69,263,168,260,168,171,354,207,337,278,282,286,257,232,92,223,370,283,254,208,265,227,162,162,235,247,212,305,289,183,180,146,266,311,230,114,313,310,249,291,210,315,262,300,161,242,158,173,236,223,260,135,205,232,232,245,184,220,136,260,319,213,101,256,213,150,121,111,266,243,303,188,170,221,187,242,233,233,283,171,184,195,258,149,213,194,205,166,283,293,186,203,177,279,214,225,262,233,213,243,314,159,172,212,310,311,301,115,277,161,185,220,233,184,218,243,326,182,154,118,172,243,248,189,184,180,243,292,244,185,116,284,256,173,179,273,126,162,260,169,200,200,255,338,256,177,139,226,218,341,180,276,113,258,138,232,221,247,161,156,198,182,134,169,232,177,259,137,296,122,234,179,179,266,268,193,228,286,182,216,191,184,221,171,258,243,250,278,257,247,192,290,324,308,195,229,346,95,164,275,242,334,209,234,215,175,145,212,222,199,211,209,130,160,183,139,274,104,165,174,245,178,164,245,131,163,236,319,285,188,170,210,235,207,240,170,170,167,200,360,180,289,133,262,167,257,162,284,269,213,228,157,159,235,111,244,205,139,323,221,216,129,222,154,148,231,205,262,165,284,187,275,164,236,345,264,367,244,320,193,154,184,246,273,192,195,163,110,260,236,207,300,131,178,291,348,139,247,190,321,273,135,295,170,207,180,156,108,254,168,271,85,317,302,166,155,235,210,303,199,268,127,198,120,224,216,141,175,199,328,127,130,299,272,227,170,239,133,120,265,131,187,88,233,214,212,238,100,238,158,152,202,289,228,153,191,224,166,111,162,250,301,174,287,191,265,151,281,157,172,256,191,257,170,239,312,183,332,164,241,222,178,223,216,182,254,292,223,236,184,283,305,243,222,309,289,123,171,199,229,165,188,272,203,195,192,232,172,198,137,164,206,248,152,200,200,199,287,215,301,199,150,221,237,139,221,285,230,194,150,252,265,186,124,331,170,209,238,331,283,130,201,157,224,279,258,254,144,168,281,160,178,217,189,239,107,99,161,197,231,269,307,168,226,158,269,194,194,284,263,161,249,207,255,131,259,268,192,179,174,265,195,276,150,189,199,189,260,217,219,256,166,202,253,191,260,56,217,221,302,238,224,305,170,158,112,163,263,254,207,291,299,203,216,242,157,279,162,214,168,220,270,279,222,244,229,171,285,260,253,188,256,232,265,221,250,186,190,124,190,329,271,195,305,266,217,258,232,230,351,221,246,165,274,86,213,222,172,366,183,211,191,159,218,255,207,281,113,146,202,123,155,232,192,252,296,216,216,211,257,264,150,212,241,216,241,118,206,186,146,282,133,258,208,220,214,290,201,171,190,203,148,205,167,307,172,245,205,242,288,259,241,208,315,183,219,65,153,252,297,141,181,260,243,219,210,319,99,201,238,223,349,183,300,234,119,251,237,311,192,187,316,255,189,133,216,195,290,237,160,264,190,195,225,133,221,160,190,209,160,354,115,237,183,280,182,333,249,287,205,192,276,213,214,176,240,237,176,271,237,216,204,112,141,183,198,185,199,203,255,290,240,175,236,225,203,271,225,194,254,235,171,201,265,151,201,233,250,220,177,263,265,142,292,314,341,68,274,169,278,106,234,296,308,151,204,181,141,268,152,147,201,218,207,259,210,159,173,160,161,231,301,283,256,158,188,185,173,168,269,193,165,241,244,193,198,276,155,223,107,235,194,194,236,138,172,299,256,194,149,238,109,188,216,164,174,191,204,200,269,182,234,197,187,302,268,215,220,98,129,155,237,161,251,150,236,198,260,191,303,188,118,242,180,212,177,189,69,232,80,293,137,227,94,248,218,193,166,160,284,206,221,76,181,207,211,202,237,311,67,158,116,203,242,78,172,199,189,211,309,260,181,262,241,214,212,154,265,150,106,162,136,300,273,291,241,133,134,237,178,201,238,237,212,216,161,266,124,229,319,256,245,152,351,251,290,218,310,295,254,232,212,301,230,181,147,251,247,284,323,219,273,211,271,223,236,163,209,203,148,185,286,210,215,221,296,225,291,264,281,260,216,246,214,257,236,230,107,184,76,205,258,251,200,181,303,156,287,259,239,214,279,197,205,219,270,171,261,195,223,116,267,182,236,228,286,177,204,217,157,317,141,230,177,146,191,235,158,201,157,269,226,185,70,204,122,266,190,274,203,214,159,183,143,204,227,145,279,242,261,162,326,197,301,247,214,283,186,245,237,247,205,248,226,207,161,184,287,253,332,206,350,148,242,132,196,248,122,239,224,327,303,233,184,237,197,237,193,328,195,227,300,230,214,155,187,186,199,304,291,309,248,151,161,230,168,235,128,263,237,188,217,157,241,270,261,270,194,279,191,164,117,240,142,278,185,181,241,126,245,279,214,194,189,201,215,280,191,193,96,225,156,163,124,108,156,145,204,166,245,283,129,209,304,187,338,214,151,246,305,326,191,205,251,173,169,198,179,229,232,192,206,312,230,197,104,311,212,236,247,114,233,120,298,213,245,189,253,166,191,234,94,116,243,217,292,235,308,225,117,156,270,234,310,174,158,167,176,209,133,171,278,212,192,172,341,189,187,297,365,210,260,140,224,168,231,256,211,232,181,236,198,275,243,145,133,188,273,118,174,194,173,299,257,144,207,252,185,141,182,168,217,102,201,221,168,204,118,290,225,106,202,158,218,298,212,262,173,206,176,146,146,132,144,198,232,114,125,149,225,232,193,111,177,180,171,157,340,331,237,270,188,186,217,273,239,163,169,142,263,300,261,213,259,327,244,177,233,265,307,252,169,286,175,238,224,263,271,255,215,241,98,249,164,114,215,215,121,158,157,225,288,325,202,136,286,263,311,327,202,256,210,157,220,207,320,278,233,211,186,199,250,131,311,199,210,301,257,192,276,153,100,164,305,257,201,308,123,162,226,169,289,288,278,221,202,267,243,148,110,138,222,268,183,155,103,237,128,311,201,284,179,323,208,232,299,217,210,235,196,151,151,248,162,311,213,189,252,235,295,165,284,183,236,165,250,183,174,277,254,250,228,198,138,201,175,170,192,275,131,145,275,268,150,233,269,293,256,112,208,269,154,277,175,165,291,193,220,191,148,163,194,261,279,270,248,211,253,202,173,230,171,252,120,256,163,108,224,155,195,174,187,212,219,339,299,241,198,179,166,171,235,188,150,238,217,295,184,198,187,216,230,114,266,160,305,219,223,276,107,215,172,194,158,136,118,170,137,301,279,259,177,108,288,285,203,171,212,182,247,186,202,286,302,253,179,273,168,189,246,119,171,164,275,164,188,203,160,209,238,245,258,228,257,110,153,184,202,232,193,294,269,211,330,108,265,319,243,250,293,305,307,306,301,126,198,75,144,128,159,207,202,267,307,245,300,167,156,197,329,260,208,233,196,218,256,284,198,217,287,243,208,202,184,136,192,139,214,259,271,280,141,171,224,302,248,185,227,221,205,130,189,175,134,281,109,320,145,126,312,262,167,287,322,166,269,208,155,326,294,146,249,248,156,250,213,220,198,46,100,212,218,163,187,214,129,99,263,110,288,270,150,161,187,137,271,198,191,200,287,248,209,148,313,311,320,252,202,317,126,275,206,267,278,262,184,187,307,161,182,222,198,281,252,150,243,247,170,243,181,137,304,246,212,195,145,216,241,263,222,273,220,203,212,245,221,253,145,150,186,267,231,311,247,267,153,221,173,170,114,259,339,205,261,186,209,305,275,225,235,191,158,288,165,238,253,81,213,271,209,177,299,292,184,244,280,207,172,245,274,150,197,208,254,137,284,180,192,322,268,253,171,229,206,213,305,219,294,298,217,154,224,294,278,258,235,291,147,237,168,185,306,256,224,165,185,231,187,170,247,141,205,173,164,319,195,151,184,232,182,256,208,203,306,262,200,267,70,227,167,215,174,219,228,228,264,126,211,220,236,144,132,263,256,130,211,186,264,174,179,170,195,298,170,170,183,236,58,331,268,304,268,212,196,190,320,272,334,203,332,220,228,266,248,159,227,148,196,167,303,180,265,242,230,209,204,163,262,280,209,197,201,214,240,308,216,346,166,219,258,316,296,134,184,140,218,267,178,218,180,149,221,279,249,129,204,190,208,262,195,286,219,198,173,294,134,306,84,145,168,240,262,219,161,139,213,222,179,170,275,261,186,161,236,276,232,180,148,187,78,193,256,245,307,183,190,218,265,293,255,177,235,248,252,303,244,218,160,295,286,251,158,178,323,121,359,324,259,114,164,170,192,220,192,171,247,262,259,185,232,152,278,324,205,324,198,132,208,215,298,182,242,214,192,335,225,182,199,342,226,231,223,251,173,275,216,176,185,197,238,167,188,156,179,197,251,186,297,234,176,142,260,173,155,261,164,179,155,195,142,225,249,162,166,195,120,263,200,186,167,226,232,166,82,245,179,169,165,276,200,166,226,275,182,245,158,193,166,158,224,145,204,259,252,247,235,168,154,263,256,264,215,198,211,209,210,160,168,308,161,276,151,208,168,315,157,149,196,148,289,250,320,193,100,239,216,163,159,304,99,221,268,239,168,188,149,170,248,179,213,326,187,339,236,206,209,242,160,244,212,214,183,134,166,213,234,238,229,237,226,221,247,241,223,183,201,257,269,207,128,266,267,148,165,263,190,252,318,96,161,164,178,163,189,201,191,174,229,206,111,140,194,292,266,215,177,319,204,238,194,241,161,151,241,314,207,295,165,244,216,143,194,196,189,209,184,311,184,238,234,251,194,186,244,233,190,166,260,151,179,276,180,205,260,196,171,290,222,204,260,220,201,224,220,126,299,202,179,229,210,262,280,266,197,262,229,218,110,224,130,305,254,192,241,331,180,121,246,226,283,225,244,184,172,267,290,222,241,248,137,257,240,309,164,259,262,276,186,231,163,124,197,166,257,251,155,277,220,277,292,202,198,193,172,242,252,164,198,238,200,211,240,264,215,216,166,221,211,194,192,75,195,209,325,208,153,203,106,318,124,220,201,221,146,177,225,255,216,176,257,178,260,202,244,174,295,176,195,286,243,249,172,198,152,91,219,150,199,204,197,306,177,227,186,240,328,147,194,174,209,149,228,186,184,215,194,168,257,132,211,163,193,198,212,207,213,145,175,211,196,287,190,243,358,158,220,188,239,182,161,239,198,241,105,257,211,90,159,253,161,261,154,157,132,333,177,242,185,121,166,247,241,161,345,192,273,160,227,176,124,159,229,285,271,186,180,155,148,207,270,236,212,170,310,251,218,159,205,267,231,180,79,294,240,321,310,236,73,217,241,79,167,148,177,153,225,275,208,162,180,241,310,219,271,242,210,124,283,195,275,217,110,162,141,283,135,248,199,248,183,254,120,195,232,235,262,176,185,135,163,211,181,170,269,291,166,199,145,256,220,185,203,151,213,157,107,156,255,228,209,286,205,114,232,120,296,198,340,317,232,211,271,206,180,294,226,193,228,174,188,133,212,149,201,253,274,233,223,227,259,153,232,170,164,180,171,163,71,202,218,213,302,179,197,256,293,256,207,138,220,175,192,290,210,268,155,105,158,145,192,147,195,200,400,190,222,259,347,309,119,205,300,166,168,274,248,221,148,236,238,291,134,109,188,273,249,190,258,258,174,130,240,215,207,113,247,176,277,230,296,156,122,267,129,241,224,103,270,230,264,229,207,208,156,221,195,254,223,153,224,255,281,143,217,275,261,159,236,219,237,232,223,142,181,262,257,252,216,134,107,240,200,147,121,197,226,226,211,230,130,184,240,212,310,153,163,185,316,258,237,297,240,254,174,174,273,206,293,251,169,212,199,103,195,225,176,122,288,189,192,212,194,215,205,204,167,268,230,324,212,112,171,213,295,122,222,186,191,187,270,167,206,147,189,238,138,274,244,175,239,218,200,205,173,294,192,296,77,172,237,128,201,267,171,166,241,257,243,92,210,182,171,205,227,347,79,75,305,328,144,306,200,243,187,315,184,273,220,180,222,285,197,131,270,166,223,199,233,203,354,261,233,232,241,177,234,284,213,253,204,166,235,176,239,185,313,165,181,155,334,216,341,289,291,199,245,175,210,207,263,355,353,235,286,258,218,238,212,213,306,222,218,220,148,267,230,239,291,346,130,255,254,325,175,142,245,199,118,317,206,169,260,264,180,131,199,293,121,199,134,265,137,170,248,182,192,331,184,171,182,109,204,91,231,72,209,192,262,154,208,268,147,95,289,176,209,187,194,200,254,169,144,213,222,188,259,212,234,241,154,307,204,114,143,241,203,178,141,201,213,194,384,369,210,158,273,235,347,215,313,221,214,100,116,168,249,127,84,314,257,166,296,245,16,91,213,249,134,236,283,336,269,105,259,206,37,208,19,263,320,103,260,348,266,151,236,306,200,228,172,118,250,166,152,172,197,207,218,150,182,258,213,181,241,178,101,133,219,140,188,192,154,146,163,219,261,239,161,200,141,247,312,267,129,231,236,332,120,256,130,177,188,276,174,196,182,202,156,206,188,222,241,239,174,203,226,231,142,183,229,214,168,208,222,114,176,184,133,157,218,326,182,208,200,268,272,116,160,186,174,212,172,304,139,228,173,225,329,176,174,200,138,169,178,203,178,134,186,210,181,178,240,169,220,204,165,211,94,184,258,282,163,243,269,218,210,191,174,289,211,192,153,187,205,282,175,254,151,174,179,297,192,305,92,135,209,215,176,278,191,204,200,302,226,280,242,308,216,189,351,266,144,232,137,262,195,171,127,167,174,196,224,158,167,211,221,180,271,168,114,160,302,209,223,193,151,306,210,221,137,124,307,221,211,209,166,178,320,204,311,227,319,144,267,323,191,243,326,170,205,183,242,301,193,173,329,168,234,291,218,265,197,256,183,167,324,225,126,250,258,245,220,244,301,250,263,307,283,256,274,177,114,240,200,110,265,293,204,326,344,151,114,252,238,422,237,242,213,193,168,172,112,234,286,208,153,261,129,203,148,325,248,229,147,188,236,368,144,249,241,216,338,209,205,166,151,145,209,98,283,167,149,179,183,307,241,56,260,254,205,299,227,237,343,170,231,266,172,169,352,242,166,214,264,267,161,105,220,328,296,123,196,224,231,245,235,170,253,180,193,344,211,250,230,226,221,260,191,154,273,226,211,297,289,207,129,163,188,194,266,170,195,121,186,213,210,169,233,165,196,236,240,205,200,283,247,219,297,201,342,194,299,129,178,259,227,289,193,251,220,247,156,199,161,168,261,231,129,262,156,280,171,230,185,227,167,225,239,153,268,210,172,243,242,191,134,159,188,296,310,293,189,179,152,279,233,161,184,106,243,306,90,287,200,203,242,198,154,212,234,197,262,191,242,110,291,146,107,123,247,218,223,175,234,246,196,187,230,199,263,242,207,226,256,166,184,190,300,282,61,217,319,284,173,163,267,294,143,246,262,121,227,213,129,201,246,253,205,211,260,271,187,89,222,105,215,183,149,228,291,227,159,102,164,255,307,249,245,249,276,205,163,183,136,236,128,177,160,199,201,140,167,211,210,318,202,158,207,190,174,211,157,193,224,296,259,230,142,188,115,122,110,299,277,250,129,195,234,221,151,174,272,176,253,157,67,220,197,206,178,217,277,210,183,227,182,210,314,228,207,149,326,241,243,189,206,224,201,192,260,261,181,331,256,232,257,198,162,202,191,219,232,137,320,262,222,220,177,236,268,240,221,288,164,181,225,278,220,138,81,236,344,138,275,203,236,139,150,278,173,339,132,313,210,235,197,194,234,231,191,279,217,181,188,297,266,300,182,321,169,232,210,289,235,123,187,255,190,159,325,173,297,278,188,296,202,289,304,138,196,193,252,235,302,238,114,217,230,185,344,241,181,165,241,254,193,275,231,319,242,161,128,221,337,120,268,147,203,187,125,259,229,220,253,170,164,330,247,139,191,199,375,338,240,281,257,269,296,204,246,151,159,184,241,141,95,284,189,306,214,117,98,230,98,68,56,100,120,231,189,96,182,76,40,150,201,120,182,68,314,113,127,87,97,103,134,86,237,107,153,93,61,108,121,338,128,86,109,132,111,112,88,130,71,110,67,59,150,88,69,169,119,74,145,76,168,164,214,36,97,102,243,85,74,157,91,125,110,106,254,77,150,279,88,396,104,185,107,126,111,66,24,85,95,282,59,106,41,71,48,98,104,127,84,167,67,86,146,83,117,121,148,161,111,224,94,107,71,140,64,122,256,97,187,194,80,62,146,77,68,139,39,47,59,101,125,90,71,137,119,106,141,131,227,109,159,248,73,116,132,60,144,100,94,141,92,140,90,119,217,78,262,162,114,134,108,97,36,81,183,247,79,98,101,55,69,86,105,94,112,215,165,118,140,40,80,92,154,70,111,85,88,210,110,134,172,138,168,139,106,60,134,37,129,115,178,171,91,91,52,105,68,100,94,132,97,80,152,63,184,189,218,97,109,122,130,54,205,130,165,87,150,90,184,187,71,73,49,79,303,138,89,96,123,75,75,65,61,137,162,101,82,126,69,72,154,84,150,76,78,146,48,204,87,93,58,122,152,133,160,93,116,63,103,75,112,172,102,151,116,80,88,67,94,118,45,135,162,147,101,90,106,152,182,82,89,130,120,124,71,105,98,63,73,194,96,108,76,180,148,130,134,241,190,161,48,152,52,109,114,291,165,79,90,219,94,115,185,62,96,272,228,301,121,67,125,152,121,78,122,149,92,58,61,79,102,87,178,55,143,174,95,102,68,82,107,88,144,99,125,63,60,75,123,59,85,172,175,78,160,139,150,65,196,257,128,249,190,111,158,131,158,232,116,117,216,113,58,20,85,105,106,154,133,242,165,148,130,208,70,91,129,159,49,105,128,123,89,78,138,253,168,253,115,220,166,287,169,74,59,98,99,173,300,133,85,141,194,120,117,150,150,88,83,143,74,86,84,80,131,100,211,122,215,188,155,75,69,243,81,195,141,76,35,126,111,84,127,106,93,153,106,116,155,128,116,49,195,236,144,95,183,103,115,121,97,127,170,244,284,109,111,156,102,81,95,203,146,65,171,54,127,129,61,152,100,126,76,67,110,100,185,103,127,127,120,51,107,67,141,81,87,151,142,129,121,131,181,160,64,117,72,77,136,170,83,46,112,76,85,84,50,85,308,84,65,74,72,65,152,132,215,121,208,120,80,142,111,83,102,146,119,87,118,175,140,138,49,145,130,118,114,101,188,221,107,164,66,109,92,98,169,183,86,151,102,86,130,102,117,94,89,127,54,39,84,269,98,67,90,136,115,136,77,164,182,111,74,230,168,71,108,174,152,272,91,131,145,153,71,113,117,115,147,72,79,85,175,123,73,99,164,144,99,163,88,154,123,129,159,213,190,135,94,220,212,313,155,308,231,208,172,118,142,70,180,192,189,72,211,237,319,185,107,179,119,168,141,154,241,122,172,146,304,214,114,191,85,175,97,111,116,169,126,123,150,158,109,98,96,105,101,119,83,50,74,107,115,76,105,135,143,115,121,84,152,74,68,83,83,98,60,98,236,205,70,134,198,121,110,109,186,73,78,119,48,85,147,273,106,233,115,121,243,152,183,87,159,145,112,162,104,147,96,111,130,80,58,130,128,167,158,102,241,172,73,87,106,152,91,124,114,75,134,302,156,244,144,70,134,194,64,71,48,100,124,162,179,294,97,85,124,129,75,163,85,243,78,69,137,136,85,106,134,155,159,86,131,184,264,154,98,93,239,107,188,146,116,281,211,187,132,139,132,135,140,136,155,93,147,169,75,70,243,86,162,158,127,112,212,229,110,242,259,123,137,165,160,81,101,100,185,207,69,138,189,108,290,49,72,144,147,121,199,188,129,234,268,215,127,250,157,146,120,110,139,166,131,219,63,162,195,134,112,126,115,55,123,103,45,159,79,210,67,203,174,80,92,70,153,71,106,136,125,116,121,135,182,78,273,159,126,118,187,61,107,136,74,138,61,149,41,122,84,115,155,121,158,111,85,98,238,86,102,112,185,149,214,187,183,261,316,103,89,289,126,107,83,224,132,116,279,141,149,65,194,150,95,104,97,52,10,102,193,233,207,125,146,189,120,136,261,38,112,93,157,155,123,159,16,124,150,110,128,145,75,72,197,169,81,127,129,187,90,188,88,101,191,184,139,200,102,117,74,158,220,226,62,107,284,265,59,44,176,163,69,222,93,131,51,85,81,95,250,180,180,227,102,275,273,53,115,113,105,54,117,192,81,100,109,153,76,129,209,83,170,134,192,249,213,191,122,80,106,115,189,76,100,75,91,175,100,127,59,44,51,77,97,133,131,169,86,215,115,159,159,86,306,95,248,272,188,179,161,84,137,129,245,74,151,31,195,81,71,125,119,213,197,129,105,149,187,231,264,266,125,125,192,114,146,168,46,99,58,81,128,50,135,71,153,115,94,124,156,186,73,233,186,153,131,103,165,139,110,106,154,166,120,116,74,107,89,83,114,96,117,105,259,175,97,225,57,163,128,154,126,107,124,119,66,65,107,134,131,185,247,112,128,189,187,104,236,109,75,278,168,165,226,135,154,107,208,187,86,80,91,133,79,152,123,56,108,147,116,94,169,112,190,141,79,116,268,252,153,127,252,179,191,233,200,131,99,157,192,166,212,27,52,187,94,141,49,138,140,117,161,117,223,88,208,202,183,90,162,160,68,145,261,59,60,95,82,100,49,197,64,197,112,237,101,94,219,125,159,115,55,188,130,110,60,169,259,162,175,119,135,88,101,169,192,170,149,91,91,111,107,147,65,108,126,104,114,27,203,43,91,174,93,186,207,144,288,167,73,66,118,194,155,200,142,93,152,187,189,158,246,118,78,116,124,116,153,68,164,107,135,103,208,84,130,88,204,151,108,122,91,160,299,95,97,130,88,118,167,147,109,99,161,245,173,152,70,54,62,56,173,62,206,86,132,107,68,171,127,154,206,107,91,280,80,217,117,224,88,290,203,28,149,110,156,211,93,125,297,234,109,245,227,24,95,89,76,131,104,74,98,133,214,75,245,126,166,119,92,161,185,114,160,142,168,100,150,78,106,162,144,90,117,71,144,193,142,134,66,101,294,120,136,203,170,97,108,134,120,157,184,105,153,292,152,109,78,304,50,153,71,111,99,155,60,57,92,96,103,234,209,276,243,213,175,135,66,108,225,172,118,101,84,117,149,83,85,74,92,146,204,170,75,199,173,151,83,162,49,65,153,126,117,179,69,131,180,129,211,135,53,149,220,87,124,137,250,282,157,224,207,220,146,157,162,322,181,43,102,175,89,84,110,121,105,194,168,220,90,46,193,173,243,117,100,114,156,149,184,176,182,234,120,265,178,213,126,266,288,64,102,121,77,134,258,132,78,70,85,190,163,320,195,282,176,191,99,138,252,170,185,235,243,188,95,125,78,209,224,180,168,140,143,208,99,197,113,176,184,110,121,69,179,111,106,164,254,113,240,152,122,133,65,168,161,131,180,76,126,107,108,21,109,12,237,110,243,161,192,87,96,163,101,138,190,162,19,40,81,100,75,138,189,124,76,125,311,272,188,60,301,299,139,89,140,164,167,140,138,213,103,176,96,174,124,160,169,319,107,261,242,232,83,156,117,133,49,97,52,223,107,179,110,190,199,198,152,183,191,126,258,195,178,188,228,126,90,73,108,172,216,187,156,166,98,99,135,280,197,271,272,261,116,76,264,171,100,182,157,112,99,131,133,221,191,72,162,66,172,117,237,207,256,49,48,107,114,165,239,162,276,183,141,107,115,111,107,75,209,157,185,128,176,215,220,117,85,115,64,135,186,109,84,84,140,135,215,133,94,131,51,153,103,14,204,203,105,272,188,179,102,48,111,115,39,156,220,121,179,177,298,200,149,83,175,160,50,199,196,150,160,228,180,140,130,91,147,293,141,152,176,80,129,89,271,324,126,206,116,63,72,125,144,66,259,142,104,188,82,112,237,190,159,144,123,102,98,91,134,89,165,275,173,225,85,64,51,229,96,196,75,128,100,169,143,111,71,58,59,28,168,144,122,135,79,124,75,138,128,204,112,55,132,99,118,82,183,156,43,105,164,180,170,173,213,172,152,111,143,218,166,194,197,119,147,276,132,271,116,160,167,65,166,97,129,111,119,111,111,128,221,188,160,128,182,68,112,90,85,229,105,164,72,176,150,230,118,146,162,139,161,168,202,205,33,63,174,18,84,177,131,168,220,114,104,128,161,106,76,157,186,148,169,65,268,155,129,214,87,156,142,226,73,180,237,152,71,63,95,156,148,197,96,116,131,154,106,156,172,300,95,104,92,137,220,124,130,104,89,127,297,237,119,213,54,55,209,84,83,244,137,188,137,174,263,210,248,138,96,75,105,126,125,116,111,183,278,117,201,132,223,189,186,182,95,184,132,306,215,152,132,290,189,234,56,200,176,95,111,141,123,94,114,309,158,306,138,103,175,173,142,153,133,186,85,148,137,107,149,198,276,129,236,174,270,228,106,127,300,287,287,143,251,177,252,220,202,266,69,268,160,64,80,142,186,104,153,245,132,276,126,143,41,140,67,182,312,69,79,111,57,95,108,92,136,161,93,198,92,139,151,134,171,178,184,117,115,135,172,118,283,188,243,304,112,209,74,135,104,122,234,91,97,195,111,234,210,156,243,324,165,143,163,93,111,129,221,88,141,48,94,148,164,164,79,103,248,113,107,129,225,114,53,139,140,163,232,183,194,273,250,107,68,142,122,121,229,85,129,200,138,244,104,107,131,160,73,296,71,134,266,99,149,85,135,179,76,102,94,280,326,168,71,97,81,84,114,116,174,159,81,65,105,210,313,237,188,198,197,125,186,223,40,87,167,143,78,305,263,142,58,172,93,197,191,149,162,181,137,155,81,38,154,139,181,101,177,158,281,133,32,183,158,236,181,214,61,91,97,32,286,277,83,114,81,227,126,220,89,182,111,93,268,122,166,205,292,145,80,213,168,81,91,208,173,196,232,206,206,159,187,163,170,81,141,135,192,200,72,288,118,8,208,124,126,147,110,232,159,125,122,187,136,239,212,86,227,150,77,222,108,149,72,220,234,164,140,255,167,70,201,265,101,125,73,145,151,114,200,133,132,104,50,171,188,278,177,175,223,132,181,158,126,127,150,205,129,61,133,95,75,211,192,110,188,203,153,168,129,62,227,163,137,88,91,157,218,157,148,221,148,215,66,98,81,190,125,110,69,120,84,84,128,245,158,170,337,144,227,248,113,234,135,184,91,134,134,282,250,129,171,128,141,50,92,97,50,72,177,179,126,145,130,245,85,151,132,155,176,94,29,103,194,242,134,154,199,135,254,215,112,61,172,222,128,107,130,104,148,153,125,119,102,150,97,128,233,142,141,198,138,249,123,116,83,103,164,225,304,199,161,135,268,102,117,172,84,115,151,54,166,128,190,165,94,139,151,163,82,138,255,134,154,155,111,62,181,23,167,98,148,95,66,92,127,91,88,146,177,112,147,108,84,124,37,92,207,98,42,89,281,125,16,117,266,279,137,210,160,40,118,201,140,143,106,113,108,93,17,122,95,68,243,136,268,269,129,138,74,194,121,156,133,51,104,122,269,136,256,122,30,191,185,153,181,109,154,120,80,193,72,190,238,271,109,152,189,142,72,79,116,68,109,115,86,82,154,223,275,56,42,88,62,88,187,73,121,132,63,167,190,78,101,165,158,149,36,210,53,208,163,125,50,204,78,313,73,219,274,137,150,220,88,158,181,141,149,179,237,169,90,45,86,73,134,164,117,128,192,239,122,237,195,242,258,199,192,149,153,157,46,73,246,132,149,136,68,78,100,95,236,78,199,159,163,287,198,178,103,263,173,121,295,203,229,166,133,85,112,56,121,108,69,142,261,160,90,151,165,137,189,84,231,133,104,107,100,343,76,100,58,113,23,100,97,193,157,157,109,210,251,83,102,68,167,71,97,261,178,184,104,195,100,63,42,102,169,164,139,17,84,80,294,123,90,137,184,189,225,202,166,148,247,148,127,127,84,238,182,129,116,156,202,119,249,194,209,144,193,211,200,128,237,158,202,232,124,197,198,112,151,305,178,226,98,139,250,122,194,120,112,203,95,176,128,71,106,129,93,146,273,139,222,159,129,142,188,131,200,272,189,271,212,277,74,255,204,92,80,149,267,255,118,279,191,212,98,164,114,124,307,137,168,245,232,324,227,254,295,163,266,268,227,168,248,179,109,240,137,192,172,210,119,88,118,162,211,171,186,92,106,200,174,158,109,153,173,151,140,272,87,109,80,217,167,134,66,216,298,89,126,153,44,72,16,298,125,78,78,79,240,198,143,165,101,58,79,157,76,103,77,167,78,127,145,93,161,236,148,125,119,194,278,130,145,195,257,203,204,105,245,124,148,141,147,62,46,271,85,205,188,277,180,140,184,101,95,154,136,160,74,184,246,95,54,155,219,257,234,256,117,191,148,94,83,270,73,97,109,69,85,93,126,130,66,61,83,41,197,23,111,162,75,102,96,78,245,149,132,111,68,75,157,289,132,60,104,112,81,221,132,230,64,148,229,184,98,54,284,39,229,151,182,73,116,181,71,86,87,117,77,87,287,68,139,104,217,149,107,109,183,88,199,105,120,74,107,101,95,107,123,154,164,31,107,125,120,92,151,157,192,165,184,129,91,62,113,163,153,191,120,265,228,145,133,118,96,59,114,102,102,51,130,212,152,154,146,127,181,138,183,152,37,329,78,133,155,134,227,314,234,284,126,215,174,202,304,195,164,221,136,60,108,125,199,139,104,103,65,125,217,211,257,257,179,210,284,188,160,200,218,86,113,221,235,142,60,298,98,132,88,273,128,143]