Datum

44d7b220bcd44a…31f7c94d8e

44d7b220bcd44a94c24ddfa3e127bfbe8f6e7c43f93c974ffa8a0031f7c94d8e

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#24da720c8abb7ccd7038a0b9ebba80cb5be03cb29e0f5a277d1875cb

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d077802dcec1c69c50e4fe7d72157eb5ee9b62b869af1a7e4fd9217

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

10000000

2

Constr 0

0

30470617