Datum

8dc51ce784becd…92f45a5b07

8dc51ce784becdbc92d20c2001fd26e909b2aee83f4bba73b2ed6c92f45a5b07

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#516d3483b712f93a05ec6cf9e2884fd6145593dc33875888f8ae91a3

1

Constr 0

0

Constr 0

0

Constr 0

0

#3bb7069674997819b84990cabeb8301512ef14219065ab67529d4ada

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

2813802116

2

Constr 0

0

4185187