Datum
95ab2102b0cfdc…a61363a223
95ab2102b0cfdcab6c19b0e643c309eb9419444dce0b9acb35fe6ba61363a223
Datum
Constr 0
0
Constr 0
0
#8b88c0e0a8972013a4bf9e9cd819afd6e60452e47e0c03b8c8a8cac2
1
Constr 0
0
Constr 0
0
#8b88c0e0a8972013a4bf9e9cd819afd6e60452e47e0c03b8c8a8cac2
1
Constr 0
0
Constr 0
0
Constr 0
0
#aa6a98c4baad0bba4221ed7512e2a119200098a3b5564745a3eb5b89
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#8b88c0e0a8972013a4bf9e9cd819afd6e60452e47e0c03b8c8a8cac2
1
Constr 0
0
Constr 0
0
Constr 0
0
#aa6a98c4baad0bba4221ed7512e2a119200098a3b5564745a3eb5b89
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#686db0c143a3a2cc19099d8909e315c4ed761a6ac5a3c5998c651d5e9d3cb253
6
Constr 0
0
Constr 0 []
1
Constr 0
0
4928619051
2
908197190
3
Constr 0 []
7
2000000
8
Constr 1 []