Datum

56b6f5d33424f8…86bc91ad97

56b6f5d33424f8f0da4dfcfd7dd90d6d3c97a2ca5700c2ac59dcc786bc91ad97

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#03df5ac9cca45bb331e3a2e18ed76b71663bc9e21234cd1ba63c24c3

1

Constr 0

0

Constr 0

0

Constr 0

0

#5554d1225e34a4b44dbaefed9fd941b917ec47a5f16c67a2e5bfaf71

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

915028375

2

Constr 0

0

245929166