Datum
9041b2a81fcaa0…71aa1fc56d
9041b2a81fcaa099676ddeffa57c45982ff4d64780eb52da20795771aa1fc56d
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#f1ee35b63790fed81fbc1fce708c4133773295ce79110028d313a73d
1
Constr 0
0
Constr 0
0
Constr 0
0
#a84174d033942b8493f0b4a07e0e9dd1db6c7669923381821a66c29c
1
Constr 0
0
Constr 0
0
#f1ee35b63790fed81fbc1fce708c4133773295ce79110028d313a73d
1
Constr 0
0
Constr 0
0
Constr 0
0
#a84174d033942b8493f0b4a07e0e9dd1db6c7669923381821a66c29c
2
Constr 1 []
3
Constr 3
0
76168734
1
18318
4
1960471
5
2000000