Datum

a79d4b322ce62f…d2a063262e

a79d4b322ce62f05b586c73bd1a3f4996ecb32306d8bc25abb5489d2a063262e

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#44ee9bb4acc89d612ead818193e0b626b24d52cd3865cd0922aef03a

1

Constr 0

0

Constr 0

0

Constr 0

0

#d94dfa3566d0b64ff59f34cb442d604b293047e8eb3d613e1b9aee15

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

100000000000

2

Constr 0

0

1852436736