Datum
51b157eba648a5…026215eea6
51b157eba648a570b6a3c8bd7ab58f06559188dfd024a4e0d8674e026215eea6
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#18d6c324904bb7f13586e180fee77765eea465fe2778def84690989e
1
Constr 0
0
Constr 0
0
Constr 0
0
#353f68e9ea677912f454f0b35b5458499538dddd4f026324b51aa548
1
Constr 0
0
Constr 0
0
#18d6c324904bb7f13586e180fee77765eea465fe2778def84690989e
1
Constr 0
0
Constr 0
0
Constr 0
0
#353f68e9ea677912f454f0b35b5458499538dddd4f026324b51aa548
2
Constr 1 []
3
Constr 3
0
98654663
1
20417181
4
2000000
5
2000000