Spaces:
Running
Running
initial full commit 29 Feb 2024
Browse filesThis view is limited to 50 files because it contains too many changes.
See raw diff
- .gitattributes +2 -0
- app.py +66 -0
- colbert/indexes/arxiv_colbert/0.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/0.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/0.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/1.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/1.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/1.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/10.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/10.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/10.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/11.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/11.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/11.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/12.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/12.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/12.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/13.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/13.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/13.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/2.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/2.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/2.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/3.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/3.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/3.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/4.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/4.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/4.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/5.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/5.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/5.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/6.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/6.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/6.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/7.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/7.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/7.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/8.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/8.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/8.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/9.codes.pt +3 -0
- colbert/indexes/arxiv_colbert/9.metadata.json +6 -0
- colbert/indexes/arxiv_colbert/9.residuals.pt +3 -0
- colbert/indexes/arxiv_colbert/avg_residual.pt +3 -0
- colbert/indexes/arxiv_colbert/buckets.pt +3 -0
- colbert/indexes/arxiv_colbert/centroids.pt +3 -0
- colbert/indexes/arxiv_colbert/collection.json +3 -0
- colbert/indexes/arxiv_colbert/docid_metadata_map.json +3 -0
- colbert/indexes/arxiv_colbert/doclens.0.json +1 -0
.gitattributes
CHANGED
@@ -33,3 +33,5 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
|
|
33 |
*.zip filter=lfs diff=lfs merge=lfs -text
|
34 |
*.zst filter=lfs diff=lfs merge=lfs -text
|
35 |
*tfevents* filter=lfs diff=lfs merge=lfs -text
|
|
|
|
|
|
33 |
*.zip filter=lfs diff=lfs merge=lfs -text
|
34 |
*.zst filter=lfs diff=lfs merge=lfs -text
|
35 |
*tfevents* filter=lfs diff=lfs merge=lfs -text
|
36 |
+
colbert/indexes/arxiv_colbert/collection.json filter=lfs diff=lfs merge=lfs -text
|
37 |
+
colbert/indexes/arxiv_colbert/docid_metadata_map.json filter=lfs diff=lfs merge=lfs -text
|
app.py
ADDED
@@ -0,0 +1,66 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
import torch
|
2 |
+
import transformers
|
3 |
+
import gradio as gr
|
4 |
+
from ragatouille import RAGPretrainedModel
|
5 |
+
from huggingface_hub import InferenceClient
|
6 |
+
|
7 |
+
client = InferenceClient("mistralai/Mixtral-8x7B-Instruct-v0.1")
|
8 |
+
|
9 |
+
generate_kwargs = dict(
|
10 |
+
temperature = None,
|
11 |
+
max_new_tokens = 512,
|
12 |
+
top_p = None,
|
13 |
+
do_sample = False,
|
14 |
+
)
|
15 |
+
|
16 |
+
RAG = RAGPretrainedModel.from_index("colbert/indexes/arxiv_colbert")
|
17 |
+
|
18 |
+
mark_text = '# 📚 Search Results\n'
|
19 |
+
|
20 |
+
def rag_cleaner(inp):
|
21 |
+
rank = inp['rank']
|
22 |
+
title = inp['document_metadata']['title']
|
23 |
+
content = inp['content']
|
24 |
+
return f"{rank}. <b> {title} </b> \n Abstract: {content}"
|
25 |
+
|
26 |
+
def get_prompt_text(question, context, formatted = True):
|
27 |
+
if formatted:
|
28 |
+
sys_instruction = f"Context:\n {context} \n Given the following scientific paper abstracts, take a deep breath and lets think step by step to answer what the question. Cite the titles of your sources when answering."
|
29 |
+
message = f"Question: {question}"
|
30 |
+
return f"<s>" + f"[INST] {sys_instruction} " + f" {message} [/INST] </s> "
|
31 |
+
return f"Context:\n {context} \n Given the following info, take a deep breath and lets think step by step to answer the question: {question}. Cite the titles of your sources when answering.\n\n"
|
32 |
+
|
33 |
+
def get_references(question, retriever, k = 10):
|
34 |
+
rag_out = retriever.search(query=question, k=k)
|
35 |
+
return rag_out
|
36 |
+
|
37 |
+
def get_rag(message):
|
38 |
+
return get_references(message, RAG)
|
39 |
+
|
40 |
+
with gr.Blocks(theme = gr.themes.Soft()) as demo:
|
41 |
+
with gr.Group():
|
42 |
+
msg = gr.Textbox(label = 'Search')
|
43 |
+
output_text = gr.Textbox(show_label = True, container = True, label = 'LLM Answer', visible = True)
|
44 |
+
input = gr.Textbox(show_label = False, visible = False)
|
45 |
+
gr_md = gr.Markdown(mark_text)
|
46 |
+
|
47 |
+
def update_with_rag_md(message):
|
48 |
+
rag_out = get_rag(message)
|
49 |
+
md_text_updated = mark_text
|
50 |
+
for i in range(10):
|
51 |
+
rag_answer = rag_out[i]
|
52 |
+
title = rag_answer['document_metadata']['title'].replace('\n','')
|
53 |
+
paper_title = f'''### [{title}](https://arxiv.org/abs/{rag_answer['document_id']})\n'''
|
54 |
+
paper_abs = rag_answer['content']
|
55 |
+
md_text_updated += paper_title + paper_abs + '\n---------------\n'+ '\n'
|
56 |
+
prompt = get_prompt_text(message, '\n\n'.join(rag_cleaner(out) for out in rag_out))
|
57 |
+
return md_text_updated, prompt
|
58 |
+
|
59 |
+
def ask_llm(prompt):
|
60 |
+
output = client.text_generation(prompt, **generate_kwargs, stream=False, details=False, return_full_text=False)
|
61 |
+
output = output.lstrip(' \n']) if output.lstrip().startswith('\n') else output
|
62 |
+
return gr.Textbox(output, visible = True)
|
63 |
+
|
64 |
+
msg.submit(update_with_rag_md, msg, [gr_md, input]).success(ask_llm, input, output_text)
|
65 |
+
|
66 |
+
demo.launch(debug = True)
|
colbert/indexes/arxiv_colbert/0.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:29d6cb840c344e7d5b4ae5588013f81e0d30cc2328cb729a093c598b803033d1
|
3 |
+
size 17224796
|
colbert/indexes/arxiv_colbert/0.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 0,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 4305916,
|
5 |
+
"embedding_offset": 0
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/0.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:c042df6035e9299442e67de4792c1ca43a074e45159da9571b6903e87fa50a05
|
3 |
+
size 137790512
|
colbert/indexes/arxiv_colbert/1.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:0d851596cd682be3de8eff0c41dd642af26785107b9bc41d17cf922fd1f4c29a
|
3 |
+
size 18656796
|
colbert/indexes/arxiv_colbert/1.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 25000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 4663915,
|
5 |
+
"embedding_offset": 4305916
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/1.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:867c7c9455e58014f964f72037c75c15cc90d07f2da10a2961ea39c548113b0b
|
3 |
+
size 149246448
|
colbert/indexes/arxiv_colbert/10.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:8476e3d21a492af983df8753098bc3084c407bbf8c3b5d435d1eec8363fb59b0
|
3 |
+
size 21300961
|
colbert/indexes/arxiv_colbert/10.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 250000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5324945,
|
5 |
+
"embedding_offset": 49558644
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/10.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:93896fee4874103fd760d8c75ac601a938fade31bb1ae46ac85470a7f7790d61
|
3 |
+
size 170399413
|
colbert/indexes/arxiv_colbert/11.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:a40109ef25f9fa233b4f1f3998b954f59a60c2a24265133f7121f8c99a1bbde6
|
3 |
+
size 21340897
|
colbert/indexes/arxiv_colbert/11.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 275000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5334942,
|
5 |
+
"embedding_offset": 54883589
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/11.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:24a6ac6b1292314a40285f08a25592a91d251211bb6044b1e7360ba3936636e5
|
3 |
+
size 170719349
|
colbert/indexes/arxiv_colbert/12.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:722ae98ef6aa56db4f28ea9c19f5340b9383e783687ee8a8be42de77e9d5b90a
|
3 |
+
size 21517281
|
colbert/indexes/arxiv_colbert/12.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 300000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5379036,
|
5 |
+
"embedding_offset": 60218531
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/12.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:d21a17f36f5df0f879412b60a2696e08b359cc376472963532ceaf6845d32d51
|
3 |
+
size 172130357
|
colbert/indexes/arxiv_colbert/13.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:f93713e7aefcc8d8779b0b64548ab5881c408eaed120d0366dcd3a92e5fbffc7
|
3 |
+
size 13194721
|
colbert/indexes/arxiv_colbert/13.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 325000,
|
3 |
+
"num_passages": 16505,
|
4 |
+
"num_embeddings": 3298391,
|
5 |
+
"embedding_offset": 65597567
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/13.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:cf1b9dc1ad0d5f527fb71f3e68fa5bb95a7d14d89cddbb91e4ad00fa52e5bdcc
|
3 |
+
size 105549685
|
colbert/indexes/arxiv_colbert/2.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:24f9c6cc68606fd869b15ae7d1673b56b4afd5b31b8edd1fab98fa26716a29d2
|
3 |
+
size 19123164
|
colbert/indexes/arxiv_colbert/2.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 50000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 4780496,
|
5 |
+
"embedding_offset": 8969831
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/2.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:b01c52a4b524290a25a33c73c2349f0ee4c53487788c681ec2fee8ae6ab5080f
|
3 |
+
size 152977072
|
colbert/indexes/arxiv_colbert/3.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:c57502ce64546b558316ef8834f052c5028a0fdfd22d50daf76a3740c5d8b5ec
|
3 |
+
size 19531932
|
colbert/indexes/arxiv_colbert/3.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 75000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 4882693,
|
5 |
+
"embedding_offset": 13750327
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/3.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:50b02b834c5d1371d0d15f58e9340020e714206df01d7703c71e4443a0f790c3
|
3 |
+
size 156247344
|
colbert/indexes/arxiv_colbert/4.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:44ea5e34ca0a06eacfba3845035860c1a9b81028a5e1eeaf93696eff1510b6fd
|
3 |
+
size 19962652
|
colbert/indexes/arxiv_colbert/4.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 100000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 4990372,
|
5 |
+
"embedding_offset": 18633020
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/4.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:fbfeb86c9797972b6c4542d652b0fa25358a08493067ee6b32aaa85ff2957c0c
|
3 |
+
size 159693104
|
colbert/indexes/arxiv_colbert/5.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:affc70fca6049081e0d6ad2cbf7f9687c01b8a57deefde0d62fb3cae2e1c84a3
|
3 |
+
size 20303068
|
colbert/indexes/arxiv_colbert/5.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 125000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5075480,
|
5 |
+
"embedding_offset": 23623392
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/5.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:0d5181402d24e66bb617b621085c51c28f5391811a6dc2be7f53fb8bdf456eda
|
3 |
+
size 162416560
|
colbert/indexes/arxiv_colbert/6.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:8c17f09b1ef393632a24fe583e6d3c21fc0d0e0e04a10523f51bcc3e1eeb2f45
|
3 |
+
size 20473180
|
colbert/indexes/arxiv_colbert/6.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 150000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5118003,
|
5 |
+
"embedding_offset": 28698872
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/6.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:adb2aaaeaa705c45698335dc447e7860d88dc478582ca40bde6757e2288f2d2b
|
3 |
+
size 163777264
|
colbert/indexes/arxiv_colbert/7.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:b647baaa73a03618e7cfe3d26bafe462f49ff1d335e689e8c0f088c4960d5fee
|
3 |
+
size 20836700
|
colbert/indexes/arxiv_colbert/7.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 175000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5208891,
|
5 |
+
"embedding_offset": 33816875
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/7.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:9edbfd7953c09d15cbff38a16413ed1884c29da7a43e983c5d43ca1837442b1d
|
3 |
+
size 166685680
|
colbert/indexes/arxiv_colbert/8.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:dead757db89e48eb04445a347fe4a4122a99df1d7890eaec5e0992713539b22c
|
3 |
+
size 21020764
|
colbert/indexes/arxiv_colbert/8.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 200000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5254896,
|
5 |
+
"embedding_offset": 39025766
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/8.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:a4abc6848c841c2b5c8868d7340b85962e6c0ac2524fb0a9d0134f61e638d386
|
3 |
+
size 168157872
|
colbert/indexes/arxiv_colbert/9.codes.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:2c74a23edfc4b6588a3dc6d902824da295dd4381fee9cb434e462373e7a2296e
|
3 |
+
size 21113052
|
colbert/indexes/arxiv_colbert/9.metadata.json
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"passage_offset": 225000,
|
3 |
+
"num_passages": 25000,
|
4 |
+
"num_embeddings": 5277982,
|
5 |
+
"embedding_offset": 44280662
|
6 |
+
}
|
colbert/indexes/arxiv_colbert/9.residuals.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:a7783d830af5e654e0b74dc6290cc610020c3bd5ee34bec26bae0e0ab2288c34
|
3 |
+
size 168896624
|
colbert/indexes/arxiv_colbert/avg_residual.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:f73748c24090a1f5d111778a6a61a7b469afb6b93b7853803202d7225c30e190
|
3 |
+
size 1205
|
colbert/indexes/arxiv_colbert/buckets.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:37b67af95a33b63e1b8a54a8faa33f9a6345b2b658d429c7b753e2db2c95bd4c
|
3 |
+
size 1432
|
colbert/indexes/arxiv_colbert/centroids.pt
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:c030f68e44224c2fe1bf80b84ea38090c8f85c7abfe3193591d269861b941ce8
|
3 |
+
size 33555622
|
colbert/indexes/arxiv_colbert/collection.json
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:0215f5367de6fe212d4313b47b95e5f08b9894857e8f03ec4b8500b5e7f762a7
|
3 |
+
size 407544393
|
colbert/indexes/arxiv_colbert/docid_metadata_map.json
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:19824cdc499f2ab13c44bfd23807db60cc4cbefd30ffbc712548a8169effed46
|
3 |
+
size 74464915
|
colbert/indexes/arxiv_colbert/doclens.0.json
ADDED
@@ -0,0 +1 @@
|
|
|
|
|
1 |
+
[193,148,127,183,293,144,301,170,151,135,124,225,38,52,199,246,125,192,274,99,283,84,122,87,151,207,181,137,108,143,215,112,112,144,102,231,120,51,168,60,100,93,43,125,104,214,220,223,175,151,183,243,106,129,133,142,124,132,149,224,273,151,155,138,146,177,128,273,172,120,101,87,132,103,144,112,144,115,114,121,117,122,121,150,209,147,124,84,205,92,115,108,112,106,160,163,136,106,96,176,137,177,100,139,193,171,114,134,184,238,184,147,127,276,84,240,125,98,149,148,195,132,91,189,111,143,145,63,137,256,88,68,161,117,86,161,189,68,93,246,66,88,219,168,166,189,137,149,172,130,202,165,129,133,37,62,126,143,289,139,140,156,151,242,217,114,131,100,78,227,148,214,190,116,111,200,321,118,104,110,115,102,140,209,246,48,75,203,170,267,139,183,165,139,111,91,155,89,183,192,70,126,137,204,129,104,187,105,93,154,165,95,296,103,187,174,231,174,165,231,71,107,96,214,139,147,57,214,126,108,82,151,90,106,195,126,89,87,95,87,145,254,194,242,101,75,136,128,147,217,96,35,133,76,122,272,150,8,97,203,175,181,145,288,206,137,139,157,227,95,255,107,263,165,201,197,93,286,157,170,101,191,178,270,113,57,90,202,15,155,261,233,76,176,119,97,140,112,317,64,227,102,76,102,124,128,145,100,125,117,167,149,173,95,193,85,109,224,84,248,81,209,74,157,106,85,67,129,106,254,197,204,282,98,134,127,154,252,339,137,177,119,250,129,151,209,191,75,55,282,97,94,197,161,116,222,179,36,180,251,189,87,28,102,134,120,121,199,139,142,149,120,198,236,109,178,123,296,186,215,61,189,143,82,143,189,276,169,43,207,271,290,188,145,47,294,138,274,207,197,189,210,51,110,242,115,178,257,63,112,114,75,138,141,126,137,202,127,71,166,94,139,220,243,241,192,140,166,145,156,71,149,128,287,263,185,192,136,243,49,29,224,134,35,153,195,109,111,150,116,57,98,151,94,111,218,224,131,177,208,39,138,67,137,102,170,33,144,94,179,225,189,173,125,66,155,128,132,224,71,163,150,141,155,163,120,271,112,149,142,281,204,107,151,271,139,226,84,114,144,158,93,183,158,162,217,77,206,132,112,206,24,255,164,216,257,142,114,256,269,8,124,49,140,92,133,115,73,126,192,143,145,192,140,115,161,203,148,120,119,217,78,124,178,207,101,178,184,96,102,166,148,127,170,154,210,246,206,61,47,166,136,131,168,94,166,146,222,182,305,128,76,192,153,135,184,220,124,115,305,163,127,122,105,145,162,154,200,157,109,189,115,97,35,134,136,187,250,219,119,57,140,104,91,171,136,117,229,171,280,97,322,165,256,153,149,126,107,219,120,147,201,238,121,191,123,278,61,78,108,177,132,68,137,120,140,122,184,129,132,167,191,101,61,132,95,118,90,172,149,51,169,116,176,132,135,111,151,123,88,78,179,138,257,83,160,165,132,138,142,184,110,112,94,123,61,179,117,77,40,101,166,131,95,150,130,89,91,167,131,108,239,249,144,91,270,103,162,169,129,123,263,127,166,221,72,198,97,145,135,89,171,241,214,204,117,147,177,196,216,84,239,20,126,51,142,140,118,150,169,169,256,76,108,108,125,113,137,220,106,117,243,220,167,154,58,105,149,78,118,83,227,174,197,204,125,140,131,196,203,111,19,195,159,244,145,95,250,128,254,127,26,116,147,183,172,172,96,95,136,104,140,181,222,194,285,229,126,237,183,145,201,220,163,112,117,45,193,291,141,67,195,124,99,162,76,301,50,198,163,114,141,15,25,170,8,180,162,160,70,48,12,121,222,62,53,155,165,84,238,131,231,89,150,60,141,236,81,156,151,244,174,105,139,81,171,32,171,145,89,150,102,131,122,120,199,162,186,118,194,211,136,137,187,190,92,109,197,188,160,178,213,155,117,91,177,117,136,91,132,85,245,78,188,83,70,58,142,99,105,249,68,185,249,84,139,256,225,277,170,140,115,115,71,137,85,350,105,208,79,386,142,252,141,159,191,122,223,97,94,167,232,107,284,111,177,105,72,160,242,8,125,174,63,80,171,80,173,143,118,121,121,177,244,188,154,91,158,207,195,178,158,186,161,141,229,166,194,71,213,162,135,135,75,151,233,145,236,161,138,134,98,229,106,161,200,132,145,235,139,118,247,68,205,276,169,152,267,155,222,45,149,226,160,243,137,101,34,139,170,248,179,69,243,140,105,17,156,177,112,177,136,82,84,168,168,108,284,120,185,127,266,50,121,144,73,36,113,239,251,231,234,115,200,96,189,152,173,134,131,163,117,119,75,47,114,112,239,173,113,84,150,233,161,137,183,181,128,103,82,75,253,188,207,224,174,118,114,75,140,308,213,204,214,158,249,220,163,56,181,218,155,84,137,235,120,202,190,88,292,176,183,165,142,87,169,34,207,156,118,226,158,146,105,122,200,111,104,180,147,117,155,158,143,97,118,156,114,140,261,141,130,191,123,200,105,184,170,15,146,140,245,187,93,84,168,93,175,177,77,73,155,68,114,170,16,132,190,67,189,112,80,137,127,82,126,197,110,115,290,200,189,122,116,56,180,210,123,72,155,111,164,73,169,239,94,16,228,130,109,107,83,137,126,147,145,99,151,129,114,147,56,56,100,265,302,196,195,301,217,93,231,174,106,238,158,122,173,90,169,165,57,149,106,8,121,221,226,156,163,138,72,253,54,120,129,305,236,154,280,259,137,65,111,130,258,116,156,130,143,132,169,168,270,73,91,161,180,199,189,122,178,124,168,104,143,191,101,183,129,274,15,81,140,177,115,101,112,102,98,63,78,191,164,193,95,133,170,305,122,82,85,223,164,161,296,189,143,167,155,144,86,320,140,159,96,213,273,194,199,170,14,270,87,100,41,67,98,206,129,30,253,126,212,126,180,234,248,124,49,52,178,66,57,143,81,159,101,326,105,93,174,291,104,80,153,88,148,152,284,263,85,220,144,133,195,92,160,150,115,62,188,320,70,91,142,225,203,97,137,149,95,82,97,164,147,149,252,260,179,191,55,113,10,94,129,186,166,266,115,165,238,133,129,95,78,92,256,163,47,157,102,277,114,67,83,249,73,174,108,199,185,106,111,201,185,93,245,206,228,158,132,240,170,170,117,114,6,150,80,75,190,200,124,239,260,125,245,150,201,94,102,79,307,217,160,165,160,146,276,259,154,164,187,226,166,193,183,179,200,126,140,77,175,180,187,160,209,79,109,17,180,107,117,281,195,176,135,184,84,81,226,213,227,174,199,245,22,103,211,70,103,300,85,123,190,285,275,178,76,69,109,121,301,123,126,204,125,39,242,300,199,234,103,28,223,193,91,124,119,91,80,275,198,118,308,57,83,71,53,156,114,102,155,128,167,141,115,128,246,151,125,163,189,233,46,183,254,248,102,195,96,35,126,150,132,166,106,98,112,93,167,111,44,193,135,295,165,156,75,257,159,132,131,176,47,302,115,70,88,227,147,91,183,61,179,113,57,94,224,149,328,272,307,178,191,129,205,203,145,134,112,224,98,52,113,221,159,62,79,166,146,209,169,66,241,106,161,133,177,87,183,281,146,177,109,126,224,57,120,155,149,54,151,240,161,138,128,174,59,223,225,251,301,105,145,100,353,44,110,167,177,134,144,119,76,141,104,144,86,280,224,109,116,179,104,127,195,139,285,130,187,98,154,252,135,208,144,161,109,196,163,188,244,308,123,47,135,81,160,183,231,212,152,174,311,248,229,115,37,218,241,117,118,105,230,167,104,187,167,234,282,120,87,192,110,140,177,101,189,111,164,95,134,73,200,141,76,148,85,183,156,270,235,83,194,213,213,196,166,267,147,145,197,110,165,278,212,127,81,187,127,80,210,223,242,294,247,176,147,150,161,243,175,82,145,113,100,128,90,116,58,260,156,139,305,87,288,145,148,131,147,276,160,163,252,151,93,144,170,93,213,162,88,160,156,75,237,164,196,181,266,118,241,98,300,111,125,134,86,297,194,108,110,65,105,133,67,131,200,125,125,136,106,261,192,61,88,202,243,207,134,114,156,177,164,294,133,214,163,130,180,134,171,168,123,100,69,157,95,214,188,23,303,224,151,220,112,204,71,22,202,247,257,320,83,121,216,157,172,167,166,158,244,306,176,196,97,104,90,226,117,184,206,115,141,87,114,144,286,243,235,86,113,145,96,109,79,111,191,136,223,154,171,196,150,124,117,277,101,33,154,197,110,178,150,107,191,180,303,127,167,180,188,169,131,118,186,60,249,266,115,96,52,227,245,236,260,126,211,195,303,111,188,261,141,55,140,171,99,87,86,111,94,129,139,196,174,142,184,117,266,164,164,106,229,165,118,188,133,170,225,109,356,103,226,221,111,176,202,91,75,175,79,182,248,144,108,223,117,160,136,170,280,180,117,185,215,145,196,130,175,162,176,153,208,153,280,113,164,270,131,167,156,247,110,202,126,122,121,156,82,325,83,137,42,129,234,179,163,202,123,160,263,124,109,195,148,212,250,165,160,206,126,86,224,150,304,85,100,79,229,131,142,157,118,155,182,167,198,278,194,132,178,137,185,123,127,121,138,170,102,164,80,149,209,231,164,85,165,109,120,166,179,182,69,128,76,189,122,108,105,196,230,215,254,130,192,85,85,161,206,186,93,239,172,185,83,273,67,120,165,137,208,138,150,155,149,84,139,116,215,150,197,135,246,205,266,166,80,115,67,101,174,225,115,171,139,170,154,110,102,181,130,146,147,61,234,171,67,124,200,139,189,147,237,234,208,184,65,151,203,117,259,123,213,202,193,141,153,135,122,136,273,128,243,193,58,219,174,130,270,139,151,184,168,95,208,79,88,273,192,193,152,165,258,311,222,242,181,198,166,138,99,190,271,199,129,136,208,140,121,190,84,163,112,211,217,192,202,177,166,171,110,51,146,153,179,234,192,197,205,107,252,109,199,126,173,215,127,118,197,90,148,150,176,55,235,198,83,193,147,239,183,154,174,192,177,289,280,79,69,52,219,278,132,171,278,318,271,197,262,203,139,117,136,72,163,191,137,61,118,242,166,102,167,110,187,424,147,291,11,126,165,212,186,153,77,68,20,195,116,152,83,119,242,268,157,103,106,104,120,141,149,114,178,179,174,114,94,296,185,320,153,115,177,147,74,154,119,38,114,167,242,163,213,128,199,143,98,209,90,125,111,211,70,162,227,98,124,145,146,115,218,284,155,111,154,82,159,172,92,235,117,136,239,173,161,143,67,167,199,164,173,175,242,194,112,117,170,271,154,125,129,144,178,197,199,197,107,153,141,62,250,154,316,91,106,157,166,63,191,147,114,131,87,107,236,41,114,267,281,163,91,79,109,159,71,137,149,167,230,222,234,123,96,202,192,110,86,209,164,44,216,198,55,121,138,203,134,102,193,96,303,157,147,184,118,150,181,234,99,84,102,162,170,116,291,106,199,181,159,119,215,97,203,221,188,260,113,260,145,145,277,102,231,250,65,181,172,180,141,259,169,66,218,222,187,161,108,113,256,85,138,116,193,102,137,138,156,79,77,212,83,244,198,197,213,164,129,139,79,214,23,177,321,317,201,132,129,163,118,105,180,154,171,190,197,164,188,165,90,166,70,171,158,132,280,144,166,142,149,317,138,131,158,192,197,108,152,137,177,59,249,188,147,146,199,154,245,210,217,264,149,211,200,98,229,180,257,248,50,194,220,249,263,148,117,190,156,258,133,144,114,94,144,105,135,148,109,324,188,130,78,118,74,154,178,137,78,100,94,215,129,124,94,141,195,177,116,244,210,140,173,175,183,179,70,131,54,205,141,341,149,255,74,117,153,163,166,140,114,304,210,113,243,135,109,216,189,112,152,123,231,329,202,115,220,346,265,282,135,137,234,174,185,190,103,215,193,137,93,197,96,128,108,155,157,287,128,65,214,171,183,123,164,122,156,187,112,83,170,164,174,126,186,235,193,111,240,85,183,89,81,92,221,119,107,130,119,214,259,17,74,111,147,121,170,122,115,210,196,101,154,231,227,144,210,138,183,105,252,111,158,199,156,249,236,286,93,358,157,224,195,167,218,117,175,84,169,100,122,123,273,206,189,152,138,129,102,343,148,234,143,131,169,74,126,52,159,180,216,128,168,248,195,175,198,150,119,233,172,99,155,196,55,180,162,230,150,226,139,57,231,224,110,240,263,141,38,96,89,97,90,112,193,191,91,58,193,221,177,326,245,317,75,145,278,192,281,98,209,181,185,221,179,200,234,274,164,202,128,213,188,322,145,295,333,120,91,96,166,142,24,249,144,243,194,180,124,142,127,154,124,143,299,218,172,231,153,180,178,168,184,179,150,143,170,253,195,203,180,231,91,96,141,258,152,121,117,166,157,138,266,144,178,266,137,119,184,201,215,138,342,213,206,100,159,16,326,112,154,89,114,122,170,188,175,166,251,166,240,165,138,90,146,242,207,263,207,119,104,216,180,112,259,256,173,248,177,323,76,59,277,193,80,278,195,214,94,146,199,109,258,120,70,179,187,278,222,64,185,197,178,200,189,81,158,172,180,19,209,261,238,258,150,157,106,269,87,114,332,105,184,115,266,157,149,165,231,164,180,163,150,74,119,208,131,209,172,181,309,97,151,198,138,169,288,153,314,79,176,191,159,126,76,103,278,116,131,116,176,79,206,164,290,136,118,97,181,115,195,298,168,153,136,200,190,144,170,189,220,181,220,237,83,249,110,166,207,220,147,82,239,280,127,216,251,98,75,412,117,103,225,263,326,87,58,273,81,166,158,281,190,137,165,112,275,274,274,172,176,210,273,124,350,112,59,175,132,212,203,234,102,126,260,213,200,163,161,203,125,114,96,121,122,141,198,43,11,57,89,100,42,166,65,285,163,132,176,128,181,124,198,113,101,150,175,129,221,181,137,97,161,161,134,146,210,242,253,219,223,182,76,201,233,239,122,85,184,91,196,156,72,91,57,336,117,108,128,175,279,324,91,76,146,233,147,270,117,138,278,109,169,172,84,194,181,170,228,356,182,236,155,93,244,216,77,153,130,292,113,157,138,157,102,114,185,151,190,177,211,346,240,185,42,135,228,134,250,171,180,287,126,173,183,157,123,157,145,195,177,201,191,181,240,224,300,77,117,217,152,243,133,299,173,175,90,94,223,139,112,105,167,132,229,208,265,179,162,135,131,322,115,145,203,239,171,220,137,251,328,138,155,57,337,313,86,166,96,169,115,168,267,148,129,262,292,140,298,209,116,237,195,109,231,280,271,221,216,112,267,187,180,236,159,199,93,235,247,207,128,224,193,75,255,218,205,52,102,210,120,114,150,208,136,235,201,164,177,141,287,137,167,63,119,172,101,87,124,205,142,291,145,182,111,194,346,97,191,185,84,129,115,205,147,146,208,85,269,136,229,122,101,107,140,173,159,187,82,195,188,309,217,134,161,161,53,295,201,120,150,202,151,291,101,176,123,116,111,243,204,100,248,151,233,288,275,68,62,142,121,209,132,151,148,163,163,175,184,286,212,109,243,252,87,149,117,161,235,142,238,157,174,157,140,125,156,154,209,262,209,177,180,96,219,186,169,126,36,315,155,230,219,189,106,110,98,264,263,259,137,192,108,256,111,215,96,79,310,173,309,105,172,290,89,83,224,126,143,277,89,268,133,125,292,118,154,99,153,132,114,205,33,146,102,301,88,38,274,86,210,104,164,294,126,120,350,171,102,84,151,250,137,174,104,115,150,215,106,209,151,197,245,155,152,109,189,70,123,185,103,109,40,225,162,83,102,122,236,214,153,166,131,201,158,122,68,167,124,171,128,213,219,193,189,345,88,160,165,239,103,304,185,171,90,141,213,157,202,144,195,111,116,96,309,189,151,53,144,223,158,177,250,168,195,237,97,189,157,143,155,281,249,153,80,194,331,165,165,253,160,129,244,125,261,279,8,93,186,180,167,268,185,328,230,173,237,219,211,321,14,122,82,186,134,161,73,148,277,163,196,169,178,164,169,269,298,210,105,114,175,171,170,196,123,74,158,267,141,262,199,160,172,342,46,227,137,176,149,358,146,184,212,150,162,198,75,112,194,422,150,92,89,171,316,219,138,122,102,89,110,152,189,203,202,291,218,97,198,78,88,46,196,139,247,207,139,153,79,153,127,119,200,158,114,229,175,242,198,95,278,175,187,186,243,133,169,137,71,259,103,180,115,162,108,84,193,78,101,146,240,174,193,72,204,250,149,189,63,177,347,175,199,137,159,234,125,276,169,150,202,200,177,152,113,164,234,163,176,226,179,182,141,202,145,88,186,176,71,194,103,140,89,97,243,38,80,196,147,183,237,99,200,155,160,142,288,133,199,161,201,84,199,228,351,169,93,238,212,203,122,227,146,129,107,370,327,274,128,241,213,210,118,181,140,174,94,220,170,264,190,151,289,152,177,266,177,139,106,110,118,133,192,402,122,122,214,101,331,152,191,126,115,158,233,133,119,296,187,120,102,147,103,173,43,172,162,241,65,174,149,108,250,254,165,300,166,286,148,146,384,286,221,150,201,310,220,266,77,162,264,246,183,221,161,124,122,125,93,154,307,169,98,175,74,280,195,213,63,174,102,126,126,111,140,126,260,198,260,116,149,331,126,142,252,50,113,278,181,95,303,164,84,198,155,81,105,134,148,193,99,104,165,179,141,145,235,230,320,237,250,188,307,76,147,132,297,168,181,191,190,212,148,180,148,196,52,79,249,165,228,94,153,149,232,179,271,194,103,170,144,168,71,232,173,152,175,92,130,155,183,344,58,159,140,83,258,218,215,208,185,104,102,154,170,194,229,170,228,224,155,33,98,157,246,225,281,110,310,19,100,180,124,173,107,232,374,209,290,134,242,364,126,171,187,188,139,182,179,97,183,189,195,254,126,207,246,177,286,215,251,286,188,193,247,173,233,170,123,81,84,277,162,128,110,143,120,175,313,96,150,231,151,196,78,169,115,95,223,166,301,152,209,121,216,128,175,72,269,56,118,136,50,161,228,94,92,173,183,157,125,219,45,109,87,239,117,132,184,152,72,104,249,319,210,253,255,168,72,173,144,300,286,175,181,190,69,54,98,99,92,145,279,96,183,179,124,183,200,161,127,183,184,147,246,157,145,136,312,169,177,247,174,153,141,86,154,211,156,64,25,165,204,270,133,153,99,289,290,161,122,143,231,84,145,150,204,122,217,239,112,245,134,253,205,253,115,134,228,281,229,143,146,52,137,163,189,92,133,245,198,178,58,100,244,300,138,157,123,161,63,236,152,207,156,107,144,220,229,122,72,135,168,187,155,130,225,226,94,140,147,198,179,155,121,329,149,103,280,40,162,158,57,197,119,187,178,186,273,237,82,249,178,120,129,143,197,248,73,92,250,60,240,219,299,169,114,228,111,177,119,181,325,346,155,64,171,131,270,171,110,144,101,206,182,166,100,200,177,125,255,82,222,50,68,168,283,317,144,57,56,67,79,188,140,136,308,306,255,270,171,118,159,133,118,160,42,84,215,58,201,145,66,95,129,121,122,215,257,226,79,100,151,270,151,50,228,171,93,142,144,58,63,175,94,139,82,114,116,121,62,166,108,51,124,138,114,128,97,182,154,178,241,203,93,144,131,262,284,41,125,226,199,103,126,118,260,164,149,88,109,148,167,215,156,124,225,149,228,98,128,197,217,185,101,178,142,129,109,189,131,306,216,211,198,156,95,162,300,274,244,156,194,179,263,164,137,163,100,72,154,238,166,177,139,92,219,323,194,349,267,277,198,115,217,278,359,228,114,166,207,322,163,333,171,216,258,82,129,209,66,195,31,261,138,85,131,251,303,336,313,111,138,175,145,121,179,113,241,264,207,104,113,81,175,246,153,121,283,187,94,138,68,120,223,111,206,129,198,228,212,49,151,139,264,87,140,189,207,58,100,70,230,47,101,161,334,114,136,178,106,231,217,137,267,289,280,201,213,294,100,188,112,211,151,239,207,164,83,112,90,85,405,177,221,164,304,222,308,88,155,213,117,142,450,167,132,423,153,155,157,192,161,313,200,153,204,159,75,119,155,183,180,128,210,142,189,179,116,166,142,218,122,233,142,165,168,184,134,322,129,120,215,193,69,120,170,260,207,192,114,272,208,198,331,133,154,126,180,145,232,68,141,254,144,188,213,92,136,147,203,185,160,120,136,112,185,69,93,100,119,111,145,113,228,88,156,179,125,187,137,182,324,241,181,82,156,297,183,194,194,120,38,133,306,153,118,87,128,174,86,71,62,216,129,178,153,101,169,103,91,138,274,170,197,287,257,191,44,163,290,229,68,24,164,236,257,302,180,209,83,236,204,51,309,171,258,123,231,133,311,212,107,150,228,313,183,292,109,173,226,132,111,137,263,110,206,246,144,90,277,140,256,111,218,234,48,69,152,81,97,167,181,311,100,314,248,173,121,197,86,109,382,138,147,97,81,173,152,212,182,192,205,262,170,149,311,234,155,321,190,159,198,116,153,208,256,251,257,179,184,243,223,139,45,110,120,117,137,136,298,124,128,270,354,113,246,189,105,113,126,98,256,139,83,154,201,92,118,152,95,229,340,239,179,122,187,92,132,133,131,220,275,250,173,240,179,90,324,247,105,193,251,119,181,138,149,132,85,153,197,108,112,180,178,163,76,116,122,101,91,196,217,130,99,242,271,98,113,162,111,134,176,152,185,127,77,167,134,90,220,139,279,186,102,193,115,174,206,219,222,264,244,130,119,219,152,234,42,351,44,175,96,204,83,98,133,206,134,205,163,73,109,156,71,122,171,266,165,190,180,199,314,197,197,255,66,262,120,212,288,238,104,187,175,152,133,188,176,171,262,119,144,109,218,232,178,267,116,161,49,231,104,242,159,124,133,234,132,227,171,101,163,140,147,96,188,286,144,169,197,209,183,184,191,185,177,203,178,317,120,134,312,88,192,269,200,204,353,170,82,295,175,217,196,213,174,129,218,145,176,187,130,98,78,131,295,160,118,268,227,211,196,174,108,135,160,257,175,186,251,152,227,142,324,27,135,318,105,157,227,193,99,285,194,149,214,250,229,176,212,133,156,221,203,232,232,283,240,211,142,172,137,108,99,188,316,335,120,86,191,165,73,106,83,100,145,220,190,82,140,195,318,265,271,123,211,239,68,128,82,129,216,111,152,250,177,140,182,133,159,189,156,153,111,96,276,178,123,173,109,190,83,112,161,95,226,263,267,111,242,159,113,155,233,184,168,133,179,116,107,123,154,132,157,121,107,218,125,147,116,206,110,108,146,215,126,100,214,163,128,170,149,161,95,83,64,157,142,159,257,259,138,156,190,123,88,217,240,215,104,111,197,190,250,134,180,190,101,204,105,239,124,317,158,86,151,175,149,91,157,189,97,320,214,114,299,207,154,179,320,144,72,80,264,128,162,178,121,137,96,142,186,181,237,119,64,248,338,161,94,168,161,266,113,176,160,161,249,158,162,196,100,82,122,75,169,136,216,163,197,172,160,229,98,259,77,184,105,270,69,200,108,203,332,174,146,73,286,90,163,142,154,226,163,136,183,91,180,179,146,267,92,108,230,77,244,108,178,304,147,171,150,125,153,127,145,190,207,144,117,193,75,124,133,140,130,134,133,134,175,165,125,101,211,170,198,154,176,90,82,139,178,158,195,174,150,180,108,125,224,159,147,118,120,220,162,89,145,103,202,156,108,230,217,90,140,107,188,213,134,181,125,158,179,159,143,98,99,155,107,212,172,126,139,145,128,113,187,160,150,149,88,87,193,106,259,254,191,257,164,75,194,124,111,232,153,228,253,151,94,161,58,168,92,134,144,190,59,199,336,149,232,80,115,130,171,244,236,54,146,308,192,230,200,97,107,204,141,231,139,221,235,284,196,226,174,204,147,100,74,185,76,101,160,67,104,90,237,159,150,129,219,154,190,185,175,77,307,219,64,111,104,89,103,217,118,95,239,329,150,251,146,168,223,137,197,142,243,146,140,274,209,290,128,163,210,141,196,142,161,169,218,80,104,188,174,276,159,150,153,166,219,247,204,109,143,249,216,157,148,159,183,159,113,132,126,102,232,129,262,166,86,231,102,93,133,91,200,61,124,220,305,183,120,187,186,135,154,102,152,170,260,125,93,181,77,145,193,198,136,55,169,148,160,97,187,177,136,77,171,134,168,148,99,109,126,208,114,163,256,93,75,247,193,148,67,81,202,274,272,124,174,201,238,110,125,94,113,156,164,91,115,142,152,188,181,104,140,216,193,91,175,181,231,187,194,158,179,134,266,237,110,106,209,219,180,190,190,197,134,133,126,119,281,185,123,156,183,139,127,227,106,141,161,130,132,147,236,150,167,306,120,182,108,182,90,132,121,84,115,152,178,171,321,336,275,97,230,292,163,129,133,136,100,119,219,338,155,148,117,92,106,242,168,138,249,185,87,111,209,149,203,151,56,119,241,327,187,301,268,184,244,267,276,263,201,206,121,145,71,105,168,227,193,164,50,150,100,181,218,78,226,144,98,214,274,193,148,174,145,129,220,209,101,165,122,98,14,126,179,115,37,71,107,90,286,168,240,156,163,207,217,225,167,142,105,139,88,147,163,340,272,32,161,206,98,165,136,265,299,186,93,170,105,231,61,144,211,162,219,42,150,240,214,117,280,91,172,171,197,84,111,203,147,235,329,125,177,68,152,144,169,157,233,131,59,205,112,129,210,110,265,137,94,215,124,171,178,368,106,119,126,148,121,139,230,99,201,122,213,303,241,104,113,145,63,311,225,118,127,306,317,99,223,122,134,192,217,185,159,159,190,145,270,180,114,202,93,340,224,195,255,76,136,119,179,128,108,177,157,221,120,284,278,67,23,158,209,249,397,164,154,96,130,339,188,281,131,91,112,188,269,231,73,385,322,191,282,147,143,253,96,334,226,119,121,153,117,239,149,195,181,165,104,285,120,182,179,154,251,181,251,300,179,140,133,175,242,281,137,211,145,200,200,150,112,129,155,156,103,117,120,122,170,172,105,96,111,131,329,150,156,191,148,188,228,180,88,197,111,257,195,245,161,225,27,28,199,232,160,173,211,95,103,147,114,120,109,181,194,155,133,155,149,121,220,165,208,141,188,217,128,185,223,112,186,99,213,129,148,273,111,144,174,117,200,142,236,164,117,186,107,112,167,126,110,209,65,225,162,167,131,137,115,145,103,161,171,133,144,226,100,118,156,183,163,310,142,222,153,225,82,153,110,152,120,216,220,126,131,174,72,204,48,113,54,236,192,99,287,147,169,97,220,58,37,138,171,176,152,94,236,190,181,156,85,104,88,204,126,123,214,148,213,247,89,204,249,195,110,168,276,266,69,185,165,110,199,145,241,166,178,208,231,197,102,92,219,135,143,131,177,170,158,238,131,153,147,184,162,189,230,200,116,146,122,57,118,187,209,187,178,129,217,214,205,295,82,101,237,298,140,217,307,196,168,149,199,132,202,207,179,196,116,153,237,119,187,112,173,244,166,177,130,206,127,189,229,140,152,192,102,231,268,131,127,114,137,154,151,237,131,67,233,199,99,144,107,166,121,168,137,123,139,181,102,135,129,160,105,66,153,125,262,327,134,114,150,250,120,313,135,89,163,114,108,133,145,178,157,127,110,109,180,232,119,120,109,188,149,143,149,221,169,179,132,141,218,181,133,175,130,159,152,114,110,146,147,184,83,183,116,125,222,90,100,139,141,119,147,126,81,183,101,173,167,179,247,159,46,155,193,120,128,130,169,134,249,98,155,168,67,126,130,157,226,253,232,169,282,152,337,198,238,214,108,141,158,234,28,160,83,128,159,118,166,154,248,219,103,221,202,135,185,137,132,132,184,115,159,207,114,88,89,129,186,271,144,125,148,127,196,109,178,215,135,163,167,115,153,174,214,177,106,147,117,263,191,222,114,222,238,131,220,183,122,181,157,101,155,102,136,92,160,178,116,73,239,158,163,257,110,123,146,121,223,100,202,68,92,174,176,113,172,165,120,108,178,200,115,144,195,113,133,190,152,124,127,182,177,211,121,199,217,78,142,268,269,235,134,211,126,192,152,124,142,154,81,139,303,123,127,134,168,78,200,88,141,178,131,145,78,211,137,139,260,152,62,133,139,182,165,170,199,167,126,164,115,94,239,104,167,119,190,193,179,193,163,129,228,152,113,49,233,163,206,133,133,108,78,138,213,148,149,122,130,162,190,127,156,306,147,111,234,180,198,207,108,257,130,188,120,191,220,174,78,172,223,281,144,81,146,96,249,91,125,135,118,199,104,182,157,127,96,131,120,203,117,159,127,152,178,146,182,186,148,73,199,203,112,67,88,191,96,117,142,158,165,161,185,151,103,172,142,157,123,70,212,159,158,177,150,150,145,107,194,84,98,107,180,148,208,160,111,184,176,158,65,167,122,171,165,115,182,61,149,101,207,164,225,163,180,203,176,104,186,168,198,157,170,157,104,83,150,155,123,150,188,170,176,131,155,153,129,139,130,233,180,127,133,102,94,106,69,60,106,136,300,116,189,125,120,183,146,176,178,186,189,139,162,82,202,150,173,236,117,191,159,247,303,149,309,292,107,201,120,62,206,166,209,209,156,127,88,130,96,253,78,125,176,97,256,124,157,196,186,162,132,231,207,131,163,114,208,213,194,180,159,168,101,180,206,145,89,152,122,328,91,231,78,163,188,289,213,172,151,210,141,218,124,144,157,296,160,138,158,161,206,120,128,142,114,180,210,158,223,157,216,250,107,106,92,140,154,153,140,158,110,146,162,145,120,160,154,120,87,132,115,107,203,273,119,153,137,108,145,116,131,174,122,91,80,140,226,184,75,135,84,133,136,175,182,182,174,201,199,225,144,220,51,142,72,221,151,64,164,91,169,102,143,190,133,158,161,106,180,160,194,131,188,227,81,227,106,107,92,155,171,203,169,156,129,153,309,148,217,252,278,75,228,162,93,121,175,203,97,247,120,100,134,162,163,105,216,313,211,223,155,139,220,211,238,121,184,199,108,217,157,154,134,90,148,161,161,71,159,224,165,144,168,246,114,155,177,269,186,185,103,167,343,187,162,175,113,388,294,119,76,155,140,130,108,130,173,167,167,93,231,106,204,114,176,122,312,168,181,81,132,139,97,150,186,163,184,152,153,117,79,102,101,130,115,186,119,120,109,166,151,161,118,94,202,230,196,89,141,113,190,177,237,177,250,103,90,168,159,175,193,199,170,202,184,112,169,201,149,147,106,197,162,93,168,236,137,189,163,196,120,169,113,195,122,206,131,244,204,129,98,82,146,159,144,208,205,106,115,167,189,148,133,115,124,216,174,132,114,257,107,221,113,170,104,38,153,136,163,191,190,63,224,152,102,229,201,223,203,146,284,113,93,156,190,89,206,183,167,227,109,201,125,142,195,110,175,223,147,90,187,184,215,147,155,258,113,121,164,211,73,167,112,121,249,133,83,109,68,210,240,124,106,184,115,119,128,96,105,183,219,201,235,239,303,222,170,135,146,40,131,189,147,154,203,65,207,115,176,221,126,352,164,124,217,206,317,183,226,94,141,180,203,209,245,181,99,110,218,236,303,146,152,229,86,173,209,288,180,238,139,126,242,116,149,180,79,138,52,209,205,250,192,223,193,229,141,135,83,128,213,190,154,162,306,180,182,256,235,182,115,74,179,201,146,185,254,103,109,268,210,200,111,119,56,157,239,106,225,222,115,353,188,80,178,195,205,284,164,119,71,271,203,356,216,153,27,28,27,27,27,149,49,133,119,196,195,93,196,191,288,285,146,171,119,212,173,200,148,172,109,170,190,295,259,297,172,103,149,143,195,180,198,146,180,148,287,141,46,240,180,208,138,289,134,233,282,137,246,169,200,179,243,290,238,200,88,191,128,124,117,109,203,257,147,77,85,113,132,151,85,269,336,140,197,170,222,144,107,187,263,236,102,252,134,128,224,201,211,237,112,184,107,226,229,183,74,226,74,163,232,210,123,218,166,110,294,158,98,97,160,95,250,189,176,139,80,145,212,216,208,147,155,152,119,200,223,205,193,115,174,219,263,186,259,107,151,119,115,60,111,171,217,283,99,201,144,141,245,93,259,109,128,78,117,55,137,101,168,131,140,123,144,94,132,224,195,176,165,207,93,125,92,315,174,203,132,241,249,89,138,148,98,178,180,266,137,192,186,166,139,147,170,157,143,180,255,238,192,215,140,129,130,101,116,109,222,116,265,86,101,130,133,185,242,177,176,257,139,80,84,202,247,224,239,79,320,178,153,197,132,126,270,237,215,220,49,242,169,321,236,117,27,281,108,141,191,121,253,274,148,180,155,205,174,82,321,196,131,155,151,77,104,196,110,75,168,100,153,98,169,139,180,196,267,131,180,115,141,175,213,128,204,108,168,246,330,113,139,169,91,103,252,129,302,126,235,148,93,213,113,247,165,81,132,295,189,221,171,349,185,97,295,359,177,97,198,112,110,296,242,266,256,111,167,131,267,222,140,167,300,142,134,114,76,177,109,63,175,147,317,84,225,139,324,119,208,248,185,145,155,154,140,199,275,67,191,144,97,132,88,184,121,35,315,111,333,149,90,232,257,246,101,160,136,142,143,156,128,188,149,203,263,197,172,161,119,141,193,194,162,180,138,115,159,176,184,145,142,238,171,165,180,199,186,102,173,145,133,106,235,193,103,124,119,175,141,91,187,225,238,162,103,180,186,208,110,166,267,165,105,200,156,103,143,143,169,150,191,117,216,164,173,298,301,206,276,126,160,180,302,207,313,173,126,65,112,116,126,172,128,81,73,137,41,230,116,119,222,232,134,126,102,108,74,124,119,74,137,179,306,59,155,94,87,283,220,228,137,242,86,232,322,249,141,215,211,260,247,92,275,163,242,156,186,170,113,184,107,121,251,168,111,162,111,189,171,84,143,165,52,148,152,186,92,159,102,208,165,103,218,208,122,112,118,141,162,190,148,166,269,122,140,179,78,249,228,127,248,121,225,153,323,195,235,316,142,101,336,140,117,39,39,39,39,40,147,120,250,311,255,133,195,143,53,181,162,180,241,100,100,122,74,133,126,202,182,139,128,162,162,172,287,315,166,219,48,108,153,166,108,141,195,114,216,244,84,113,181,167,210,251,99,181,176,79,218,189,254,134,127,204,167,183,203,204,60,101,109,127,180,275,167,154,341,127,66,130,163,292,174,275,207,272,121,248,195,94,211,223,190,199,242,164,121,268,182,260,157,145,208,123,89,121,161,251,143,201,126,89,200,104,241,131,202,90,325,317,189,115,151,266,100,131,200,103,161,134,91,127,140,144,130,160,116,131,155,107,98,224,177,277,120,173,59,103,120,74,196,119,80,130,60,121,142,249,361,149,192,176,133,94,218,133,117,253,237,117,73,110,162,108,110,117,122,221,295,246,192,220,132,274,169,328,151,163,103,121,175,132,123,227,214,208,196,113,169,218,184,272,190,105,136,219,140,68,125,160,121,120,101,143,225,189,138,292,289,192,185,217,114,196,152,229,310,76,97,50,230,142,273,156,172,116,40,207,154,170,89,162,101,118,309,90,252,218,314,333,119,223,151,153,178,223,146,225,119,98,137,259,162,254,150,163,165,230,130,179,127,109,227,144,218,98,116,144,74,164,83,122,164,120,202,123,127,217,232,158,147,292,265,190,162,105,133,137,143,362,190,283,170,101,159,127,187,228,122,134,141,159,103,83,166,206,228,195,120,122,193,182,120,112,82,184,170,210,144,159,169,161,350,135,146,265,122,135,170,138,119,156,87,123,217,202,151,145,373,204,210,226,172,231,132,213,206,79,214,249,108,111,168,159,211,138,250,85,101,154,70,165,259,125,153,145,50,304,104,141,182,175,248,210,235,185,254,195,75,75,72,117,88,161,169,159,222,113,229,213,128,217,171,83,293,152,203,164,82,152,112,256,178,73,158,176,146,173,186,38,199,285,203,266,189,130,127,70,90,177,65,214,70,123,35,156,260,120,182,91,270,165,93,120,138,114,207,116,129,168,115,197,183,119,263,284,104,165,233,109,252,281,68,173,217,42,112,283,276,150,143,255,181,164,222,197,126,257,189,301,147,204,122,266,175,166,200,315,179,218,273,251,158,159,187,140,142,62,149,183,72,156,117,203,205,183,211,269,23,190,168,81,237,122,191,117,151,137,208,244,91,136,194,88,235,173,245,146,244,76,131,48,96,89,160,113,89,148,115,158,70,164,153,145,249,152,192,102,112,330,127,176,93,218,249,224,153,159,103,98,153,197,188,110,227,222,93,179,116,97,147,221,215,99,131,178,154,215,198,156,206,262,126,54,260,233,152,334,170,149,95,141,234,111,119,69,221,183,204,323,98,101,83,245,87,148,114,187,142,67,255,328,135,206,182,140,234,250,124,170,146,125,181,61,197,125,105,122,293,158,88,151,152,102,163,163,144,148,184,133,203,104,251,198,139,207,152,143,160,165,157,238,225,203,82,203,74,165,240,342,182,186,206,98,142,178,199,281,105,120,250,182,211,293,190,102,153,240,135,202,194,196,101,133,110,183,93,254,145,218,77,233,143,162,165,194,129,183,91,124,147,74,168,144,103,142,130,216,246,173,108,85,151,288,150,221,324,234,210,115,103,181,117,234,354,100,80,176,76,133,150,154,137,181,76,170,117,83,110,165,158,109,190,46,210,302,321,141,105,177,85,184,144,279,115,112,205,149,107,89,116,125,159,15,200,195,176,181,114,157,142,124,141,177,252,105,122,233,124,227,110,136,185,135,73,93,154,145,228,128,212,129,204,229,195,142,100,143,211,46,258,183,167,187,140,161,252,207,118,169,66,160,119,139,89,143,233,227,156,254,163,106,71,148,77,169,155,225,223,150,119,108,159,127,185,161,155,100,113,205,81,104,193,86,119,132,220,195,152,121,145,254,146,90,313,131,242,108,118,130,286,187,209,125,178,173,168,170,104,28,29,26,26,219,208,235,120,160,145,99,190,115,306,320,336,33,241,101,222,254,82,135,39,200,154,169,147,161,198,253,187,212,155,172,158,172,345,164,80,97,165,169,213,184,95,187,175,249,111,155,197,67,201,169,223,288,113,172,238,254,149,196,152,101,169,167,118,168,206,150,128,225,146,75,118,153,152,139,147,153,187,159,119,167,133,217,184,85,129,137,95,139,147,148,258,216,326,187,152,216,126,86,114,61,120,172,146,141,116,204,107,132,207,242,129,152,146,163,147,130,140,122,145,81,176,114,81,174,327,139,144,37,209,141,159,106,233,81,242,182,185,108,54,206,164,127,110,191,199,120,113,174,198,236,233,151,101,103,245,113,229,103,108,123,160,108,115,137,185,132,210,133,162,103,155,125,158,217,90,157,166,217,95,146,172,62,165,100,181,140,93,176,174,126,134,143,114,163,170,152,140,96,133,202,196,120,87,65,163,219,151,172,245,238,143,122,336,210,110,125,231,108,153,211,204,228,331,36,154,127,195,205,281,125,214,256,127,163,141,269,158,157,189,160,219,287,208,173,290,337,123,182,168,285,143,143,179,247,151,143,74,117,158,86,90,105,148,179,151,80,154,136,316,65,120,54,211,160,209,100,107,135,152,197,201,91,130,89,145,94,168,261,148,259,225,110,141,147,94,147,91,158,158,204,103,140,150,132,61,168,119,71,91,66,95,95,192,104,149,98,63,133,131,294,126,99,111,138,154,167,271,179,148,158,144,162,72,128,171,262,32,231,144,119,137,109,223,213,108,98,160,162,131,242,279,275,135,152,250,129,90,158,209,180,195,183,133,170,138,220,123,108,120,224,119,199,153,181,195,150,142,183,58,170,118,101,71,163,132,172,168,191,205,122,201,203,110,71,208,59,84,246,153,166,112,142,107,139,27,83,222,88,181,215,86,138,93,50,186,154,158,118,69,89,151,168,272,260,138,152,196,316,176,240,154,188,248,210,254,102,187,222,144,109,79,103,110,207,122,258,211,218,80,241,207,223,255,106,247,56,175,111,107,228,162,179,148,108,141,276,292,112,184,107,95,132,170,106,124,107,145,297,88,82,150,201,118,159,178,132,127,185,89,39,153,436,92,135,279,72,150,89,143,136,111,101,111,152,144,237,226,172,119,189,106,96,59,63,113,84,87,78,149,135,156,151,130,92,221,166,207,152,46,92,88,186,115,80,172,130,223,89,229,302,201,167,239,151,196,84,124,150,96,149,164,242,221,179,138,132,159,185,176,123,236,103,85,68,132,69,125,178,68,198,39,213,138,151,175,227,85,184,174,140,128,226,223,238,161,270,284,241,213,122,303,194,212,125,181,51,133,180,166,90,111,53,107,146,212,110,196,104,143,192,194,122,141,114,205,111,100,162,80,99,190,157,149,142,108,112,150,216,169,171,162,227,191,120,88,89,57,125,146,144,133,162,88,174,136,163,147,157,100,197,142,88,162,247,159,50,150,89,110,119,100,109,151,110,67,94,72,91,132,226,199,125,250,113,127,111,132,104,303,130,244,167,200,167,219,149,172,247,84,54,77,207,149,129,65,165,177,190,166,285,280,200,296,128,171,233,145,160,233,245,223,173,197,213,99,95,175,166,167,169,201,143,248,176,150,108,90,328,151,190,126,224,258,189,178,171,212,188,132,113,193,104,117,186,228,164,191,134,156,65,174,149,104,169,168,97,131,115,122,195,191,118,87,145,111,232,83,159,168,97,163,162,107,138,153,92,160,114,141,127,64,50,157,210,144,183,129,107,65,97,141,116,134,128,57,254,155,151,91,111,94,69,63,35,121,38,93,191,330,114,261,195,204,197,148,45,214,183,243,111,113,150,192,285,144,224,323,71,115,324,196,212,291,209,175,222,196,162,97,116,99,45,95,214,165,89,177,215,114,152,224,274,138,219,147,165,163,176,207,272,105,100,183,75,247,151,110,109,117,159,142,88,325,119,233,225,196,161,209,265,274,213,277,289,100,132,116,304,184,178,156,183,44,227,225,178,213,240,87,252,88,214,107,108,200,181,192,144,192,227,115,161,221,116,263,294,256,250,236,142,210,101,198,260,155,122,258,166,127,233,170,95,92,120,213,101,106,159,68,102,80,168,155,106,79,151,182,105,114,44,161,73,89,125,77,142,134,139,134,176,101,98,129,183,164,90,124,218,108,123,39,179,140,65,108,145,101,102,193,169,225,260,211,265,230,240,316,222,143,125,126,111,124,63,151,165,115,49,207,306,76,128,220,56,78,132,152,208,85,88,139,196,82,156,93,118,62,150,99,270,181,118,121,133,113,139,131,458,124,217,176,139,132,95,246,99,66,69,112,103,98,142,53,106,159,127,168,82,183,162,267,230,244,196,69,211,110,147,240,126,194,187,112,150,222,62,237,168,71,63,176,126,175,208,140,117,114,132,84,152,158,246,197,249,152,103,88,92,248,84,136,152,211,151,190,71,259,283,182,185,176,174,109,286,174,183,292,145,127,175,291,130,120,48,301,126,215,231,163,126,339,155,139,50,203,210,175,188,218,214,178,142,296,230,86,144,213,109,85,48,205,164,168,226,151,69,86,89,126,87,197,152,268,182,114,157,93,84,154,175,190,64,153,241,117,83,250,102,100,213,183,128,154,229,280,195,152,124,111,171,49,131,140,128,123,120,71,150,119,198,145,192,132,143,99,71,130,147,220,126,57,214,246,294,181,250,217,270,129,144,249,443,127,197,199,134,149,114,245,114,160,142,148,177,159,65,130,127,227,103,152,172,178,121,278,118,114,144,195,157,344,179,51,172,80,95,144,25,117,143,168,159,67,142,49,108,72,125,225,194,217,235,70,174,260,170,199,33,115,61,155,194,66,170,348,284,135,200,106,238,194,162,214,136,144,129,210,117,194,61,126,160,47,105,173,124,72,256,138,65,114,84,167,190,93,160,153,35,436,80,302,275,118,148,166,183,57,119,455,206,91,50,118,102,81,219,209,86,33,169,196,236,218,167,280,174,90,115,71,109,157,117,71,121,108,151,76,61,194,100,109,95,156,91,39,162,132,157,106,102,105,115,110,64,239,284,79,280,118,46,77,191,96,182,94,70,181,114,154,146,97,196,68,160,51,200,133,104,93,191,288,118,178,204,145,150,145,89,152,109,428,160,110,301,462,188,86,122,200,82,196,154,153,107,93,237,101,72,67,91,96,133,156,60,176,135,181,70,65,437,136,123,276,118,67,80,149,78,67,61,122,118,237,181,181,143,198,215,166,175,243,196,112,193,199,160,219,58,83,55,269,136,448,73,135,167,161,126,92,164,141,93,207,93,213,251,128,118,397,230,94,463,44,108,80,158,93,96,123,267,113,109,186,96,116,284,173,153,113,209,208,127,157,28,27,26,26,26,26,26,26,26,27,27,26,26,26,26,100,168,102,216,105,304,197,194,246,111,243,188,123,138,27,186,102,175,103,220,229,225,288,189,157,125,136,176,128,167,114,280,116,245,169,219,349,183,152,79,68,131,162,201,188,63,130,189,201,143,72,104,75,128,318,223,100,259,164,272,177,68,214,222,169,212,177,155,162,161,92,86,226,278,128,53,142,78,282,240,132,162,141,146,151,222,149,142,327,212,114,139,144,232,68,112,98,132,173,148,136,124,107,108,192,112,164,114,156,188,160,148,206,115,305,223,168,132,123,206,200,331,183,195,150,279,274,115,161,160,219,65,59,179,37,142,137,130,135,146,240,198,329,243,122,221,156,202,163,207,57,197,214,202,175,135,122,52,87,123,138,177,156,217,231,142,209,141,181,247,133,147,156,171,229,162,169,156,115,160,231,257,135,141,178,238,159,112,123,191,285,293,234,129,159,191,247,193,193,174,117,274,128,284,246,208,173,281,194,214,205,62,124,197,155,222,243,67,214,327,200,236,67,192,108,138,162,168,167,286,220,114,144,212,125,125,96,192,142,155,117,158,134,126,133,259,135,217,99,339,172,225,168,221,86,99,193,170,317,194,128,146,199,125,99,171,194,176,209,328,196,99,202,158,157,202,293,115,99,170,272,224,171,120,157,213,275,295,156,294,106,214,131,190,42,256,155,173,120,181,163,114,279,177,213,140,99,104,194,242,43,273,142,156,165,83,357,213,240,292,314,292,137,59,188,93,167,17,167,184,207,256,95,86,135,72,94,145,84,100,134,61,208,129,189,90,261,77,169,51,237,169,208,134,135,195,174,117,146,162,99,255,254,126,176,167,119,108,277,139,241,266,220,149,165,127,177,110,132,167,187,150,304,222,119,203,237,162,116,154,355,67,241,88,226,254,177,102,127,148,302,160,144,163,116,164,171,218,142,145,158,217,189,224,296,116,127,231,214,198,253,93,95,244,130,156,250,143,74,166,140,174,144,57,111,243,257,188,108,131,158,155,310,159,107,177,232,126,54,255,309,78,251,192,109,160,318,241,191,141,209,85,93,275,284,143,246,211,91,60,151,99,87,177,146,151,117,165,206,162,296,231,141,135,89,171,204,92,237,227,224,112,205,115,162,157,317,263,155,112,164,256,138,138,267,172,63,166,127,406,230,149,146,194,170,168,164,168,234,250,105,156,150,184,98,198,280,330,182,196,37,148,112,173,223,189,114,207,175,177,196,275,295,283,212,132,208,177,101,251,184,300,268,54,231,165,103,178,135,209,213,147,146,55,179,137,98,113,129,213,154,212,127,108,177,190,250,186,114,89,247,176,128,69,283,124,131,187,175,177,179,140,142,212,201,196,313,146,304,187,196,151,289,205,152,254,116,178,226,180,63,220,156,181,115,181,320,228,245,133,200,190,189,153,150,154,86,202,151,229,159,112,116,161,192,199,215,245,134,149,125,250,156,64,153,272,160,159,258,136,143,185,75,179,147,104,151,122,76,42,269,76,342,107,272,81,174,149,103,347,216,135,181,209,123,118,235,126,202,152,95,101,154,163,152,159,170,135,143,191,245,177,83,79,133,121,186,149,212,80,133,117,191,128,166,177,180,131,177,138,139,53,251,100,273,180,154,165,137,129,193,196,292,320,195,226,134,207,116,115,182,334,168,259,206,207,147,108,145,279,245,185,148,218,217,164,201,354,122,239,305,139,177,247,224,204,275,78,194,117,233,276,133,190,124,348,104,107,185,275,186,144,61,98,217,221,177,170,153,127,170,73,72,334,59,82,152,304,231,216,156,243,231,67,175,63,207,322,122,126,105,167,232,253,318,266,110,224,127,197,200,150,123,211,115,177,226,164,183,199,202,210,268,219,141,307,193,133,232,76,130,264,190,100,118,299,135,159,29,127,170,179,164,289,185,135,166,202,242,215,166,138,204,136,163,132,260,110,207,173,187,300,175,326,148,132,131,219,80,124,217,227,132,157,202,182,103,256,115,132,91,256,122,99,125,94,59,174,138,323,119,110,119,172,218,175,114,70,115,125,123,107,154,120,147,112,114,230,63,290,215,149,220,250,175,211,244,304,196,116,251,162,176,202,201,109,132,183,219,112,173,110,214,101,237,196,209,182,111,118,88,229,90,132,181,123,227,275,127,260,289,150,169,181,161,187,152,212,278,107,275,220,189,151,152,136,155,232,80,93,61,212,108,117,177,206,195,140,138,302,150,211,135,174,232,118,193,86,183,162,212,234,279,326,93,147,202,167,220,161,209,91,251,115,129,203,159,146,162,213,235,227,179,150,207,254,273,110,152,293,23,175,208,204,161,195,164,117,141,109,139,81,150,101,133,167,217,74,332,152,254,94,195,203,114,139,213,134,84,213,182,173,265,127,81,201,125,74,162,243,266,138,217,158,147,161,154,204,97,188,194,204,133,157,144,258,244,296,135,43,79,168,127,83,192,91,183,122,180,144,184,45,205,224,236,161,148,144,285,122,154,117,305,133,172,221,267,83,122,100,115,106,237,84,136,68,220,234,110,220,85,260,153,217,100,137,155,352,190,216,294,160,162,169,182,87,194,169,135,188,123,114,328,197,200,245,207,259,207,60,220,251,123,280,112,149,31,207,202,185,105,106,140,230,235,255,135,143,280,171,222,289,316,137,138,263,297,123,327,144,168,214,98,95,120,295,122,112,101,128,139,189,242,250,219,220,174,122,157,235,39,75,241,135,309,182,141,184,269,102,156,114,302,152,113,218,191,90,146,259,256,194,284,97,259,102,156,218,379,78,195,232,145,265,170,164,121,183,247,160,130,112,159,272,211,344,174,129,223,248,145,196,138,134,206,102,94,192,206,99,240,126,92,163,227,121,204,211,206,146,127,178,219,311,275,93,206,236,162,225,109,134,142,189,130,53,122,49,25,97,201,188,133,161,326,145,97,65,64,212,189,246,121,168,169,256,243,141,179,150,285,144,179,132,191,217,162,239,170,187,117,109,168,198,238,163,216,159,159,163,179,128,163,118,112,296,120,261,167,118,143,233,245,13,95,245,132,242,140,331,214,175,191,147,250,198,285,143,227,288,169,139,168,213,163,198,222,137,109,112,196,177,148,169,145,124,112,211,145,140,144,145,122,166,109,167,116,154,207,124,180,278,108,124,159,204,167,186,147,112,134,192,137,152,135,193,87,194,177,124,128,130,94,179,211,176,135,173,178,187,255,169,116,203,153,141,157,61,192,193,122,178,161,132,199,173,79,263,246,230,218,243,190,104,183,368,219,181,100,171,250,182,215,137,96,146,302,63,165,99,323,214,70,84,332,27,284,122,107,193,162,288,200,281,148,290,174,212,178,113,158,116,118,154,105,53,74,270,46,216,137,163,128,267,281,119,122,131,202,125,291,191,209,208,137,193,169,251,261,185,170,200,164,183,120,197,168,201,175,104,248,132,103,131,139,159,189,197,153,313,216,147,182,166,239,163,191,131,103,150,116,97,121,170,145,137,101,140,267,106,98,129,234,153,167,157,36,187,93,325,140,109,127,288,190,206,114,203,97,203,89,160,347,100,159,137,271,52,187,160,115,155,235,254,143,107,247,175,358,101,263,98,227,165,125,258,182,169,157,234,81,86,88,66,105,169,226,88,166,153,225,111,241,201,152,133,258,190,160,225,322,85,152,152,250,261,345,151,124,164,223,170,198,213,172,138,107,129,99,115,314,161,267,219,122,169,116,134,168,114,156,84,229,210,170,72,149,120,230,24,134,177,125,164,82,108,143,160,169,189,96,227,157,133,201,256,201,91,32,280,142,78,131,108,146,161,167,258,85,138,133,196,95,118,287,125,104,188,168,140,216,248,142,124,174,168,118,147,141,118,185,47,235,292,151,155,155,154,179,95,133,166,188,168,147,133,138,309,126,57,249,200,121,125,203,185,174,327,122,226,224,236,282,141,150,275,224,152,262,122,155,232,109,28,204,75,206,208,90,26,162,174,108,284,227,237,293,153,148,142,173,194,173,205,154,236,152,179,341,182,254,184,302,134,184,127,202,144,167,147,315,133,115,176,143,157,155,257,155,191,153,261,107,222,167,203,154,175,234,135,116,213,315,130,236,224,143,180,161,233,168,249,134,285,228,252,89,214,326,200,204,240,152,200,180,227,194,186,132,202,183,128,327,159,19,79,165,272,120,245,120,27,209,61,201,146,130,155,211,186,125,288,184,234,173,132,320,143,224,305,220,207,163,190,225,147,119,181,212,234,111,41,200,191,137,165,91,85,263,113,137,192,324,124,141,248,140,196,194,230,171,131,267,117,159,153,137,93,317,182,286,143,157,229,101,168,191,130,143,238,226,112,171,86,135,189,125,151,146,216,169,158,132,141,157,152,172,197,155,115,209,231,200,210,112,104,184,106,75,170,152,186,223,193,228,183,177,195,177,228,124,185,83,149,63,165,112,117,175,332,82,66,113,188,175,170,164,100,133,89,160,242,94,181,162,158,164,162,111,111,134,194,171,152,135,169,165,175,78,115,169,106,155,152,194,142,219,84,115,173,67,173,193,219,257,154,168,173,242,129,128,146,124,146,178,114,158,143,134,200,227,193,98,141,152,215,145,270,224,176,220,164,149,267,101,163,200,89,249,152,176,210,154,207,253,247,267,264,195,268,207,201,269,234,169,147,230,204,127,229,209,135,172,168,153,122,134,181,82,131,213,152,326,73,138,314,170,218,266,129,139,263,161,149,242,89,129,110,96,177,245,294,122,182,215,273,347,148,230,170,223,68,110,219,209,180,243,201,251,109,191,135,142,111,136,154,154,56,119,62,169,98,313,283,291,150,131,180,63,185,182,151,225,256,239,186,216,151,163,155,145,203,159,68,198,176,120,107,177,211,146,228,180,164,177,167,109,203,142,238,161,229,144,246,200,160,106,204,195,166,123,145,255,100,263,83,144,148,127,139,177,217,108,189,111,136,297,267,124,96,143,87,83,113,181,153,175,244,205,187,166,104,167,184,257,257,252,268,226,170,93,133,37,87,112,224,108,100,220,154,106,186,107,206,216,288,203,76,158,232,155,163,61,154,164,26,138,140,206,106,108,220,114,140,257,203,143,30,144,136,322,326,153,217,185,274,156,196,189,132,169,242,156,170,302,183,223,117,71,115,114,149,158,113,235,103,223,192,143,85,191,215,197,189,146,153,134,132,161,216,129,233,64,185,170,99,251,157,159,194,116,80,189,102,207,97,194,316,180,128,131,103,185,138,152,353,143,171,75,176,162,107,104,179,213,64,215,85,159,303,184,171,74,246,128,286,178,198,238,223,110,223,256,73,93,299,262,114,122,99,84,277,278,134,122,147,169,157,265,102,300,324,223,159,251,184,167,243,200,125,88,205,219,162,125,197,220,139,199,149,181,315,193,243,188,171,224,284,145,305,219,183,174,85,208,221,171,270,179,313,198,145,207,190,188,246,95,183,231,189,104,197,235,215,151,152,142,71,181,177,281,150,190,76,153,224,224,194,136,289,215,170,129,104,112,220,247,105,317,262,177,256,84,144,180,217,261,243,141,170,175,121,139,120,125,126,248,133,77,235,184,250,209,152,197,76,270,149,145,166,134,170,143,107,227,197,151,242,168,143,87,172,118,263,136,210,214,231,292,213,166,173,137,127,182,204,224,74,231,228,224,265,142,153,264,156,132,347,99,206,236,190,193,146,251,150,157,219,267,161,112,193,198,119,217,132,151,180,104,246,125,257,178,218,155,201,162,98,238,290,256,198,162,292,181,197,128,226,138,278,73,211,252,209,131,356,229,260,235,190,267,172,274,255,132,461,157,212,173,362,212,277,276,257,230,225,332,290,238,277,180,235,173,113,204,134,147,270,228,177,232,187,234,186,104,219,240,75,165,139,149,171,175,135,191,361,197,109,239,259,231,137,237,162,163,282,231,285,150,264,216,252,92,217,182,214,267,239,309,412,208,278,191,265,180,158,183,143,155,241,155,165,211,233,220,187,175,292,232,196,181,179,257,199,164,225,346,274,284,111,163,190,269,169,181,275,250,352,183,73,220,236,360,219,308,137,156,220,203,158,407,238,147,94,211,210,168,115,211,305,117,178,278,212,203,360,250,356,133,192,212,294,226,190,322,380,266,149,225,227,174,112,142,131,135,59,145,276,144,143,72,38,222,83,253,76,153,222,164,174,83,246,105,203,161,150,219,72,85,257,144,213,54,130,206,195,251,156,226,147,344,190,110,312,178,222,147,90,114,152,204,180,133,274,170,135,162,259,189,92,171,200,160,300,243,87,282,329,276,257,328,121,189,63,177,156,183,213,86,154,161,244,292,185,239,173,164,167,257,189,84,130,139,129,153,218,333,117,244,297,152,146,241,205,99,239,219,307,191,194,268,177,271,120,124,183,230,71,142,216,145,183,232,282,242,218,183,46,152,134,154,115,116,329,274,222,215,68,86,99,102,270,250,245,147,229,200,180,278,111,176,226,112,235,212,173,227,187,162,78,260,322,229,177,191,320,112,132,171,187,92,319,127,135,267,122,230,156,178,263,275,130,56,144,164,207,303,282,183,173,168,212,372,180,259,189,167,230,247,282,126,155,311,156,166,270,291,224,287,83,236,284,257,205,198,246,231,133,159,206,154,72,172,187,145,160,129,318,218,143,218,219,116,225,175,157,70,255,96,231,108,125,167,91,74,168,218,212,225,308,223,266,196,132,170,153,192,274,150,298,211,293,93,176,225,204,209,164,184,299,108,132,149,132,248,65,138,163,140,162,222,143,138,158,165,97,273,204,113,212,291,207,103,113,138,132,138,150,107,179,413,168,188,109,156,139,241,179,166,134,46,183,230,227,168,279,154,112,156,109,117,68,156,17,137,158,151,150,182,223,106,225,142,193,150,159,227,205,83,149,183,183,104,121,145,180,192,131,189,133,131,213,187,68,145,202,174,115,165,110,178,210,167,124,109,148,147,182,157,227,84,239,342,161,246,239,97,235,132,242,144,172,330,143,272,215,151,171,178,82,240,90,256,214,97,82,79,88,141,113,162,109,200,321,119,237,265,97,146,183,168,226,127,126,138,84,279,59,315,129,183,284,131,236,268,148,344,90,248,73,194,222,127,333,325,224,187,244,101,189,141,163,132,175,227,246,133,185,263,106,129,220,162,62,163,115,158,173,141,156,168,180,115,163,232,142,113,286,259,190,71,295,90,115,164,211,172,147,194,257,334,196,190,214,153,106,245,271,193,260,78,169,175,271,120,191,153,114,172,183,137,74,144,183,158,177,124,214,202,244,215,124,231,127,150,51,135,202,29,132,176,130,179,128,135,140,111,318,208,180,157,163,281,192,194,206,157,125,260,302,306,291,342,244,159,126,150,239,241,113,172,95,192,157,152,221,234,168,230,161,129,179,97,205,216,112,65,178,250,129,209,269,159,223,119,183,224,140,217,183,225,255,225,133,131,217,225,330,65,201,192,163,97,119,103,136,153,194,216,337,226,204,222,318,304,216,185,181,141,148,52,168,76,260,133,126,162,103,216,166,189,120,122,113,201,214,93,252,126,124,204,116,204,171,131,180,138,209,144,127,266,166,56,218,120,242,117,164,111,79,136,108,242,198,181,297,142,194,148,185,179,137,230,129,144,201,165,184,101,168,297,167,239,140,141,74,218,135,66,168,175,173,289,173,130,164,67,130,143,179,137,137,200,140,262,218,111,160,82,261,316,190,190,192,133,68,96,244,77,164,99,101,332,208,319,235,181,311,153,148,44,89,218,147,295,201,168,41,221,169,134,83,109,127,315,171,123,190,159,266,185,231,118,159,150,281,302,209,59,205,275,176,93,162,106,252,197,189,280,148,235,305,177,254,155,116,168,168,111,170,162,248,273,191,124,151,211,125,153,187,93,142,321,195,107,159,164,98,171,173,266,197,215,213,224,66,140,152,231,94,101,69,209,166,278,340,256,116,104,191,254,110,153,82,300,140,226,288,150,146,131,189,206,170,129,141,227,140,122,67,221,157,187,157,82,136,136,116,264,124,93,102,159,164,129,47,161,102,199,190,136,96,223,132,181,158,177,92,116,236,204,191,200,134,111,86,224,266,284,303,197,199,214,151,103,134,60,24,108,248,204,240,77,134,69,203,95,169,123,111,157,167,181,158,251,165,87,205,217,160,188,194,194,192,196,162,258,225,164,109,175,107,198,106,170,319,133,322,122,186,227,181,191,98,193,196,154,140,152,172,134,193,120,203,277,90,293,185,295,173,88,292,70,162,185,78,86,156,146,58,203,159,93,152,122,291,73,269,74,193,100,81,227,194,269,216,129,115,249,217,109,92,220,173,175,65,161,66,127,150,161,99,202,248,181,167,152,153,144,183,253,324,225,217,204,177,121,169,154,321,269,122,114,272,342,130,101,213,183,202,92,99,201,248,97,182,288,112,338,198,310,210,140,311,224,238,167,170,88,231,247,154,147,252,93,161,146,82,162,193,162,120,275,222,179,170,235,141,115,179,230,191,261,118,129,79,166,294,124,67,44,210,153,120,238,73,90,93,193,97,151,122,243,143,117,159,117,198,140,114,284,50,204,156,218,124,96,81,193,140,296,216,142,163,201,109,171,97,141,237,220,235,236,261,155,180,148,197,110,174,128,92,243,292,169,120,245,317,104,181,242,250,200,111,179,152,46,167,202,106,202,225,113,167,252,167,94,200,168,114,264,168,201,175,201,128,238,247,132,227,187,224,159,239,260,110,120,172,177,95,130,174,149,173,92,191,67,249,218,121,104,150,82,207,273,111,70,59,208,190,63,213,147,158,255,74,208,189,275,272,71,147,311,173,276,175,122,249,186,166,169,175,142,183,123,271,114,234,111,83,118,72,147,284,163,29,258,126,162,99,80,128,75,133,131,41,113,193,274,127,157,156,116,77,189,119,214,159,186,133,162,48,257,180,128,198,119,107,157,178,215,276,116,153,74,211,161,117,82,174,135,153,81,142,146,107,291,213,130,119,130,203,181,276,260,213,183,164,216,191,130,138,172,107,208,66,183,216,140,150,253,125,163,143,219,100,249,167,114,239,120,277,249,252,163,294,162,189,191,172,85,125,169,83,64,195,296,183,89,227,183,241,59,231,259,218,195,122,109,169,236,136,159,124,166,184,250,162,94,156,209,176,273,133,169,203,161,252,139,298,284,224,207,199,117,125,241,232,220,136,275,139,178,324,152,92,126,232,182,169,124,207,201,208,227,235,85,170,187,280,163,167,207,315,141,157,227,232,113,206,240,209,228,137,134,348,90,126,171,97,191,156,182,198,122,191,158,142,200,164,222,180,169,138,152,222,338,175,159,187,219,82,216,152,180,213,184,225,97,60,128,231,136,75,48,113,216,191,138,183,178,129,195,217,174,177,236,156,146,178,165,217,283,160,255,152,193,296,356,208,298,201,113,98,146,74,173,308,313,198,183,195,140,101,84,244,179,216,191,151,185,158,303,128,126,217,236,273,108,177,183,81,178,94,157,146,114,164,76,185,144,162,150,147,262,141,135,169,130,187,169,97,20,197,353,159,140,123,114,126,175,244,151,120,194,78,277,212,197,171,179,230,201,186,103,143,184,116,105,192,213,310,182,174,121,110,140,234,185,207,72,143,137,176,201,54,56,163,140,153,308,86,126,200,98,270,136,114,156,114,124,223,159,222,228,250,235,152,161,167,178,166,19,49,114,155,196,174,110,121,208,203,141,163,228,260,148,181,168,200,175,136,146,186,191,221,213,151,215,253,108,129,135,74,91,240,121,216,154,169,162,168,134,114,193,98,191,155,278,169,186,142,213,198,163,138,282,200,114,100,96,212,153,197,169,255,39,123,139,124,153,150,207,206,161,99,232,92,179,95,131,291,166,181,71,207,146,126,168,226,224,172,152,156,153,172,190,63,204,193,227,90,184,164,258,50,204,116,168,176,245,123,188,162,148,197,299,61,200,160,164,136,160,195,106,111,256,212,251,244,138,190,87,306,220,76,286,235,260,172,194,147,149,149,216,135,168,233,219,140,121,110,245,103,179,176,159,82,116,198,207,89,292,363,259,168,152,267,93,256,118,177,206,105,143,224,180,209,126,110,152,225,225,95,298,231,89,165,175,171,157,189,155,184,120,125,286,295,205,189,172,249,208,286,311,229,112,116,65,122,195,155,130,100,195,128,162,66,237,127,109,210,320,178,196,129,254,173,192,172,191,219,143,163,174,185,230,180,37,185,209,361,183,179,100,217,245,155,124,206,246,290,246,212,223,103,143,205,103,128,144,209,171,132,91,105,145,162,219,186,188,73,210,129,180,145,197,166,260,258,296,200,135,330,141,131,106,295,130,252,141,163,278,158,207,177,323,220,65,187,109,207,266,269,191,224,243,221,209,110,96,64,285,224,152,30,197,337,154,111,258,261,126,176,297,231,85,278,50,211,86,205,247,160,177,169,155,189,292,250,145,198,256,279,184,240,89,294,242,170,80,157,133,250,294,119,174,183,166,192,110,110,133,85,267,140,198,176,150,115,254,267,186,188,177,189,126,188,304,93,157,142,151,97,273,116,243,170,108,99,124,137,200,140,157,200,156,184,168,168,173,126,150,181,134,88,262,212,186,256,157,190,137,261,264,131,221,312,171,67,105,159,194,205,219,217,166,194,136,86,159,279,74,133,296,161,218,234,163,308,189,178,235,103,144,142,154,132,171,276,333,109,176,139,316,242,150,99,138,171,88,139,172,181,267,329,126,244,252,163,261,107,142,172,146,160,148,90,145,227,221,234,130,72,334,65,132,281,137,112,173,173,152,263,244,258,278,262,115,188,30,178,186,254,172,236,300,189,102,206,160,79,145,70,188,190,110,249,210,203,112,245,215,160,237,207,69,269,237,356,221,109,195,254,233,120,294,140,230,127,192,208,79,267,142,90,110,41,249,174,172,246,201,203,258,209,149,183,160,237,262,157,117,328,150,175,287,122,326,192,264,309,68,232,68,209,142,176,120,207,316,291,246,63,166,208,187,152,158,98,184,130,139,305,232,207,90,208,185,195,218,222,80,114,266,39,132,187,204,121,282,170,58,139,177,244,312,191,138,190,118,271,117,135,132,121,319,83,194,125,62,150,140,85,135,141,179,137,111,265,188,110,182,104,165,280,67,124,170,84,105,205,313,296,258,137,239,211,117,218,176,212,128,216,99,168,69,237,146,314,172,277,196,194,206,223,131,172,112,154,224,270,179,147,177,210,120,156,232,215,128,329,90,205,328,130,223,224,174,127,168,195,123,267,271,130,174,248,88,280,283,211,147,171,225,265,219,189,117,142,244,245,86,155,181,202,196,164,227,226,117,186,240,194,208,268,251,144,161,219,125,105,228,181,199,110,297,200,124,255,76,127,148,115,72,175,226,242,216,247,298,216,267,191,172,235,120,14,163,224,277,349,130,313,76,198,173,239,204,120,138,253,181,135,115,76,109,187,70,188,91,169,184,96,146,150,162,166,223,198,192,133,212,122,176,223,126,208,132,194,188,165,220,59,165,61,160,152,210,229,152,104,162,112,163,208,162,272,130,121,267,105,136,133,81,303,292,128,164,80,150,293,216,267,177,260,202,156,285,149,133,50,115,253,91,272,202,136,272,208,108,174,124,270,223,263,253,159,63,257,197,215,237,299,112,100,226,196,234,131,169,106,258,243,327,85,148,182,170,237,128,145,247,189,191,166,208,205,319,206,98,183,223,109,183,123,147,127,183,74,85,263,156,70,179,146,171,241,269,89,239,161,240,175,185,225,126,123,146,201,224,90,153,119,92,118,288,290,29,172,271,117,297,167,200,74,126,219,180,132,253,89,102,289,169,53,233,154,230,136,114,187,241,171,149,142,94,123,151,228,319,335,130,253,111,60,201,251,160,258,58,224,98,188,134,236,266,123,232,56,184,133,74,93,128,139,190,75,212,165,160,154,142,191,187,157,171,158,102,124,121,213,202,219,143,289,150,274,110,207,174,167,243,228,253,219,154,120,81,149,169,37,119,90,140,123,193,229,265,257,221,163,99,162,124,151,247,185,145,137,124,200,232,107,163,158,198,142,302,115,135,157,153,68,107,68,188,112,164,154,234,216,153,155,138,285,172,129,174,92,212,236,91,139,110,197,266,149,153,171,203,120,273,135,153,127,92,127,215,192,185,208,319,223,101,211,136,229,210,342,168,112,185,147,125,323,205,205,316,190,191,201,115,188,79,110,275,55,91,212,261,185,216,139,228,183,183,158,205,205,249,183,149,249,130,228,149,322,113,218,223,131,118,105,69,190,188,265,109,180,324,164,144,119,209,134,127,129,196,178,205,73,101,127,145,145,181,216,253,285,122,149,146,156,196,111,284,149,278,155,111,133,259,188,194,160,209,233,100,206,192,192,140,83,278,225,195,192,79,146,146,126,241,202,154,207,144,231,168,162,146,171,195,232,158,197,104,171,150,143,159,197,219,185,120,249,129,174,169,250,135,153,175,99,105,157,267,178,153,167,147,128,117,233,105,245,182,314,138,127,162,232,192,79,117,106,193,155,91,114,101,260,165,258,223,206,182,215,67,72,236,234,183,86,121,156,143,249,73,146,325,118,173,210,255,124,121,179,200,157,205,81,131,138,313,103,217,149,170,83,202,312,188,100,168,198,227,125,275,204,150,228,171,218,121,311,276,186,223,222,287,175,150,107,191,123,338,160,179,91,270,115,262,158,84,180,227,155,63,171,158,153,258,180,134,162,233,99,175,315,59,246,92,197,224,113,261,232,189,238,135,283,131,299,243,280,182,152,195,201,235,269,145,118,189,184,198,104,143,125,252,168,165,163,111,253,264,203,176,255,246,170,164,218,187,164,227,194,171,228,249,162,251,185,262,246,148,85,121,232,57,208,175,228,45,292,86,222,163,229,209,150,272,354,97,214,94,89,188,190,249,155,293,72,130,143,184,150,311,180,124,98,166,158,180,184,131,204,181,194,239,206,316,211,112,339,151,160,242,135,186,235,137,119,191,184,197,83,105,196,126,181,234,143,228,265,267,207,89,225,145,175,153,205,140,175,198,174,312,188,109,65,180,196,172,46,205,227,317,221,116,182,102,207,316,55,104,288,273,134,145,199,193,122,227,121,65,26,75,240,82,143,114,151,208,148,113,122,236,171,305,163,236,188,147,215,173,111,129,160,111,167,209,75,192,83,144,119,140,198,111,130,182,242,70,287,226,66,147,198,151,96,216,252,128,120,163,188,177,269,214,278,196,226,318,236,118,162,198,151,190,224,108,235,156,176,341,132,138,181,222,171,217,288,193,220,158,168,234,259,67,164,93,160,101,81,340,184,106,143,223,204,163,219,157,188,189,138,146,162,168,207,223,106,121,164,101,207,126,246,145,184,136,148,220,200,188,297,126,261,231,342,114,239,186,206,146,177,221,179,190,154,93,101,165,115,182,167,164,156,148,166,114,192,207,183,76,218,167,196,129,136,91,124,198,140,163,81,135,258,166,292,187,246,210,222,259,234,240,247,238,128,162,166,277,127,219,181,295,169,299,146,224,79,159,167,183,214,121,285,197,188,243,135,206,107,177,202,218,171,152,207,79,117,139,206,237,161,143,272,222,157,173,179,248,132,98,113,157,166,109,123,159,210,123,160,240,232,313,145,78,54,221,209,255,66,131,166,134,228,258,168,121,277,144,180,160,96,247,104,210,142,313,311,236,173,211,220,191,285,107,173,262,221,99,165,149,321,193,116,257,227,129,165,75,121,160,256,171,227,209,289,136,181,168,279,266,81,78,164,108,117,74,230,201,91,144,149,251,137,279,70,136,155,219,243,157,75,155,187,269,72,115,218,197,53,73,206,180,199,226,137,236,72,210,108,232,92,171,304,162,236,311,265,194,165,224,267,212,166,209,190,110,218,186,246,235,237,167,175,79,77,166,113,139,86,161,167,146,140,163,130,240,93,102,203,104,174,279,308,271,187,212,156,137,86,293,191,174,211,125,145,151,85,102,229,174,204,156,273,104,223,282,106,64,197,175,177,137,141,109,80,114,141,200,230,124,148,141,167,225,211,183,163,183,187,148,146,139,285,231,229,172,134,223,135,368,201,338,225,97,177,263,181,185,128,258,49,160,86,168,155,212,144,115,223,99,182,144,286,227,319,145,132,142,331,145,145,222,152,158,93,251,154,173,264,212,194,192,143,214,351,136,141,181,185,239,175,137,115,174,165,136,193,272,193,315,235,227,75,160,250,135,190,204,304,157,165,188,151,124,146,111,116,240,266,68,268,145,203,153,242,109,102,221,127,113,279,192,266,335,247,137,125,148,138,223,291,98,98,185,167,309,136,186,98,58,208,141,107,204,129,316,207,243,182,201,29,145,96,138,55,203,93,174,242,183,119,173,102,180,172,170,216,297,171,207,146,218,248,188,166,178,222,151,135,261,232,265,224,161,167,229,141,175,146,196,141,235,154,320,279,224,208,107,189,194,151,162,195,169,128,149,105,283,66,82,102,133,256,159,173,103,98,282,179,187,246,104,374,162,92,98,233,313,189,112,30,174,230,167,259,155,151,125,236,174,167,160,183,321,85,120,173,171,155,163,244,223,165,187,234,217,191,112,273,275,271,181,336,224,151,75,207,334,169,100,147,213,91,187,122,238,163,275,309,150,228,167,76,183,159,307,198,192,131,189,141,222,163,221,339,164,158,195,132,187,255,130,154,99,129,187,128,192,80,266,159,195,209,136,88,186,192,147,230,263,131,175,165,210,130,68,63,177,214,301,79,134,62,103,183,130,176,173,181,274,203,299,140,118,153,264,109,159,171,121,136,88,152,125,225,101,123,307,105,160,102,160,138,184,94,139,197,112,216,205,235,253,185,193,148,154,110,132,78,79,227,124,248,124,239,278,190,139,175,79,70,86,182,190,187,132,156,239,262,133,148,114,126,203,114,315,98,153,267,91,146,127,122,127,166,176,161,176,229,177,197,338,73,231,276,220,322,203,225,183,182,135,110,196,206,192,125,89,262,104,102,67,154,116,243,157,182,205,301,341,101,190,236,268,138,208,159,211,292,252,111,270,101,194,89,48,65,36,101,268,79,203,114,276,240,213,223,194,131,104,95,213,156,139,108,121,153,66,268,209,114,115,219,201,114,166,113,100,84,206,173,163,63,203,165,110,237,202,138,103,136,205,344,154,137,243,215,159,167,189,83,145,223,157,127,104,124,120,158,237,180,195,201,125,127,296,132,206,238,238,144,148,131,142,168,110,234,125,116,155,195,262,232,173,89,123,124,237,109,161,54,143,110,184,117,206,114,128,184,157,127,203,67,43,125,294,173,103,215,154,196,329,316,246,115,190,196,256,78,126,97,95,153,161,132,174,158,177,84,82,183,153,104,189,198,131,144,124,228,277,235,92,263,159,157,217,156,172,111,159,113,99,99,137,143,170,107,239,277,236,164,300,180,96,136,164,202,132,157,112,167,259,254,177,212,169,160,284,186,167,255,239,160,110,150,265,178,137,252,114,200,91,166,162,49,155,190,125,241,120,71,143,96,168,150,154,154,160,77,186,64,246,183,156,163,92,232,194,173,180,161,222,111,177,314,333,137,253,156,261,72,273,97,256,133,75,87,62,192,80,154,122,122,253,160,250,73,159,234,238,102,212,200,183,337,84,98,328,200,120,109,253,168,213,214,153,275,93,196,261,199,204,165,116,86,150,192,203,176,185,129,64,203,164,109,280,291,272,175,177,152,263,157,134,129,226,199,193,60,102,211,112,140,191,122,213,312,151,146,127,198,119,92,115,159,87,204,155,148,210,240,177,248,104,162,115,239,22,227,185,213,266,146,180,102,131,190,170,51,160,163,171,244,108,198,152,158,243,224,211,184,186,242,168,230,129,227,256,202,85,152,135,242,131,227,59,75,199,138,241,204,119,211,189,158,126,168,274,181,193,171,111,227,115,246,198,236,356,172,210,181,164,324,89,212,109,81,83,208,228,126,93,224,182,250,164,122,152,167,236,232,97,180,63,177,293,171,183,207,226,112,145,88,161,283,166,231,97,158,196,272,229,296,215,262,185,218,118,218,145,286,140,203,245,175,266,86,92,192,114,261,231,171,183,141,55,162,117,233,146,262,168,329,111,139,176,235,211,287,239,242,189,176,171,120,187,215,159,130,122,160,218,222,198,102,79,197,205,255,104,320,172,172,113,116,118,176,201,312,40,238,105,193,175,110,266,160,146,207,205,164,170,314,317,148,128,226,157,192,280,226,129,145,152,206,275,214,258,166,95,93,281,142,223,109,209,106,88,98,114,131,131,301,219,100,241,221,163,156,274,147,213,228,347,110,206,192,93,225,230,221,184,189,293,114,184,346,105,187,87,212,367,180,179,182,110,108,166,209,225,264,189,188,211,152,200,148,173,42,192,127,95,236,93,219,115,138,106,129,175,90,154,85,199,219,211,270,270,285,213,221,219,191,231,249,176,256,213,158,139,226,90,84,86,153,119,201,215,155,156,172,242,230,141,186,219,206,238,226,258,167,185,306,279,175,188,163,251,173,57,182,109,187,277,271,107,185,162,275,201,96,103,245,249,299,191,184,190,105,155,238,269,230,205,139,58,250,234,198,327,112,272,108,128,196,281,120,160,173,196,104,188,195,126,213,144,166,178,87,148,265,94,145,167,203,151,139,134,251,221,196,166,182,217,234,271,272,196,208,236,158,251,225,169,71,190,269,247,203,153,143,144,298,118,132,96,116,193,348,216,111,106,120,151,90,40,120,171,195,170,297,194,207,185,119,158,100,141,207,46,114,158,231,124,162,173,262,250,212,140,136,227,236,219,112,177,192,176,245,159,185,195,132,82,104,340,178,148,184,180,228,127,261,188,155,229,123,165,90,210,109,167,287,95,89,203,107,143,144,159,206,128,153,149,176,119,214,298,107,173,203,196,51,186,63,254,212,277,61,252,114,172,202,123,108,210,121,218,114,135,112,167,178,262,213,146,246,47,302,90,120,174,224,243,116,114,199,100,165,166,245,60,139,254,241,196,180,277,197,280,128,160,259,278,181,314,140,190,122,161,308,239,162,139,226,220,238,162,276,305,92,187,111,306,214,344,262,107,207,250,145,145,268,122,230,190,142,83,63,209,226,117,53,149,169,153,169,218,100,177,208,192,125,179,103,87,221,185,91,312,112,179,223,105,139,313,245,250,190,66,166,280,215,146,248,131,142,128,102,130,280,247,186,140,193,119,120,160,66,308,328,340,127,146,239,235,85,136,139,163,260,160,153,236,138,177,224,81,224,54,167,167,206,208,121,100,186,197,225,100,63,202,347,123,250,124,195,160,48,133,271,207,261,241,55,189,149,95,131,265,132,137,163,104,300,163,292,135,224,135,207,69,68,217,231,250,153,178,130,143,195,104,115,218,276,165,270,155,256,154,298,169,239,294,200,201,163,96,105,277,137,111,161,161,150,21,245,249,140,258,139,111,97,124,139,129,163,206,143,219,135,212,132,170,207,189,159,187,109,300,119,194,231,259,213,139,165,290,208,143,47,243,194,229,186,153,218,140,267,177,169,242,173,184,48,95,115,156,151,101,182,221,137,65,124,233,183,162,152,133,270,143,130,265,208,137,219,290,201,225,148,150,215,245,215,229,231,188,97,275,167,242,189,205,187,205,180,32,170,156,201,201,149,13,120,266,252,173,168,133,181,199,160,156,166,248,286,217,223,126,82,175,165,124,182,158,257,222,163,279,161,221,171,198,142,83,147,213,288,150,120,179,181,231,178,165,157,233,186,190,324,195,216,91,246,88,182,124,225,119,146,133,286,227,176,156,169,160,114,97,179,199,193,187,227,224,168,144,214,208,255,214,164,236,135,293,242,209,102,158,218,276,194,149,183,126,147,179,196,157,232,172,168,161,168,172,178,95,152,236,319,39,161,257,193,256,289,161,160,171,203,156,245,228,116,90,146,93,158,169,254,130,83,91,45,275,185,173,153,204,211,101,95,265,220,173,267,102,183,170,233,180,160,296,71,228,134,202,160,184,274,74,112,344,99,79,294,115,106,169,177,244,137,153,195,286,170,303,206,168,121,265,211,224,297,257,251,188,167,105,205,209,179,186,307,267,162,164,225,233,223,114,185,269,200,245,233,388,199,143,234,80,189,111,231,187,131,122,170,179,167,163,183,154,246,124,174,131,69,260,195,104,129,186,186,241,194,198,144,159,164,178,214,247,336,279,160,217,162,204,52,189,159,111,273,244,175,217,203,152,128,331,175,161,247,159,214,163,167,233,295,315,200,206,126,243,199,161,267,256,76,51,212,190,167,261,232,136,107,210,136,289,179,178,136,98,154,142,121,123,103,160,192,184,173,106,107,129,83,212,199,106,92,202,150,145,55,222,238,229,132,132,186,196,175,165,242,177,282,259,215,126,188,201,105,196,255,220,199,136,81,159,179,146,199,131,149,139,257,231,248,268,286,234,266,106,228,115,257,259,187,169,189,257,155,136,167,195,260,205,192,217,120,249,192,218,127,173,72,143,129,94,268,107,88,124,111,212,101,189,128,133,118,184,44,234,215,184,184,184,197,206,282,195,97,108,115,191,139,215,222,185,192,103,284,202,212,307,168,326,192,140,223,131,193,84,132,136,206,311,118,148,149,263,321,270,98,193,89,240,226,150,193,124,176,166,152,291,262,255,206,114,271,162,158,157,196,174,86,167,148,166,154,226,304,217,116,206,97,205,175,189,134,269,208,246,132,158,176,234,335,87,114,139,178,213,147,170,257,232,220,76,192,163,150,183,208,100,158,121,178,163,103,209,290,318,168,303,276,278,268,199,144,184,320,241,134,271,183,236,157,97,103,107,168,84,143,225,190,87,155,148,231,247,106,163,140,126,133,267,148,224,234,229,177,212,240,153,142,107,142,89,120,200,115,226,70,148,199,190,207,215,264,62,215,352,181,206,85,227,106,187,166,90,125,240,126,114,233,238,206,136,140,296,210,219,145,117,108,288,133,159,94,110,260,148,162,164,200,209,192,275,139,306,213,178,254,247,227,155,196,171,214,104,184,171,170,163,247,233,177,182,105,175,218,282,163,176,321,196,175,200,140,169,77,160,97,291,215,254,273,212,94,282,236,135,177,196,149,237,163,174,249,171,304,185,208,172,203,258,310,178,295,304,134,186,151,183,223,229,186,183,213,94,131,125,178,137,209,182,222,226,333,139,206,279,137,151,232,200,104,133,113,171,200,153,142,190,178,174,165,164,69,303,232,206,193,179,196,223,118,158,150,201,94,135,232,159,187,194,245,101,193,177,289,173,195,133,64,169,157,155,103,155,249,154,187,101,143,108,263,231,167,175,173,154,141,203,177,161,156,210,187,187,205,239,140,305,271,228,237,128,300,221,212,117,125,151,104,186,183,157,194,124,147,229,162,198,195,151,247,318,64,200,149,246,230,335,226,234,182,161,242,82,225,139,156,104,253,95,100,259,119,183,150,163,200,262,164,171,92,172,200,139,180,91,217,112,290,156,105,187,126,216,156,154,202,90,85,187,270,332,260,202,196,107,219,133,344,201,340,137,128,253,183,207,172,157,274,130,185,224,110,79,141,131,250,137,181,182,86,194,230,161,218,155,61,306,162,220,146,203,298,157,183,163,189,239,138,143,152,275,114,171,234,177,161,205,215,116,85,199,291,84,186,155,175,139,194,266,182,206,200,116,329,132,191,221,143,122,215,340,196,179,188,100,142,89,214,174,107,127,42,107,172,139,169,121,241,203,142,191,154,101,232,187,177,161,111,225,198,263,127,237,161,194,264,167,160,200,188,94,177,224,91,173,176,340,195,154,225,231,179,161,294,228,229,143,217,113,194,80,179,180,129,173,119,250,204,156,165,335,326,341,111,166,112,154,223,223,120,234,164,177,133,199,180,129,188,183,268,147,219,165,136,108,182,118,168,202,163,229,191,135,193,242,70,173,125,220,116,209,65,361,137,115,106,224,300,270,105,177,140,183,294,184,156,140,121,219,202,152,150,362,283,94,112,134,100,280,192,94,180,156,187,199,185,195,60,216,153,177,161,234,213,188,179,322,98,248,126,204,292,209,171,155,270,185,199,172,121,215,198,274,173,297,193,189,77,168,233,299,274,252,108,318,155,185,166,291,168,213,191,272,218,234,287,340,150,233,123,157,79,177,149,103,228,158,136,187,207,272,168,174,202,138,237,218,185,134,215,198,205,142,252,238,171,244,191,219,236,186,228,306,196,274,183,237,238,194,296,240,260,210,322,173,187,156,155,145,184,120,185,300,71,148,156,126,168,177,200,261,137,95,115,159,188,72,157,191,188,124,189,235,197,348,140,219,124,128,276,236,237,149,167,153,155,262,96,216,197,164,198,132,305,67,288,167,131,162,211,269,163,82,217,188,112,149,189,156,94,176,206,272,168,99,200,345,173,142,238,188,136,149,204,157,200,256,311,186,125,179,266,144,177,194,155,142,189,266,168,217,322,155,171,160,242,204,65,196,137,104,173,176,68,154,227,180,131,133,238,269,97,305,240,210,269,175,323,111,332,163,173,204,308,34,149,142,259,170,332,196,195,118,62,293,180,131,150,236,203,178,157,314,194,110,164,184,102,273,205,134,99,325,171,175,265,233,288,296,267,160,163,168,118,91,97,102,166,169,220,174,73,258,105,159,217,121,164,85,188,133,147,187,254,147,149,187,108,138,123,65,147,132,198,162,257,131,126,122,141,112,111,212,94,173,249,104,194,258,71,352,90,225,234,203,116,118,319,128,186,205,247,146,114,250,94,166,199,73,116,241,170,170,234,244,265,136,181,153,134,189,171,293,209,220,209,201,222,343,191,154,287,161,191,193,228,192,146,201,262,173,129,138,195,165,188,229,115,317,119,231,253,237,168,251,333,147,140,213,122,194,264,143,71,166,148,135,202,91,181,145,180,224,293,137,158,94,285,178,94,161,123,148,119,159,208,77,58,135,158,121,212,171,287,224,173,146,243,205,158,202,207,179,132,214,330,173,191,242,184,152,194,131,118,110,135,88,211,176,215,158,166,145,198,340,147,181,90,233,168,96,314,139,243,148,209,193,72,136,115,133,109,160,119,110,178,108,187,156,225,207,101,74,184,313,187,129,187,217,105,121,217,375,161,170,212,341,149,221,117,137,139,237,312,231,197,162,84,255,144,154,127,102,157,164,214,260,140,163,192,138,153,273,157,143,185,147,226,158,125,294,148,201,209,167,263,107,116,235,211,208,163,223,207,198,141,135,195,181,207,187,204,168,137,161,228,287,136,178,262,175,170,161,164,106,138,221,168,209,153,190,175,175,203,213,200,217,235,291,86,339,100,123,244,141,187,147,106,225,76,197,69,58,105,183,190,53,78,118,70,171,123,95,204,71,155,198,129,192,291,130,85,228,233,193,192,176,187,217,129,214,138,142,135,130,355,120,161,212,195,146,187,148,190,189,107,168,145,190,109,183,138,145,115,150,260,146,212,92,272,128,122,106,119,188,239,166,232,139,121,241,161,148,148,254,153,245,281,287,166,246,93,143,225,103,152,174,197,205,276,195,125,216,192,226,93,105,28,166,224,191,276,250,190,117,256,258,285,84,275,155,207,338,213,194,150,78,107,116,179,166,97,182,222,191,163,131,159,199,262,203,186,332,273,100,136,88,217,176,291,133,196,218,251,84,264,157,215,92,183,117,170,243,294,195,137,67,325,97,256,187,215,165,226,297,318,111,163,62,217,265,353,178,116,295,85,169,172,317,94,231,149,113,178,83,99,276,80,120,292,90,250,431,120,271,177,320,281,190,114,208,173,219,78,162,172,253,167,248,242,167,101,142,90,148,106,101,219,131,183,94,191,180,161,68,202,169,146,174,100,169,230,122,101,219,175,134,297,192,182,175,201,170,46,112,299,143,116,213,92,323,223,196,131,156,74,148,131,178,133,78,272,270,187,124,286,179,194,147,121,137,238,210,172,232,127,63,265,142,252,103,157,101,159,87,105,222,115,122,122,197,133,81,152,154,104,79,114,254,130,131,301,124,131,184,43,198,164,125,196,200,175,215,206,255,269,216,173,134,190,167,198,170,192,140,209,215,253,130,200,125,176,151,172,254,148,127,97,252,251,154,139,124,205,113,163,138,63,223,123,220,142,195,260,87,145,238,86,212,132,122,248,183,87,214,100,156,217,111,132,158,104,126,253,209,249,210,193,257,106,226,224,173,217,140,320,235,220,218,181,203,196,74,117,143,169,93,210,121,257,190,194,116,93,278,268,291,231,164,154,91,164,192,174,73,219,83,252,235,213,67,153,199,193,157,141,152,185,176,266,133,178,127,213,84,123,202,365,160,186,147,185,146,122,187,120,146,188,222,197,76,172,196,163,244,92,246,109,101,184,183,147,138,271,326,226,157,157,108,235,288,111,208,241,139,240,131,71,157,63,124,211,91,247,238,85,183,189,199,177,236,102,238,157,110,313,147,348,143,225,231,219,260,151,185,83,97,344,206,168,237,193,148,123,91,93,152,238,287,131,192,185,152,164,307,147,166,233,72,112,74,127,145,180,180,209,188,169,210,175,122,96,205,108,129,257,185,199,248,197,166,148,252,98,109,143,129,215,203,167,213,181,204,173,132,218,158,181,141,164,176,150,78,205,173,193,247,178,58,198,148,156,306,72,53,173,87,172,136,239,78,161,226,127,190,198,204,254,188,107,289,174,167,210,128,114,162,219,246,224,150,141,177,127,210,138,231,157,175,260,179,176,170,166,113,235,74,152,87,187,217,52,134,164,216,158,198,126,211,154,245,181,113,129,125,173,214,211,146,143,153,208,245,231,175,181,119,199,155,128,103,238,212,327,164,189,180,124,67,263,218,129,150,191,63,323,317,163,157,227,110,279,245,87,92,335,170,123,334,176,320,166,56,112,282,155,59,145,218,274,191,194,180,190,165,81,251,283,168,143,218,256,204,200,176,72,221,150,314,186,67,173,118,228,161,168,171,177,242,187,343,265,248,198,235,203,70,168,193,158,238,171,183,231,128,89,339,138,301,199,173,170,142,326,274,195,97,222,185,102,181,207,174,232,171,196,106,79,117,142,152,227,242,113,243,204,211,196,147,158,122,275,95,231,165,129,244,219,106,134,330,147,312,315,319,142,220,224,164,206,206,196,188,117,208,149,171,217,261,253,338,112,70,118,168,199,260,180,227,137,82,222,314,159,179,73,228,255,150,238,179,106,183,201,127,183,192,76,107,186,216,199,274,148,231,153,196,219,129,147,180,243,181,237,148,229,90,165,186,103,220,127,268,133,172,187,65,229,162,159,113,106,102,154,150,128,234,127,48,183,118,176,249,175,85,99,217,154,157,225,177,206,164,177,181,168,167,187,121,123,114,237,153,137,142,156,85,314,163,136,163,153,165,183,164,213,236,139,104,337,151,128,234,89,159,131,198,132,79,119,143,291,160,227,246,189,230,158,115,126,122,146,205,133,255,139,122,113,90,180,110,31,210,251,104,217,157,177,174,99,201,144,213,204,231,163,151,158,98,246,97,115,241,176,110,165,109,170,305,201,253,77,117,227,261,216,170,285,173,221,229,137,191,219,130,167,120,293,167,152,180,225,108,150,186,97,227,202,171,162,93,132,289,318,339,266,206,116,177,169,286,161,178,87,141,286,309,209,265,93,231,164,304,229,170,230,140,156,273,232,73,238,164,133,173,262,107,121,208,255,262,112,190,126,200,186,139,316,175,141,204,136,146,170,131,92,234,124,107,189,196,242,205,147,287,177,233,315,171,158,158,181,239,154,151,176,143,69,121,159,125,122,227,80,120,304,142,134,156,147,241,240,154,190,177,113,308,138,162,160,223,157,97,333,187,237,357,110,225,271,183,116,232,294,115,172,136,170,166,90,204,204,176,73,171,267,243,144,160,215,147,182,148,284,100,297,136,149,212,123,173,106,167,167,180,166,323,131,175,190,166,172,118,100,231,252,99,161,230,302,210,150,178,112,92,148,224,196,184,194,137,201,134,111,259,210,304,190,170,209,258,176,150,245,183,219,160,154,208,260,256,229,199,321,168,267,101,139,213,254,102,303,154,72,171,196,297,173,182,238,202,105,134,308,182,155,223,164,187,84,160,168,131,196,310,191,170,86,92,174,260,135,158,224,123,268,169,302,153,167,287,172,154,146,197,166,178,163,121,206,182,182,132,215,234,128,96,139,107,156,158,160,90,81,205,161,151,170,179,308,74,111,167,144,179,175,204,166,169,203,118,139,328,314,167,149,239,181,142,261,157,138,160,231,274,189,150,119,228,231,163,220,275,154,224,246,145,151,118,196,163,109,261,189,124,80,206,265,212,234,249,156,186,209,316,148,159,124,172,163,156,135,173,145,194,216,194,304,105,129,119,247,90,165,197,57,37,127,272,310,149,186,231,93,146,227,148,135,112,98,178,182,150,242,146,187,126,256,131,164,95,212,244,124,246,181,316,171,233,146,55,168,188,118,307,187,311,152,183,167,185,68,217,181,177,129,192,154,173,146,257,144,108,147,145,237,291,218,123,200,177,217,181,166,161,160,221,174,222,194,187,190,152,138,95,177,147,127,213,213,137,217,232,197,77,250,158,194,294,155,113,329,143,159,180,186,227,190,165,140,236,189,250,196,151,158,225,144,119,132,294,201,144,149,100,177,158,184,125,216,268,156,236,217,119,119,112,259,104,128,89,174,227,190,119,197,204,136,291,161,111,174,152,124,220,163,228,260,163,182,203,242,110,157,159,195,114,190,188,214,173,58,272,130,74,156,229,164,207,199,293,153,85,242,98,96,139,203,150,320,135,202,194,224,177,135,167,240,209,200,116,220,162,220,200,188,268,234,175,230,211,174,271,286,259,164,229,160,76,189,287,66,166,138,132,168,175,281,228,96,144,187,254,175,127,127,113,219,311,90,81,245,76,240,193,140,178,343,336,280,206,271,233,158,92,269,279,241,187,147,187,302,145,144,331,174,272,125,116,185,90,167,153,116,194,162,133,323,145,114,136,224,191,184,301,166,286,180,126,152,137,178,116,227,228,176,143,189,178,82,98,167,196,145,163,302,162,148,168,128,254,146,109,160,217,145,177,251,113,288,272,245,263,195,188,219,196,201,159,167,161,112,174,158,129,117,161,205,158,284,221,145,151,143,192,58,196,75,208,176,81,250,142,233,227,186,263,279,189,178,83,185,256,330,191,109,129,134,153,138,113,215,211,18,293,140,165,215,68,121,276,139,130,148,141,217,145,228,304,240,116,103,278,200,140,141,131,161,183,198,281,62,126,133,94,153,210,201,117,157,193,171,149,315,196,154,128,234,185,129,156,181,209,240,175,132,90,157,256,252,180,173,164,305,128,160,263,224,208,192,159,216,134,228,158,206,40,69,87,163,82,216,193,207,139,220,117,144,149,178,119,184,127,144,108,297,147,139,307,129,164,179,286,191,120,106,133,134,131,155,175,90,119,93,164,218,181,105,266,73,167,211,246,241,197,211,171,171,85,199,212,197,192,226,342,114,215,145,203,272,150,160,221,204,108,273,191,124,137,113,188,211,175,93,269,123,238,120,62,180,197,176,244,158,121,215,203,208,202,254,89,164,116,162,121,306,147,118,194,123,173,316,229,138,219,160,200,183,161,175,141,250,301,197,177,114,119,170,266,229,324,176,86,177,238,89,153,133,127,200,137,306,236,220,125,120,246,173,166,204,115,113,205,180,149,154,163,135,186,77,186,174,213,175,149,175,306,195,79,213,231,105,225,161,169,154,166,132,138,152,169,307,156,228,155,76,141,169,216,219,247,277,111,104,245,267,306,321,129,215,201,69,261,199,168,162,238,238,185,175,142,230,340,132,188,272,113,134,326,120,96,348,155,168,154,141,137,207,167,142,108,202,233,340,63,143,188,195,167,112,78,313,228,245,193,238,170,83,128,182,237,146,157,224,196,156,258,172,209,67,187,182,119,101,130,84,214,196,173,210,215,104,153,120,144,128,188,159,219,214,81,223,148,102,129,205,47,172,322,293,244,132,54,241,198,149,230,177,206,179,193,170,210,222,136,127,106,196,99,190,198,226,129,224,117,158,317,62,184,138,129,46,166,213,154,148,213,186,328,73,344,234,123,157,143,139,183,195,120,63,171,257,203,137,164,149,171,141,137,257,264,292,260,130,116,162,338,157,208,258,223,232,187,164,225,270,229,113,142,328,147,189,140,121,231,70,262,221,174,239,193,74,221,202,365,196,85,211,267,170,134,208,216,220,43,141,164,125,148,126,101,105,211,79,235,171,110,217,180,136,107,109,129,245,136,122,202,173,305,121,218,81,128,311,220,277,222,345,123,136,190,147,280,150,184,185,177,166,329,222,284,185,165,194,137,143,70,198,256,164,155,165,335,119,175,212,184,251,203,131,116,327,94,158,41,236,123,167,261,300,230,146,168,239,136,109,84,166,182,169,151,133,204,186,131,96,124,155,225,212,187,220,184,222,111,145,143,190,173,213,142,47,106,187,167,181,213,290,342,122,177,347,107,185,167,197,325,120,204,133,247,263,196,142,181,181,91,284,176,258,255,178,93,167,140,155,165,143,197,200,345,175,163,163,201,268,237,222,210,236,143,202,119,86,177,120,194,95,180,157,358,80,115,155,205,136,176,131,126,166,261,172,190,169,243,132,171,98,129,164,198,153,190,170,211,128,187,112,132,243,160,183,211,150,221,274,318,307,133,347,106,25,228,203,151,117,127,170,195,212,125,82,192,178,174,197,215,172,124,165,197,179,175,183,172,156,229,230,273,124,214,240,220,158,84,166,128,225,238,190,198,323,200,259,165,246,128,207,202,132,246,196,228,308,195,202,270,226,317,163,190,150,190,145,179,218,234,219,160,14,219,82,257,167,205,192,195,187,238,169,183,228,200,290,110,274,277,204,210,166,273,178,130,227,180,186,168,158,294,149,183,143,213,165,114,185,175,141,199,149,129,165,154,133,233,208,259,236,163,131,263,150,172,243,228,258,254,260,240,223,279,135,90,179,244,219,89,180,258,235,236,111,199,154,207,164,207,235,278,214,317,159,165,162,159,208,151,201,191,203,242,280,235,242,261,311,263,164,44,220,205,176,284,228,234,155,130,163,227,214,182,208,235,135,135,197,194,257,149,145,25,200,122,256,162,165,190,152,145,223,271,194,161,300,206,269,270,175,259,234,193,291,197,233,204,188,236,192,202,176,301,135,129,333,201,254,216,228,178,169,220,194,249,162,155,223,199,132,209,198,121,173,163,123,140,174,215,194,172,153,277,211,158,179,135,193,177,253,171,221,189,126,269,139,161,125,251,192,114,83,226,209,153,260,281,82,231,194,167,86,101,90,178,112,243,226,149,251,135,184,117,181,209,54,168,155,206,245,230,107,215,96,163,206,226,175,216,169,152,96,162,83,241,180,146,273,226,200,252,134,199,188,245,147,195,235,182,288,322,153,174,159,169,248,184,182,190,188,146,180,233,152,311,216,176,169,289,122,223,270,149,230,169,186,182,205,149,293,260,97,182,319,139,234,275,73,152,126,178,152,210,193,200,136,105,182,151,168,117,104,151,147,209,266,220,187,170,171,175,312,284,266,236,135,147,115,206,212,261,169,212,131,198,296,159,58,207,193,265,233,184,220,158,169,212,141,180,282,147,259,211,212,291,199,202,228,208,115,169,231,165,162,193,155,108,197,161,164,85,206,333,134,250,147,184,238,190,194,169,119,187,100,202,251,308,154,241,143,208,192,207,206,212,208,157,124,331,310,169,123,83,286,238,225,120,189,82,144,170,254,197,325,186,224,302,232,90,136,191,220,146,150,158,195,257,229,274,137,333,165,124,300,102,173,194,120,199,158,139,179,175,152,87,272,25,191,165,213,174,213,194,99,261,188,254,185,123,308,150,267,180,212,94,114,197,282,159,142,127,154,166,216,280,293,246,276,201,167,142,202,202,106,180,160,268,156,220,213,185,179,116,151,179,127,116,218,144,209,290,132,144,168,155,133,93,118,172,201,237,166,155,134,107,151,149,295,213,162,194,355,140,208,160,238,195,156,258,158,102,174,253,228,220,124,249,142,154,110,75,275,197,86,164,253,298,417,215,231,159,137,178,328,189,161,129,204,222,237,161,183,142,141,148,106,248,241,177,186,191,203,117,232,127,184,97,177,215,103,162,179,168,109,186,240,133,258,151,229,199,257,305,130,303,226,200,239,254,253,207,230,155,270,289,214,230,158,202,153,153,311,90,310,128,216,226,311,126,104,152,237,277,113,136,125,153,140,279,169,149,219,149,245,201,173,212,107,171,86,167,204,171,143,97,190,186,199,181,227,202,160,179,125,154,103,257,364,252,207,295,201,185,113,146,180,118,269,104,171,222,165,192,261,139,187,204,132,162,71,150,273,206,158,160,205,186,217,211,99,125,150,183,87,145,143,173,122,82,102,200,185,216,297,150,57,257,101,76,290,182,103,158,165,92,187,181,153,217,115,173,214,302,160,134,217,235,221,211,154,134,154,219,347,151,140,245,125,180,250,185,281,141,136,96,144,126,130,239,77,124,113,93,253,227,242,149,89,136,199,120,208,250,148,182,233,128,274,170,140,111,322,150,211,312,97,166,186,120,126,245,87,129,143,106,179,182,89,137,184,168,291,128,172,226,142,207,175,165,169,167,180,158,126,267,176,188,122,157,157,44,157,131,127,297,201,208,200,192,179,190,237,85,428,172,162,189,234,218,331,88,124,273,221,104,248,139,108,201,189,211,185,208,142,169,144,255,131,278,219,148,134,171,185,199,176,268,320,284,167,199,259,146,266,107,181,219,312,303,246,243,276,121,195,225,214,240,82,226,345,142,169,145,262,127,244,192,121,156,261,141,139,271,127,159,276,65,150,145,158,111,180,184,363,147,289,76,180,209,207,308,137,288,233,162,195,253,157,154,146,151,184,217,172,120,207,166,167,126,216,74,229,224,176,126,257,190,177,190,43,146,147,216,151,239,235,152,201,176,203,164,128,165,163,219,212,207,296,283,186,216,338,168,173,300,208,168,151,148,301,106,201,221,188,192,205,189,129,207,172,203,128,195,201,216,204,171,250,176,152,178,187,241,170,142,220,254,154,229,173,292,85,275,143,213,268,271,154,158,64,159,237,178,156,220,119,173,217,233,180,239,171,183,248,82,215,228,190,156,317,144,267,219,178,179,244,172,186,274,119,182,232,54,173,131,196,137,161,122,142,201,197,212,173,192,114,31,192,282,13,355,284,197,184,213,178,156,230,79,321,308,140,284,194,134,142,225,226,273,157,133,252,155,118,266,162,209,125,219,154,183,92,159,309,187,132,103,74,171,114,212,138,163,48,179,190,164,229,162,93,216,121,121,170,284,217,222,199,63,273,159,131,333,247,289,192,138,113,224,205,211,157,141,331,216,175,185,234,243,163,132,266,109,106,179,167,134,112,93,127,212,131,219,162,242,165,113,128,105,115,166,160,169,108,139,171,207,212,191,170,99,190,173,157,66,234,188,153,55,89,195,138,130,117,218,123,315,143,242,152,102,107,151,326,281,166,219,190,211,140,116,134,342,320,121,168,220,191,186,163,129,225,148,116,145,162,286,143,191,144,80,180,251,149,155,140,113,233,149,18,246,213,154,223,157,90,128,23,169,220,214,225,210,253,202,154,122,161,145,168,137,170,194,312,180,243,191,349,184,185,269,311,90,288,336,146,147,212,160,157,202,180,58,159,238,206,114,225,189,136,171,130,151,131,266,159,203,128,190,262,244,181,302,145,243,240,202,155,191,165,277,343,112,158,200,263,156,169,93,159,75,171,103,52,85,129,241,150,210,119,176,232,324,312,335,159,272,108,149,114,222,85,214,181,235,80,153,197,181,148,183,162,207,249,138,172,255,136,303,159,74,130,161,190,264,152,161,257,243,218,351,227,191,242,243,334,112,216,141,335,146,174,168,69,328,168,152,243,227,290,148,170,139,250,187,167,154,187,158,173,159,154,170,240,89,252,184,139,264,307,161,186,170,143,129,191,126,181,297,158,306,183,205,217,50,221,174,121,146,148,173,211,184,65,82,110,173,47,139,84,218,98,146,142,244,146,220,213,316,131,224,149,213,208,208,22,303,64,225,207,141,148,173,128,198,177,180,168,232,184,265,185,183,296,244,48,53,176,213,270,131,209,176,143,323,151,146,146,236,265,228,225,258,147,229,312,240,204,137,173,60,130,237,176,196,330,251,57,130,217,215,161,169,270,291,157,274,115,144,173,189,181,223,136,265,130,110,137,234,276,164,316,117,247,183,224,113,175,142,179,246,234,249,223,98,241,288,179,197,268,92,156,183,308,120,133,219,213,225,93,162,166,132,177,137,127,131,204,246,66,270,232,241,210,151,208,165,197,148,103,116,222,88,136,162,201,278,267,215,78,160,264,171,95,107,148,249,323,93,119,251,202,189,311,229,166,177,256,69,213,137,153,242,136,185,299,96,166,195,180,273,164,132,192,154,125,199,72,155,168,183,124,285,225,112,200,125,217,152,114,280,168,189,235,171,129,262,124,146,166,171,184,115,103,164,159,140,127,197,150,134,200,154,94,305,113,169,172,276,236,136,245,320,168,193,175,157,153,290,156,116,204,63,159,213,204,128,197,109,247,151,196,86,182,244,121,131,83,164,140,135,225,127,208,149,299,131,212,158,152,158,174,218,138,280,301,87,149,174,304,165,288,163,103,107,179,118,118,176,113,163,197,122,267,159,167,172,162,173,171,155,283,208,176,201,249,209,261,102,129,147,183,208,194,170,193,150,133,178,153,147,170,154,111,249,149,175,134,225,146,139,109,236,321,129,174,226,246,129,329,134,70,173,155,179,251,224,176,219,163,60,194,252,150,243,233,276,210,153,191,162,121,143,160,92,178,149,224,195,231,117,191,117,217,275,207,135,233,118,205,164,92,192,138,204,240,193,219,133,227,194,218,189,316,301,247,211,213,97,167,201,121,216,85,176,154,94,269,220,256,209,102,152,211,266,132,116,173,136,150,127,175,226,170,178,286,133,204,241,193,86,161,163,154,108,214,246,125,263,360,175,129,131,205,86,213,119,157,177,232,157,243,35,213,154,141,151,191,145,212,112,133,150,196,267,210,196,130,307,87,177,172,295,103,305,107,142,97,95,132,290,148,176,253,100,122,265,174,184,109,176,143,212,203,200,104,189,76,213,124,205,239,244,173,157,203,151,122,117,177,190,169,112,333,197,145,174,85,277,207,97,128,184,137,84,258,93,176,172,148,156,125,247,174,113,145,120,103,77,178,155,185,89,146,96,227,229,168,175,165,216,126,204,95,161,243,73,81,179,241,171,222,123,246,92,198,100,133,165,265,310,119,179,196,147,273,291,136,197,132,185,229,141,166,215,189,155,155,145,95,104,190,195,184,198,136,150,291,122,254,179,141,262,185,235,171,182,227,110,253,198,128,85,164,77,200,111,86,108,203,180,216,228,131,78,146,118,305,187,245,103,142,166,178,315,146,142,121,106,226,231,141,120,206,225,221,270,213,222,203,216,233,165,125,118,181,223,202,313,165,121,138,133,310,216,73,168,140,145,74,147,132,143,240,172,179,151,163,72,159,148,297,173,231,165,178,195,194,150,115,84,170,273,157,242,160,152,229,131,170,165,162,241,152,64,126,218,165,242,189,165,135,182,70,172,202,160,171,191,198,179,200,288,321,255,137,158,346,348,220,123,124,143,167,211,130,83,208,221,137,172,125,79,141,118,242,84,211,148,279,243,60,272,230,186,338,133,170,262,138,300,173,307,229,173,165,257,338,129,309,227,189,303,100,182,116,152,76,155,193,86,242,203,166,190,224,233,178,159,129,257,111,282,177,177,339,176,179,148,211,266,117,224,186,200,203,123,192,147,177,176,168,178,147,139,176,164,162,140,96,161,116,128,136,129,129,282,275,245,148,302,246,96,233,138,205,145,54,132,290,158,172,188,306,136,257,80,95,178,160,195,222,199,141,155,129,157,187,144,151,151,234,209,122,324,139,172,79,232,103,137,183,225,200,128,180,122,98,222,176,237,218,93,150,133,147,188,56,217,144,145,75,185,113,143,215,101,185,157,167,172,174,52,215,264,118,99,53,191,295,250,138,132,233,79,182,181,320,176,296,203,175,150,136,147,154,147,294,173,122,174,214,124,194,179,200,114,163,74,149,221,197,90,193,184,306,161,190,246,183,116,221,139,189,200,120,188,144,147,268,210,199,112,292,217,37,101,156,241,205,165,208,220,173,255,84,216,235,175,228,208,150,89,148,196,238,197,169,155,141,120,223,103,244,148,234,186,85,213,102,194,178,265,179,175,229,218,125,169,114,118,225,247,103,216,142,106,299,175,188,118,189,121,179,192,172,213,213,171,160,293,149,262,103,150,140,202,235,258,191,312,144,251,141,119,201,142,196,184,314,138,167,237,158,180,215,190,287,315,184,176,265,92,167,165,240,130,76,143,204,164,122,80,245,196,150,100,202,170,87,208,288,168,106,125,211,206,108,225,166,169,209,194,129,128,160,201,150,240,161,215,76,292,247,200,218,166,208,151,160,124,256,241,152,247,224,202,120,171,245,229,94,225,93,181,201,153,138,216,180,203,114,162,189,100,148,204,98,134,342,146,104,208,161,257,141,227,170,120,196,173,86,162,123,148,235,178,144,154,170,259,299,196,241,192,182,251,156,182,231,168,258,207,270,163,159,100,142,228,243,167,128,99,151,143,140,99,135,98,186,283,121,112,161,168,96,143,146,169,176,213,207,216,212,171,152,120,198,131,199,208,122,170,261,201,109,245,165,101,204,200,144,186,197,224,70,142,196,129,154,229,121,300,179,103,329,204,153,202,121,140,143,88,170,142,103,137,118,176,156,172,163,242,182,146,231,186,154,234,284,170,163,143,284,118,243,196,273,261,121,154,256,145,184,224,156,133,121,278,178,251,154,216,172,209,300,181,298,211,193,206,239,143,126,182,347,97,223,159,107,126,167,304,143,209,162,321,133,127,113,126,259,132,105,208,183,128,127,178,162,224,76,136,133,135,215,274,157,222,144,168,166,149,158,205,150,197,243,221,221,129,95,172,224,42,145,133,295,287,188,176,110,216,86,236,252,302,116,246,249,192,284,233,149,198,281,273,330,168,269,185,190,264,155,144,195,148,217,186,189,200,252,163,160,180,84,50,79,193,228,151,137,149,109,246,94,247,166,135,141,167,216,214,140,172,204,168,195,129,210,233,162,176,205,140,238,175,238,240,136,141,183,82,170,223,210,256,304,161,80,204,213,215,60,161,271,169,142,209,204,147,209,270,154,185,167,172,191,171,349,188,191,195,151,293,71,125,110,222,136,245,84,158,211,185,160,123,245,238,181,194,90,162,110,71,106,241,156,151,213,279,199,153,108,230,209,108,97,195,136,169,140,215,104,186,128,213,183,115,164,171,149,184,272,77,86,170,161,184,186,178,160,168,209,104,234,109,248,143,177,279,196,154,186,144,270,192,108,169,187,187,134,126,205,168,167,154,183,123,128,104,150,190,114,197,123,150,172,129,130,266,142,137,267,230,127,126,160,144,173,179,131,114,155,205,166,188,240,60,101,256,244,170,145,230,145,140,132,246,182,139,166,199,238,224,101,218,213,217,206,160,115,270,140,73,147,212,246,93,134,163,328,158,163,141,181,260,128,248,278,118,157,231,209,108,142,283,280,137,93,296,184,217,251,209,119,178,205,108,199,217,243,167,230,141]
|