Datum

d0ccc56a45d360…9f86bc8162

d0ccc56a45d3604b5ddf08cda8712120343ba8aaa36c5fa0ad32169f86bc8162

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#19ec200e20eb90013f74f424f7ba85eed1f3421002d02c75260c4c33

1

Constr 0

0

Constr 0

0

Constr 0

0

#9c878eeebef84eb8bcd53641515ac475bd6601784f52b0f72dcd6e52

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

32445095

2

Constr 0

0

13099945