Datum

74ec5148ba2414…8d16522109

74ec5148ba24147ddb951bfcd4937008c2b74e2edb91d96be3ada28d16522109

Datum

Constr 0

0

#1e01

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f85feca4337e17536d4def5240e140d02142b758dd96c85ed49fbf99

1

Constr 0

0

Constr 0

0

Constr 0

0

#d6fe073f0c4233d68b15725991dbc60e2349fc01e24050d0396b7294

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

200000000

2

Constr 0

0

810427430