Datum

32f67ddcddf443…e8a253935a

32f67ddcddf443d50b506026eef7fb29c8717fc08fc6b49f967532e8a253935a

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#e8aa119715131d1dc98e1703729210cc98b1883773fefc5177cbfdb9

1

Constr 0

0

Constr 0

0

Constr 0

0

#1f0e4a16e89affd5b950946c1a8a0d5b24982fabe6185e4edbfadcf1

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

500000000

1

243470427