Datum
b795cdc2240721…64fca4e41f
b795cdc22407212923319ffa7fb7c9a34ae94bf7d3938963250c7364fca4e41f
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#c46e8b9c2ef74ee43cc116aeccd426b308101ba1b22440abff0b3dd8
1
Constr 0
0
Constr 0
0
Constr 0
0
#5c9274a0ef4c1bb48a5250d5c9a5248004dc7a8796433f91ffdbbac4
1
Constr 0
0
Constr 0
0
#c46e8b9c2ef74ee43cc116aeccd426b308101ba1b22440abff0b3dd8
1
Constr 0
0
Constr 0
0
Constr 0
0
#5c9274a0ef4c1bb48a5250d5c9a5248004dc7a8796433f91ffdbbac4
2
Constr 1 []
3
Constr 2
0
1
4
1999681
5
2000000