Datum

ac3290b095670f…82d30cfe5a

ac3290b095670f2e83156cfcf2a7e5d14090ea629b1d98634fc73682d30cfe5a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e033970c72a81002c49538c974458d05cdda72c008c32cb9d62d1654

1

Constr 0

0

Constr 0

0

Constr 0

0

#fbcbee3913eae79159ec64de3f2995e675542699d078b450accc716d

1

Constr 0

0

Constr 0

0

#e033970c72a81002c49538c974458d05cdda72c008c32cb9d62d1654

1

Constr 0

0

Constr 0

0

Constr 0

0

#fbcbee3913eae79159ec64de3f2995e675542699d078b450accc716d

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

85588580

4

2000000

5

2000000