Datum

11be32d07b8b65…72caebec58

11be32d07b8b65a54fa60794d252c97942833404328d2e9728cefa72caebec58

Datum

Constr 0

0

#53

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b10bbe6a1bc1e14fe3139f894d7b25fd6823e207c009e8a0032da74e

1

Constr 0

0

Constr 0

0

Constr 0

0

#5185733657ca3041600bd15d214fac3095c9a6d183450f2846530e33

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

3223431

1

1000000000