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