ValueContext
10713{ "5687": 0, "5688": 2147483647, "5689": 10713, "5694": 24, "6892": 2 }
10921{ "5687": 0, "5688": 2147483647, "5689": 10921, "6892": 0 }
10922{ "5687": 0, "5688": 2147483647, "5689": 10922, "6892": 0 }
10923{ "5687": 0, "5688": 2147483647, "5689": 10923, "6892": 0 }
10924{ "5687": 0, "5688": 2147483647, "5689": 10924, "6892": 0 }
10925{ "5687": 0, "5688": 2147483647, "5689": 10925, "6892": 1 }
10926{ "5687": 0, "5688": 2147483647, "5689": 10926, "6892": 1 }
10927{ "5687": 0, "5688": 2147483647, "5689": 10927, "6892": 1 }
13259{ "5687": 0, "5688": 2147483647, "5689": 13259, "6892": 2 }
13508{ "5687": 0, "5688": 2147483647, "5689": 13508, "6892": 0 }
13509{ "5687": 0, "5688": 2147483647, "5689": 13509, "6892": 0 }
13510{ "5687": 0, "5688": 2147483647, "5689": 13510, "6892": 0 }
13510{ "5687": 0, "5688": 2147483647, "5689": 13510, "6892": 1 }
13511{ "5687": 0, "5688": 2147483647, "5689": 13511, "6892": 0 }
13512{ "5687": 0, "5688": 2147483647, "5689": 13512, "6892": 0 }
13512{ "5687": 0, "5688": 2147483647, "5689": 13512, "6892": 1 }
13513{ "5687": 0, "5688": 2147483647, "5689": 13513, "6892": 0 }
13514{ "5687": 0, "5688": 2147483647, "5689": 13514, "6892": 0 }
13514{ "5687": 0, "5688": 2147483647, "5689": 13514, "6892": 1 }
13515{ "5687": 0, "5688": 2147483647, "5689": 13515, "6892": 0 }
13515{ "5687": 0, "5688": 2147483647, "5689": 13515, "6892": 1 }
13516{ "5687": 0, "5688": 2147483647, "5689": 13516, "6892": 0 }
13516{ "5687": 0, "5688": 2147483647, "5689": 13516, "6892": 1 }
13517{ "5687": 0, "5688": 2147483647, "5689": 13517, "6892": 0 }
13517{ "5687": 0, "5688": 2147483647, "5689": 13517, "6892": 1 }
13518{ "5687": 0, "5688": 2147483647, "5689": 13518, "6892": 0 }
13519{ "5687": 0, "5688": 2147483647, "5689": 13519, "6892": 0 }
13519{ "5687": 0, "5688": 2147483647, "5689": 13519, "6892": 1 }
13520{ "5687": 0, "5688": 2147483647, "5689": 13520, "6892": 0 }
13521{ "5687": 0, "5688": 2147483647, "5689": 13521, "6892": 0 }
13521{ "5687": 0, "5688": 2147483647, "5689": 13521, "6892": 1 }
13522{ "5687": 0, "5688": 2147483647, "5689": 13522, "6892": 0 }
13523{ "5687": 0, "5688": 2147483647, "5689": 13523, "6892": 0 }
13524{ "5687": 0, "5688": 2147483647, "5689": 13524, "6892": 0 }
13524{ "5687": 0, "5688": 2147483647, "5689": 13524, "6892": 1 }
13525{ "5687": 0, "5688": 2147483647, "5689": 13525, "6892": 0 }
13814{ "5687": 0, "5688": 2147483647, "5689": 13814, "6892": 1 }
13814{ "5687": 0, "5688": 2147483647, "5689": 13814, "6892": 2 }
2147483647{ "5687": 450, "5688": 10714, "5689": 2147483647, "5694": 12, "6892": 2 }