Datum

927e8695e05de0…a80e57279d

927e8695e05de03d2dfcfc2b88a39a72c0e57d79d80c46fe2f84dea80e57279d

Datum

Constr 0

0

#36

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f1cbbc674d2506d77f2814351f0b1ec846d0eefb56e296aceda9ddc2

1

Constr 0

0

Constr 0

0

Constr 0

0

#bf7b8af587d1fe48b80d1308cc795f165b68181bdfe7a1de57a0cad2

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

166392102

2

Constr 0

0

1940000000