Datum

da4c0ae876edd9…c8e07dfbab

da4c0ae876edd9ec9d51e6f335882651c62d7ea400e6be426fcdfcc8e07dfbab

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#842a2b080357ac278aece6ff2a5469e247cfc7e8191a10d0fb3df924

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba1a4470bf721512cf9dfd6f0ead671da559abb8aee71afd6839630c

1

Constr 0

0

Constr 0

0

#842a2b080357ac278aece6ff2a5469e247cfc7e8191a10d0fb3df924

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba1a4470bf721512cf9dfd6f0ead671da559abb8aee71afd6839630c

2

Constr 1 []

3

Constr 2

0

1

4

1999993

5

2000000