Datum

c4e217d2ed00cf…e8231c7527

c4e217d2ed00cfc948a2ab9c888c28ce991f338111a31b5983e172e8231c7527

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1344c6719d8058b88f756f2ee293581dab8214b388113a46e95cb2e8

1

Constr 0

0

Constr 0

0

Constr 0

0

#f95268c89636b3aee9c4a284e36a458329642618ee77042befa706ee

1

Constr 0

0

Constr 0

0

#1344c6719d8058b88f756f2ee293581dab8214b388113a46e95cb2e8

1

Constr 0

0

Constr 0

0

Constr 0

0

#f95268c89636b3aee9c4a284e36a458329642618ee77042befa706ee

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

42592709

4

2000000

5

2000000