Datum

ec56d1262446e1…e923b235fb

ec56d1262446e16dcb2b5ffbbdb6196320d40a4f67864402425360e923b235fb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3050f6f4d5981748bc3a2b84d8165b20c100a75057b6593befd9323c

1

Constr 0

0

Constr 0

0

Constr 0

0

#c5cdc99429b4ce659f2542994c48b6c801f0b8e21ca7fb586326a545

1

Constr 0

0

Constr 0

0

#3050f6f4d5981748bc3a2b84d8165b20c100a75057b6593befd9323c

1

Constr 0

0

Constr 0

0

Constr 0

0

#c5cdc99429b4ce659f2542994c48b6c801f0b8e21ca7fb586326a545

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

421824764

4

2000000

5

2000000