Datum

1b3dd7ff91d0b7…914e3ec714

1b3dd7ff91d0b7dbb9ae89ded5c6131bb8bf368a5fa4ebe189664e914e3ec714

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#239ec27b25c9c77de73970b3fe38e3154b703daf5386169e8a26cf70

1

Constr 0

0

Constr 0

0

Constr 0

0

#f930b7e644bb6d2c39e5a77e72632bdda5b954820e9cd8ef604127ea

1

Constr 0

0

Constr 0

0

#239ec27b25c9c77de73970b3fe38e3154b703daf5386169e8a26cf70

1

Constr 0

0

Constr 0

0

Constr 0

0

#f930b7e644bb6d2c39e5a77e72632bdda5b954820e9cd8ef604127ea

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

618752853

4

2000000

5

2000000