Datum

520917e046596b…e82e6a4e49

520917e046596bb7414904c7656da58621ecaadef438ba51e7902ae82e6a4e49

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2a0e25a2dabaca3afbc9411647fc0fe66f6ae52ca8e13c1ca6b6b5f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#103ed6e9fd5efd7ecd528d9245c142298b2b051d128d8f51fbe6d02d

1

Constr 0

0

Constr 0

0

#2a0e25a2dabaca3afbc9411647fc0fe66f6ae52ca8e13c1ca6b6b5f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#103ed6e9fd5efd7ecd528d9245c142298b2b051d128d8f51fbe6d02d

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000