Datum
841e6725640caa…a207c792f7
841e6725640caa4a37fdda1a1210eff6e0052aa7db4673e9e76cbea207c792f7
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#38ed2346df7230f3eee5e65620b8c1678111aedf5d337949453968ad
1
Constr 0
0
Constr 0
0
Constr 0
0
#5eca9fc3f4d6ae133b5bae45850a84eb390009550b40fb80ed528968
1
Constr 0
0
Constr 0
0
#38ed2346df7230f3eee5e65620b8c1678111aedf5d337949453968ad
1
Constr 0
0
Constr 0
0
Constr 0
0
#5eca9fc3f4d6ae133b5bae45850a84eb390009550b40fb80ed528968
2
Constr 1 []
3
Constr 3
0
266529371
1
420366309
4
1999643
5
2000000