ValueContext
0{ "1532": 1, "1533": 1, "1534": 1, "1541": 0 }
0{ "1532": 1, "1533": 1, "1534": 1, "1541": 0 }
1{ "1532": 2, "1533": 1, "1534": 1, "1541": 1 }
2{ "1532": 3, "1533": 1, "1534": 1, "1541": 2 }
3{ "1532": 4, "1533": 1, "1534": 1, "1541": 3 }
3{ "1532": 5, "1533": 1, "1534": 1, "1535": 4, "1536": 4, "1537": 5, "1538": 5, "1539": 3, "1541": 3 }
4{ "1532": 5, "1533": 1, "1534": 1, "1541": 4 }
5{ "1532": 6, "1533": 1, "1534": 1, "1541": 5 }
6{ "1532": 7, "1533": 1, "1534": 1, "1541": 6 }
6{ "1532": 6, "1533": 1, "1534": 1, "1535": 6, "1536": 6, "1537": 6, "1538": 6, "1539": 6, "1540": 6, "1541": 6 }