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