ValueContext
792{ "1388": 773, "1389": 788, "1393": 792, "1394": 789, "1395": 790, "1396": 791, "4406": 10, "4407": 2147483647 }
6507{ "1388": 6499, "1389": 6498, "1391": 7338, "1392": 7339, "1393": 6507, "1394": 6504, "1395": 6505, "1396": 6506, "3797": 1 }
7605{ "1388": 5686, "1389": 5685, "1393": 7605, "1394": 7602, "1395": 7603, "1396": 7604, "4406": 10, "4407": 2147483647, "4895": 1 }
23526{ "1388": 23517, "1389": 23518, "1393": 23526, "1394": 23523, "1395": 23524, "1396": 23525, "4406": 10, "4407": 2147483647 }
25124{ "1388": 25115, "1389": 25116, "1393": 25124, "1394": 25121, "1395": 25122, "1396": 25123, "4406": 10, "4407": 2147483647 }
25157{ "1388": 773, "1389": 788, "1393": 25157, "1394": 25154, "1395": 25155, "1396": 25156, "4406": 10, "4407": 2147483647, "4895": 1 }