Datum
f903d2b5fa5b2b…a5dc2e1279
f903d2b5fa5b2b8b4b641eb7de2511d8186db4a2f16eebc0c41e12a5dc2e1279
Datum
Constr 0
0
Constr 0
0
#74d5feb03ad8a7d43fc2c873424dff9f0f807b6f65cae2624dbfbe37
1
Constr 0
0
Constr 0
0
#74d5feb03ad8a7d43fc2c873424dff9f0f807b6f65cae2624dbfbe37
1
Constr 0
0
Constr 0
0
Constr 0
0
#a76676802d92e6533ce94289571ee6e49f29448a596985b4cf8da1b3
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#74d5feb03ad8a7d43fc2c873424dff9f0f807b6f65cae2624dbfbe37
1
Constr 0
0
Constr 0
0
Constr 0
0
#a76676802d92e6533ce94289571ee6e49f29448a596985b4cf8da1b3
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#9b65707373c4cec488b16151a64d7102dbae16857c500652b5c513650b8d604e
6
Constr 0
0
Constr 0 []
1
Constr 0
0
39579165
2
61449664
3
Constr 0 []
7
2000000
8
Constr 1 []