{
    "oldstat": {
        "9606": {
            "species": "Homo sapiens",
            "glycans": 19496,
            "proteins": 20592,
            "glycoproteins": 11572
        },
        "10090": {
            "species": "Mus musculus",
            "glycans": 10042,
            "proteins": 21968,
            "glycoproteins": 6992
        },
        "10116": {
            "species": "Rattus norvegicus",
            "glycans": 4315,
            "proteins": 22816,
            "glycoproteins": 2666
        },
        "7227": {
            "species": "Drosophila melanogaster",
            "glycans": 823,
            "proteins": 13821,
            "glycoproteins": 777
        },
        "2697049": {
            "species": "Severe acute respiratory syndrome coronavirus 2",
            "glycans": 1062,
            "proteins": 17,
            "glycoproteins": 4
        },
        "694009": {
            "species": "Severe acute respiratory syndrome-related coronavirus",
            "glycans": 77,
            "proteins": 15,
            "glycoproteins": 3
        },
        "63746": {
            "species": "Hepatitis C virus (isolate H)",
            "glycans": 14,
            "proteins": 1,
            "glycoproteins": 1
        },
        "11116": {
            "species": "Hepatitis C virus (isolate Japanese)",
            "glycans": 0,
            "proteins": 1,
            "glycoproteins": 1
        }
    },
    "newstat": {
        "protein": {
            "taxidlist": [
                "10090",
                "9606",
                "7227",
                "10116",
                "694009",
                "2697049",
                "63746",
                "11116"
            ],
            "byproteintype": {
                "typelist": [
                    "proteins",
                    "enzymes",
                    "glycoproteins"
                ],
                "10090_0": 21968,
                "9606_0": 20592,
                "7227_0": 13821,
                "10090_1": 4419,
                "10090_0|1": 4419,
                "10116_0": 22816,
                "10116_1": 3436,
                "10116_0|1": 3436,
                "10090_2": 6992,
                "10090_0|2": 6992,
                "10116_2": 2666,
                "10116_0|2": 2666,
                "7227_1": 2729,
                "7227_0|1": 2729,
                "9606_2": 11572,
                "9606_0|2": 11572,
                "9606_1": 4487,
                "9606_0|1": 4487,
                "9606_1|2": 2778,
                "9606_0|1|2": 2778,
                "7227_2": 777,
                "7227_0|2": 777,
                "10116_1|2": 690,
                "10116_0|1|2": 690,
                "10090_1|2": 1765,
                "10090_0|1|2": 1765,
                "7227_1|2": 224,
                "7227_0|1|2": 224,
                "694009_0": 15,
                "694009_1": 2,
                "694009_0|1": 2,
                "2697049_0": 17,
                "2697049_2": 4,
                "2697049_0|2": 4,
                "2697049_1": 2,
                "2697049_0|1": 2,
                "694009_2": 3,
                "694009_0|2": 3,
                "63746_0": 1,
                "63746_1": 1,
                "63746_0|1": 1,
                "63746_2": 1,
                "63746_0|2": 1,
                "63746_1|2": 1,
                "63746_0|1|2": 1,
                "11116_0": 1,
                "11116_1": 1,
                "11116_0|1": 1,
                "11116_2": 1,
                "11116_0|2": 1,
                "11116_1|2": 1,
                "11116_0|1|2": 1
            },
            "bysequencetype": {
                "typelist": [
                    "canonical",
                    "isoform"
                ],
                "10090_canonical": 21968,
                "10090_isoform": 63006,
                "9606_canonical": 20592,
                "9606_isoform": 100964,
                "7227_canonical": 13821,
                "7227_isoform": 23395,
                "10116_canonical": 22816,
                "10116_isoform": 49487,
                "694009_canonical": 15,
                "694009_isoform": 15,
                "2697049_canonical": 17,
                "2697049_isoform": 17,
                "63746_canonical": 1,
                "63746_isoform": 1,
                "11116_canonical": 1,
                "11116_isoform": 1
            },
            "bysitetype": {
                "typelist": [
                    "rwgs",
                    "rwogs",
                    "predicted"
                ],
                "10090_0": 4143,
                "10116_2": 1991,
                "9606_0": 8853,
                "9606_1": 2175,
                "9606_0|1": 1497,
                "7227_0": 284,
                "9606_2": 3596,
                "9606_0|2": 1239,
                "10116_0": 764,
                "10090_2": 3489,
                "9606_1|2": 1053,
                "9606_0|1|2": 737,
                "10090_1": 997,
                "10090_1|2": 651,
                "10090_0|2": 783,
                "10090_0|1": 710,
                "7227_1": 176,
                "7227_2": 396,
                "10116_1": 282,
                "10116_0|1": 163,
                "10090_0|1|2": 507,
                "10116_1|2": 167,
                "10116_0|2": 157,
                "10116_0|1|2": 116,
                "7227_1|2": 52,
                "7227_0|1": 20,
                "7227_0|2": 17,
                "7227_0|1|2": 10,
                "2697049_2": 2,
                "2697049_1": 2,
                "694009_0": 1,
                "694009_1": 3,
                "694009_0|1": 1,
                "2697049_0": 1,
                "2697049_0|1": 1,
                "694009_2": 1,
                "694009_1|2": 1,
                "63746_0": 1,
                "63746_1": 1,
                "63746_0|1": 1,
                "11116_1": 1,
                "11116_2": 1,
                "11116_1|2": 1
            },
            "glycohydrolases": {
                "7227": 41,
                "9606": 83,
                "10090": 77,
                "10116": 35
            },
            "glycosyltransferases": {
                "9606": 220,
                "10090": 194,
                "7227": 123,
                "10116": 97
            },
            "total": {
                "10090": 21968,
                "9606": 20592,
                "7227": 13821,
                "10116": 22816,
                "694009": 15,
                "2697049": 17,
                "63746": 1,
                "11116": 1
            }
        },
        "glycan": {
            "taxidlist": [
                "9606",
                "10114",
                "10090",
                "10116",
                "7227",
                "2697049",
                "694009",
                "11103",
                "63746"
            ],
            "byglycantype": {
                "Other_Other": 13904,
                "O-linked_Core 1": 1913,
                "O-linked_Core 2": 3819,
                "N-linked_Arm-fucosylated": 3981,
                "N-linked_Complex": 14076,
                "N-linked_Core-fucosylated": 9464,
                "N-linked_Alditol-reduced": 1484,
                "N-linked_Hybrid": 1538,
                "N-linked_Bisected": 4559,
                "N-linked_Truncated": 1506,
                "Glycosphingolipid_Lacto series": 1544,
                "Glycosphingolipid_Neo-lacto series": 1891,
                "GAG_Keratan sulfate": 58,
                "N-linked_High mannose": 983,
                "Glycosphingolipid_Isoglobo series": 161,
                "N-linked_Other": 1177,
                "O-linked_Core 3": 1031,
                "O-linked_Core 6": 677,
                "O-linked_O-GlcNAc": 6,
                "O-linked_Core 4": 808,
                "Glycosphingolipid_Globo series": 206,
                "Glycosphingolipid_Ganglio series": 772,
                "O-linked_O-mannose": 263,
                "O-linked_Core 5": 108,
                "O-linked_Core 7": 76,
                "GAG_Other": 613,
                "O-linked_O-fucose": 55,
                "Glycosphingolipid_Muco series": 105,
                "Glycosphingolipid_Gala series": 218,
                "Glycosphingolipid_Mollu series": 63,
                "N-linked_Paucimannose": 73,
                "Glycosphingolipid_Arthro series": 21,
                "GPI anchor_Other": 8
            },
            "bymotiftype": {
                "Type 2 LN": 12848,
                "3-Sialyl-LN (type 2)": 2638,
                "Type 2 LN2": 1449,
                "I antigen": 176,
                "Blood group H (type 2)": 422,
                "a-Gal antigen": 1120,
                "Lewis x": 2577,
                "Sialyl Lewis x": 291,
                "Type 1 LN": 2129,
                "Blood group A (type 2)": 261,
                "LacdiNAc": 815,
                "GL-7 globoseries ganglioside": 1,
                "Lewis y": 303,
                "Blood group H (type 2) - Lewis y": 296,
                "Fucosylated LDN": 109,
                "Blood group H (type 1)": 340,
                "Asialo-GM1": 1,
                "3'-Sulfo-Lewis x": 23,
                "i antigen": 277,
                "Type 1 LN2": 86,
                "Lewis a": 472,
                "Lewis b": 162,
                "4'-sulfated LDN": 134,
                "Sda/CT antigen": 88,
                "6-Sialyl-GalNAc": 205,
                "Sialylated LDN": 137,
                "2,6-sialyl-Sulfo-LN": 28,
                "Polysialic acid": 3,
                "GM2": 1,
                "Lex-Lex": 151,
                "VIM-2": 52,
                "Sialyl Lewis a": 108,
                "2,6-Branched O-mannose": 1,
                "GD1a": 2,
                "Blood group A (type 1)": 85,
                "HNK-1 antigen": 12,
                "Blood group A (type 2) - Lewis y": 17,
                "GH1ca": 1,
                "GT1aa": 1,
                "Blood group A (type 1) - Lewis b": 16,
                "SDLex": 27,
                "GP1ca": 1,
                "T antigen": 1,
                "Blood group A1 (type 3)": 10,
                "Blood group A2 (A-associated H type 3)": 20,
                "Blood group B (type 1)": 37,
                "Sialosyl paragloboside": 1,
                "Disialosyl globopentaosylceramide": 1,
                "2-Fucosyl-GM1": 1,
                "Blood group B (type 2)": 28,
                "Sulfo-isogloboside": 2,
                "Isoglobotetraosylceramide": 1,
                "Cytolipin R": 1,
                "GM1": 1,
                "3'-Sulfo-Lewis a": 3,
                "GT1a": 1,
                "O-Linked mannose": 1,
                "cisGM1": 1,
                "6-Sulfo-sialyl Lewis x": 11,
                "A antigen (type 3)": 1,
                "Mono-fucosyl LN3": 1,
                "Type 1 LN3": 1,
                "Paragloboside": 1,
                "LcGg4": 1,
                "Blood group B (type 1) - Lewis b": 10,
                "6,6'-bisSulfo-Lewis x": 1,
                "GD1b": 1,
                "Mono-sulfated globopentaosylceramide": 1,
                "GQ1c": 1,
                "para-Forssman glycolipid": 1,
                "Pk antigen": 1,
                "GM4": 1,
                "GT2": 1,
                "6'-Sulfo-sialyl Lewis x": 3,
                "B-GD1b": 1,
                "Globoside": 1,
                "GQ1ba": 1,
                "GL-6 fucosylated": 1,
                "Blood group H (type 4)": 1,
                "N-Glycolyl-GM2": 1,
                "Sialyl T antigen": 1,
                "Lactosylceramide": 1,
                "HNK-1 on O-mannose": 1,
                "GP1c": 1,
                "SLex Core 2 O-glycan": 1,
                "Di-sialyl T antigen": 1,
                "P1 antigen": 1,
                "Lactotriaosylceramide": 1,
                "GQ1aa": 1,
                "Seminolipid": 1,
                "Sulfatide": 1,
                "Ceramide dihexosyl sulfate": 1,
                "GD1": 1,
                "GD3": 1,
                "9-O-Acetyl GD3": 1,
                "GT1b": 1,
                "Mono-sulfated globotetraosylceramide": 1,
                "GM3": 1,
                "Mono-fucosyl LN5": 1,
                "O-Mannose Lex": 3,
                "Sialyl Tn antigen": 1,
                "Blood group A (type 4)": 1,
                "Galactosylceramide": 1,
                "Forssman glycolipid": 1,
                "GT1c": 1,
                "2-Fucosyl-GD1b": 1,
                "Diphosphorylated Man6": 1,
                "GQ1b": 1,
                "H antigen (type 3)": 1,
                "B-GM1": 1,
                "Gb5": 1,
                "SSEA-3": 1,
                "Glucosylceramide": 1,
                "GD2": 1,
                "Blood group B (type 4)": 1,
                "Monosulfated gangliotetraosylceramide": 1,
                "Sialopentaosylceramide": 1,
                "GT3": 1,
                "Tn antigen": 1
            },
            "bar_mass_ranges": [
                14423,
                17073,
                10396,
                2936,
                267,
                0,
                27,
                0,
                0,
                0
            ],
            "bar_sugar_ranges": [
                0,
                664,
                2892,
                4340,
                3755,
                3398,
                3822,
                3047,
                2827,
                2816,
                3161,
                3033,
                3014,
                1944,
                1801,
                1626,
                797,
                729,
                770,
                263,
                490
            ],
            "total": {
                "9606": 20388,
                "10114": 4495,
                "10090": 10466,
                "10116": 4289,
                "7227": 826,
                "2697049": 1173,
                "694009": 76,
                "11103": 35,
                "63746": 14
            },
            "0": 20388,
            "1": 4495,
            "0|1": 3671,
            "2": 10466,
            "0|2": 9587,
            "3": 4289,
            "0|3": 4008,
            "2|3": 3355,
            "0|2|3": 3925,
            "1|2": 2727,
            "1|3": 1680,
            "1|2|3": 1517,
            "0|1|2": 2959,
            "4": 826,
            "0|4": 950,
            "2|4": 866,
            "0|2|4": 1079,
            "3|4": 632,
            "0|3|4": 756,
            "2|3|4": 710,
            "0|2|3|4": 914,
            "0|1|3": 1669,
            "0|1|2|3": 1754,
            "5": 1173,
            "0|5": 1434,
            "1|5": 444,
            "0|1|5": 546,
            "2|5": 1319,
            "0|2|5": 1748,
            "1|2|5": 559,
            "0|1|2|5": 748,
            "3|5": 876,
            "0|3|5": 1125,
            "1|3|5": 424,
            "0|1|3|5": 527,
            "2|3|5": 1058,
            "0|2|3|5": 1463,
            "1|2|3|5": 540,
            "0|1|2|3|5": 730,
            "0|0": 1056,
            "0|0|1": 333,
            "0|0|2": 1222,
            "0|0|1|2": 402,
            "2|2": 425,
            "0|2|2": 639,
            "0|0|2|2": 219,
            "1|2|2": 168,
            "0|1|2|2": 269,
            "0|0|1|2|2": 105,
            "0|0|3": 562,
            "0|0|1|3": 215,
            "0|0|2|3": 745,
            "0|0|1|2|3": 302,
            "2|2|3": 303,
            "0|2|2|3": 504,
            "0|0|2|2|3": 206,
            "1|2|2|3": 137,
            "0|1|2|2|3": 226,
            "0|0|1|2|2|3": 93,
            "0|0|4": 135,
            "1|4": 417,
            "0|1|4": 462,
            "0|0|1|4": 45,
            "0|0|2|4": 213,
            "1|2|4": 435,
            "0|1|2|4": 509,
            "0|0|1|2|4": 74,
            "2|2|4": 100,
            "0|2|2|4": 179,
            "0|0|2|2|4": 79,
            "1|2|2|4": 40,
            "0|1|2|2|4": 69,
            "0|0|1|2|2|4": 29,
            "0|0|3|4": 128,
            "1|3|4": 318,
            "0|1|3|4": 362,
            "0|0|1|3|4": 44,
            "0|0|2|3|4": 204,
            "1|2|3|4": 356,
            "0|1|2|3|4": 428,
            "0|0|1|2|3|4": 72,
            "2|2|3|4": 95,
            "0|2|2|3|4": 172,
            "0|0|2|2|3|4": 77,
            "1|2|2|3|4": 38,
            "0|1|2|2|3|4": 66,
            "0|0|1|2|2|3|4": 28,
            "0|0|5": 273,
            "0|0|1|5": 104,
            "0|0|2|5": 432,
            "0|0|1|2|5": 189,
            "2|2|5": 226,
            "0|2|2|5": 385,
            "0|0|2|2|5": 159,
            "1|2|2|5": 120,
            "0|1|2|2|5": 205,
            "0|0|1|2|2|5": 85,
            "0|0|3|5": 251,
            "0|0|1|3|5": 104,
            "0|0|2|3|5": 405,
            "0|0|1|2|3|5": 190,
            "2|2|3|5": 199,
            "0|2|2|3|5": 353,
            "0|0|2|2|3|5": 154,
            "1|2|2|3|5": 118,
            "0|1|2|2|3|5": 204,
            "0|0|1|2|2|3|5": 86,
            "4|5": 353,
            "0|4|5": 448,
            "0|0|4|5": 95,
            "1|4|5": 175,
            "0|1|4|5": 217,
            "0|0|1|4|5": 42,
            "2|4|5": 438,
            "0|2|4|5": 597,
            "0|0|2|4|5": 159,
            "1|2|4|5": 226,
            "0|1|2|4|5": 302,
            "0|0|1|2|4|5": 76,
            "2|2|4|5": 85,
            "0|2|2|4|5": 149,
            "0|0|2|2|4|5": 64,
            "1|2|2|4|5": 51,
            "0|1|2|2|4|5": 85,
            "0|0|1|2|2|4|5": 34,
            "3|4|5": 328,
            "0|3|4|5": 416,
            "0|0|3|4|5": 88,
            "1|3|4|5": 173,
            "0|1|3|4|5": 215,
            "0|0|1|3|4|5": 42,
            "2|3|4|5": 408,
            "0|2|3|4|5": 555,
            "0|0|2|3|4|5": 147,
            "1|2|3|4|5": 225,
            "0|1|2|3|4|5": 302,
            "0|0|1|2|3|4|5": 77,
            "2|2|3|4|5": 80,
            "0|2|2|3|4|5": 139,
            "0|0|2|2|3|4|5": 59,
            "1|2|2|3|4|5": 52,
            "0|1|2|2|3|4|5": 87,
            "0|0|1|2|2|3|4|5": 35,
            "5|5": 112,
            "0|5|5": 176,
            "0|0|5|5": 64,
            "2|5|5": 180,
            "0|2|5|5": 298,
            "0|0|2|5|5": 118,
            "2|2|5|5": 77,
            "0|2|2|5|5": 131,
            "0|0|2|2|5|5": 54,
            "4|5|5": 30,
            "0|4|5|5": 52,
            "0|0|4|5|5": 22,
            "2|4|5|5": 58,
            "0|2|4|5|5": 100,
            "0|0|2|4|5|5": 42,
            "2|2|4|5|5": 28,
            "0|2|2|4|5|5": 48,
            "0|0|2|2|4|5|5": 20,
            "6": 76,
            "0|6": 117,
            "0|0|6": 41,
            "2|6": 116,
            "0|2|6": 193,
            "0|0|2|6": 77,
            "2|2|6": 40,
            "0|2|2|6": 76,
            "0|0|2|2|6": 36,
            "4|6": 19,
            "0|4|6": 35,
            "0|0|4|6": 16,
            "2|4|6": 37,
            "0|2|4|6": 69,
            "0|0|2|4|6": 32,
            "2|2|4|6": 18,
            "0|2|2|4|6": 34,
            "0|0|2|2|4|6": 16,
            "5|6": 119,
            "0|5|6": 199,
            "0|0|5|6": 80,
            "2|5|6": 198,
            "0|2|5|6": 349,
            "0|0|2|5|6": 151,
            "2|2|5|6": 79,
            "0|2|2|5|6": 150,
            "0|0|2|2|5|6": 71,
            "4|5|6": 37,
            "0|4|5|6": 69,
            "0|0|4|5|6": 32,
            "2|4|5|6": 73,
            "0|2|4|5|6": 137,
            "0|0|2|4|5|6": 64,
            "2|2|4|5|6": 36,
            "0|2|2|4|5|6": 68,
            "0|0|2|2|4|5|6": 32,
            "5|5|6": 43,
            "0|5|5|6": 82,
            "0|0|5|5|6": 39,
            "2|5|5|6": 82,
            "0|2|5|5|6": 156,
            "0|0|2|5|5|6": 74,
            "2|2|5|5|6": 39,
            "0|2|2|5|5|6": 74,
            "0|0|2|2|5|5|6": 35,
            "4|5|5|6": 18,
            "0|4|5|5|6": 34,
            "0|0|4|5|5|6": 16,
            "2|4|5|5|6": 36,
            "0|2|4|5|5|6": 68,
            "0|0|2|4|5|5|6": 32,
            "2|2|4|5|5|6": 18,
            "0|2|2|4|5|5|6": 34,
            "0|0|2|2|4|5|5|6": 16,
            "1|5|5": 55,
            "0|1|5|5": 90,
            "1|2|5|5": 102,
            "0|1|2|5|5": 171,
            "1|2|2|5|5": 47,
            "0|1|2|2|5|5": 81,
            "3|5|5": 79,
            "0|3|5|5": 137,
            "1|3|5|5": 50,
            "0|1|3|5|5": 85,
            "2|3|5|5": 144,
            "0|2|3|5|5": 253,
            "1|2|3|5|5": 96,
            "0|1|2|3|5|5": 165,
            "2|2|3|5|5": 66,
            "0|2|2|3|5|5": 117,
            "1|2|2|3|5|5": 46,
            "0|1|2|2|3|5|5": 80,
            "1|4|5|5": 20,
            "0|1|4|5|5": 33,
            "1|2|4|5|5": 40,
            "0|1|2|4|5|5": 66,
            "1|2|2|4|5|5": 20,
            "0|1|2|2|4|5|5": 33,
            "3|4|5|5": 26,
            "0|3|4|5|5": 44,
            "1|3|4|5|5": 20,
            "0|1|3|4|5|5": 33,
            "2|3|4|5|5": 51,
            "0|2|3|4|5|5": 86,
            "1|2|3|4|5|5": 40,
            "0|1|2|3|4|5|5": 66,
            "2|2|3|4|5|5": 25,
            "0|2|2|3|4|5|5": 42,
            "1|2|2|3|4|5|5": 20,
            "0|1|2|2|3|4|5|5": 33,
            "7": 35,
            "0|7": 37,
            "2|7": 37,
            "0|2|7": 39,
            "3|7": 34,
            "0|3|7": 36,
            "2|3|7": 36,
            "0|2|3|7": 38,
            "3|3": 62,
            "0|3|3": 96,
            "0|0|3|3": 34,
            "2|3|3": 63,
            "0|2|3|3": 103,
            "0|0|2|3|3": 40,
            "1|1": 43,
            "1|1|2": 38,
            "0|1|1": 52,
            "0|1|1|2": 47,
            "1|1|3": 22,
            "0|1|1|3": 30,
            "1|1|2|3": 21,
            "0|1|1|2|3": 29,
            "0|0|1|5|5": 35,
            "0|0|1|2|5|5": 69,
            "0|0|1|2|2|5|5": 34,
            "0|0|3|5|5": 58,
            "0|0|1|3|5|5": 35,
            "0|0|2|3|5|5": 109,
            "0|0|1|2|3|5|5": 69,
            "0|0|2|2|3|5|5": 51,
            "0|0|1|2|2|3|5|5": 34,
            "0|0|1|4|5|5": 13,
            "0|0|1|2|4|5|5": 26,
            "0|0|1|2|2|4|5|5": 13,
            "0|0|3|4|5|5": 18,
            "0|0|1|3|4|5|5": 13,
            "0|0|2|3|4|5|5": 35,
            "0|0|1|2|3|4|5|5": 26,
            "0|0|2|2|3|4|5|5": 17,
            "0|0|1|2|2|3|4|5|5": 13,
            "1|6": 38,
            "0|1|6": 64,
            "0|0|1|6": 26,
            "1|2|6": 65,
            "0|1|2|6": 115,
            "0|0|1|2|6": 50,
            "1|2|2|6": 27,
            "0|1|2|2|6": 51,
            "0|0|1|2|2|6": 24,
            "3|6": 66,
            "0|3|6": 106,
            "0|0|3|6": 40,
            "1|3|6": 38,
            "0|1|3|6": 64,
            "0|0|1|3|6": 26,
            "2|3|6": 105,
            "0|2|3|6": 180,
            "0|0|2|3|6": 75,
            "1|2|3|6": 65,
            "0|1|2|3|6": 115,
            "0|0|1|2|3|6": 50,
            "2|2|3|6": 39,
            "0|2|2|3|6": 74,
            "0|0|2|2|3|6": 35,
            "1|2|2|3|6": 27,
            "0|1|2|2|3|6": 51,
            "0|0|1|2|2|3|6": 24,
            "1|4|6": 14,
            "0|1|4|6": 26,
            "0|0|1|4|6": 12,
            "1|2|4|6": 28,
            "0|1|2|4|6": 52,
            "0|0|1|2|4|6": 24,
            "1|2|2|4|6": 14,
            "0|1|2|2|4|6": 26,
            "0|0|1|2|2|4|6": 12,
            "3|4|6": 17,
            "0|3|4|6": 32,
            "0|0|3|4|6": 15,
            "1|3|4|6": 14,
            "0|1|3|4|6": 26,
            "0|0|1|3|4|6": 12,
            "2|3|4|6": 34,
            "0|2|3|4|6": 64,
            "0|0|2|3|4|6": 30,
            "1|2|3|4|6": 28,
            "0|1|2|3|4|6": 52,
            "0|0|1|2|3|4|6": 24,
            "2|2|3|4|6": 17,
            "0|2|2|3|4|6": 32,
            "0|0|2|2|3|4|6": 15,
            "1|2|2|3|4|6": 14,
            "0|1|2|2|3|4|6": 26,
            "0|0|1|2|2|3|4|6": 12,
            "1|5|6": 65,
            "0|1|5|6": 115,
            "0|0|1|5|6": 50,
            "1|2|5|6": 118,
            "0|1|2|5|6": 215,
            "0|0|1|2|5|6": 97,
            "1|2|2|5|6": 53,
            "0|1|2|2|5|6": 100,
            "0|0|1|2|2|5|6": 47,
            "3|5|6": 108,
            "0|3|5|6": 186,
            "0|0|3|5|6": 78,
            "1|3|5|6": 65,
            "0|1|3|5|6": 115,
            "0|0|1|3|5|6": 50,
            "2|3|5|6": 185,
            "0|2|3|5|6": 332,
            "0|0|2|3|5|6": 147,
            "1|2|3|5|6": 118,
            "0|1|2|3|5|6": 215,
            "0|0|1|2|3|5|6": 97,
            "2|2|3|5|6": 77,
            "0|2|2|3|5|6": 146,
            "0|0|2|2|3|5|6": 69,
            "1|2|2|3|5|6": 53,
            "0|1|2|2|3|5|6": 100,
            "0|0|1|2|2|3|5|6": 47,
            "1|4|5|6": 28,
            "0|1|4|5|6": 52,
            "0|0|1|4|5|6": 24,
            "1|2|4|5|6": 56,
            "0|1|2|4|5|6": 104,
            "0|0|1|2|4|5|6": 48,
            "1|2|2|4|5|6": 28,
            "0|1|2|2|4|5|6": 52,
            "0|0|1|2|2|4|5|6": 24,
            "3|4|5|6": 34,
            "0|3|4|5|6": 64,
            "0|0|3|4|5|6": 30,
            "1|3|4|5|6": 28,
            "0|1|3|4|5|6": 52,
            "0|0|1|3|4|5|6": 24,
            "2|3|4|5|6": 68,
            "0|2|3|4|5|6": 128,
            "0|0|2|3|4|5|6": 60,
            "1|2|3|4|5|6": 56,
            "0|1|2|3|4|5|6": 104,
            "0|0|1|2|3|4|5|6": 48,
            "2|2|3|4|5|6": 34,
            "0|2|2|3|4|5|6": 64,
            "0|0|2|2|3|4|5|6": 30,
            "1|2|2|3|4|5|6": 28,
            "0|1|2|2|3|4|5|6": 52,
            "0|0|1|2|2|3|4|5|6": 24,
            "1|5|5|6": 27,
            "0|1|5|5|6": 51,
            "0|0|1|5|5|6": 24,
            "1|2|5|5|6": 53,
            "0|1|2|5|5|6": 100,
            "0|0|1|2|5|5|6": 47,
            "1|2|2|5|5|6": 26,
            "0|1|2|2|5|5|6": 49,
            "0|0|1|2|2|5|5|6": 23,
            "3|5|5|6": 42,
            "0|3|5|5|6": 80,
            "0|0|3|5|5|6": 38,
            "1|3|5|5|6": 27,
            "0|1|3|5|5|6": 51,
            "0|0|1|3|5|5|6": 24,
            "2|3|5|5|6": 80,
            "0|2|3|5|5|6": 152,
            "0|0|2|3|5|5|6": 72,
            "1|2|3|5|5|6": 53,
            "0|1|2|3|5|5|6": 100,
            "0|0|1|2|3|5|5|6": 47,
            "2|2|3|5|5|6": 38,
            "0|2|2|3|5|5|6": 72,
            "0|0|2|2|3|5|5|6": 34,
            "1|2|2|3|5|5|6": 26,
            "0|1|2|2|3|5|5|6": 49,
            "0|0|1|2|2|3|5|5|6": 23,
            "1|4|5|5|6": 14,
            "0|1|4|5|5|6": 26,
            "0|0|1|4|5|5|6": 12,
            "1|2|4|5|5|6": 28,
            "0|1|2|4|5|5|6": 52,
            "0|0|1|2|4|5|5|6": 24,
            "1|2|2|4|5|5|6": 14,
            "0|1|2|2|4|5|5|6": 26,
            "0|0|1|2|2|4|5|5|6": 12,
            "3|4|5|5|6": 17,
            "0|3|4|5|5|6": 32,
            "0|0|3|4|5|5|6": 15,
            "1|3|4|5|5|6": 14,
            "0|1|3|4|5|5|6": 26,
            "0|0|1|3|4|5|5|6": 12,
            "2|3|4|5|5|6": 34,
            "0|2|3|4|5|5|6": 64,
            "0|0|2|3|4|5|5|6": 30,
            "1|2|3|4|5|5|6": 28,
            "0|1|2|3|4|5|5|6": 52,
            "0|0|1|2|3|4|5|5|6": 24,
            "2|2|3|4|5|5|6": 17,
            "0|2|2|3|4|5|5|6": 32,
            "0|0|2|2|3|4|5|5|6": 15,
            "1|2|2|3|4|5|5|6": 14,
            "0|1|2|2|3|4|5|5|6": 26,
            "0|0|1|2|2|3|4|5|5|6": 12,
            "8": 14,
            "0|8": 24,
            "0|0|8": 10,
            "1|8": 11,
            "0|1|8": 19,
            "0|0|1|8": 8,
            "2|8": 25,
            "0|2|8": 44,
            "0|0|2|8": 19,
            "1|2|8": 19,
            "0|1|2|8": 34,
            "0|0|1|2|8": 15,
            "2|2|8": 11,
            "0|2|2|8": 20,
            "0|0|2|2|8": 9,
            "1|2|2|8": 8,
            "0|1|2|2|8": 15,
            "0|0|1|2|2|8": 7,
            "3|8": 11,
            "0|3|8": 20,
            "0|0|3|8": 9,
            "1|3|8": 8,
            "0|1|3|8": 15,
            "0|0|1|3|8": 7,
            "2|3|8": 22,
            "0|2|3|8": 40,
            "0|0|2|3|8": 18,
            "1|2|3|8": 16,
            "0|1|2|3|8": 30,
            "0|0|1|2|3|8": 14,
            "2|2|3|8": 11,
            "0|2|2|3|8": 20,
            "0|0|2|2|3|8": 9,
            "1|2|2|3|8": 8,
            "0|1|2|2|3|8": 15,
            "0|0|1|2|2|3|8": 7,
            "4|8": 12,
            "0|4|8": 21,
            "0|0|4|8": 9,
            "1|4|8": 9,
            "0|1|4|8": 16,
            "0|0|1|4|8": 7,
            "2|4|8": 23,
            "0|2|4|8": 41,
            "0|0|2|4|8": 18,
            "1|2|4|8": 17,
            "0|1|2|4|8": 31,
            "0|0|1|2|4|8": 14,
            "2|2|4|8": 11,
            "0|2|2|4|8": 20,
            "0|0|2|2|4|8": 9,
            "1|2|2|4|8": 8,
            "0|1|2|2|4|8": 15,
            "0|0|1|2|2|4|8": 7,
            "3|4|8": 11,
            "0|3|4|8": 20,
            "0|0|3|4|8": 9,
            "1|3|4|8": 8,
            "0|1|3|4|8": 15,
            "0|0|1|3|4|8": 7,
            "2|3|4|8": 22,
            "0|2|3|4|8": 40,
            "0|0|2|3|4|8": 18,
            "1|2|3|4|8": 16,
            "0|1|2|3|4|8": 30,
            "0|0|1|2|3|4|8": 14,
            "2|2|3|4|8": 11,
            "0|2|2|3|4|8": 20,
            "0|0|2|2|3|4|8": 9,
            "1|2|2|3|4|8": 8,
            "0|1|2|2|3|4|8": 15,
            "0|0|1|2|2|3|4|8": 7,
            "5|8": 23,
            "0|5|8": 41,
            "0|0|5|8": 18,
            "1|5|8": 17,
            "0|1|5|8": 31,
            "0|0|1|5|8": 14,
            "2|5|8": 45,
            "0|2|5|8": 81,
            "0|0|2|5|8": 36,
            "1|2|5|8": 33,
            "0|1|2|5|8": 61,
            "0|0|1|2|5|8": 28,
            "2|2|5|8": 22,
            "0|2|2|5|8": 40,
            "0|0|2|2|5|8": 18,
            "1|2|2|5|8": 16,
            "0|1|2|2|5|8": 30,
            "0|0|1|2|2|5|8": 14,
            "3|5|8": 22,
            "0|3|5|8": 40,
            "0|0|3|5|8": 18,
            "1|3|5|8": 16,
            "0|1|3|5|8": 30,
            "0|0|1|3|5|8": 14,
            "2|3|5|8": 44,
            "0|2|3|5|8": 80,
            "0|0|2|3|5|8": 36,
            "1|2|3|5|8": 32,
            "0|1|2|3|5|8": 60,
            "0|0|1|2|3|5|8": 28,
            "2|2|3|5|8": 22,
            "0|2|2|3|5|8": 40,
            "0|0|2|2|3|5|8": 18,
            "1|2|2|3|5|8": 16,
            "0|1|2|2|3|5|8": 30,
            "0|0|1|2|2|3|5|8": 14,
            "4|5|8": 23,
            "0|4|5|8": 41,
            "0|0|4|5|8": 18,
            "1|4|5|8": 17,
            "0|1|4|5|8": 31,
            "0|0|1|4|5|8": 14,
            "2|4|5|8": 45,
            "0|2|4|5|8": 81,
            "0|0|2|4|5|8": 36,
            "1|2|4|5|8": 33,
            "0|1|2|4|5|8": 61,
            "0|0|1|2|4|5|8": 28,
            "2|2|4|5|8": 22,
            "0|2|2|4|5|8": 40,
            "0|0|2|2|4|5|8": 18,
            "1|2|2|4|5|8": 16,
            "0|1|2|2|4|5|8": 30,
            "0|0|1|2|2|4|5|8": 14,
            "3|4|5|8": 22,
            "0|3|4|5|8": 40,
            "0|0|3|4|5|8": 18,
            "1|3|4|5|8": 16,
            "0|1|3|4|5|8": 30,
            "0|0|1|3|4|5|8": 14,
            "2|3|4|5|8": 44,
            "0|2|3|4|5|8": 80,
            "0|0|2|3|4|5|8": 36,
            "1|2|3|4|5|8": 32,
            "0|1|2|3|4|5|8": 60,
            "0|0|1|2|3|4|5|8": 28,
            "2|2|3|4|5|8": 22,
            "0|2|2|3|4|5|8": 40,
            "0|0|2|2|3|4|5|8": 18,
            "1|2|2|3|4|5|8": 16,
            "0|1|2|2|3|4|5|8": 30,
            "0|0|1|2|2|3|4|5|8": 14,
            "5|5|8": 11,
            "0|5|5|8": 20,
            "0|0|5|5|8": 9,
            "1|5|5|8": 8,
            "0|1|5|5|8": 15,
            "0|0|1|5|5|8": 7,
            "2|5|5|8": 22,
            "0|2|5|5|8": 40,
            "0|0|2|5|5|8": 18,
            "1|2|5|5|8": 16,
            "0|1|2|5|5|8": 30,
            "0|0|1|2|5|5|8": 14,
            "2|2|5|5|8": 11,
            "0|2|2|5|5|8": 20,
            "0|0|2|2|5|5|8": 9,
            "1|2|2|5|5|8": 8,
            "0|1|2|2|5|5|8": 15,
            "0|0|1|2|2|5|5|8": 7,
            "3|5|5|8": 11,
            "0|3|5|5|8": 20,
            "0|0|3|5|5|8": 9,
            "1|3|5|5|8": 8,
            "0|1|3|5|5|8": 15,
            "0|0|1|3|5|5|8": 7,
            "2|3|5|5|8": 22,
            "0|2|3|5|5|8": 40,
            "0|0|2|3|5|5|8": 18,
            "1|2|3|5|5|8": 16,
            "0|1|2|3|5|5|8": 30,
            "0|0|1|2|3|5|5|8": 14,
            "2|2|3|5|5|8": 11,
            "0|2|2|3|5|5|8": 20,
            "0|0|2|2|3|5|5|8": 9,
            "1|2|2|3|5|5|8": 8,
            "0|1|2|2|3|5|5|8": 15,
            "0|0|1|2|2|3|5|5|8": 7,
            "4|5|5|8": 11,
            "0|4|5|5|8": 20,
            "0|0|4|5|5|8": 9,
            "1|4|5|5|8": 8,
            "0|1|4|5|5|8": 15,
            "0|0|1|4|5|5|8": 7,
            "2|4|5|5|8": 22,
            "0|2|4|5|5|8": 40,
            "0|0|2|4|5|5|8": 18,
            "1|2|4|5|5|8": 16,
            "0|1|2|4|5|5|8": 30,
            "0|0|1|2|4|5|5|8": 14,
            "2|2|4|5|5|8": 11,
            "0|2|2|4|5|5|8": 20,
            "0|0|2|2|4|5|5|8": 9,
            "1|2|2|4|5|5|8": 8,
            "0|1|2|2|4|5|5|8": 15,
            "0|0|1|2|2|4|5|5|8": 7,
            "3|4|5|5|8": 11,
            "0|3|4|5|5|8": 20,
            "0|0|3|4|5|5|8": 9,
            "1|3|4|5|5|8": 8,
            "0|1|3|4|5|5|8": 15,
            "0|0|1|3|4|5|5|8": 7,
            "2|3|4|5|5|8": 22,
            "0|2|3|4|5|5|8": 40,
            "0|0|2|3|4|5|5|8": 18,
            "1|2|3|4|5|5|8": 16,
            "0|1|2|3|4|5|5|8": 30,
            "0|0|1|2|3|4|5|5|8": 14,
            "2|2|3|4|5|5|8": 11,
            "0|2|2|3|4|5|5|8": 20,
            "0|0|2|2|3|4|5|5|8": 9,
            "1|2|2|3|4|5|5|8": 8,
            "0|1|2|2|3|4|5|5|8": 15,
            "0|0|1|2|2|3|4|5|5|8": 7,
            "6|8": 8,
            "0|6|8": 16,
            "0|0|6|8": 8,
            "1|6|8": 6,
            "0|1|6|8": 12,
            "0|0|1|6|8": 6,
            "2|6|8": 16,
            "0|2|6|8": 32,
            "0|0|2|6|8": 16,
            "1|2|6|8": 12,
            "0|1|2|6|8": 24,
            "0|0|1|2|6|8": 12,
            "2|2|6|8": 8,
            "0|2|2|6|8": 16,
            "0|0|2|2|6|8": 8,
            "1|2|2|6|8": 6,
            "0|1|2|2|6|8": 12,
            "0|0|1|2|2|6|8": 6,
            "3|6|8": 8,
            "0|3|6|8": 16,
            "0|0|3|6|8": 8,
            "1|3|6|8": 6,
            "0|1|3|6|8": 12,
            "0|0|1|3|6|8": 6,
            "2|3|6|8": 16,
            "0|2|3|6|8": 32,
            "0|0|2|3|6|8": 16,
            "1|2|3|6|8": 12,
            "0|1|2|3|6|8": 24,
            "0|0|1|2|3|6|8": 12,
            "2|2|3|6|8": 8,
            "0|2|2|3|6|8": 16,
            "0|0|2|2|3|6|8": 8,
            "1|2|2|3|6|8": 6,
            "0|1|2|2|3|6|8": 12,
            "0|0|1|2|2|3|6|8": 6,
            "4|6|8": 8,
            "0|4|6|8": 16,
            "0|0|4|6|8": 8,
            "1|4|6|8": 6,
            "0|1|4|6|8": 12,
            "0|0|1|4|6|8": 6,
            "2|4|6|8": 16,
            "0|2|4|6|8": 32,
            "0|0|2|4|6|8": 16,
            "1|2|4|6|8": 12,
            "0|1|2|4|6|8": 24,
            "0|0|1|2|4|6|8": 12,
            "2|2|4|6|8": 8,
            "0|2|2|4|6|8": 16,
            "0|0|2|2|4|6|8": 8,
            "1|2|2|4|6|8": 6,
            "0|1|2|2|4|6|8": 12,
            "0|0|1|2|2|4|6|8": 6,
            "3|4|6|8": 8,
            "0|3|4|6|8": 16,
            "0|0|3|4|6|8": 8,
            "1|3|4|6|8": 6,
            "0|1|3|4|6|8": 12,
            "0|0|1|3|4|6|8": 6,
            "2|3|4|6|8": 16,
            "0|2|3|4|6|8": 32,
            "0|0|2|3|4|6|8": 16,
            "1|2|3|4|6|8": 12,
            "0|1|2|3|4|6|8": 24,
            "0|0|1|2|3|4|6|8": 12,
            "2|2|3|4|6|8": 8,
            "0|2|2|3|4|6|8": 16,
            "0|0|2|2|3|4|6|8": 8,
            "1|2|2|3|4|6|8": 6,
            "0|1|2|2|3|4|6|8": 12,
            "0|0|1|2|2|3|4|6|8": 6,
            "5|6|8": 16,
            "0|5|6|8": 32,
            "0|0|5|6|8": 16,
            "1|5|6|8": 12,
            "0|1|5|6|8": 24,
            "0|0|1|5|6|8": 12,
            "2|5|6|8": 32,
            "0|2|5|6|8": 64,
            "0|0|2|5|6|8": 32,
            "1|2|5|6|8": 24,
            "0|1|2|5|6|8": 48,
            "0|0|1|2|5|6|8": 24,
            "2|2|5|6|8": 16,
            "0|2|2|5|6|8": 32,
            "0|0|2|2|5|6|8": 16,
            "1|2|2|5|6|8": 12,
            "0|1|2|2|5|6|8": 24,
            "0|0|1|2|2|5|6|8": 12,
            "3|5|6|8": 16,
            "0|3|5|6|8": 32,
            "0|0|3|5|6|8": 16,
            "1|3|5|6|8": 12,
            "0|1|3|5|6|8": 24,
            "0|0|1|3|5|6|8": 12,
            "2|3|5|6|8": 32,
            "0|2|3|5|6|8": 64,
            "0|0|2|3|5|6|8": 32,
            "1|2|3|5|6|8": 24,
            "0|1|2|3|5|6|8": 48,
            "0|0|1|2|3|5|6|8": 24,
            "2|2|3|5|6|8": 16,
            "0|2|2|3|5|6|8": 32,
            "0|0|2|2|3|5|6|8": 16,
            "1|2|2|3|5|6|8": 12,
            "0|1|2|2|3|5|6|8": 24,
            "0|0|1|2|2|3|5|6|8": 12,
            "4|5|6|8": 16,
            "0|4|5|6|8": 32,
            "0|0|4|5|6|8": 16,
            "1|4|5|6|8": 12,
            "0|1|4|5|6|8": 24,
            "0|0|1|4|5|6|8": 12,
            "2|4|5|6|8": 32,
            "0|2|4|5|6|8": 64,
            "0|0|2|4|5|6|8": 32,
            "1|2|4|5|6|8": 24,
            "0|1|2|4|5|6|8": 48,
            "0|0|1|2|4|5|6|8": 24,
            "2|2|4|5|6|8": 16,
            "0|2|2|4|5|6|8": 32,
            "0|0|2|2|4|5|6|8": 16,
            "1|2|2|4|5|6|8": 12,
            "0|1|2|2|4|5|6|8": 24,
            "0|0|1|2|2|4|5|6|8": 12,
            "3|4|5|6|8": 16,
            "0|3|4|5|6|8": 32,
            "0|0|3|4|5|6|8": 16,
            "1|3|4|5|6|8": 12,
            "0|1|3|4|5|6|8": 24,
            "0|0|1|3|4|5|6|8": 12,
            "2|3|4|5|6|8": 32,
            "0|2|3|4|5|6|8": 64,
            "0|0|2|3|4|5|6|8": 32,
            "1|2|3|4|5|6|8": 24,
            "0|1|2|3|4|5|6|8": 48,
            "0|0|1|2|3|4|5|6|8": 24,
            "2|2|3|4|5|6|8": 16,
            "0|2|2|3|4|5|6|8": 32,
            "0|0|2|2|3|4|5|6|8": 16,
            "1|2|2|3|4|5|6|8": 12,
            "0|1|2|2|3|4|5|6|8": 24,
            "0|0|1|2|2|3|4|5|6|8": 12,
            "5|5|6|8": 8,
            "0|5|5|6|8": 16,
            "0|0|5|5|6|8": 8,
            "1|5|5|6|8": 6,
            "0|1|5|5|6|8": 12,
            "0|0|1|5|5|6|8": 6,
            "2|5|5|6|8": 16,
            "0|2|5|5|6|8": 32,
            "0|0|2|5|5|6|8": 16,
            "1|2|5|5|6|8": 12,
            "0|1|2|5|5|6|8": 24,
            "0|0|1|2|5|5|6|8": 12,
            "2|2|5|5|6|8": 8,
            "0|2|2|5|5|6|8": 16,
            "0|0|2|2|5|5|6|8": 8,
            "1|2|2|5|5|6|8": 6,
            "0|1|2|2|5|5|6|8": 12,
            "0|0|1|2|2|5|5|6|8": 6,
            "3|5|5|6|8": 8,
            "0|3|5|5|6|8": 16,
            "0|0|3|5|5|6|8": 8,
            "1|3|5|5|6|8": 6,
            "0|1|3|5|5|6|8": 12,
            "0|0|1|3|5|5|6|8": 6,
            "2|3|5|5|6|8": 16,
            "0|2|3|5|5|6|8": 32,
            "0|0|2|3|5|5|6|8": 16,
            "1|2|3|5|5|6|8": 12,
            "0|1|2|3|5|5|6|8": 24,
            "0|0|1|2|3|5|5|6|8": 12,
            "2|2|3|5|5|6|8": 8,
            "0|2|2|3|5|5|6|8": 16,
            "0|0|2|2|3|5|5|6|8": 8,
            "1|2|2|3|5|5|6|8": 6,
            "0|1|2|2|3|5|5|6|8": 12,
            "0|0|1|2|2|3|5|5|6|8": 6,
            "4|5|5|6|8": 8,
            "0|4|5|5|6|8": 16,
            "0|0|4|5|5|6|8": 8,
            "1|4|5|5|6|8": 6,
            "0|1|4|5|5|6|8": 12,
            "0|0|1|4|5|5|6|8": 6,
            "2|4|5|5|6|8": 16,
            "0|2|4|5|5|6|8": 32,
            "0|0|2|4|5|5|6|8": 16,
            "1|2|4|5|5|6|8": 12,
            "0|1|2|4|5|5|6|8": 24,
            "0|0|1|2|4|5|5|6|8": 12,
            "2|2|4|5|5|6|8": 8,
            "0|2|2|4|5|5|6|8": 16,
            "0|0|2|2|4|5|5|6|8": 8,
            "1|2|2|4|5|5|6|8": 6,
            "0|1|2|2|4|5|5|6|8": 12,
            "0|0|1|2|2|4|5|5|6|8": 6,
            "3|4|5|5|6|8": 8,
            "0|3|4|5|5|6|8": 16,
            "0|0|3|4|5|5|6|8": 8,
            "1|3|4|5|5|6|8": 6,
            "0|1|3|4|5|5|6|8": 12,
            "0|0|1|3|4|5|5|6|8": 6,
            "2|3|4|5|5|6|8": 16,
            "0|2|3|4|5|5|6|8": 32,
            "0|0|2|3|4|5|5|6|8": 16,
            "1|2|3|4|5|5|6|8": 12,
            "0|1|2|3|4|5|5|6|8": 24,
            "0|0|1|2|3|4|5|5|6|8": 12,
            "2|2|3|4|5|5|6|8": 8,
            "0|2|2|3|4|5|5|6|8": 16,
            "0|0|2|2|3|4|5|5|6|8": 8,
            "1|2|2|3|4|5|5|6|8": 6,
            "0|1|2|2|3|4|5|5|6|8": 12,
            "0|0|1|2|2|3|4|5|5|6|8": 6,
            "1|7": 25,
            "0|1|7": 27,
            "1|2|7": 27,
            "0|1|2|7": 29,
            "1|3|7": 24,
            "0|1|3|7": 26,
            "1|2|3|7": 26,
            "0|1|2|3|7": 28,
            "5|7": 21,
            "0|5|7": 21,
            "1|5|7": 18,
            "0|1|5|7": 18,
            "2|5|7": 25,
            "0|2|5|7": 25,
            "1|2|5|7": 22,
            "0|1|2|5|7": 22,
            "3|5|7": 21,
            "0|3|5|7": 21,
            "1|3|5|7": 18,
            "0|1|3|5|7": 18,
            "2|3|5|7": 25,
            "0|2|3|5|7": 25,
            "1|2|3|5|7": 22,
            "0|1|2|3|5|7": 22,
            "1|3|3": 17,
            "0|1|3|3": 26,
            "0|0|1|3|3": 9,
            "1|2|3|3": 17,
            "0|1|2|3|3": 27,
            "0|0|1|2|3|3": 10,
            "2|2|3|3": 7,
            "0|2|2|3|3": 13,
            "0|0|2|2|3|3": 6,
            "3|3|4": 12,
            "0|3|3|4": 22,
            "0|0|3|3|4": 10,
            "2|3|3|4": 18,
            "0|2|3|3|4": 34,
            "0|0|2|3|3|4": 16,
            "2|2|3|3|4": 6,
            "0|2|2|3|3|4": 12,
            "0|0|2|2|3|3|4": 6,
            "2|2|7": 2,
            "0|2|2|7": 2,
            "1|2|2|7": 2,
            "0|1|2|2|7": 2,
            "2|2|3|7": 2,
            "0|2|2|3|7": 2,
            "1|2|2|3|7": 2,
            "0|1|2|2|3|7": 2,
            "2|2|5|7": 4,
            "0|2|2|5|7": 4,
            "1|2|2|5|7": 4,
            "0|1|2|2|5|7": 4,
            "2|2|3|5|7": 4,
            "0|2|2|3|5|7": 4,
            "1|2|2|3|5|7": 4,
            "0|1|2|2|3|5|7": 4,
            "5|5|7": 2,
            "0|5|5|7": 2,
            "1|5|5|7": 2,
            "0|1|5|5|7": 2,
            "2|5|5|7": 4,
            "0|2|5|5|7": 4,
            "1|2|5|5|7": 4,
            "0|1|2|5|5|7": 4,
            "2|2|5|5|7": 2,
            "0|2|2|5|5|7": 2,
            "1|2|2|5|5|7": 2,
            "0|1|2|2|5|5|7": 2,
            "3|5|5|7": 2,
            "0|3|5|5|7": 2,
            "1|3|5|5|7": 2,
            "0|1|3|5|5|7": 2,
            "2|3|5|5|7": 4,
            "0|2|3|5|5|7": 4,
            "1|2|3|5|5|7": 4,
            "0|1|2|3|5|5|7": 4,
            "2|2|3|5|5|7": 2,
            "0|2|2|3|5|5|7": 2,
            "1|2|2|3|5|5|7": 2,
            "0|1|2|2|3|5|5|7": 2,
            "1|3|3|4": 3,
            "0|1|3|3|4": 5,
            "0|0|1|3|3|4": 2,
            "1|2|3|3|4": 4,
            "0|1|2|3|3|4": 7,
            "0|0|1|2|3|3|4": 3,
            "1|1|2|2": 4,
            "0|1|1|2|2": 4,
            "1|1|2|2|3": 2,
            "0|1|1|2|2|3": 2,
            "1|1|4": 4,
            "0|1|1|4": 4,
            "1|1|2|4": 5,
            "0|1|1|2|4": 5,
            "1|1|2|2|4": 1,
            "0|1|1|2|2|4": 1,
            "1|1|3|4": 4,
            "0|1|1|3|4": 4,
            "1|1|2|3|4": 5,
            "0|1|1|2|3|4": 5,
            "1|1|2|2|3|4": 1,
            "0|1|1|2|2|3|4": 1,
            "1|1|5": 1,
            "0|1|1|5": 1,
            "1|1|2|5": 2,
            "0|1|1|2|5": 2,
            "1|1|2|2|5": 1,
            "0|1|1|2|2|5": 1,
            "1|1|3|5": 1,
            "0|1|1|3|5": 1,
            "1|1|2|3|5": 2,
            "0|1|1|2|3|5": 2,
            "1|1|2|2|3|5": 1,
            "0|1|1|2|2|3|5": 1,
            "1|1|4|5": 1,
            "0|1|1|4|5": 1,
            "1|1|2|4|5": 2,
            "0|1|1|2|4|5": 2,
            "1|1|2|2|4|5": 1,
            "0|1|1|2|2|4|5": 1,
            "1|1|3|4|5": 1,
            "0|1|1|3|4|5": 1,
            "1|1|2|3|4|5": 2,
            "0|1|1|2|3|4|5": 2,
            "1|1|2|2|3|4|5": 1,
            "0|1|1|2|2|3|4|5": 1,
            "3|3|5": 16,
            "0|3|3|5": 28,
            "0|0|3|3|5": 12,
            "1|3|3|5": 5,
            "0|1|3|3|5": 8,
            "0|0|1|3|3|5": 3,
            "2|3|3|5": 18,
            "0|2|3|3|5": 32,
            "0|0|2|3|3|5": 14,
            "1|2|3|3|5": 6,
            "0|1|2|3|3|5": 10,
            "0|0|1|2|3|3|5": 4,
            "0|0|1|1": 11,
            "0|0|1|1|2": 11,
            "0|0|1|1|3": 8,
            "0|0|1|1|2|3": 8,
            "1|1|3|3": 1,
            "0|1|1|3|3": 2,
            "0|0|1|1|3|3": 1,
            "1|1|2|3|3": 1,
            "0|1|1|2|3|3": 2,
            "0|0|1|1|2|3|3": 1,
            "3|3|4|5": 5,
            "0|3|3|4|5": 9,
            "0|0|3|3|4|5": 4,
            "2|3|3|4|5": 7,
            "0|2|3|3|4|5": 13,
            "0|0|2|3|3|4|5": 6,
            "1|2|2|3|3": 1,
            "0|1|2|2|3|3": 2,
            "0|0|1|2|2|3|3": 1,
            "1|2|2|3|3|4": 1,
            "0|1|2|2|3|3|4": 2,
            "0|0|1|2|2|3|3|4": 1,
            "2|2|3|3|5": 2,
            "0|2|2|3|3|5": 4,
            "0|0|2|2|3|3|5": 2,
            "1|2|2|3|3|5": 1,
            "0|1|2|2|3|3|5": 2,
            "0|0|1|2|2|3|3|5": 1,
            "1|3|3|4|5": 2,
            "0|1|3|3|4|5": 3,
            "0|0|1|3|3|4|5": 1,
            "1|2|3|3|4|5": 3,
            "0|1|2|3|3|4|5": 5,
            "0|0|1|2|3|3|4|5": 2,
            "2|2|3|3|4|5": 2,
            "0|2|2|3|3|4|5": 4,
            "0|0|2|2|3|3|4|5": 2,
            "1|2|2|3|3|4|5": 1,
            "0|1|2|2|3|3|4|5": 2,
            "0|0|1|2|2|3|3|4|5": 1,
            "4|4": 4,
            "0|4|4": 8,
            "0|0|4|4": 4,
            "2|4|4": 8,
            "0|2|4|4": 16,
            "0|0|2|4|4": 8,
            "2|2|4|4": 4,
            "0|2|2|4|4": 8,
            "0|0|2|2|4|4": 4,
            "3|4|4": 4,
            "0|3|4|4": 8,
            "0|0|3|4|4": 4,
            "2|3|4|4": 8,
            "0|2|3|4|4": 16,
            "0|0|2|3|4|4": 8,
            "2|2|3|4|4": 4,
            "0|2|2|3|4|4": 8,
            "0|0|2|2|3|4|4": 4,
            "4|4|5": 4,
            "0|4|4|5": 8,
            "0|0|4|4|5": 4,
            "2|4|4|5": 8,
            "0|2|4|4|5": 16,
            "0|0|2|4|4|5": 8,
            "2|2|4|4|5": 4,
            "0|2|2|4|4|5": 8,
            "0|0|2|2|4|4|5": 4,
            "3|4|4|5": 4,
            "0|3|4|4|5": 8,
            "0|0|3|4|4|5": 4,
            "2|3|4|4|5": 8,
            "0|2|3|4|4|5": 16,
            "0|0|2|3|4|4|5": 8,
            "2|2|3|4|4|5": 4,
            "0|2|2|3|4|4|5": 8,
            "0|0|2|2|3|4|4|5": 4,
            "0|0|7": 2,
            "0|0|2|7": 2,
            "0|0|3|7": 2,
            "0|0|2|3|7": 2,
            "0|0|1|7": 2,
            "1|1|7": 1,
            "0|1|1|7": 2,
            "0|0|1|1|7": 1,
            "0|0|1|2|7": 2,
            "1|1|2|7": 1,
            "0|1|1|2|7": 2,
            "0|0|1|1|2|7": 1,
            "0|0|1|3|7": 2,
            "1|1|3|7": 1,
            "0|1|1|3|7": 2,
            "0|0|1|1|3|7": 1,
            "0|0|1|2|3|7": 2,
            "1|1|2|3|7": 1,
            "0|1|1|2|3|7": 2,
            "0|0|1|1|2|3|7": 1,
            "1|4|4": 1,
            "0|1|4|4": 2,
            "0|0|1|4|4": 1,
            "1|2|4|4": 2,
            "0|1|2|4|4": 4,
            "0|0|1|2|4|4": 2,
            "1|2|2|4|4": 1,
            "0|1|2|2|4|4": 2,
            "0|0|1|2|2|4|4": 1,
            "1|3|4|4": 1,
            "0|1|3|4|4": 2,
            "0|0|1|3|4|4": 1,
            "1|2|3|4|4": 2,
            "0|1|2|3|4|4": 4,
            "0|0|1|2|3|4|4": 2,
            "1|2|2|3|4|4": 1,
            "0|1|2|2|3|4|4": 2,
            "0|0|1|2|2|3|4|4": 1,
            "1|4|4|5": 1,
            "0|1|4|4|5": 2,
            "0|0|1|4|4|5": 1,
            "1|2|4|4|5": 2,
            "0|1|2|4|4|5": 4,
            "0|0|1|2|4|4|5": 2,
            "1|2|2|4|4|5": 1,
            "0|1|2|2|4|4|5": 2,
            "0|0|1|2|2|4|4|5": 1,
            "1|3|4|4|5": 1,
            "0|1|3|4|4|5": 2,
            "0|0|1|3|4|4|5": 1,
            "1|2|3|4|4|5": 2,
            "0|1|2|3|4|4|5": 4,
            "0|0|1|2|3|4|4|5": 2,
            "1|2|2|3|4|4|5": 1,
            "0|1|2|2|3|4|4|5": 2,
            "0|0|1|2|2|3|4|4|5": 1
        }
    }
}
