Datum

b52cdfab7f01bf…f8593be65b

b52cdfab7f01bf8773269d137c864099cabfd5a5ebcf3c86c644baf8593be65b

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b492d012e61ed13d029cd25b1e89dad3f3fc6cb44ffc01595b9b8f11

1

Constr 0

0

Constr 0

0

Constr 0

0

#a724d92670b51148dcaced466d569a751705dc3565010e84afe03b4b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

58586711

2

Constr 0

0

20467075