Datum
fd6844ee2fe505…db62100f10
fd6844ee2fe505f6f9131bc028c5e2e1f6ffdfaf26db4234fed41fdb62100f10
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#2426cf9a0d9ab673b1d8e901e2327847c5bd26f8f3ea10bb9c6ee5bd
1
Constr 0
0
Constr 0
0
Constr 0
0
#1ebaaeea7e351ce46ba8aa148835383a02facb0b9f608c7a55162e84
1
Constr 0
0
Constr 0
0
#2426cf9a0d9ab673b1d8e901e2327847c5bd26f8f3ea10bb9c6ee5bd
1
Constr 0
0
Constr 0
0
Constr 0
0
#1ebaaeea7e351ce46ba8aa148835383a02facb0b9f608c7a55162e84
2
Constr 1 []
3
Constr 3
0
18323920
1
5540344
4
2000000
5
2000000