Datum
5459dbf7bb91e5…f2e1725d39
5459dbf7bb91e560c81cda516953dd42bc12f78b6a8cac0ea6cbbef2e1725d39
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#2ee20a8bf04bf43b1b851c06d3ad9370edf33b467f0defe644e5c1ce
1
Constr 0
0
Constr 0
0
Constr 0
0
#48286db77e52e82c5fd7db95a469059cce2ffa7e11d5b4cda0af35aa
1
Constr 0
0
Constr 0
0
#2ee20a8bf04bf43b1b851c06d3ad9370edf33b467f0defe644e5c1ce
1
Constr 0
0
Constr 0
0
Constr 0
0
#48286db77e52e82c5fd7db95a469059cce2ffa7e11d5b4cda0af35aa
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#95e295502bb1b76beb54c721811bb8e309d61880e674858dacc4ceac
1
#41646153756d6d6572"AdaSummer"
1
1
4
2000000
5
2000000