Datum
545d3a9dd8fb35…686b7273d2
545d3a9dd8fb357dc37d789c80f74c2e5a5c8e238c4134d8fc133a686b7273d2
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#231d6928e8d74b4afd1c9f5ca3250f0c145d11a0c71c28fa58b9f726
1
Constr 0
0
Constr 0
0
Constr 0
0
#1157fc579217d9f6650a70132a83fe4c1a4aa71b22475cae2e649b48
1
Constr 0
0
Constr 0
0
#231d6928e8d74b4afd1c9f5ca3250f0c145d11a0c71c28fa58b9f726
1
Constr 0
0
Constr 0
0
Constr 0
0
#1157fc579217d9f6650a70132a83fe4c1a4aa71b22475cae2e649b48
2
Constr 1 []
3
Constr 3
0
3524197938
1
57911616
4
1563622
5
2000000