Datum

d844650aea6f1d…b69cccaa7b

d844650aea6f1d916ca6ea80b29a9052010a89bef0074b2dbe0187b69cccaa7b

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#292f596c4a29f6f1a798bce86033bc6a416ae59e6ff44aaf8e8f34ea

1

Constr 0

0

Constr 0

0

Constr 0

0

#fa091fd9d54b79e77a5ff735eb74183c899ff78d3c457ff581d11afe

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

150813667

2

Constr 0

0

191675332