Datum

2ca5df610e35d3…df54cc4f23

2ca5df610e35d328d3e18bd1e68f7a1450189ef04ffb97d801fefddf54cc4f23

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#351a5e9c41cd8908e33bda5b4ef09ad7a343d808d891315cbca18083

1

Constr 0

0

Constr 0

0

Constr 0

0

#45cba2197cfbfa040f13663443baae681ff95450a7028ace752d384b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

4000000000

2

Constr 0

0

6843964627