Datum

b804c0f0b4809f…629d302ebc

b804c0f0b4809f1f873d0670f6f653309fb9fa96debce697eec8a8629d302ebc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7caf5eca9378a4e547d8b6ad452be7a99b7fbd6f9f1597b63b757394

1

Constr 0

0

Constr 0

0

Constr 0

0

#25f6951b50fddd9b545cc3df77941736e92d4a577aaf6c873b2f7228

1

Constr 0

0

Constr 0

0

#7caf5eca9378a4e547d8b6ad452be7a99b7fbd6f9f1597b63b757394

1

Constr 0

0

Constr 0

0

Constr 0

0

#25f6951b50fddd9b545cc3df77941736e92d4a577aaf6c873b2f7228

2

Constr 1 []

3

Constr 3

0

48425676

1

713

4

2000000

5

2000000