Datum

ed3fe89c3304ea…e076a04aa7

ed3fe89c3304eaa099828db264f8dcf01ff9394beeb55cb0c2113be076a04aa7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7bbb31472415f673f2c7c7a8607b6cb5869c8da1f31fe20c8c9510fc

1

Constr 0

0

Constr 0

0

Constr 0

0

#5efc522b42d46929fbb7eb645232275a1e1fe50159951370b78bd47b

1

Constr 0

0

Constr 0

0

#7bbb31472415f673f2c7c7a8607b6cb5869c8da1f31fe20c8c9510fc

1

Constr 0

0

Constr 0

0

Constr 0

0

#5efc522b42d46929fbb7eb645232275a1e1fe50159951370b78bd47b

2

Constr 1 []

3

Constr 3

0

18031841163

1

248018554656

4

2000000

5

2000000