ByunByun commited on
Commit
5a03b2b
·
verified ·
1 Parent(s): 4b2c25b

v0.3.1: Jev comparison with calibration diagram

Browse files
.gitattributes CHANGED
@@ -38,3 +38,4 @@ figures/overview.png filter=lfs diff=lfs merge=lfs -text
38
  figures/replay_mixed.png filter=lfs diff=lfs merge=lfs -text
39
  figures/replay_success.png filter=lfs diff=lfs merge=lfs -text
40
  figures/efficiency_comparison.png filter=lfs diff=lfs merge=lfs -text
 
 
38
  figures/replay_mixed.png filter=lfs diff=lfs merge=lfs -text
39
  figures/replay_success.png filter=lfs diff=lfs merge=lfs -text
40
  figures/efficiency_comparison.png filter=lfs diff=lfs merge=lfs -text
41
+ figures/calibration_vs_jev.png filter=lfs diff=lfs merge=lfs -text
README.md CHANGED
@@ -81,30 +81,22 @@ print(out["answers"]["operation"]["choice"], out["answers"]["target"]["choice"])
81
 
82
  Candidate labels must follow the repository's `src/candidates.py` / `src/serialization.py` (`"<text> (<class>) <flags>"`).
83
 
84
- ## Evaluation
85
-
86
- AndroidControl-High, 8,444 test steps, public InfiGUI-R1 evaluator. Same model before and after fine-tuning:
87
-
88
- <!-- table: AndroidControl-High: base vs fine-tuned (official evaluator) -->
89
- | Model | Params | Type | Grounding | Full SR |
90
- |---|---:|---:|---:|---:|
91
- | Laya base (zero-shot) | 322M | 29.0 | 11.8 | N/A |
92
- | **Laya-Android** | **322M** | **76.7** | **61.7** | **N/A** |
93
- | Δ | | +47.6 | +49.9 | |
 
94
  <!-- /table -->
95
 
96
- Full SR is N/A (v0 does not generate text or app names). Screenshot VLMs on the same evaluator report higher numbers (e.g. InfiGUI-R1-3B 82.7 / 74.4) but solve a different task (pixel coordinates vs. choosing accessibility candidates).
97
 
