Datum

36fc5070f785d2…2e60463c98

36fc5070f785d259db76ee28295364a80cc0a3fc670b897032931a2e60463c98

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a2eaf39a294f1050463aeee9ec13f8c826aafd6464e0bb61f8e36408

1

Constr 0

0

Constr 0

0

Constr 0

0

#e4cf8b6ef8b04f8986a5f82c4b39192d371478e02f7aad24223d4ddb

1

Constr 0

0

Constr 0

0

#a2eaf39a294f1050463aeee9ec13f8c826aafd6464e0bb61f8e36408

1

Constr 0

0

Constr 0

0

Constr 0

0

#e4cf8b6ef8b04f8986a5f82c4b39192d371478e02f7aad24223d4ddb

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

12449529

4

2000000

5

2000000