Datum

f05b0df423132e…607f8113e2

f05b0df423132e5f53fa6f59bc76913d3ec54722d4baa2b28bfedc607f8113e2

Datum

Constr 0

0

#1f02

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7bf74947f7a69e53c6ac85c79cb280c9978fbbdb1c8306e0bc47db21

1

Constr 0

0

Constr 0

0

Constr 0

0

#c2bf575f4ee9fff31962bc8be3f9f4fbf3bd21944b53cdd5dc47029f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

500000000

2

Constr 0

0

246305