Datum

f7941dbf6235d5…ee4f9bf7ff

f7941dbf6235d5aa6b2339d03fb22ba0b8c2b42de1fc3aa3c918b7ee4f9bf7ff

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#2a0e25a2dabaca3afbc9411647fc0fe66f6ae52ca8e13c1ca6b6b5f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#103ed6e9fd5efd7ecd528d9245c142298b2b051d128d8f51fbe6d02d

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

742977632

2

Constr 0

0

776000000