Datum

bebdbc24fea665…ce754adeef

bebdbc24fea665a5deecf7eb45a0312c5f09fa9b158ef143ec43adce754adeef

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b703b22b58d56fe815635177c6cfe68759ad5fabba248bbc4d970086

1

Constr 0

0

Constr 0

0

Constr 0

0

#5b59c5235b2a2e6b326cc48ad80dbf1aa12fed6236380c96af2ae4e3

1

Constr 0

0

Constr 0

0

#b703b22b58d56fe815635177c6cfe68759ad5fabba248bbc4d970086

1

Constr 0

0

Constr 0

0

Constr 0

0

#5b59c5235b2a2e6b326cc48ad80dbf1aa12fed6236380c96af2ae4e3

2

Constr 1 []

3

Constr 3

0

10956593168

1

247445967351

4

2000000

5

2000000