Datum

9ced32068a5cdc…88e8bea7c0

9ced32068a5cdcc8a7732e41f85e93dca48400a94f6512c681078f88e8bea7c0

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b78997815c2fbf783179f64cdd5c941035002922bfee2146a0e0b7d8

1

Constr 0

0

Constr 0

0

Constr 0

0

#1bfd5f16e9e6948475f489fab86b1df099091504569c62594029339a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

2427573127