Datum

dab037d5f1f378…7fc93568af

dab037d5f1f37849385eb2a7dbe7f125d9ceb50a7cdd42ee597c687fc93568af

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4c5d5bdfcc4cab09c0ec18312cde90dd57d47b91ba1e384d26fb26a5

1

Constr 0

0

Constr 0

0

Constr 0

0

#0dee891243e65849453846599e72c757ce8c008f85aa36ca3223199c

1

Constr 0

0

Constr 0

0

#4c5d5bdfcc4cab09c0ec18312cde90dd57d47b91ba1e384d26fb26a5

1

Constr 0

0

Constr 0

0

Constr 0

0

#0dee891243e65849453846599e72c757ce8c008f85aa36ca3223199c

2

Constr 1 []

3

Constr 3

0

128320656

1

14570454

4

2000000

5

2000000