Datum
512c1dacffd772…a8ea363217
512c1dacffd7724ba3dffcef46cda53341ceee007d7f6d9cfe112fa8ea363217
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#b2ec72f3b00843ddc291caa9d6e986df01d5bda59b16c2941966ac54
1
Constr 0
0
Constr 0
0
Constr 0
0
#1b104cad00246a5f273eda2ac3c2bc3de5a8f528c10fd229a89b7e73
1
Constr 0
0
Constr 0
0
#b2ec72f3b00843ddc291caa9d6e986df01d5bda59b16c2941966ac54
1
Constr 0
0
Constr 0
0
Constr 0
0
#1b104cad00246a5f273eda2ac3c2bc3de5a8f528c10fd229a89b7e73
2
Constr 1 []
3
Constr 3
0
1487616711
1
2612789441
4
2000000
5
2000000