Datum
a1b5eb6471eb8d…6050a18d94
a1b5eb6471eb8d485b75ba5bb600ffc235d96571e8d9d8037d70ea6050a18d94
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#a63370ccb312757bc7a9967ad7afbef8bc8ae6be15d6b37c72fa0b6a
1
Constr 0
0
Constr 0
0
Constr 0
0
#428c6cd6dead6b128ae6fdf9dbcc56c201e96fb8165371cd2d23ff21
1
Constr 0
0
Constr 0
0
#a63370ccb312757bc7a9967ad7afbef8bc8ae6be15d6b37c72fa0b6a
1
Constr 0
0
Constr 0
0
Constr 0
0
#428c6cd6dead6b128ae6fdf9dbcc56c201e96fb8165371cd2d23ff21
2
Constr 1 []
3
Constr 3
0
32309181
1
109583176
4
2000000
5
2000000