Instructions to use aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold with libraries, inference providers, notebooks, and local apps. Follow these links to get started.

Libraries

How to use aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold with Transformers:

# Use a pipeline as a high-level helper
from transformers import pipeline

pipe = pipeline("text-generation", model="aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold")
messages = [
    {"role": "user", "content": "Who are you?"},
]
pipe(messages)

# Load model directly
from transformers import AutoTokenizer, AutoModelForCausalLM

tokenizer = AutoTokenizer.from_pretrained("aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold")
model = AutoModelForCausalLM.from_pretrained("aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold", device_map="auto")
messages = [
    {"role": "user", "content": "Who are you?"},
]
inputs = tokenizer.apply_chat_template(
	messages,
	add_generation_prompt=True,
	tokenize=True,
	return_dict=True,
	return_tensors="pt",
).to(model.device)

outputs = model.generate(**inputs, max_new_tokens=40)
print(tokenizer.decode(outputs[0][inputs["input_ids"].shape[-1]:]))

Notebooks
Google Colab
Kaggle
Local Apps Settings

vLLM

How to use aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold with vLLM:

Install from pip and serve model

# Install vLLM from pip:
pip install vllm
# Start the vLLM server:
vllm serve "aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold"
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:8000/v1/chat/completions" \
	-H "Content-Type: application/json" \
	--data '{
		"model": "aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold",
		"messages": [
			{
				"role": "user",
				"content": "What is the capital of France?"
			}
		]
	}'

Use Docker

docker model run hf.co/aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold

SGLang

How to use aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold with SGLang:

Install from pip and serve model

# Install SGLang from pip:
pip install sglang
# Start the SGLang server:
python3 -m sglang.launch_server \
    --model-path "aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold" \
    --host 0.0.0.0 \
    --port 30000
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:30000/v1/chat/completions" \
	-H "Content-Type: application/json" \
	--data '{
		"model": "aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold",
		"messages": [
			{
				"role": "user",
				"content": "What is the capital of France?"
			}
		]
	}'

Use Docker images

docker run --gpus all \
    --shm-size 32g \
    -p 30000:30000 \
    -v ~/.cache/huggingface:/root/.cache/huggingface \
    --env "HF_TOKEN=<secret>" \
    --ipc=host \
    lmsysorg/sglang:latest \
    python3 -m sglang.launch_server \
        --model-path "aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold" \
        --host 0.0.0.0 \
        --port 30000
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:30000/v1/chat/completions" \
	-H "Content-Type: application/json" \
	--data '{
		"model": "aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold",
		"messages": [
			{
				"role": "user",
				"content": "What is the capital of France?"
			}
		]
	}'

Docker Model Runner
How to use aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold with Docker Model Runner:
```
docker model run hf.co/aneeshm44/gpt-oss-92b-dynamic-pruning-98-threshold
```

aneeshm44 commited on Apr 22

Commit

1a339ad

verified ·

1 Parent(s): 0e8d543

Upload expert_mapping.json with huggingface_hub

Browse files

Files changed (1) hide show

expert_mapping.json +3670 -0

expert_mapping.json ADDED Viewed

	@@ -0,0 +1,3670 @@

