Datum

ba3b18755d0ed3…de44ecc08c

ba3b18755d0ed3249604b2fbdd543c78b90658328debedee8669d1de44ecc08c

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#24db5253c809ca46e2d1d589e8b8e1461a7fb4390b69081c32a1c8b9

1

Constr 0

0

Constr 0

0

Constr 0

0

#ed4c3f1c6234a347278d34a48d08e67ec2af40a2dbb160b70a7fefca

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

850000000

2

Constr 0

0

3349860406