{ "oldstat": { "9823": { "species": "Pig", "glycans": 7319, "proteins": 22786, "glycoproteins": 462 }, "10116": { "species": "Rat", "glycans": 7967, "proteins": 22897, "glycoproteins": 2677 }, "9606": { "species": "Human", "glycans": 21601, "proteins": 20597, "glycoproteins": 12349 }, "559292": { "species": "Yeast", "glycans": 1126, "proteins": 6060, "glycoproteins": 884 }, "10090": { "species": "Mouse", "glycans": 8302, "proteins": 21701, "glycoproteins": 7952 }, "7227": { "species": "Fruit fly", "glycans": 899, "proteins": 13824, "glycoproteins": 784 }, "2697049": { "species": "SARS-CoV-2", "glycans": 1121, "proteins": 17, "glycoproteins": 4 }, "44689": { "species": "Cellular slime molds", "glycans": 85, "proteins": 12718, "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": [ "9823", "7227", "10116", "10090", "9606", "44689", "559292", "2697049", "694009", "63746", "11116" ], "byproteintype": { "typelist": [ "proteins", "enzymes", "glycoproteins" ], "9823_0": 22786, "7227_0": 13824, "10116_0": 22897, "10090_0": 21701, "10090_2": 7952, "10090_0|2": 7952, "9606_0": 20597, "9606_2": 12349, "9606_0|2": 12349, "10090_1": 4481, "10090_0|1": 4481, "7227_1": 2803, "7227_0|1": 2803, "10116_2": 2677, "10116_0|2": 2677, "44689_0": 12718, "10090_1|2": 2177, "10090_0|1|2": 2177, "9606_1": 4519, "9606_0|1": 4519, "9606_1|2": 2995, "9606_0|1|2": 2995, "559292_0": 6060, "10116_1": 3691, "10116_0|1": 3691, "10116_1|2": 696, "10116_0|1|2": 696, "7227_2": 784, "7227_0|2": 784, "559292_1": 1788, "559292_0|1": 1788, "9823_2": 462, "9823_0|2": 462, "44689_1": 1723, "44689_0|1": 1723, "44689_2": 386, "44689_0|2": 386, "559292_2": 884, "559292_0|2": 884, "7227_1|2": 223, "7227_0|1|2": 223, "559292_1|2": 268, "559292_0|1|2": 268, "44689_1|2": 100, "44689_0|1|2": 100, "9823_1": 29, "9823_0|1": 29, "2697049_0": 17, "694009_0": 15, "694009_2": 3, "694009_0|2": 3, "9823_1|2": 22, "9823_0|1|2": 22, "2697049_1": 2, "2697049_0|1": 2, "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, "2697049_2": 4, "2697049_0|2": 4, "694009_1": 2, "694009_0|1": 2 }, "bysequencetype": { "typelist": [ "canonical", "isoform" ], "9823_canonical": 22786, "9823_isoform": 46252, "7227_canonical": 13824, "7227_isoform": 23414, "10116_canonical": 22897, "10116_isoform": 49470, "10090_canonical": 21701, "10090_isoform": 62573, "9606_canonical": 20597, "9606_isoform": 101457, "44689_canonical": 12718, "44689_isoform": 12746, "559292_canonical": 6060, "559292_isoform": 6091, "2697049_canonical": 17, "2697049_isoform": 17, "694009_canonical": 15, "694009_isoform": 15, "63746_canonical": 1, "63746_isoform": 1, "11116_canonical": 1, "11116_isoform": 1 }, "bysitetype": { "typelist": [ "rwgs", "rwogs", "predicted" ], "10090_2": 3501, "9606_0": 9864, "10116_2": 1996, "10090_0": 5190, "9606_1": 2225, "9606_0|1": 1597, "9606_2": 3579, "9606_0|2": 1439, "9606_1|2": 1069, "9606_0|1|2": 786, "10116_0": 770, "7227_0": 284, "9823_2": 383, "10116_0|2": 156, "44689_2": 374, "559292_0": 464, "7227_2": 395, "559292_2": 387, "10090_1": 1015, "10090_0|1": 746, "10090_0|2": 874, "10090_1|2": 665, "10090_0|1|2": 531, "10116_1": 293, "7227_1": 184, "7227_1|2": 52, "9823_1": 81, "10116_0|1": 165, "10116_1|2": 179, "10116_0|1|2": 118, "559292_1": 55, "9823_0": 19, "559292_1|2": 10, "559292_0|2": 11, "694009_1": 3, "7227_0|1": 21, "7227_0|2": 16, "7227_0|1|2": 10, "9823_0|1": 6, "559292_0|1": 1, "9823_1|2": 12, "694009_0": 1, "694009_0|1": 1, "9823_0|2": 5, "9823_0|1|2": 2, "44689_1": 10, "44689_1|2": 1, "63746_0": 1, "63746_1": 1, "63746_0|1": 1, "11116_1": 1, "11116_2": 1, "11116_1|2": 1, "2697049_0": 1, "2697049_1": 2, "2697049_0|1": 1, "44689_0": 3, "694009_2": 1, "694009_1|2": 1, "2697049_2": 2 }, "glycohydrolases": { "9606": 83, "7227": 41, "9823": 15, "559292": 37, "44689": 35, "10116": 35, "10090": 77 }, "glycosyltransferases": { "9606": 220, "559292": 68, "10116": 97, "10090": 194, "7227": 123, "44689": 24, "9823": 14 }, "total": { "9823": 22786, "7227": 13824, "10116": 22897, "10090": 21701, "9606": 20597, "44689": 12718, "559292": 6060, "2697049": 17, "694009": 15, "63746": 1, "11116": 1 } }, "glycan": { "taxidlist": [ "9823", "10116", "9606", "4932", "10090", "10114", "7227", "2697049", "11103", "9825", "44689", "694009", "63746" ], "byglycantype": { "Other_Other": 13925, "Glycosphingolipid_Ganglio series": 738, "O-linked_Core 1": 2246, "Glycosphingolipid_Gala series": 173, "O-linked_Core 2": 4205, "N-linked_Biantennary": 6617, "N-linked_Complex": 15126, "N-linked_Core-fucosylated": 10660, "N-linked_Arm-fucosylated": 4444, "N-linked_Truncated": 1602, "GAG_Other": 1067, "O-linked_Core 4": 929, "N-linked_High mannose": 1124, "N-linked_Tetraantennary": 4236, "N-linked_Alditol-reduced": 1564, "Glycosphingolipid_Neo-lacto series": 2010, "Glycosphingolipid_Lacto series": 1620, "N-linked_Bisected": 4964, "O-linked_Core 6": 729, "N-linked_Triantennary": 5840, "N-linked_Other": 1030, "N-linked_Hybrid": 1296, "O-linked_Core 3": 1135, "O-linked_O-mannose": 246, "Glycosphingolipid_Muco series": 111, "GAG_Keratan sulfate": 58, "O-linked_Core 5": 129, "O-linked_Core 7": 81, "O-linked_O-fucose": 126, "Glycosphingolipid_Globo series": 204, "N-linked_Paucimannose": 70, "Glycosphingolipid_Isoglobo series": 156, "Glycosphingolipid_Mollu series": 10, "Glycosphingolipid_Arthro series": 8, "GPI anchor_Other": 21, "O-linked_O-GlcNAc": 7 }, "bymotiftype": { "Type 2 LN": 21618, "a-Gal antigen": 2315, "Type 1 LN": 9982, "Lewis a": 2711, "3-Sialyl-LN (type 2)": 6753, "Type 2 LN2": 3437, "Type 1 LN2": 1425, "Blood group H (type 2)": 3118, "Blood group H (type 1)": 2178, "Lewis x": 5380, "Lewis y": 787, "Blood group H (type 2) - Lewis y": 785, "Sialyl Lewis x": 1227, "Sialyl Lewis a": 659, "Paragloboside": 9, "Lewis b": 617, "I antigen": 561, "Blood group B (type 1)": 187, "Blood group A (type 2)": 544, "LacdiNAc": 1671, "Lex-Lex": 315, "SDLex": 52, "VIM-2": 114, "Blood group A (type 2) - Lewis y": 60, "4'-sulfated LDN": 392, "Blood group A2 (A-associated H type 3)": 37, "Blood group A (type 1)": 363, "i antigen": 703, "6-Sialyl-GalNAc": 710, "Sialylated LDN": 266, "Fucosylated LDN": 225, "Sda/CT antigen": 144, "GM3": 19, "B-GD1b": 5, "6-Sulfo-sialyl Lewis x": 29, "SLex Core 2 O-glycan": 19, "2,6-sialyl-Sulfo-LN": 117, "GD1a": 12, "Blood group B (type 2)": 270, "Type 1 LN3": 261, "Di-sialyl T antigen": 42, "Sialyl T antigen": 42, "GD1b": 6, "Blood group A (type 1) - Lewis b": 56, "Globoside": 8, "Diphosphorylated Man6": 14, "GL-6 fucosylated": 8, "Blood group H (type 4)": 8, "GQ1ba": 5, "3'-Sulfo-Lewis x": 54, "HNK-1 antigen": 37, "HNK-1 on O-mannose": 8, "A antigen (type 3)": 11, "N-Glycolyl-GM2": 6, "GD1": 5, "P1 antigen": 7, "GL-7 globoseries ganglioside": 9, "GH1ca": 5, "GM4": 16, "Blood group B (type 1) - Lewis b": 56, "LcGg4": 5, "GQ1b": 10, "Blood group A1 (type 3)": 18, "GM1": 12, "Sialyl Tn antigen": 15, "Pk antigen": 10, "Lactosylceramide": 11, "GD3": 11, "9-O-Acetyl GD3": 11, "GT1a": 10, "GT2": 6, "GP1c": 4, "GQ1aa": 5, "Sialosyl paragloboside": 5, "6'-Sulfo-sialyl Lewis x": 16, "GQ1c": 6, "T antigen": 21, "Tn antigen": 4, "O-Linked mannose": 17, "O-Mannose Lex": 33, "B antigen (type 3)": 6, "GT1b": 6, "Polysialic acid": 11, "Asialo-GM1": 6, "2-Fucosyl-GM1": 8, "Blood group B (type 4)": 5, "B-GM1": 6, "2,6-Branched O-mannose": 11, "cisGM1": 12, "GD2": 10, "Glucosylceramide": 5, "Disialosyl globopentaosylceramide": 5, "GM2": 10, "Seminolipid": 6, "Sulfatide": 6, "Isoglobotetraosylceramide": 8, "Cytolipin R": 8, "H antigen (type 3)": 18, "Mono-fucosyl LN5": 5, "Monosulfated gangliotetraosylceramide": 9, "Sialopentaosylceramide": 5, "6,6'-bisSulfo-Lewis x": 6, "GP1ca": 5, "GT1c": 6, "Galactosylceramide": 5, "GT3": 7, "Lactotriaosylceramide": 8, "Forssman glycolipid": 6, "para-Forssman glycolipid": 5, "Mono-sulfated globopentaosylceramide": 4, "3'-Sulfo-Lewis a": 30, "GT1aa": 5, "Ceramide dihexosyl sulfate": 5, "Sulfo-isogloboside": 5, "Blood group A (type 4)": 6, "Mono-fucosyl LN3": 5, "Gb5": 6, "SSEA-3": 6, "Mono-sulfated globotetraosylceramide": 5, "2-Fucosyl-GD1b": 5 }, "bar_mass_ranges": [ 14090, 18146, 11348, 3414, 420, 26, 36, 0, 0, 0 ], "bar_sugar_ranges": [ 0, 223, 2596, 4391, 4243, 3562, 4076, 3095, 3078, 3011, 3213, 3223, 3221, 2060, 1975, 1829, 956, 849, 878, 337, 759 ], "total": { "9823": 7313, "10116": 5189, "9606": 21601, "4932": 1126, "10090": 8302, "10114": 4555, "7227": 899, "2697049": 1121, "11103": 35, "9825": 78, "44689": 85, "694009": 21, "63746": 14 }, "0": 7313, "1": 5189, "2": 21601, "0|2": 4964, "1|2": 4276, "3": 1126, "4": 8302, "1|4": 3309, "2|4": 6430, "1|2|4": 3148, "0|4": 3672, "0|2|4": 3364, "5": 4555, "0|5": 2287, "2|5": 3488, "0|2|5": 2205, "4|5": 2502, "0|4|5": 1808, "2|4|5": 2379, "0|2|4|5": 1765, "0|1": 2494, "0|1|2": 2353, "0|1|4": 2145, "0|1|2|4": 2094, "1|5": 1777, "0|1|5": 1149, "1|2|5": 1548, "0|1|2|5": 1124, "1|4|5": 1426, "0|1|4|5": 1081, "1|2|4|5": 1364, "0|1|2|4|5": 1057, "0|3": 342, "1|3": 225, "0|1|3": 176, "2|3": 468, "0|2|3": 314, "1|2|3": 218, "0|1|2|3": 176, "3|4": 398, "0|3|4": 317, "1|3|4": 203, "0|1|3|4": 175, "2|3|4": 344, "0|2|3|4": 292, "1|2|3|4": 203, "0|1|2|3|4": 175, "3|5": 248, "0|3|5": 195, "1|3|5": 131, "0|1|3|5": 103, "2|3|5": 235, "0|2|3|5": 194, "1|2|3|5": 124, "0|1|2|3|5": 103, "3|4|5": 204, "0|3|4|5": 190, "1|3|4|5": 111, "0|1|3|4|5": 102, "2|3|4|5": 203, "0|2|3|4|5": 189, "1|2|3|4|5": 111, "0|1|2|3|4|5": 102, "6": 899, "0|6": 693, "1|6": 710, "0|1|6": 596, "2|6": 886, "0|2|6": 693, "1|2|6": 704, "0|1|2|6": 596, "3|6": 144, "0|3|6": 126, "1|3|6": 110, "0|1|3|6": 92, "2|3|6": 144, "0|2|3|6": 126, "1|2|3|6": 110, "0|1|2|3|6": 92, "4|6": 802, "0|4|6": 661, "1|4|6": 676, "0|1|4|6": 587, "2|4|6": 802, "0|2|4|6": 661, "1|2|4|6": 676, "0|1|2|4|6": 587, "3|4|6": 144, "0|3|4|6": 126, "1|3|4|6": 110, "0|1|3|4|6": 92, "2|3|4|6": 144, "0|2|3|4|6": 126, "1|2|3|4|6": 110, "0|1|2|3|4|6": 92, "5|6": 423, "0|5|6": 415, "1|5|6": 326, "0|1|5|6": 325, "2|5|6": 423, "0|2|5|6": 415, "1|2|5|6": 326, "0|1|2|5|6": 325, "3|5|6": 97, "0|3|5|6": 96, "1|3|5|6": 65, "0|1|3|5|6": 64, "2|3|5|6": 97, "0|2|3|5|6": 96, "1|2|3|5|6": 65, "0|1|2|3|5|6": 64, "4|5|6": 401, "0|4|5|6": 394, "1|4|5|6": 326, "0|1|4|5|6": 325, "2|4|5|6": 401, "0|2|4|5|6": 394, "1|2|4|5|6": 326, "0|1|2|4|5|6": 325, "3|4|5|6": 97, "0|3|4|5|6": 96, "1|3|4|5|6": 65, "0|1|3|4|5|6": 64, "2|3|4|5|6": 97, "0|2|3|4|5|6": 96, "1|2|3|4|5|6": 65, "0|1|2|3|4|5|6": 64, "7": 1121, "0|7": 715, "1|7": 881, "0|1|7": 673, "2|7": 1113, "0|2|7": 715, "1|2|7": 879, "0|1|2|7": 673, "4|7": 1033, "0|4|7": 709, "1|4|7": 846, "0|1|4|7": 671, "2|4|7": 1028, "0|2|4|7": 709, "1|2|4|7": 845, "0|1|2|4|7": 671, "5|7": 387, "0|5|7": 347, "1|5|7": 372, "0|1|5|7": 339, "2|5|7": 386, "0|2|5|7": 347, "1|2|5|7": 371, "0|1|2|5|7": 339, "4|5|7": 383, "0|4|5|7": 347, "1|4|5|7": 370, "0|1|4|5|7": 339, "2|4|5|7": 382, "0|2|4|5|7": 347, "1|2|4|5|7": 369, "0|1|2|4|5|7": 339, "8": 35, "0|8": 35, "1|8": 35, "0|1|8": 35, "2|8": 35, "0|2|8": 35, "1|2|8": 35, "0|1|2|8": 35, "3|8": 20, "0|3|8": 20, "1|3|8": 20, "0|1|3|8": 20, "2|3|8": 20, "0|2|3|8": 20, "1|2|3|8": 20, "0|1|2|3|8": 20, "4|8": 35, "0|4|8": 35, "1|4|8": 35, "0|1|4|8": 35, "2|4|8": 35, "0|2|4|8": 35, "1|2|4|8": 35, "0|1|2|4|8": 35, "3|4|8": 20, "0|3|4|8": 20, "1|3|4|8": 20, "0|1|3|4|8": 20, "2|3|4|8": 20, "0|2|3|4|8": 20, "1|2|3|4|8": 20, "0|1|2|3|4|8": 20, "5|8": 24, "0|5|8": 24, "1|5|8": 24, "0|1|5|8": 24, "2|5|8": 24, "0|2|5|8": 24, "1|2|5|8": 24, "0|1|2|5|8": 24, "3|5|8": 20, "0|3|5|8": 20, "1|3|5|8": 20, "0|1|3|5|8": 20, "2|3|5|8": 20, "0|2|3|5|8": 20, "1|2|3|5|8": 20, "0|1|2|3|5|8": 20, "4|5|8": 24, "0|4|5|8": 24, "1|4|5|8": 24, "0|1|4|5|8": 24, "2|4|5|8": 24, "0|2|4|5|8": 24, "1|2|4|5|8": 24, "0|1|2|4|5|8": 24, "3|4|5|8": 20, "0|3|4|5|8": 20, "1|3|4|5|8": 20, "0|1|3|4|5|8": 20, "2|3|4|5|8": 20, "0|2|3|4|5|8": 20, "1|2|3|4|5|8": 20, "0|1|2|3|4|5|8": 20, "6|7": 352, "0|6|7": 302, "1|6|7": 328, "0|1|6|7": 294, "2|6|7": 352, "0|2|6|7": 302, "1|2|6|7": 328, "0|1|2|6|7": 294, "4|6|7": 345, "0|4|6|7": 301, "1|4|6|7": 322, "0|1|4|6|7": 294, "2|4|6|7": 345, "0|2|4|6|7": 301, "1|2|4|6|7": 322, "0|1|2|4|6|7": 294, "5|6|7": 162, "0|5|6|7": 162, "1|5|6|7": 157, "0|1|5|6|7": 157, "2|5|6|7": 162, "0|2|5|6|7": 162, "1|2|5|6|7": 157, "0|1|2|5|6|7": 157, "4|5|6|7": 162, "0|4|5|6|7": 162, "1|4|5|6|7": 157, "0|1|4|5|6|7": 157, "2|4|5|6|7": 162, "0|2|4|5|6|7": 162, "1|2|4|5|6|7": 157, "0|1|2|4|5|6|7": 157, "9": 78, "0|9": 72, "1|9": 64, "0|1|9": 58, "2|9": 78, "0|2|9": 72, "1|2|9": 64, "0|1|2|9": 58, "4|9": 70, "0|4|9": 64, "1|4|9": 56, "0|1|4|9": 50, "2|4|9": 70, "0|2|4|9": 64, "1|2|4|9": 56, "0|1|2|4|9": 50, "5|9": 67, "0|5|9": 67, "1|5|9": 58, "0|1|5|9": 58, "2|5|9": 67, "0|2|5|9": 67, "1|2|5|9": 58, "0|1|2|5|9": 58, "4|5|9": 59, "0|4|5|9": 59, "1|4|5|9": 50, "0|1|4|5|9": 50, "2|4|5|9": 59, "0|2|4|5|9": 59, "1|2|4|5|9": 50, "0|1|2|4|5|9": 50, "6|9": 50, "0|6|9": 44, "1|6|9": 50, "0|1|6|9": 44, "2|6|9": 50, "0|2|6|9": 44, "1|2|6|9": 50, "0|1|2|6|9": 44, "4|6|9": 50, "0|4|6|9": 44, "1|4|6|9": 50, "0|1|4|6|9": 44, "2|4|6|9": 50, "0|2|4|6|9": 44, "1|2|4|6|9": 50, "0|1|2|4|6|9": 44, "5|6|9": 44, "0|5|6|9": 44, "1|5|6|9": 44, "0|1|5|6|9": 44, "2|5|6|9": 44, "0|2|5|6|9": 44, "1|2|5|6|9": 44, "0|1|2|5|6|9": 44, "4|5|6|9": 44, "0|4|5|6|9": 44, "1|4|5|6|9": 44, "0|1|4|5|6|9": 44, "2|4|5|6|9": 44, "0|2|4|5|6|9": 44, "1|2|4|5|6|9": 44, "0|1|2|4|5|6|9": 44, "7|9": 42, "0|7|9": 42, "1|7|9": 42, "0|1|7|9": 42, "2|7|9": 42, "0|2|7|9": 42, "1|2|7|9": 42, "0|1|2|7|9": 42, "4|7|9": 42, "0|4|7|9": 42, "1|4|7|9": 42, "0|1|4|7|9": 42, "2|4|7|9": 42, "0|2|4|7|9": 42, "1|2|4|7|9": 42, "0|1|2|4|7|9": 42, "5|7|9": 42, "0|5|7|9": 42, "1|5|7|9": 42, "0|1|5|7|9": 42, "2|5|7|9": 42, "0|2|5|7|9": 42, "1|2|5|7|9": 42, "0|1|2|5|7|9": 42, "4|5|7|9": 42, "0|4|5|7|9": 42, "1|4|5|7|9": 42, "0|1|4|5|7|9": 42, "2|4|5|7|9": 42, "0|2|4|5|7|9": 42, "1|2|4|5|7|9": 42, "0|1|2|4|5|7|9": 42, "6|7|9": 42, "0|6|7|9": 42, "1|6|7|9": 42, "0|1|6|7|9": 42, "2|6|7|9": 42, "0|2|6|7|9": 42, "1|2|6|7|9": 42, "0|1|2|6|7|9": 42, "4|6|7|9": 42, "0|4|6|7|9": 42, "1|4|6|7|9": 42, "0|1|4|6|7|9": 42, "2|4|6|7|9": 42, "0|2|4|6|7|9": 42, "1|2|4|6|7|9": 42, "0|1|2|4|6|7|9": 42, "5|6|7|9": 42, "0|5|6|7|9": 42, "1|5|6|7|9": 42, "0|1|5|6|7|9": 42, "2|5|6|7|9": 42, "0|2|5|6|7|9": 42, "1|2|5|6|7|9": 42, "0|1|2|5|6|7|9": 42, "4|5|6|7|9": 42, "0|4|5|6|7|9": 42, "1|4|5|6|7|9": 42, "0|1|4|5|6|7|9": 42, "2|4|5|6|7|9": 42, "0|2|4|5|6|7|9": 42, "1|2|4|5|6|7|9": 42, "0|1|2|4|5|6|7|9": 42, "10": 85, "1|10": 23, "10|2": 40, "1|10|2": 23, "10|4": 46, "1|10|4": 23, "10|2|4": 38, "1|10|2|4": 23, "10|5": 28, "1|10|5": 14, "10|2|5": 28, "1|10|2|5": 14, "10|4|5": 28, "1|10|4|5": 14, "10|2|4|5": 28, "1|10|2|4|5": 14, "11": 21, "0|11": 21, "1|11": 21, "0|1|11": 21, "11|2": 21, "0|11|2": 21, "1|11|2": 21, "0|1|11|2": 21, "11|3": 11, "0|11|3": 11, "1|11|3": 11, "0|1|11|3": 11, "11|2|3": 11, "0|11|2|3": 11, "1|11|2|3": 11, "0|1|11|2|3": 11, "11|4": 21, "0|11|4": 21, "1|11|4": 21, "0|1|11|4": 21, "11|2|4": 21, "0|11|2|4": 21, "1|11|2|4": 21, "0|1|11|2|4": 21, "11|3|4": 11, "0|11|3|4": 11, "1|11|3|4": 11, "0|1|11|3|4": 11, "11|2|3|4": 11, "0|11|2|3|4": 11, "1|11|2|3|4": 11, "0|1|11|2|3|4": 11, "11|5": 14, "0|11|5": 14, "1|11|5": 14, "0|1|11|5": 14, "11|2|5": 14, "0|11|2|5": 14, "1|11|2|5": 14, "0|1|11|2|5": 14, "11|3|5": 9, "0|11|3|5": 9, "1|11|3|5": 9, "0|1|11|3|5": 9, "11|2|3|5": 9, "0|11|2|3|5": 9, "1|11|2|3|5": 9, "0|1|11|2|3|5": 9, "11|4|5": 14, "0|11|4|5": 14, "1|11|4|5": 14, "0|1|11|4|5": 14, "11|2|4|5": 14, "0|11|2|4|5": 14, "1|11|2|4|5": 14, "0|1|11|2|4|5": 14, "11|3|4|5": 9, "0|11|3|4|5": 9, "1|11|3|4|5": 9, "0|1|11|3|4|5": 9, "11|2|3|4|5": 9, "0|11|2|3|4|5": 9, "1|11|2|3|4|5": 9, "0|1|11|2|3|4|5": 9, "11|6": 20, "0|11|6": 20, "1|11|6": 20, "0|1|11|6": 20, "11|2|6": 20, "0|11|2|6": 20, "1|11|2|6": 20, "0|1|11|2|6": 20, "11|3|6": 11, "0|11|3|6": 11, "1|11|3|6": 11, "0|1|11|3|6": 11, "11|2|3|6": 11, "0|11|2|3|6": 11, "1|11|2|3|6": 11, "0|1|11|2|3|6": 11, "11|4|6": 20, "0|11|4|6": 20, "1|11|4|6": 20, "0|1|11|4|6": 20, "11|2|4|6": 20, "0|11|2|4|6": 20, "1|11|2|4|6": 20, "0|1|11|2|4|6": 20, "11|3|4|6": 11, "0|11|3|4|6": 11, "1|11|3|4|6": 11, "0|1|11|3|4|6": 11, "11|2|3|4|6": 11, "0|11|2|3|4|6": 11, "1|11|2|3|4|6": 11, "0|1|11|2|3|4|6": 11, "11|5|6": 13, "0|11|5|6": 13, "1|11|5|6": 13, "0|1|11|5|6": 13, "11|2|5|6": 13, "0|11|2|5|6": 13, "1|11|2|5|6": 13, "0|1|11|2|5|6": 13, "11|3|5|6": 9, "0|11|3|5|6": 9, "1|11|3|5|6": 9, "0|1|11|3|5|6": 9, "11|2|3|5|6": 9, "0|11|2|3|5|6": 9, "1|11|2|3|5|6": 9, "0|1|11|2|3|5|6": 9, "11|4|5|6": 13, "0|11|4|5|6": 13, "1|11|4|5|6": 13, "0|1|11|4|5|6": 13, "11|2|4|5|6": 13, "0|11|2|4|5|6": 13, "1|11|2|4|5|6": 13, "0|1|11|2|4|5|6": 13, "11|3|4|5|6": 9, "0|11|3|4|5|6": 9, "1|11|3|4|5|6": 9, "0|1|11|3|4|5|6": 9, "11|2|3|4|5|6": 9, "0|11|2|3|4|5|6": 9, "1|11|2|3|4|5|6": 9, "0|1|11|2|3|4|5|6": 9, "11|7": 21, "0|11|7": 21, "1|11|7": 21, "0|1|11|7": 21, "11|2|7": 21, "0|11|2|7": 21, "1|11|2|7": 21, "0|1|11|2|7": 21, "3|7": 103, "0|3|7": 103, "1|3|7": 102, "0|1|3|7": 102, "11|3|7": 11, "0|11|3|7": 11, "1|11|3|7": 11, "0|1|11|3|7": 11, "2|3|7": 103, "0|2|3|7": 103, "1|2|3|7": 102, "0|1|2|3|7": 102, "11|2|3|7": 11, "0|11|2|3|7": 11, "1|11|2|3|7": 11, "0|1|11|2|3|7": 11, "11|4|7": 21, "0|11|4|7": 21, "1|11|4|7": 21, "0|1|11|4|7": 21, "11|2|4|7": 21, "0|11|2|4|7": 21, "1|11|2|4|7": 21, "0|1|11|2|4|7": 21, "3|4|7": 103, "0|3|4|7": 103, "1|3|4|7": 102, "0|1|3|4|7": 102, "11|3|4|7": 11, "0|11|3|4|7": 11, "1|11|3|4|7": 11, "0|1|11|3|4|7": 11, "2|3|4|7": 103, "0|2|3|4|7": 103, "1|2|3|4|7": 102, "0|1|2|3|4|7": 102, "11|2|3|4|7": 11, "0|11|2|3|4|7": 11, "1|11|2|3|4|7": 11, "0|1|11|2|3|4|7": 11, "11|5|7": 14, "0|11|5|7": 14, "1|11|5|7": 14, "0|1|11|5|7": 14, "11|2|5|7": 14, "0|11|2|5|7": 14, "1|11|2|5|7": 14, "0|1|11|2|5|7": 14, "3|5|7": 63, "0|3|5|7": 63, "1|3|5|7": 62, "0|1|3|5|7": 62, "11|3|5|7": 9, "0|11|3|5|7": 9, "1|11|3|5|7": 9, "0|1|11|3|5|7": 9, "2|3|5|7": 63, "0|2|3|5|7": 63, "1|2|3|5|7": 62, "0|1|2|3|5|7": 62, "11|2|3|5|7": 9, "0|11|2|3|5|7": 9, "1|11|2|3|5|7": 9, "0|1|11|2|3|5|7": 9, "11|4|5|7": 14, "0|11|4|5|7": 14, "1|11|4|5|7": 14, "0|1|11|4|5|7": 14, "11|2|4|5|7": 14, "0|11|2|4|5|7": 14, "1|11|2|4|5|7": 14, "0|1|11|2|4|5|7": 14, "3|4|5|7": 63, "0|3|4|5|7": 63, "1|3|4|5|7": 62, "0|1|3|4|5|7": 62, "11|3|4|5|7": 9, "0|11|3|4|5|7": 9, "1|11|3|4|5|7": 9, "0|1|11|3|4|5|7": 9, "2|3|4|5|7": 63, "0|2|3|4|5|7": 63, "1|2|3|4|5|7": 62, "0|1|2|3|4|5|7": 62, "11|2|3|4|5|7": 9, "0|11|2|3|4|5|7": 9, "1|11|2|3|4|5|7": 9, "0|1|11|2|3|4|5|7": 9, "11|6|7": 20, "0|11|6|7": 20, "1|11|6|7": 20, "0|1|11|6|7": 20, "11|2|6|7": 20, "0|11|2|6|7": 20, "1|11|2|6|7": 20, "0|1|11|2|6|7": 20, "3|6|7": 66, "0|3|6|7": 66, "1|3|6|7": 65, "0|1|3|6|7": 65, "11|3|6|7": 11, "0|11|3|6|7": 11, "1|11|3|6|7": 11, "0|1|11|3|6|7": 11, "2|3|6|7": 66, "0|2|3|6|7": 66, "1|2|3|6|7": 65, "0|1|2|3|6|7": 65, "11|2|3|6|7": 11, "0|11|2|3|6|7": 11, "1|11|2|3|6|7": 11, "0|1|11|2|3|6|7": 11, "11|4|6|7": 20, "0|11|4|6|7": 20, "1|11|4|6|7": 20, "0|1|11|4|6|7": 20, "11|2|4|6|7": 20, "0|11|2|4|6|7": 20, "1|11|2|4|6|7": 20, "0|1|11|2|4|6|7": 20, "3|4|6|7": 66, "0|3|4|6|7": 66, "1|3|4|6|7": 65, "0|1|3|4|6|7": 65, "11|3|4|6|7": 11, "0|11|3|4|6|7": 11, "1|11|3|4|6|7": 11, "0|1|11|3|4|6|7": 11, "2|3|4|6|7": 66, "0|2|3|4|6|7": 66, "1|2|3|4|6|7": 65, "0|1|2|3|4|6|7": 65, "11|2|3|4|6|7": 11, "0|11|2|3|4|6|7": 11, "1|11|2|3|4|6|7": 11, "0|1|11|2|3|4|6|7": 11, "11|5|6|7": 13, "0|11|5|6|7": 13, "1|11|5|6|7": 13, "0|1|11|5|6|7": 13, "11|2|5|6|7": 13, "0|11|2|5|6|7": 13, "1|11|2|5|6|7": 13, "0|1|11|2|5|6|7": 13, "3|5|6|7": 47, "0|3|5|6|7": 47, "1|3|5|6|7": 46, "0|1|3|5|6|7": 46, "11|3|5|6|7": 9, "0|11|3|5|6|7": 9, "1|11|3|5|6|7": 9, "0|1|11|3|5|6|7": 9, "2|3|5|6|7": 47, "0|2|3|5|6|7": 47, "1|2|3|5|6|7": 46, "0|1|2|3|5|6|7": 46, "11|2|3|5|6|7": 9, "0|11|2|3|5|6|7": 9, "1|11|2|3|5|6|7": 9, "0|1|11|2|3|5|6|7": 9, "11|4|5|6|7": 13, "0|11|4|5|6|7": 13, "1|11|4|5|6|7": 13, "0|1|11|4|5|6|7": 13, "11|2|4|5|6|7": 13, "0|11|2|4|5|6|7": 13, "1|11|2|4|5|6|7": 13, "0|1|11|2|4|5|6|7": 13, "3|4|5|6|7": 47, "0|3|4|5|6|7": 47, "1|3|4|5|6|7": 46, "0|1|3|4|5|6|7": 46, "11|3|4|5|6|7": 9, "0|11|3|4|5|6|7": 9, "1|11|3|4|5|6|7": 9, "0|1|11|3|4|5|6|7": 9, "2|3|4|5|6|7": 47, "0|2|3|4|5|6|7": 47, "1|2|3|4|5|6|7": 46, "0|1|2|3|4|5|6|7": 46, "11|2|3|4|5|6|7": 9, "0|11|2|3|4|5|6|7": 9, "1|11|2|3|4|5|6|7": 9, "0|1|11|2|3|4|5|6|7": 9, "0|10": 28, "0|1|10": 12, "10|11": 2, "0|10|11": 2, "1|10|11": 2, "0|1|10|11": 2, "12": 14, "0|12": 14, "1|12": 11, "0|1|12": 11, "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, "0|10|2": 20, "0|1|10|2": 12, "10|11|2": 2, "0|10|11|2": 2, "1|10|11|2": 2, "0|1|10|11|2": 2, "12|2": 14, "0|12|2": 14, "1|12|2": 11, "0|1|12|2": 11, "10|12|2": 1, "0|10|12|2": 1, "1|10|12|2": 1, "0|1|10|12|2": 1, "11|12|2": 11, "0|11|12|2": 11, "1|11|12|2": 11, "0|1|11|12|2": 11, "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|3": 14, "0|10|3": 14, "1|10|3": 12, "0|1|10|3": 12, "10|11|3": 2, "0|10|11|3": 2, "1|10|11|3": 2, "0|1|10|11|3": 2, "12|3": 10, "0|12|3": 10, "1|12|3": 7, "0|1|12|3": 7, "10|12|3": 1, "0|10|12|3": 1, "1|10|12|3": 1, "0|1|10|12|3": 1, "11|12|3": 7, "0|11|12|3": 7, "1|11|12|3": 7, "0|1|11|12|3": 7, "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|2|3": 12, "0|10|2|3": 12, "1|10|2|3": 12, "0|1|10|2|3": 12, "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": 7, "0|1|12|2|3": 7, "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": 7, "0|11|12|2|3": 7, "1|11|12|2|3": 7, "0|1|11|12|2|3": 7, "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, "0|10|4": 28, "0|1|10|4": 12, "10|11|4": 2, "0|10|11|4": 2, "1|10|11|4": 2, "0|1|10|11|4": 2, "12|4": 14, "0|12|4": 14, "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": 11, "0|11|12|4": 11, "1|11|12|4": 11, "0|1|11|12|4": 11, "10|11|12|4": 1, "0|10|11|12|4": 1, "1|10|11|12|4": 1, "0|1|10|11|12|4": 1, "0|10|2|4": 20, "0|1|10|2|4": 12, "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": 14, "0|12|2|4": 14, "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": 11, "0|11|12|2|4": 11, "1|11|12|2|4": 11, "0|1|11|12|2|4": 11, "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|3|4": 14, "0|10|3|4": 14, "1|10|3|4": 12, "0|1|10|3|4": 12, "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": 10, "0|12|3|4": 10, "1|12|3|4": 7, "0|1|12|3|4": 7, "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": 7, "0|11|12|3|4": 7, "1|11|12|3|4": 7, "0|1|11|12|3|4": 7, "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|2|3|4": 12, "0|10|2|3|4": 12, "1|10|2|3|4": 12, "0|1|10|2|3|4": 12, "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": 10, "0|12|2|3|4": 10, "1|12|2|3|4": 7, "0|1|12|2|3|4": 7, "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": 7, "0|11|12|2|3|4": 7, "1|11|12|2|3|4": 7, "0|1|11|12|2|3|4": 7, "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, "0|10|5": 15, "0|1|10|5": 7, "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": 7, "0|1|12|5": 7, "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, "0|10|2|5": 15, "0|1|10|2|5": 7, "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": 7, "0|1|12|2|5": 7, "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|3|5": 7, "0|10|3|5": 7, "1|10|3|5": 7, "0|1|10|3|5": 7, "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": 8, "0|12|3|5": 8, "1|12|3|5": 5, "0|1|12|3|5": 5, "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": 5, "0|11|12|3|5": 5, "1|11|12|3|5": 5, "0|1|11|12|3|5": 5, "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|2|3|5": 7, "0|10|2|3|5": 7, "1|10|2|3|5": 7, "0|1|10|2|3|5": 7, "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": 8, "0|12|2|3|5": 8, "1|12|2|3|5": 5, "0|1|12|2|3|5": 5, "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": 5, "0|11|12|2|3|5": 5, "1|11|12|2|3|5": 5, "0|1|11|12|2|3|5": 5, "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, "0|10|4|5": 15, "0|1|10|4|5": 7, "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": 10, "0|12|4|5": 10, "1|12|4|5": 7, "0|1|12|4|5": 7, "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": 7, "0|11|12|4|5": 7, "1|11|12|4|5": 7, "0|1|11|12|4|5": 7, "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, "0|10|2|4|5": 15, "0|1|10|2|4|5": 7, "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": 10, "0|12|2|4|5": 10, "1|12|2|4|5": 7, "0|1|12|2|4|5": 7, "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": 7, "0|11|12|2|4|5": 7, "1|11|12|2|4|5": 7, "0|1|11|12|2|4|5": 7, "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|3|4|5": 7, "0|10|3|4|5": 7, "1|10|3|4|5": 7, "0|1|10|3|4|5": 7, "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": 8, "0|12|3|4|5": 8, "1|12|3|4|5": 5, "0|1|12|3|4|5": 5, "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": 5, "0|11|12|3|4|5": 5, "1|11|12|3|4|5": 5, "0|1|11|12|3|4|5": 5, "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|2|3|4|5": 7, "0|10|2|3|4|5": 7, "1|10|2|3|4|5": 7, "0|1|10|2|3|4|5": 7, "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": 8, "0|12|2|3|4|5": 8, "1|12|2|3|4|5": 5, "0|1|12|2|3|4|5": 5, "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": 5, "0|11|12|2|3|4|5": 5, "1|11|12|2|3|4|5": 5, "0|1|11|12|2|3|4|5": 5, "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|6": 12, "0|10|6": 12, "1|10|6": 12, "0|1|10|6": 12, "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": 11, "0|1|12|6": 11, "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|2|6": 12, "0|10|2|6": 12, "1|10|2|6": 12, "0|1|10|2|6": 12, "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": 12, "0|12|2|6": 12, "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": 11, "0|11|12|2|6": 11, "1|11|12|2|6": 11, "0|1|11|12|2|6": 11, "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|3|6": 12, "0|10|3|6": 12, "1|10|3|6": 12, "0|1|10|3|6": 12, "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": 8, "0|12|3|6": 8, "1|12|3|6": 7, "0|1|12|3|6": 7, "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": 7, "0|11|12|3|6": 7, "1|11|12|3|6": 7, "0|1|11|12|3|6": 7, "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|2|3|6": 12, "0|10|2|3|6": 12, "1|10|2|3|6": 12, "0|1|10|2|3|6": 12, "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": 8, "0|12|2|3|6": 8, "1|12|2|3|6": 7, "0|1|12|2|3|6": 7, "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": 7, "0|11|12|2|3|6": 7, "1|11|12|2|3|6": 7, "0|1|11|12|2|3|6": 7, "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|4|6": 12, "0|10|4|6": 12, "1|10|4|6": 12, "0|1|10|4|6": 12, "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": 12, "0|12|4|6": 12, "1|12|4|6": 11, "0|1|12|4|6": 11, "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": 11, "0|11|12|4|6": 11, "1|11|12|4|6": 11, "0|1|11|12|4|6": 11, "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|2|4|6": 12, "0|10|2|4|6": 12, "1|10|2|4|6": 12, "0|1|10|2|4|6": 12, "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": 12, "0|12|2|4|6": 12, "1|12|2|4|6": 11, "0|1|12|2|4|6": 11, "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": 11, "0|11|12|2|4|6": 11, "1|11|12|2|4|6": 11, "0|1|11|12|2|4|6": 11, "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|3|4|6": 12, "0|10|3|4|6": 12, "1|10|3|4|6": 12, "0|1|10|3|4|6": 12, "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": 7, "0|1|12|3|4|6": 7, "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": 7, "0|11|12|3|4|6": 7, "1|11|12|3|4|6": 7, "0|1|11|12|3|4|6": 7, "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|2|3|4|6": 12, "0|10|2|3|4|6": 12, "1|10|2|3|4|6": 12, "0|1|10|2|3|4|6": 12, "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": 7, "0|1|12|2|3|4|6": 7, "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": 7, "0|11|12|2|3|4|6": 7, "1|11|12|2|3|4|6": 7, "0|1|11|12|2|3|4|6": 7, "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|5|6": 7, "0|10|5|6": 7, "1|10|5|6": 7, "0|1|10|5|6": 7, "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": 7, "0|1|12|5|6": 7, "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|2|5|6": 7, "0|10|2|5|6": 7, "1|10|2|5|6": 7, "0|1|10|2|5|6": 7, "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": 7, "0|1|12|2|5|6": 7, "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|3|5|6": 7, "0|10|3|5|6": 7, "1|10|3|5|6": 7, "0|1|10|3|5|6": 7, "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": 6, "0|12|3|5|6": 6, "1|12|3|5|6": 5, "0|1|12|3|5|6": 5, "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": 5, "0|11|12|3|5|6": 5, "1|11|12|3|5|6": 5, "0|1|11|12|3|5|6": 5, "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|2|3|5|6": 7, "0|10|2|3|5|6": 7, "1|10|2|3|5|6": 7, "0|1|10|2|3|5|6": 7, "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": 6, "0|12|2|3|5|6": 6, "1|12|2|3|5|6": 5, "0|1|12|2|3|5|6": 5, "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": 5, "0|11|12|2|3|5|6": 5, "1|11|12|2|3|5|6": 5, "0|1|11|12|2|3|5|6": 5, "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|4|5|6": 7, "0|10|4|5|6": 7, "1|10|4|5|6": 7, "0|1|10|4|5|6": 7, "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": 8, "0|12|4|5|6": 8, "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": 7, "0|11|12|4|5|6": 7, "1|11|12|4|5|6": 7, "0|1|11|12|4|5|6": 7, "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|2|4|5|6": 7, "0|10|2|4|5|6": 7, "1|10|2|4|5|6": 7, "0|1|10|2|4|5|6": 7, "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": 8, "0|12|2|4|5|6": 8, "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": 7, "0|11|12|2|4|5|6": 7, "1|11|12|2|4|5|6": 7, "0|1|11|12|2|4|5|6": 7, "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|3|4|5|6": 7, "0|10|3|4|5|6": 7, "1|10|3|4|5|6": 7, "0|1|10|3|4|5|6": 7, "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": 5, "0|1|12|3|4|5|6": 5, "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": 5, "0|11|12|3|4|5|6": 5, "1|11|12|3|4|5|6": 5, "0|1|11|12|3|4|5|6": 5, "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|2|3|4|5|6": 7, "0|10|2|3|4|5|6": 7, "1|10|2|3|4|5|6": 7, "0|1|10|2|3|4|5|6": 7, "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": 5, "0|1|12|2|3|4|5|6": 5, "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": 5, "0|11|12|2|3|4|5|6": 5, "1|11|12|2|3|4|5|6": 5, "0|1|11|12|2|3|4|5|6": 5, "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|7": 10, "0|10|7": 10, "1|10|7": 9, "0|1|10|7": 9, "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": 11, "0|1|12|7": 11, "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|2|7": 10, "0|10|2|7": 10, "1|10|2|7": 9, "0|1|10|2|7": 9, "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": 12, "0|12|2|7": 12, "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": 11, "0|11|12|2|7": 11, "1|11|12|2|7": 11, "0|1|11|12|2|7": 11, "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|3|7": 9, "0|10|3|7": 9, "1|10|3|7": 9, "0|1|10|3|7": 9, "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": 8, "0|12|3|7": 8, "1|12|3|7": 7, "0|1|12|3|7": 7, "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": 7, "0|11|12|3|7": 7, "1|11|12|3|7": 7, "0|1|11|12|3|7": 7, "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|2|3|7": 9, "0|10|2|3|7": 9, "1|10|2|3|7": 9, "0|1|10|2|3|7": 9, "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": 8, "0|12|2|3|7": 8, "1|12|2|3|7": 7, "0|1|12|2|3|7": 7, "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": 7, "0|11|12|2|3|7": 7, "1|11|12|2|3|7": 7, "0|1|11|12|2|3|7": 7, "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|4|7": 10, "0|10|4|7": 10, "1|10|4|7": 9, "0|1|10|4|7": 9, "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": 12, "0|12|4|7": 12, "1|12|4|7": 11, "0|1|12|4|7": 11, "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": 11, "0|11|12|4|7": 11, "1|11|12|4|7": 11, "0|1|11|12|4|7": 11, "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|2|4|7": 10, "0|10|2|4|7": 10, "1|10|2|4|7": 9, "0|1|10|2|4|7": 9, "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": 12, "0|12|2|4|7": 12, "1|12|2|4|7": 11, "0|1|12|2|4|7": 11, "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": 11, "0|11|12|2|4|7": 11, "1|11|12|2|4|7": 11, "0|1|11|12|2|4|7": 11, "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|3|4|7": 9, "0|10|3|4|7": 9, "1|10|3|4|7": 9, "0|1|10|3|4|7": 9, "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": 7, "0|1|12|3|4|7": 7, "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": 7, "0|11|12|3|4|7": 7, "1|11|12|3|4|7": 7, "0|1|11|12|3|4|7": 7, "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|2|3|4|7": 9, "0|10|2|3|4|7": 9, "1|10|2|3|4|7": 9, "0|1|10|2|3|4|7": 9, "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": 7, "0|1|12|2|3|4|7": 7, "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": 7, "0|11|12|2|3|4|7": 7, "1|11|12|2|3|4|7": 7, "0|1|11|12|2|3|4|7": 7, "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|5|7": 8, "0|10|5|7": 8, "1|10|5|7": 7, "0|1|10|5|7": 7, "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": 7, "0|1|12|5|7": 7, "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|2|5|7": 8, "0|10|2|5|7": 8, "1|10|2|5|7": 7, "0|1|10|2|5|7": 7, "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": 7, "0|1|12|2|5|7": 7, "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|3|5|7": 7, "0|10|3|5|7": 7, "1|10|3|5|7": 7, "0|1|10|3|5|7": 7, "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": 6, "0|12|3|5|7": 6, "1|12|3|5|7": 5, "0|1|12|3|5|7": 5, "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": 5, "0|11|12|3|5|7": 5, "1|11|12|3|5|7": 5, "0|1|11|12|3|5|7": 5, "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|2|3|5|7": 7, "0|10|2|3|5|7": 7, "1|10|2|3|5|7": 7, "0|1|10|2|3|5|7": 7, "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": 6, "0|12|2|3|5|7": 6, "1|12|2|3|5|7": 5, "0|1|12|2|3|5|7": 5, "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": 5, "0|11|12|2|3|5|7": 5, "1|11|12|2|3|5|7": 5, "0|1|11|12|2|3|5|7": 5, "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|4|5|7": 8, "0|10|4|5|7": 8, "1|10|4|5|7": 7, "0|1|10|4|5|7": 7, "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": 8, "0|12|4|5|7": 8, "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": 7, "0|11|12|4|5|7": 7, "1|11|12|4|5|7": 7, "0|1|11|12|4|5|7": 7, "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|2|4|5|7": 8, "0|10|2|4|5|7": 8, "1|10|2|4|5|7": 7, "0|1|10|2|4|5|7": 7, "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": 8, "0|12|2|4|5|7": 8, "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": 7, "0|11|12|2|4|5|7": 7, "1|11|12|2|4|5|7": 7, "0|1|11|12|2|4|5|7": 7, "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|3|4|5|7": 7, "0|10|3|4|5|7": 7, "1|10|3|4|5|7": 7, "0|1|10|3|4|5|7": 7, "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": 5, "0|1|12|3|4|5|7": 5, "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": 5, "0|11|12|3|4|5|7": 5, "1|11|12|3|4|5|7": 5, "0|1|11|12|3|4|5|7": 5, "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|2|3|4|5|7": 7, "0|10|2|3|4|5|7": 7, "1|10|2|3|4|5|7": 7, "0|1|10|2|3|4|5|7": 7, "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": 5, "0|1|12|2|3|4|5|7": 5, "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": 5, "0|11|12|2|3|4|5|7": 5, "1|11|12|2|3|4|5|7": 5, "0|1|11|12|2|3|4|5|7": 5, "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|6|7": 9, "0|10|6|7": 9, "1|10|6|7": 9, "0|1|10|6|7": 9, "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": 11, "0|1|12|6|7": 11, "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|2|6|7": 9, "0|10|2|6|7": 9, "1|10|2|6|7": 9, "0|1|10|2|6|7": 9, "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": 12, "0|12|2|6|7": 12, "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": 11, "0|11|12|2|6|7": 11, "1|11|12|2|6|7": 11, "0|1|11|12|2|6|7": 11, "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|3|6|7": 9, "0|10|3|6|7": 9, "1|10|3|6|7": 9, "0|1|10|3|6|7": 9, "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": 8, "0|12|3|6|7": 8, "1|12|3|6|7": 7, "0|1|12|3|6|7": 7, "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": 7, "0|11|12|3|6|7": 7, "1|11|12|3|6|7": 7, "0|1|11|12|3|6|7": 7, "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|2|3|6|7": 9, "0|10|2|3|6|7": 9, "1|10|2|3|6|7": 9, "0|1|10|2|3|6|7": 9, "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": 8, "0|12|2|3|6|7": 8, "1|12|2|3|6|7": 7, "0|1|12|2|3|6|7": 7, "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": 7, "0|11|12|2|3|6|7": 7, "1|11|12|2|3|6|7": 7, "0|1|11|12|2|3|6|7": 7, "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|4|6|7": 9, "0|10|4|6|7": 9, "1|10|4|6|7": 9, "0|1|10|4|6|7": 9, "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": 12, "0|12|4|6|7": 12, "1|12|4|6|7": 11, "0|1|12|4|6|7": 11, "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": 11, "0|11|12|4|6|7": 11, "1|11|12|4|6|7": 11, "0|1|11|12|4|6|7": 11, "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|2|4|6|7": 9, "0|10|2|4|6|7": 9, "1|10|2|4|6|7": 9, "0|1|10|2|4|6|7": 9, "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": 12, "0|12|2|4|6|7": 12, "1|12|2|4|6|7": 11, "0|1|12|2|4|6|7": 11, "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": 11, "0|11|12|2|4|6|7": 11, "1|11|12|2|4|6|7": 11, "0|1|11|12|2|4|6|7": 11, "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|3|4|6|7": 9, "0|10|3|4|6|7": 9, "1|10|3|4|6|7": 9, "0|1|10|3|4|6|7": 9, "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": 7, "0|1|12|3|4|6|7": 7, "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": 7, "0|11|12|3|4|6|7": 7, "1|11|12|3|4|6|7": 7, "0|1|11|12|3|4|6|7": 7, "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|2|3|4|6|7": 9, "0|10|2|3|4|6|7": 9, "1|10|2|3|4|6|7": 9, "0|1|10|2|3|4|6|7": 9, "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": 7, "0|1|12|2|3|4|6|7": 7, "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": 7, "0|11|12|2|3|4|6|7": 7, "1|11|12|2|3|4|6|7": 7, "0|1|11|12|2|3|4|6|7": 7, "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|5|6|7": 7, "0|10|5|6|7": 7, "1|10|5|6|7": 7, "0|1|10|5|6|7": 7, "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": 7, "0|1|12|5|6|7": 7, "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|2|5|6|7": 7, "0|10|2|5|6|7": 7, "1|10|2|5|6|7": 7, "0|1|10|2|5|6|7": 7, "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": 7, "0|1|12|2|5|6|7": 7, "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|3|5|6|7": 7, "0|10|3|5|6|7": 7, "1|10|3|5|6|7": 7, "0|1|10|3|5|6|7": 7, "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": 6, "0|12|3|5|6|7": 6, "1|12|3|5|6|7": 5, "0|1|12|3|5|6|7": 5, "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": 5, "0|11|12|3|5|6|7": 5, "1|11|12|3|5|6|7": 5, "0|1|11|12|3|5|6|7": 5, "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|2|3|5|6|7": 7, "0|10|2|3|5|6|7": 7, "1|10|2|3|5|6|7": 7, "0|1|10|2|3|5|6|7": 7, "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": 6, "0|12|2|3|5|6|7": 6, "1|12|2|3|5|6|7": 5, "0|1|12|2|3|5|6|7": 5, "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": 5, "0|11|12|2|3|5|6|7": 5, "1|11|12|2|3|5|6|7": 5, "0|1|11|12|2|3|5|6|7": 5, "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|4|5|6|7": 7, "0|10|4|5|6|7": 7, "1|10|4|5|6|7": 7, "0|1|10|4|5|6|7": 7, "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": 8, "0|12|4|5|6|7": 8, "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": 7, "0|11|12|4|5|6|7": 7, "1|11|12|4|5|6|7": 7, "0|1|11|12|4|5|6|7": 7, "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|2|4|5|6|7": 7, "0|10|2|4|5|6|7": 7, "1|10|2|4|5|6|7": 7, "0|1|10|2|4|5|6|7": 7, "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": 8, "0|12|2|4|5|6|7": 8, "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": 7, "0|11|12|2|4|5|6|7": 7, "1|11|12|2|4|5|6|7": 7, "0|1|11|12|2|4|5|6|7": 7, "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|3|4|5|6|7": 7, "0|10|3|4|5|6|7": 7, "1|10|3|4|5|6|7": 7, "0|1|10|3|4|5|6|7": 7, "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": 5, "0|1|12|3|4|5|6|7": 5, "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": 5, "0|11|12|3|4|5|6|7": 5, "1|11|12|3|4|5|6|7": 5, "0|1|11|12|3|4|5|6|7": 5, "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|2|3|4|5|6|7": 7, "0|10|2|3|4|5|6|7": 7, "1|10|2|3|4|5|6|7": 7, "0|1|10|2|3|4|5|6|7": 7, "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": 5, "0|1|12|2|3|4|5|6|7": 5, "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": 5, "0|11|12|2|3|4|5|6|7": 5, "1|11|12|2|3|4|5|6|7": 5, "0|1|11|12|2|3|4|5|6|7": 5, "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, "7|8": 19, "0|7|8": 19, "1|7|8": 19, "0|1|7|8": 19, "2|7|8": 19, "0|2|7|8": 19, "1|2|7|8": 19, "0|1|2|7|8": 19, "3|7|8": 12, "0|3|7|8": 12, "1|3|7|8": 12, "0|1|3|7|8": 12, "2|3|7|8": 12, "0|2|3|7|8": 12, "1|2|3|7|8": 12, "0|1|2|3|7|8": 12, "4|7|8": 19, "0|4|7|8": 19, "1|4|7|8": 19, "0|1|4|7|8": 19, "2|4|7|8": 19, "0|2|4|7|8": 19, "1|2|4|7|8": 19, "0|1|2|4|7|8": 19, "3|4|7|8": 12, "0|3|4|7|8": 12, "1|3|4|7|8": 12, "0|1|3|4|7|8": 12, "2|3|4|7|8": 12, "0|2|3|4|7|8": 12, "1|2|3|4|7|8": 12, "0|1|2|3|4|7|8": 12, "5|7|8": 16, "0|5|7|8": 16, "1|5|7|8": 16, "0|1|5|7|8": 16, "2|5|7|8": 16, "0|2|5|7|8": 16, "1|2|5|7|8": 16, "0|1|2|5|7|8": 16, "3|5|7|8": 12, "0|3|5|7|8": 12, "1|3|5|7|8": 12, "0|1|3|5|7|8": 12, "2|3|5|7|8": 12, "0|2|3|5|7|8": 12, "1|2|3|5|7|8": 12, "0|1|2|3|5|7|8": 12, "4|5|7|8": 16, "0|4|5|7|8": 16, "1|4|5|7|8": 16, "0|1|4|5|7|8": 16, "2|4|5|7|8": 16, "0|2|4|5|7|8": 16, "1|2|4|5|7|8": 16, "0|1|2|4|5|7|8": 16, "3|4|5|7|8": 12, "0|3|4|5|7|8": 12, "1|3|4|5|7|8": 12, "0|1|3|4|5|7|8": 12, "2|3|4|5|7|8": 12, "0|2|3|4|5|7|8": 12, "1|2|3|4|5|7|8": 12, "0|1|2|3|4|5|7|8": 12 } } }