Datum
7c4a763b6aefd5…d44fbd4723
7c4a763b6aefd533e269a7bbaefcb4d4bb7d94f8b1c6b6b3329c5bd44fbd4723
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#d1bfda4512ac3ef7f92e95f57916af89d9f7824e9caa81c410de4e87
1
Constr 0
0
Constr 0
0
Constr 0
0
#9a24841a82082974272deb9a53ac3929fdbc60859b492e081f448c72
1
Constr 0
0
Constr 0
0
#d1bfda4512ac3ef7f92e95f57916af89d9f7824e9caa81c410de4e87
1
Constr 0
0
Constr 0
0
Constr 0
0
#9a24841a82082974272deb9a53ac3929fdbc60859b492e081f448c72
2
Constr 1 []
3
Constr 3
0
913702627
1
808154
4
1999809
5
2000000