Datum

ae2d5642c290f5…80234458c0

ae2d5642c290f58f7fd81ac2fd74ae1cdbce4e41973aae9c5022d480234458c0

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b61d6dc438fc3edb2bbdf2c05390ec050d49b7b92d1c670c4dde020d

1

Constr 0

0

Constr 0

0

Constr 0

0

#85bb6cfcb104c36472c6962a458ed4280d704016308f0a457e2fcaab

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

3413819134

2

Constr 0

0

158779040