ValueContext
0{ "3486": 2, "3487": 0, "3488": 0 }
0{ "3486": 2, "3487": 0, "3488": 0 }
0{ "3486": 2, "3487": 0, "3488": 0 }
1{ "3486": 4, "3487": 1, "3488": 0 }
2{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 360, "3486": 2147483647, "3487": 2, "3488": 0 }
3{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 360, "3486": 0, "3487": 3, "3488": 0 }
3{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 360, "3486": 2147483647, "3487": 3, "3488": 1 }
3{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 360, "3486": 2147483647, "3487": 3, "3488": 1 }
3{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 390, "3486": 2147483647, "3487": 3, "3488": 1 }
3{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 390, "3486": 2147483647, "3487": 3, "3488": 1 }
3{ "3482": 4095, "3483": 4095, "3484": 215, "3485": 360, "3486": 2147483647, "3487": 3, "3488": 1 }
3{ "3482": 4095, "3483": 4095, "3484": 224, "3485": 320, "3486": 2147483647, "3487": 3, "3488": 1 }
4{ "3486": 3, "3487": 4, "3488": 0 }
4{ "3482": 4095, "3483": 0, "3484": 215, "3485": 360, "3486": 2147483647, "3487": 4, "3488": 1 }
5{ "3486": 3, "3487": 5, "3488": 0 }
6{ "3486": 2, "3487": 6, "3488": 0 }
9{ "3486": 4, "3487": 9, "3488": 0 }
9{ "3486": 23, "3487": 9, "3488": 0 }
11{ "3482": 4095, "3483": 1024, "3484": 224, "3485": 690, "3486": 2147483647, "3487": 11, "3488": 0 }
14{ "3486": 9, "3487": 14, "3488": 0 }
15{ "3486": 4, "3487": 15, "3488": 0 }
16{ "3486": 22, "3487": 16, "3488": 0 }
19{ "3482": 0, "3483": 0, "3484": 530, "3485": 185, "3486": 2147483647, "3487": 19, "3488": 1 }
19{ "3482": 0, "3483": 4095, "3484": 288, "3485": 350, "3486": 2147483647, "3487": 19, "3488": 1 }
19{ "3482": 0, "3483": 4095, "3484": 530, "3485": 352, "3486": 2147483647, "3487": 19, "3488": 1 }
19{ "3482": 0, "3483": 4095, "3484": 530, "3485": 352, "3486": 2147483647, "3487": 19, "3488": 1 }
19{ "3482": 0, "3483": 4095, "3484": 530, "3485": 352, "3486": 2147483647, "3487": 19, "3488": 1 }
19{ "3482": 0, "3483": 4095, "3484": 576, "3485": 224, "3486": 2147483647, "3487": 19, "3488": 1 }
20{ "3486": 18, "3487": 20, "3488": 0 }
20{ "3486": 18, "3487": 20, "3488": 0 }
20{ "3486": 18, "3487": 20, "3488": 0 }
21{ "3486": 19, "3487": 21, "3488": 0 }
21{ "3486": 19, "3487": 21, "3488": 0 }
22{ "3486": 20, "3487": 22, "3488": 0 }
22{ "3486": 20, "3487": 22, "3488": 0 }
22{ "3482": 0, "3483": 0, "3484": 288, "3485": 350, "3486": 2147483647, "3487": 22, "3488": 1 }
23{ "3486": 19, "3487": 23, "3488": 0 }
23{ "3486": 21, "3487": 23, "3488": 0 }
23{ "3486": 21, "3487": 23, "3488": 0 }
25{ "3486": 21, "3487": 25, "3488": 0 }
25{ "3486": 22, "3487": 25, "3488": 0 }
25{ "3486": 22, "3487": 25, "3488": 0 }
27{ "3486": 15, "3487": 27, "3488": 0 }
31{ "3486": 0, "3487": 31, "3488": 0 }
2147483647{ "3486": 1, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 3, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 3, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 6, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 14, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 18, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 22, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 23, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 25, "3487": 2147483647, "3488": 0 }
2147483647{ "3486": 31, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 0, "3483": 0, "3484": 225, "3485": 400, "3486": 2147483647, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 0, "3483": 2048, "3484": 276, "3485": 400, "3486": 2147483647, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 2048, "3483": 0, "3484": 300, "3485": 160, "3486": 2147483647, "3487": 2147483647, "3488": 1 }
2147483647{ "3482": 2048, "3483": 1024, "3484": 300, "3485": 200, "3486": 2147483647, "3487": 2147483647, "3488": 1 }
2147483647{ "3482": 2048, "3483": 2048, "3484": 300, "3485": 160, "3486": 2147483647, "3487": 2147483647, "3488": 1 }
2147483647{ "3482": 4095, "3483": 0, "3484": 175, "3485": 200, "3486": 2147483647, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 4095, "3483": 0, "3484": 207, "3485": 190, "3486": 2147483647, "3487": 2147483647, "3488": 1 }
2147483647{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 80, "3486": 2147483647, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 360, "3486": 2, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 360, "3486": 2, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 360, "3486": 2147483647, "3487": 2147483647, "3488": 0 }
2147483647{ "3482": 4095, "3483": 4095, "3484": 207, "3485": 390, "3486": 2147483647, "3487": 2147483647, "3488": 0 }