+{
+  "0": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "5": 5,
+    "6": 6,
+    "8": 7,
+    "9": 8,
+    "10": 9,
+    "11": 10,
+    "13": 11,
+    "14": 12,
+    "15": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "21": 18,
+    "22": 19,
+    "23": 20,
+    "24": 21,
+    "25": 22,
+    "27": 23,
+    "28": 24,
+    "29": 25,
+    "31": 26,
+    "33": 27,
+    "34": 28,
+    "36": 29,
+    "37": 30,
+    "38": 31,
+    "39": 32,
+    "40": 33,
+    "41": 34,
+    "42": 35,
+    "43": 36,
+    "44": 37,
+    "45": 38,
+    "46": 39,
+    "47": 40,
+    "48": 41,
+    "49": 42,
+    "50": 43,
+    "51": 44,
+    "52": 45,
+    "53": 46,
+    "54": 47,
+    "55": 48,
+    "56": 49,
+    "58": 50,
+    "59": 51,
+    "60": 52,
+    "62": 53,
+    "63": 54,
+    "64": 55,
+    "65": 56,
+    "66": 57,
+    "67": 58,
+    "68": 59,
+    "69": 60,
+    "70": 61,
+    "71": 62,
+    "72": 63,
+    "73": 64,
+    "74": 65,
+    "75": 66,
+    "76": 67,
+    "77": 68,
+    "78": 69,
+    "79": 70,
+    "81": 71,
+    "82": 72,
+    "83": 73,
+    "84": 74,
+    "85": 75,
+    "86": 76,
+    "87": 77,
+    "88": 78,
+    "89": 79,
+    "90": 80,
+    "91": 81,
+    "92": 82,
+    "93": 83,
+    "94": 84,
+    "95": 85,
+    "96": 86,
+    "97": 87,
+    "98": 88,
+    "99": 89,
+    "100": 90,
+    "101": 91,
+    "102": 92,
+    "104": 93,
+    "105": 94,
+    "106": 95,
+    "108": 96,
+    "109": 97,
+    "110": 98,
+    "111": 99,
+    "112": 100,
+    "113": 101,
+    "114": 102,
+    "115": 103,
+    "116": 104,
+    "117": 105,
+    "118": 106,
+    "119": 107,
+    "120": 108,
+    "121": 109,
+    "122": 110,
+    "123": 111,
+    "124": 112,
+    "126": 113
+  },
+  "1": {
+    "0": 0,
+    "2": 1,
+    "3": 2,
+    "4": 3,
+    "6": 4,
+    "7": 5,
+    "8": 6,
+    "10": 7,
+    "11": 8,
+    "12": 9,
+    "13": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "21": 18,
+    "22": 19,
+    "23": 20,
+    "24": 21,
+    "25": 22,
+    "27": 23,
+    "28": 24,
+    "29": 25,
+    "30": 26,
+    "31": 27,
+    "32": 28,
+    "33": 29,
+    "34": 30,
+    "35": 31,
+    "36": 32,
+    "37": 33,
+    "38": 34,
+    "39": 35,
+    "41": 36,
+    "42": 37,
+    "43": 38,
+    "44": 39,
+    "45": 40,
+    "46": 41,
+    "48": 42,
+    "50": 43,
+    "51": 44,
+    "52": 45,
+    "53": 46,
+    "54": 47,
+    "55": 48,
+    "56": 49,
+    "57": 50,
+    "58": 51,
+    "59": 52,
+    "60": 53,
+    "61": 54,
+    "62": 55,
+    "63": 56,
+    "64": 57,
+    "65": 58,
+    "66": 59,
+    "67": 60,
+    "68": 61,
+    "70": 62,
+    "71": 63,
+    "72": 64,
+    "73": 65,
+    "74": 66,
+    "75": 67,
+    "76": 68,
+    "77": 69,
+    "78": 70,
+    "79": 71,
+    "80": 72,
+    "81": 73,
+    "83": 74,
+    "85": 75,
+    "86": 76,
+    "87": 77,
+    "88": 78,
+    "89": 79,
+    "91": 80,
+    "92": 81,
+    "94": 82,
+    "95": 83,
+    "96": 84,
+    "97": 85,
+    "98": 86,
+    "99": 87,
+    "100": 88,
+    "101": 89,
+    "102": 90,
+    "103": 91,
+    "104": 92,
+    "105": 93,
+    "106": 94,
+    "107": 95,
+    "108": 96,
+    "109": 97,
+    "112": 98,
+    "114": 99,
+    "115": 100,
+    "116": 101,
+    "117": 102,
+    "118": 103,
+    "119": 104,
+    "120": 105,
+    "122": 106,
+    "123": 107,
+    "124": 108,
+    "125": 109,
+    "127": 110
+  },
+  "2": {
+    "0": 0,
+    "2": 1,
+    "4": 2,
+    "5": 3,
+    "6": 4,
+    "7": 5,
+    "9": 6,
+    "10": 7,
+    "12": 8,
+    "13": 9,
+    "15": 10,
+    "16": 11,
+    "17": 12,
+    "18": 13,
+    "20": 14,
+    "22": 15,
+    "23": 16,
+    "24": 17,
+    "25": 18,
+    "26": 19,
+    "27": 20,
+    "28": 21,
+    "29": 22,
+    "30": 23,
+    "32": 24,
+    "33": 25,
+    "34": 26,
+    "35": 27,
+    "36": 28,
+    "37": 29,
+    "38": 30,
+    "39": 31,
+    "40": 32,
+    "41": 33,
+    "42": 34,
+    "43": 35,
+    "44": 36,
+    "45": 37,
+    "46": 38,
+    "48": 39,
+    "49": 40,
+    "52": 41,
+    "53": 42,
+    "54": 43,
+    "55": 44,
+    "57": 45,
+    "58": 46,
+    "59": 47,
+    "60": 48,
+    "62": 49,
+    "63": 50,
+    "64": 51,
+    "65": 52,
+    "66": 53,
+    "68": 54,
+    "69": 55,
+    "70": 56,
+    "72": 57,
+    "73": 58,
+    "74": 59,
+    "75": 60,
+    "76": 61,
+    "77": 62,
+    "78": 63,
+    "79": 64,
+    "80": 65,
+    "81": 66,
+    "82": 67,
+    "83": 68,
+    "84": 69,
+    "86": 70,
+    "87": 71,
+    "88": 72,
+    "89": 73,
+    "90": 74,
+    "91": 75,
+    "92": 76,
+    "93": 77,
+    "94": 78,
+    "95": 79,
+    "96": 80,
+    "97": 81,
+    "98": 82,
+    "99": 83,
+    "100": 84,
+    "101": 85,
+    "102": 86,
+    "103": 87,
+    "104": 88,
+    "107": 89,
+    "114": 90,
+    "115": 91,
+    "116": 92,
+    "117": 93,
+    "119": 94,
+    "121": 95,
+    "122": 96,
+    "123": 97,
+    "124": 98,
+    "125": 99,
+    "126": 100,
+    "127": 101
+  },
+  "3": {
+    "0": 0,
+    "1": 1,
+    "3": 2,
+    "4": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "8": 7,
+    "10": 8,
+    "11": 9,
+    "12": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "23": 18,
+    "24": 19,
+    "25": 20,
+    "26": 21,
+    "27": 22,
+    "28": 23,
+    "29": 24,
+    "30": 25,
+    "32": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "37": 30,
+    "38": 31,
+    "40": 32,
+    "42": 33,
+    "43": 34,
+    "45": 35,
+    "46": 36,
+    "48": 37,
+    "50": 38,
+    "52": 39,
+    "53": 40,
+    "54": 41,
+    "56": 42,
+    "57": 43,
+    "59": 44,
+    "60": 45,
+    "61": 46,
+    "62": 47,
+    "64": 48,
+    "67": 49,
+    "70": 50,
+    "71": 51,
+    "72": 52,
+    "73": 53,
+    "74": 54,
+    "75": 55,
+    "76": 56,
+    "77": 57,
+    "78": 58,
+    "79": 59,
+    "80": 60,
+    "81": 61,
+    "82": 62,
+    "83": 63,
+    "84": 64,
+    "85": 65,
+    "86": 66,
+    "87": 67,
+    "90": 68,
+    "91": 69,
+    "93": 70,
+    "94": 71,
+    "95": 72,
+    "97": 73,
+    "98": 74,
+    "99": 75,
+    "101": 76,
+    "102": 77,
+    "103": 78,
+    "104": 79,
+    "105": 80,
+    "106": 81,
+    "107": 82,
+    "108": 83,
+    "110": 84,
+    "111": 85,
+    "112": 86,
+    "113": 87,
+    "114": 88,
+    "115": 89,
+    "116": 90,
+    "118": 91,
+    "119": 92,
+    "120": 93,
+    "121": 94,
+    "122": 95,
+    "123": 96,
+    "125": 97,
+    "126": 98,
+    "127": 99
+  },
+  "4": {
+    "0": 0,
+    "2": 1,
+    "3": 2,
+    "5": 3,
+    "6": 4,
+    "7": 5,
+    "9": 6,
+    "10": 7,
+    "11": 8,
+    "12": 9,
+    "13": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "22": 17,
+    "24": 18,
+    "25": 19,
+    "27": 20,
+    "29": 21,
+    "30": 22,
+    "31": 23,
+    "32": 24,
+    "33": 25,
+    "34": 26,
+    "36": 27,
+    "37": 28,
+    "38": 29,
+    "39": 30,
+    "40": 31,
+    "41": 32,
+    "42": 33,
+    "43": 34,
+    "44": 35,
+    "45": 36,
+    "46": 37,
+    "47": 38,
+    "48": 39,
+    "49": 40,
+    "53": 41,
+    "54": 42,
+    "56": 43,
+    "57": 44,
+    "58": 45,
+    "59": 46,
+    "60": 47,
+    "61": 48,
+    "62": 49,
+    "63": 50,
+    "64": 51,
+    "65": 52,
+    "66": 53,
+    "67": 54,
+    "68": 55,
+    "70": 56,
+    "71": 57,
+    "72": 58,
+    "73": 59,
+    "74": 60,
+    "76": 61,
+    "77": 62,
+    "78": 63,
+    "79": 64,
+    "80": 65,
+    "81": 66,
+    "82": 67,
+    "83": 68,
+    "84": 69,
+    "85": 70,
+    "86": 71,
+    "88": 72,
+    "89": 73,
+    "90": 74,
+    "91": 75,
+    "92": 76,
+    "94": 77,
+    "95": 78,
+    "96": 79,
+    "98": 80,
+    "100": 81,
+    "101": 82,
+    "102": 83,
+    "103": 84,
+    "105": 85,
+    "108": 86,
+    "110": 87,
+    "111": 88,
+    "112": 89,
+    "113": 90,
+    "117": 91,
+    "118": 92,
+    "119": 93,
+    "120": 94,
+    "121": 95,
+    "122": 96,
+    "123": 97,
+    "124": 98,
+    "125": 99,
+    "126": 100,
+    "127": 101
+  },
+  "5": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "5": 5,
+    "6": 6,
+    "9": 7,
+    "10": 8,
+    "11": 9,
+    "12": 10,
+    "13": 11,
+    "14": 12,
+    "15": 13,
+    "16": 14,
+    "19": 15,
+    "20": 16,
+    "21": 17,
+    "22": 18,
+    "23": 19,
+    "24": 20,
+    "25": 21,
+    "26": 22,
+    "28": 23,
+    "29": 24,
+    "30": 25,
+    "31": 26,
+    "32": 27,
+    "33": 28,
+    "34": 29,
+    "35": 30,
+    "38": 31,
+    "39": 32,
+    "40": 33,
+    "42": 34,
+    "43": 35,
+    "44": 36,
+    "45": 37,
+    "46": 38,
+    "47": 39,
+    "48": 40,
+    "49": 41,
+    "50": 42,
+    "51": 43,
+    "53": 44,
+    "54": 45,
+    "57": 46,
+    "58": 47,
+    "59": 48,
+    "60": 49,
+    "61": 50,
+    "62": 51,
+    "63": 52,
+    "64": 53,
+    "66": 54,
+    "67": 55,
+    "68": 56,
+    "70": 57,
+    "71": 58,
+    "72": 59,
+    "73": 60,
+    "74": 61,
+    "76": 62,
+    "77": 63,
+    "78": 64,
+    "79": 65,
+    "80": 66,
+    "81": 67,
+    "82": 68,
+    "83": 69,
+    "85": 70,
+    "86": 71,
+    "87": 72,
+    "88": 73,
+    "89": 74,
+    "90": 75,
+    "91": 76,
+    "92": 77,
+    "95": 78,
+    "97": 79,
+    "99": 80,
+    "100": 81,
+    "101": 82,
+    "102": 83,
+    "103": 84,
+    "104": 85,
+    "105": 86,
+    "106": 87,
+    "107": 88,
+    "108": 89,
+    "110": 90,
+    "111": 91,
+    "112": 92,
+    "113": 93,
+    "114": 94,
+    "115": 95,
+    "116": 96,
+    "117": 97,
+    "118": 98,
+    "119": 99,
+    "120": 100,
+    "121": 101,
+    "122": 102,
+    "124": 103,
+    "125": 104,
+    "126": 105,
+    "127": 106
+  },
+  "6": {
+    "0": 0,
+    "2": 1,
+    "3": 2,
+    "4": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "8": 7,
+    "9": 8,
+    "10": 9,
+    "12": 10,
+    "13": 11,
+    "14": 12,
+    "15": 13,
+    "16": 14,
+    "17": 15,
+    "18": 16,
+    "19": 17,
+    "20": 18,
+    "21": 19,
+    "22": 20,
+    "24": 21,
+    "25": 22,
+    "26": 23,
+    "28": 24,
+    "29": 25,
+    "30": 26,
+    "32": 27,
+    "33": 28,
+    "36": 29,
+    "37": 30,
+    "38": 31,
+    "39": 32,
+    "40": 33,
+    "42": 34,
+    "43": 35,
+    "44": 36,
+    "46": 37,
+    "47": 38,
+    "48": 39,
+    "49": 40,
+    "50": 41,
+    "51": 42,
+    "52": 43,
+    "53": 44,
+    "55": 45,
+    "56": 46,
+    "58": 47,
+    "59": 48,
+    "60": 49,
+    "61": 50,
+    "62": 51,
+    "63": 52,
+    "64": 53,
+    "65": 54,
+    "66": 55,
+    "67": 56,
+    "68": 57,
+    "69": 58,
+    "70": 59,
+    "71": 60,
+    "72": 61,
+    "74": 62,
+    "75": 63,
+    "77": 64,
+    "78": 65,
+    "80": 66,
+    "82": 67,
+    "83": 68,
+    "84": 69,
+    "85": 70,
+    "86": 71,
+    "87": 72,
+    "90": 73,
+    "91": 74,
+    "92": 75,
+    "93": 76,
+    "94": 77,
+    "95": 78,
+    "96": 79,
+    "98": 80,
+    "100": 81,
+    "101": 82,
+    "102": 83,
+    "103": 84,
+    "104": 85,
+    "105": 86,
+    "106": 87,
+    "107": 88,
+    "108": 89,
+    "109": 90,
+    "111": 91,
+    "112": 92,
+    "113": 93,
+    "114": 94,
+    "117": 95,
+    "118": 96,
+    "119": 97,
+    "120": 98,
+    "121": 99,
+    "122": 100,
+    "123": 101,
+    "124": 102,
+    "125": 103,
+    "126": 104,
+    "127": 105
+  },
+  "7": {
+    "0": 0,
+    "1": 1,
+    "3": 2,
+    "4": 3,
+    "7": 4,
+    "8": 5,
+    "9": 6,
+    "10": 7,
+    "11": 8,
+    "12": 9,
+    "13": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "22": 18,
+    "23": 19,
+    "24": 20,
+    "25": 21,
+    "27": 22,
+    "29": 23,
+    "30": 24,
+    "31": 25,
+    "32": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "36": 30,
+    "37": 31,
+    "38": 32,
+    "39": 33,
+    "40": 34,
+    "41": 35,
+    "42": 36,
+    "43": 37,
+    "44": 38,
+    "45": 39,
+    "47": 40,
+    "48": 41,
+    "50": 42,
+    "51": 43,
+    "52": 44,
+    "53": 45,
+    "54": 46,
+    "55": 47,
+    "56": 48,
+    "57": 49,
+    "59": 50,
+    "60": 51,
+    "61": 52,
+    "63": 53,
+    "64": 54,
+    "65": 55,
+    "66": 56,
+    "67": 57,
+    "68": 58,
+    "70": 59,
+    "71": 60,
+    "72": 61,
+    "73": 62,
+    "74": 63,
+    "75": 64,
+    "76": 65,
+    "77": 66,
+    "78": 67,
+    "79": 68,
+    "80": 69,
+    "81": 70,
+    "82": 71,
+    "83": 72,
+    "84": 73,
+    "85": 74,
+    "86": 75,
+    "87": 76,
+    "88": 77,
+    "89": 78,
+    "91": 79,
+    "93": 80,
+    "94": 81,
+    "95": 82,
+    "97": 83,
+    "98": 84,
+    "99": 85,
+    "102": 86,
+    "103": 87,
+    "104": 88,
+    "107": 89,
+    "108": 90,
+    "109": 91,
+    "110": 92,
+    "112": 93,
+    "116": 94,
+    "117": 95,
+    "119": 96,
+    "121": 97,
+    "122": 98,
+    "124": 99,
+    "126": 100,
+    "127": 101
+  },
+  "8": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "6": 4,
+    "7": 5,
+    "8": 6,
+    "10": 7,
+    "11": 8,
+    "12": 9,
+    "14": 10,
+    "15": 11,
+    "16": 12,
+    "17": 13,
+    "18": 14,
+    "19": 15,
+    "20": 16,
+    "21": 17,
+    "23": 18,
+    "24": 19,
+    "26": 20,
+    "27": 21,
+    "29": 22,
+    "30": 23,
+    "31": 24,
+    "32": 25,
+    "37": 26,
+    "38": 27,
+    "39": 28,
+    "40": 29,
+    "41": 30,
+    "42": 31,
+    "43": 32,
+    "44": 33,
+    "45": 34,
+    "46": 35,
+    "47": 36,
+    "48": 37,
+    "49": 38,
+    "53": 39,
+    "54": 40,
+    "55": 41,
+    "56": 42,
+    "57": 43,
+    "58": 44,
+    "59": 45,
+    "60": 46,
+    "62": 47,
+    "63": 48,
+    "64": 49,
+    "65": 50,
+    "66": 51,
+    "67": 52,
+    "68": 53,
+    "69": 54,
+    "72": 55,
+    "73": 56,
+    "75": 57,
+    "76": 58,
+    "77": 59,
+    "78": 60,
+    "80": 61,
+    "82": 62,
+    "83": 63,
+    "85": 64,
+    "86": 65,
+    "87": 66,
+    "88": 67,
+    "89": 68,
+    "90": 69,
+    "91": 70,
+    "92": 71,
+    "93": 72,
+    "94": 73,
+    "95": 74,
+    "96": 75,
+    "97": 76,
+    "98": 77,
+    "99": 78,
+    "100": 79,
+    "101": 80,
+    "102": 81,
+    "103": 82,
+    "104": 83,
+    "105": 84,
+    "107": 85,
+    "108": 86,
+    "109": 87,
+    "110": 88,
+    "111": 89,
+    "112": 90,
+    "114": 91,
+    "116": 92,
+    "117": 93,
+    "118": 94,
+    "120": 95,
+    "121": 96,
+    "122": 97,
+    "123": 98,
+    "126": 99,
+    "127": 100
+  },
+  "9": {
+    "0": 0,
+    "1": 1,
+    "3": 2,
+    "4": 3,
+    "5": 4,
+    "7": 5,
+    "8": 6,
+    "9": 7,
+    "10": 8,
+    "11": 9,
+    "12": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "21": 17,
+    "22": 18,
+    "23": 19,
+    "27": 20,
+    "28": 21,
+    "29": 22,
+    "31": 23,
+    "32": 24,
+    "33": 25,
+    "34": 26,
+    "35": 27,
+    "36": 28,
+    "37": 29,
+    "38": 30,
+    "39": 31,
+    "40": 32,
+    "41": 33,
+    "42": 34,
+    "43": 35,
+    "44": 36,
+    "45": 37,
+    "46": 38,
+    "47": 39,
+    "48": 40,
+    "49": 41,
+    "51": 42,
+    "52": 43,
+    "54": 44,
+    "56": 45,
+    "57": 46,
+    "58": 47,
+    "60": 48,
+    "61": 49,
+    "62": 50,
+    "63": 51,
+    "64": 52,
+    "65": 53,
+    "66": 54,
+    "67": 55,
+    "69": 56,
+    "70": 57,
+    "71": 58,
+    "72": 59,
+    "75": 60,
+    "76": 61,
+    "77": 62,
+    "80": 63,
+    "81": 64,
+    "82": 65,
+    "86": 66,
+    "87": 67,
+    "88": 68,
+    "89": 69,
+    "90": 70,
+    "93": 71,
+    "95": 72,
+    "96": 73,
+    "97": 74,
+    "98": 75,
+    "99": 76,
+    "100": 77,
+    "102": 78,
+    "104": 79,
+    "106": 80,
+    "107": 81,
+    "109": 82,
+    "110": 83,
+    "111": 84,
+    "112": 85,
+    "113": 86,
+    "114": 87,
+    "115": 88,
+    "117": 89,
+    "118": 90,
+    "121": 91,
+    "122": 92,
+    "123": 93,
+    "124": 94,
+    "125": 95,
+    "126": 96,
+    "127": 97
+  },
+  "10": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "8": 7,
+    "9": 8,
+    "10": 9,
+    "11": 10,
+    "12": 11,
+    "14": 12,
+    "15": 13,
+    "16": 14,
+    "17": 15,
+    "18": 16,
+    "19": 17,
+    "20": 18,
+    "21": 19,
+    "22": 20,
+    "23": 21,
+    "26": 22,
+    "29": 23,
+    "30": 24,
+    "31": 25,
+    "33": 26,
+    "35": 27,
+    "36": 28,
+    "37": 29,
+    "38": 30,
+    "39": 31,
+    "41": 32,
+    "42": 33,
+    "44": 34,
+    "45": 35,
+    "46": 36,
+    "47": 37,
+    "48": 38,
+    "49": 39,
+    "50": 40,
+    "54": 41,
+    "55": 42,
+    "56": 43,
+    "57": 44,
+    "58": 45,
+    "60": 46,
+    "62": 47,
+    "63": 48,
+    "65": 49,
+    "67": 50,
+    "69": 51,
+    "71": 52,
+    "72": 53,
+    "73": 54,
+    "74": 55,
+    "75": 56,
+    "76": 57,
+    "81": 58,
+    "82": 59,
+    "84": 60,
+    "85": 61,
+    "86": 62,
+    "87": 63,
+    "88": 64,
+    "89": 65,
+    "91": 66,
+    "93": 67,
+    "94": 68,
+    "95": 69,
+    "96": 70,
+    "97": 71,
+    "99": 72,
+    "100": 73,
+    "103": 74,
+    "104": 75,
+    "108": 76,
+    "109": 77,
+    "110": 78,
+    "111": 79,
+    "112": 80,
+    "113": 81,
+    "114": 82,
+    "115": 83,
+    "116": 84,
+    "117": 85,
+    "119": 86,
+    "120": 87,
+    "121": 88,
+    "122": 89,
+    "124": 90,
+    "125": 91
+  },
+  "11": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "5": 3,
+    "7": 4,
+    "8": 5,
+    "10": 6,
+    "11": 7,
+    "12": 8,
+    "15": 9,
+    "16": 10,
+    "17": 11,
+    "19": 12,
+    "21": 13,
+    "25": 14,
+    "26": 15,
+    "29": 16,
+    "30": 17,
+    "32": 18,
+    "35": 19,
+    "36": 20,
+    "37": 21,
+    "39": 22,
+    "40": 23,
+    "41": 24,
+    "42": 25,
+    "43": 26,
+    "44": 27,
+    "45": 28,
+    "46": 29,
+    "48": 30,
+    "49": 31,
+    "50": 32,
+    "51": 33,
+    "55": 34,
+    "57": 35,
+    "59": 36,
+    "61": 37,
+    "62": 38,
+    "64": 39,
+    "65": 40,
+    "67": 41,
+    "68": 42,
+    "69": 43,
+    "72": 44,
+    "73": 45,
+    "74": 46,
+    "75": 47,
+    "76": 48,
+    "78": 49,
+    "79": 50,
+    "80": 51,
+    "85": 52,
+    "87": 53,
+    "89": 54,
+    "90": 55,
+    "92": 56,
+    "94": 57,
+    "95": 58,
+    "98": 59,
+    "99": 60,
+    "100": 61,
+    "102": 62,
+    "103": 63,
+    "104": 64,
+    "105": 65,
+    "106": 66,
+    "107": 67,
+    "108": 68,
+    "112": 69,
+    "113": 70,
+    "114": 71,
+    "115": 72,
+    "116": 73,
+    "118": 74,
+    "119": 75,
+    "120": 76,
+    "121": 77,
+    "122": 78,
+    "123": 79,
+    "124": 80,
+    "125": 81,
+    "126": 82,
+    "127": 83
+  },
+  "12": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "5": 5,
+    "6": 6,
+    "9": 7,
+    "10": 8,
+    "13": 9,
+    "14": 10,
+    "15": 11,
+    "16": 12,
+    "17": 13,
+    "20": 14,
+    "21": 15,
+    "22": 16,
+    "24": 17,
+    "25": 18,
+    "26": 19,
+    "27": 20,
+    "28": 21,
+    "30": 22,
+    "31": 23,
+    "34": 24,
+    "37": 25,
+    "39": 26,
+    "40": 27,
+    "41": 28,
+    "42": 29,
+    "43": 30,
+    "44": 31,
+    "45": 32,
+    "46": 33,
+    "47": 34,
+    "51": 35,
+    "53": 36,
+    "54": 37,
+    "55": 38,
+    "57": 39,
+    "58": 40,
+    "60": 41,
+    "61": 42,
+    "62": 43,
+    "64": 44,
+    "65": 45,
+    "69": 46,
+    "71": 47,
+    "72": 48,
+    "74": 49,
+    "75": 50,
+    "76": 51,
+    "77": 52,
+    "78": 53,
+    "79": 54,
+    "80": 55,
+    "81": 56,
+    "82": 57,
+    "84": 58,
+    "85": 59,
+    "86": 60,
+    "87": 61,
+    "88": 62,
+    "89": 63,
+    "90": 64,
+    "93": 65,
+    "94": 66,
+    "95": 67,
+    "96": 68,
+    "97": 69,
+    "98": 70,
+    "100": 71,
+    "102": 72,
+    "103": 73,
+    "104": 74,
+    "107": 75,
+    "108": 76,
+    "109": 77,
+    "111": 78,
+    "113": 79,
+    "114": 80,
+    "115": 81,
+    "116": 82,
+    "117": 83,
+    "118": 84,
+    "119": 85,
+    "120": 86,
+    "121": 87,
+    "122": 88,
+    "124": 89,
+    "125": 90,
+    "126": 91
+  },
+  "13": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "4": 3,
+    "6": 4,
+    "7": 5,
+    "9": 6,
+    "10": 7,
+    "12": 8,
+    "14": 9,
+    "16": 10,
+    "17": 11,
+    "18": 12,
+    "19": 13,
+    "20": 14,
+    "21": 15,
+    "23": 16,
+    "24": 17,
+    "25": 18,
+    "27": 19,
+    "28": 20,
+    "29": 21,
+    "31": 22,
+    "32": 23,
+    "34": 24,
+    "36": 25,
+    "37": 26,
+    "38": 27,
+    "40": 28,
+    "44": 29,
+    "45": 30,
+    "46": 31,
+    "47": 32,
+    "48": 33,
+    "50": 34,
+    "53": 35,
+    "57": 36,
+    "58": 37,
+    "59": 38,
+    "60": 39,
+    "61": 40,
+    "62": 41,
+    "63": 42,
+    "64": 43,
+    "67": 44,
+    "68": 45,
+    "69": 46,
+    "70": 47,
+    "71": 48,
+    "72": 49,
+    "73": 50,
+    "74": 51,
+    "75": 52,
+    "77": 53,
+    "78": 54,
+    "79": 55,
+    "80": 56,
+    "82": 57,
+    "84": 58,
+    "86": 59,
+    "87": 60,
+    "89": 61,
+    "90": 62,
+    "92": 63,
+    "93": 64,
+    "95": 65,
+    "96": 66,
+    "97": 67,
+    "98": 68,
+    "100": 69,
+    "102": 70,
+    "103": 71,
+    "105": 72,
+    "107": 73,
+    "108": 74,
+    "109": 75,
+    "111": 76,
+    "112": 77,
+    "113": 78,
+    "114": 79,
+    "115": 80,
+    "116": 81,
+    "117": 82,
+    "118": 83,
+    "120": 84,
+    "121": 85,
+    "123": 86,
+    "126": 87,
+    "127": 88
+  },
+  "14": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "5": 5,
+    "6": 6,
+    "7": 7,
+    "8": 8,
+    "9": 9,
+    "10": 10,
+    "12": 11,
+    "13": 12,
+    "15": 13,
+    "16": 14,
+    "17": 15,
+    "19": 16,
+    "20": 17,
+    "21": 18,
+    "24": 19,
+    "25": 20,
+    "28": 21,
+    "29": 22,
+    "30": 23,
+    "31": 24,
+    "33": 25,
+    "34": 26,
+    "36": 27,
+    "38": 28,
+    "39": 29,
+    "40": 30,
+    "41": 31,
+    "42": 32,
+    "44": 33,
+    "45": 34,
+    "46": 35,
+    "47": 36,
+    "48": 37,
+    "49": 38,
+    "51": 39,
+    "52": 40,
+    "53": 41,
+    "54": 42,
+    "55": 43,
+    "56": 44,
+    "57": 45,
+    "59": 46,
+    "60": 47,
+    "62": 48,
+    "63": 49,
+    "64": 50,
+    "65": 51,
+    "66": 52,
+    "68": 53,
+    "69": 54,
+    "70": 55,
+    "71": 56,
+    "72": 57,
+    "73": 58,
+    "74": 59,
+    "76": 60,
+    "79": 61,
+    "80": 62,
+    "81": 63,
+    "82": 64,
+    "83": 65,
+    "84": 66,
+    "85": 67,
+    "87": 68,
+    "88": 69,
+    "91": 70,
+    "94": 71,
+    "95": 72,
+    "97": 73,
+    "98": 74,
+    "99": 75,
+    "100": 76,
+    "101": 77,
+    "102": 78,
+    "103": 79,
+    "106": 80,
+    "107": 81,
+    "109": 82,
+    "110": 83,
+    "111": 84,
+    "112": 85,
+    "113": 86,
+    "115": 87,
+    "116": 88,
+    "117": 89,
+    "118": 90,
+    "119": 91,
+    "121": 92,
+    "123": 93,
+    "124": 94,
+    "125": 95,
+    "126": 96,
+    "127": 97
+  },
+  "15": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "6": 5,
+    "8": 6,
+    "9": 7,
+    "10": 8,
+    "11": 9,
+    "13": 10,
+    "14": 11,
+    "15": 12,
+    "17": 13,
+    "18": 14,
+    "19": 15,
+    "20": 16,
+    "22": 17,
+    "23": 18,
+    "24": 19,
+    "25": 20,
+    "27": 21,
+    "28": 22,
+    "29": 23,
+    "30": 24,
+    "32": 25,
+    "33": 26,
+    "34": 27,
+    "35": 28,
+    "36": 29,
+    "37": 30,
+    "38": 31,
+    "39": 32,
+    "40": 33,
+    "41": 34,
+    "43": 35,
+    "45": 36,
+    "47": 37,
+    "48": 38,
+    "50": 39,
+    "53": 40,
+    "54": 41,
+    "55": 42,
+    "58": 43,
+    "59": 44,
+    "60": 45,
+    "61": 46,
+    "64": 47,
+    "65": 48,
+    "66": 49,
+    "67": 50,
+    "68": 51,
+    "71": 52,
+    "72": 53,
+    "73": 54,
+    "75": 55,
+    "76": 56,
+    "77": 57,
+    "78": 58,
+    "79": 59,
+    "80": 60,
+    "81": 61,
+    "82": 62,
+    "85": 63,
+    "86": 64,
+    "87": 65,
+    "89": 66,
+    "90": 67,
+    "92": 68,
+    "93": 69,
+    "94": 70,
+    "95": 71,
+    "97": 72,
+    "98": 73,
+    "99": 74,
+    "100": 75,
+    "101": 76,
+    "102": 77,
+    "103": 78,
+    "104": 79,
+    "105": 80,
+    "106": 81,
+    "107": 82,
+    "108": 83,
+    "109": 84,
+    "111": 85,
+    "112": 86,
+    "113": 87,
+    "114": 88,
+    "115": 89,
+    "116": 90,
+    "117": 91,
+    "118": 92,
+    "119": 93,
+    "120": 94,
+    "121": 95,
+    "122": 96,
+    "123": 97,
+    "125": 98,
+    "127": 99
+  },
+  "16": {
+    "0": 0,
+    "1": 1,
+    "4": 2,
+    "6": 3,
+    "7": 4,
+    "8": 5,
+    "9": 6,
+    "10": 7,
+    "14": 8,
+    "15": 9,
+    "20": 10,
+    "22": 11,
+    "24": 12,
+    "25": 13,
+    "26": 14,
+    "27": 15,
+    "30": 16,
+    "31": 17,
+    "32": 18,
+    "33": 19,
+    "34": 20,
+    "35": 21,
+    "36": 22,
+    "37": 23,
+    "38": 24,
+    "39": 25,
+    "40": 26,
+    "41": 27,
+    "42": 28,
+    "44": 29,
+    "45": 30,
+    "46": 31,
+    "47": 32,
+    "48": 33,
+    "49": 34,
+    "51": 35,
+    "53": 36,
+    "54": 37,
+    "56": 38,
+    "57": 39,
+    "59": 40,
+    "60": 41,
+    "61": 42,
+    "62": 43,
+    "63": 44,
+    "64": 45,
+    "65": 46,
+    "66": 47,
+    "67": 48,
+    "69": 49,
+    "70": 50,
+    "72": 51,
+    "73": 52,
+    "74": 53,
+    "75": 54,
+    "77": 55,
+    "79": 56,
+    "80": 57,
+    "81": 58,
+    "82": 59,
+    "83": 60,
+    "84": 61,
+    "86": 62,
+    "87": 63,
+    "88": 64,
+    "89": 65,
+    "90": 66,
+    "91": 67,
+    "92": 68,
+    "94": 69,
+    "95": 70,
+    "97": 71,
+    "98": 72,
+    "99": 73,
+    "101": 74,
+    "102": 75,
+    "104": 76,
+    "105": 77,
+    "106": 78,
+    "107": 79,
+    "109": 80,
+    "110": 81,
+    "111": 82,
+    "113": 83,
+    "114": 84,
+    "115": 85,
+    "116": 86,
+    "117": 87,
+    "118": 88,
+    "119": 89,
+    "120": 90,
+    "121": 91,
+    "123": 92,
+    "124": 93,
+    "125": 94,
+    "126": 95,
+    "127": 96
+  },
+  "17": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "4": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "8": 7,
+    "9": 8,
+    "10": 9,
+    "11": 10,
+    "12": 11,
+    "13": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "21": 18,
+    "22": 19,
+    "23": 20,
+    "24": 21,
+    "25": 22,
+    "28": 23,
+    "29": 24,
+    "30": 25,
+    "32": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "36": 30,
+    "37": 31,
+    "38": 32,
+    "39": 33,
+    "40": 34,
+    "43": 35,
+    "44": 36,
+    "45": 37,
+    "47": 38,
+    "48": 39,
+    "49": 40,
+    "51": 41,
+    "53": 42,
+    "54": 43,
+    "55": 44,
+    "56": 45,
+    "57": 46,
+    "59": 47,
+    "60": 48,
+    "61": 49,
+    "65": 50,
+    "66": 51,
+    "67": 52,
+    "68": 53,
+    "69": 54,
+    "70": 55,
+    "71": 56,
+    "73": 57,
+    "74": 58,
+    "75": 59,
+    "76": 60,
+    "77": 61,
+    "78": 62,
+    "79": 63,
+    "80": 64,
+    "81": 65,
+    "82": 66,
+    "83": 67,
+    "85": 68,
+    "87": 69,
+    "89": 70,
+    "90": 71,
+    "91": 72,
+    "94": 73,
+    "95": 74,
+    "96": 75,
+    "97": 76,
+    "98": 77,
+    "100": 78,
+    "101": 79,
+    "102": 80,
+    "103": 81,
+    "104": 82,
+    "106": 83,
+    "108": 84,
+    "109": 85,
+    "110": 86,
+    "111": 87,
+    "112": 88,
+    "113": 89,
+    "114": 90,
+    "115": 91,
+    "116": 92,
+    "117": 93,
+    "119": 94,
+    "121": 95,
+    "122": 96,
+    "124": 97,
+    "126": 98,
+    "127": 99
+  },
+  "18": {
+    "1": 0,
+    "3": 1,
+    "4": 2,
+    "6": 3,
+    "8": 4,
+    "9": 5,
+    "10": 6,
+    "11": 7,
+    "12": 8,
+    "13": 9,
+    "14": 10,
+    "15": 11,
+    "16": 12,
+    "17": 13,
+    "18": 14,
+    "19": 15,
+    "20": 16,
+    "21": 17,
+    "22": 18,
+    "23": 19,
+    "24": 20,
+    "25": 21,
+    "26": 22,
+    "28": 23,
+    "29": 24,
+    "30": 25,
+    "32": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "37": 30,
+    "39": 31,
+    "40": 32,
+    "41": 33,
+    "43": 34,
+    "44": 35,
+    "45": 36,
+    "46": 37,
+    "47": 38,
+    "48": 39,
+    "49": 40,
+    "50": 41,
+    "52": 42,
+    "53": 43,
+    "54": 44,
+    "55": 45,
+    "56": 46,
+    "58": 47,
+    "59": 48,
+    "60": 49,
+    "62": 50,
+    "63": 51,
+    "64": 52,
+    "65": 53,
+    "66": 54,
+    "67": 55,
+    "68": 56,
+    "69": 57,
+    "70": 58,
+    "71": 59,
+    "72": 60,
+    "73": 61,
+    "75": 62,
+    "76": 63,
+    "78": 64,
+    "79": 65,
+    "82": 66,
+    "84": 67,
+    "86": 68,
+    "87": 69,
+    "88": 70,
+    "89": 71,
+    "90": 72,
+    "92": 73,
+    "93": 74,
+    "94": 75,
+    "95": 76,
+    "97": 77,
+    "98": 78,
+    "99": 79,
+    "100": 80,
+    "101": 81,
+    "104": 82,
+    "105": 83,
+    "106": 84,
+    "107": 85,
+    "108": 86,
+    "109": 87,
+    "112": 88,
+    "113": 89,
+    "114": 90,
+    "115": 91,
+    "116": 92,
+    "117": 93,
+    "118": 94,
+    "119": 95,
+    "120": 96,
+    "121": 97,
+    "122": 98,
+    "123": 99,
+    "125": 100,
+    "126": 101,
+    "127": 102
+  },
+  "19": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "5": 5,
+    "6": 6,
+    "7": 7,
+    "8": 8,
+    "9": 9,
+    "11": 10,
+    "12": 11,
+    "13": 12,
+    "14": 13,
+    "15": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "22": 18,
+    "23": 19,
+    "24": 20,
+    "25": 21,
+    "26": 22,
+    "27": 23,
+    "28": 24,
+    "29": 25,
+    "30": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "37": 30,
+    "38": 31,
+    "39": 32,
+    "40": 33,
+    "41": 34,
+    "42": 35,
+    "43": 36,
+    "45": 37,
+    "46": 38,
+    "47": 39,
+    "49": 40,
+    "50": 41,
+    "51": 42,
+    "52": 43,
+    "53": 44,
+    "54": 45,
+    "55": 46,
+    "56": 47,
+    "58": 48,
+    "59": 49,
+    "60": 50,
+    "62": 51,
+    "63": 52,
+    "66": 53,
+    "68": 54,
+    "70": 55,
+    "71": 56,
+    "72": 57,
+    "73": 58,
+    "74": 59,
+    "75": 60,
+    "76": 61,
+    "77": 62,
+    "78": 63,
+    "79": 64,
+    "80": 65,
+    "82": 66,
+    "83": 67,
+    "84": 68,
+    "85": 69,
+    "90": 70,
+    "91": 71,
+    "92": 72,
+    "93": 73,
+    "94": 74,
+    "96": 75,
+    "97": 76,
+    "98": 77,
+    "99": 78,
+    "100": 79,
+    "101": 80,
+    "102": 81,
+    "104": 82,
+    "105": 83,
+    "106": 84,
+    "107": 85,
+    "108": 86,
+    "110": 87,
+    "111": 88,
+    "112": 89,
+    "114": 90,
+    "115": 91,
+    "116": 92,
+    "119": 93,
+    "120": 94,
+    "121": 95,
+    "122": 96,
+    "124": 97,
+    "125": 98,
+    "127": 99
+  },
+  "20": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "8": 7,
+    "9": 8,
+    "10": 9,
+    "11": 10,
+    "12": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "20": 16,
+    "21": 17,
+    "22": 18,
+    "23": 19,
+    "24": 20,
+    "25": 21,
+    "26": 22,
+    "27": 23,
+    "29": 24,
+    "30": 25,
+    "31": 26,
+    "32": 27,
+    "34": 28,
+    "35": 29,
+    "36": 30,
+    "39": 31,
+    "40": 32,
+    "42": 33,
+    "43": 34,
+    "44": 35,
+    "45": 36,
+    "46": 37,
+    "48": 38,
+    "49": 39,
+    "50": 40,
+    "51": 41,
+    "52": 42,
+    "53": 43,
+    "54": 44,
+    "56": 45,
+    "57": 46,
+    "58": 47,
+    "59": 48,
+    "60": 49,
+    "61": 50,
+    "62": 51,
+    "65": 52,
+    "66": 53,
+    "67": 54,
+    "68": 55,
+    "70": 56,
+    "71": 57,
+    "72": 58,
+    "73": 59,
+    "74": 60,
+    "76": 61,
+    "77": 62,
+    "78": 63,
+    "80": 64,
+    "81": 65,
+    "82": 66,
+    "83": 67,
+    "84": 68,
+    "85": 69,
+    "86": 70,
+    "87": 71,
+    "88": 72,
+    "89": 73,
+    "90": 74,
+    "91": 75,
+    "92": 76,
+    "93": 77,
+    "94": 78,
+    "95": 79,
+    "96": 80,
+    "97": 81,
+    "98": 82,
+    "99": 83,
+    "100": 84,
+    "101": 85,
+    "102": 86,
+    "104": 87,
+    "106": 88,
+    "107": 89,
+    "108": 90,
+    "109": 91,
+    "110": 92,
+    "111": 93,
+    "112": 94,
+    "113": 95,
+    "117": 96,
+    "119": 97,
+    "120": 98,
+    "121": 99,
+    "122": 100,
+    "123": 101,
+    "124": 102,
+    "125": 103
+  },
+  "21": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "5": 5,
+    "6": 6,
+    "7": 7,
+    "8": 8,
+    "9": 9,
+    "11": 10,
+    "12": 11,
+    "13": 12,
+    "14": 13,
+    "15": 14,
+    "16": 15,
+    "17": 16,
+    "18": 17,
+    "20": 18,
+    "21": 19,
+    "22": 20,
+    "23": 21,
+    "25": 22,
+    "27": 23,
+    "29": 24,
+    "31": 25,
+    "32": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "38": 30,
+    "40": 31,
+    "41": 32,
+    "42": 33,
+    "43": 34,
+    "44": 35,
+    "46": 36,
+    "47": 37,
+    "48": 38,
+    "49": 39,
+    "50": 40,
+    "51": 41,
+    "52": 42,
+    "54": 43,
+    "55": 44,
+    "56": 45,
+    "57": 46,
+    "58": 47,
+    "59": 48,
+    "60": 49,
+    "63": 50,
+    "64": 51,
+    "65": 52,
+    "66": 53,
+    "68": 54,
+    "69": 55,
+    "70": 56,
+    "72": 57,
+    "73": 58,
+    "74": 59,
+    "75": 60,
+    "76": 61,
+    "78": 62,
+    "79": 63,
+    "80": 64,
+    "81": 65,
+    "82": 66,
+    "83": 67,
+    "84": 68,
+    "85": 69,
+    "86": 70,
+    "87": 71,
+    "90": 72,
+    "91": 73,
+    "92": 74,
+    "93": 75,
+    "94": 76,
+    "95": 77,
+    "96": 78,
+    "98": 79,
+    "99": 80,
+    "101": 81,
+    "102": 82,
+    "103": 83,
+    "104": 84,
+    "105": 85,
+    "106": 86,
+    "107": 87,
+    "108": 88,
+    "109": 89,
+    "111": 90,
+    "112": 91,
+    "113": 92,
+    "114": 93,
+    "115": 94,
+    "117": 95,
+    "118": 96,
+    "119": 97,
+    "120": 98,
+    "124": 99,
+    "126": 100,
+    "127": 101
+  },
+  "22": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "5": 5,
+    "6": 6,
+    "7": 7,
+    "8": 8,
+    "9": 9,
+    "10": 10,
+    "11": 11,
+    "12": 12,
+    "13": 13,
+    "14": 14,
+    "15": 15,
+    "16": 16,
+    "17": 17,
+    "20": 18,
+    "21": 19,
+    "23": 20,
+    "24": 21,
+    "25": 22,
+    "27": 23,
+    "28": 24,
+    "29": 25,
+    "31": 26,
+    "34": 27,
+    "37": 28,
+    "38": 29,
+    "39": 30,
+    "40": 31,
+    "41": 32,
+    "42": 33,
+    "43": 34,
+    "44": 35,
+    "45": 36,
+    "46": 37,
+    "47": 38,
+    "49": 39,
+    "50": 40,
+    "52": 41,
+    "53": 42,
+    "54": 43,
+    "55": 44,
+    "56": 45,
+    "57": 46,
+    "58": 47,
+    "59": 48,
+    "60": 49,
+    "61": 50,
+    "62": 51,
+    "64": 52,
+    "65": 53,
+    "66": 54,
+    "67": 55,
+    "68": 56,
+    "69": 57,
+    "70": 58,
+    "71": 59,
+    "72": 60,
+    "73": 61,
+    "75": 62,
+    "76": 63,
+    "77": 64,
+    "78": 65,
+    "79": 66,
+    "81": 67,
+    "83": 68,
+    "85": 69,
+    "86": 70,
+    "87": 71,
+    "89": 72,
+    "90": 73,
+    "91": 74,
+    "93": 75,
+    "94": 76,
+    "96": 77,
+    "97": 78,
+    "98": 79,
+    "99": 80,
+    "101": 81,
+    "102": 82,
+    "103": 83,
+    "104": 84,
+    "105": 85,
+    "106": 86,
+    "107": 87,
+    "108": 88,
+    "109": 89,
+    "110": 90,
+    "114": 91,
+    "115": 92,
+    "116": 93,
+    "117": 94,
+    "118": 95,
+    "119": 96,
+    "120": 97,
+    "121": 98,
+    "122": 99,
+    "124": 100,
+    "125": 101,
+    "126": 102
+  },
+  "23": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "6": 5,
+    "7": 6,
+    "9": 7,
+    "10": 8,
+    "11": 9,
+    "12": 10,
+    "15": 11,
+    "17": 12,
+    "18": 13,
+    "19": 14,
+    "20": 15,
+    "21": 16,
+    "22": 17,
+    "24": 18,
+    "25": 19,
+    "26": 20,
+    "27": 21,
+    "29": 22,
+    "33": 23,
+    "34": 24,
+    "35": 25,
+    "36": 26,
+    "37": 27,
+    "39": 28,
+    "40": 29,
+    "41": 30,
+    "42": 31,
+    "43": 32,
+    "45": 33,
+    "46": 34,
+    "47": 35,
+    "48": 36,
+    "49": 37,
+    "50": 38,
+    "52": 39,
+    "53": 40,
+    "54": 41,
+    "57": 42,
+    "58": 43,
+    "59": 44,
+    "60": 45,
+    "61": 46,
+    "62": 47,
+    "64": 48,
+    "65": 49,
+    "67": 50,
+    "68": 51,
+    "69": 52,
+    "70": 53,
+    "71": 54,
+    "73": 55,
+    "74": 56,
+    "75": 57,
+    "76": 58,
+    "77": 59,
+    "79": 60,
+    "80": 61,
+    "81": 62,
+    "83": 63,
+    "84": 64,
+    "85": 65,
+    "87": 66,
+    "88": 67,
+    "90": 68,
+    "91": 69,
+    "92": 70,
+    "93": 71,
+    "94": 72,
+    "95": 73,
+    "96": 74,
+    "97": 75,
+    "98": 76,
+    "99": 77,
+    "100": 78,
+    "101": 79,
+    "102": 80,
+    "104": 81,
+    "106": 82,
+    "107": 83,
+    "108": 84,
+    "109": 85,
+    "110": 86,
+    "111": 87,
+    "113": 88,
+    "115": 89,
+    "117": 90,
+    "118": 91,
+    "119": 92,
+    "121": 93,
+    "122": 94,
+    "123": 95,
+    "124": 96,
+    "125": 97,
+    "126": 98
+  },
+  "24": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "8": 7,
+    "9": 8,
+    "11": 9,
+    "12": 10,
+    "13": 11,
+    "14": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "21": 18,
+    "22": 19,
+    "23": 20,
+    "24": 21,
+    "25": 22,
+    "26": 23,
+    "27": 24,
+    "28": 25,
+    "30": 26,
+    "32": 27,
+    "33": 28,
+    "36": 29,
+    "37": 30,
+    "38": 31,
+    "39": 32,
+    "40": 33,
+    "41": 34,
+    "42": 35,
+    "43": 36,
+    "44": 37,
+    "45": 38,
+    "46": 39,
+    "47": 40,
+    "48": 41,
+    "49": 42,
+    "50": 43,
+    "51": 44,
+    "53": 45,
+    "55": 46,
+    "56": 47,
+    "58": 48,
+    "60": 49,
+    "61": 50,
+    "62": 51,
+    "63": 52,
+    "64": 53,
+    "65": 54,
+    "66": 55,
+    "67": 56,
+    "69": 57,
+    "70": 58,
+    "71": 59,
+    "72": 60,
+    "73": 61,
+    "74": 62,
+    "75": 63,
+    "79": 64,
+    "81": 65,
+    "83": 66,
+    "84": 67,
+    "85": 68,
+    "86": 69,
+    "89": 70,
+    "90": 71,
+    "92": 72,
+    "94": 73,
+    "95": 74,
+    "96": 75,
+    "97": 76,
+    "98": 77,
+    "100": 78,
+    "101": 79,
+    "103": 80,
+    "104": 81,
+    "105": 82,
+    "106": 83,
+    "107": 84,
+    "110": 85,
+    "111": 86,
+    "112": 87,
+    "113": 88,
+    "114": 89,
+    "115": 90,
+    "116": 91,
+    "117": 92,
+    "118": 93,
+    "119": 94,
+    "120": 95,
+    "121": 96,
+    "123": 97,
+    "124": 98,
+    "125": 99,
+    "127": 100
+  },
+  "25": {
+    "1": 0,
+    "3": 1,
+    "6": 2,
+    "7": 3,
+    "8": 4,
+    "9": 5,
+    "10": 6,
+    "11": 7,
+    "12": 8,
+    "13": 9,
+    "14": 10,
+    "15": 11,
+    "16": 12,
+    "19": 13,
+    "20": 14,
+    "21": 15,
+    "22": 16,
+    "23": 17,
+    "24": 18,
+    "26": 19,
+    "27": 20,
+    "28": 21,
+    "30": 22,
+    "31": 23,
+    "32": 24,
+    "33": 25,
+    "34": 26,
+    "35": 27,
+    "36": 28,
+    "37": 29,
+    "38": 30,
+    "39": 31,
+    "41": 32,
+    "42": 33,
+    "43": 34,
+    "44": 35,
+    "45": 36,
+    "46": 37,
+    "48": 38,
+    "49": 39,
+    "50": 40,
+    "52": 41,
+    "53": 42,
+    "54": 43,
+    "55": 44,
+    "56": 45,
+    "57": 46,
+    "58": 47,
+    "59": 48,
+    "60": 49,
+    "61": 50,
+    "62": 51,
+    "63": 52,
+    "65": 53,
+    "66": 54,
+    "69": 55,
+    "70": 56,
+    "71": 57,
+    "74": 58,
+    "75": 59,
+    "76": 60,
+    "77": 61,
+    "80": 62,
+    "81": 63,
+    "82": 64,
+    "84": 65,
+    "86": 66,
+    "87": 67,
+    "88": 68,
+    "89": 69,
+    "90": 70,
+    "91": 71,
+    "92": 72,
+    "93": 73,
+    "94": 74,
+    "96": 75,
+    "97": 76,
+    "99": 77,
+    "100": 78,
+    "102": 79,
+    "103": 80,
+    "104": 81,
+    "105": 82,
+    "107": 83,
+    "108": 84,
+    "109": 85,
+    "111": 86,
+    "113": 87,
+    "114": 88,
+    "115": 89,
+    "116": 90,
+    "117": 91,
+    "119": 92,
+    "120": 93,
+    "121": 94,
+    "122": 95,
+    "123": 96,
+    "124": 97,
+    "125": 98,
+    "126": 99,
+    "127": 100
+  },
+  "26": {
+    "0": 0,
+    "2": 1,
+    "4": 2,
+    "5": 3,
+    "7": 4,
+    "8": 5,
+    "9": 6,
+    "10": 7,
+    "12": 8,
+    "14": 9,
+    "15": 10,
+    "16": 11,
+    "17": 12,
+    "18": 13,
+    "19": 14,
+    "20": 15,
+    "21": 16,
+    "22": 17,
+    "23": 18,
+    "24": 19,
+    "26": 20,
+    "27": 21,
+    "28": 22,
+    "29": 23,
+    "30": 24,
+    "32": 25,
+    "33": 26,
+    "34": 27,
+    "39": 28,
+    "40": 29,
+    "41": 30,
+    "42": 31,
+    "43": 32,
+    "45": 33,
+    "46": 34,
+    "48": 35,
+    "49": 36,
+    "50": 37,
+    "52": 38,
+    "53": 39,
+    "54": 40,
+    "56": 41,
+    "57": 42,
+    "58": 43,
+    "59": 44,
+    "60": 45,
+    "61": 46,
+    "63": 47,
+    "64": 48,
+    "65": 49,
+    "66": 50,
+    "67": 51,
+    "68": 52,
+    "69": 53,
+    "70": 54,
+    "72": 55,
+    "73": 56,
+    "74": 57,
+    "75": 58,
+    "78": 59,
+    "79": 60,
+    "80": 61,
+    "81": 62,
+    "82": 63,
+    "83": 64,
+    "84": 65,
+    "85": 66,
+    "87": 67,
+    "88": 68,
+    "89": 69,
+    "90": 70,
+    "92": 71,
+    "93": 72,
+    "94": 73,
+    "96": 74,
+    "97": 75,
+    "98": 76,
+    "99": 77,
+    "100": 78,
+    "101": 79,
+    "102": 80,
+    "103": 81,
+    "105": 82,
+    "106": 83,
+    "108": 84,
+    "109": 85,
+    "110": 86,
+    "111": 87,
+    "112": 88,
+    "113": 89,
+    "114": 90,
+    "116": 91,
+    "117": 92,
+    "118": 93,
+    "119": 94,
+    "121": 95,
+    "122": 96,
+    "123": 97,
+    "124": 98,
+    "126": 99,
+    "127": 100
+  },
+  "27": {
+    "0": 0,
+    "2": 1,
+    "4": 2,
+    "5": 3,
+    "6": 4,
+    "7": 5,
+    "9": 6,
+    "10": 7,
+    "11": 8,
+    "12": 9,
+    "13": 10,
+    "15": 11,
+    "17": 12,
+    "18": 13,
+    "19": 14,
+    "20": 15,
+    "21": 16,
+    "22": 17,
+    "23": 18,
+    "24": 19,
+    "25": 20,
+    "26": 21,
+    "27": 22,
+    "28": 23,
+    "29": 24,
+    "30": 25,
+    "31": 26,
+    "32": 27,
+    "33": 28,
+    "34": 29,
+    "35": 30,
+    "36": 31,
+    "38": 32,
+    "39": 33,
+    "41": 34,
+    "42": 35,
+    "43": 36,
+    "44": 37,
+    "45": 38,
+    "47": 39,
+    "48": 40,
+    "51": 41,
+    "52": 42,
+    "55": 43,
+    "56": 44,
+    "57": 45,
+    "58": 46,
+    "59": 47,
+    "60": 48,
+    "61": 49,
+    "62": 50,
+    "63": 51,
+    "64": 52,
+    "65": 53,
+    "66": 54,
+    "67": 55,
+    "68": 56,
+    "70": 57,
+    "71": 58,
+    "72": 59,
+    "73": 60,
+    "75": 61,
+    "76": 62,
+    "77": 63,
+    "78": 64,
+    "79": 65,
+    "80": 66,
+    "81": 67,
+    "82": 68,
+    "85": 69,
+    "86": 70,
+    "87": 71,
+    "88": 72,
+    "91": 73,
+    "92": 74,
+    "93": 75,
+    "94": 76,
+    "95": 77,
+    "96": 78,
+    "97": 79,
+    "98": 80,
+    "99": 81,
+    "100": 82,
+    "101": 83,
+    "102": 84,
+    "104": 85,
+    "106": 86,
+    "107": 87,
+    "108": 88,
+    "109": 89,
+    "110": 90,
+    "111": 91,
+    "113": 92,
+    "115": 93,
+    "117": 94,
+    "119": 95,
+    "120": 96,
+    "121": 97,
+    "122": 98,
+    "123": 99,
+    "124": 100,
+    "126": 101
+  },
+  "28": {
+    "1": 0,
+    "2": 1,
+    "6": 2,
+    "7": 3,
+    "8": 4,
+    "9": 5,
+    "10": 6,
+    "11": 7,
+    "14": 8,
+    "15": 9,
+    "17": 10,
+    "19": 11,
+    "20": 12,
+    "22": 13,
+    "23": 14,
+    "24": 15,
+    "26": 16,
+    "27": 17,
+    "29": 18,
+    "31": 19,
+    "32": 20,
+    "33": 21,
+    "34": 22,
+    "35": 23,
+    "39": 24,
+    "42": 25,
+    "44": 26,
+    "45": 27,
+    "46": 28,
+    "47": 29,
+    "48": 30,
+    "50": 31,
+    "51": 32,
+    "53": 33,
+    "54": 34,
+    "55": 35,
+    "56": 36,
+    "57": 37,
+    "58": 38,
+    "60": 39,
+    "61": 40,
+    "62": 41,
+    "63": 42,
+    "64": 43,
+    "65": 44,
+    "66": 45,
+    "68": 46,
+    "69": 47,
+    "72": 48,
+    "73": 49,
+    "74": 50,
+    "75": 51,
+    "76": 52,
+    "77": 53,
+    "79": 54,
+    "80": 55,
+    "81": 56,
+    "82": 57,
+    "84": 58,
+    "85": 59,
+    "86": 60,
+    "87": 61,
+    "88": 62,
+    "89": 63,
+    "90": 64,
+    "91": 65,
+    "92": 66,
+    "93": 67,
+    "94": 68,
+    "95": 69,
+    "96": 70,
+    "97": 71,
+    "98": 72,
+    "99": 73,
+    "100": 74,
+    "101": 75,
+    "103": 76,
+    "104": 77,
+    "105": 78,
+    "106": 79,
+    "107": 80,
+    "109": 81,
+    "110": 82,
+    "111": 83,
+    "112": 84,
+    "113": 85,
+    "114": 86,
+    "115": 87,
+    "116": 88,
+    "119": 89,
+    "121": 90,
+    "122": 91,
+    "123": 92,
+    "124": 93,
+    "125": 94,
+    "126": 95,
+    "127": 96
+  },
+  "29": {
+    "1": 0,
+    "2": 1,
+    "4": 2,
+    "6": 3,
+    "7": 4,
+    "8": 5,
+    "9": 6,
+    "10": 7,
+    "11": 8,
+    "14": 9,
+    "17": 10,
+    "18": 11,
+    "20": 12,
+    "21": 13,
+    "22": 14,
+    "23": 15,
+    "25": 16,
+    "26": 17,
+    "27": 18,
+    "28": 19,
+    "29": 20,
+    "30": 21,
+    "31": 22,
+    "35": 23,
+    "36": 24,
+    "37": 25,
+    "38": 26,
+    "40": 27,
+    "41": 28,
+    "42": 29,
+    "44": 30,
+    "45": 31,
+    "47": 32,
+    "48": 33,
+    "49": 34,
+    "50": 35,
+    "51": 36,
+    "52": 37,
+    "53": 38,
+    "54": 39,
+    "56": 40,
+    "57": 41,
+    "59": 42,
+    "60": 43,
+    "62": 44,
+    "64": 45,
+    "66": 46,
+    "67": 47,
+    "69": 48,
+    "70": 49,
+    "71": 50,
+    "73": 51,
+    "74": 52,
+    "75": 53,
+    "76": 54,
+    "77": 55,
+    "78": 56,
+    "79": 57,
+    "80": 58,
+    "81": 59,
+    "82": 60,
+    "83": 61,
+    "84": 62,
+    "85": 63,
+    "86": 64,
+    "87": 65,
+    "88": 66,
+    "89": 67,
+    "90": 68,
+    "91": 69,
+    "92": 70,
+    "93": 71,
+    "94": 72,
+    "95": 73,
+    "96": 74,
+    "97": 75,
+    "98": 76,
+    "100": 77,
+    "101": 78,
+    "102": 79,
+    "103": 80,
+    "104": 81,
+    "105": 82,
+    "106": 83,
+    "107": 84,
+    "109": 85,
+    "110": 86,
+    "112": 87,
+    "113": 88,
+    "114": 89,
+    "115": 90,
+    "117": 91,
+    "118": 92,
+    "119": 93,
+    "120": 94,
+    "122": 95,
+    "123": 96,
+    "124": 97,
+    "125": 98,
+    "126": 99
+  },
+  "30": {
+    "1": 0,
+    "2": 1,
+    "3": 2,
+    "5": 3,
+    "6": 4,
+    "7": 5,
+    "8": 6,
+    "9": 7,
+    "11": 8,
+    "12": 9,
+    "13": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "19": 15,
+    "20": 16,
+    "21": 17,
+    "22": 18,
+    "23": 19,
+    "24": 20,
+    "25": 21,
+    "26": 22,
+    "27": 23,
+    "28": 24,
+    "30": 25,
+    "31": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "36": 30,
+    "37": 31,
+    "38": 32,
+    "39": 33,
+    "40": 34,
+    "41": 35,
+    "42": 36,
+    "43": 37,
+    "44": 38,
+    "45": 39,
+    "46": 40,
+    "47": 41,
+    "48": 42,
+    "50": 43,
+    "52": 44,
+    "53": 45,
+    "55": 46,
+    "56": 47,
+    "59": 48,
+    "60": 49,
+    "61": 50,
+    "62": 51,
+    "64": 52,
+    "65": 53,
+    "66": 54,
+    "67": 55,
+    "68": 56,
+    "69": 57,
+    "70": 58,
+    "71": 59,
+    "72": 60,
+    "75": 61,
+    "79": 62,
+    "80": 63,
+    "81": 64,
+    "82": 65,
+    "83": 66,
+    "84": 67,
+    "86": 68,
+    "87": 69,
+    "88": 70,
+    "89": 71,
+    "90": 72,
+    "91": 73,
+    "92": 74,
+    "93": 75,
+    "95": 76,
+    "96": 77,
+    "97": 78,
+    "98": 79,
+    "99": 80,
+    "100": 81,
+    "101": 82,
+    "102": 83,
+    "103": 84,
+    "105": 85,
+    "107": 86,
+    "108": 87,
+    "109": 88,
+    "110": 89,
+    "111": 90,
+    "112": 91,
+    "114": 92,
+    "115": 93,
+    "117": 94,
+    "118": 95,
+    "119": 96,
+    "120": 97,
+    "121": 98,
+    "122": 99,
+    "124": 100,
+    "125": 101,
+    "126": 102,
+    "127": 103
+  },
+  "31": {
+    "1": 0,
+    "2": 1,
+    "3": 2,
+    "4": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "9": 7,
+    "10": 8,
+    "12": 9,
+    "13": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "18": 14,
+    "19": 15,
+    "20": 16,
+    "21": 17,
+    "23": 18,
+    "24": 19,
+    "25": 20,
+    "26": 21,
+    "27": 22,
+    "28": 23,
+    "29": 24,
+    "30": 25,
+    "31": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "36": 30,
+    "37": 31,
+    "38": 32,
+    "39": 33,
+    "40": 34,
+    "41": 35,
+    "42": 36,
+    "43": 37,
+    "44": 38,
+    "45": 39,
+    "46": 40,
+    "47": 41,
+    "48": 42,
+    "49": 43,
+    "50": 44,
+    "51": 45,
+    "52": 46,
+    "53": 47,
+    "54": 48,
+    "55": 49,
+    "57": 50,
+    "58": 51,
+    "59": 52,
+    "60": 53,
+    "61": 54,
+    "62": 55,
+    "63": 56,
+    "64": 57,
+    "65": 58,
+    "66": 59,
+    "68": 60,
+    "69": 61,
+    "70": 62,
+    "71": 63,
+    "72": 64,
+    "73": 65,
+    "74": 66,
+    "78": 67,
+    "79": 68,
+    "80": 69,
+    "81": 70,
+    "82": 71,
+    "83": 72,
+    "84": 73,
+    "85": 74,
+    "86": 75,
+    "87": 76,
+    "88": 77,
+    "89": 78,
+    "90": 79,
+    "91": 80,
+    "92": 81,
+    "93": 82,
+    "95": 83,
+    "96": 84,
+    "97": 85,
+    "98": 86,
+    "99": 87,
+    "100": 88,
+    "102": 89,
+    "103": 90,
+    "104": 91,
+    "105": 92,
+    "106": 93,
+    "107": 94,
+    "108": 95,
+    "109": 96,
+    "110": 97,
+    "111": 98,
+    "112": 99,
+    "113": 100,
+    "114": 101,
+    "115": 102,
+    "116": 103,
+    "117": 104,
+    "118": 105,
+    "119": 106,
+    "120": 107,
+    "122": 108,
+    "123": 109,
+    "124": 110,
+    "126": 111,
+    "127": 112
+  },
+  "32": {
+    "0": 0,
+    "1": 1,
+    "2": 2,
+    "3": 3,
+    "4": 4,
+    "6": 5,
+    "7": 6,
+    "9": 7,
+    "10": 8,
+    "11": 9,
+    "12": 10,
+    "13": 11,
+    "15": 12,
+    "16": 13,
+    "17": 14,
+    "18": 15,
+    "19": 16,
+    "20": 17,
+    "21": 18,
+    "22": 19,
+    "23": 20,
+    "25": 21,
+    "26": 22,
+    "29": 23,
+    "30": 24,
+    "31": 25,
+    "32": 26,
+    "33": 27,
+    "34": 28,
+    "35": 29,
+    "38": 30,
+    "40": 31,
+    "42": 32,
+    "44": 33,
+    "47": 34,
+    "48": 35,
+    "49": 36,
+    "50": 37,
+    "51": 38,
+    "52": 39,
+    "53": 40,
+    "54": 41,
+    "55": 42,
+    "57": 43,
+    "58": 44,
+    "59": 45,
+    "62": 46,
+    "63": 47,
+    "64": 48,
+    "65": 49,
+    "66": 50,
+    "67": 51,
+    "68": 52,
+    "69": 53,
+    "70": 54,
+    "71": 55,
+    "73": 56,
+    "75": 57,
+    "76": 58,
+    "77": 59,
+    "78": 60,
+    "79": 61,
+    "82": 62,
+    "83": 63,
+    "85": 64,
+    "86": 65,
+    "87": 66,
+    "88": 67,
+    "89": 68,
+    "90": 69,
+    "91": 70,
+    "92": 71,
+    "93": 72,
+    "94": 73,
+    "95": 74,
+    "97": 75,
+    "98": 76,
+    "100": 77,
+    "101": 78,
+    "102": 79,
+    "103": 80,
+    "104": 81,
+    "105": 82,
+    "106": 83,
+    "107": 84,
+    "108": 85,
+    "109": 86,
+    "110": 87,
+    "111": 88,
+    "112": 89,
+    "113": 90,
+    "114": 91,
+    "116": 92,
+    "118": 93,
+    "119": 94,
+    "120": 95,
+    "121": 96,
+    "122": 97,
+    "123": 98,
+    "124": 99,
+    "126": 100,
+    "127": 101
+  },
+  "33": {
+    "1": 0,
+    "2": 1,
+    "3": 2,
+    "4": 3,
+    "5": 4,
+    "6": 5,
+    "7": 6,
+    "8": 7,
+    "9": 8,
+    "10": 9,
+    "11": 10,
+    "14": 11,
+    "15": 12,
+    "16": 13,
+    "19": 14,
+    "20": 15,
+    "21": 16,
+    "22": 17,
+    "25": 18,
+    "26": 19,
+    "27": 20,
+    "28": 21,
+    "29": 22,
+    "31": 23,
+    "32": 24,
+    "34": 25,
+    "35": 26,
+    "36": 27,
+    "37": 28,
+    "38": 29,
+    "40": 30,
+    "41": 31,
+    "42": 32,
+    "45": 33,
+    "46": 34,
+    "47": 35,
+    "48": 36,
+    "49": 37,
+    "50": 38,
+    "51": 39,
+    "52": 40,
+    "53": 41,
+    "54": 42,
+    "55": 43,
+    "56": 44,
+    "57": 45,
+    "59": 46,
+    "60": 47,
+    "61": 48,
+    "65": 49,
+    "66": 50,
+    "67": 51,
+    "68": 52,
+    "70": 53,
+    "72": 54,
+    "74": 55,
+    "75": 56,
+    "76": 57,
+    "79": 58,
+    "80": 59,
+    "82": 60,
+    "83": 61,
+    "85": 62,
+    "87": 63,
+    "88": 64,
+    "92": 65,
+    "93": 66,
+    "95": 67,
+    "96": 68,
+    "97": 69,
+    "98": 70,
+    "99": 71,
+    "100": 72,
+    "101": 73,
+    "102": 74,
+    "105": 75,
+    "106": 76,
+    "107": 77,
+    "109": 78,
+    "110": 79,
+    "111": 80,
+    "112": 81,
+    "113": 82,
+    "114": 83,
+    "115": 84,
+    "116": 85,
+    "117": 86,
+    "118": 87,
+    "119": 88,
+    "120": 89,
+    "121": 90,
+    "125": 91,
+    "126": 92
+  },
+  "34": {
+    "1": 0,
+    "2": 1,
+    "4": 2,
+    "5": 3,
+    "6": 4,
+    "8": 5,
+    "9": 6,
+    "11": 7,
+    "12": 8,
+    "13": 9,
+    "14": 10,
+    "15": 11,
+    "16": 12,
+    "17": 13,
+    "18": 14,
+    "19": 15,
+    "20": 16,
+    "21": 17,
+    "22": 18,
+    "24": 19,
+    "25": 20,
+    "26": 21,
+    "28": 22,
+    "30": 23,
+    "31": 24,
+    "35": 25,
+    "36": 26,
+    "37": 27,
+    "38": 28,
+    "39": 29,
+    "40": 30,
+    "42": 31,
+    "44": 32,
+    "46": 33,
+    "47": 34,
+    "48": 35,
+    "49": 36,
+    "53": 37,
+    "54": 38,
+    "56": 39,
+    "57": 40,
+    "58": 41,
+    "59": 42,
+    "60": 43,
+    "61": 44,
+    "63": 45,
+    "64": 46,
+    "67": 47,
+    "70": 48,
+    "71": 49,
+    "73": 50,
+    "75": 51,
+    "76": 52,
+    "77": 53,
+    "78": 54,
+    "79": 55,
+    "80": 56,
+    "82": 57,
+    "83": 58,
+    "85": 59,
+    "86": 60,
+    "87": 61,
+    "88": 62,
+    "89": 63,
+    "90": 64,
+    "91": 65,
+    "92": 66,
+    "93": 67,
+    "94": 68,
+    "95": 69,
+    "96": 70,
+    "97": 71,
+    "98": 72,
+    "99": 73,
+    "101": 74,
+    "102": 75,
+    "103": 76,
+    "104": 77,
+    "105": 78,
+    "106": 79,
+    "107": 80,
+    "108": 81,
+    "109": 82,
+    "110": 83,
+    "112": 84,
+    "113": 85,
+    "114": 86,
+    "115": 87,
+    "116": 88,
+    "119": 89,
+    "121": 90,
+    "122": 91,
+    "124": 92,
+    "125": 93
+  },
+  "35": {
+    "0": 0,
+    "2": 1,
+    "3": 2,
+    "4": 3,
+    "5": 4,
+    "7": 5,
+    "8": 6,
+    "9": 7,
+    "11": 8,
+    "12": 9,
+    "14": 10,
+    "16": 11,
+    "17": 12,
+    "18": 13,
+    "19": 14,
+    "21": 15,
+    "22": 16,
+    "23": 17,
+    "24": 18,
+    "25": 19,
+    "26": 20,
+    "28": 21,
+    "30": 22,
+    "31": 23,
+    "32": 24,
+    "33": 25,
+    "34": 26,
+    "36": 27,
+    "37": 28,
+    "38": 29,
+    "40": 30,
+    "41": 31,
+    "42": 32,
+    "43": 33,
+    "44": 34,
+    "48": 35,
+    "50": 36,
+    "51": 37,
+    "52": 38,
+    "53": 39,
+    "54": 40,
+    "58": 41,
+    "59": 42,
+    "60": 43,
+    "62": 44,
+    "63": 45,
+    "65": 46,
+    "67": 47,
+    "71": 48,
+    "73": 49,
+    "75": 50,
+    "76": 51,
+    "77": 52,
+    "78": 53,
+    "79": 54,
+    "81": 55,
+    "82": 56,
+    "83": 57,
+    "88": 58,
+    "89": 59,
+    "91": 60,
+    "93": 61,
+    "95": 62,
+    "96": 63,
+    "98": 64,
+    "99": 65,
+    "100": 66,
+    "101": 67,
+    "102": 68,
+    "105": 69,
+    "106": 70,
+    "111": 71,
+    "112": 72,
+    "113": 73,
+    "114": 74,
+    "116": 75,
+    "117": 76,
+    "118": 77,
+    "123": 78,
+    "124": 79,
+    "125": 80,
+    "126": 81
+  }
+}