Datum

02ef39c4e1776f…682dca04be

02ef39c4e1776fc5f871ceec421a56dc543bed42187f79e701c5bc682dca04be

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#97d8afb24e5309a71bc2b8fae25aefd2f92a36345a738b556e4ff370

1

Constr 0

0

Constr 0

0

Constr 0

0

#d3c24c4a871fd0a63a56070ec6fb9534eb08d2c3527769797ef7e917

1

Constr 0

0

Constr 0

0

#97d8afb24e5309a71bc2b8fae25aefd2f92a36345a738b556e4ff370

1

Constr 0

0

Constr 0

0

Constr 0

0

#d3c24c4a871fd0a63a56070ec6fb9534eb08d2c3527769797ef7e917

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000