98
- <!-- table: Base Laya → Laya-Android (Policy Joint Accuracy, test) -->
99
- | Split | Base Laya | Laya-Android | Δ |
100
- |---|---:|---:|---:|
101
- | IDD | 0.115 | **0.659** | +54.4pt |
102
- | App-Unseen | 0.112 | **0.540** | +42.8pt |
103
- | Task-Unseen | 0.108 | **0.567** | +45.9pt |
104
- | Category-Unseen | 0.108 | **0.545** | +43.7pt |
105
- <!-- /table -->
106
-
107
- Policy Joint = operation correct and, for clicks, the gold element chosen (internal metric, not SR). One test pass of the frozen checkpoint; protocol fixed before scoring ([eval_protocol.md](https://github.com/Byun11/laya-android/blob/main/docs/eval_protocol.md)).
108
 
109
  ## Compared with generative models
110
 
@@ -115,8 +107,8 @@ Policy Joint = operation correct and, for clicks, the gold element chosen (inter
115
  |---|---|---|---:|---:|---:|---:|---:|
116
  | **Laya-Android** | 322M | Laya-Android (local) | **77.2** | **62.8** | **39 ms** | 48 ms | 1x |
117
  | Qwen3.8 27B | 27B (Q4_K_M) | Ollama GGUF | 76.8 | 64.5 | 575 ms | 694 ms | 14.9x slower |
118
- | jev-1.13.0 | undisclosed | TypeSafe API | 67.6 | 56.4 | 244 ms | 308 ms | 6.3x slower |
119
  | Qwen3.5 4.2B | 4.2B (Q4_K_M) | Ollama GGUF | 67.3 | 52.8 | 193 ms | 252 ms | 5.0x slower |
 
120
  | Qwen3.5 4B | 4B (bf16) | vLLM bf16 | 67.1 | 50.5 | 242 ms | 305 ms | 6.3x slower |
121
  | Gemma 4 25B | 25B (Q4_K_M) | Ollama GGUF | 64.8 | 56.6 | 201 ms | 256 ms | 5.2x slower |
122
  | Qwen3.5 9.7B | 9.7B (Q4_K_M) | Ollama GGUF | 63.6 | 51.6 | 229 ms | 273 ms | 5.9x slower |
@@ -133,6 +125,23 @@ Policy Joint = operation correct and, for clicks, the gold element chosen (inter
133
 
134
  Same 1,000 test steps (seed 0), same input (goal, last 3 actions, the same accessibility candidates), same InfiGUI-R1 judge, one RTX 4090 at batch 1. The generative models are used zero-shot (not trained on AndroidControl), thinking disabled, asked for a JSON action; vLLM runs them in bf16, Ollama in 4-bit GGUF. Jev is TypeSafe's hosted decision model (jev-1.13.0, measured 2026-10-07) and its latency is an API round trip. The comparison shows the speed of answering by selection versus generation; the accuracy gap also reflects that only Laya-Android was trained on this dataset.
135
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
136
  ## Model details
137
 
138
  - Base: `convaiinnovations/laya` / `multilingual` @ `7b928d8` (mmBERT-base encoder), ~322M parameters, Apache-2.0
 
81
 
82
  Candidate labels must follow the repository's `src/candidates.py` / `src/serialization.py` (`"<text> (<class>) <flags>"`).
83
 
84
+ ## Compared with Jev (same API, same 1,000 test steps)
85
+
86
+ <!-- table: Laya-Android vs Jev (same 1,000 test steps) -->
87
+ | | Laya-Android (322M, local) | Jev 1.13.0 (TypeSafe API) |
88
+ |---|---:|---:|
89
+ | Type | **77.2** | 67.2 |
90
+ | Grounding | **62.8** | 56.7 |
91
+ | Operation ECE (lower is better) | **0.037** | 0.066 |
92
+ | Operation Brier (lower is better) | **0.338** | 0.487 |
93
+ | Target ECE (lower is better) | **0.061** | 0.140 |
94
+ | Median latency | **39 ms** (RTX 4090) | 236 ms (API round trip) |
95
  <!-- /table -->
96
 
97
+ ![Reliability diagram, Laya-Android vs Jev](figures/calibration_vs_jev.png)
98
 
99
+ Byte-identical requests to both models. Jev 1.13.0 via the TypeSafe API (2026-10-07), a general decision model not trained on AndroidControl; its latency is an API round trip.
 
 
 
 
 
 
 
 
 
100
 
101
  ## Compared with generative models
102
 
 
107
  |---|---|---|---:|---:|---:|---:|---:|
108
  | **Laya-Android** | 322M | Laya-Android (local) | **77.2** | **62.8** | **39 ms** | 48 ms | 1x |
109
  | Qwen3.8 27B | 27B (Q4_K_M) | Ollama GGUF | 76.8 | 64.5 | 575 ms | 694 ms | 14.9x slower |
 
110
  | Qwen3.5 4.2B | 4.2B (Q4_K_M) | Ollama GGUF | 67.3 | 52.8 | 193 ms | 252 ms | 5.0x slower |
111
+ | jev-1.13.0 | undisclosed | TypeSafe API | 67.2 | 56.7 | 236 ms | 295 ms | 6.1x slower |
112
  | Qwen3.5 4B | 4B (bf16) | vLLM bf16 | 67.1 | 50.5 | 242 ms | 305 ms | 6.3x slower |
113
  | Gemma 4 25B | 25B (Q4_K_M) | Ollama GGUF | 64.8 | 56.6 | 201 ms | 256 ms | 5.2x slower |
114
  | Qwen3.5 9.7B | 9.7B (Q4_K_M) | Ollama GGUF | 63.6 | 51.6 | 229 ms | 273 ms | 5.9x slower |
 
125
 
126
  Same 1,000 test steps (seed 0), same input (goal, last 3 actions, the same accessibility candidates), same InfiGUI-R1 judge, one RTX 4090 at batch 1. The generative models are used zero-shot (not trained on AndroidControl), thinking disabled, asked for a JSON action; vLLM runs them in bf16, Ollama in 4-bit GGUF. Jev is TypeSafe's hosted decision model (jev-1.13.0, measured 2026-10-07) and its latency is an API round trip. The comparison shows the speed of answering by selection versus generation; the accuracy gap also reflects that only Laya-Android was trained on this dataset.
127
 
128
+ ## Full test set (official evaluator)
129
+
130
+ AndroidControl-High, 8,444 test steps, public InfiGUI-R1 evaluator. Same model before and after fine-tuning:
131
+
132
+ <!-- table: AndroidControl-High: base vs fine-tuned (official evaluator) -->
133
+ | Model | Params | Type | Grounding | Full SR |
134
+ |---|---:|---:|---:|---:|
135
+ | Laya base (zero-shot) | 322M | 29.0 | 11.8 | N/A |
136
+ | **Laya-Android** | **322M** | **76.7** | **61.7** | **N/A** |
137
+ | Δ | | +47.6 | +49.9 | |
138
+ <!-- /table -->
139
+
140
+ Full SR is N/A (v0 does not generate text or app names). Screenshot VLMs on the same evaluator report higher numbers (e.g. InfiGUI-R1-3B 82.7 / 74.4) but solve a different task (pixel coordinates vs. choosing accessibility candidates).
141
+
142
+
143
+ One test pass of the frozen checkpoint; protocol fixed before scoring ([eval_protocol.md](https://github.com/Byun11/laya-android/blob/main/docs/eval_protocol.md)).
144
+
145
  ## Model details
146
 
147
  - Base: `convaiinnovations/laya` / `multilingual` @ `7b928d8` (mmBERT-base encoder), ~322M parameters, Apache-2.0
eval/jev_1000.json CHANGED
@@ -4004,21 +4004,21 @@
4004
  "models": {
4005
  "jev:jev-1.13.0": {
4006
  "serving": "TypeSafe API (jev-1.13.0)",
4007
- "type": 67.6,
4008
- "grounding": 56.4,
4009
  "errors": 0,
4010
  "latency_ms_api_roundtrip": {
4011
- "median": 243.5,
4012
- "p95": 308.1,
4013
- "mean": 250.5
4014
  },
4015
- "ece_operation": 0.0546,
4016
- "brier_operation": 0.483,
4017
  "usage_tokens": {
4018
  "input": 1155647,
4019
- "output": 245269
4020
  },
4021
- "measured_at": "2026-10-07 17:48",
4022
  "laya_android_same_steps": {
4023
  "ece_operation": 0.0372,
4024
  "brier_operation": 0.3382
 
4004
  "models": {
4005
  "jev:jev-1.13.0": {
4006
  "serving": "TypeSafe API (jev-1.13.0)",
4007
+ "type": 67.2,
4008
+ "grounding": 56.7,
4009
  "errors": 0,
4010
  "latency_ms_api_roundtrip": {
4011
+ "median": 236.5,
4012
+ "p95": 295.3,
4013
+ "mean": 244.4
4014
  },
4015
+ "ece_operation": 0.0665,
4016
+ "brier_operation": 0.4866,
4017
  "usage_tokens": {
4018
  "input": 1155647,
4019
+ "output": 245267
4020
  },
4021
+ "measured_at": "2026-10-07 19:24",
4022
  "laya_android_same_steps": {
4023
  "ece_operation": 0.0372,
4024
  "brier_operation": 0.3382
eval/jev_1000_run1_summary.json ADDED
@@ -0,0 +1,4028 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "subset_keys": [
3
+ [
4
+ 2666,
5
+ 2
6
+ ],
7
+ [
8
+ 12648,
9
+ 4
10
+ ],
11
+ [
12
+ 18360,
13
+ 5
14
+ ],
15
+ [
16
+ 3715,
17
+ 0
18
+ ],
19
+ [
20
+ 13502,
21
+ 3
22
+ ],
23
+ [
24
+ 16562,
25
+ 4
26
+ ],
27
+ [
28
+ 12123,
29
+ 10
30
+ ],
31
+ [
32
+ 7509,
33
+ 1
34
+ ],
35
+ [
36
+ 18645,
37
+ 1
38
+ ],
39
+ [
40
+ 16951,
41
+ 3
42
+ ],
43
+ [
44
+ 10058,
45
+ 2
46
+ ],
47
+ [
48
+ 2269,
49
+ 11
50
+ ],
51
+ [
52
+ 548,
53
+ 0
54
+ ],
55
+ [
56
+ 3292,
57
+ 0
58
+ ],
59
+ [
60
+ 15225,
61
+ 2
62
+ ],
63
+ [
64
+ 54,
65
+ 1
66
+ ],
67
+ [
68
+ 19300,
69
+ 2
70
+ ],
71
+ [
72
+ 12754,
73
+ 1
74
+ ],
75
+ [
76
+ 9168,
77
+ 0
78
+ ],
79
+ [
80
+ 12499,
81
+ 3
82
+ ],
83
+ [
84
+ 2288,
85
+ 3
86
+ ],
87
+ [
88
+ 6903,
89
+ 0
90
+ ],
91
+ [
92
+ 8188,
93
+ 0
94
+ ],
95
+ [
96
+ 8917,
97
+ 3
98
+ ],
99
+ [
100
+ 5288,
101
+ 5
102
+ ],
103
+ [
104
+ 17180,
105
+ 0
106
+ ],
107
+ [
108
+ 3224,
109
+ 0
110
+ ],
111
+ [
112
+ 2856,
113
+ 3
114
+ ],
115
+ [
116
+ 12289,
117
+ 3
118
+ ],
119
+ [
120
+ 19833,
121
+ 1
122
+ ],
123
+ [
124
+ 19170,
125
+ 0
126
+ ],
127
+ [
128
+ 4158,
129
+ 1
130
+ ],
131
+ [
132
+ 11571,
133
+ 3
134
+ ],
135
+ [
136
+ 11274,
137
+ 8
138
+ ],
139
+ [
140
+ 4674,
141
+ 2
142
+ ],
143
+ [
144
+ 12743,
145
+ 4
146
+ ],
147
+ [
148
+ 7455,
149
+ 5
150
+ ],
151
+ [
152
+ 11187,
153
+ 6
154
+ ],
155
+ [
156
+ 17085,
157
+ 3
158
+ ],
159
+ [
160
+ 3238,
161
+ 0
162
+ ],
163
+ [
164
+ 14735,
165
+ 1
166
+ ],
167
+ [
168
+ 12176,
169
+ 4
170
+ ],
171
+ [
172
+ 9120,
173
+ 3
174
+ ],
175
+ [
176
+ 11242,
177
+ 3
178
+ ],
179
+ [
180
+ 6623,
181
+ 6
182
+ ],
183
+ [
184
+ 6792,
185
+ 6
186
+ ],
187
+ [
188
+ 6707,
189
+ 2
190
+ ],
191
+ [
192
+ 1082,
193
+ 10
194
+ ],
195
+ [
196
+ 10033,
197
+ 0
198
+ ],
199
+ [
200
+ 18619,
201
+ 3
202
+ ],
203
+ [
204
+ 2488,
205
+ 18
206
+ ],
207
+ [
208
+ 3152,
209
+ 0
210
+ ],
211
+ [
212
+ 4833,
213
+ 0
214
+ ],
215
+ [
216
+ 5563,
217
+ 3
218
+ ],
219
+ [
220
+ 1309,
221
+ 6
222
+ ],
223
+ [
224
+ 2836,
225
+ 3
226
+ ],
227
+ [
228
+ 14985,
229
+ 5
230
+ ],
231
+ [
232
+ 10726,
233
+ 0
234
+ ],
235
+ [
236
+ 8871,
237
+ 1
238
+ ],
239
+ [
240
+ 7866,
241
+ 1
242
+ ],
243
+ [
244
+ 15935,
245
+ 3
246
+ ],
247
+ [
248
+ 10724,
249
+ 6
250
+ ],
251
+ [
252
+ 17325,
253
+ 0
254
+ ],
255
+ [
256
+ 19269,
257
+ 5
258
+ ],
259
+ [
260
+ 13651,
261
+ 2
262
+ ],
263
+ [
264
+ 2916,
265
+ 1
266
+ ],
267
+ [
268
+ 12483,
269
+ 5
270
+ ],
271
+ [
272
+ 4406,
273
+ 7
274
+ ],
275
+ [
276
+ 19003,
277
+ 2
278
+ ],
279
+ [
280
+ 12885,
281
+ 1
282
+ ],
283
+ [
284
+ 6871,
285
+ 2
286
+ ],
287
+ [
288
+ 9131,
289
+ 0
290
+ ],
291
+ [
292
+ 586,
293
+ 4
294
+ ],
295
+ [
296
+ 10558,
297
+ 4
298
+ ],
299
+ [
300
+ 4451,
301
+ 3
302
+ ],
303
+ [
304
+ 8146,
305
+ 3
306
+ ],
307
+ [
308
+ 14230,
309
+ 3
310
+ ],
311
+ [
312
+ 6258,
313
+ 1
314
+ ],
315
+ [
316
+ 12743,
317
+ 1
318
+ ],
319
+ [
320
+ 16212,
321
+ 3
322
+ ],
323
+ [
324
+ 2269,
325
+ 9
326
+ ],
327
+ [
328
+ 3708,
329
+ 2
330
+ ],
331
+ [
332
+ 5407,
333
+ 3
334
+ ],
335
+ [
336
+ 7999,
337
+ 1
338
+ ],
339
+ [
340
+ 1581,
341
+ 3
342
+ ],
343
+ [
344
+ 2669,
345
+ 2
346
+ ],
347
+ [
348
+ 916,
349
+ 0
350
+ ],
351
+ [
352
+ 4670,
353
+ 0
354
+ ],
355
+ [
356
+ 6768,
357
+ 3
358
+ ],
359
+ [
360
+ 4560,
361
+ 1
362
+ ],
363
+ [
364
+ 14985,
365
+ 4
366
+ ],
367
+ [
368
+ 3224,
369
+ 5
370
+ ],
371
+ [
372
+ 14157,
373
+ 9
374
+ ],
375
+ [
376
+ 4414,
377
+ 5
378
+ ],
379
+ [
380
+ 1206,
381
+ 1
382
+ ],
383
+ [
384
+ 759,
385
+ 4
386
+ ],
387
+ [
388
+ 6996,
389
+ 6
390
+ ],
391
+ [
392
+ 6640,
393
+ 5
394
+ ],
395
+ [
396
+ 4640,
397
+ 1
398
+ ],
399
+ [
400
+ 18741,
401
+ 3
402
+ ],
403
+ [
404
+ 7753,
405
+ 1
406
+ ],
407
+ [
408
+ 2232,
409
+ 2
410
+ ],
411
+ [
412
+ 803,
413
+ 3
414
+ ],
415
+ [
416
+ 16208,
417
+ 2
418
+ ],
419
+ [
420
+ 3751,
421
+ 5
422
+ ],
423
+ [
424
+ 9963,
425
+ 3
426
+ ],
427
+ [
428
+ 2553,
429
+ 2
430
+ ],
431
+ [
432
+ 8158,
433
+ 1
434
+ ],
435
+ [
436
+ 2609,
437
+ 7
438
+ ],
439
+ [
440
+ 11551,
441
+ 7
442
+ ],
443
+ [
444
+ 13440,
445
+ 5
446
+ ],
447
+ [
448
+ 16614,
449
+ 0
450
+ ],
451
+ [
452
+ 6472,
453
+ 6
454
+ ],
455
+ [
456
+ 19676,
457
+ 9
458
+ ],
459
+ [
460
+ 18141,
461
+ 2
462
+ ],
463
+ [
464
+ 1330,
465
+ 2
466
+ ],
467
+ [
468
+ 3747,
469
+ 1
470
+ ],
471
+ [
472
+ 7249,
473
+ 1
474
+ ],
475
+ [
476
+ 10037,
477
+ 0
478
+ ],
479
+ [
480
+ 13669,
481
+ 3
482
+ ],
483
+ [
484
+ 18302,
485
+ 7
486
+ ],
487
+ [
488
+ 6236,
489
+ 3
490
+ ],
491
+ [
492
+ 7456,
493
+ 2
494
+ ],
495
+ [
496
+ 2093,
497
+ 5
498
+ ],
499
+ [
500
+ 5791,
501
+ 9
502
+ ],
503
+ [
504
+ 5926,
505
+ 4
506
+ ],
507
+ [
508
+ 13182,
509
+ 1
510
+ ],
511
+ [
512
+ 9628,
513
+ 3
514
+ ],
515
+ [
516
+ 4451,
517
+ 4
518
+ ],
519
+ [
520
+ 16924,
521
+ 0
522
+ ],
523
+ [
524
+ 6405,
525
+ 5
526
+ ],
527
+ [
528
+ 470,
529
+ 2
530
+ ],
531
+ [
532
+ 18351,
533
+ 0
534
+ ],
535
+ [
536
+ 15658,
537
+ 1
538
+ ],
539
+ [
540
+ 19880,
541
+ 2
542
+ ],
543
+ [
544
+ 11890,
545
+ 2
546
+ ],
547
+ [
548
+ 13619,
549
+ 5
550
+ ],
551
+ [
552
+ 14928,
553
+ 1
554
+ ],
555
+ [
556
+ 9634,
557
+ 2
558
+ ],
559
+ [
560
+ 5680,
561
+ 2
562
+ ],
563
+ [
564
+ 406,
565
+ 10
566
+ ],
567
+ [
568
+ 17629,
569
+ 4
570
+ ],
571
+ [
572
+ 2777,
573
+ 6
574
+ ],
575
+ [
576
+ 12904,
577
+ 0
578
+ ],
579
+ [
580
+ 1586,
581
+ 1
582
+ ],
583
+ [
584
+ 10966,
585
+ 0
586
+ ],
587
+ [
588
+ 5016,
589
+ 0
590
+ ],
591
+ [
592
+ 8982,
593
+ 11
594
+ ],
595
+ [
596
+ 18883,
597
+ 3
598
+ ],
599
+ [
600
+ 13470,
601
+ 1
602
+ ],
603
+ [
604
+ 11198,
605
+ 1
606
+ ],
607
+ [
608
+ 13674,
609
+ 3
610
+ ],
611
+ [
612
+ 4916,
613
+ 7
614
+ ],
615
+ [
616
+ 11870,
617
+ 2
618
+ ],
619
+ [
620
+ 14843,
621
+ 0
622
+ ],
623
+ [
624
+ 15775,
625
+ 3
626
+ ],
627
+ [
628
+ 2860,
629
+ 3
630
+ ],
631
+ [
632
+ 55,
633
+ 5
634
+ ],
635
+ [
636
+ 6919,
637
+ 0
638
+ ],
639
+ [
640
+ 12823,
641
+ 5
642
+ ],
643
+ [
644
+ 5852,
645
+ 2
646
+ ],
647
+ [
648
+ 8963,
649
+ 3
650
+ ],
651
+ [
652
+ 8202,
653
+ 2
654
+ ],
655
+ [
656
+ 17180,
657
+ 3
658
+ ],
659
+ [
660
+ 14454,
661
+ 1
662
+ ],
663
+ [
664
+ 1049,
665
+ 5
666
+ ],
667
+ [
668
+ 15405,
669
+ 0
670
+ ],
671
+ [
672
+ 15890,
673
+ 4
674
+ ],
675
+ [
676
+ 1632,
677
+ 5
678
+ ],
679
+ [
680
+ 6119,
681
+ 1
682
+ ],
683
+ [
684
+ 17098,
685
+ 4
686
+ ],
687
+ [
688
+ 2302,
689
+ 12
690
+ ],
691
+ [
692
+ 9935,
693
+ 9
694
+ ],
695
+ [
696
+ 5791,
697
+ 0
698
+ ],
699
+ [
700
+ 17114,
701
+ 0
702
+ ],
703
+ [
704
+ 19019,
705
+ 4
706
+ ],
707
+ [
708
+ 27,
709
+ 1
710
+ ],
711
+ [
712
+ 1311,
713
+ 0
714
+ ],
715
+ [
716
+ 19315,
717
+ 1
718
+ ],
719
+ [
720
+ 12514,
721
+ 4
722
+ ],
723
+ [
724
+ 11912,
725
+ 0
726
+ ],
727
+ [
728
+ 18124,
729
+ 2
730
+ ],
731
+ [
732
+ 1741,
733
+ 6
734
+ ],
735
+ [
736
+ 15802,
737
+ 0
738
+ ],
739
+ [
740
+ 6760,
741
+ 1
742
+ ],
743
+ [
744
+ 2991,
745
+ 0
746
+ ],
747
+ [
748
+ 4833,
749
+ 5
750
+ ],
751
+ [
752
+ 569,
753
+ 4
754
+ ],
755
+ [
756
+ 15386,
757
+ 1
758
+ ],
759
+ [
760
+ 15865,
761
+ 2
762
+ ],
763
+ [
764
+ 122,
765
+ 5
766
+ ],
767
+ [
768
+ 7826,
769
+ 8
770
+ ],
771
+ [
772
+ 548,
773
+ 4
774
+ ],
775
+ [
776
+ 62,
777
+ 10
778
+ ],
779
+ [
780
+ 3507,
781
+ 4
782
+ ],
783
+ [
784
+ 6876,
785
+ 0
786
+ ],
787
+ [
788
+ 4545,
789
+ 3
790
+ ],
791
+ [
792
+ 7204,
793
+ 3
794
+ ],
795
+ [
796
+ 11622,
797
+ 8
798
+ ],
799
+ [
800
+ 10925,
801
+ 4
802
+ ],
803
+ [
804
+ 6574,
805
+ 0
806
+ ],
807
+ [
808
+ 3700,
809
+ 2
810
+ ],
811
+ [
812
+ 18577,
813
+ 0
814
+ ],
815
+ [
816
+ 15100,
817
+ 8
818
+ ],
819
+ [
820
+ 2886,
821
+ 1
822
+ ],
823
+ [
824
+ 777,
825
+ 2
826
+ ],
827
+ [
828
+ 10711,
829
+ 6
830
+ ],
831
+ [
832
+ 17452,
833
+ 0
834
+ ],
835
+ [
836
+ 4414,
837
+ 0
838
+ ],
839
+ [
840
+ 9823,
841
+ 8
842
+ ],
843
+ [
844
+ 4976,
845
+ 3
846
+ ],
847
+ [
848
+ 13355,
849
+ 1
850
+ ],
851
+ [
852
+ 4406,
853
+ 3
854
+ ],
855
+ [
856
+ 5707,
857
+ 3
858
+ ],
859
+ [
860
+ 10844,
861
+ 7
862
+ ],
863
+ [
864
+ 662,
865
+ 0
866
+ ],
867
+ [
868
+ 1464,
869
+ 2
870
+ ],
871
+ [
872
+ 1364,
873
+ 0
874
+ ],
875
+ [
876
+ 7565,
877
+ 0
878
+ ],
879
+ [
880
+ 9961,
881
+ 2
882
+ ],
883
+ [
884
+ 12045,
885
+ 6
886
+ ],
887
+ [
888
+ 13970,
889
+ 3
890
+ ],
891
+ [
892
+ 1438,
893
+ 4
894
+ ],
895
+ [
896
+ 19300,
897
+ 17
898
+ ],
899
+ [
900
+ 17661,
901
+ 3
902
+ ],
903
+ [
904
+ 16593,
905
+ 2
906
+ ],
907
+ [
908
+ 14251,
909
+ 2
910
+ ],
911
+ [
912
+ 6443,
913
+ 4
914
+ ],
915
+ [
916
+ 7608,
917
+ 8
918
+ ],
919
+ [
920
+ 14307,
921
+ 2
922
+ ],
923
+ [
924
+ 11274,
925
+ 7
926
+ ],
927
+ [
928
+ 270,
929
+ 0
930
+ ],
931
+ [
932
+ 5199,
933
+ 1
934
+ ],
935
+ [
936
+ 5611,
937
+ 4
938
+ ],
939
+ [
940
+ 10559,
941
+ 4
942
+ ],
943
+ [
944
+ 12758,
945
+ 0
946
+ ],
947
+ [
948
+ 12926,
949
+ 2
950
+ ],
951
+ [
952
+ 13975,
953
+ 3
954
+ ],
955
+ [
956
+ 3315,
957
+ 2
958
+ ],
959
+ [
960
+ 12933,
961
+ 3
962
+ ],
963
+ [
964
+ 1198,
965
+ 0
966
+ ],
967
+ [
968
+ 1378,
969
+ 1
970
+ ],
971
+ [
972
+ 10501,
973
+ 0
974
+ ],
975
+ [
976
+ 5990,
977
+ 4
978
+ ],
979
+ [
980
+ 5563,
981
+ 1
982
+ ],
983
+ [
984
+ 11234,
985
+ 4
986
+ ],
987
+ [
988
+ 13731,
989
+ 2
990
+ ],
991
+ [
992
+ 15063,
993
+ 0
994
+ ],
995
+ [
996
+ 4812,
997
+ 1
998
+ ],
999
+ [
1000
+ 11326,
1001
+ 1
1002
+ ],
1003
+ [
1004
+ 4406,
1005
+ 0
1006
+ ],
1007
+ [
1008
+ 18679,
1009
+ 0
1010
+ ],
1011
+ [
1012
+ 8982,
1013
+ 4
1014
+ ],
1015
+ [
1016
+ 1704,
1017
+ 0
1018
+ ],
1019
+ [
1020
+ 11831,
1021
+ 4
1022
+ ],
1023
+ [
1024
+ 6463,
1025
+ 0
1026
+ ],
1027
+ [
1028
+ 2582,
1029
+ 6
1030
+ ],
1031
+ [
1032
+ 11623,
1033
+ 3
1034
+ ],
1035
+ [
1036
+ 15425,
1037
+ 2
1038
+ ],
1039
+ [
1040
+ 12624,
1041
+ 5
1042
+ ],
1043
+ [
1044
+ 11501,
1045
+ 1
1046
+ ],
1047
+ [
1048
+ 15775,
1049
+ 8
1050
+ ],
1051
+ [
1052
+ 4114,
1053
+ 3
1054
+ ],
1055
+ [
1056
+ 3592,
1057
+ 2
1058
+ ],
1059
+ [
1060
+ 18828,
1061
+ 5
1062
+ ],
1063
+ [
1064
+ 18521,
1065
+ 3
1066
+ ],
1067
+ [
1068
+ 12904,
1069
+ 19
1070
+ ],
1071
+ [
1072
+ 13247,
1073
+ 2
1074
+ ],
1075
+ [
1076
+ 4662,
1077
+ 2
1078
+ ],
1079
+ [
1080
+ 18741,
1081
+ 1
1082
+ ],
1083
+ [
1084
+ 4414,
1085
+ 4
1086
+ ],
1087
+ [
1088
+ 19453,
1089
+ 4
1090
+ ],
1091
+ [
1092
+ 16259,
1093
+ 0
1094
+ ],
1095
+ [
1096
+ 1302,
1097
+ 0
1098
+ ],
1099
+ [
1100
+ 11622,
1101
+ 0
1102
+ ],
1103
+ [
1104
+ 12863,
1105
+ 0
1106
+ ],
1107
+ [
1108
+ 5741,
1109
+ 6
1110
+ ],
1111
+ [
1112
+ 6153,
1113
+ 0
1114
+ ],
1115
+ [
1116
+ 3031,
1117
+ 2
1118
+ ],
1119
+ [
1120
+ 2405,
1121
+ 3
1122
+ ],
1123
+ [
1124
+ 3000,
1125
+ 10
1126
+ ],
1127
+ [
1128
+ 7195,
1129
+ 3
1130
+ ],
1131
+ [
1132
+ 8158,
1133
+ 4
1134
+ ],
1135
+ [
1136
+ 2232,
1137
+ 3
1138
+ ],
1139
+ [
1140
+ 14723,
1141
+ 8
1142
+ ],
1143
+ [
1144
+ 229,
1145
+ 3
1146
+ ],
1147
+ [
1148
+ 3519,
1149
+ 3
1150
+ ],
1151
+ [
1152
+ 15048,
1153
+ 1
1154
+ ],
1155
+ [
1156
+ 11234,
1157
+ 9
1158
+ ],
1159
+ [
1160
+ 17181,
1161
+ 3
1162
+ ],
1163
+ [
1164
+ 19038,
1165
+ 5
1166
+ ],
1167
+ [
1168
+ 7935,
1169
+ 6
1170
+ ],
1171
+ [
1172
+ 16072,
1173
+ 3
1174
+ ],
1175
+ [
1176
+ 2991,
1177
+ 3
1178
+ ],
1179
+ [
1180
+ 14103,
1181
+ 2
1182
+ ],
1183
+ [
1184
+ 8084,
1185
+ 1
1186
+ ],
1187
+ [
1188
+ 10058,
1189
+ 9
1190
+ ],
1191
+ [
1192
+ 6153,
1193
+ 1
1194
+ ],
1195
+ [
1196
+ 16464,
1197
+ 21
1198
+ ],
1199
+ [
1200
+ 6904,
1201
+ 12
1202
+ ],
1203
+ [
1204
+ 13669,
1205
+ 2
1206
+ ],
1207
+ [
1208
+ 4406,
1209
+ 2
1210
+ ],
1211
+ [
1212
+ 937,
1213
+ 6
1214
+ ],
1215
+ [
1216
+ 17402,
1217
+ 8
1218
+ ],
1219
+ [
1220
+ 7379,
1221
+ 1
1222
+ ],
1223
+ [
1224
+ 19382,
1225
+ 2
1226
+ ],
1227
+ [
1228
+ 15204,
1229
+ 1
1230
+ ],
1231
+ [
1232
+ 7607,
1233
+ 2
1234
+ ],
1235
+ [
1236
+ 1458,
1237
+ 0
1238
+ ],
1239
+ [
1240
+ 7884,
1241
+ 1
1242
+ ],
1243
+ [
1244
+ 3833,
1245
+ 0
1246
+ ],
1247
+ [
1248
+ 7195,
1249
+ 2
1250
+ ],
1251
+ [
1252
+ 17647,
1253
+ 4
1254
+ ],
1255
+ [
1256
+ 14390,
1257
+ 3
1258
+ ],
1259
+ [
1260
+ 13745,
1261
+ 5
1262
+ ],
1263
+ [
1264
+ 5636,
1265
+ 3
1266
+ ],
1267
+ [
1268
+ 3833,
1269
+ 2
1270
+ ],
1271
+ [
1272
+ 19033,
1273
+ 1
1274
+ ],
1275
+ [
1276
+ 5459,
1277
+ 5
1278
+ ],
1279
+ [
1280
+ 15527,
1281
+ 4
1282
+ ],
1283
+ [
1284
+ 16101,
1285
+ 2
1286
+ ],
1287
+ [
1288
+ 19347,
1289
+ 0
1290
+ ],
1291
+ [
1292
+ 12429,
1293
+ 0
1294
+ ],
1295
+ [
1296
+ 19510,
1297
+ 1
1298
+ ],
1299
+ [
1300
+ 19537,
1301
+ 0
1302
+ ],
1303
+ [
1304
+ 7382,
1305
+ 2
1306
+ ],
1307
+ [
1308
+ 296,
1309
+ 0
1310
+ ],
1311
+ [
1312
+ 13070,
1313
+ 1
1314
+ ],
1315
+ [
1316
+ 12223,
1317
+ 0
1318
+ ],
1319
+ [
1320
+ 12364,
1321
+ 1
1322
+ ],
1323
+ [
1324
+ 1194,
1325
+ 2
1326
+ ],
1327
+ [
1328
+ 5459,
1329
+ 4
1330
+ ],
1331
+ [
1332
+ 9823,
1333
+ 14
1334
+ ],
1335
+ [
1336
+ 5742,
1337
+ 2
1338
+ ],
1339
+ [
1340
+ 14454,
1341
+ 7
1342
+ ],
1343
+ [
1344
+ 11379,
1345
+ 1
1346
+ ],
1347
+ [
1348
+ 18302,
1349
+ 10
1350
+ ],
1351
+ [
1352
+ 2406,
1353
+ 3
1354
+ ],
1355
+ [
1356
+ 3000,
1357
+ 9
1358
+ ],
1359
+ [
1360
+ 8282,
1361
+ 2
1362
+ ],
1363
+ [
1364
+ 1360,
1365
+ 6
1366
+ ],
1367
+ [
1368
+ 11550,
1369
+ 0
1370
+ ],
1371
+ [
1372
+ 569,
1373
+ 13
1374
+ ],
1375
+ [
1376
+ 17181,
1377
+ 4
1378
+ ],
1379
+ [
1380
+ 12649,
1381
+ 1
1382
+ ],
1383
+ [
1384
+ 5899,
1385
+ 0
1386
+ ],
1387
+ [
1388
+ 5497,
1389
+ 4
1390
+ ],
1391
+ [
1392
+ 17842,
1393
+ 1
1394
+ ],
1395
+ [
1396
+ 14212,
1397
+ 4
1398
+ ],
1399
+ [
1400
+ 19719,
1401
+ 4
1402
+ ],
1403
+ [
1404
+ 14607,
1405
+ 1
1406
+ ],
1407
+ [
1408
+ 19657,
1409
+ 5
1410
+ ],
1411
+ [
1412
+ 1089,
1413
+ 6
1414
+ ],
1415
+ [
1416
+ 3195,
1417
+ 1
1418
+ ],
1419
+ [
1420
+ 2748,
1421
+ 2
1422
+ ],
1423
+ [
1424
+ 16228,
1425
+ 1
1426
+ ],
1427
+ [
1428
+ 7585,
1429
+ 0
1430
+ ],
1431
+ [
1432
+ 11234,
1433
+ 6
1434
+ ],
1435
+ [
1436
+ 15886,
1437
+ 1
1438
+ ],
1439
+ [
1440
+ 18894,
1441
+ 0
1442
+ ],
1443
+ [
1444
+ 14928,
1445
+ 0
1446
+ ],
1447
+ [
1448
+ 8770,
1449
+ 1
1450
+ ],
1451
+ [
1452
+ 723,
1453
+ 0
1454
+ ],
1455
+ [
1456
+ 27,
1457
+ 3
1458
+ ],
1459
+ [
1460
+ 6562,
1461
+ 9
1462
+ ],
1463
+ [
1464
+ 11623,
1465
+ 0
1466
+ ],
1467
+ [
1468
+ 19812,
1469
+ 4
1470
+ ],
1471
+ [
1472
+ 9793,
1473
+ 2
1474
+ ],
1475
+ [
1476
+ 12743,
1477
+ 3
1478
+ ],
1479
+ [
1480
+ 2405,
1481
+ 0
1482
+ ],
1483
+ [
1484
+ 19300,
1485
+ 1
1486
+ ],
1487
+ [
1488
+ 10081,
1489
+ 2
1490
+ ],
1491
+ [
1492
+ 11632,
1493
+ 2
1494
+ ],
1495
+ [
1496
+ 15613,
1497
+ 1
1498
+ ],
1499
+ [
1500
+ 14681,
1501
+ 2
1502
+ ],
1503
+ [
1504
+ 14654,
1505
+ 1
1506
+ ],
1507
+ [
1508
+ 5990,
1509
+ 3
1510
+ ],
1511
+ [
1512
+ 4782,
1513
+ 0
1514
+ ],
1515
+ [
1516
+ 8939,
1517
+ 1
1518
+ ],
1519
+ [
1520
+ 11185,
1521
+ 10
1522
+ ],
1523
+ [
1524
+ 12816,
1525
+ 4
1526
+ ],
1527
+ [
1528
+ 1969,
1529
+ 3
1530
+ ],
1531
+ [
1532
+ 1198,
1533
+ 4
1534
+ ],
1535
+ [
1536
+ 18875,
1537
+ 2
1538
+ ],
1539
+ [
1540
+ 15886,
1541
+ 2
1542
+ ],
1543
+ [
1544
+ 5251,
1545
+ 6
1546
+ ],
1547
+ [
1548
+ 19268,
1549
+ 2
1550
+ ],
1551
+ [
1552
+ 2889,
1553
+ 1
1554
+ ],
1555
+ [
1556
+ 5636,
1557
+ 4
1558
+ ],
1559
+ [
1560
+ 13490,
1561
+ 4
1562
+ ],
1563
+ [
1564
+ 15718,
1565
+ 1
1566
+ ],
1567
+ [
1568
+ 1193,
1569
+ 2
1570
+ ],
1571
+ [
1572
+ 18087,
1573
+ 4
1574
+ ],
1575
+ [
1576
+ 14774,
1577
+ 4
1578
+ ],
1579
+ [
1580
+ 17677,
1581
+ 0
1582
+ ],
1583
+ [
1584
+ 1654,
1585
+ 0
1586
+ ],
1587
+ [
1588
+ 18306,
1589
+ 4
1590
+ ],
1591
+ [
1592
+ 719,
1593
+ 4
1594
+ ],
1595
+ [
1596
+ 1082,
1597
+ 1
1598
+ ],
1599
+ [
1600
+ 4943,
1601
+ 0
1602
+ ],
1603
+ [
1604
+ 12479,
1605
+ 0
1606
+ ],
1607
+ [
1608
+ 3845,
1609
+ 2
1610
+ ],
1611
+ [
1612
+ 13349,
1613
+ 8
1614
+ ],
1615
+ [
1616
+ 7020,
1617
+ 0
1618
+ ],
1619
+ [
1620
+ 14651,
1621
+ 1
1622
+ ],
1623
+ [
1624
+ 19197,
1625
+ 1
1626
+ ],
1627
+ [
1628
+ 4195,
1629
+ 4
1630
+ ],
1631
+ [
1632
+ 2195,
1633
+ 4
1634
+ ],
1635
+ [
1636
+ 18141,
1637
+ 3
1638
+ ],
1639
+ [
1640
+ 12926,
1641
+ 8
1642
+ ],
1643
+ [
1644
+ 11417,
1645
+ 3
1646
+ ],
1647
+ [
1648
+ 4745,
1649
+ 4
1650
+ ],
1651
+ [
1652
+ 14804,
1653
+ 0
1654
+ ],
1655
+ [
1656
+ 11332,
1657
+ 2
1658
+ ],
1659
+ [
1660
+ 4608,
1661
+ 3
1662
+ ],
1663
+ [
1664
+ 6792,
1665
+ 2
1666
+ ],
1667
+ [
1668
+ 1306,
1669
+ 3
1670
+ ],
1671
+ [
1672
+ 15017,
1673
+ 1
1674
+ ],
1675
+ [
1676
+ 17065,
1677
+ 2
1678
+ ],
1679
+ [
1680
+ 14220,
1681
+ 0
1682
+ ],
1683
+ [
1684
+ 17533,
1685
+ 2
1686
+ ],
1687
+ [
1688
+ 13605,
1689
+ 4
1690
+ ],
1691
+ [
1692
+ 2685,
1693
+ 0
1694
+ ],
1695
+ [
1696
+ 1542,
1697
+ 0
1698
+ ],
1699
+ [
1700
+ 1359,
1701
+ 1
1702
+ ],
1703
+ [
1704
+ 18991,
1705
+ 1
1706
+ ],
1707
+ [
1708
+ 9804,
1709
+ 8
1710
+ ],
1711
+ [
1712
+ 907,
1713
+ 11
1714
+ ],
1715
+ [
1716
+ 7884,
1717
+ 2
1718
+ ],
1719
+ [
1720
+ 8537,
1721
+ 17
1722
+ ],
1723
+ [
1724
+ 3297,
1725
+ 0
1726
+ ],
1727
+ [
1728
+ 15966,
1729
+ 9
1730
+ ],
1731
+ [
1732
+ 19813,
1733
+ 2
1734
+ ],
1735
+ [
1736
+ 11726,
1737
+ 10
1738
+ ],
1739
+ [
1740
+ 4297,
1741
+ 5
1742
+ ],
1743
+ [
1744
+ 5373,
1745
+ 6
1746
+ ],
1747
+ [
1748
+ 16212,
1749
+ 1
1750
+ ],
1751
+ [
1752
+ 16002,
1753
+ 2
1754
+ ],
1755
+ [
1756
+ 2991,
1757
+ 9
1758
+ ],
1759
+ [
1760
+ 15832,
1761
+ 1
1762
+ ],
1763
+ [
1764
+ 2288,
1765
+ 2
1766
+ ],
1767
+ [
1768
+ 3591,
1769
+ 4
1770
+ ],
1771
+ [
1772
+ 15802,
1773
+ 1
1774
+ ],
1775
+ [
1776
+ 5742,
1777
+ 6
1778
+ ],
1779
+ [
1780
+ 1045,
1781
+ 8
1782
+ ],
1783
+ [
1784
+ 17127,
1785
+ 2
1786
+ ],
1787
+ [
1788
+ 16464,
1789
+ 18
1790
+ ],
1791
+ [
1792
+ 15857,
1793
+ 7
1794
+ ],
1795
+ [
1796
+ 1027,
1797
+ 2
1798
+ ],
1799
+ [
1800
+ 19375,
1801
+ 1
1802
+ ],
1803
+ [
1804
+ 12483,
1805
+ 8
1806
+ ],
1807
+ [
1808
+ 9753,
1809
+ 0
1810
+ ],
1811
+ [
1812
+ 2775,
1813
+ 3
1814
+ ],
1815
+ [
1816
+ 13490,
1817
+ 0
1818
+ ],
1819
+ [
1820
+ 2553,
1821
+ 8
1822
+ ],
1823
+ [
1824
+ 4608,
1825
+ 0
1826
+ ],
1827
+ [
1828
+ 13674,
1829
+ 4
1830
+ ],
1831
+ [
1832
+ 1024,
1833
+ 3
1834
+ ],
1835
+ [
1836
+ 13314,
1837
+ 5
1838
+ ],
1839
+ [
1840
+ 13390,
1841
+ 2
1842
+ ],
1843
+ [
1844
+ 6430,
1845
+ 0
1846
+ ],
1847
+ [
1848
+ 300,
1849
+ 0
1850
+ ],
1851
+ [
1852
+ 8658,
1853
+ 3
1854
+ ],
1855
+ [
1856
+ 13886,
1857
+ 1
1858
+ ],
1859
+ [
1860
+ 2582,
1861
+ 0
1862
+ ],
1863
+ [
1864
+ 5342,
1865
+ 0
1866
+ ],
1867
+ [
1868
+ 7609,
1869
+ 0
1870
+ ],
1871
+ [
1872
+ 122,
1873
+ 2
1874
+ ],
1875
+ [
1876
+ 7509,
1877
+ 6
1878
+ ],
1879
+ [
1880
+ 4635,
1881
+ 6
1882
+ ],
1883
+ [
1884
+ 228,
1885
+ 1
1886
+ ],
1887
+ [
1888
+ 11306,
1889
+ 3
1890
+ ],
1891
+ [
1892
+ 14114,
1893
+ 4
1894
+ ],
1895
+ [
1896
+ 898,
1897
+ 1
1898
+ ],
1899
+ [
1900
+ 8738,
1901
+ 5
1902
+ ],
1903
+ [
1904
+ 5276,
1905
+ 7
1906
+ ],
1907
+ [
1908
+ 6710,
1909
+ 1
1910
+ ],
1911
+ [
1912
+ 17479,
1913
+ 3
1914
+ ],
1915
+ [
1916
+ 4244,
1917
+ 1
1918
+ ],
1919
+ [
1920
+ 18619,
1921
+ 6
1922
+ ],
1923
+ [
1924
+ 13274,
1925
+ 4
1926
+ ],
1927
+ [
1928
+ 9921,
1929
+ 3
1930
+ ],
1931
+ [
1932
+ 4812,
1933
+ 9
1934
+ ],
1935
+ [
1936
+ 937,
1937
+ 11
1938
+ ],
1939
+ [
1940
+ 7614,
1941
+ 0
1942
+ ],
1943
+ [
1944
+ 13752,
1945
+ 2
1946
+ ],
1947
+ [
1948
+ 12856,
1949
+ 4
1950
+ ],
1951
+ [
1952
+ 18488,
1953
+ 0
1954
+ ],
1955
+ [
1956
+ 11304,
1957
+ 4
1958
+ ],
1959
+ [
1960
+ 12571,
1961
+ 3
1962
+ ],
1963
+ [
1964
+ 6638,
1965
+ 1
1966
+ ],
1967
+ [
1968
+ 2860,
1969
+ 4
1970
+ ],
1971
+ [
1972
+ 3770,
1973
+ 0
1974
+ ],
1975
+ [
1976
+ 11831,
1977
+ 2
1978
+ ],
1979
+ [
1980
+ 5773,
1981
+ 3
1982
+ ],
1983
+ [
1984
+ 14321,
1985
+ 5
1986
+ ],
1987
+ [
1988
+ 4680,
1989
+ 4
1990
+ ],
1991
+ [
1992
+ 8197,
1993
+ 0
1994
+ ],
1995
+ [
1996
+ 12123,
1997
+ 5
1998
+ ],
1999
+ [
2000
+ 19877,
2001
+ 2
2002
+ ],
2003
+ [
2004
+ 9128,
2005
+ 1
2006
+ ],
2007
+ [
2008
+ 8885,
2009
+ 2
2010
+ ],
2011
+ [
2012
+ 6623,
2013
+ 7
2014
+ ],
2015
+ [
2016
+ 15966,
2017
+ 3
2018
+ ],
2019
+ [
2020
+ 1624,
2021
+ 0
2022
+ ],
2023
+ [
2024
+ 4916,
2025
+ 5
2026
+ ],
2027
+ [
2028
+ 723,
2029
+ 1
2030
+ ],
2031
+ [
2032
+ 2771,
2033
+ 8
2034
+ ],
2035
+ [
2036
+ 2630,
2037
+ 1
2038
+ ],
2039
+ [
2040
+ 4916,
2041
+ 2
2042
+ ],
2043
+ [
2044
+ 15966,
2045
+ 11
2046
+ ],
2047
+ [
2048
+ 11501,
2049
+ 4
2050
+ ],
2051
+ [
2052
+ 15857,
2053
+ 3
2054
+ ],
2055
+ [
2056
+ 5288,
2057
+ 2
2058
+ ],
2059
+ [
2060
+ 16004,
2061
+ 0
2062
+ ],
2063
+ [
2064
+ 11488,
2065
+ 1
2066
+ ],
2067
+ [
2068
+ 13526,
2069
+ 1
2070
+ ],
2071
+ [
2072
+ 3000,
2073
+ 8
2074
+ ],
2075
+ [
2076
+ 9394,
2077
+ 4
2078
+ ],
2079
+ [
2080
+ 17085,
2081
+ 0
2082
+ ],
2083
+ [
2084
+ 14129,
2085
+ 0
2086
+ ],
2087
+ [
2088
+ 2093,
2089
+ 1
2090
+ ],
2091
+ [
2092
+ 14321,
2093
+ 2
2094
+ ],
2095
+ [
2096
+ 15613,
2097
+ 10
2098
+ ],
2099
+ [
2100
+ 231,
2101
+ 5
2102
+ ],
2103
+ [
2104
+ 15857,
2105
+ 10
2106
+ ],
2107
+ [
2108
+ 12303,
2109
+ 3
2110
+ ],
2111
+ [
2112
+ 16837,
2113
+ 2
2114
+ ],
2115
+ [
2116
+ 7472,
2117
+ 4
2118
+ ],
2119
+ [
2120
+ 14220,
2121
+ 1
2122
+ ],
2123
+ [
2124
+ 11306,
2125
+ 4
2126
+ ],
2127
+ [
2128
+ 3198,
2129
+ 2
2130
+ ],
2131
+ [
2132
+ 6666,
2133
+ 1
2134
+ ],
2135
+ [
2136
+ 4114,
2137
+ 2
2138
+ ],
2139
+ [
2140
+ 10786,
2141
+ 2
2142
+ ],
2143
+ [
2144
+ 4226,
2145
+ 6
2146
+ ],
2147
+ [
2148
+ 5684,
2149
+ 7
2150
+ ],
2151
+ [
2152
+ 17111,
2153
+ 1
2154
+ ],
2155
+ [
2156
+ 15225,
2157
+ 1
2158
+ ],
2159
+ [
2160
+ 6666,
2161
+ 0
2162
+ ],
2163
+ [
2164
+ 15999,
2165
+ 0
2166
+ ],
2167
+ [
2168
+ 16467,
2169
+ 5
2170
+ ],
2171
+ [
2172
+ 6405,
2173
+ 3
2174
+ ],
2175
+ [
2176
+ 9394,
2177
+ 2
2178
+ ],
2179
+ [
2180
+ 17457,
2181
+ 0
2182
+ ],
2183
+ [
2184
+ 13072,
2185
+ 0
2186
+ ],
2187
+ [
2188
+ 5288,
2189
+ 6
2190
+ ],
2191
+ [
2192
+ 13554,
2193
+ 1
2194
+ ],
2195
+ [
2196
+ 17900,
2197
+ 6
2198
+ ],
2199
+ [
2200
+ 3026,
2201
+ 8
2202
+ ],
2203
+ [
2204
+ 18938,
2205
+ 1
2206
+ ],
2207
+ [
2208
+ 7456,
2209
+ 6
2210
+ ],
2211
+ [
2212
+ 11390,
2213
+ 4
2214
+ ],
2215
+ [
2216
+ 62,
2217
+ 2
2218
+ ],
2219
+ [
2220
+ 17237,
2221
+ 0
2222
+ ],
2223
+ [
2224
+ 17880,
2225
+ 7
2226
+ ],
2227
+ [
2228
+ 229,
2229
+ 2
2230
+ ],
2231
+ [
2232
+ 7999,
2233
+ 0
2234
+ ],
2235
+ [
2236
+ 11490,
2237
+ 5
2238
+ ],
2239
+ [
2240
+ 4358,
2241
+ 1
2242
+ ],
2243
+ [
2244
+ 11559,
2245
+ 0
2246
+ ],
2247
+ [
2248
+ 5773,
2249
+ 0
2250
+ ],
2251
+ [
2252
+ 16140,
2253
+ 0
2254
+ ],
2255
+ [
2256
+ 18335,
2257
+ 4
2258
+ ],
2259
+ [
2260
+ 3242,
2261
+ 5
2262
+ ],
2263
+ [
2264
+ 19453,
2265
+ 3
2266
+ ],
2267
+ [
2268
+ 8730,
2269
+ 3
2270
+ ],
2271
+ [
2272
+ 15476,
2273
+ 8
2274
+ ],
2275
+ [
2276
+ 10925,
2277
+ 5
2278
+ ],
2279
+ [
2280
+ 4602,
2281
+ 2
2282
+ ],
2283
+ [
2284
+ 10531,
2285
+ 0
2286
+ ],
2287
+ [
2288
+ 1360,
2289
+ 5
2290
+ ],
2291
+ [
2292
+ 27,
2293
+ 4
2294
+ ],
2295
+ [
2296
+ 9823,
2297
+ 9
2298
+ ],
2299
+ [
2300
+ 15204,
2301
+ 8
2302
+ ],
2303
+ [
2304
+ 15100,
2305
+ 0
2306
+ ],
2307
+ [
2308
+ 17065,
2309
+ 3
2310
+ ],
2311
+ [
2312
+ 3761,
2313
+ 0
2314
+ ],
2315
+ [
2316
+ 13502,
2317
+ 4
2318
+ ],
2319
+ [
2320
+ 11077,
2321
+ 0
2322
+ ],
2323
+ [
2324
+ 7045,
2325
+ 1
2326
+ ],
2327
+ [
2328
+ 3010,
2329
+ 0
2330
+ ],
2331
+ [
2332
+ 1194,
2333
+ 1
2334
+ ],
2335
+ [
2336
+ 2553,
2337
+ 10
2338
+ ],
2339
+ [
2340
+ 10137,
2341
+ 0
2342
+ ],
2343
+ [
2344
+ 11728,
2345
+ 1
2346
+ ],
2347
+ [
2348
+ 13061,
2349
+ 0
2350
+ ],
2351
+ [
2352
+ 4535,
2353
+ 1
2354
+ ],
2355
+ [
2356
+ 9464,
2357
+ 0
2358
+ ],
2359
+ [
2360
+ 5973,
2361
+ 2
2362
+ ],
2363
+ [
2364
+ 2488,
2365
+ 2
2366
+ ],
2367
+ [
2368
+ 15778,
2369
+ 0
2370
+ ],
2371
+ [
2372
+ 11234,
2373
+ 7
2374
+ ],
2375
+ [
2376
+ 11040,
2377
+ 9
2378
+ ],
2379
+ [
2380
+ 4979,
2381
+ 2
2382
+ ],
2383
+ [
2384
+ 7733,
2385
+ 5
2386
+ ],
2387
+ [
2388
+ 15703,
2389
+ 2
2390
+ ],
2391
+ [
2392
+ 15438,
2393
+ 2
2394
+ ],
2395
+ [
2396
+ 10844,
2397
+ 10
2398
+ ],
2399
+ [
2400
+ 11296,
2401
+ 10
2402
+ ],
2403
+ [
2404
+ 16924,
2405
+ 1
2406
+ ],
2407
+ [
2408
+ 14220,
2409
+ 4
2410
+ ],
2411
+ [
2412
+ 5154,
2413
+ 0
2414
+ ],
2415
+ [
2416
+ 5776,
2417
+ 5
2418
+ ],
2419
+ [
2420
+ 4635,
2421
+ 8
2422
+ ],
2423
+ [
2424
+ 4581,
2425
+ 3
2426
+ ],
2427
+ [
2428
+ 14556,
2429
+ 3
2430
+ ],
2431
+ [
2432
+ 15349,
2433
+ 2
2434
+ ],
2435
+ [
2436
+ 18182,
2437
+ 0
2438
+ ],
2439
+ [
2440
+ 5215,
2441
+ 1
2442
+ ],
2443
+ [
2444
+ 11494,
2445
+ 2
2446
+ ],
2447
+ [
2448
+ 13512,
2449
+ 2
2450
+ ],
2451
+ [
2452
+ 18438,
2453
+ 1
2454
+ ],
2455
+ [
2456
+ 7969,
2457
+ 1
2458
+ ],
2459
+ [
2460
+ 19061,
2461
+ 3
2462
+ ],
2463
+ [
2464
+ 19636,
2465
+ 1
2466
+ ],
2467
+ [
2468
+ 19269,
2469
+ 6
2470
+ ],
2471
+ [
2472
+ 2200,
2473
+ 0
2474
+ ],
2475
+ [
2476
+ 17037,
2477
+ 1
2478
+ ],
2479
+ [
2480
+ 11549,
2481
+ 2
2482
+ ],
2483
+ [
2484
+ 5312,
2485
+ 2
2486
+ ],
2487
+ [
2488
+ 19347,
2489
+ 2
2490
+ ],
2491
+ [
2492
+ 1842,
2493
+ 2
2494
+ ],
2495
+ [
2496
+ 7878,
2497
+ 3
2498
+ ],
2499
+ [
2500
+ 904,
2501
+ 7
2502
+ ],
2503
+ [
2504
+ 18340,
2505
+ 1
2506
+ ],
2507
+ [
2508
+ 14985,
2509
+ 0
2510
+ ],
2511
+ [
2512
+ 300,
2513
+ 2
2514
+ ],
2515
+ [
2516
+ 2412,
2517
+ 0
2518
+ ],
2519
+ [
2520
+ 2886,
2521
+ 2
2522
+ ],
2523
+ [
2524
+ 15070,
2525
+ 0
2526
+ ],
2527
+ [
2528
+ 219,
2529
+ 0
2530
+ ],
2531
+ [
2532
+ 13735,
2533
+ 2
2534
+ ],
2535
+ [
2536
+ 1378,
2537
+ 0
2538
+ ],
2539
+ [
2540
+ 4422,
2541
+ 1
2542
+ ],
2543
+ [
2544
+ 136,
2545
+ 0
2546
+ ],
2547
+ [
2548
+ 10531,
2549
+ 5
2550
+ ],
2551
+ [
2552
+ 11304,
2553
+ 2
2554
+ ],
2555
+ [
2556
+ 8455,
2557
+ 2
2558
+ ],
2559
+ [
2560
+ 5251,
2561
+ 2
2562
+ ],
2563
+ [
2564
+ 11198,
2565
+ 2
2566
+ ],
2567
+ [
2568
+ 6904,
2569
+ 0
2570
+ ],
2571
+ [
2572
+ 3845,
2573
+ 4
2574
+ ],
2575
+ [
2576
+ 16562,
2577
+ 1
2578
+ ],
2579
+ [
2580
+ 17842,
2581
+ 4
2582
+ ],
2583
+ [
2584
+ 14681,
2585
+ 1
2586
+ ],
2587
+ [
2588
+ 6207,
2589
+ 8
2590
+ ],
2591
+ [
2592
+ 12649,
2593
+ 3
2594
+ ],
2595
+ [
2596
+ 16588,
2597
+ 4
2598
+ ],
2599
+ [
2600
+ 5455,
2601
+ 5
2602
+ ],
2603
+ [
2604
+ 17154,
2605
+ 2
2606
+ ],
2607
+ [
2608
+ 5446,
2609
+ 0
2610
+ ],
2611
+ [
2612
+ 12123,
2613
+ 8
2614
+ ],
2615
+ [
2616
+ 4806,
2617
+ 6
2618
+ ],
2619
+ [
2620
+ 7633,
2621
+ 6
2622
+ ],
2623
+ [
2624
+ 6707,
2625
+ 3
2626
+ ],
2627
+ [
2628
+ 17037,
2629
+ 3
2630
+ ],
2631
+ [
2632
+ 13428,
2633
+ 7
2634
+ ],
2635
+ [
2636
+ 14928,
2637
+ 5
2638
+ ],
2639
+ [
2640
+ 16275,
2641
+ 0
2642
+ ],
2643
+ [
2644
+ 19268,
2645
+ 4
2646
+ ],
2647
+ [
2648
+ 14942,
2649
+ 3
2650
+ ],
2651
+ [
2652
+ 8084,
2653
+ 2
2654
+ ],
2655
+ [
2656
+ 7045,
2657
+ 4
2658
+ ],
2659
+ [
2660
+ 16760,
2661
+ 1
2662
+ ],
2663
+ [
2664
+ 7499,
2665
+ 3
2666
+ ],
2667
+ [
2668
+ 1741,
2669
+ 5
2670
+ ],
2671
+ [
2672
+ 14843,
2673
+ 5
2674
+ ],
2675
+ [
2676
+ 1089,
2677
+ 1
2678
+ ],
2679
+ [
2680
+ 8780,
2681
+ 3
2682
+ ],
2683
+ [
2684
+ 13805,
2685
+ 3
2686
+ ],
2687
+ [
2688
+ 2078,
2689
+ 0
2690
+ ],
2691
+ [
2692
+ 6353,
2693
+ 2
2694
+ ],
2695
+ [
2696
+ 8740,
2697
+ 1
2698
+ ],
2699
+ [
2700
+ 11482,
2701
+ 2
2702
+ ],
2703
+ [
2704
+ 3026,
2705
+ 10
2706
+ ],
2707
+ [
2708
+ 19979,
2709
+ 5
2710
+ ],
2711
+ [
2712
+ 11128,
2713
+ 2
2714
+ ],
2715
+ [
2716
+ 13497,
2717
+ 3
2718
+ ],
2719
+ [
2720
+ 15746,
2721
+ 0
2722
+ ],
2723
+ [
2724
+ 17647,
2725
+ 2
2726
+ ],
2727
+ [
2728
+ 1908,
2729
+ 1
2730
+ ],
2731
+ [
2732
+ 16464,
2733
+ 11
2734
+ ],
2735
+ [
2736
+ 17510,
2737
+ 0
2738
+ ],
2739
+ [
2740
+ 19190,
2741
+ 3
2742
+ ],
2743
+ [
2744
+ 9793,
2745
+ 6
2746
+ ],
2747
+ [
2748
+ 18577,
2749
+ 1
2750
+ ],
2751
+ [
2752
+ 7869,
2753
+ 1
2754
+ ],
2755
+ [
2756
+ 12904,
2757
+ 21
2758
+ ],
2759
+ [
2760
+ 10255,
2761
+ 4
2762
+ ],
2763
+ [
2764
+ 1464,
2765
+ 0
2766
+ ],
2767
+ [
2768
+ 1501,
2769
+ 0
2770
+ ],
2771
+ [
2772
+ 1842,
2773
+ 5
2774
+ ],
2775
+ [
2776
+ 5968,
2777
+ 0
2778
+ ],
2779
+ [
2780
+ 13437,
2781
+ 0
2782
+ ],
2783
+ [
2784
+ 136,
2785
+ 2
2786
+ ],
2787
+ [
2788
+ 228,
2789
+ 0
2790
+ ],
2791
+ [
2792
+ 5241,
2793
+ 4
2794
+ ],
2795
+ [
2796
+ 2302,
2797
+ 9
2798
+ ],
2799
+ [
2800
+ 16324,
2801
+ 0
2802
+ ],
2803
+ [
2804
+ 8193,
2805
+ 0
2806
+ ],
2807
+ [
2808
+ 15100,
2809
+ 5
2810
+ ],
2811
+ [
2812
+ 8158,
2813
+ 3
2814
+ ],
2815
+ [
2816
+ 17457,
2817
+ 4
2818
+ ],
2819
+ [
2820
+ 6930,
2821
+ 4
2822
+ ],
2823
+ [
2824
+ 13019,
2825
+ 1
2826
+ ],
2827
+ [
2828
+ 3761,
2829
+ 5
2830
+ ],
2831
+ [
2832
+ 3023,
2833
+ 2
2834
+ ],
2835
+ [
2836
+ 12245,
2837
+ 0
2838
+ ],
2839
+ [
2840
+ 12434,
2841
+ 2
2842
+ ],
2843
+ [
2844
+ 17538,
2845
+ 2
2846
+ ],
2847
+ [
2848
+ 12499,
2849
+ 2
2850
+ ],
2851
+ [
2852
+ 9806,
2853
+ 1
2854
+ ],
2855
+ [
2856
+ 971,
2857
+ 0
2858
+ ],
2859
+ [
2860
+ 1512,
2861
+ 0
2862
+ ],
2863
+ [
2864
+ 6844,
2865
+ 3
2866
+ ],
2867
+ [
2868
+ 14107,
2869
+ 3
2870
+ ],
2871
+ [
2872
+ 2836,
2873
+ 1
2874
+ ],
2875
+ [
2876
+ 7682,
2877
+ 2
2878
+ ],
2879
+ [
2880
+ 13327,
2881
+ 1
2882
+ ],
2883
+ [
2884
+ 6759,
2885
+ 2
2886
+ ],
2887
+ [
2888
+ 7379,
2889
+ 0
2890
+ ],
2891
+ [
2892
+ 9683,
2893
+ 0
2894
+ ],
2895
+ [
2896
+ 11571,
2897
+ 1
2898
+ ],
2899
+ [
2900
+ 11912,
2901
+ 3
2902
+ ],
2903
+ [
2904
+ 14723,
2905
+ 6
2906
+ ],
2907
+ [
2908
+ 9793,
2909
+ 5
2910
+ ],
2911
+ [
2912
+ 18883,
2913
+ 7
2914
+ ],
2915
+ [
2916
+ 13248,
2917
+ 1
2918
+ ],
2919
+ [
2920
+ 8982,
2921
+ 8
2922
+ ],
2923
+ [
2924
+ 1512,
2925
+ 3
2926
+ ],
2927
+ [
2928
+ 11728,
2929
+ 4
2930
+ ],
2931
+ [
2932
+ 2612,
2933
+ 4
2934
+ ],
2935
+ [
2936
+ 270,
2937
+ 5
2938
+ ],
2939
+ [
2940
+ 19339,
2941
+ 5
2942
+ ],
2943
+ [
2944
+ 16696,
2945
+ 4
2946
+ ],
2947
+ [
2948
+ 1672,
2949
+ 2
2950
+ ],
2951
+ [
2952
+ 15749,
2953
+ 9
2954
+ ],
2955
+ [
2956
+ 17841,
2957
+ 5
2958
+ ],
2959
+ [
2960
+ 16768,
2961
+ 2
2962
+ ],
2963
+ [
2964
+ 4535,
2965
+ 0
2966
+ ],
2967
+ [
2968
+ 2886,
2969
+ 3
2970
+ ],
2971
+ [
2972
+ 8998,
2973
+ 5
2974
+ ],
2975
+ [
2976
+ 3559,
2977
+ 6
2978
+ ],
2979
+ [
2980
+ 5684,
2981
+ 5
2982
+ ],
2983
+ [
2984
+ 15768,
2985
+ 14
2986
+ ],
2987
+ [
2988
+ 7826,
2989
+ 7
2990
+ ],
2991
+ [
2992
+ 16829,
2993
+ 0
2994
+ ],
2995
+ [
2996
+ 2757,
2997
+ 1
2998
+ ],
2999
+ [
3000
+ 16259,
3001
+ 6
3002
+ ],
3003
+ [
3004
+ 15055,
3005
+ 5
3006
+ ],
3007
+ [
3008
+ 1330,
3009
+ 1
3010
+ ],
3011
+ [
3012
+ 6505,
3013
+ 0
3014
+ ],
3015
+ [
3016
+ 9467,
3017
+ 0
3018
+ ],
3019
+ [
3020
+ 19190,
3021
+ 0
3022
+ ],
3023
+ [
3024
+ 8084,
3025
+ 0
3026
+ ],
3027
+ [
3028
+ 4796,
3029
+ 1
3030
+ ],
3031
+ [
3032
+ 10911,
3033
+ 0
3034
+ ],
3035
+ [
3036
+ 13468,
3037
+ 12
3038
+ ],
3039
+ [
3040
+ 12248,
3041
+ 3
3042
+ ],
3043
+ [
3044
+ 16584,
3045
+ 4
3046
+ ],
3047
+ [
3048
+ 4045,
3049
+ 0
3050
+ ],
3051
+ [
3052
+ 11132,
3053
+ 4
3054
+ ],
3055
+ [
3056
+ 7337,
3057
+ 0
3058
+ ],
3059
+ [
3060
+ 11429,
3061
+ 3
3062
+ ],
3063
+ [
3064
+ 16860,
3065
+ 0
3066
+ ],
3067
+ [
3068
+ 20097,
3069
+ 2
3070
+ ],
3071
+ [
3072
+ 17900,
3073
+ 0
3074
+ ],
3075
+ [
3076
+ 10058,
3077
+ 11
3078
+ ],
3079
+ [
3080
+ 10608,
3081
+ 2
3082
+ ],
3083
+ [
3084
+ 8725,
3085
+ 3
3086
+ ],
3087
+ [
3088
+ 591,
3089
+ 0
3090
+ ],
3091
+ [
3092
+ 4545,
3093
+ 0
3094
+ ],
3095
+ [
3096
+ 3566,
3097
+ 2
3098
+ ],
3099
+ [
3100
+ 6338,
3101
+ 4
3102
+ ],
3103
+ [
3104
+ 15775,
3105
+ 7
3106
+ ],
3107
+ [
3108
+ 9431,
3109
+ 1
3110
+ ],
3111
+ [
3112
+ 7969,
3113
+ 2
3114
+ ],
3115
+ [
3116
+ 11128,
3117
+ 4
3118
+ ],
3119
+ [
3120
+ 20189,
3121
+ 6
3122
+ ],
3123
+ [
3124
+ 16353,
3125
+ 2
3126
+ ],
3127
+ [
3128
+ 4618,
3129
+ 0
3130
+ ],
3131
+ [
3132
+ 10608,
3133
+ 1
3134
+ ],
3135
+ [
3136
+ 4535,
3137
+ 2
3138
+ ],
3139
+ [
3140
+ 13669,
3141
+ 9
3142
+ ],
3143
+ [
3144
+ 8537,
3145
+ 16
3146
+ ],
3147
+ [
3148
+ 11040,
3149
+ 0
3150
+ ],
3151
+ [
3152
+ 8165,
3153
+ 6
3154
+ ],
3155
+ [
3156
+ 2387,
3157
+ 2
3158
+ ],
3159
+ [
3160
+ 11829,
3161
+ 2
3162
+ ],
3163
+ [
3164
+ 12581,
3165
+ 2
3166
+ ],
3167
+ [
3168
+ 8770,
3169
+ 2
3170
+ ],
3171
+ [
3172
+ 14265,
3173
+ 4
3174
+ ],
3175
+ [
3176
+ 18800,
3177
+ 0
3178
+ ],
3179
+ [
3180
+ 11185,
3181
+ 6
3182
+ ],
3183
+ [
3184
+ 6304,
3185
+ 5
3186
+ ],
3187
+ [
3188
+ 5147,
3189
+ 1
3190
+ ],
3191
+ [
3192
+ 569,
3193
+ 16
3194
+ ],
3195
+ [
3196
+ 19719,
3197
+ 2
3198
+ ],
3199
+ [
3200
+ 12614,
3201
+ 2
3202
+ ],
3203
+ [
3204
+ 13970,
3205
+ 4
3206
+ ],
3207
+ [
3208
+ 904,
3209
+ 3
3210
+ ],
3211
+ [
3212
+ 4812,
3213
+ 4
3214
+ ],
3215
+ [
3216
+ 15076,
3217
+ 0
3218
+ ],
3219
+ [
3220
+ 5732,
3221
+ 5
3222
+ ],
3223
+ [
3224
+ 6418,
3225
+ 11
3226
+ ],
3227
+ [
3228
+ 19939,
3229
+ 4
3230
+ ],
3231
+ [
3232
+ 2748,
3233
+ 3
3234
+ ],
3235
+ [
3236
+ 5025,
3237
+ 0
3238
+ ],
3239
+ [
3240
+ 7587,
3241
+ 2
3242
+ ],
3243
+ [
3244
+ 19375,
3245
+ 3
3246
+ ],
3247
+ [
3248
+ 8826,
3249
+ 9
3250
+ ],
3251
+ [
3252
+ 4916,
3253
+ 3
3254
+ ],
3255
+ [
3256
+ 8770,
3257
+ 3
3258
+ ],
3259
+ [
3260
+ 14723,
3261
+ 5
3262
+ ],
3263
+ [
3264
+ 13498,
3265
+ 3
3266
+ ],
3267
+ [
3268
+ 4936,
3269
+ 2
3270
+ ],
3271
+ [
3272
+ 4090,
3273
+ 1
3274
+ ],
3275
+ [
3276
+ 907,
3277
+ 1
3278
+ ],
3279
+ [
3280
+ 13669,
3281
+ 4
3282
+ ],
3283
+ [
3284
+ 19088,
3285
+ 1
3286
+ ],
3287
+ [
3288
+ 17538,
3289
+ 0
3290
+ ],
3291
+ [
3292
+ 11843,
3293
+ 1
3294
+ ],
3295
+ [
3296
+ 407,
3297
+ 0
3298
+ ],
3299
+ [
3300
+ 5968,
3301
+ 3
3302
+ ],
3303
+ [
3304
+ 19315,
3305
+ 3
3306
+ ],
3307
+ [
3308
+ 18828,
3309
+ 1
3310
+ ],
3311
+ [
3312
+ 11972,
3313
+ 0
3314
+ ],
3315
+ [
3316
+ 2777,
3317
+ 1
3318
+ ],
3319
+ [
3320
+ 9935,
3321
+ 8
3322
+ ],
3323
+ [
3324
+ 5147,
3325
+ 3
3326
+ ],
3327
+ [
3328
+ 12163,
3329
+ 2
3330
+ ],
3331
+ [
3332
+ 11296,
3333
+ 1
3334
+ ],
3335
+ [
3336
+ 14681,
3337
+ 0
3338
+ ],
3339
+ [
3340
+ 2146,
3341
+ 0
3342
+ ],
3343
+ [
3344
+ 7633,
3345
+ 2
3346
+ ],
3347
+ [
3348
+ 1309,
3349
+ 0
3350
+ ],
3351
+ [
3352
+ 12076,
3353
+ 0
3354
+ ],
3355
+ [
3356
+ 9466,
3357
+ 1
3358
+ ],
3359
+ [
3360
+ 13217,
3361
+ 4
3362
+ ],
3363
+ [
3364
+ 16837,
3365
+ 0
3366
+ ],
3367
+ [
3368
+ 8333,
3369
+ 2
3370
+ ],
3371
+ [
3372
+ 10033,
3373
+ 1
3374
+ ],
3375
+ [
3376
+ 13256,
3377
+ 0
3378
+ ],
3379
+ [
3380
+ 5956,
3381
+ 2
3382
+ ],
3383
+ [
3384
+ 11726,
3385
+ 3
3386
+ ],
3387
+ [
3388
+ 591,
3389
+ 7
3390
+ ],
3391
+ [
3392
+ 13605,
3393
+ 1
3394
+ ],
3395
+ [
3396
+ 2098,
3397
+ 1
3398
+ ],
3399
+ [
3400
+ 5636,
3401
+ 1
3402
+ ],
3403
+ [
3404
+ 13498,
3405
+ 2
3406
+ ],
3407
+ [
3408
+ 777,
3409
+ 5
3410
+ ],
3411
+ [
3412
+ 19242,
3413
+ 2
3414
+ ],
3415
+ [
3416
+ 2250,
3417
+ 1
3418
+ ],
3419
+ [
3420
+ 898,
3421
+ 0
3422
+ ],
3423
+ [
3424
+ 9072,
3425
+ 1
3426
+ ],
3427
+ [
3428
+ 1569,
3429
+ 0
3430
+ ],
3431
+ [
3432
+ 8333,
3433
+ 0
3434
+ ],
3435
+ [
3436
+ 12546,
3437
+ 2
3438
+ ],
3439
+ [
3440
+ 2426,
3441
+ 0
3442
+ ],
3443
+ [
3444
+ 2269,
3445
+ 13
3446
+ ],
3447
+ [
3448
+ 13307,
3449
+ 5
3450
+ ],
3451
+ [
3452
+ 16035,
3453
+ 1
3454
+ ],
3455
+ [
3456
+ 5029,
3457
+ 0
3458
+ ],
3459
+ [
3460
+ 7903,
3461
+ 4
3462
+ ],
3463
+ [
3464
+ 17207,
3465
+ 2
3466
+ ],
3467
+ [
3468
+ 16588,
3469
+ 3
3470
+ ],
3471
+ [
3472
+ 5278,
3473
+ 2
3474
+ ],
3475
+ [
3476
+ 11900,
3477
+ 4
3478
+ ],
3479
+ [
3480
+ 6418,
3481
+ 13
3482
+ ],
3483
+ [
3484
+ 12624,
3485
+ 10
3486
+ ],
3487
+ [
3488
+ 15613,
3489
+ 11
3490
+ ],
3491
+ [
3492
+ 14620,
3493
+ 3
3494
+ ],
3495
+ [
3496
+ 282,
3497
+ 4
3498
+ ],
3499
+ [
3500
+ 15646,
3501
+ 0
3502
+ ],
3503
+ [
3504
+ 10167,
3505
+ 6
3506
+ ],
3507
+ [
3508
+ 17953,
3509
+ 0
3510
+ ],
3511
+ [
3512
+ 1438,
3513
+ 3
3514
+ ],
3515
+ [
3516
+ 4618,
3517
+ 13
3518
+ ],
3519
+ [
3520
+ 15613,
3521
+ 15
3522
+ ],
3523
+ [
3524
+ 14942,
3525
+ 15
3526
+ ],
3527
+ [
3528
+ 6304,
3529
+ 4
3530
+ ],
3531
+ [
3532
+ 122,
3533
+ 0
3534
+ ],
3535
+ [
3536
+ 19572,
3537
+ 4
3538
+ ],
3539
+ [
3540
+ 5185,
3541
+ 2
3542
+ ],
3543
+ [
3544
+ 20097,
3545
+ 1
3546
+ ],
3547
+ [
3548
+ 5459,
3549
+ 1
3550
+ ],
3551
+ [
3552
+ 2814,
3553
+ 5
3554
+ ],
3555
+ [
3556
+ 12648,
3557
+ 2
3558
+ ],
3559
+ [
3560
+ 8898,
3561
+ 3
3562
+ ],
3563
+ [
3564
+ 6418,
3565
+ 3
3566
+ ],
3567
+ [
3568
+ 9318,
3569
+ 5
3570
+ ],
3571
+ [
3572
+ 6207,
3573
+ 18
3574
+ ],
3575
+ [
3576
+ 6207,
3577
+ 9
3578
+ ],
3579
+ [
3580
+ 2775,
3581
+ 2
3582
+ ],
3583
+ [
3584
+ 16259,
3585
+ 10
3586
+ ],
3587
+ [
3588
+ 3793,
3589
+ 6
3590
+ ],
3591
+ [
3592
+ 17628,
3593
+ 2
3594
+ ],
3595
+ [
3596
+ 5564,
3597
+ 1
3598
+ ],
3599
+ [
3600
+ 1359,
3601
+ 2
3602
+ ],
3603
+ [
3604
+ 9747,
3605
+ 3
3606
+ ],
3607
+ [
3608
+ 14321,
3609
+ 3
3610
+ ],
3611
+ [
3612
+ 937,
3613
+ 0
3614
+ ],
3615
+ [
3616
+ 1206,
3617
+ 0
3618
+ ],
3619
+ [
3620
+ 19366,
3621
+ 3
3622
+ ],
3623
+ [
3624
+ 3148,
3625
+ 2
3626
+ ],
3627
+ [
3628
+ 13669,
3629
+ 0
3630
+ ],
3631
+ [
3632
+ 11304,
3633
+ 6
3634
+ ],
3635
+ [
3636
+ 5611,
3637
+ 0
3638
+ ],
3639
+ [
3640
+ 17629,
3641
+ 6
3642
+ ],
3643
+ [
3644
+ 8871,
3645
+ 12
3646
+ ],
3647
+ [
3648
+ 19813,
3649
+ 7
3650
+ ],
3651
+ [
3652
+ 13560,
3653
+ 0
3654
+ ],
3655
+ [
3656
+ 5956,
3657
+ 1
3658
+ ],
3659
+ [
3660
+ 15457,
3661
+ 4
3662
+ ],
3663
+ [
3664
+ 12926,
3665
+ 4
3666
+ ],
3667
+ [
3668
+ 10527,
3669
+ 2
3670
+ ],
3671
+ [
3672
+ 19269,
3673
+ 0
3674
+ ],
3675
+ [
3676
+ 15020,
3677
+ 5
3678
+ ],
3679
+ [
3680
+ 569,
3681
+ 5
3682
+ ],
3683
+ [
3684
+ 11885,
3685
+ 2
3686
+ ],
3687
+ [
3688
+ 11198,
3689
+ 7
3690
+ ],
3691
+ [
3692
+ 18231,
3693
+ 1
3694
+ ],
3695
+ [
3696
+ 1170,
3697
+ 4
3698
+ ],
3699
+ [
3700
+ 10098,
3701
+ 0
3702
+ ],
3703
+ [
3704
+ 17563,
3705
+ 0
3706
+ ],
3707
+ [
3708
+ 15063,
3709
+ 4
3710
+ ],
3711
+ [
3712
+ 4579,
3713
+ 0
3714
+ ],
3715
+ [
3716
+ 15442,
3717
+ 3
3718
+ ],
3719
+ [
3720
+ 13349,
3721
+ 7
3722
+ ],
3723
+ [
3724
+ 19349,
3725
+ 5
3726
+ ],
3727
+ [
3728
+ 1819,
3729
+ 5
3730
+ ],
3731
+ [
3732
+ 723,
3733
+ 3
3734
+ ],
3735
+ [
3736
+ 10672,
3737
+ 1
3738
+ ],
3739
+ [
3740
+ 1089,
3741
+ 17
3742
+ ],
3743
+ [
3744
+ 9783,
3745
+ 4
3746
+ ],
3747
+ [
3748
+ 11234,
3749
+ 8
3750
+ ],
3751
+ [
3752
+ 7607,
3753
+ 0
3754
+ ],
3755
+ [
3756
+ 13070,
3757
+ 2
3758
+ ],
3759
+ [
3760
+ 14768,
3761
+ 10
3762
+ ],
3763
+ [
3764
+ 9628,
3765
+ 2
3766
+ ],
3767
+ [
3768
+ 7643,
3769
+ 0
3770
+ ],
3771
+ [
3772
+ 12633,
3773
+ 3
3774
+ ],
3775
+ [
3776
+ 9120,
3777
+ 12
3778
+ ],
3779
+ [
3780
+ 13498,
3781
+ 1
3782
+ ],
3783
+ [
3784
+ 5961,
3785
+ 2
3786
+ ],
3787
+ [
3788
+ 5676,
3789
+ 11
3790
+ ],
3791
+ [
3792
+ 12649,
3793
+ 2
3794
+ ],
3795
+ [
3796
+ 270,
3797
+ 3
3798
+ ],
3799
+ [
3800
+ 1819,
3801
+ 6
3802
+ ],
3803
+ [
3804
+ 13274,
3805
+ 6
3806
+ ],
3807
+ [
3808
+ 13800,
3809
+ 2
3810
+ ],
3811
+ [
3812
+ 11274,
3813
+ 9
3814
+ ],
3815
+ [
3816
+ 12434,
3817
+ 4
3818
+ ],
3819
+ [
3820
+ 19315,
3821
+ 5
3822
+ ],
3823
+ [
3824
+ 15442,
3825
+ 1
3826
+ ],
3827
+ [
3828
+ 16464,
3829
+ 17
3830
+ ],
3831
+ [
3832
+ 6239,
3833
+ 3
3834
+ ],
3835
+ [
3836
+ 53,
3837
+ 5
3838
+ ],
3839
+ [
3840
+ 5251,
3841
+ 4
3842
+ ],
3843
+ [
3844
+ 1489,
3845
+ 6
3846
+ ],
3847
+ [
3848
+ 16860,
3849
+ 1
3850
+ ],
3851
+ [
3852
+ 4699,
3853
+ 3
3854
+ ],
3855
+ [
3856
+ 13126,
3857
+ 3
3858
+ ],
3859
+ [
3860
+ 270,
3861
+ 7
3862
+ ],
3863
+ [
3864
+ 18800,
3865
+ 3
3866
+ ],
3867
+ [
3868
+ 9893,
3869
+ 2
3870
+ ],
3871
+ [
3872
+ 6759,
3873
+ 0
3874
+ ],
3875
+ [
3876
+ 2553,
3877
+ 6
3878
+ ],
3879
+ [
3880
+ 16128,
3881
+ 2
3882
+ ],
3883
+ [
3884
+ 10844,
3885
+ 12
3886
+ ],
3887
+ [
3888
+ 6385,
3889
+ 1
3890
+ ],
3891
+ [
3892
+ 6239,
3893
+ 0
3894
+ ],
3895
+ [
3896
+ 2302,
3897
+ 2
3898
+ ],
3899
+ [
3900
+ 5779,
3901
+ 4
3902
+ ],
3903
+ [
3904
+ 4190,
3905
+ 1
3906
+ ],
3907
+ [
3908
+ 19680,
3909
+ 2
3910
+ ],
3911
+ [
3912
+ 16584,
3913
+ 1
3914
+ ],
3915
+ [
3916
+ 10255,
3917
+ 2
3918
+ ],
3919
+ [
3920
+ 11890,
3921
+ 1
3922
+ ],
3923
+ [
3924
+ 11128,
3925
+ 10
3926
+ ],
3927
+ [
3928
+ 480,
3929
+ 6
3930
+ ],
3931
+ [
3932
+ 16379,
3933
+ 4
3934
+ ],
3935
+ [
3936
+ 10928,
3937
+ 4
3938
+ ],
3939
+ [
3940
+ 12182,
3941
+ 12
3942
+ ],
3943
+ [
3944
+ 13182,
3945
+ 0
3946
+ ],
3947
+ [
3948
+ 6844,
3949
+ 0
3950
+ ],
3951
+ [
3952
+ 16467,
3953
+ 4
3954
+ ],
3955
+ [
3956
+ 5276,
3957
+ 4
3958
+ ],
3959
+ [
3960
+ 190,
3961
+ 10
3962
+ ],
3963
+ [
3964
+ 19956,
3965
+ 1
3966
+ ],
3967
+ [
3968
+ 5741,
3969
+ 0
3970
+ ],
3971
+ [
3972
+ 18046,
3973
+ 0
3974
+ ],
3975
+ [
3976
+ 15749,
3977
+ 1
3978
+ ],
3979
+ [
3980
+ 8501,
3981
+ 5
3982
+ ],
3983
+ [
3984
+ 575,
3985
+ 1
3986
+ ],
3987
+ [
3988
+ 5794,
3989
+ 3
3990
+ ],
3991
+ [
3992
+ 6996,
3993
+ 4
3994
+ ],
3995
+ [
3996
+ 13522,
3997
+ 5
3998
+ ],
3999
+ [
4000
+ 19382,
4001
+ 0
4002
+ ]
4003
+ ],
4004
+ "models": {
4005
+ "jev:jev-1.13.0": {
4006
+ "serving": "TypeSafe API (jev-1.13.0)",
4007
+ "type": 67.6,
4008
+ "grounding": 56.4,
4009
+ "errors": 0,
4010
+ "latency_ms_api_roundtrip": {
4011
+ "median": 243.5,
4012
+ "p95": 308.1,
4013
+ "mean": 250.5
4014
+ },
4015
+ "ece_operation": 0.0546,
4016
+ "brier_operation": 0.483,
4017
+ "usage_tokens": {
4018
+ "input": 1155647,
4019
+ "output": 245269
4020
+ },
4021
+ "measured_at": "2026-10-07 17:48",
4022
+ "laya_android_same_steps": {
4023
+ "ece_operation": 0.0372,
4024
+ "brier_operation": 0.3382
4025
+ }
4026
+ }
4027
+ }
4028
+ }
eval/jev_1000_steps.jsonl.gz ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:6685d473f1716652cc7484ae71dd7e8d6b1c7d1cf4aafa693f897e8f8bfd334e
3
+ size 48137
figures/androidcontrol_generalization.svg CHANGED
figures/calibration_vs_jev.png ADDED

Git LFS Details

  • SHA256: 4804b7c3db0cd5de882442dec095bc55284a756efe870c0edcfa51fcbff7bffa
  • Pointer size: 131 Bytes
  • Size of remote file: 129 kB
figures/calibration_vs_jev.svg ADDED
figures/candidate_scaling.svg CHANGED
figures/efficiency_comparison.png CHANGED

Git LFS Details

  • SHA256: 9a90e116ebd526a6a4993ee05bbeaa5b4d2ac7b5686d91aaa9cfcf5ac903d03d
  • Pointer size: 131 Bytes
  • Size of remote file: 185 kB

Git LFS Details

  • SHA256: e965dd8e80dab82f6cab3d5110ff0c81310ce5418901de05d59e0bc782e020b1
  • Pointer size: 131 Bytes
  • Size of remote file: 185 kB
figures/efficiency_comparison.svg CHANGED
figures/efficiency_scatter.png CHANGED
figures/efficiency_scatter.svg CHANGED
figures/overview.svg CHANGED
figures/training_progression.svg CHANGED