Datum

64c2357b140ce2…83132d918a

64c2357b140ce2ace46dc5687cff0555f958dc4e61becfe8a2ce4b83132d918a

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b7cb18eb594331329c9e2ef799d0df1899ae72754423642b0460c77f

1

Constr 0

0

Constr 0

0

Constr 0

0

#3b9e0a9f4c8bad6410c2e1095941b1c8ec9e731595b381955836e7fa

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

173235880