ValueContext
1843{ "3910": 1842, "3911": 1843, "3912": 1844, "3913": 1842, "3914": 1842, "3915": 16, "3916": 16 }
9404{ "3910": 9403, "3911": 9404, "3912": 9405, "3913": 9406, "3914": 9407, "3915": 24, "3916": 24, "4247": 0 }
9409{ "3910": 9408, "3911": 9409, "3912": 9410, "3913": 9411, "3914": 9412, "3915": 24, "3916": 24, "4247": 0 }
13134{ "3910": 13133, "3911": 13134, "3912": 13135, "3913": 13136, "3914": 13137, "3915": 254, "3916": 43, "4546": 28941, "4547": 28941 }
14797{ "3910": 14675, "3911": 14797, "3912": 14798, "3913": 14675, "3914": 14798, "3915": 20, "3916": 20 }
14803{ "3910": 14802, "3911": 14803, "3912": 14804, "3913": 14802, "3914": 14804, "3915": 20, "3916": 20 }
14806{ "3910": 14805, "3911": 14806, "3912": 14807, "3913": 14805, "3914": 14807, "3915": 20, "3916": 20 }
18789{ "3910": 18782, "3911": 18789, "3912": 18837, "3913": 21159, "3914": 21160, "3915": 32, "3916": 32 }
18944{ "3910": 18944, "3911": 18944, "3912": 18944, "3913": 18944, "3914": 18944, "3915": 16, "3916": 16 }
18944{ "3910": 18944, "3911": 18944, "3912": 18944, "3913": 23768, "3914": 18944, "3915": 16, "3916": 16 }
19382{ "3910": 19381, "3911": 19382, "3912": 19381, "3913": 19382, "3914": 19383, "3915": 23, "3916": 23 }
20519{ "3910": 20518, "3911": 20519, "3912": 20519, "3913": 20520, "3915": 254, "3916": 43, "4546": 28940, "4547": 28939 }
20679{ "3910": 20679, "3911": 20679, "3912": 20679, "3913": 20679, "3914": 20679, "3915": 50, "3916": 50, "4247": 8 }
20681{ "3910": 20681, "3911": 20681, "3912": 20681, "3913": 20681, "3914": 20681, "3915": 50, "3916": 50, "4247": 8 }
20682{ "3910": 20682, "3911": 20682, "3912": 20682, "3913": 20682, "3914": 20682, "3915": 50, "3916": 50, "4247": 8 }
21344{ "3910": 21343, "3911": 21344, "3912": 21345, "3913": 21345, "3914": 21343, "3915": 16, "3916": 16 }
21347{ "3910": 21346, "3911": 21347, "3912": 21348, "3913": 21348, "3914": 21346, "3915": 16, "3916": 16 }
21350{ "3910": 21349, "3911": 21350, "3912": 21351, "3913": 21351, "3914": 21349, "3915": 16, "3916": 16 }
21360{ "3910": 21194, "3911": 21360, "3912": 22094, "3913": 22095, "3914": 22096, "3915": 32, "3916": 32 }
22098{ "3910": 22097, "3911": 22098, "3912": 23666, "3913": 23777, "3914": 23778, "3915": 32, "3916": 32 }
23780{ "3910": 23779, "3911": 23780, "3912": 23781, "3913": 23782, "3914": 23892, "3915": 32, "3916": 32 }
23784{ "3910": 23783, "3911": 23784, "3912": 23785, "3913": 23786, "3914": 23787, "3915": 15, "3916": 15 }
23789{ "3910": 23788, "3911": 23789, "3912": 23790, "3913": 23791, "3914": 23792, "3915": 15, "3916": 15 }
23800{ "3910": 23799, "3911": 23800, "3912": 23801, "3913": 23800, "3914": 23801, "3915": 16, "3916": 16 }
23800{ "3910": 23799, "3911": 23800, "3912": 23801, "3913": 23800, "3914": 23801, "3915": 32, "3916": 32 }
23807{ "3910": 23806, "3911": 23807, "3912": 23806, "3913": 23807, "3914": 23806, "3915": 32, "3916": 32 }
23811{ "3910": 23810, "3911": 23811, "3912": 23810, "3913": 23811, "3914": 23810, "3915": 32, "3916": 32 }
23813{ "3910": 23812, "3911": 23813, "3912": 23812, "3913": 23813, "3914": 23812, "3915": 32, "3916": 32 }
23815{ "3910": 23814, "3911": 23815, "3912": 23814, "3913": 23815, "3914": 23814, "3915": 32, "3916": 32 }
23817{ "3910": 23816, "3911": 23817, "3912": 23816, "3913": 23817, "3914": 23816, "3915": 32, "3916": 32 }
23819{ "3910": 23818, "3911": 23819, "3912": 23818, "3913": 23819, "3914": 23818, "3915": 32, "3916": 32 }
23827{ "3910": 23826, "3911": 23827, "3912": 23828, "3913": 23827, "3914": 23828, "3915": 24, "3916": 24 }
23830{ "3910": 23829, "3911": 23830, "3912": 23831, "3913": 23830, "3914": 23831, "3915": 24, "3916": 24 }
23836{ "3910": 23835, "3911": 23836, "3912": 23835, "3913": 23836, "3914": 23835, "3915": 32, "3916": 32 }
23838{ "3910": 23837, "3911": 23838, "3912": 23837, "3913": 23838, "3914": 23837, "3915": 32, "3916": 32 }
23842{ "3910": 23839, "3911": 23842, "3912": 23845, "3913": 23845, "3914": 23839, "3915": 46, "3916": 46, "4247": 4, "4426": 2147483638 }
23842{ "3910": 23839, "3911": 23842, "3912": 23845, "3913": 23845, "3914": 23839, "3915": 68, "3916": 50, "4247": 8, "4426": 2147483638 }
23843{ "3910": 23840, "3911": 23843, "3912": 23846, "3913": 23846, "3914": 23840, "3915": 68, "3916": 50, "4247": 8, "4426": 2147483638 }
23844{ "3910": 23841, "3911": 23844, "3912": 23847, "3913": 23847, "3914": 23841, "3915": 68, "3916": 50, "4247": 8, "4426": 2147483638 }
24042{ "3910": 24041, "3911": 24042, "3912": 24043, "3913": 24044, "3914": 24045, "3915": 32, "3916": 32 }
24047{ "3910": 24046, "3911": 24047, "3912": 24048, "3913": 24049, "3914": 24050, "3915": 32, "3916": 32 }
24130{ "3910": 24129, "3911": 24130, "3912": 24130, "3913": 24131, "3915": 254, "3916": 43, "4546": 28934, "4547": 28933 }
24261{ "3910": 24260, "3911": 24261, "3912": 24413, "3913": 24413, "3915": 16, "3916": 16 }
24787{ "3910": 24786, "3911": 24787, "3912": 24788, "3913": 24787, "3914": 24788, "3915": 16, "3916": 16 }
24790{ "3910": 24789, "3911": 24790, "3912": 24791, "3913": 24790, "3914": 24791, "3915": 21, "3916": 21 }
24951{ "3910": 24950, "3911": 24951, "3912": 24951, "3913": 24951, "3914": 24950, "3915": 100, "3916": 100, "4247": 0, "4248": 1, "4426": 0 }
24954{ "3910": 24953, "3911": 24954, "3912": 24954, "3913": 24954, "3914": 24953, "3915": 100, "3916": 100, "4247": 0, "4248": 1, "4426": 0 }
24957{ "3910": 24956, "3911": 24957, "3912": 24957, "3913": 24957, "3914": 24958, "3915": 100, "3916": 100, "4247": 0, "4248": 1, "4426": 0 }
25023{ "3910": 25022, "3911": 25023, "3912": 25022, "3913": 25023, "3914": 25022, "3915": 32, "3916": 32 }
25126{ "3910": 25125, "3911": 25126, "3912": 25127, "3913": 25128, "3914": 25129, "3915": 32, "3916": 32 }
25131{ "3910": 25130, "3911": 25131, "3912": 25130, "3913": 25131, "3914": 25130, "3915": 32, "3916": 32 }
25133{ "3910": 25132, "3911": 25133, "3912": 25132, "3913": 25133, "3914": 25132, "3915": 32, "3916": 32 }
25264{ "3910": 25264, "3911": 25264, "3912": 25264, "3913": 25264, "3914": 25264, "3915": 40, "3916": 40, "4247": 4 }
25265{ "3910": 25265, "3911": 25265, "3912": 25265, "3913": 25265, "3914": 25265, "3915": 40, "3916": 40, "4247": 4 }
25266{ "3910": 25266, "3911": 25266, "3912": 25266, "3913": 25266, "3914": 25266, "3915": 40, "3916": 40, "4247": 4 }
25267{ "3910": 25267, "3911": 25267, "3912": 25267, "3913": 25267, "3914": 25267, "3915": 40, "3916": 40, "4247": 4 }
25268{ "3910": 25268, "3911": 25268, "3912": 25268, "3913": 25268, "3914": 25268, "3915": 40, "3916": 40, "4247": 4 }
25269{ "3910": 25269, "3911": 25269, "3912": 25269, "3913": 25269, "3914": 25269, "3915": 40, "3916": 40, "4247": 4 }
25270{ "3910": 25270, "3911": 25270, "3912": 25270, "3913": 25270, "3914": 25270, "3915": 40, "3916": 40, "4247": 4 }
25271{ "3910": 25271, "3911": 25271, "3912": 25271, "3913": 25271, "3914": 25271, "3915": 40, "3916": 40, "4247": 4 }
25272{ "3910": 25272, "3911": 25272, "3912": 25272, "3913": 25272, "3914": 25272, "3915": 40, "3916": 40, "4247": 4 }
25273{ "3910": 25273, "3911": 25273, "3912": 25273, "3913": 25273, "3914": 25273, "3915": 40, "3916": 40, "4247": 4 }
25274{ "3910": 25274, "3911": 25274, "3912": 25274, "3913": 25274, "3914": 25274, "3915": 40, "3916": 40, "4247": 4 }
25275{ "3910": 25275, "3911": 25275, "3912": 25275, "3913": 25275, "3914": 25275, "3915": 40, "3916": 40, "4247": 4 }
25276{ "3910": 25276, "3911": 25276, "3912": 25276, "3913": 25276, "3914": 25276, "3915": 40, "3916": 40, "4247": 4 }
25277{ "3910": 25277, "3911": 25277, "3912": 25277, "3913": 25277, "3914": 25277, "3915": 40, "3916": 40, "4247": 4 }
25278{ "3910": 25278, "3911": 25278, "3912": 25278, "3913": 25278, "3914": 25278, "3915": 40, "3916": 40, "4247": 4 }
25279{ "3910": 25279, "3911": 25279, "3912": 25279, "3913": 25279, "3914": 25279, "3915": 40, "3916": 40, "4247": 4 }
25280{ "3910": 25280, "3911": 25280, "3912": 25280, "3913": 25280, "3914": 25280, "3915": 40, "3916": 40, "4247": 4 }
25281{ "3910": 25281, "3911": 25281, "3912": 25281, "3913": 25281, "3914": 25281, "3915": 40, "3916": 40, "4247": 4 }
25282{ "3910": 25282, "3911": 25282, "3912": 25282, "3913": 25282, "3914": 25282, "3915": 40, "3916": 40, "4247": 4 }
25283{ "3910": 25283, "3911": 25283, "3912": 25283, "3913": 25283, "3914": 25283, "3915": 40, "3916": 40, "4247": 4 }
25284{ "3910": 25284, "3911": 25284, "3912": 25284, "3913": 25284, "3914": 25284, "3915": 40, "3916": 40, "4247": 4 }
25285{ "3910": 25285, "3911": 25285, "3912": 25285, "3913": 25285, "3914": 25285, "3915": 40, "3916": 40, "4247": 4 }
25286{ "3910": 25286, "3911": 25286, "3912": 25286, "3913": 25286, "3914": 25286, "3915": 40, "3916": 40, "4247": 4 }
25287{ "3910": 25287, "3911": 25287, "3912": 25287, "3913": 25287, "3914": 25287, "3915": 40, "3916": 40, "4247": 4 }
25450{ "3910": 25450, "3911": 25450, "3912": 25450, "3913": 25450, "3914": 25450, "3915": 50, "3916": 50, "4247": 8 }
25463{ "3910": 25462, "3911": 25463, "3912": 25462, "3913": 25463, "3914": 25462, "3915": 22, "3916": 22 }
25775{ "3910": 25774, "3911": 25775, "3912": 25774, "3913": 25775, "3914": 25776, "3915": 16, "3916": 16 }
26713{ "3910": 26712, "3911": 26713, "3912": 26714, "3913": 26715, "3914": 26716, "3915": 40, "3916": 40 }
26718{ "3910": 26717, "3911": 26718, "3912": 26719, "3913": 26720, "3914": 26721, "3915": 40, "3916": 40 }
26723{ "3910": 26722, "3911": 26723, "3912": 26734, "3913": 26736, "3914": 26737, "3915": 40, "3916": 40 }
26755{ "3910": 26754, "3911": 26755, "3912": 26756, "3913": 26757, "3914": 26758, "3915": 24, "3916": 24 }
26760{ "3910": 26759, "3911": 26760, "3912": 26761, "3913": 26762, "3914": 26763, "3915": 24, "3916": 24 }
26774{ "3910": 26773, "3911": 26774, "3912": 26775, "3913": 26776, "3914": 26777, "3915": 24, "3916": 24 }
27281{ "3910": 26738, "3911": 27281, "3912": 27282, "3913": 27283, "3914": 27284, "3915": 40, "3916": 40 }
27286{ "3910": 27285, "3911": 27286, "3912": 27287, "3913": 27288, "3914": 27289, "3915": 40, "3916": 40 }
27309{ "3910": 27308, "3911": 27309, "3912": 27310, "3913": 27311, "3914": 27312, "3915": 16, "3916": 16 }
27309{ "3910": 27308, "3911": 27309, "3912": 27310, "3913": 27311, "3914": 27312, "3915": 24, "3916": 24 }
28284{ "3910": 28283, "3911": 28284, "3912": 28295, "3913": 28296, "3914": 28297, "3915": 40, "3916": 40 }
28350{ "3910": 28298, "3911": 28350, "3912": 28351, "3913": 28352, "3914": 28353, "3915": 40, "3916": 40 }
28806{ "3910": 28805, "3911": 28806, "3912": 28807, "3913": 28808, "3914": 28809, "3915": 40, "3916": 40 }
28811{ "3910": 28810, "3911": 28811, "3912": 28812, "3913": 28813, "3914": 28814, "3915": 40, "3916": 40 }
28816{ "3910": 28815, "3911": 28816, "3912": 28817, "3913": 28818, "3914": 28819, "3915": 40, "3916": 40 }
28821{ "3910": 28820, "3911": 28821, "3912": 28822, "3913": 28823, "3914": 28824, "3915": 40, "3916": 40 }
28826{ "3910": 28825, "3911": 28826, "3912": 28827, "3913": 28828, "3914": 28829, "3915": 40, "3916": 40 }
28831{ "3910": 28830, "3911": 28831, "3912": 28832, "3913": 28833, "3914": 28834, "3915": 40, "3916": 40 }
28836{ "3910": 28835, "3911": 28836, "3912": 28837, "3913": 28838, "3914": 28839, "3915": 40, "3916": 40 }
28841{ "3910": 28840, "3911": 28841, "3912": 28842, "3913": 28843, "3914": 28844, "3915": 40, "3916": 40 }
28846{ "3910": 28845, "3911": 28846, "3912": 28847, "3913": 28848, "3914": 28849, "3915": 40, "3916": 40 }
28851{ "3910": 28850, "3911": 28851, "3912": 28852, "3913": 28853, "3914": 28854, "3915": 40, "3916": 40 }
28856{ "3910": 28855, "3911": 28856, "3912": 28857, "3913": 28858, "3914": 28859, "3915": 40, "3916": 40 }
28861{ "3910": 28860, "3911": 28861, "3912": 28862, "3913": 28863, "3914": 28864, "3915": 40, "3916": 40 }
28866{ "3910": 28865, "3911": 28866, "3912": 28867, "3913": 28868, "3914": 28869, "3915": 40, "3916": 40 }
28871{ "3910": 28870, "3911": 28871, "3912": 28872, "3913": 28873, "3914": 28874, "3915": 40, "3916": 40 }
28876{ "3910": 28875, "3911": 28876, "3912": 28877, "3913": 28878, "3914": 28879, "3915": 40, "3916": 40 }
28881{ "3910": 28880, "3911": 28881, "3912": 28882, "3913": 28883, "3914": 28884, "3915": 40, "3916": 40 }
28886{ "3910": 28885, "3911": 28886, "3912": 28887, "3913": 28888, "3914": 28889, "3915": 40, "3916": 40 }
28891{ "3910": 28890, "3911": 28891, "3912": 28892, "3913": 28893, "3914": 28894, "3915": 40, "3916": 40 }
28896{ "3910": 28895, "3911": 28896, "3912": 28897, "3913": 28898, "3914": 28899, "3915": 40, "3916": 40 }
28901{ "3910": 28900, "3911": 28901, "3912": 28902, "3913": 28903, "3914": 28904, "3915": 40, "3916": 40 }
28906{ "3910": 28905, "3911": 28906, "3912": 28907, "3913": 28908, "3914": 28909, "3915": 40, "3916": 40 }
28911{ "3910": 28910, "3911": 28911, "3912": 28912, "3913": 28913, "3914": 28914, "3915": 40, "3916": 40 }
28916{ "3910": 28915, "3911": 28916, "3912": 28917, "3913": 28918, "3914": 28919, "3915": 40, "3916": 40 }
28921{ "3910": 28920, "3911": 28921, "3912": 28922, "3913": 28923, "3914": 28924, "3915": 40, "3916": 40 }
28926{ "3910": 28925, "3911": 28926, "3912": 28927, "3913": 28928, "3914": 28929, "3915": 40, "3916": 40 }
28931{ "3910": 28930, "3911": 28931, "3912": 28932, "3913": 28933, "3914": 28934, "3915": 40, "3916": 40 }
28936{ "3910": 28935, "3911": 28936, "3912": 28937, "3913": 28938, "3914": 28939, "3915": 40, "3916": 40 }
28941{ "3910": 28940, "3911": 28941, "3912": 28942, "3913": 28943, "3914": 28944, "3915": 40, "3916": 40 }
28946{ "3910": 28945, "3911": 28946, "3912": 28947, "3913": 28948, "3914": 28949, "3915": 40, "3916": 40 }
28951{ "3910": 28950, "3911": 28951, "3912": 28952, "3913": 28953, "3914": 28954, "3915": 40, "3916": 40 }
29320{ "3910": 29319, "3911": 29320, "3912": 29321, "3913": 29322, "3914": 29323, "3915": 16, "3916": 16, "4405": 33690 }
29327{ "3910": 29326, "3911": 29327, "3912": 29328, "3913": 29329, "3914": 29330, "3915": 16, "3916": 16, "4247": 2, "4248": 2, "4426": 2, "6309": 2 }
29333{ "3910": 29332, "3911": 29333, "3912": 29334, "3913": 29335, "3914": 29336, "3915": 16, "3916": 16, "4247": 2, "4248": 2, "4426": 2, "6309": 2 }
29447{ "3910": 29446, "3911": 29447, "3912": 29448, "3913": 29449, "3914": 29450, "3915": 16, "3916": 16, "4247": 2, "4248": 2, "4426": 2, "6309": 2 }
29452{ "3910": 29451, "3911": 29452, "3912": 29453, "3913": 29454, "3914": 29455, "3915": 16, "3916": 16, "4247": 2, "4248": 2, "4426": 2, "6309": 2 }
29457{ "3910": 29456, "3911": 29457, "3912": 29458, "3913": 29459, "3914": 29460, "3915": 24, "3916": 24 }
29462{ "3910": 29461, "3911": 29462, "3912": 29463, "3913": 29464, "3914": 29465, "3915": 16, "3916": 16, "4247": 2, "4248": 2, "4426": 2, "6309": 2 }
29715{ "3910": 29714, "3911": 29715, "3912": 29716, "3913": 29717, "3914": 29718, "3915": 16, "3916": 16, "4405": 33690 }
29720{ "3910": 29719, "3911": 29720, "3912": 29721, "3913": 29722, "3914": 29723, "3915": 16, "3916": 16, "4405": 33690 }
29738{ "3910": 29737, "3911": 29738, "3912": 29739, "3913": 29740, "3914": 29741, "3915": 24, "3916": 24 }
29743{ "3910": 29742, "3911": 29743, "3912": 29744, "3913": 29745, "3914": 29746, "3915": 24, "3916": 24 }
29748{ "3910": 29747, "3911": 29748, "3912": 29749, "3913": 29750, "3914": 29751, "3915": 24, "3916": 24 }
29753{ "3910": 29752, "3911": 29753, "3912": 29754, "3913": 29755, "3914": 29756, "3915": 24, "3916": 24 }
29758{ "3910": 29757, "3911": 29758, "3912": 29759, "3913": 29760, "3914": 29761, "3915": 24, "3916": 24 }
29763{ "3910": 29762, "3911": 29763, "3912": 29764, "3913": 29765, "3914": 29766, "3915": 24, "3916": 24 }
29768{ "3910": 29767, "3911": 29768, "3912": 29769, "3913": 29770, "3914": 29771, "3915": 24, "3916": 24 }
29773{ "3910": 29772, "3911": 29773, "3912": 29774, "3913": 29775, "3914": 29776, "3915": 24, "3916": 24 }
29778{ "3910": 29777, "3911": 29778, "3912": 29779, "3913": 29780, "3914": 29781, "3915": 24, "3916": 24 }
29783{ "3910": 29782, "3911": 29783, "3912": 29784, "3913": 29785, "3914": 29786, "3915": 24, "3916": 24 }
29788{ "3910": 29787, "3911": 29788, "3912": 29789, "3913": 29790, "3914": 29791, "3915": 24, "3916": 24 }
29798{ "3910": 29797, "3911": 29798, "3912": 29799, "3913": 29800, "3914": 29801, "3915": 24, "3916": 24 }
29803{ "3910": 29802, "3911": 29803, "3912": 29804, "3913": 29805, "3914": 29806, "3915": 24, "3916": 24 }
29808{ "3910": 29807, "3911": 29808, "3912": 29809, "3913": 29810, "3914": 29811, "3915": 24, "3916": 24 }
29813{ "3910": 29812, "3911": 29813, "3912": 29814, "3913": 29815, "3914": 29816, "3915": 24, "3916": 24 }
29818{ "3910": 29817, "3911": 29818, "3912": 29819, "3913": 29820, "3914": 29821, "3915": 24, "3916": 24 }
29823{ "3910": 29822, "3911": 29823, "3912": 29824, "3913": 29825, "3914": 29826, "3915": 24, "3916": 24 }
30019{ "3910": 30018, "3911": 30019, "3912": 30020, "3913": 30021, "3914": 30022, "3915": 16, "3916": 16, "4405": 33690 }
2147483647{ "3910": 2147483647, "3911": 2147483647, "3912": 2147483647, "3913": 2147483647, "3914": 2147483647, "3915": 0, "3916": 0 }
2147483647{ "3910": 2147483647, "3911": 2147483647, "3912": 2147483647, "3913": 2147483647, "3914": 2147483647, "3915": 0, "3916": 0 }
2147483647{ "3910": 2147483647, "3911": 2147483647, "3912": 2147483647, "3913": 2147483647, "3914": 2147483647, "3915": 36, "3916": 32 }
2147483647{ "3910": 2147483647, "3911": 2147483647, "3912": 2147483647, "3913": 2147483647, "3914": 2147483647, "3915": 0, "3916": 0, "4247": 2, "4248": 2, "4426": 2, "6309": 2 }