Datum
cddaef6556ea6d…79d74da70d
cddaef6556ea6d29751edf3f786ecb999b942dbe85650c24aa660979d74da70d
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#e8648113047f8153374cebdd244788478c6dcb652be4a7ad67faba59
1
Constr 0
0
Constr 0
0
Constr 0
0
#f680adca6528806c09fd47f0894b03a1097acbea4513b2d8765db2e0
1
Constr 0
0
Constr 0
0
#e8648113047f8153374cebdd244788478c6dcb652be4a7ad67faba59
1
Constr 0
0
Constr 0
0
Constr 0
0
#f680adca6528806c09fd47f0894b03a1097acbea4513b2d8765db2e0
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#""
1
#""
1
55860843
4
2000000
5
2000000