{ "oldstat": { "9606": { "species": "Human", "glycans": 20517, "proteins": 20594, "glycoproteins": 12092 }, "10090": { "species": "Mouse", "glycans": 7584, "proteins": 21866, "glycoproteins": 7406 }, "10116": { "species": "Rat", "glycans": 7914, "proteins": 22890, "glycoproteins": 2673 }, "559292": { "species": "Yeast", "glycans": 1110, "proteins": 6060, "glycoproteins": 883 }, "7227": { "species": "Fruit fly", "glycans": 887, "proteins": 13824, "glycoproteins": 783 }, "2697049": { "species": "SARS-CoV-2", "glycans": 1119, "proteins": 17, "glycoproteins": 4 }, "44689": { "species": "Slime mold", "glycans": 85, "proteins": 12726, "glycoproteins": 386 }, "694009": { "species": "HCoV-SARS", "glycans": 21, "proteins": 15, "glycoproteins": 3 }, "63746": { "species": "HCV-H", "glycans": 14, "proteins": 1, "glycoproteins": 1 }, "11116": { "species": "HCV-Japanese", "glycans": 0, "proteins": 1, "glycoproteins": 1 } }, "newstat": { "protein": { "taxidlist": [ "7227", "559292", "9606", "10116", "44689", "10090", "694009", "2697049", "11116", "63746" ], "byproteintype": { "typelist": [ "proteins", "enzymes", "glycoproteins" ], "7227_0": 13824, "559292_0": 6060, "559292_1": 1785, "559292_0|1": 1785, "9606_0": 20594, "9606_2": 12092, "9606_0|2": 12092, "9606_1": 4512, "9606_0|1": 4512, "9606_1|2": 2925, "9606_0|1|2": 2925, "10116_0": 22890, "44689_0": 12726, "7227_1": 2715, "7227_0|1": 2715, "44689_2": 386, "44689_0|2": 386, "7227_2": 783, "7227_0|2": 783, "10090_0": 21866, "7227_1|2": 224, "7227_0|1|2": 224, "10116_1": 3453, "10116_0|1": 3453, "10090_2": 7406, "10090_0|2": 7406, "10090_1": 4451, "10090_0|1": 4451, "10090_1|2": 1890, "10090_0|1|2": 1890, "559292_2": 883, "559292_0|2": 883, "10116_2": 2673, "10116_0|2": 2673, "10116_1|2": 697, "10116_0|1|2": 697, "44689_1": 1635, "44689_0|1": 1635, "44689_1|2": 99, "44689_0|1|2": 99, "559292_1|2": 265, "559292_0|1|2": 265, "694009_0": 15, "2697049_0": 17, "694009_2": 3, "694009_0|2": 3, "2697049_1": 2, "2697049_0|1": 2, "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, "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, "2697049_2": 4, "2697049_0|2": 4, "694009_1": 2, "694009_0|1": 2 }, "bysequencetype": { "typelist": [ "canonical", "isoform" ], "7227_canonical": 13824, "7227_isoform": 23414, "559292_canonical": 6060, "559292_isoform": 6091, "9606_canonical": 20594, "9606_isoform": 101783, "10116_canonical": 22890, "10116_isoform": 49475, "44689_canonical": 12726, "44689_isoform": 12754, "10090_canonical": 21866, "10090_isoform": 62834, "694009_canonical": 15, "694009_isoform": 15, "2697049_canonical": 17, "2697049_isoform": 17, "11116_canonical": 1, "11116_isoform": 1, "63746_canonical": 1, "63746_isoform": 1 }, "bysitetype": { "typelist": [ "rwgs", "rwogs", "predicted" ], "9606_0": 9520, "9606_1": 2217, "9606_0|1": 1567, "9606_2": 3584, "9606_0|2": 1364, "9606_1|2": 1068, "9606_0|1|2": 770, "44689_2": 374, "7227_2": 397, "10090_0": 4583, "10090_1": 1010, "10090_0|1": 726, "10090_2": 3498, "10090_0|2": 817, "10090_1|2": 660, "10090_0|1|2": 518, "559292_0": 463, "10116_2": 1996, "7227_1": 182, "7227_1|2": 53, "10116_0": 769, "10116_1": 285, "10116_0|1": 165, "10116_0|2": 156, "10116_1|2": 174, "10116_0|1|2": 118, "7227_0": 284, "559292_2": 387, "559292_1": 55, "7227_0|1": 20, "559292_0|2": 11, "559292_0|1": 1, "559292_1|2": 10, "694009_1": 3, "7227_0|2": 17, "7227_0|1|2": 10, "694009_0": 1, "694009_0|1": 1, "11116_1": 1, "11116_2": 1, "11116_1|2": 1, "44689_1": 10, "44689_1|2": 1, "63746_0": 1, "63746_1": 1, "63746_0|1": 1, "44689_0": 3, "2697049_0": 1, "2697049_1": 2, "2697049_0|1": 1, "694009_2": 1, "694009_1|2": 1, "2697049_2": 2 }, "glycohydrolases": { "10090": 77, "44689": 35, "559292": 37, "9606": 83, "10116": 35, "7227": 41 }, "glycosyltransferases": { "9606": 220, "10116": 97, "10090": 194, "7227": 123, "559292": 68, "44689": 24 }, "total": { "7227": 13824, "559292": 6060, "9606": 20594, "10116": 22890, "44689": 12726, "10090": 21866, "694009": 15, "2697049": 17, "11116": 1, "63746": 1 } }, "glycan": { "taxidlist": [ "9606", "10090", "9823", "10116", "10114", "4932", "7227", "2697049", "9825", "11103", "44689", "694009", "63746" ], "byglycantype": { "N-linked_Alditol-reduced": 1505, "N-linked_Complex": 15036, "N-linked_Core-fucosylated": 10583, "N-linked_Tetraantennary": 4233, "N-linked_Truncated": 1582, "Other_Other": 13058, "Glycosphingolipid_Lacto series": 1620, "Glycosphingolipid_Neo-lacto series": 2002, "N-linked_Biantennary": 6541, "N-linked_Bisected": 4937, "N-linked_Arm-fucosylated": 4436, "O-linked_Core 2": 3936, "N-linked_High mannose": 1089, "N-linked_Triantennary": 5824, "N-linked_Hybrid": 1282, "O-linked_Core 1": 2126, "O-linked_Core 4": 847, "O-linked_Core 3": 1095, "O-linked_Core 6": 727, "GAG_Other": 1066, "Glycosphingolipid_Ganglio series": 738, "Glycosphingolipid_Muco series": 111, "N-linked_Other": 999, "Glycosphingolipid_Globo series": 204, "Glycosphingolipid_Isoglobo series": 156, "N-linked_Paucimannose": 66, "O-linked_O-mannose": 246, "Glycosphingolipid_Gala series": 173, "GAG_Keratan sulfate": 58, "O-linked_O-fucose": 60, "O-linked_O-GlcNAc": 7, "O-linked_Core 5": 98, "O-linked_Core 7": 73, "Glycosphingolipid_Arthro series": 8, "Glycosphingolipid_Mollu series": 10, "GPI anchor_Other": 21 }, "bymotiftype": { "Type 2 LN": 21160, "Type 2 LN2": 3325, "Type 1 LN": 9708, "Type 1 LN2": 1380, "Lewis x": 5296, "Lewis a": 2641, "Sialyl Lewis x": 1217, "Sialyl Lewis a": 650, "3-Sialyl-LN (type 2)": 6646, "Blood group H (type 2)": 2964, "Blood group H (type 1)": 2084, "LacdiNAc": 1648, "Lex-Lex": 313, "a-Gal antigen": 2225, "6-Sialyl-GalNAc": 710, "Sialylated LDN": 266, "I antigen": 557, "i antigen": 659, "Type 1 LN3": 246, "P1 antigen": 7, "Blood group A (type 2)": 538, "Blood group A (type 1)": 362, "2-Fucosyl-GM1": 8, "Fucosylated LDN": 224, "Monosulfated gangliotetraosylceramide": 9, "Sda/CT antigen": 144, "Lewis y": 761, "Lewis b": 594, "Blood group H (type 2) - Lewis y": 759, "Blood group B (type 1)": 158, "H antigen (type 3)": 18, "2,6-sialyl-Sulfo-LN": 112, "GM2": 10, "4'-sulfated LDN": 386, "GM4": 16, "Diphosphorylated Man6": 12, "GM1": 12, "Blood group A (type 2) - Lewis y": 60, "Blood group A (type 1) - Lewis b": 56, "Pk antigen": 10, "O-Mannose Lex": 33, "VIM-2": 113, "Polysialic acid": 11, "Globoside": 8, "Blood group B (type 2)": 230, "HNK-1 antigen": 37, "Di-sialyl T antigen": 42, "SDLex": 52, "Forssman glycolipid": 6, "para-Forssman glycolipid": 5, "GT1b": 6, "GD2": 10, "Blood group B (type 1) - Lewis b": 45, "Lactotriaosylceramide": 8, "3'-Sulfo-Lewis x": 54, "A antigen (type 3)": 11, "O-Linked mannose": 17, "GQ1c": 6, "Sialyl T antigen": 42, "HNK-1 on O-mannose": 8, "Blood group B (type 4)": 5, "LcGg4": 5, "Mono-sulfated globopentaosylceramide": 4, "GM3": 19, "GT1aa": 5, "GH1ca": 5, "GD1b": 6, "B-GD1b": 5, "3'-Sulfo-Lewis a": 30, "Sialyl Tn antigen": 15, "Sialopentaosylceramide": 5, "Blood group A2 (A-associated H type 3)": 37, "Paragloboside": 9, "Mono-fucosyl LN5": 5, "Blood group A1 (type 3)": 18, "6'-Sulfo-sialyl Lewis x": 16, "6-Sulfo-sialyl Lewis x": 29, "6,6'-bisSulfo-Lewis x": 6, "T antigen": 21, "GP1ca": 5, "GT1c": 6, "Galactosylceramide": 5, "GD1a": 12, "Lactosylceramide": 11, "B antigen (type 3)": 6, "Tn antigen": 4, "2,6-Branched O-mannose": 11, "cisGM1": 12, "GL-7 globoseries ganglioside": 9, "B-GM1": 6, "SLex Core 2 O-glycan": 19, "Asialo-GM1": 6, "Seminolipid": 6, "Sulfatide": 6, "N-Glycolyl-GM2": 6, "Disialosyl globopentaosylceramide": 5, "GD3": 10, "9-O-Acetyl GD3": 10, "Glucosylceramide": 5, "GT1a": 10, "GD1": 5, "Isoglobotetraosylceramide": 8, "Cytolipin R": 8, "GQ1b": 10, "GQ1ba": 5, "GL-6 fucosylated": 8, "Blood group H (type 4)": 8, "Sialosyl paragloboside": 5, "GQ1aa": 5, "GP1c": 4, "GT2": 6, "Mono-sulfated globotetraosylceramide": 5, "Sulfo-isogloboside": 5, "GT3": 6, "Gb5": 6, "SSEA-3": 6, "Blood group A (type 4)": 6, "Mono-fucosyl LN3": 5, "Ceramide dihexosyl sulfate": 5, "2-Fucosyl-GD1b": 5 }, "bar_mass_ranges": [ 13779, 17677, 11011, 3124, 304, 15, 35, 0, 0, 0 ], "bar_sugar_ranges": [ 0, 214, 2556, 4315, 4160, 3453, 3955, 3019, 2986, 2919, 3165, 3129, 3139, 1984, 1910, 1777, 907, 793, 811, 275, 573 ], "total": { "9606": 20517, "10090": 7584, "9823": 5475, "10116": 5173, "10114": 4533, "4932": 1110, "7227": 887, "2697049": 1119, "9825": 80, "11103": 35, "44689": 85, "694009": 21, "63746": 14 }, "0": 20517, "1": 7584, "0|1": 5640, "2": 5475, "0|2": 3554, "1|2": 2745, "0|1|2": 2395, "3": 5173, "0|3": 4230, "1|3": 3240, "0|1|3": 3065, "2|3": 1669, "0|2|3": 1609, "1|2|3": 1470, "0|1|2|3": 1426, "4": 4533, "0|4": 3397, "1|4": 2494, "0|1|4": 2335, "2|4": 2079, "0|2|4": 1962, "1|2|4": 1619, "0|1|2|4": 1558, "3|4": 1792, "0|3|4": 1558, "1|3|4": 1434, "0|1|3|4": 1369, "2|3|4": 988, "0|2|3|4": 970, "1|2|3|4": 920, "0|1|2|3|4": 903, "5": 1110, "6": 887, "0|6": 874, "1|6": 791, "0|1|6": 791, "2|6": 536, "0|2|6": 536, "1|2|6": 510, "0|1|2|6": 510, "3|6": 702, "0|3|6": 696, "1|3|6": 667, "0|1|3|6": 667, "2|3|6": 441, "0|2|3|6": 441, "1|2|3|6": 439, "0|1|2|3|6": 439, "4|6": 432, "0|4|6": 432, "1|4|6": 410, "0|1|4|6": 410, "2|4|6": 410, "0|2|4|6": 410, "1|2|4|6": 389, "0|1|2|4|6": 389, "3|4|6": 336, "0|3|4|6": 336, "1|3|4|6": 336, "0|1|3|4|6": 336, "2|3|4|6": 321, "0|2|3|4|6": 321, "1|2|3|4|6": 321, "0|1|2|3|4|6": 321, "7": 1119, "0|7": 1109, "1|7": 962, "0|1|7": 960, "2|7": 529, "0|2|7": 529, "1|2|7": 520, "0|1|2|7": 520, "3|7": 879, "0|3|7": 877, "1|3|7": 822, "0|1|3|7": 822, "2|3|7": 495, "0|2|3|7": 495, "1|2|3|7": 490, "0|1|2|3|7": 490, "4|7": 406, "0|4|7": 405, "1|4|7": 398, "0|1|4|7": 398, "2|4|7": 315, "0|2|4|7": 315, "1|2|4|7": 315, "0|1|2|4|7": 315, "3|4|7": 391, "0|3|4|7": 390, "1|3|4|7": 386, "0|1|3|4|7": 386, "2|3|4|7": 309, "0|2|3|4|7": 309, "1|2|3|4|7": 309, "0|1|2|3|4|7": 309, "6|7": 350, "0|6|7": 350, "1|6|7": 342, "0|1|6|7": 342, "2|6|7": 229, "0|2|6|7": 229, "1|2|6|7": 227, "0|1|2|6|7": 227, "3|6|7": 326, "0|3|6|7": 326, "1|3|6|7": 319, "0|1|3|6|7": 319, "2|3|6|7": 222, "0|2|3|6|7": 222, "1|2|3|6|7": 221, "0|1|2|3|6|7": 221, "4|6|7": 173, "0|4|6|7": 173, "1|4|6|7": 173, "0|1|4|6|7": 173, "2|4|6|7": 159, "0|2|4|6|7": 159, "1|2|4|6|7": 159, "0|1|2|4|6|7": 159, "3|4|6|7": 168, "0|3|4|6|7": 168, "1|3|4|6|7": 168, "0|1|3|4|6|7": 168, "2|3|4|6|7": 154, "0|2|3|4|6|7": 154, "1|2|3|4|6|7": 154, "0|1|2|3|4|6|7": 154, "0|5": 458, "1|5": 388, "0|1|5": 337, "3|5": 224, "0|3|5": 217, "1|3|5": 202, "0|1|3|5": 202, "5|6": 143, "0|5|6": 143, "1|5|6": 143, "0|1|5|6": 143, "3|5|6": 109, "0|3|5|6": 109, "1|3|5|6": 109, "0|1|3|5|6": 109, "8": 80, "0|8": 80, "1|8": 72, "0|1|8": 72, "2|8": 66, "0|2|8": 66, "1|2|8": 58, "0|1|2|8": 58, "3|8": 66, "0|3|8": 66, "1|3|8": 58, "0|1|3|8": 58, "2|3|8": 52, "0|2|3|8": 52, "1|2|3|8": 44, "0|1|2|3|8": 44, "4|8": 69, "0|4|8": 69, "1|4|8": 61, "0|1|4|8": 61, "2|4|8": 61, "0|2|4|8": 61, "1|2|4|8": 53, "0|1|2|4|8": 53, "3|4|8": 60, "0|3|4|8": 60, "1|3|4|8": 52, "0|1|3|4|8": 52, "2|3|4|8": 52, "0|2|3|4|8": 52, "1|2|3|4|8": 44, "0|1|2|3|4|8": 44, "6|8": 51, "0|6|8": 51, "1|6|8": 51, "0|1|6|8": 51, "2|6|8": 37, "0|2|6|8": 37, "1|2|6|8": 37, "0|1|2|6|8": 37, "3|6|8": 51, "0|3|6|8": 51, "1|3|6|8": 51, "0|1|3|6|8": 51, "2|3|6|8": 37, "0|2|3|6|8": 37, "1|2|3|6|8": 37, "0|1|2|3|6|8": 37, "4|6|8": 45, "0|4|6|8": 45, "1|4|6|8": 45, "0|1|4|6|8": 45, "2|4|6|8": 37, "0|2|4|6|8": 37, "1|2|4|6|8": 37, "0|1|2|4|6|8": 37, "3|4|6|8": 45, "0|3|4|6|8": 45, "1|3|4|6|8": 45, "0|1|3|4|6|8": 45, "2|3|4|6|8": 37, "0|2|3|4|6|8": 37, "1|2|3|4|6|8": 37, "0|1|2|3|4|6|8": 37, "2|5": 326, "0|2|5": 299, "1|2|5": 301, "0|1|2|5": 277, "2|3|5": 167, "0|2|3|5": 167, "1|2|3|5": 166, "0|1|2|3|5": 166, "4|5": 253, "0|4|5": 240, "1|4|5": 209, "0|1|4|5": 208, "2|4|5": 191, "0|2|4|5": 190, "1|2|4|5": 186, "0|1|2|4|5": 185, "3|4|5": 136, "0|3|4|5": 129, "1|3|4|5": 116, "0|1|3|4|5": 116, "2|3|4|5": 103, "0|2|3|4|5": 103, "1|2|3|4|5": 102, "0|1|2|3|4|5": 102, "2|5|6": 119, "0|2|5|6": 119, "1|2|5|6": 119, "0|1|2|5|6": 119, "2|3|5|6": 85, "0|2|3|5|6": 85, "1|2|3|5|6": 85, "0|1|2|3|5|6": 85, "4|5|6": 102, "0|4|5|6": 102, "1|4|5|6": 102, "0|1|4|5|6": 102, "2|4|5|6": 96, "0|2|4|5|6": 96, "1|2|4|5|6": 96, "0|1|2|4|5|6": 96, "3|4|5|6": 70, "0|3|4|5|6": 70, "1|3|4|5|6": 70, "0|1|3|4|5|6": 70, "2|3|4|5|6": 64, "0|2|3|4|5|6": 64, "1|2|3|4|5|6": 64, "0|1|2|3|4|5|6": 64, "5|7": 103, "0|5|7": 103, "1|5|7": 103, "0|1|5|7": 103, "2|5|7": 96, "0|2|5|7": 96, "1|2|5|7": 96, "0|1|2|5|7": 96, "3|5|7": 102, "0|3|5|7": 102, "1|3|5|7": 102, "0|1|3|5|7": 102, "2|3|5|7": 95, "0|2|3|5|7": 95, "1|2|3|5|7": 95, "0|1|2|3|5|7": 95, "4|5|7": 68, "0|4|5|7": 68, "1|4|5|7": 68, "0|1|4|5|7": 68, "2|4|5|7": 63, "0|2|4|5|7": 63, "1|2|4|5|7": 63, "0|1|2|4|5|7": 63, "3|4|5|7": 67, "0|3|4|5|7": 67, "1|3|4|5|7": 67, "0|1|3|4|5|7": 67, "2|3|4|5|7": 62, "0|2|3|4|5|7": 62, "1|2|3|4|5|7": 62, "0|1|2|3|4|5|7": 62, "5|6|7": 66, "0|5|6|7": 66, "1|5|6|7": 66, "0|1|5|6|7": 66, "2|5|6|7": 59, "0|2|5|6|7": 59, "1|2|5|6|7": 59, "0|1|2|5|6|7": 59, "3|5|6|7": 65, "0|3|5|6|7": 65, "1|3|5|6|7": 65, "0|1|3|5|6|7": 65, "2|3|5|6|7": 58, "0|2|3|5|6|7": 58, "1|2|3|5|6|7": 58, "0|1|2|3|5|6|7": 58, "4|5|6|7": 52, "0|4|5|6|7": 52, "1|4|5|6|7": 52, "0|1|4|5|6|7": 52, "2|4|5|6|7": 47, "0|2|4|5|6|7": 47, "1|2|4|5|6|7": 47, "0|1|2|4|5|6|7": 47, "3|4|5|6|7": 51, "0|3|4|5|6|7": 51, "1|3|4|5|6|7": 51, "0|1|3|4|5|6|7": 51, "2|3|4|5|6|7": 46, "0|2|3|4|5|6|7": 46, "1|2|3|4|5|6|7": 46, "0|1|2|3|4|5|6|7": 46, "9": 35, "0|9": 35, "1|9": 35, "0|1|9": 35, "3|9": 35, "0|3|9": 35, "1|3|9": 35, "0|1|3|9": 35, "7|9": 19, "0|7|9": 19, "1|7|9": 19, "0|1|7|9": 19, "3|7|9": 19, "0|3|7|9": 19, "1|3|7|9": 19, "0|1|3|7|9": 19, "10": 85, "11": 21, "0|11": 21, "1|11": 21, "0|1|11": 21, "11|2": 19, "0|11|2": 19, "1|11|2": 19, "0|1|11|2": 19, "11|3": 21, "0|11|3": 21, "1|11|3": 21, "0|1|11|3": 21, "11|2|3": 19, "0|11|2|3": 19, "1|11|2|3": 19, "0|1|11|2|3": 19, "11|4": 15, "0|11|4": 15, "1|11|4": 15, "0|1|11|4": 15, "11|2|4": 15, "0|11|2|4": 15, "1|11|2|4": 15, "0|1|11|2|4": 15, "11|3|4": 15, "0|11|3|4": 15, "1|11|3|4": 15, "0|1|11|3|4": 15, "11|2|3|4": 15, "0|11|2|3|4": 15, "1|11|2|3|4": 15, "0|1|11|2|3|4": 15, "11|6": 20, "0|11|6": 20, "1|11|6": 20, "0|1|11|6": 20, "11|2|6": 18, "0|11|2|6": 18, "1|11|2|6": 18, "0|1|11|2|6": 18, "11|3|6": 20, "0|11|3|6": 20, "1|11|3|6": 20, "0|1|11|3|6": 20, "11|2|3|6": 18, "0|11|2|3|6": 18, "1|11|2|3|6": 18, "0|1|11|2|3|6": 18, "11|4|6": 14, "0|11|4|6": 14, "1|11|4|6": 14, "0|1|11|4|6": 14, "11|2|4|6": 14, "0|11|2|4|6": 14, "1|11|2|4|6": 14, "0|1|11|2|4|6": 14, "11|3|4|6": 14, "0|11|3|4|6": 14, "1|11|3|4|6": 14, "0|1|11|3|4|6": 14, "11|2|3|4|6": 14, "0|11|2|3|4|6": 14, "1|11|2|3|4|6": 14, "0|1|11|2|3|4|6": 14, "11|7": 21, "0|11|7": 21, "1|11|7": 21, "0|1|11|7": 21, "11|2|7": 19, "0|11|2|7": 19, "1|11|2|7": 19, "0|1|11|2|7": 19, "11|3|7": 21, "0|11|3|7": 21, "1|11|3|7": 21, "0|1|11|3|7": 21, "11|2|3|7": 19, "0|11|2|3|7": 19, "1|11|2|3|7": 19, "0|1|11|2|3|7": 19, "11|4|7": 15, "0|11|4|7": 15, "1|11|4|7": 15, "0|1|11|4|7": 15, "11|2|4|7": 15, "0|11|2|4|7": 15, "1|11|2|4|7": 15, "0|1|11|2|4|7": 15, "11|3|4|7": 15, "0|11|3|4|7": 15, "1|11|3|4|7": 15, "0|1|11|3|4|7": 15, "11|2|3|4|7": 15, "0|11|2|3|4|7": 15, "1|11|2|3|4|7": 15, "0|1|11|2|3|4|7": 15, "11|6|7": 20, "0|11|6|7": 20, "1|11|6|7": 20, "0|1|11|6|7": 20, "11|2|6|7": 18, "0|11|2|6|7": 18, "1|11|2|6|7": 18, "0|1|11|2|6|7": 18, "11|3|6|7": 20, "0|11|3|6|7": 20, "1|11|3|6|7": 20, "0|1|11|3|6|7": 20, "11|2|3|6|7": 18, "0|11|2|3|6|7": 18, "1|11|2|3|6|7": 18, "0|1|11|2|3|6|7": 18, "11|4|6|7": 14, "0|11|4|6|7": 14, "1|11|4|6|7": 14, "0|1|11|4|6|7": 14, "11|2|4|6|7": 14, "0|11|2|4|6|7": 14, "1|11|2|4|6|7": 14, "0|1|11|2|4|6|7": 14, "11|3|4|6|7": 14, "0|11|3|4|6|7": 14, "1|11|3|4|6|7": 14, "0|1|11|3|4|6|7": 14, "11|2|3|4|6|7": 14, "0|11|2|3|4|6|7": 14, "1|11|2|3|4|6|7": 14, "0|1|11|2|3|4|6|7": 14, "2|9": 20, "0|2|9": 20, "1|2|9": 20, "0|1|2|9": 20, "2|3|9": 20, "0|2|3|9": 20, "1|2|3|9": 20, "0|1|2|3|9": 20, "4|9": 24, "0|4|9": 24, "1|4|9": 24, "0|1|4|9": 24, "2|4|9": 20, "0|2|4|9": 20, "1|2|4|9": 20, "0|1|2|4|9": 20, "3|4|9": 24, "0|3|4|9": 24, "1|3|4|9": 24, "0|1|3|4|9": 24, "2|3|4|9": 20, "0|2|3|4|9": 20, "1|2|3|4|9": 20, "0|1|2|3|4|9": 20, "5|9": 20, "0|5|9": 20, "1|5|9": 20, "0|1|5|9": 20, "2|5|9": 20, "0|2|5|9": 20, "1|2|5|9": 20, "0|1|2|5|9": 20, "3|5|9": 20, "0|3|5|9": 20, "1|3|5|9": 20, "0|1|3|5|9": 20, "2|3|5|9": 20, "0|2|3|5|9": 20, "1|2|3|5|9": 20, "0|1|2|3|5|9": 20, "4|5|9": 20, "0|4|5|9": 20, "1|4|5|9": 20, "0|1|4|5|9": 20, "2|4|5|9": 20, "0|2|4|5|9": 20, "1|2|4|5|9": 20, "0|1|2|4|5|9": 20, "3|4|5|9": 20, "0|3|4|5|9": 20, "1|3|4|5|9": 20, "0|1|3|4|5|9": 20, "2|3|4|5|9": 20, "0|2|3|4|5|9": 20, "1|2|3|4|5|9": 20, "0|1|2|3|4|5|9": 20, "2|7|9": 12, "0|2|7|9": 12, "1|2|7|9": 12, "0|1|2|7|9": 12, "2|3|7|9": 12, "0|2|3|7|9": 12, "1|2|3|7|9": 12, "0|1|2|3|7|9": 12, "4|7|9": 16, "0|4|7|9": 16, "1|4|7|9": 16, "0|1|4|7|9": 16, "2|4|7|9": 12, "0|2|4|7|9": 12, "1|2|4|7|9": 12, "0|1|2|4|7|9": 12, "3|4|7|9": 16, "0|3|4|7|9": 16, "1|3|4|7|9": 16, "0|1|3|4|7|9": 16, "2|3|4|7|9": 12, "0|2|3|4|7|9": 12, "1|2|3|4|7|9": 12, "0|1|2|3|4|7|9": 12, "5|7|9": 12, "0|5|7|9": 12, "1|5|7|9": 12, "0|1|5|7|9": 12, "2|5|7|9": 12, "0|2|5|7|9": 12, "1|2|5|7|9": 12, "0|1|2|5|7|9": 12, "3|5|7|9": 12, "0|3|5|7|9": 12, "1|3|5|7|9": 12, "0|1|3|5|7|9": 12, "2|3|5|7|9": 12, "0|2|3|5|7|9": 12, "1|2|3|5|7|9": 12, "0|1|2|3|5|7|9": 12, "4|5|7|9": 12, "0|4|5|7|9": 12, "1|4|5|7|9": 12, "0|1|4|5|7|9": 12, "2|4|5|7|9": 12, "0|2|4|5|7|9": 12, "1|2|4|5|7|9": 12, "0|1|2|4|5|7|9": 12, "3|4|5|7|9": 12, "0|3|4|5|7|9": 12, "1|3|4|5|7|9": 12, "0|1|3|4|5|7|9": 12, "2|3|4|5|7|9": 12, "0|2|3|4|5|7|9": 12, "1|2|3|4|5|7|9": 12, "0|1|2|3|4|5|7|9": 12, "0|10": 37, "1|10": 45, "0|1|10": 37, "10|3": 23, "0|10|3": 23, "1|10|3": 23, "0|1|10|3": 23, "10|4": 29, "0|10|4": 29, "1|10|4": 29, "0|1|10|4": 29, "10|3|4": 15, "0|10|3|4": 15, "1|10|3|4": 15, "0|1|10|3|4": 15, "7|8": 43, "0|7|8": 43, "1|7|8": 43, "0|1|7|8": 43, "2|7|8": 35, "0|2|7|8": 35, "1|2|7|8": 35, "0|1|2|7|8": 35, "3|7|8": 43, "0|3|7|8": 43, "1|3|7|8": 43, "0|1|3|7|8": 43, "2|3|7|8": 35, "0|2|3|7|8": 35, "1|2|3|7|8": 35, "0|1|2|3|7|8": 35, "4|7|8": 43, "0|4|7|8": 43, "1|4|7|8": 43, "0|1|4|7|8": 43, "2|4|7|8": 35, "0|2|4|7|8": 35, "1|2|4|7|8": 35, "0|1|2|4|7|8": 35, "3|4|7|8": 43, "0|3|4|7|8": 43, "1|3|4|7|8": 43, "0|1|3|4|7|8": 43, "2|3|4|7|8": 35, "0|2|3|4|7|8": 35, "1|2|3|4|7|8": 35, "0|1|2|3|4|7|8": 35, "6|7|8": 43, "0|6|7|8": 43, "1|6|7|8": 43, "0|1|6|7|8": 43, "2|6|7|8": 35, "0|2|6|7|8": 35, "1|2|6|7|8": 35, "0|1|2|6|7|8": 35, "3|6|7|8": 43, "0|3|6|7|8": 43, "1|3|6|7|8": 43, "0|1|3|6|7|8": 43, "2|3|6|7|8": 35, "0|2|3|6|7|8": 35, "1|2|3|6|7|8": 35, "0|1|2|3|6|7|8": 35, "4|6|7|8": 43, "0|4|6|7|8": 43, "1|4|6|7|8": 43, "0|1|4|6|7|8": 43, "2|4|6|7|8": 35, "0|2|4|6|7|8": 35, "1|2|4|6|7|8": 35, "0|1|2|4|6|7|8": 35, "3|4|6|7|8": 43, "0|3|4|6|7|8": 43, "1|3|4|6|7|8": 43, "0|1|3|4|6|7|8": 43, "2|3|4|6|7|8": 35, "0|2|3|4|6|7|8": 35, "1|2|3|4|6|7|8": 35, "0|1|2|3|4|6|7|8": 35, "10|2": 27, "0|10|2": 19, "1|10|2": 27, "0|1|10|2": 19, "10|2|3": 11, "0|10|2|3": 11, "1|10|2|3": 11, "0|1|10|2|3": 11, "10|2|4": 16, "0|10|2|4": 16, "1|10|2|4": 16, "0|1|10|2|4": 16, "10|2|3|4": 8, "0|10|2|3|4": 8, "1|10|2|3|4": 8, "0|1|10|2|3|4": 8, "10|5": 14, "0|10|5": 12, "1|10|5": 14, "0|1|10|5": 12, "10|2|5": 13, "0|10|2|5": 11, "1|10|2|5": 13, "0|1|10|2|5": 11, "10|3|5": 12, "0|10|3|5": 12, "1|10|3|5": 12, "0|1|10|3|5": 12, "10|2|3|5": 11, "0|10|2|3|5": 11, "1|10|2|3|5": 11, "0|1|10|2|3|5": 11, "10|4|5": 8, "0|10|4|5": 8, "1|10|4|5": 8, "0|1|10|4|5": 8, "10|2|4|5": 8, "0|10|2|4|5": 8, "1|10|2|4|5": 8, "0|1|10|2|4|5": 8, "10|3|4|5": 8, "0|10|3|4|5": 8, "1|10|3|4|5": 8, "0|1|10|3|4|5": 8, "10|2|3|4|5": 8, "0|10|2|3|4|5": 8, "1|10|2|3|4|5": 8, "0|1|10|2|3|4|5": 8, "10|6": 12, "0|10|6": 12, "1|10|6": 12, "0|1|10|6": 12, "10|2|6": 11, "0|10|2|6": 11, "1|10|2|6": 11, "0|1|10|2|6": 11, "10|3|6": 12, "0|10|3|6": 12, "1|10|3|6": 12, "0|1|10|3|6": 12, "10|2|3|6": 11, "0|10|2|3|6": 11, "1|10|2|3|6": 11, "0|1|10|2|3|6": 11, "10|4|6": 8, "0|10|4|6": 8, "1|10|4|6": 8, "0|1|10|4|6": 8, "10|2|4|6": 8, "0|10|2|4|6": 8, "1|10|2|4|6": 8, "0|1|10|2|4|6": 8, "10|3|4|6": 8, "0|10|3|4|6": 8, "1|10|3|4|6": 8, "0|1|10|3|4|6": 8, "10|2|3|4|6": 8, "0|10|2|3|4|6": 8, "1|10|2|3|4|6": 8, "0|1|10|2|3|4|6": 8, "10|5|6": 12, "0|10|5|6": 12, "1|10|5|6": 12, "0|1|10|5|6": 12, "10|2|5|6": 11, "0|10|2|5|6": 11, "1|10|2|5|6": 11, "0|1|10|2|5|6": 11, "10|3|5|6": 12, "0|10|3|5|6": 12, "1|10|3|5|6": 12, "0|1|10|3|5|6": 12, "10|2|3|5|6": 11, "0|10|2|3|5|6": 11, "1|10|2|3|5|6": 11, "0|1|10|2|3|5|6": 11, "10|4|5|6": 8, "0|10|4|5|6": 8, "1|10|4|5|6": 8, "0|1|10|4|5|6": 8, "10|2|4|5|6": 8, "0|10|2|4|5|6": 8, "1|10|2|4|5|6": 8, "0|1|10|2|4|5|6": 8, "10|3|4|5|6": 8, "0|10|3|4|5|6": 8, "1|10|3|4|5|6": 8, "0|1|10|3|4|5|6": 8, "10|2|3|4|5|6": 8, "0|10|2|3|4|5|6": 8, "1|10|2|3|4|5|6": 8, "0|1|10|2|3|4|5|6": 8, "10|7": 10, "0|10|7": 10, "1|10|7": 10, "0|1|10|7": 10, "10|2|7": 9, "0|10|2|7": 9, "1|10|2|7": 9, "0|1|10|2|7": 9, "10|3|7": 9, "0|10|3|7": 9, "1|10|3|7": 9, "0|1|10|3|7": 9, "10|2|3|7": 8, "0|10|2|3|7": 8, "1|10|2|3|7": 8, "0|1|10|2|3|7": 8, "10|4|7": 9, "0|10|4|7": 9, "1|10|4|7": 9, "0|1|10|4|7": 9, "10|2|4|7": 9, "0|10|2|4|7": 9, "1|10|2|4|7": 9, "0|1|10|2|4|7": 9, "10|3|4|7": 8, "0|10|3|4|7": 8, "1|10|3|4|7": 8, "0|1|10|3|4|7": 8, "10|2|3|4|7": 8, "0|10|2|3|4|7": 8, "1|10|2|3|4|7": 8, "0|1|10|2|3|4|7": 8, "10|5|7": 9, "0|10|5|7": 9, "1|10|5|7": 9, "0|1|10|5|7": 9, "10|2|5|7": 8, "0|10|2|5|7": 8, "1|10|2|5|7": 8, "0|1|10|2|5|7": 8, "10|3|5|7": 9, "0|10|3|5|7": 9, "1|10|3|5|7": 9, "0|1|10|3|5|7": 9, "10|2|3|5|7": 8, "0|10|2|3|5|7": 8, "1|10|2|3|5|7": 8, "0|1|10|2|3|5|7": 8, "10|4|5|7": 8, "0|10|4|5|7": 8, "1|10|4|5|7": 8, "0|1|10|4|5|7": 8, "10|2|4|5|7": 8, "0|10|2|4|5|7": 8, "1|10|2|4|5|7": 8, "0|1|10|2|4|5|7": 8, "10|3|4|5|7": 8, "0|10|3|4|5|7": 8, "1|10|3|4|5|7": 8, "0|1|10|3|4|5|7": 8, "10|2|3|4|5|7": 8, "0|10|2|3|4|5|7": 8, "1|10|2|3|4|5|7": 8, "0|1|10|2|3|4|5|7": 8, "10|6|7": 9, "0|10|6|7": 9, "1|10|6|7": 9, "0|1|10|6|7": 9, "10|2|6|7": 8, "0|10|2|6|7": 8, "1|10|2|6|7": 8, "0|1|10|2|6|7": 8, "10|3|6|7": 9, "0|10|3|6|7": 9, "1|10|3|6|7": 9, "0|1|10|3|6|7": 9, "10|2|3|6|7": 8, "0|10|2|3|6|7": 8, "1|10|2|3|6|7": 8, "0|1|10|2|3|6|7": 8, "10|4|6|7": 8, "0|10|4|6|7": 8, "1|10|4|6|7": 8, "0|1|10|4|6|7": 8, "10|2|4|6|7": 8, "0|10|2|4|6|7": 8, "1|10|2|4|6|7": 8, "0|1|10|2|4|6|7": 8, "10|3|4|6|7": 8, "0|10|3|4|6|7": 8, "1|10|3|4|6|7": 8, "0|1|10|3|4|6|7": 8, "10|2|3|4|6|7": 8, "0|10|2|3|4|6|7": 8, "1|10|2|3|4|6|7": 8, "0|1|10|2|3|4|6|7": 8, "10|5|6|7": 9, "0|10|5|6|7": 9, "1|10|5|6|7": 9, "0|1|10|5|6|7": 9, "10|2|5|6|7": 8, "0|10|2|5|6|7": 8, "1|10|2|5|6|7": 8, "0|1|10|2|5|6|7": 8, "10|3|5|6|7": 9, "0|10|3|5|6|7": 9, "1|10|3|5|6|7": 9, "0|1|10|3|5|6|7": 9, "10|2|3|5|6|7": 8, "0|10|2|3|5|6|7": 8, "1|10|2|3|5|6|7": 8, "0|1|10|2|3|5|6|7": 8, "10|4|5|6|7": 8, "0|10|4|5|6|7": 8, "1|10|4|5|6|7": 8, "0|1|10|4|5|6|7": 8, "10|2|4|5|6|7": 8, "0|10|2|4|5|6|7": 8, "1|10|2|4|5|6|7": 8, "0|1|10|2|4|5|6|7": 8, "10|3|4|5|6|7": 8, "0|10|3|4|5|6|7": 8, "1|10|3|4|5|6|7": 8, "0|1|10|3|4|5|6|7": 8, "10|2|3|4|5|6|7": 8, "0|10|2|3|4|5|6|7": 8, "1|10|2|3|4|5|6|7": 8, "0|1|10|2|3|4|5|6|7": 8, "11|5": 11, "0|11|5": 11, "1|11|5": 11, "0|1|11|5": 11, "11|2|5": 11, "0|11|2|5": 11, "1|11|2|5": 11, "0|1|11|2|5": 11, "11|3|5": 11, "0|11|3|5": 11, "1|11|3|5": 11, "0|1|11|3|5": 11, "11|2|3|5": 11, "0|11|2|3|5": 11, "1|11|2|3|5": 11, "0|1|11|2|3|5": 11, "11|4|5": 10, "0|11|4|5": 10, "1|11|4|5": 10, "0|1|11|4|5": 10, "11|2|4|5": 10, "0|11|2|4|5": 10, "1|11|2|4|5": 10, "0|1|11|2|4|5": 10, "11|3|4|5": 10, "0|11|3|4|5": 10, "1|11|3|4|5": 10, "0|1|11|3|4|5": 10, "11|2|3|4|5": 10, "0|11|2|3|4|5": 10, "1|11|2|3|4|5": 10, "0|1|11|2|3|4|5": 10, "11|5|6": 11, "0|11|5|6": 11, "1|11|5|6": 11, "0|1|11|5|6": 11, "11|2|5|6": 11, "0|11|2|5|6": 11, "1|11|2|5|6": 11, "0|1|11|2|5|6": 11, "11|3|5|6": 11, "0|11|3|5|6": 11, "1|11|3|5|6": 11, "0|1|11|3|5|6": 11, "11|2|3|5|6": 11, "0|11|2|3|5|6": 11, "1|11|2|3|5|6": 11, "0|1|11|2|3|5|6": 11, "11|4|5|6": 10, "0|11|4|5|6": 10, "1|11|4|5|6": 10, "0|1|11|4|5|6": 10, "11|2|4|5|6": 10, "0|11|2|4|5|6": 10, "1|11|2|4|5|6": 10, "0|1|11|2|4|5|6": 10, "11|3|4|5|6": 10, "0|11|3|4|5|6": 10, "1|11|3|4|5|6": 10, "0|1|11|3|4|5|6": 10, "11|2|3|4|5|6": 10, "0|11|2|3|4|5|6": 10, "1|11|2|3|4|5|6": 10, "0|1|11|2|3|4|5|6": 10, "11|5|7": 11, "0|11|5|7": 11, "1|11|5|7": 11, "0|1|11|5|7": 11, "11|2|5|7": 11, "0|11|2|5|7": 11, "1|11|2|5|7": 11, "0|1|11|2|5|7": 11, "11|3|5|7": 11, "0|11|3|5|7": 11, "1|11|3|5|7": 11, "0|1|11|3|5|7": 11, "11|2|3|5|7": 11, "0|11|2|3|5|7": 11, "1|11|2|3|5|7": 11, "0|1|11|2|3|5|7": 11, "11|4|5|7": 10, "0|11|4|5|7": 10, "1|11|4|5|7": 10, "0|1|11|4|5|7": 10, "11|2|4|5|7": 10, "0|11|2|4|5|7": 10, "1|11|2|4|5|7": 10, "0|1|11|2|4|5|7": 10, "11|3|4|5|7": 10, "0|11|3|4|5|7": 10, "1|11|3|4|5|7": 10, "0|1|11|3|4|5|7": 10, "11|2|3|4|5|7": 10, "0|11|2|3|4|5|7": 10, "1|11|2|3|4|5|7": 10, "0|1|11|2|3|4|5|7": 10, "11|5|6|7": 11, "0|11|5|6|7": 11, "1|11|5|6|7": 11, "0|1|11|5|6|7": 11, "11|2|5|6|7": 11, "0|11|2|5|6|7": 11, "1|11|2|5|6|7": 11, "0|1|11|2|5|6|7": 11, "11|3|5|6|7": 11, "0|11|3|5|6|7": 11, "1|11|3|5|6|7": 11, "0|1|11|3|5|6|7": 11, "11|2|3|5|6|7": 11, "0|11|2|3|5|6|7": 11, "1|11|2|3|5|6|7": 11, "0|1|11|2|3|5|6|7": 11, "11|4|5|6|7": 10, "0|11|4|5|6|7": 10, "1|11|4|5|6|7": 10, "0|1|11|4|5|6|7": 10, "11|2|4|5|6|7": 10, "0|11|2|4|5|6|7": 10, "1|11|2|4|5|6|7": 10, "0|1|11|2|4|5|6|7": 10, "11|3|4|5|6|7": 10, "0|11|3|4|5|6|7": 10, "1|11|3|4|5|6|7": 10, "0|1|11|3|4|5|6|7": 10, "11|2|3|4|5|6|7": 10, "0|11|2|3|4|5|6|7": 10, "1|11|2|3|4|5|6|7": 10, "0|1|11|2|3|4|5|6|7": 10, "10|11": 2, "0|10|11": 2, "1|10|11": 2, "0|1|10|11": 2, "12": 14, "0|12": 14, "1|12": 14, "0|1|12": 14, "10|12": 1, "0|10|12": 1, "1|10|12": 1, "0|1|10|12": 1, "11|12": 11, "0|11|12": 11, "1|11|12": 11, "0|1|11|12": 11, "10|11|12": 1, "0|10|11|12": 1, "1|10|11|12": 1, "0|1|10|11|12": 1, "10|11|2": 2, "0|10|11|2": 2, "1|10|11|2": 2, "0|1|10|11|2": 2, "12|2": 13, "0|12|2": 13, "1|12|2": 13, "0|1|12|2": 13, "10|12|2": 1, "0|10|12|2": 1, "1|10|12|2": 1, "0|1|10|12|2": 1, "11|12|2": 10, "0|11|12|2": 10, "1|11|12|2": 10, "0|1|11|12|2": 10, "10|11|12|2": 1, "0|10|11|12|2": 1, "1|10|11|12|2": 1, "0|1|10|11|12|2": 1, "10|11|3": 2, "0|10|11|3": 2, "1|10|11|3": 2, "0|1|10|11|3": 2, "12|3": 11, "0|12|3": 11, "1|12|3": 11, "0|1|12|3": 11, "10|12|3": 1, "0|10|12|3": 1, "1|10|12|3": 1, "0|1|10|12|3": 1, "11|12|3": 11, "0|11|12|3": 11, "1|11|12|3": 11, "0|1|11|12|3": 11, "10|11|12|3": 1, "0|10|11|12|3": 1, "1|10|11|12|3": 1, "0|1|10|11|12|3": 1, "10|11|2|3": 2, "0|10|11|2|3": 2, "1|10|11|2|3": 2, "0|1|10|11|2|3": 2, "12|2|3": 10, "0|12|2|3": 10, "1|12|2|3": 10, "0|1|12|2|3": 10, "10|12|2|3": 1, "0|10|12|2|3": 1, "1|10|12|2|3": 1, "0|1|10|12|2|3": 1, "11|12|2|3": 10, "0|11|12|2|3": 10, "1|11|12|2|3": 10, "0|1|11|12|2|3": 10, "10|11|12|2|3": 1, "0|10|11|12|2|3": 1, "1|10|11|12|2|3": 1, "0|1|10|11|12|2|3": 1, "10|11|4": 2, "0|10|11|4": 2, "1|10|11|4": 2, "0|1|10|11|4": 2, "12|4": 11, "0|12|4": 11, "1|12|4": 11, "0|1|12|4": 11, "10|12|4": 1, "0|10|12|4": 1, "1|10|12|4": 1, "0|1|10|12|4": 1, "11|12|4": 8, "0|11|12|4": 8, "1|11|12|4": 8, "0|1|11|12|4": 8, "10|11|12|4": 1, "0|10|11|12|4": 1, "1|10|11|12|4": 1, "0|1|10|11|12|4": 1, "10|11|2|4": 2, "0|10|11|2|4": 2, "1|10|11|2|4": 2, "0|1|10|11|2|4": 2, "12|2|4": 11, "0|12|2|4": 11, "1|12|2|4": 11, "0|1|12|2|4": 11, "10|12|2|4": 1, "0|10|12|2|4": 1, "1|10|12|2|4": 1, "0|1|10|12|2|4": 1, "11|12|2|4": 8, "0|11|12|2|4": 8, "1|11|12|2|4": 8, "0|1|11|12|2|4": 8, "10|11|12|2|4": 1, "0|10|11|12|2|4": 1, "1|10|11|12|2|4": 1, "0|1|10|11|12|2|4": 1, "10|11|3|4": 2, "0|10|11|3|4": 2, "1|10|11|3|4": 2, "0|1|10|11|3|4": 2, "12|3|4": 8, "0|12|3|4": 8, "1|12|3|4": 8, "0|1|12|3|4": 8, "10|12|3|4": 1, "0|10|12|3|4": 1, "1|10|12|3|4": 1, "0|1|10|12|3|4": 1, "11|12|3|4": 8, "0|11|12|3|4": 8, "1|11|12|3|4": 8, "0|1|11|12|3|4": 8, "10|11|12|3|4": 1, "0|10|11|12|3|4": 1, "1|10|11|12|3|4": 1, "0|1|10|11|12|3|4": 1, "10|11|2|3|4": 2, "0|10|11|2|3|4": 2, "1|10|11|2|3|4": 2, "0|1|10|11|2|3|4": 2, "12|2|3|4": 8, "0|12|2|3|4": 8, "1|12|2|3|4": 8, "0|1|12|2|3|4": 8, "10|12|2|3|4": 1, "0|10|12|2|3|4": 1, "1|10|12|2|3|4": 1, "0|1|10|12|2|3|4": 1, "11|12|2|3|4": 8, "0|11|12|2|3|4": 8, "1|11|12|2|3|4": 8, "0|1|11|12|2|3|4": 8, "10|11|12|2|3|4": 1, "0|10|11|12|2|3|4": 1, "1|10|11|12|2|3|4": 1, "0|1|10|11|12|2|3|4": 1, "10|11|5": 2, "0|10|11|5": 2, "1|10|11|5": 2, "0|1|10|11|5": 2, "12|5": 10, "0|12|5": 10, "1|12|5": 10, "0|1|12|5": 10, "10|12|5": 1, "0|10|12|5": 1, "1|10|12|5": 1, "0|1|10|12|5": 1, "11|12|5": 7, "0|11|12|5": 7, "1|11|12|5": 7, "0|1|11|12|5": 7, "10|11|12|5": 1, "0|10|11|12|5": 1, "1|10|11|12|5": 1, "0|1|10|11|12|5": 1, "10|11|2|5": 2, "0|10|11|2|5": 2, "1|10|11|2|5": 2, "0|1|10|11|2|5": 2, "12|2|5": 10, "0|12|2|5": 10, "1|12|2|5": 10, "0|1|12|2|5": 10, "10|12|2|5": 1, "0|10|12|2|5": 1, "1|10|12|2|5": 1, "0|1|10|12|2|5": 1, "11|12|2|5": 7, "0|11|12|2|5": 7, "1|11|12|2|5": 7, "0|1|11|12|2|5": 7, "10|11|12|2|5": 1, "0|10|11|12|2|5": 1, "1|10|11|12|2|5": 1, "0|1|10|11|12|2|5": 1, "10|11|3|5": 2, "0|10|11|3|5": 2, "1|10|11|3|5": 2, "0|1|10|11|3|5": 2, "12|3|5": 7, "0|12|3|5": 7, "1|12|3|5": 7, "0|1|12|3|5": 7, "10|12|3|5": 1, "0|10|12|3|5": 1, "1|10|12|3|5": 1, "0|1|10|12|3|5": 1, "11|12|3|5": 7, "0|11|12|3|5": 7, "1|11|12|3|5": 7, "0|1|11|12|3|5": 7, "10|11|12|3|5": 1, "0|10|11|12|3|5": 1, "1|10|11|12|3|5": 1, "0|1|10|11|12|3|5": 1, "10|11|2|3|5": 2, "0|10|11|2|3|5": 2, "1|10|11|2|3|5": 2, "0|1|10|11|2|3|5": 2, "12|2|3|5": 7, "0|12|2|3|5": 7, "1|12|2|3|5": 7, "0|1|12|2|3|5": 7, "10|12|2|3|5": 1, "0|10|12|2|3|5": 1, "1|10|12|2|3|5": 1, "0|1|10|12|2|3|5": 1, "11|12|2|3|5": 7, "0|11|12|2|3|5": 7, "1|11|12|2|3|5": 7, "0|1|11|12|2|3|5": 7, "10|11|12|2|3|5": 1, "0|10|11|12|2|3|5": 1, "1|10|11|12|2|3|5": 1, "0|1|10|11|12|2|3|5": 1, "10|11|4|5": 2, "0|10|11|4|5": 2, "1|10|11|4|5": 2, "0|1|10|11|4|5": 2, "12|4|5": 9, "0|12|4|5": 9, "1|12|4|5": 9, "0|1|12|4|5": 9, "10|12|4|5": 1, "0|10|12|4|5": 1, "1|10|12|4|5": 1, "0|1|10|12|4|5": 1, "11|12|4|5": 6, "0|11|12|4|5": 6, "1|11|12|4|5": 6, "0|1|11|12|4|5": 6, "10|11|12|4|5": 1, "0|10|11|12|4|5": 1, "1|10|11|12|4|5": 1, "0|1|10|11|12|4|5": 1, "10|11|2|4|5": 2, "0|10|11|2|4|5": 2, "1|10|11|2|4|5": 2, "0|1|10|11|2|4|5": 2, "12|2|4|5": 9, "0|12|2|4|5": 9, "1|12|2|4|5": 9, "0|1|12|2|4|5": 9, "10|12|2|4|5": 1, "0|10|12|2|4|5": 1, "1|10|12|2|4|5": 1, "0|1|10|12|2|4|5": 1, "11|12|2|4|5": 6, "0|11|12|2|4|5": 6, "1|11|12|2|4|5": 6, "0|1|11|12|2|4|5": 6, "10|11|12|2|4|5": 1, "0|10|11|12|2|4|5": 1, "1|10|11|12|2|4|5": 1, "0|1|10|11|12|2|4|5": 1, "10|11|3|4|5": 2, "0|10|11|3|4|5": 2, "1|10|11|3|4|5": 2, "0|1|10|11|3|4|5": 2, "12|3|4|5": 6, "0|12|3|4|5": 6, "1|12|3|4|5": 6, "0|1|12|3|4|5": 6, "10|12|3|4|5": 1, "0|10|12|3|4|5": 1, "1|10|12|3|4|5": 1, "0|1|10|12|3|4|5": 1, "11|12|3|4|5": 6, "0|11|12|3|4|5": 6, "1|11|12|3|4|5": 6, "0|1|11|12|3|4|5": 6, "10|11|12|3|4|5": 1, "0|10|11|12|3|4|5": 1, "1|10|11|12|3|4|5": 1, "0|1|10|11|12|3|4|5": 1, "10|11|2|3|4|5": 2, "0|10|11|2|3|4|5": 2, "1|10|11|2|3|4|5": 2, "0|1|10|11|2|3|4|5": 2, "12|2|3|4|5": 6, "0|12|2|3|4|5": 6, "1|12|2|3|4|5": 6, "0|1|12|2|3|4|5": 6, "10|12|2|3|4|5": 1, "0|10|12|2|3|4|5": 1, "1|10|12|2|3|4|5": 1, "0|1|10|12|2|3|4|5": 1, "11|12|2|3|4|5": 6, "0|11|12|2|3|4|5": 6, "1|11|12|2|3|4|5": 6, "0|1|11|12|2|3|4|5": 6, "10|11|12|2|3|4|5": 1, "0|10|11|12|2|3|4|5": 1, "1|10|11|12|2|3|4|5": 1, "0|1|10|11|12|2|3|4|5": 1, "10|11|6": 2, "0|10|11|6": 2, "1|10|11|6": 2, "0|1|10|11|6": 2, "12|6": 12, "0|12|6": 12, "1|12|6": 12, "0|1|12|6": 12, "10|12|6": 1, "0|10|12|6": 1, "1|10|12|6": 1, "0|1|10|12|6": 1, "11|12|6": 11, "0|11|12|6": 11, "1|11|12|6": 11, "0|1|11|12|6": 11, "10|11|12|6": 1, "0|10|11|12|6": 1, "1|10|11|12|6": 1, "0|1|10|11|12|6": 1, "10|11|2|6": 2, "0|10|11|2|6": 2, "1|10|11|2|6": 2, "0|1|10|11|2|6": 2, "12|2|6": 11, "0|12|2|6": 11, "1|12|2|6": 11, "0|1|12|2|6": 11, "10|12|2|6": 1, "0|10|12|2|6": 1, "1|10|12|2|6": 1, "0|1|10|12|2|6": 1, "11|12|2|6": 10, "0|11|12|2|6": 10, "1|11|12|2|6": 10, "0|1|11|12|2|6": 10, "10|11|12|2|6": 1, "0|10|11|12|2|6": 1, "1|10|11|12|2|6": 1, "0|1|10|11|12|2|6": 1, "10|11|3|6": 2, "0|10|11|3|6": 2, "1|10|11|3|6": 2, "0|1|10|11|3|6": 2, "12|3|6": 11, "0|12|3|6": 11, "1|12|3|6": 11, "0|1|12|3|6": 11, "10|12|3|6": 1, "0|10|12|3|6": 1, "1|10|12|3|6": 1, "0|1|10|12|3|6": 1, "11|12|3|6": 11, "0|11|12|3|6": 11, "1|11|12|3|6": 11, "0|1|11|12|3|6": 11, "10|11|12|3|6": 1, "0|10|11|12|3|6": 1, "1|10|11|12|3|6": 1, "0|1|10|11|12|3|6": 1, "10|11|2|3|6": 2, "0|10|11|2|3|6": 2, "1|10|11|2|3|6": 2, "0|1|10|11|2|3|6": 2, "12|2|3|6": 10, "0|12|2|3|6": 10, "1|12|2|3|6": 10, "0|1|12|2|3|6": 10, "10|12|2|3|6": 1, "0|10|12|2|3|6": 1, "1|10|12|2|3|6": 1, "0|1|10|12|2|3|6": 1, "11|12|2|3|6": 10, "0|11|12|2|3|6": 10, "1|11|12|2|3|6": 10, "0|1|11|12|2|3|6": 10, "10|11|12|2|3|6": 1, "0|10|11|12|2|3|6": 1, "1|10|11|12|2|3|6": 1, "0|1|10|11|12|2|3|6": 1, "10|11|4|6": 2, "0|10|11|4|6": 2, "1|10|11|4|6": 2, "0|1|10|11|4|6": 2, "12|4|6": 9, "0|12|4|6": 9, "1|12|4|6": 9, "0|1|12|4|6": 9, "10|12|4|6": 1, "0|10|12|4|6": 1, "1|10|12|4|6": 1, "0|1|10|12|4|6": 1, "11|12|4|6": 8, "0|11|12|4|6": 8, "1|11|12|4|6": 8, "0|1|11|12|4|6": 8, "10|11|12|4|6": 1, "0|10|11|12|4|6": 1, "1|10|11|12|4|6": 1, "0|1|10|11|12|4|6": 1, "10|11|2|4|6": 2, "0|10|11|2|4|6": 2, "1|10|11|2|4|6": 2, "0|1|10|11|2|4|6": 2, "12|2|4|6": 9, "0|12|2|4|6": 9, "1|12|2|4|6": 9, "0|1|12|2|4|6": 9, "10|12|2|4|6": 1, "0|10|12|2|4|6": 1, "1|10|12|2|4|6": 1, "0|1|10|12|2|4|6": 1, "11|12|2|4|6": 8, "0|11|12|2|4|6": 8, "1|11|12|2|4|6": 8, "0|1|11|12|2|4|6": 8, "10|11|12|2|4|6": 1, "0|10|11|12|2|4|6": 1, "1|10|11|12|2|4|6": 1, "0|1|10|11|12|2|4|6": 1, "10|11|3|4|6": 2, "0|10|11|3|4|6": 2, "1|10|11|3|4|6": 2, "0|1|10|11|3|4|6": 2, "12|3|4|6": 8, "0|12|3|4|6": 8, "1|12|3|4|6": 8, "0|1|12|3|4|6": 8, "10|12|3|4|6": 1, "0|10|12|3|4|6": 1, "1|10|12|3|4|6": 1, "0|1|10|12|3|4|6": 1, "11|12|3|4|6": 8, "0|11|12|3|4|6": 8, "1|11|12|3|4|6": 8, "0|1|11|12|3|4|6": 8, "10|11|12|3|4|6": 1, "0|10|11|12|3|4|6": 1, "1|10|11|12|3|4|6": 1, "0|1|10|11|12|3|4|6": 1, "10|11|2|3|4|6": 2, "0|10|11|2|3|4|6": 2, "1|10|11|2|3|4|6": 2, "0|1|10|11|2|3|4|6": 2, "12|2|3|4|6": 8, "0|12|2|3|4|6": 8, "1|12|2|3|4|6": 8, "0|1|12|2|3|4|6": 8, "10|12|2|3|4|6": 1, "0|10|12|2|3|4|6": 1, "1|10|12|2|3|4|6": 1, "0|1|10|12|2|3|4|6": 1, "11|12|2|3|4|6": 8, "0|11|12|2|3|4|6": 8, "1|11|12|2|3|4|6": 8, "0|1|11|12|2|3|4|6": 8, "10|11|12|2|3|4|6": 1, "0|10|11|12|2|3|4|6": 1, "1|10|11|12|2|3|4|6": 1, "0|1|10|11|12|2|3|4|6": 1, "10|11|5|6": 2, "0|10|11|5|6": 2, "1|10|11|5|6": 2, "0|1|10|11|5|6": 2, "12|5|6": 8, "0|12|5|6": 8, "1|12|5|6": 8, "0|1|12|5|6": 8, "10|12|5|6": 1, "0|10|12|5|6": 1, "1|10|12|5|6": 1, "0|1|10|12|5|6": 1, "11|12|5|6": 7, "0|11|12|5|6": 7, "1|11|12|5|6": 7, "0|1|11|12|5|6": 7, "10|11|12|5|6": 1, "0|10|11|12|5|6": 1, "1|10|11|12|5|6": 1, "0|1|10|11|12|5|6": 1, "10|11|2|5|6": 2, "0|10|11|2|5|6": 2, "1|10|11|2|5|6": 2, "0|1|10|11|2|5|6": 2, "12|2|5|6": 8, "0|12|2|5|6": 8, "1|12|2|5|6": 8, "0|1|12|2|5|6": 8, "10|12|2|5|6": 1, "0|10|12|2|5|6": 1, "1|10|12|2|5|6": 1, "0|1|10|12|2|5|6": 1, "11|12|2|5|6": 7, "0|11|12|2|5|6": 7, "1|11|12|2|5|6": 7, "0|1|11|12|2|5|6": 7, "10|11|12|2|5|6": 1, "0|10|11|12|2|5|6": 1, "1|10|11|12|2|5|6": 1, "0|1|10|11|12|2|5|6": 1, "10|11|3|5|6": 2, "0|10|11|3|5|6": 2, "1|10|11|3|5|6": 2, "0|1|10|11|3|5|6": 2, "12|3|5|6": 7, "0|12|3|5|6": 7, "1|12|3|5|6": 7, "0|1|12|3|5|6": 7, "10|12|3|5|6": 1, "0|10|12|3|5|6": 1, "1|10|12|3|5|6": 1, "0|1|10|12|3|5|6": 1, "11|12|3|5|6": 7, "0|11|12|3|5|6": 7, "1|11|12|3|5|6": 7, "0|1|11|12|3|5|6": 7, "10|11|12|3|5|6": 1, "0|10|11|12|3|5|6": 1, "1|10|11|12|3|5|6": 1, "0|1|10|11|12|3|5|6": 1, "10|11|2|3|5|6": 2, "0|10|11|2|3|5|6": 2, "1|10|11|2|3|5|6": 2, "0|1|10|11|2|3|5|6": 2, "12|2|3|5|6": 7, "0|12|2|3|5|6": 7, "1|12|2|3|5|6": 7, "0|1|12|2|3|5|6": 7, "10|12|2|3|5|6": 1, "0|10|12|2|3|5|6": 1, "1|10|12|2|3|5|6": 1, "0|1|10|12|2|3|5|6": 1, "11|12|2|3|5|6": 7, "0|11|12|2|3|5|6": 7, "1|11|12|2|3|5|6": 7, "0|1|11|12|2|3|5|6": 7, "10|11|12|2|3|5|6": 1, "0|10|11|12|2|3|5|6": 1, "1|10|11|12|2|3|5|6": 1, "0|1|10|11|12|2|3|5|6": 1, "10|11|4|5|6": 2, "0|10|11|4|5|6": 2, "1|10|11|4|5|6": 2, "0|1|10|11|4|5|6": 2, "12|4|5|6": 7, "0|12|4|5|6": 7, "1|12|4|5|6": 7, "0|1|12|4|5|6": 7, "10|12|4|5|6": 1, "0|10|12|4|5|6": 1, "1|10|12|4|5|6": 1, "0|1|10|12|4|5|6": 1, "11|12|4|5|6": 6, "0|11|12|4|5|6": 6, "1|11|12|4|5|6": 6, "0|1|11|12|4|5|6": 6, "10|11|12|4|5|6": 1, "0|10|11|12|4|5|6": 1, "1|10|11|12|4|5|6": 1, "0|1|10|11|12|4|5|6": 1, "10|11|2|4|5|6": 2, "0|10|11|2|4|5|6": 2, "1|10|11|2|4|5|6": 2, "0|1|10|11|2|4|5|6": 2, "12|2|4|5|6": 7, "0|12|2|4|5|6": 7, "1|12|2|4|5|6": 7, "0|1|12|2|4|5|6": 7, "10|12|2|4|5|6": 1, "0|10|12|2|4|5|6": 1, "1|10|12|2|4|5|6": 1, "0|1|10|12|2|4|5|6": 1, "11|12|2|4|5|6": 6, "0|11|12|2|4|5|6": 6, "1|11|12|2|4|5|6": 6, "0|1|11|12|2|4|5|6": 6, "10|11|12|2|4|5|6": 1, "0|10|11|12|2|4|5|6": 1, "1|10|11|12|2|4|5|6": 1, "0|1|10|11|12|2|4|5|6": 1, "10|11|3|4|5|6": 2, "0|10|11|3|4|5|6": 2, "1|10|11|3|4|5|6": 2, "0|1|10|11|3|4|5|6": 2, "12|3|4|5|6": 6, "0|12|3|4|5|6": 6, "1|12|3|4|5|6": 6, "0|1|12|3|4|5|6": 6, "10|12|3|4|5|6": 1, "0|10|12|3|4|5|6": 1, "1|10|12|3|4|5|6": 1, "0|1|10|12|3|4|5|6": 1, "11|12|3|4|5|6": 6, "0|11|12|3|4|5|6": 6, "1|11|12|3|4|5|6": 6, "0|1|11|12|3|4|5|6": 6, "10|11|12|3|4|5|6": 1, "0|10|11|12|3|4|5|6": 1, "1|10|11|12|3|4|5|6": 1, "0|1|10|11|12|3|4|5|6": 1, "10|11|2|3|4|5|6": 2, "0|10|11|2|3|4|5|6": 2, "1|10|11|2|3|4|5|6": 2, "0|1|10|11|2|3|4|5|6": 2, "12|2|3|4|5|6": 6, "0|12|2|3|4|5|6": 6, "1|12|2|3|4|5|6": 6, "0|1|12|2|3|4|5|6": 6, "10|12|2|3|4|5|6": 1, "0|10|12|2|3|4|5|6": 1, "1|10|12|2|3|4|5|6": 1, "0|1|10|12|2|3|4|5|6": 1, "11|12|2|3|4|5|6": 6, "0|11|12|2|3|4|5|6": 6, "1|11|12|2|3|4|5|6": 6, "0|1|11|12|2|3|4|5|6": 6, "10|11|12|2|3|4|5|6": 1, "0|10|11|12|2|3|4|5|6": 1, "1|10|11|12|2|3|4|5|6": 1, "0|1|10|11|12|2|3|4|5|6": 1, "10|11|7": 2, "0|10|11|7": 2, "1|10|11|7": 2, "0|1|10|11|7": 2, "12|7": 12, "0|12|7": 12, "1|12|7": 12, "0|1|12|7": 12, "10|12|7": 1, "0|10|12|7": 1, "1|10|12|7": 1, "0|1|10|12|7": 1, "11|12|7": 11, "0|11|12|7": 11, "1|11|12|7": 11, "0|1|11|12|7": 11, "10|11|12|7": 1, "0|10|11|12|7": 1, "1|10|11|12|7": 1, "0|1|10|11|12|7": 1, "10|11|2|7": 2, "0|10|11|2|7": 2, "1|10|11|2|7": 2, "0|1|10|11|2|7": 2, "12|2|7": 11, "0|12|2|7": 11, "1|12|2|7": 11, "0|1|12|2|7": 11, "10|12|2|7": 1, "0|10|12|2|7": 1, "1|10|12|2|7": 1, "0|1|10|12|2|7": 1, "11|12|2|7": 10, "0|11|12|2|7": 10, "1|11|12|2|7": 10, "0|1|11|12|2|7": 10, "10|11|12|2|7": 1, "0|10|11|12|2|7": 1, "1|10|11|12|2|7": 1, "0|1|10|11|12|2|7": 1, "10|11|3|7": 2, "0|10|11|3|7": 2, "1|10|11|3|7": 2, "0|1|10|11|3|7": 2, "12|3|7": 11, "0|12|3|7": 11, "1|12|3|7": 11, "0|1|12|3|7": 11, "10|12|3|7": 1, "0|10|12|3|7": 1, "1|10|12|3|7": 1, "0|1|10|12|3|7": 1, "11|12|3|7": 11, "0|11|12|3|7": 11, "1|11|12|3|7": 11, "0|1|11|12|3|7": 11, "10|11|12|3|7": 1, "0|10|11|12|3|7": 1, "1|10|11|12|3|7": 1, "0|1|10|11|12|3|7": 1, "10|11|2|3|7": 2, "0|10|11|2|3|7": 2, "1|10|11|2|3|7": 2, "0|1|10|11|2|3|7": 2, "12|2|3|7": 10, "0|12|2|3|7": 10, "1|12|2|3|7": 10, "0|1|12|2|3|7": 10, "10|12|2|3|7": 1, "0|10|12|2|3|7": 1, "1|10|12|2|3|7": 1, "0|1|10|12|2|3|7": 1, "11|12|2|3|7": 10, "0|11|12|2|3|7": 10, "1|11|12|2|3|7": 10, "0|1|11|12|2|3|7": 10, "10|11|12|2|3|7": 1, "0|10|11|12|2|3|7": 1, "1|10|11|12|2|3|7": 1, "0|1|10|11|12|2|3|7": 1, "10|11|4|7": 2, "0|10|11|4|7": 2, "1|10|11|4|7": 2, "0|1|10|11|4|7": 2, "12|4|7": 9, "0|12|4|7": 9, "1|12|4|7": 9, "0|1|12|4|7": 9, "10|12|4|7": 1, "0|10|12|4|7": 1, "1|10|12|4|7": 1, "0|1|10|12|4|7": 1, "11|12|4|7": 8, "0|11|12|4|7": 8, "1|11|12|4|7": 8, "0|1|11|12|4|7": 8, "10|11|12|4|7": 1, "0|10|11|12|4|7": 1, "1|10|11|12|4|7": 1, "0|1|10|11|12|4|7": 1, "10|11|2|4|7": 2, "0|10|11|2|4|7": 2, "1|10|11|2|4|7": 2, "0|1|10|11|2|4|7": 2, "12|2|4|7": 9, "0|12|2|4|7": 9, "1|12|2|4|7": 9, "0|1|12|2|4|7": 9, "10|12|2|4|7": 1, "0|10|12|2|4|7": 1, "1|10|12|2|4|7": 1, "0|1|10|12|2|4|7": 1, "11|12|2|4|7": 8, "0|11|12|2|4|7": 8, "1|11|12|2|4|7": 8, "0|1|11|12|2|4|7": 8, "10|11|12|2|4|7": 1, "0|10|11|12|2|4|7": 1, "1|10|11|12|2|4|7": 1, "0|1|10|11|12|2|4|7": 1, "10|11|3|4|7": 2, "0|10|11|3|4|7": 2, "1|10|11|3|4|7": 2, "0|1|10|11|3|4|7": 2, "12|3|4|7": 8, "0|12|3|4|7": 8, "1|12|3|4|7": 8, "0|1|12|3|4|7": 8, "10|12|3|4|7": 1, "0|10|12|3|4|7": 1, "1|10|12|3|4|7": 1, "0|1|10|12|3|4|7": 1, "11|12|3|4|7": 8, "0|11|12|3|4|7": 8, "1|11|12|3|4|7": 8, "0|1|11|12|3|4|7": 8, "10|11|12|3|4|7": 1, "0|10|11|12|3|4|7": 1, "1|10|11|12|3|4|7": 1, "0|1|10|11|12|3|4|7": 1, "10|11|2|3|4|7": 2, "0|10|11|2|3|4|7": 2, "1|10|11|2|3|4|7": 2, "0|1|10|11|2|3|4|7": 2, "12|2|3|4|7": 8, "0|12|2|3|4|7": 8, "1|12|2|3|4|7": 8, "0|1|12|2|3|4|7": 8, "10|12|2|3|4|7": 1, "0|10|12|2|3|4|7": 1, "1|10|12|2|3|4|7": 1, "0|1|10|12|2|3|4|7": 1, "11|12|2|3|4|7": 8, "0|11|12|2|3|4|7": 8, "1|11|12|2|3|4|7": 8, "0|1|11|12|2|3|4|7": 8, "10|11|12|2|3|4|7": 1, "0|10|11|12|2|3|4|7": 1, "1|10|11|12|2|3|4|7": 1, "0|1|10|11|12|2|3|4|7": 1, "10|11|5|7": 2, "0|10|11|5|7": 2, "1|10|11|5|7": 2, "0|1|10|11|5|7": 2, "12|5|7": 8, "0|12|5|7": 8, "1|12|5|7": 8, "0|1|12|5|7": 8, "10|12|5|7": 1, "0|10|12|5|7": 1, "1|10|12|5|7": 1, "0|1|10|12|5|7": 1, "11|12|5|7": 7, "0|11|12|5|7": 7, "1|11|12|5|7": 7, "0|1|11|12|5|7": 7, "10|11|12|5|7": 1, "0|10|11|12|5|7": 1, "1|10|11|12|5|7": 1, "0|1|10|11|12|5|7": 1, "10|11|2|5|7": 2, "0|10|11|2|5|7": 2, "1|10|11|2|5|7": 2, "0|1|10|11|2|5|7": 2, "12|2|5|7": 8, "0|12|2|5|7": 8, "1|12|2|5|7": 8, "0|1|12|2|5|7": 8, "10|12|2|5|7": 1, "0|10|12|2|5|7": 1, "1|10|12|2|5|7": 1, "0|1|10|12|2|5|7": 1, "11|12|2|5|7": 7, "0|11|12|2|5|7": 7, "1|11|12|2|5|7": 7, "0|1|11|12|2|5|7": 7, "10|11|12|2|5|7": 1, "0|10|11|12|2|5|7": 1, "1|10|11|12|2|5|7": 1, "0|1|10|11|12|2|5|7": 1, "10|11|3|5|7": 2, "0|10|11|3|5|7": 2, "1|10|11|3|5|7": 2, "0|1|10|11|3|5|7": 2, "12|3|5|7": 7, "0|12|3|5|7": 7, "1|12|3|5|7": 7, "0|1|12|3|5|7": 7, "10|12|3|5|7": 1, "0|10|12|3|5|7": 1, "1|10|12|3|5|7": 1, "0|1|10|12|3|5|7": 1, "11|12|3|5|7": 7, "0|11|12|3|5|7": 7, "1|11|12|3|5|7": 7, "0|1|11|12|3|5|7": 7, "10|11|12|3|5|7": 1, "0|10|11|12|3|5|7": 1, "1|10|11|12|3|5|7": 1, "0|1|10|11|12|3|5|7": 1, "10|11|2|3|5|7": 2, "0|10|11|2|3|5|7": 2, "1|10|11|2|3|5|7": 2, "0|1|10|11|2|3|5|7": 2, "12|2|3|5|7": 7, "0|12|2|3|5|7": 7, "1|12|2|3|5|7": 7, "0|1|12|2|3|5|7": 7, "10|12|2|3|5|7": 1, "0|10|12|2|3|5|7": 1, "1|10|12|2|3|5|7": 1, "0|1|10|12|2|3|5|7": 1, "11|12|2|3|5|7": 7, "0|11|12|2|3|5|7": 7, "1|11|12|2|3|5|7": 7, "0|1|11|12|2|3|5|7": 7, "10|11|12|2|3|5|7": 1, "0|10|11|12|2|3|5|7": 1, "1|10|11|12|2|3|5|7": 1, "0|1|10|11|12|2|3|5|7": 1, "10|11|4|5|7": 2, "0|10|11|4|5|7": 2, "1|10|11|4|5|7": 2, "0|1|10|11|4|5|7": 2, "12|4|5|7": 7, "0|12|4|5|7": 7, "1|12|4|5|7": 7, "0|1|12|4|5|7": 7, "10|12|4|5|7": 1, "0|10|12|4|5|7": 1, "1|10|12|4|5|7": 1, "0|1|10|12|4|5|7": 1, "11|12|4|5|7": 6, "0|11|12|4|5|7": 6, "1|11|12|4|5|7": 6, "0|1|11|12|4|5|7": 6, "10|11|12|4|5|7": 1, "0|10|11|12|4|5|7": 1, "1|10|11|12|4|5|7": 1, "0|1|10|11|12|4|5|7": 1, "10|11|2|4|5|7": 2, "0|10|11|2|4|5|7": 2, "1|10|11|2|4|5|7": 2, "0|1|10|11|2|4|5|7": 2, "12|2|4|5|7": 7, "0|12|2|4|5|7": 7, "1|12|2|4|5|7": 7, "0|1|12|2|4|5|7": 7, "10|12|2|4|5|7": 1, "0|10|12|2|4|5|7": 1, "1|10|12|2|4|5|7": 1, "0|1|10|12|2|4|5|7": 1, "11|12|2|4|5|7": 6, "0|11|12|2|4|5|7": 6, "1|11|12|2|4|5|7": 6, "0|1|11|12|2|4|5|7": 6, "10|11|12|2|4|5|7": 1, "0|10|11|12|2|4|5|7": 1, "1|10|11|12|2|4|5|7": 1, "0|1|10|11|12|2|4|5|7": 1, "10|11|3|4|5|7": 2, "0|10|11|3|4|5|7": 2, "1|10|11|3|4|5|7": 2, "0|1|10|11|3|4|5|7": 2, "12|3|4|5|7": 6, "0|12|3|4|5|7": 6, "1|12|3|4|5|7": 6, "0|1|12|3|4|5|7": 6, "10|12|3|4|5|7": 1, "0|10|12|3|4|5|7": 1, "1|10|12|3|4|5|7": 1, "0|1|10|12|3|4|5|7": 1, "11|12|3|4|5|7": 6, "0|11|12|3|4|5|7": 6, "1|11|12|3|4|5|7": 6, "0|1|11|12|3|4|5|7": 6, "10|11|12|3|4|5|7": 1, "0|10|11|12|3|4|5|7": 1, "1|10|11|12|3|4|5|7": 1, "0|1|10|11|12|3|4|5|7": 1, "10|11|2|3|4|5|7": 2, "0|10|11|2|3|4|5|7": 2, "1|10|11|2|3|4|5|7": 2, "0|1|10|11|2|3|4|5|7": 2, "12|2|3|4|5|7": 6, "0|12|2|3|4|5|7": 6, "1|12|2|3|4|5|7": 6, "0|1|12|2|3|4|5|7": 6, "10|12|2|3|4|5|7": 1, "0|10|12|2|3|4|5|7": 1, "1|10|12|2|3|4|5|7": 1, "0|1|10|12|2|3|4|5|7": 1, "11|12|2|3|4|5|7": 6, "0|11|12|2|3|4|5|7": 6, "1|11|12|2|3|4|5|7": 6, "0|1|11|12|2|3|4|5|7": 6, "10|11|12|2|3|4|5|7": 1, "0|10|11|12|2|3|4|5|7": 1, "1|10|11|12|2|3|4|5|7": 1, "0|1|10|11|12|2|3|4|5|7": 1, "10|11|6|7": 2, "0|10|11|6|7": 2, "1|10|11|6|7": 2, "0|1|10|11|6|7": 2, "12|6|7": 12, "0|12|6|7": 12, "1|12|6|7": 12, "0|1|12|6|7": 12, "10|12|6|7": 1, "0|10|12|6|7": 1, "1|10|12|6|7": 1, "0|1|10|12|6|7": 1, "11|12|6|7": 11, "0|11|12|6|7": 11, "1|11|12|6|7": 11, "0|1|11|12|6|7": 11, "10|11|12|6|7": 1, "0|10|11|12|6|7": 1, "1|10|11|12|6|7": 1, "0|1|10|11|12|6|7": 1, "10|11|2|6|7": 2, "0|10|11|2|6|7": 2, "1|10|11|2|6|7": 2, "0|1|10|11|2|6|7": 2, "12|2|6|7": 11, "0|12|2|6|7": 11, "1|12|2|6|7": 11, "0|1|12|2|6|7": 11, "10|12|2|6|7": 1, "0|10|12|2|6|7": 1, "1|10|12|2|6|7": 1, "0|1|10|12|2|6|7": 1, "11|12|2|6|7": 10, "0|11|12|2|6|7": 10, "1|11|12|2|6|7": 10, "0|1|11|12|2|6|7": 10, "10|11|12|2|6|7": 1, "0|10|11|12|2|6|7": 1, "1|10|11|12|2|6|7": 1, "0|1|10|11|12|2|6|7": 1, "10|11|3|6|7": 2, "0|10|11|3|6|7": 2, "1|10|11|3|6|7": 2, "0|1|10|11|3|6|7": 2, "12|3|6|7": 11, "0|12|3|6|7": 11, "1|12|3|6|7": 11, "0|1|12|3|6|7": 11, "10|12|3|6|7": 1, "0|10|12|3|6|7": 1, "1|10|12|3|6|7": 1, "0|1|10|12|3|6|7": 1, "11|12|3|6|7": 11, "0|11|12|3|6|7": 11, "1|11|12|3|6|7": 11, "0|1|11|12|3|6|7": 11, "10|11|12|3|6|7": 1, "0|10|11|12|3|6|7": 1, "1|10|11|12|3|6|7": 1, "0|1|10|11|12|3|6|7": 1, "10|11|2|3|6|7": 2, "0|10|11|2|3|6|7": 2, "1|10|11|2|3|6|7": 2, "0|1|10|11|2|3|6|7": 2, "12|2|3|6|7": 10, "0|12|2|3|6|7": 10, "1|12|2|3|6|7": 10, "0|1|12|2|3|6|7": 10, "10|12|2|3|6|7": 1, "0|10|12|2|3|6|7": 1, "1|10|12|2|3|6|7": 1, "0|1|10|12|2|3|6|7": 1, "11|12|2|3|6|7": 10, "0|11|12|2|3|6|7": 10, "1|11|12|2|3|6|7": 10, "0|1|11|12|2|3|6|7": 10, "10|11|12|2|3|6|7": 1, "0|10|11|12|2|3|6|7": 1, "1|10|11|12|2|3|6|7": 1, "0|1|10|11|12|2|3|6|7": 1, "10|11|4|6|7": 2, "0|10|11|4|6|7": 2, "1|10|11|4|6|7": 2, "0|1|10|11|4|6|7": 2, "12|4|6|7": 9, "0|12|4|6|7": 9, "1|12|4|6|7": 9, "0|1|12|4|6|7": 9, "10|12|4|6|7": 1, "0|10|12|4|6|7": 1, "1|10|12|4|6|7": 1, "0|1|10|12|4|6|7": 1, "11|12|4|6|7": 8, "0|11|12|4|6|7": 8, "1|11|12|4|6|7": 8, "0|1|11|12|4|6|7": 8, "10|11|12|4|6|7": 1, "0|10|11|12|4|6|7": 1, "1|10|11|12|4|6|7": 1, "0|1|10|11|12|4|6|7": 1, "10|11|2|4|6|7": 2, "0|10|11|2|4|6|7": 2, "1|10|11|2|4|6|7": 2, "0|1|10|11|2|4|6|7": 2, "12|2|4|6|7": 9, "0|12|2|4|6|7": 9, "1|12|2|4|6|7": 9, "0|1|12|2|4|6|7": 9, "10|12|2|4|6|7": 1, "0|10|12|2|4|6|7": 1, "1|10|12|2|4|6|7": 1, "0|1|10|12|2|4|6|7": 1, "11|12|2|4|6|7": 8, "0|11|12|2|4|6|7": 8, "1|11|12|2|4|6|7": 8, "0|1|11|12|2|4|6|7": 8, "10|11|12|2|4|6|7": 1, "0|10|11|12|2|4|6|7": 1, "1|10|11|12|2|4|6|7": 1, "0|1|10|11|12|2|4|6|7": 1, "10|11|3|4|6|7": 2, "0|10|11|3|4|6|7": 2, "1|10|11|3|4|6|7": 2, "0|1|10|11|3|4|6|7": 2, "12|3|4|6|7": 8, "0|12|3|4|6|7": 8, "1|12|3|4|6|7": 8, "0|1|12|3|4|6|7": 8, "10|12|3|4|6|7": 1, "0|10|12|3|4|6|7": 1, "1|10|12|3|4|6|7": 1, "0|1|10|12|3|4|6|7": 1, "11|12|3|4|6|7": 8, "0|11|12|3|4|6|7": 8, "1|11|12|3|4|6|7": 8, "0|1|11|12|3|4|6|7": 8, "10|11|12|3|4|6|7": 1, "0|10|11|12|3|4|6|7": 1, "1|10|11|12|3|4|6|7": 1, "0|1|10|11|12|3|4|6|7": 1, "10|11|2|3|4|6|7": 2, "0|10|11|2|3|4|6|7": 2, "1|10|11|2|3|4|6|7": 2, "0|1|10|11|2|3|4|6|7": 2, "12|2|3|4|6|7": 8, "0|12|2|3|4|6|7": 8, "1|12|2|3|4|6|7": 8, "0|1|12|2|3|4|6|7": 8, "10|12|2|3|4|6|7": 1, "0|10|12|2|3|4|6|7": 1, "1|10|12|2|3|4|6|7": 1, "0|1|10|12|2|3|4|6|7": 1, "11|12|2|3|4|6|7": 8, "0|11|12|2|3|4|6|7": 8, "1|11|12|2|3|4|6|7": 8, "0|1|11|12|2|3|4|6|7": 8, "10|11|12|2|3|4|6|7": 1, "0|10|11|12|2|3|4|6|7": 1, "1|10|11|12|2|3|4|6|7": 1, "0|1|10|11|12|2|3|4|6|7": 1, "10|11|5|6|7": 2, "0|10|11|5|6|7": 2, "1|10|11|5|6|7": 2, "0|1|10|11|5|6|7": 2, "12|5|6|7": 8, "0|12|5|6|7": 8, "1|12|5|6|7": 8, "0|1|12|5|6|7": 8, "10|12|5|6|7": 1, "0|10|12|5|6|7": 1, "1|10|12|5|6|7": 1, "0|1|10|12|5|6|7": 1, "11|12|5|6|7": 7, "0|11|12|5|6|7": 7, "1|11|12|5|6|7": 7, "0|1|11|12|5|6|7": 7, "10|11|12|5|6|7": 1, "0|10|11|12|5|6|7": 1, "1|10|11|12|5|6|7": 1, "0|1|10|11|12|5|6|7": 1, "10|11|2|5|6|7": 2, "0|10|11|2|5|6|7": 2, "1|10|11|2|5|6|7": 2, "0|1|10|11|2|5|6|7": 2, "12|2|5|6|7": 8, "0|12|2|5|6|7": 8, "1|12|2|5|6|7": 8, "0|1|12|2|5|6|7": 8, "10|12|2|5|6|7": 1, "0|10|12|2|5|6|7": 1, "1|10|12|2|5|6|7": 1, "0|1|10|12|2|5|6|7": 1, "11|12|2|5|6|7": 7, "0|11|12|2|5|6|7": 7, "1|11|12|2|5|6|7": 7, "0|1|11|12|2|5|6|7": 7, "10|11|12|2|5|6|7": 1, "0|10|11|12|2|5|6|7": 1, "1|10|11|12|2|5|6|7": 1, "0|1|10|11|12|2|5|6|7": 1, "10|11|3|5|6|7": 2, "0|10|11|3|5|6|7": 2, "1|10|11|3|5|6|7": 2, "0|1|10|11|3|5|6|7": 2, "12|3|5|6|7": 7, "0|12|3|5|6|7": 7, "1|12|3|5|6|7": 7, "0|1|12|3|5|6|7": 7, "10|12|3|5|6|7": 1, "0|10|12|3|5|6|7": 1, "1|10|12|3|5|6|7": 1, "0|1|10|12|3|5|6|7": 1, "11|12|3|5|6|7": 7, "0|11|12|3|5|6|7": 7, "1|11|12|3|5|6|7": 7, "0|1|11|12|3|5|6|7": 7, "10|11|12|3|5|6|7": 1, "0|10|11|12|3|5|6|7": 1, "1|10|11|12|3|5|6|7": 1, "0|1|10|11|12|3|5|6|7": 1, "10|11|2|3|5|6|7": 2, "0|10|11|2|3|5|6|7": 2, "1|10|11|2|3|5|6|7": 2, "0|1|10|11|2|3|5|6|7": 2, "12|2|3|5|6|7": 7, "0|12|2|3|5|6|7": 7, "1|12|2|3|5|6|7": 7, "0|1|12|2|3|5|6|7": 7, "10|12|2|3|5|6|7": 1, "0|10|12|2|3|5|6|7": 1, "1|10|12|2|3|5|6|7": 1, "0|1|10|12|2|3|5|6|7": 1, "11|12|2|3|5|6|7": 7, "0|11|12|2|3|5|6|7": 7, "1|11|12|2|3|5|6|7": 7, "0|1|11|12|2|3|5|6|7": 7, "10|11|12|2|3|5|6|7": 1, "0|10|11|12|2|3|5|6|7": 1, "1|10|11|12|2|3|5|6|7": 1, "0|1|10|11|12|2|3|5|6|7": 1, "10|11|4|5|6|7": 2, "0|10|11|4|5|6|7": 2, "1|10|11|4|5|6|7": 2, "0|1|10|11|4|5|6|7": 2, "12|4|5|6|7": 7, "0|12|4|5|6|7": 7, "1|12|4|5|6|7": 7, "0|1|12|4|5|6|7": 7, "10|12|4|5|6|7": 1, "0|10|12|4|5|6|7": 1, "1|10|12|4|5|6|7": 1, "0|1|10|12|4|5|6|7": 1, "11|12|4|5|6|7": 6, "0|11|12|4|5|6|7": 6, "1|11|12|4|5|6|7": 6, "0|1|11|12|4|5|6|7": 6, "10|11|12|4|5|6|7": 1, "0|10|11|12|4|5|6|7": 1, "1|10|11|12|4|5|6|7": 1, "0|1|10|11|12|4|5|6|7": 1, "10|11|2|4|5|6|7": 2, "0|10|11|2|4|5|6|7": 2, "1|10|11|2|4|5|6|7": 2, "0|1|10|11|2|4|5|6|7": 2, "12|2|4|5|6|7": 7, "0|12|2|4|5|6|7": 7, "1|12|2|4|5|6|7": 7, "0|1|12|2|4|5|6|7": 7, "10|12|2|4|5|6|7": 1, "0|10|12|2|4|5|6|7": 1, "1|10|12|2|4|5|6|7": 1, "0|1|10|12|2|4|5|6|7": 1, "11|12|2|4|5|6|7": 6, "0|11|12|2|4|5|6|7": 6, "1|11|12|2|4|5|6|7": 6, "0|1|11|12|2|4|5|6|7": 6, "10|11|12|2|4|5|6|7": 1, "0|10|11|12|2|4|5|6|7": 1, "1|10|11|12|2|4|5|6|7": 1, "0|1|10|11|12|2|4|5|6|7": 1, "10|11|3|4|5|6|7": 2, "0|10|11|3|4|5|6|7": 2, "1|10|11|3|4|5|6|7": 2, "0|1|10|11|3|4|5|6|7": 2, "12|3|4|5|6|7": 6, "0|12|3|4|5|6|7": 6, "1|12|3|4|5|6|7": 6, "0|1|12|3|4|5|6|7": 6, "10|12|3|4|5|6|7": 1, "0|10|12|3|4|5|6|7": 1, "1|10|12|3|4|5|6|7": 1, "0|1|10|12|3|4|5|6|7": 1, "11|12|3|4|5|6|7": 6, "0|11|12|3|4|5|6|7": 6, "1|11|12|3|4|5|6|7": 6, "0|1|11|12|3|4|5|6|7": 6, "10|11|12|3|4|5|6|7": 1, "0|10|11|12|3|4|5|6|7": 1, "1|10|11|12|3|4|5|6|7": 1, "0|1|10|11|12|3|4|5|6|7": 1, "10|11|2|3|4|5|6|7": 2, "0|10|11|2|3|4|5|6|7": 2, "1|10|11|2|3|4|5|6|7": 2, "0|1|10|11|2|3|4|5|6|7": 2, "12|2|3|4|5|6|7": 6, "0|12|2|3|4|5|6|7": 6, "1|12|2|3|4|5|6|7": 6, "0|1|12|2|3|4|5|6|7": 6, "10|12|2|3|4|5|6|7": 1, "0|10|12|2|3|4|5|6|7": 1, "1|10|12|2|3|4|5|6|7": 1, "0|1|10|12|2|3|4|5|6|7": 1, "11|12|2|3|4|5|6|7": 6, "0|11|12|2|3|4|5|6|7": 6, "1|11|12|2|3|4|5|6|7": 6, "0|1|11|12|2|3|4|5|6|7": 6, "10|11|12|2|3|4|5|6|7": 1, "0|10|11|12|2|3|4|5|6|7": 1, "1|10|11|12|2|3|4|5|6|7": 1, "0|1|10|11|12|2|3|4|5|6|7": 1 } } }