Datum

ac1e7e55ef3c7a…7ab16b632d

ac1e7e55ef3c7a8fbf7eca22c7fc9557dfd3fe290e4a15027b26a37ab16b632d

Datum

Constr 0

0

#36

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b51b226eaa9d88c3214bd3f73e833da1fd837ad71f015b359308b6bb

1

Constr 0

0

Constr 0

0

Constr 0

0

#b63b1b03e1acee70b0805ca5653b5fee25e566a01a9814493e525375

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1046821344

2

Constr 0

0

9500000000