Add 1M support (#4)

- add 1m support (6de12852c0df860e95b07058d6533a73e5db861c)
- update README (51c9cad24d3074c2627545fed00194b70614e967)
- update README (4baa2f7f25715006258a3e124a57710db8f7e3d0)
- update README (0ac4048546e2263b7c783781065e05155a56858d)
- update README (5576448215caacd9a0b0ac5f567e5c0a1807c656)

README.md

@@ -209,6 +209,138 @@ for responses in bot.run(messages=messages):
 print(responses)
 ```
 
+## Processing Ultra-Long Texts
+
+To support **ultra-long context processing** (up to **1 million tokens**), we integrate two key techniques:
+
+- **[Dual Chunk Attention](https://arxiv.org/abs/2402.17463) (DCA)**: A length extrapolation method that splits long sequences into manageable chunks while preserving global coherence.
+- **[MInference](https://arxiv.org/abs/2407.02490)**: A sparse attention mechanism that reduces computational overhead by focusing on critical token interactions.
+
+Together, these innovations significantly improve both **generation quality** and **inference efficiency** for sequences beyond 256K tokens. On sequences approaching 1M tokens, the system achieves up to a **3× speedup** compared to standard attention implementations.
+
+For full technical details, see the [Qwen2.5-1M Technical Report](https://arxiv.org/abs/2501.15383).
+
+### How to Enable 1M Token Context
+
+> [!NOTE]
+> To effectively process a 1 million token context, users will require approximately **240 GB** of total GPU memory. This accounts for model weights, KV-cache storage, and peak activation memory demands.
+
+#### Step 1: Update Configuration File
+
+Download the model and replace the content of your `config.json` with `config_1m.json`, which includes the config for length extrapolation and sparse attention.
+
+```bash
+export MODELNAME=Qwen3-30B-A3B-Thinking-2507
+huggingface-cli download Qwen/${MODELNAME} --local-dir ${MODELNAME}
+mv ${MODELNAME}/config.json ${MODELNAME}/config.json.bak
+mv ${MODELNAME}/config_1m.json ${MODELNAME}/config.json
+```
+
+#### Step 2: Launch Model Server
+
+After updating the config, proceed with either **vLLM** or **SGLang** for serving the model.
+
+#### Option 1: Using vLLM
+
+To run Qwen with 1M context support:
+
+```bash
+git clone https://github.com/vllm-project/vllm.git
+cd vllm
+pip install -e .
+```
+
+Then launch the server with Dual Chunk Flash Attention enabled:
+
+```bash
+VLLM_ATTENTION_BACKEND=DUAL_CHUNK_FLASH_ATTN VLLM_USE_V1=0 \
+vllm serve ./Qwen3-30B-A3B-Thinking-2507 \
+  --tensor-parallel-size 4 \
+  --max-model-len 1010000 \
+  --enable-chunked-prefill \
+  --max-num-batched-tokens 131072 \
+  --enforce-eager \
+  --max-num-seqs 1 \
+  --gpu-memory-utilization 0.85 \
+  --enable-reasoning --reasoning-parser deepseek_r1
+```
+
+##### Key Parameters
+
+| Parameter | Purpose |
+|--------|--------|
+| `VLLM_ATTENTION_BACKEND=DUAL_CHUNK_FLASH_ATTN` | Enables the custom attention kernel for long-context efficiency |
+| `--max-model-len 1010000` | Sets maximum context length to ~1M tokens |
+| `--enable-chunked-prefill` | Allows chunked prefill for very long inputs (avoids OOM) |
+| `--max-num-batched-tokens 131072` | Controls batch size during prefill; balances throughput and memory |
+| `--enforce-eager` | Disables CUDA graph capture (required for dual chunk attention) |
+| `--max-num-seqs 1` | Limits concurrent sequences due to extreme memory usage |
+| `--gpu-memory-utilization 0.85` | Set the fraction of GPU memory to be used for the model executor |
+
+#### Option 2: Using SGLang
+
+First, clone and install the specialized branch:
+
+```bash
+git clone https://github.com/sgl-project/sglang.git
+cd sglang
+pip install -e "python[all]"
+```
+
+Launch the server with DCA support:
+
+```bash
+python3 -m sglang.launch_server \
+    --model-path ./Qwen3-30B-A3B-Thinking-2507 \
+    --context-length 1010000 \
+    --mem-frac 0.75 \
+    --attention-backend dual_chunk_flash_attn \
+    --tp 4 \
+    --chunked-prefill-size 131072 \
+    --reasoning-parser deepseek-r1
+```
+
+##### Key Parameters
+
+| Parameter | Purpose |
+|---------|--------|
+| `--attention-backend dual_chunk_flash_attn` | Activates Dual Chunk Flash Attention |
+| `--context-length 1010000` | Defines max input length |
+| `--mem-frac 0.75` | The fraction of the memory used for static allocation (model weights and KV cache memory pool). Use a smaller value if you see out-of-memory errors. |
+| `--tp 4` | Tensor parallelism size (matches model sharding) |
+| `--chunked-prefill-size 131072` | Prefill chunk size for handling long inputs without OOM |
+
+#### Troubleshooting:
+
+1. Encountering the error: "The model's max sequence length (xxxxx) is larger than the maximum number of tokens that can be stored in the KV cache." or "RuntimeError: Not enough memory. Please try to increase --mem-fraction-static."
+
+    The VRAM reserved for the KV cache is insufficient.
+    - vLLM: Consider reducing the ``max_model_len`` or increasing the ``tensor_parallel_size`` and ``gpu_memory_utilization``. Alternatively, you can reduce ``max_num_batched_tokens``, although this may significantly slow down inference.
+    - SGLang: Consider reducing the ``context-length`` or increasing the ``tp`` and ``mem-frac``. Alternatively, you can reduce ``chunked-prefill-size``, although this may significantly slow down inference.
+
+2. Encountering the error: "torch.OutOfMemoryError: CUDA out of memory."
+
+    The VRAM reserved for activation weights is insufficient. You can try lowering ``gpu_memory_utilization`` or ``mem-frac``, but be aware that this might reduce the VRAM available for the KV cache.
+
+3. Encountering the error: "Input prompt (xxxxx tokens) + lookahead slots (0) is too long and exceeds the capacity of the block manager." or "The input (xxx xtokens) is longer than the model's context length (xxx tokens)."
+
+    The input is too lengthy. Consider using a shorter sequence or increasing the ``max_model_len`` or ``context-length``.
+
+#### Long-Context Performance
+
+We test the model on an 1M version of the [RULER](https://arxiv.org/abs/2404.06654) benchmark.
+
+| Model Name                                  | Acc avg | 4k   | 8k   | 16k  | 32k  | 64k  | 96k  | 128k | 192k | 256k | 384k | 512k | 640k | 768k | 896k | 1000k |
+|---------------------------------------------|---------|------|------|------|------|------|------|------|------|------|------|------|------|------|------|-------|
+| Qwen3-30B-A3B (Thinking)                    | 70.6    | 96.7 | 94.4 | 94.5 | 93.4 | 82.6 | 78.4 | 74.5 | 70.6 | 63.1 | 60.0 | 56.3 | 51.0 | 48.4 | 47.2 | 48.2  |
+| Qwen3-30B-A3B-Thinking-2507 (Full Attention)   | 91.4    | 99.6 | 100.0| 99.8 | 99.2 | 97.4 | 96.8 | 96.8 | 94.8 | 89.4 | 90.2 | 84.0 | 82.6 | 81.9 | 80.1 | 77.5  |
+| Qwen3-30B-A3B-Thinking-2507 (Sparse Attention) | 91.5 | 100.0| 99.2 | 99.1 | 98.5 | 97.3 | 97.1 | 96.9 | 95.8 | 89.0 | 89.3 | 85.5 | 84.8 | 80.0 | 79.9 | 79.6  |
+
+
+* All models are evaluated with Dual Chunk Attention enabled.
+* Since the evaluation is time-consuming, we use 260 samples for each length (13 sub-tasks, 20 samples for each).
+* To avoid overly verbose reasoning, we set the thinking budget to 8,192 tokens.
+
 ## Best Practices
 
 To achieve optimal performance, we recommend the following settings:

config_1m.json

@@ -0,0 +1,45 @@
+{
+  "architectures": [
+    "Qwen3MoeForCausalLM"
+  ],
+  "attention_bias": false,
+  "attention_dropout": 0.0,
+  "bos_token_id": 151643,
+  "decoder_sparse_step": 1,
+  "eos_token_id": 151645,
+  "head_dim": 128,
+  "hidden_act": "silu",
+  "hidden_size": 2048,
+  "initializer_range": 0.02,
+  "intermediate_size": 6144,
+  "max_position_embeddings": 262144,
+  "max_window_layers": 48,
+  "mlp_only_layers": [],
+  "model_type": "qwen3_moe",
+  "moe_intermediate_size": 768,
+  "norm_topk_prob": true,
+  "num_attention_heads": 32,
+  "num_experts": 128,
+  "num_experts_per_tok": 8,
+  "num_hidden_layers": 48,
+  "num_key_value_heads": 4,
+  "output_router_logits": false,
+  "rms_norm_eps": 1e-06,
+  "rope_scaling": null,
+  "rope_theta": 10000000,
+  "router_aux_loss_coef": 0.001,
+  "sliding_window": null,
+  "tie_word_embeddings": false,
+  "torch_dtype": "bfloat16",
+  "transformers_version": "4.51.0",
+  "use_cache": true,
+  "use_sliding_window": false,
+  "vocab_size": 151936,
+  "dual_chunk_attention_config":{
+    "chunk_size": 131072,
+    "local_size": 4096,
+    "original_max_position_embeddings": 131072,
+    "sparse_attention_enabled": true,
+    "sparse_attention_config": [{"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 19456, 21504, 0], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 19456, 21504, 48], "4": ["vertical_and_slash", 17408, 23552, 966], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 2], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 33], "12": ["vertical_and_slash", 17408, 23552, 2], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 6], "17": ["vertical_and_slash", 17408, 23552, 0], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 152], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 8], "22": ["vertical_and_slash", 17408, 23552, 0], "23": ["vertical_and_slash", 17408, 23552, 3014], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 17408, 23552, 0], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 30], "31": ["vertical_and_slash", 17408, 23552, 0]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 0], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 330], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 0], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 17408, 23552, 0], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 797], "25": ["vertical_and_slash", 17408, 23552, 0], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 1]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 0], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 1], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 87], "17": ["vertical_and_slash", 17408, 23552, 554], "18": ["vertical_and_slash", 17408, 23552, 817], "19": ["vertical_and_slash", 17408, 23552, 317], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 140], "22": ["vertical_and_slash", 17408, 23552, 2798], "23": ["vertical_and_slash", 17408, 23552, 1], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 17408, 23552, 0], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 0]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 0], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 2], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 74033], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 17408, 23552, 1], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 17408, 23552, 0], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 21504, 19456, 8], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 0]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 23552, 17408, 22404], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 0], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 22528, 18432, 1], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 20], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 1714], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 3], "20": ["vertical_and_slash", 17408, 23552, 19], "21": ["vertical_and_slash", 17408, 23552, 2], "22": ["vertical_and_slash", 17408, 23552, 1], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 7499], "25": ["vertical_and_slash", 17408, 23552, 32157], "26": ["vertical_and_slash", 23552, 17408, 1781], "27": ["vertical_and_slash", 22528, 18432, 3102], "28": ["vertical_and_slash", 18432, 22528, 2634], "29": ["vertical_and_slash", 22528, 18432, 351], "30": ["vertical_and_slash", 21504, 19456, 5006], "31": ["vertical_and_slash", 17408, 23552, 4782]}, {"0": ["vertical_and_slash", 17408, 23552, 310], "1": ["vertical_and_slash", 17408, 23552, 12796], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 17], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 19932], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 32829], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 39], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 0], "18": ["vertical_and_slash", 17408, 23552, 41], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 17408, 23552, 3], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 20480, 20480, 65], "26": ["vertical_and_slash", 17408, 23552, 13], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 0]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 23552, 17408, 789], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 21504, 19456, 2], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 23552, 17408, 1259798], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 6], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 14], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 17408, 23552, 42], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 17408, 23552, 0], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 10], "25": ["vertical_and_slash", 17408, 23552, 126486], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 17408, 23552, 4], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 34523], "30": ["vertical_and_slash", 17408, 23552, 1], "31": ["vertical_and_slash", 17408, 23552, 0]}, {"0": ["vertical_and_slash", 17408, 23552, 196540], "1": ["vertical_and_slash", 22528, 18432, 114], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 4], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 36], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 631], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 17408, 23552, 0], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 17408, 23552, 0], "26": ["vertical_and_slash", 17408, 23552, 47], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 30], "31": ["vertical_and_slash", 17408, 23552, 0]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 20480, 20480, 179], "3": ["vertical_and_slash", 17408, 23552, 3], "4": ["vertical_and_slash", 23552, 17408, 1], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 22528, 18432, 1524], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 22528, 18432, 7], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 23552, 17408, 1207861], "13": ["vertical_and_slash", 17408, 23552, 1], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 3504], "17": ["vertical_and_slash", 17408, 23552, 847], "18": ["vertical_and_slash", 19456, 21504, 1624], "19": ["vertical_and_slash", 20480, 20480, 552], "20": ["vertical_and_slash", 21504, 19456, 2713], "21": ["vertical_and_slash", 17408, 23552, 319], "22": ["vertical_and_slash", 21504, 19456, 101], "23": ["vertical_and_slash", 22528, 18432, 4799], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 17408, 23552, 0], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 0]}, {"0": ["vertical_and_slash", 19456, 21504, 104], "1": ["vertical_and_slash", 17408, 23552, 1705], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 0], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 1], "7": ["vertical_and_slash", 17408, 23552, 2], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 19456, 21504, 45], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 36], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 135], "17": ["vertical_and_slash", 17408, 23552, 1], "18": ["vertical_and_slash", 17408, 23552, 3905], "19": ["vertical_and_slash", 17408, 23552, 24429], "20": ["vertical_and_slash", 17408, 23552, 1927], "21": ["vertical_and_slash", 17408, 23552, 16], "22": ["vertical_and_slash", 17408, 23552, 1], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 17408, 23552, 257], "26": ["vertical_and_slash", 17408, 23552, 101782], "27": ["vertical_and_slash", 17408, 23552, 2], "28": ["vertical_and_slash", 17408, 23552, 2], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 109], "31": ["vertical_and_slash", 17408, 23552, 1949]}, {"0": ["vertical_and_slash", 17408, 23552, 50], "1": ["vertical_and_slash", 17408, 23552, 68], "2": ["vertical_and_slash", 17408, 23552, 36419], "3": ["vertical_and_slash", 17408, 23552, 1791], "4": ["vertical_and_slash", 17408, 23552, 256], "5": ["vertical_and_slash", 17408, 23552, 50117], "6": ["vertical_and_slash", 17408, 23552, 83029], "7": ["vertical_and_slash", 17408, 23552, 1], "8": ["vertical_and_slash", 17408, 23552, 1970], "9": ["vertical_and_slash", 17408, 23552, 5014], "10": ["vertical_and_slash", 17408, 23552, 326], "11": ["vertical_and_slash", 20480, 20480, 0], "12": ["vertical_and_slash", 17408, 23552, 7371], "13": ["vertical_and_slash", 17408, 23552, 28977], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 217], "16": ["vertical_and_slash", 17408, 23552, 2], "17": ["vertical_and_slash", 17408, 23552, 0], "18": ["vertical_and_slash", 17408, 23552, 197], "19": ["vertical_and_slash", 17408, 23552, 1], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 13], "22": ["vertical_and_slash", 17408, 23552, 171753], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 1], "25": ["vertical_and_slash", 17408, 23552, 3], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 17408, 23552, 110], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 9], "30": ["vertical_and_slash", 22528, 18432, 3], "31": ["vertical_and_slash", 17408, 23552, 17]}, {"0": ["vertical_and_slash", 17408, 23552, 2], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 1], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 4], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 1], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 1], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 22528, 18432, 22], "17": ["vertical_and_slash", 17408, 23552, 3], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 19456, 21504, 40], "20": ["vertical_and_slash", 22528, 18432, 243618], "21": ["vertical_and_slash", 17408, 23552, 27301], "22": ["vertical_and_slash", 17408, 23552, 0], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 969], "25": ["vertical_and_slash", 17408, 23552, 67372], "26": ["vertical_and_slash", 17408, 23552, 64335], "27": ["vertical_and_slash", 17408, 23552, 0], "28": ["vertical_and_slash", 17408, 23552, 1367], "29": ["vertical_and_slash", 17408, 23552, 45], "30": ["vertical_and_slash", 17408, 23552, 1255870], "31": ["vertical_and_slash", 17408, 23552, 1254]}, {"0": ["vertical_and_slash", 17408, 23552, 19009], "1": ["vertical_and_slash", 17408, 23552, 4], "2": ["vertical_and_slash", 17408, 23552, 2], "3": ["vertical_and_slash", 21504, 19456, 4505], "4": ["vertical_and_slash", 17408, 23552, 39], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 36517], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 19], "9": ["vertical_and_slash", 17408, 23552, 57], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 9], "13": ["vertical_and_slash", 17408, 23552, 2], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 0], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 17408, 23552, 0], "23": ["vertical_and_slash", 17408, 23552, 7], "24": ["vertical_and_slash", 17408, 23552, 132907], "25": ["vertical_and_slash", 23552, 17408, 161127], "26": ["vertical_and_slash", 17408, 23552, 311847], "27": ["vertical_and_slash", 17408, 23552, 457555], "28": ["vertical_and_slash", 17408, 23552, 87], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 2385315], "31": ["vertical_and_slash", 17408, 23552, 12481]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 17408, 23552, 104], "3": ["vertical_and_slash", 17408, 23552, 0], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 1], "6": ["vertical_and_slash", 19456, 21504, 392], "7": ["vertical_and_slash", 17408, 23552, 310], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 4], "10": ["vertical_and_slash", 17408, 23552, 1795], "11": ["vertical_and_slash", 17408, 23552, 102], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 91], "14": ["vertical_and_slash", 18432, 22528, 279], "15": ["vertical_and_slash", 17408, 23552, 3270], "16": ["vertical_and_slash", 17408, 23552, 1], "17": ["vertical_and_slash", 17408, 23552, 9142], "18": ["vertical_and_slash", 17408, 23552, 1211], "19": ["vertical_and_slash", 17408, 23552, 20], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 204], "22": ["vertical_and_slash", 17408, 23552, 2], "23": ["vertical_and_slash", 17408, 23552, 62], "24": ["vertical_and_slash", 21504, 19456, 40], "25": ["vertical_and_slash", 23552, 17408, 8822], "26": ["vertical_and_slash", 17408, 23552, 1452], "27": ["vertical_and_slash", 19456, 21504, 162], "28": ["vertical_and_slash", 17408, 23552, 0], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 1]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 18432, 22528, 33490], "2": ["vertical_and_slash", 20480, 20480, 471546], "3": ["vertical_and_slash", 17408, 23552, 0], "4": ["vertical_and_slash", 17408, 23552, 331], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 23552, 17408, 296387], "7": ["vertical_and_slash", 19456, 21504, 3], "8": ["vertical_and_slash", 19456, 21504, 217544], "9": ["vertical_and_slash", 23552, 17408, 1601269], "10": ["vertical_and_slash", 17408, 23552, 35], "11": ["vertical_and_slash", 17408, 23552, 51192], "12": ["vertical_and_slash", 19456, 21504, 142], "13": ["vertical_and_slash", 22528, 18432, 959], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 6], "16": ["vertical_and_slash", 17408, 23552, 0], "17": ["vertical_and_slash", 17408, 23552, 7018], "18": ["vertical_and_slash", 17408, 23552, 1353], "19": ["vertical_and_slash", 17408, 23552, 799], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 18432, 22528, 1128], "22": ["vertical_and_slash", 17408, 23552, 0], "23": ["vertical_and_slash", 17408, 23552, 3224], "24": ["vertical_and_slash", 17408, 23552, 174403], "25": ["vertical_and_slash", 17408, 23552, 46], "26": ["vertical_and_slash", 17408, 23552, 1341266], "27": ["vertical_and_slash", 19456, 21504, 1158569], "28": ["vertical_and_slash", 17408, 23552, 39], "29": ["vertical_and_slash", 17408, 23552, 10020], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 879]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 18432, 22528, 330], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 17408, 23552, 4216], "4": ["vertical_and_slash", 17408, 23552, 30501], "5": ["vertical_and_slash", 17408, 23552, 82], "6": ["vertical_and_slash", 17408, 23552, 8068], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 1898], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 13], "12": ["vertical_and_slash", 17408, 23552, 3482], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 23552, 17408, 2417342], "15": ["vertical_and_slash", 17408, 23552, 31], "16": ["vertical_and_slash", 17408, 23552, 1], "17": ["vertical_and_slash", 17408, 23552, 872], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 3648], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 20795], "22": ["vertical_and_slash", 17408, 23552, 17220], "23": ["vertical_and_slash", 22528, 18432, 146710], "24": ["vertical_and_slash", 17408, 23552, 154], "25": ["vertical_and_slash", 17408, 23552, 481], "26": ["vertical_and_slash", 17408, 23552, 511652], "27": ["vertical_and_slash", 17408, 23552, 24], "28": ["vertical_and_slash", 17408, 23552, 21015], "29": ["vertical_and_slash", 17408, 23552, 442], "30": ["vertical_and_slash", 18432, 22528, 39], "31": ["vertical_and_slash", 19456, 21504, 16510]}, {"0": ["vertical_and_slash", 23552, 17408, 19758], "1": ["vertical_and_slash", 22528, 18432, 717], "2": ["vertical_and_slash", 23552, 17408, 9094], "3": ["vertical_and_slash", 22528, 18432, 7664], "4": ["vertical_and_slash", 18432, 22528, 9020], "5": ["vertical_and_slash", 22528, 18432, 5940], "6": ["vertical_and_slash", 20480, 20480, 12025], "7": ["vertical_and_slash", 17408, 23552, 10420], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 18432, 22528, 43451], "11": ["vertical_and_slash", 18432, 22528, 2479134], "12": ["vertical_and_slash", 23552, 17408, 51509], "13": ["vertical_and_slash", 17408, 23552, 142032], "14": ["vertical_and_slash", 18432, 22528, 299], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 23552, 17408, 3444], "17": ["vertical_and_slash", 19456, 21504, 371], "18": ["vertical_and_slash", 18432, 22528, 3635], "19": ["vertical_and_slash", 17408, 23552, 84], "20": ["vertical_and_slash", 17408, 23552, 4483], "21": ["vertical_and_slash", 19456, 21504, 1861], "22": ["vertical_and_slash", 21504, 19456, 10292], "23": ["vertical_and_slash", 17408, 23552, 1046], "24": ["vertical_and_slash", 17408, 23552, 10850], "25": ["vertical_and_slash", 20480, 20480, 880], "26": ["vertical_and_slash", 17408, 23552, 1297816], "27": ["vertical_and_slash", 17408, 23552, 1570], "28": ["vertical_and_slash", 17408, 23552, 1302], "29": ["vertical_and_slash", 17408, 23552, 196133], "30": ["vertical_and_slash", 17408, 23552, 1951], "31": ["vertical_and_slash", 22528, 18432, 2914]}, {"0": ["vertical_and_slash", 17408, 23552, 0], "1": ["vertical_and_slash", 17408, 23552, 6], "2": ["vertical_and_slash", 17408, 23552, 41], "3": ["vertical_and_slash", 17408, 23552, 473443], "4": ["vertical_and_slash", 17408, 23552, 0], "5": ["vertical_and_slash", 17408, 23552, 0], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 0], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 23552, 17408, 171228], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 23552, 17408, 4515], "13": ["vertical_and_slash", 17408, 23552, 0], "14": ["vertical_and_slash", 17408, 23552, 0], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 40], "17": ["vertical_and_slash", 17408, 23552, 1343198], "18": ["vertical_and_slash", 17408, 23552, 84], "19": ["vertical_and_slash", 17408, 23552, 123491], "20": ["vertical_and_slash", 17408, 23552, 2166148], "21": ["vertical_and_slash", 17408, 23552, 241], "22": ["vertical_and_slash", 17408, 23552, 45], "23": ["vertical_and_slash", 17408, 23552, 4247430], "24": ["vertical_and_slash", 19456, 21504, 256], "25": ["vertical_and_slash", 20480, 20480, 245], "26": ["vertical_and_slash", 21504, 19456, 8902], "27": ["vertical_and_slash", 19456, 21504, 14], "28": ["vertical_and_slash", 17408, 23552, 119], "29": ["vertical_and_slash", 17408, 23552, 10950], "30": ["vertical_and_slash", 18432, 22528, 1383], "31": ["vertical_and_slash", 17408, 23552, 250]}, {"0": ["vertical_and_slash", 17408, 23552, 1], "1": ["vertical_and_slash", 17408, 23552, 0], "2": ["vertical_and_slash", 17408, 23552, 4], "3": ["vertical_and_slash", 23552, 17408, 40565], "4": ["vertical_and_slash", 17408, 23552, 1309], "5": ["vertical_and_slash", 17408, 23552, 48010], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 21504, 19456, 37711], "8": ["vertical_and_slash", 17408, 23552, 477238], "9": ["vertical_and_slash", 23552, 17408, 9019], "10": ["vertical_and_slash", 17408, 23552, 365], "11": ["vertical_and_slash", 17408, 23552, 67615], "12": ["vertical_and_slash", 23552, 17408, 34521], "13": ["vertical_and_slash", 23552, 17408, 41053], "14": ["vertical_and_slash", 21504, 19456, 8], "15": ["vertical_and_slash", 17408, 23552, 1], "16": ["vertical_and_slash", 22528, 18432, 26], "17": ["vertical_and_slash", 17408, 23552, 782], "18": ["vertical_and_slash", 17408, 23552, 0], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 19456, 21504, 14599], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 22528, 18432, 3410], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 80665], "25": ["vertical_and_slash", 17408, 23552, 317616], "26": ["vertical_and_slash", 19456, 21504, 43819], "27": ["vertical_and_slash", 23552, 17408, 209], "28": ["vertical_and_slash", 18432, 22528, 701], "29": ["vertical_and_slash", 17408, 23552, 34], "30": ["vertical_and_slash", 17408, 23552, 2233], "31": ["vertical_and_slash", 20480, 20480, 3144]}, {"0": ["vertical_and_slash", 17408, 23552, 159525], "1": ["vertical_and_slash", 17408, 23552, 26], "2": ["vertical_and_slash", 18432, 22528, 20], "3": ["vertical_and_slash", 17408, 23552, 9783], "4": ["vertical_and_slash", 17408, 23552, 18], "5": ["vertical_and_slash", 17408, 23552, 154], "6": ["vertical_and_slash", 17408, 23552, 0], "7": ["vertical_and_slash", 17408, 23552, 78], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 0], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 0], "13": ["vertical_and_slash", 17408, 23552, 354782], "14": ["vertical_and_slash", 17408, 23552, 47], "15": ["vertical_and_slash", 17408, 23552, 666900], "16": ["vertical_and_slash", 17408, 23552, 3], "17": ["vertical_and_slash", 18432, 22528, 241], "18": ["vertical_and_slash", 17408, 23552, 4], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 17408, 23552, 0], "21": ["vertical_and_slash", 17408, 23552, 0], "22": ["vertical_and_slash", 17408, 23552, 1231], "23": ["vertical_and_slash", 17408, 23552, 0], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 19456, 21504, 1], "26": ["vertical_and_slash", 17408, 23552, 0], "27": ["vertical_and_slash", 18432, 22528, 0], "28": ["vertical_and_slash", 17408, 23552, 16], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 0], "31": ["vertical_and_slash", 17408, 23552, 27]}, {"0": ["vertical_and_slash", 17408, 23552, 3784], "1": ["vertical_and_slash", 21504, 19456, 2410], "2": ["vertical_and_slash", 22528, 18432, 2322], "3": ["vertical_and_slash", 18432, 22528, 5488], "4": ["vertical_and_slash", 21504, 19456, 303], "5": ["vertical_and_slash", 17408, 23552, 1157], "6": ["vertical_and_slash", 17408, 23552, 2418], "7": ["vertical_and_slash", 17408, 23552, 1450], "8": ["vertical_and_slash", 17408, 23552, 2], "9": ["vertical_and_slash", 17408, 23552, 14348], "10": ["vertical_and_slash", 17408, 23552, 510], "11": ["vertical_and_slash", 17408, 23552, 47], "12": ["vertical_and_slash", 17408, 23552, 3744788], "13": ["vertical_and_slash", 17408, 23552, 14114], "14": ["vertical_and_slash", 17408, 23552, 37], "15": ["vertical_and_slash", 17408, 23552, 597], "16": ["vertical_and_slash", 19456, 21504, 10650], "17": ["vertical_and_slash", 17408, 23552, 18609], "18": ["vertical_and_slash", 17408, 23552, 8412], "19": ["vertical_and_slash", 17408, 23552, 20630], "20": ["vertical_and_slash", 17408, 23552, 19238], "21": ["vertical_and_slash", 17408, 23552, 18565], "22": ["vertical_and_slash", 17408, 23552, 27597], "23": ["vertical_and_slash", 17408, 23552, 11451], "24": ["vertical_and_slash", 17408, 23552, 35], "25": ["vertical_and_slash", 17408, 23552, 58774], "26": ["vertical_and_slash", 22528, 18432, 907], "27": ["vertical_and_slash", 17408, 23552, 67440], "28": ["vertical_and_slash", 17408, 23552, 24899], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 18432, 22528, 6], "31": ["vertical_and_slash", 17408, 23552, 2842]}, {"0": ["vertical_and_slash", 17408, 23552, 1611], "1": ["vertical_and_slash", 17408, 23552, 10053], "2": ["vertical_and_slash", 17408, 23552, 0], "3": ["vertical_and_slash", 23552, 17408, 5669], "4": ["vertical_and_slash", 17408, 23552, 410780], "5": ["vertical_and_slash", 19456, 21504, 33158], "6": ["vertical_and_slash", 17408, 23552, 1], "7": ["vertical_and_slash", 17408, 23552, 15930], "8": ["vertical_and_slash", 17408, 23552, 0], "9": ["vertical_and_slash", 17408, 23552, 0], "10": ["vertical_and_slash", 17408, 23552, 1387], "11": ["vertical_and_slash", 17408, 23552, 0], "12": ["vertical_and_slash", 17408, 23552, 1], "13": ["vertical_and_slash", 17408, 23552, 1], "14": ["vertical_and_slash", 17408, 23552, 15], "15": ["vertical_and_slash", 17408, 23552, 0], "16": ["vertical_and_slash", 17408, 23552, 1514], "17": ["vertical_and_slash", 17408, 23552, 382408], "18": ["vertical_and_slash", 17408, 23552, 93320], "19": ["vertical_and_slash", 17408, 23552, 106949], "20": ["vertical_and_slash", 17408, 23552, 2115148], "21": ["vertical_and_slash", 17408, 23552, 6683], "22": ["vertical_and_slash", 17408, 23552, 69], "23": ["vertical_and_slash", 17408, 23552, 13776], "24": ["vertical_and_slash", 17408, 23552, 251], "25": ["vertical_and_slash", 17408, 23552, 0], "26": ["vertical_and_slash", 17408, 23552, 151934], "27": ["vertical_and_slash", 20480, 20480, 25], "28": ["vertical_and_slash", 17408, 23552, 231], "29": ["vertical_and_slash", 17408, 23552, 42411], "30": ["vertical_and_slash", 17408, 23552, 52], "31": ["vertical_and_slash", 17408, 23552, 747271]}, {"0": ["vertical_and_slash", 17408, 23552, 155248], "1": ["vertical_and_slash", 17408, 23552, 16462], "2": ["vertical_and_slash", 17408, 23552, 2676007], "3": ["vertical_and_slash", 17408, 23552, 18223], "4": ["vertical_and_slash", 17408, 23552, 39717], "5": ["vertical_and_slash", 17408, 23552, 87315], "6": ["vertical_and_slash", 17408, 23552, 1001555], "7": ["vertical_and_slash", 17408, 23552, 243944], "8": ["vertical_and_slash", 17408, 23552, 162711], "9": ["vertical_and_slash", 17408, 23552, 66505], "10": ["vertical_and_slash", 17408, 23552, 337279], "11": ["vertical_and_slash", 17408, 23552, 90795], "12": ["vertical_and_slash", 17408, 23552, 497463], "13": ["vertical_and_slash", 17408, 23552, 1550615], "14": ["vertical_and_slash", 22528, 18432, 737], "15": ["vertical_and_slash", 17408, 23552, 269571], "16": ["vertical_and_slash", 17408, 23552, 7256], "17": ["vertical_and_slash", 17408, 23552, 30487], "18": ["vertical_and_slash", 17408, 23552, 8133], "19": ["vertical_and_slash", 17408, 23552, 8273], "20": ["vertical_and_slash", 17408, 23552, 1442], "21": ["vertical_and_slash", 17408, 23552, 39333], "22": ["vertical_and_slash", 17408, 23552, 127337], "23": ["vertical_and_slash", 17408, 23552, 21711], "24": ["vertical_and_slash", 17408, 23552, 116], "25": ["vertical_and_slash", 17408, 23552, 238], "26": ["vertical_and_slash", 17408, 23552, 3], "27": ["vertical_and_slash", 17408, 23552, 1225], "28": ["vertical_and_slash", 17408, 23552, 131], "29": ["vertical_and_slash", 17408, 23552, 335225], "30": ["vertical_and_slash", 17408, 23552, 453], "31": ["vertical_and_slash", 17408, 23552, 1]}, {"0": ["vertical_and_slash", 17408, 23552, 1859], "1": ["vertical_and_slash", 17408, 23552, 4309], "2": ["vertical_and_slash", 17408, 23552, 5292], "3": ["vertical_and_slash", 17408, 23552, 115], "4": ["vertical_and_slash", 21504, 19456, 3377], "5": ["vertical_and_slash", 17408, 23552, 223], "6": ["vertical_and_slash", 18432, 22528, 851], "7": ["vertical_and_slash", 17408, 23552, 1520], "8": ["vertical_and_slash", 17408, 23552, 4402], "9": ["vertical_and_slash", 17408, 23552, 337], "10": ["vertical_and_slash", 17408, 23552, 2286], "11": ["vertical_and_slash", 17408, 23552, 885], "12": ["vertical_and_slash", 18432, 22528, 6238], "13": ["vertical_and_slash", 17408, 23552, 8082], "14": ["vertical_and_slash", 17408, 23552, 12581], "15": ["vertical_and_slash", 18432, 22528, 104], "16": ["vertical_and_slash", 17408, 23552, 1526], "17": ["vertical_and_slash", 17408, 23552, 24665], "18": ["vertical_and_slash", 17408, 23552, 15], "19": ["vertical_and_slash", 17408, 23552, 748], "20": ["vertical_and_slash", 17408, 23552, 27362], "21": ["vertical_and_slash", 17408, 23552, 182331], "22": ["vertical_and_slash", 17408, 23552, 14001], "23": ["vertical_and_slash", 17408, 23552, 5633090], "24": ["vertical_and_slash", 17408, 23552, 4448], "25": ["vertical_and_slash", 17408, 23552, 32830], "26": ["vertical_and_slash", 17408, 23552, 98286], "27": ["vertical_and_slash", 17408, 23552, 1020], "28": ["vertical_and_slash", 17408, 23552, 57407], "29": ["vertical_and_slash", 19456, 21504, 4124], "30": ["vertical_and_slash", 17408, 23552, 56574], "31": ["vertical_and_slash", 17408, 23552, 213118]}, {"0": ["vertical_and_slash", 17408, 23552, 353880], "1": ["vertical_and_slash", 17408, 23552, 74734], "2": ["vertical_and_slash", 18432, 22528, 33], "3": ["vertical_and_slash", 17408, 23552, 119441], "4": ["vertical_and_slash", 17408, 23552, 72354], "5": ["vertical_and_slash", 19456, 21504, 21503], "6": ["vertical_and_slash", 17408, 23552, 7818160], "7": ["vertical_and_slash", 17408, 23552, 42805], "8": ["vertical_and_slash", 17408, 23552, 3136110], "9": ["vertical_and_slash", 18432, 22528, 55813], "10": ["vertical_and_slash", 17408, 23552, 4198], "11": ["vertical_and_slash", 20480, 20480, 623], "12": ["vertical_and_slash", 18432, 22528, 321283], "13": ["vertical_and_slash", 17408, 23552, 133435], "14": ["vertical_and_slash", 19456, 21504, 11083], "15": ["vertical_and_slash", 17408, 23552, 8090], "16": ["vertical_and_slash", 17408, 23552, 12], "17": ["vertical_and_slash", 17408, 23552, 1030], "18": ["vertical_and_slash", 17408, 23552, 634], "19": ["vertical_and_slash", 17408, 23552, 0], "20": ["vertical_and_slash", 18432, 22528, 119], "21": ["vertical_and_slash", 17408, 23552, 3], "22": ["vertical_and_slash", 17408, 23552, 11], "23": ["vertical_and_slash", 17408, 23552, 999], "24": ["vertical_and_slash", 17408, 23552, 849482], "25": ["vertical_and_slash", 17408, 23552, 1165420], "26": ["vertical_and_slash", 17408, 23552, 1686334], "27": ["vertical_and_slash", 17408, 23552, 3693224], "28": ["vertical_and_slash", 17408, 23552, 2780560], "29": ["vertical_and_slash", 17408, 23552, 903119], "30": ["vertical_and_slash", 17408, 23552, 8934691], "31": ["vertical_and_slash", 17408, 23552, 328006]}, {"0": ["vertical_and_slash", 17408, 23552, 2899], "1": ["vertical_and_slash", 17408, 23552, 6104], "2": ["vertical_and_slash", 17408, 23552, 3005], "3": ["vertical_and_slash", 17408, 23552, 16097], "4": ["vertical_and_slash", 17408, 23552, 326], "5": ["vertical_and_slash", 17408, 23552, 9520], "6": ["vertical_and_slash", 17408, 23552, 317], "7": ["vertical_and_slash", 17408, 23552, 16141], "8": ["vertical_and_slash", 17408, 23552, 24], "9": ["vertical_and_slash", 17408, 23552, 3490], "10": ["vertical_and_slash", 17408, 23552, 103], "11": ["vertical_and_slash", 17408, 23552, 4], "12": ["vertical_and_slash", 17408, 23552, 169], "13": ["vertical_and_slash", 17408, 23552, 31], "14": ["vertical_and_slash", 17408, 23552, 1346], "15": ["vertical_and_slash", 17408, 23552, 141], "16": ["vertical_and_slash", 17408, 23552, 4616035], "17": ["vertical_and_slash", 17408, 23552, 481768], "18": ["vertical_and_slash", 17408, 23552, 60970], "19": ["vertical_and_slash", 17408, 23552, 3785974], "20": ["vertical_and_slash", 17408, 23552, 11854], "21": ["vertical_and_slash", 17408, 23552, 1366600], "22": ["vertical_and_slash", 17408, 23552, 878221], "23": ["vertical_and_slash", 17408, 23552, 170761], "24": ["vertical_and_slash", 21504, 19456, 2131], "25": ["vertical_and_slash", 17408, 23552, 3273], "26": ["vertical_and_slash", 17408, 23552, 5996], "27": ["vertical_and_slash", 17408, 23552, 28097], "28": ["vertical_and_slash", 18432, 22528, 8], "29": ["vertical_and_slash", 20480, 20480, 9731], "30": ["vertical_and_slash", 17408, 23552, 15957], "31": ["vertical_and_slash", 17408, 23552, 79389]}, {"0": ["vertical_and_slash", 21504, 19456, 13086], "1": ["vertical_and_slash", 17408, 23552, 3123719], "2": ["vertical_and_slash", 17408, 23552, 1583891], "3": ["vertical_and_slash", 17408, 23552, 45829], "4": ["vertical_and_slash", 17408, 23552, 286140], "5": ["vertical_and_slash", 17408, 23552, 4103978], "6": ["vertical_and_slash", 17408, 23552, 773343], "7": ["vertical_and_slash", 17408, 23552, 1834720], "8": ["vertical_and_slash", 17408, 23552, 846112], "9": ["vertical_and_slash", 20480, 20480, 4137015], "10": ["vertical_and_slash", 17408, 23552, 44198], "11": ["vertical_and_slash", 17408, 23552, 450754], "12": ["vertical_and_slash", 17408, 23552, 501849], "13": ["vertical_and_slash", 21504, 19456, 23889], "14": ["vertical_and_slash", 17408, 23552, 180], "15": ["vertical_and_slash", 17408, 23552, 11], "16": ["vertical_and_slash", 17408, 23552, 4138], "17": ["vertical_and_slash", 17408, 23552, 446995], "18": ["vertical_and_slash", 17408, 23552, 2317898], "19": ["vertical_and_slash", 17408, 23552, 1443055], "20": ["vertical_and_slash", 17408, 23552, 323], "21": ["vertical_and_slash", 17408, 23552, 202092], "22": ["vertical_and_slash", 17408, 23552, 55332], "23": ["vertical_and_slash", 17408, 23552, 398255], "24": ["vertical_and_slash", 17408, 23552, 432646], "25": ["vertical_and_slash", 17408, 23552, 12392], "26": ["vertical_and_slash", 17408, 23552, 1774183], "27": ["vertical_and_slash", 17408, 23552, 737134], "28": ["vertical_and_slash", 17408, 23552, 328075], "29": ["vertical_and_slash", 17408, 23552, 1152555], "30": ["vertical_and_slash", 17408, 23552, 3411], "31": ["vertical_and_slash", 17408, 23552, 74648]}, {"0": ["vertical_and_slash", 17408, 23552, 901955], "1": ["vertical_and_slash", 17408, 23552, 106934], "2": ["vertical_and_slash", 17408, 23552, 3160], "3": ["vertical_and_slash", 17408, 23552, 2925902], "4": ["vertical_and_slash", 17408, 23552, 4716819], "5": ["vertical_and_slash", 17408, 23552, 2944994], "6": ["vertical_and_slash", 17408, 23552, 3529449], "7": ["vertical_and_slash", 17408, 23552, 2844361], "8": ["vertical_and_slash", 17408, 23552, 1597717], "9": ["vertical_and_slash", 17408, 23552, 389], "10": ["vertical_and_slash", 17408, 23552, 615234], "11": ["vertical_and_slash", 17408, 23552, 4036160], "12": ["vertical_and_slash", 17408, 23552, 241578], "13": ["vertical_and_slash", 17408, 23552, 186043], "14": ["vertical_and_slash", 18432, 22528, 10536896], "15": ["vertical_and_slash", 17408, 23552, 181833], "16": ["vertical_and_slash", 17408, 23552, 3005], "17": ["vertical_and_slash", 17408, 23552, 205862], "18": ["vertical_and_slash", 17408, 23552, 313], "19": ["vertical_and_slash", 21504, 19456, 357225], "20": ["vertical_and_slash", 17408, 23552, 5825], "21": ["vertical_and_slash", 17408, 23552, 5146], "22": ["vertical_and_slash", 17408, 23552, 5107], "23": ["vertical_and_slash", 17408, 23552, 240077], "24": ["vertical_and_slash", 17408, 23552, 88725], "25": ["vertical_and_slash", 17408, 23552, 32070], "26": ["vertical_and_slash", 18432, 22528, 6591587], "27": ["vertical_and_slash", 17408, 23552, 102155], "28": ["vertical_and_slash", 17408, 23552, 670303], "29": ["vertical_and_slash", 17408, 23552, 82536], "30": ["vertical_and_slash", 17408, 23552, 104542], "31": ["vertical_and_slash", 17408, 23552, 1872880]}, {"0": ["vertical_and_slash", 19456, 21504, 54318], "1": ["vertical_and_slash", 22528, 18432, 171441], "2": ["vertical_and_slash", 22528, 18432, 150669], "3": ["vertical_and_slash", 22528, 18432, 168362], "4": ["vertical_and_slash", 17408, 23552, 66063], "5": ["vertical_and_slash", 21504, 19456, 77908], "6": ["vertical_and_slash", 22528, 18432, 46360], "7": ["vertical_and_slash", 19456, 21504, 73162], "8": ["vertical_and_slash", 17408, 23552, 2059060], "9": ["vertical_and_slash", 20480, 20480, 2], "10": ["vertical_and_slash", 17408, 23552, 6903343], "11": ["vertical_and_slash", 20480, 20480, 957553], "12": ["vertical_and_slash", 20480, 20480, 67032], "13": ["vertical_and_slash", 18432, 22528, 3873568], "14": ["vertical_and_slash", 23552, 17408, 764387], "15": ["vertical_and_slash", 17408, 23552, 16], "16": ["vertical_and_slash", 21504, 19456, 20557], "17": ["vertical_and_slash", 22528, 18432, 622399], "18": ["vertical_and_slash", 22528, 18432, 24243], "19": ["vertical_and_slash", 19456, 21504, 1839], "20": ["vertical_and_slash", 20480, 20480, 35611], "21": ["vertical_and_slash", 21504, 19456, 14222], "22": ["vertical_and_slash", 20480, 20480, 72939], "23": ["vertical_and_slash", 21504, 19456, 23815], "24": ["vertical_and_slash", 17408, 23552, 86969], "25": ["vertical_and_slash", 17408, 23552, 258196], "26": ["vertical_and_slash", 17408, 23552, 1471324], "27": ["vertical_and_slash", 17408, 23552, 83540], "28": ["vertical_and_slash", 17408, 23552, 70411], "29": ["vertical_and_slash", 17408, 23552, 133124], "30": ["vertical_and_slash", 17408, 23552, 7555], "31": ["vertical_and_slash", 17408, 23552, 60243]}, {"0": ["vertical_and_slash", 17408, 23552, 28736], "1": ["vertical_and_slash", 17408, 23552, 12593], "2": ["vertical_and_slash", 17408, 23552, 119390], "3": ["vertical_and_slash", 17408, 23552, 3663365], "4": ["vertical_and_slash", 17408, 23552, 1082756], "5": ["vertical_and_slash", 17408, 23552, 403826], "6": ["vertical_and_slash", 17408, 23552, 112], "7": ["vertical_and_slash", 17408, 23552, 511], "8": ["vertical_and_slash", 20480, 20480, 4], "9": ["vertical_and_slash", 17408, 23552, 3947022], "10": ["vertical_and_slash", 19456, 21504, 47460], "11": ["vertical_and_slash", 19456, 21504, 64211], "12": ["vertical_and_slash", 22528, 18432, 31032], "13": ["vertical_and_slash", 20480, 20480, 1656], "14": ["vertical_and_slash", 19456, 21504, 67], "15": ["vertical_and_slash", 17408, 23552, 174059], "16": ["vertical_and_slash", 17408, 23552, 314459], "17": ["vertical_and_slash", 17408, 23552, 2436992], "18": ["vertical_and_slash", 17408, 23552, 239040], "19": ["vertical_and_slash", 17408, 23552, 5156158], "20": ["vertical_and_slash", 17408, 23552, 8031361], "21": ["vertical_and_slash", 17408, 23552, 563866], "22": ["vertical_and_slash", 17408, 23552, 4747560], "23": ["vertical_and_slash", 17408, 23552, 355828], "24": ["vertical_and_slash", 20480, 20480, 14229], "25": ["vertical_and_slash", 20480, 20480, 15765], "26": ["vertical_and_slash", 19456, 21504, 38901], "27": ["vertical_and_slash", 17408, 23552, 29912], "28": ["vertical_and_slash", 20480, 20480, 6178], "29": ["vertical_and_slash", 17408, 23552, 697], "30": ["vertical_and_slash", 21504, 19456, 21541], "31": ["vertical_and_slash", 17408, 23552, 4804]}, {"0": ["vertical_and_slash", 17408, 23552, 1191187], "1": ["vertical_and_slash", 22528, 18432, 5336], "2": ["vertical_and_slash", 17408, 23552, 59225], "3": ["vertical_and_slash", 18432, 22528, 70414], "4": ["vertical_and_slash", 17408, 23552, 1658386], "5": ["vertical_and_slash", 17408, 23552, 562996], "6": ["vertical_and_slash", 17408, 23552, 17590], "7": ["vertical_and_slash", 17408, 23552, 231722], "8": ["vertical_and_slash", 18432, 22528, 1858517], "9": ["vertical_and_slash", 19456, 21504, 5814], "10": ["vertical_and_slash", 17408, 23552, 7851], "11": ["vertical_and_slash", 17408, 23552, 36391], "12": ["vertical_and_slash", 17408, 23552, 89860], "13": ["vertical_and_slash", 17408, 23552, 108656], "14": ["vertical_and_slash", 20480, 20480, 2], "15": ["vertical_and_slash", 17408, 23552, 1215941], "16": ["vertical_and_slash", 19456, 21504, 310141], "17": ["vertical_and_slash", 17408, 23552, 1979583], "18": ["vertical_and_slash", 17408, 23552, 434020], "19": ["vertical_and_slash", 17408, 23552, 322536], "20": ["vertical_and_slash", 17408, 23552, 615188], "21": ["vertical_and_slash", 17408, 23552, 530678], "22": ["vertical_and_slash", 21504, 19456, 165687], "23": ["vertical_and_slash", 17408, 23552, 342417], "24": ["vertical_and_slash", 17408, 23552, 1262900], "25": ["vertical_and_slash", 17408, 23552, 586061], "26": ["vertical_and_slash", 17408, 23552, 38865], "27": ["vertical_and_slash", 17408, 23552, 10833], "28": ["vertical_and_slash", 18432, 22528, 22567], "29": ["vertical_and_slash", 17408, 23552, 11153318], "30": ["vertical_and_slash", 17408, 23552, 337143], "31": ["vertical_and_slash", 17408, 23552, 18017]}, {"0": ["vertical_and_slash", 19456, 21504, 1277203], "1": ["vertical_and_slash", 20480, 20480, 67356], "2": ["vertical_and_slash", 20480, 20480, 3830], "3": ["vertical_and_slash", 17408, 23552, 52472], "4": ["vertical_and_slash", 18432, 22528, 649], "5": ["vertical_and_slash", 17408, 23552, 7], "6": ["vertical_and_slash", 17408, 23552, 19336], "7": ["vertical_and_slash", 17408, 23552, 1336], "8": ["vertical_and_slash", 17408, 23552, 59023], "9": ["vertical_and_slash", 19456, 21504, 2343], "10": ["vertical_and_slash", 19456, 21504, 25], "11": ["vertical_and_slash", 19456, 21504, 2259], "12": ["vertical_and_slash", 17408, 23552, 2866], "13": ["vertical_and_slash", 17408, 23552, 442895], "14": ["vertical_and_slash", 17408, 23552, 7155], "15": ["vertical_and_slash", 17408, 23552, 260496], "16": ["vertical_and_slash", 17408, 23552, 13844], "17": ["vertical_and_slash", 17408, 23552, 433223], "18": ["vertical_and_slash", 17408, 23552, 807334], "19": ["vertical_and_slash", 17408, 23552, 705840], "20": ["vertical_and_slash", 18432, 22528, 346], "21": ["vertical_and_slash", 17408, 23552, 108259], "22": ["vertical_and_slash", 17408, 23552, 427603], "23": ["vertical_and_slash", 17408, 23552, 127472], "24": ["vertical_and_slash", 17408, 23552, 0], "25": ["vertical_and_slash", 19456, 21504, 373], "26": ["vertical_and_slash", 17408, 23552, 16], "27": ["vertical_and_slash", 17408, 23552, 2213458], "28": ["vertical_and_slash", 17408, 23552, 69], "29": ["vertical_and_slash", 17408, 23552, 0], "30": ["vertical_and_slash", 17408, 23552, 114069], "31": ["vertical_and_slash", 17408, 23552, 55307]}, {"0": ["vertical_and_slash", 17408, 23552, 6287], "1": ["vertical_and_slash", 17408, 23552, 16730], "2": ["vertical_and_slash", 17408, 23552, 6750], "3": ["vertical_and_slash", 17408, 23552, 57879], "4": ["vertical_and_slash", 19456, 21504, 11456], "5": ["vertical_and_slash", 18432, 22528, 3728], "6": ["vertical_and_slash", 17408, 23552, 65178], "7": ["vertical_and_slash", 17408, 23552, 10334], "8": ["vertical_and_slash", 17408, 23552, 203459], "9": ["vertical_and_slash", 17408, 23552, 2679773], "10": ["vertical_and_slash", 17408, 23552, 350474], "11": ["vertical_and_slash", 17408, 23552, 28586], "12": ["vertical_and_slash", 17408, 23552, 7366438], "13": ["vertical_and_slash", 17408, 23552, 2903611], "14": ["vertical_and_slash", 17408, 23552, 154236], "15": ["vertical_and_slash", 17408, 23552, 18470], "16": ["vertical_and_slash", 17408, 23552, 25224], "17": ["vertical_and_slash", 21504, 19456, 29588], "18": ["vertical_and_slash", 22528, 18432, 20846], "19": ["vertical_and_slash", 21504, 19456, 37652], "20": ["vertical_and_slash", 21504, 19456, 43650], "21": ["vertical_and_slash", 17408, 23552, 50375], "22": ["vertical_and_slash", 17408, 23552, 39762], "23": ["vertical_and_slash", 22528, 18432, 25129], "24": ["vertical_and_slash", 17408, 23552, 1107455], "25": ["vertical_and_slash", 21504, 19456, 25987], "26": ["vertical_and_slash", 22528, 18432, 10721], "27": ["vertical_and_slash", 19456, 21504, 162653], "28": ["vertical_and_slash", 17408, 23552, 204514], "29": ["vertical_and_slash", 18432, 22528, 2644], "30": ["vertical_and_slash", 23552, 17408, 51], "31": ["vertical_and_slash", 17408, 23552, 10834]}, {"0": ["vertical_and_slash", 17408, 23552, 324598], "1": ["vertical_and_slash", 17408, 23552, 140670], "2": ["vertical_and_slash", 17408, 23552, 1272], "3": ["vertical_and_slash", 22528, 18432, 10700], "4": ["vertical_and_slash", 17408, 23552, 223037], "5": ["vertical_and_slash", 17408, 23552, 9016], "6": ["vertical_and_slash", 18432, 22528, 3801], "7": ["vertical_and_slash", 17408, 23552, 1759], "8": ["vertical_and_slash", 17408, 23552, 30], "9": ["vertical_and_slash", 17408, 23552, 296], "10": ["vertical_and_slash", 17408, 23552, 200208], "11": ["vertical_and_slash", 17408, 23552, 86], "12": ["vertical_and_slash", 17408, 23552, 173], "13": ["vertical_and_slash", 17408, 23552, 70], "14": ["vertical_and_slash", 17408, 23552, 11384], "15": ["vertical_and_slash", 17408, 23552, 73], "16": ["vertical_and_slash", 17408, 23552, 326418], "17": ["vertical_and_slash", 17408, 23552, 4993897], "18": ["vertical_and_slash", 17408, 23552, 286203], "19": ["vertical_and_slash", 17408, 23552, 6446882], "20": ["vertical_and_slash", 17408, 23552, 1955307], "21": ["vertical_and_slash", 17408, 23552, 5405268], "22": ["vertical_and_slash", 17408, 23552, 4311], "23": ["vertical_and_slash", 17408, 23552, 213893], "24": ["vertical_and_slash", 17408, 23552, 36732], "25": ["vertical_and_slash", 17408, 23552, 1027096], "26": ["vertical_and_slash", 17408, 23552, 1148559], "27": ["vertical_and_slash", 17408, 23552, 1520], "28": ["vertical_and_slash", 17408, 23552, 104456], "29": ["vertical_and_slash", 17408, 23552, 1318692], "30": ["vertical_and_slash", 17408, 23552, 2443298], "31": ["vertical_and_slash", 17408, 23552, 4714352]}, {"0": ["vertical_and_slash", 17408, 23552, 9581946], "1": ["vertical_and_slash", 17408, 23552, 837995], "2": ["vertical_and_slash", 17408, 23552, 5160135], "3": ["vertical_and_slash", 17408, 23552, 4201808], "4": ["vertical_and_slash", 17408, 23552, 1304732], "5": ["vertical_and_slash", 20480, 20480, 275792], "6": ["vertical_and_slash", 17408, 23552, 2729999], "7": ["vertical_and_slash", 17408, 23552, 11158676], "8": ["vertical_and_slash", 17408, 23552, 2951423], "9": ["vertical_and_slash", 17408, 23552, 1415432], "10": ["vertical_and_slash", 18432, 22528, 1394991], "11": ["vertical_and_slash", 17408, 23552, 699348], "12": ["vertical_and_slash", 17408, 23552, 515357], "13": ["vertical_and_slash", 17408, 23552, 3139461], "14": ["vertical_and_slash", 19456, 21504, 60377], "15": ["vertical_and_slash", 17408, 23552, 1400994], "16": ["vertical_and_slash", 17408, 23552, 235638], "17": ["vertical_and_slash", 18432, 22528, 423720], "18": ["vertical_and_slash", 19456, 21504, 988707], "19": ["vertical_and_slash", 18432, 22528, 79060], "20": ["vertical_and_slash", 19456, 21504, 11715], "21": ["vertical_and_slash", 17408, 23552, 489870], "22": ["vertical_and_slash", 17408, 23552, 5700589], "23": ["vertical_and_slash", 18432, 22528, 314283], "24": ["vertical_and_slash", 18432, 22528, 1315], "25": ["vertical_and_slash", 20480, 20480, 348113], "26": ["vertical_and_slash", 20480, 20480, 807], "27": ["vertical_and_slash", 22528, 18432, 20175], "28": ["vertical_and_slash", 21504, 19456, 3031], "29": ["vertical_and_slash", 17408, 23552, 480052], "30": ["vertical_and_slash", 19456, 21504, 696759], "31": ["vertical_and_slash", 19456, 21504, 13176]}, {"0": ["vertical_and_slash", 17408, 23552, 11349], "1": ["vertical_and_slash", 17408, 23552, 8827], "2": ["vertical_and_slash", 19456, 21504, 12642], "3": ["vertical_and_slash", 17408, 23552, 8668], "4": ["vertical_and_slash", 17408, 23552, 4444], "5": ["vertical_and_slash", 20480, 20480, 22806], "6": ["vertical_and_slash", 20480, 20480, 20718], "7": ["vertical_and_slash", 17408, 23552, 9613], "8": ["vertical_and_slash", 18432, 22528, 161391], "9": ["vertical_and_slash", 19456, 21504, 34431], "10": ["vertical_and_slash", 17408, 23552, 269367], "11": ["vertical_and_slash", 18432, 22528, 75062], "12": ["vertical_and_slash", 19456, 21504, 964], "13": ["vertical_and_slash", 17408, 23552, 74213], "14": ["vertical_and_slash", 17408, 23552, 25692], "15": ["vertical_and_slash", 18432, 22528, 33997], "16": ["vertical_and_slash", 17408, 23552, 104104], "17": ["vertical_and_slash", 17408, 23552, 2158978], "18": ["vertical_and_slash", 20480, 20480, 807998], "19": ["vertical_and_slash", 18432, 22528, 13308], "20": ["vertical_and_slash", 21504, 19456, 2646281], "21": ["vertical_and_slash", 17408, 23552, 4582010], "22": ["vertical_and_slash", 17408, 23552, 3751903], "23": ["vertical_and_slash", 17408, 23552, 6413566], "24": ["vertical_and_slash", 22528, 18432, 214683], "25": ["vertical_and_slash", 21504, 19456, 138676], "26": ["vertical_and_slash", 18432, 22528, 4514135], "27": ["vertical_and_slash", 22528, 18432, 133816], "28": ["vertical_and_slash", 18432, 22528, 109538], "29": ["vertical_and_slash", 21504, 19456, 614418], "30": ["vertical_and_slash", 17408, 23552, 2147135], "31": ["vertical_and_slash", 18432, 22528, 1680425]}, {"0": ["vertical_and_slash", 17408, 23552, 535547], "1": ["vertical_and_slash", 17408, 23552, 46094], "2": ["vertical_and_slash", 21504, 19456, 75733], "3": ["vertical_and_slash", 17408, 23552, 314535], "4": ["vertical_and_slash", 17408, 23552, 378738], "5": ["vertical_and_slash", 17408, 23552, 622759], "6": ["vertical_and_slash", 17408, 23552, 4442159], "7": ["vertical_and_slash", 17408, 23552, 1134629], "8": ["vertical_and_slash", 17408, 23552, 10071761], "9": ["vertical_and_slash", 18432, 22528, 146261], "10": ["vertical_and_slash", 19456, 21504, 65256], "11": ["vertical_and_slash", 17408, 23552, 124911], "12": ["vertical_and_slash", 17408, 23552, 5481923], "13": ["vertical_and_slash", 17408, 23552, 4837167], "14": ["vertical_and_slash", 21504, 19456, 411764], "15": ["vertical_and_slash", 20480, 20480, 281161], "16": ["vertical_and_slash", 17408, 23552, 1699], "17": ["vertical_and_slash", 17408, 23552, 768457], "18": ["vertical_and_slash", 17408, 23552, 36496], "19": ["vertical_and_slash", 18432, 22528, 7232], "20": ["vertical_and_slash", 20480, 20480, 8163], "21": ["vertical_and_slash", 18432, 22528, 13176], "22": ["vertical_and_slash", 18432, 22528, 6354], "23": ["vertical_and_slash", 18432, 22528, 364], "24": ["vertical_and_slash", 17408, 23552, 7011028], "25": ["vertical_and_slash", 17408, 23552, 5610387], "26": ["vertical_and_slash", 17408, 23552, 5572947], "27": ["vertical_and_slash", 17408, 23552, 7754511], "28": ["vertical_and_slash", 17408, 23552, 7733419], "29": ["vertical_and_slash", 17408, 23552, 8783542], "30": ["vertical_and_slash", 17408, 23552, 9685227], "31": ["vertical_and_slash", 17408, 23552, 9487756]}, {"0": ["vertical_and_slash", 18432, 22528, 324589], "1": ["vertical_and_slash", 17408, 23552, 32781], "2": ["vertical_and_slash", 17408, 23552, 1406645], "3": ["vertical_and_slash", 17408, 23552, 3226624], "4": ["vertical_and_slash", 17408, 23552, 73952], "5": ["vertical_and_slash", 17408, 23552, 25030], "6": ["vertical_and_slash", 17408, 23552, 252850], "7": ["vertical_and_slash", 17408, 23552, 180837], "8": ["vertical_and_slash", 18432, 22528, 6959], "9": ["vertical_and_slash", 17408, 23552, 1981], "10": ["vertical_and_slash", 18432, 22528, 2824], "11": ["vertical_and_slash", 18432, 22528, 877], "12": ["vertical_and_slash", 17408, 23552, 22053], "13": ["vertical_and_slash", 18432, 22528, 1013], "14": ["vertical_and_slash", 17408, 23552, 2552], "15": ["vertical_and_slash", 17408, 23552, 5940], "16": ["vertical_and_slash", 17408, 23552, 11612182], "17": ["vertical_and_slash", 17408, 23552, 6500287], "18": ["vertical_and_slash", 17408, 23552, 1784224], "19": ["vertical_and_slash", 17408, 23552, 1279453], "20": ["vertical_and_slash", 17408, 23552, 56727], "21": ["vertical_and_slash", 17408, 23552, 3902270], "22": ["vertical_and_slash", 17408, 23552, 4200119], "23": ["vertical_and_slash", 17408, 23552, 2787418], "24": ["vertical_and_slash", 22528, 18432, 280439], "25": ["vertical_and_slash", 17408, 23552, 3667717], "26": ["vertical_and_slash", 17408, 23552, 22474], "27": ["vertical_and_slash", 17408, 23552, 1218879], "28": ["vertical_and_slash", 19456, 21504, 60137], "29": ["vertical_and_slash", 18432, 22528, 5878], "30": ["vertical_and_slash", 17408, 23552, 90773], "31": ["vertical_and_slash", 17408, 23552, 1709807]}, {"0": ["vertical_and_slash", 23552, 17408, 57457], "1": ["vertical_and_slash", 17408, 23552, 5685171], "2": ["vertical_and_slash", 17408, 23552, 3982756], "3": ["vertical_and_slash", 17408, 23552, 54811], "4": ["vertical_and_slash", 17408, 23552, 2605487], "5": ["vertical_and_slash", 17408, 23552, 7537933], "6": ["vertical_and_slash", 19456, 21504, 2674571], "7": ["vertical_and_slash", 19456, 21504, 191153], "8": ["vertical_and_slash", 17408, 23552, 5689789], "9": ["vertical_and_slash", 22528, 18432, 7227212], "10": ["vertical_and_slash", 17408, 23552, 31397], "11": ["vertical_and_slash", 17408, 23552, 412677], "12": ["vertical_and_slash", 17408, 23552, 399], "13": ["vertical_and_slash", 20480, 20480, 1206125], "14": ["vertical_and_slash", 17408, 23552, 253769], "15": ["vertical_and_slash", 17408, 23552, 51], "16": ["vertical_and_slash", 22528, 18432, 748132], "17": ["vertical_and_slash", 17408, 23552, 961532], "18": ["vertical_and_slash", 17408, 23552, 4374950], "19": ["vertical_and_slash", 17408, 23552, 55657], "20": ["vertical_and_slash", 18432, 22528, 1206], "21": ["vertical_and_slash", 21504, 19456, 244478], "22": ["vertical_and_slash", 21504, 19456, 129435], "23": ["vertical_and_slash", 21504, 19456, 235773], "24": ["vertical_and_slash", 17408, 23552, 933673], "25": ["vertical_and_slash", 17408, 23552, 1785171], "26": ["vertical_and_slash", 17408, 23552, 4870070], "27": ["vertical_and_slash", 17408, 23552, 6251587], "28": ["vertical_and_slash", 17408, 23552, 1559031], "29": ["vertical_and_slash", 17408, 23552, 6970052], "30": ["vertical_and_slash", 17408, 23552, 1335461], "31": ["vertical_and_slash", 17408, 23552, 684682]}, {"0": ["vertical_and_slash", 17408, 23552, 910098], "1": ["vertical_and_slash", 17408, 23552, 5972057], "2": ["vertical_and_slash", 17408, 23552, 479612], "3": ["vertical_and_slash", 17408, 23552, 1645162], "4": ["vertical_and_slash", 17408, 23552, 4649459], "5": ["vertical_and_slash", 17408, 23552, 3193257], "6": ["vertical_and_slash", 17408, 23552, 4314103], "7": ["vertical_and_slash", 17408, 23552, 2501417], "8": ["vertical_and_slash", 18432, 22528, 298358], "9": ["vertical_and_slash", 21504, 19456, 1272748], "10": ["vertical_and_slash", 17408, 23552, 503683], "11": ["vertical_and_slash", 17408, 23552, 7731136], "12": ["vertical_and_slash", 17408, 23552, 1015751], "13": ["vertical_and_slash", 17408, 23552, 386872], "14": ["vertical_and_slash", 17408, 23552, 10668408], "15": ["vertical_and_slash", 17408, 23552, 774100], "16": ["vertical_and_slash", 17408, 23552, 9632], "17": ["vertical_and_slash", 17408, 23552, 759515], "18": ["vertical_and_slash", 17408, 23552, 4344], "19": ["vertical_and_slash", 21504, 19456, 201871], "20": ["vertical_and_slash", 17408, 23552, 2641118], "21": ["vertical_and_slash", 17408, 23552, 18469], "22": ["vertical_and_slash", 17408, 23552, 270935], "23": ["vertical_and_slash", 17408, 23552, 833142], "24": ["vertical_and_slash", 17408, 23552, 1129355], "25": ["vertical_and_slash", 17408, 23552, 1469197], "26": ["vertical_and_slash", 17408, 23552, 5118157], "27": ["vertical_and_slash", 17408, 23552, 962025], "28": ["vertical_and_slash", 17408, 23552, 5333492], "29": ["vertical_and_slash", 17408, 23552, 1268373], "30": ["vertical_and_slash", 17408, 23552, 1694065], "31": ["vertical_and_slash", 17408, 23552, 7768518]}, {"0": ["vertical_and_slash", 19456, 21504, 479054], "1": ["vertical_and_slash", 21504, 19456, 818307], "2": ["vertical_and_slash", 23552, 17408, 1076114], "3": ["vertical_and_slash", 23552, 17408, 1031481], "4": ["vertical_and_slash", 17408, 23552, 226077], "5": ["vertical_and_slash", 22528, 18432, 1273988], "6": ["vertical_and_slash", 23552, 17408, 1062742], "7": ["vertical_and_slash", 22528, 18432, 883341], "8": ["vertical_and_slash", 17408, 23552, 1321944], "9": ["vertical_and_slash", 22528, 18432, 164991], "10": ["vertical_and_slash", 17408, 23552, 4985971], "11": ["vertical_and_slash", 18432, 22528, 6659838], "12": ["vertical_and_slash", 17408, 23552, 63605], "13": ["vertical_and_slash", 22528, 18432, 157118], "14": ["vertical_and_slash", 17408, 23552, 1227986], "15": ["vertical_and_slash", 17408, 23552, 115112], "16": ["vertical_and_slash", 22528, 18432, 34143], "17": ["vertical_and_slash", 19456, 21504, 14616], "18": ["vertical_and_slash", 21504, 19456, 119311], "19": ["vertical_and_slash", 22528, 18432, 374282], "20": ["vertical_and_slash", 21504, 19456, 509143], "21": ["vertical_and_slash", 21504, 19456, 225621], "22": ["vertical_and_slash", 21504, 19456, 433563], "23": ["vertical_and_slash", 21504, 19456, 41001], "24": ["vertical_and_slash", 17408, 23552, 920487], "25": ["vertical_and_slash", 17408, 23552, 1874702], "26": ["vertical_and_slash", 17408, 23552, 179044], "27": ["vertical_and_slash", 17408, 23552, 9757895], "28": ["vertical_and_slash", 17408, 23552, 6074093], "29": ["vertical_and_slash", 17408, 23552, 2743340], "30": ["vertical_and_slash", 17408, 23552, 138422], "31": ["vertical_and_slash", 17408, 23552, 182139]}, {"0": ["vertical_and_slash", 17408, 23552, 6865], "1": ["vertical_and_slash", 22528, 18432, 191251], "2": ["vertical_and_slash", 23552, 17408, 4826], "3": ["vertical_and_slash", 17408, 23552, 313450], "4": ["vertical_and_slash", 19456, 21504, 260844], "5": ["vertical_and_slash", 17408, 23552, 755282], "6": ["vertical_and_slash", 19456, 21504, 68927], "7": ["vertical_and_slash", 19456, 21504, 136701], "8": ["vertical_and_slash", 21504, 19456, 7779], "9": ["vertical_and_slash", 17408, 23552, 24612], "10": ["vertical_and_slash", 18432, 22528, 173217], "11": ["vertical_and_slash", 19456, 21504, 1552], "12": ["vertical_and_slash", 22528, 18432, 2374327], "13": ["vertical_and_slash", 21504, 19456, 166984], "14": ["vertical_and_slash", 21504, 19456, 1759070], "15": ["vertical_and_slash", 17408, 23552, 966631], "16": ["vertical_and_slash", 23552, 17408, 175944], "17": ["vertical_and_slash", 17408, 23552, 7256463], "18": ["vertical_and_slash", 17408, 23552, 77402], "19": ["vertical_and_slash", 17408, 23552, 12887915], "20": ["vertical_and_slash", 17408, 23552, 5415323], "21": ["vertical_and_slash", 17408, 23552, 2527373], "22": ["vertical_and_slash", 17408, 23552, 4912635], "23": ["vertical_and_slash", 17408, 23552, 3536325], "24": ["vertical_and_slash", 17408, 23552, 1594487], "25": ["vertical_and_slash", 17408, 23552, 167447], "26": ["vertical_and_slash", 21504, 19456, 230469], "27": ["vertical_and_slash", 21504, 19456, 326783], "28": ["vertical_and_slash", 20480, 20480, 258562], "29": ["vertical_and_slash", 21504, 19456, 163201], "30": ["vertical_and_slash", 21504, 19456, 116390], "31": ["vertical_and_slash", 20480, 20480, 120356]}, {"0": ["vertical_and_slash", 17408, 23552, 58749], "1": ["vertical_and_slash", 21504, 19456, 28617], "2": ["vertical_and_slash", 23552, 17408, 149533], "3": ["vertical_and_slash", 17408, 23552, 14932], "4": ["vertical_and_slash", 22528, 18432, 747451], "5": ["vertical_and_slash", 17408, 23552, 8858], "6": ["vertical_and_slash", 21504, 19456, 50564], "7": ["vertical_and_slash", 17408, 23552, 190089], "8": ["vertical_and_slash", 22528, 18432, 3667815], "9": ["vertical_and_slash", 20480, 20480, 2323214], "10": ["vertical_and_slash", 17408, 23552, 68600], "11": ["vertical_and_slash", 17408, 23552, 2908389], "12": ["vertical_and_slash", 17408, 23552, 135609], "13": ["vertical_and_slash", 23552, 17408, 4740540], "14": ["vertical_and_slash", 17408, 23552, 7323189], "15": ["vertical_and_slash", 17408, 23552, 6052077], "16": ["vertical_and_slash", 17408, 23552, 7511], "17": ["vertical_and_slash", 17408, 23552, 2260880], "18": ["vertical_and_slash", 19456, 21504, 358543], "19": ["vertical_and_slash", 17408, 23552, 1207008], "20": ["vertical_and_slash", 17408, 23552, 717408], "21": ["vertical_and_slash", 17408, 23552, 4444244], "22": ["vertical_and_slash", 17408, 23552, 168107], "23": ["vertical_and_slash", 17408, 23552, 523332], "24": ["vertical_and_slash", 22528, 18432, 7695], "25": ["vertical_and_slash", 22528, 18432, 223324], "26": ["vertical_and_slash", 21504, 19456, 266082], "27": ["vertical_and_slash", 23552, 17408, 46808], "28": ["vertical_and_slash", 17408, 23552, 41401], "29": ["vertical_and_slash", 23552, 17408, 47464], "30": ["vertical_and_slash", 17408, 23552, 109258], "31": ["vertical_and_slash", 22528, 18432, 15569]}, {"0": ["vertical_and_slash", 17408, 23552, 5027496], "1": ["vertical_and_slash", 17408, 23552, 1311418], "2": ["vertical_and_slash", 17408, 23552, 368416], "3": ["vertical_and_slash", 17408, 23552, 2864255], "4": ["vertical_and_slash", 18432, 22528, 1105904], "5": ["vertical_and_slash", 20480, 20480, 1158355], "6": ["vertical_and_slash", 17408, 23552, 1594559], "7": ["vertical_and_slash", 17408, 23552, 722534], "8": ["vertical_and_slash", 20480, 20480, 909358], "9": ["vertical_and_slash", 19456, 21504, 758023], "10": ["vertical_and_slash", 17408, 23552, 411812], "11": ["vertical_and_slash", 20480, 20480, 2932441], "12": ["vertical_and_slash", 22528, 18432, 16550], "13": ["vertical_and_slash", 17408, 23552, 1298189], "14": ["vertical_and_slash", 23552, 17408, 657725], "15": ["vertical_and_slash", 17408, 23552, 44], "16": ["vertical_and_slash", 17408, 23552, 351730], "17": ["vertical_and_slash", 17408, 23552, 1894213], "18": ["vertical_and_slash", 17408, 23552, 188839], "19": ["vertical_and_slash", 17408, 23552, 3889], "20": ["vertical_and_slash", 17408, 23552, 2937075], "21": ["vertical_and_slash", 17408, 23552, 315854], "22": ["vertical_and_slash", 17408, 23552, 9017], "23": ["vertical_and_slash", 17408, 23552, 118734], "24": ["vertical_and_slash", 21504, 19456, 376289], "25": ["vertical_and_slash", 22528, 18432, 291701], "26": ["vertical_and_slash", 22528, 18432, 891599], "27": ["vertical_and_slash", 17408, 23552, 48980], "28": ["vertical_and_slash", 17408, 23552, 120079], "29": ["vertical_and_slash", 21504, 19456, 190551], "30": ["vertical_and_slash", 17408, 23552, 1731948], "31": ["vertical_and_slash", 17408, 23552, 841937]}, {"0": ["vertical_and_slash", 20480, 20480, 64179], "1": ["vertical_and_slash", 19456, 21504, 6611839], "2": ["vertical_and_slash", 21504, 19456, 24498], "3": ["vertical_and_slash", 17408, 23552, 5516362], "4": ["vertical_and_slash", 18432, 22528, 1580835], "5": ["vertical_and_slash", 23552, 17408, 914935], "6": ["vertical_and_slash", 20480, 20480, 3036241], "7": ["vertical_and_slash", 22528, 18432, 914625], "8": ["vertical_and_slash", 17408, 23552, 866340], "9": ["vertical_and_slash", 17408, 23552, 1564728], "10": ["vertical_and_slash", 17408, 23552, 1409461], "11": ["vertical_and_slash", 17408, 23552, 1580432], "12": ["vertical_and_slash", 17408, 23552, 563993], "13": ["vertical_and_slash", 17408, 23552, 1105125], "14": ["vertical_and_slash", 17408, 23552, 2923829], "15": ["vertical_and_slash", 17408, 23552, 4702269], "16": ["vertical_and_slash", 17408, 23552, 5473838], "17": ["vertical_and_slash", 22528, 18432, 2448113], "18": ["vertical_and_slash", 21504, 19456, 77121], "19": ["vertical_and_slash", 23552, 17408, 5660661], "20": ["vertical_and_slash", 20480, 20480, 8124807], "21": ["vertical_and_slash", 18432, 22528, 10546], "22": ["vertical_and_slash", 17408, 23552, 203191], "23": ["vertical_and_slash", 20480, 20480, 18126], "24": ["vertical_and_slash", 17408, 23552, 3484006], "25": ["vertical_and_slash", 17408, 23552, 1109045], "26": ["vertical_and_slash", 17408, 23552, 469875], "27": ["vertical_and_slash", 19456, 21504, 611629], "28": ["vertical_and_slash", 17408, 23552, 6251718], "29": ["vertical_and_slash", 20480, 20480, 1366408], "30": ["vertical_and_slash", 21504, 19456, 58503], "31": ["vertical_and_slash", 17408, 23552, 70519]}, {"0": ["vertical_and_slash", 18432, 22528, 224951], "1": ["vertical_and_slash", 17408, 23552, 164303], "2": ["vertical_and_slash", 18432, 22528, 238045], "3": ["vertical_and_slash", 21504, 19456, 711039], "4": ["vertical_and_slash", 19456, 21504, 434448], "5": ["vertical_and_slash", 18432, 22528, 390465], "6": ["vertical_and_slash", 18432, 22528, 446084], "7": ["vertical_and_slash", 19456, 21504, 414696], "8": ["vertical_and_slash", 17408, 23552, 711789], "9": ["vertical_and_slash", 17408, 23552, 1322031], "10": ["vertical_and_slash", 17408, 23552, 1133686], "11": ["vertical_and_slash", 17408, 23552, 692924], "12": ["vertical_and_slash", 18432, 22528, 627449], "13": ["vertical_and_slash", 18432, 22528, 613032], "14": ["vertical_and_slash", 17408, 23552, 1413202], "15": ["vertical_and_slash", 20480, 20480, 3886079], "16": ["vertical_and_slash", 18432, 22528, 244686], "17": ["vertical_and_slash", 17408, 23552, 292828], "18": ["vertical_and_slash", 20480, 20480, 975829], "19": ["vertical_and_slash", 19456, 21504, 817713], "20": ["vertical_and_slash", 17408, 23552, 866481], "21": ["vertical_and_slash", 19456, 21504, 924305], "22": ["vertical_and_slash", 17408, 23552, 694101], "23": ["vertical_and_slash", 19456, 21504, 1060652], "24": ["vertical_and_slash", 18432, 22528, 1051051], "25": ["vertical_and_slash", 17408, 23552, 3968126], "26": ["vertical_and_slash", 17408, 23552, 3729085], "27": ["vertical_and_slash", 18432, 22528, 851274], "28": ["vertical_and_slash", 17408, 23552, 1276135], "29": ["vertical_and_slash", 17408, 23552, 6051033], "30": ["vertical_and_slash", 19456, 21504, 707931], "31": ["vertical_and_slash", 17408, 23552, 1326332]}, {"0": ["vertical_and_slash", 17408, 23552, 120287], "1": ["vertical_and_slash", 17408, 23552, 282923], "2": ["vertical_and_slash", 17408, 23552, 656580], "3": ["vertical_and_slash", 17408, 23552, 202171], "4": ["vertical_and_slash", 19456, 21504, 1553520], "5": ["vertical_and_slash", 18432, 22528, 339374], "6": ["vertical_and_slash", 20480, 20480, 1971342], "7": ["vertical_and_slash", 17408, 23552, 601857], "8": ["vertical_and_slash", 17408, 23552, 2171408], "9": ["vertical_and_slash", 21504, 19456, 4514481], "10": ["vertical_and_slash", 17408, 23552, 878950], "11": ["vertical_and_slash", 17408, 23552, 1482481], "12": ["vertical_and_slash", 18432, 22528, 841034], "13": ["vertical_and_slash", 17408, 23552, 1422352], "14": ["vertical_and_slash", 17408, 23552, 3342808], "15": ["vertical_and_slash", 17408, 23552, 1346893], "16": ["vertical_and_slash", 17408, 23552, 3979923], "17": ["vertical_and_slash", 17408, 23552, 1384298], "18": ["vertical_and_slash", 17408, 23552, 1146242], "19": ["vertical_and_slash", 17408, 23552, 6108074], "20": ["vertical_and_slash", 22528, 18432, 1519209], "21": ["vertical_and_slash", 17408, 23552, 2058422], "22": ["vertical_and_slash", 17408, 23552, 294992], "23": ["vertical_and_slash", 18432, 22528, 749939], "24": ["vertical_and_slash", 17408, 23552, 580941], "25": ["vertical_and_slash", 17408, 23552, 608378], "26": ["vertical_and_slash", 21504, 19456, 7242398], "27": ["vertical_and_slash", 22528, 18432, 5370148], "28": ["vertical_and_slash", 21504, 19456, 6219897], "29": ["vertical_and_slash", 18432, 22528, 6115173], "30": ["vertical_and_slash", 17408, 23552, 4927930], "31": ["vertical_and_slash", 18432, 22528, 3587249]}, {"0": ["vertical_and_slash", 17408, 23552, 870960], "1": ["vertical_and_slash", 17408, 23552, 83691], "2": ["vertical_and_slash", 18432, 22528, 564244], "3": ["vertical_and_slash", 17408, 23552, 2006745], "4": ["vertical_and_slash", 19456, 21504, 163964], "5": ["vertical_and_slash", 21504, 19456, 2304824], "6": ["vertical_and_slash", 17408, 23552, 143895], "7": ["vertical_and_slash", 20480, 20480, 277703], "8": ["vertical_and_slash", 22528, 18432, 6109067], "9": ["vertical_and_slash", 17408, 23552, 309859], "10": ["vertical_and_slash", 17408, 23552, 367712], "11": ["vertical_and_slash", 17408, 23552, 591144], "12": ["vertical_and_slash", 17408, 23552, 113871], "13": ["vertical_and_slash", 17408, 23552, 313579], "14": ["vertical_and_slash", 20480, 20480, 695077], "15": ["vertical_and_slash", 17408, 23552, 435449], "16": ["vertical_and_slash", 18432, 22528, 12533260], "17": ["vertical_and_slash", 17408, 23552, 241260], "18": ["vertical_and_slash", 23552, 17408, 4315653], "19": ["vertical_and_slash", 17408, 23552, 1068841], "20": ["vertical_and_slash", 17408, 23552, 178939], "21": ["vertical_and_slash", 17408, 23552, 8326265], "22": ["vertical_and_slash", 17408, 23552, 10336559], "23": ["vertical_and_slash", 17408, 23552, 1197710], "24": ["vertical_and_slash", 17408, 23552, 2341148], "25": ["vertical_and_slash", 22528, 18432, 2765025], "26": ["vertical_and_slash", 17408, 23552, 767428], "27": ["vertical_and_slash", 22528, 18432, 3676899], "28": ["vertical_and_slash", 22528, 18432, 2494023], "29": ["vertical_and_slash", 17408, 23552, 1572006], "30": ["vertical_and_slash", 22528, 18432, 3271774], "31": ["vertical_and_slash", 21504, 19456, 1617133]}]
+  }
+}

tokenizer_config.json

@@ -230,7 +230,7 @@
     "clean_up_tokenization_spaces": false,
     "eos_token": "<|im_end|>",
     "errors": "replace",
-    "model_max_length": 262144,
+    "model_max_length": 1010000,
     "pad_token": "<|endoftext|>",
     "split_special_tokens": false,
     "tokenizer_class": "Qwen2Tokenizer",