Datum

0f2fd69565e48b…f7f4c57b67

0f2fd69565e48b31a0e4b93c5673c4b8fd8917c0245dd1b8c87f5cf7f4c57b67

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6bab3fbc9be20f94ff7457f99f22bee39efa61089521ef0054352133

1

Constr 0

0

Constr 0

0

Constr 0

0

#5818aae1c1d3cf0fb7a4261c15653b52ca480a7ce6d899049819d7bb

1

Constr 0

0

Constr 0

0

#6bab3fbc9be20f94ff7457f99f22bee39efa61089521ef0054352133

1

Constr 0

0

Constr 0

0

Constr 0

0

#5818aae1c1d3cf0fb7a4261c15653b52ca480a7ce6d899049819d7bb

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000