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