Datum

8db6b5751d1e23…f932ee25ac

8db6b5751d1e23a6721060fe4d470775ca65af3de4e22621fe1fddf932ee25ac

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a5c6b7716cd97f978dac5a8995f48b1eb57c3a9d73bd419ae1a8f582

1

Constr 0

0

Constr 0

0

Constr 0

0

#c1aab33133ba3b1e5a8df6059f757ccca3947da6773ba4559b5c8c98

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

320600000000

2

Constr 0

0

536895068