Datum

27dd0390c33fbf…963f8f6d73

27dd0390c33fbf7ea6b465b3d8e4ba6d9d2edcd42cab2888fadb7e963f8f6d73

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d9b6f1e6753a64015aa991a3c1b4932ccadeeb9bdf63c918004773c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#5dac8f30f7df3f8b7a0fa94cd386bb91fc5c7b712b6203302dcbfb21

1

Constr 0

0

Constr 0

0

#d9b6f1e6753a64015aa991a3c1b4932ccadeeb9bdf63c918004773c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#5dac8f30f7df3f8b7a0fa94cd386bb91fc5c7b712b6203302dcbfb21

2

Constr 1 []

3

Constr 2

0

1

4

1993736

5

2000000