ValueContext
4040{ "2239": 601926, "3810": 4040, "3811": 15708259 }
4040{ "2239": 601926, "3810": 4040, "3811": 15708259 }
4040{ "2239": 3156001, "3810": 4040, "3811": 15708259 }
4040{ "2239": 601926, "3797": 6, "3810": 4040, "3811": 15708259, "4405": 28602 }
4040{ "2239": 601926, "3797": 6, "3810": 4040, "3811": 15708259, "4405": 28603 }
14490{ "3797": 6, "3810": 14490, "3811": 0, "4405": 28553 }
14490{ "3797": 6, "3810": 14490, "3811": 0, "4405": 28554 }
14490{ "3797": 6, "3810": 14490, "3811": 0, "4405": 28555 }
17813{ "3797": 6, "3810": 17813, "3811": 10132122, "4405": 35515 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28549 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28556 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28557 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28559 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28577 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28595 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 35508 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 37917 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 39949 }
17813{ "3797": 6, "3810": 17813, "3811": 14530559, "4405": 35529 }
17813{ "3797": 6, "3810": 17813, "3811": 16771756, "4405": 35522 }
17813{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 1598 }
17813{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 28567 }
17813{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 28580 }
17813{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 35508 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28619, "4523": 10855845 }
17813{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 31767, "4523": 10132122 }
17813{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 31774, "4523": 13157298 }
17813{ "2239": 601926, "3797": 6, "3810": 17813, "3811": 16777215, "4405": 28618, "4523": 16777215 }
17813{ "1358": 0, "1382": 6143, "1383": 6147, "1384": 6145, "1385": 6144, "1386": 6146, "1387": 20726, "3797": 7, "3810": 17813, "3811": 16504489, "4405": 28618, "4523": 13157298 }
17813{ "1358": 0, "1382": 18248, "1383": 18252, "1384": 18251, "1385": 18249, "1386": 18253, "1387": 18250, "3797": 7, "3810": 17813, "3811": 11456736, "4405": 28619, "4428": 7, "4429": 7, "4523": 10855845 }
20280{ "3797": 6, "3810": 20280, "3811": 16777215, "4405": 28560 }