Datum

c5fe2474a889c8…18e331b4ad

c5fe2474a889c8fa7a9e4b8e7c9d2cd0631d13d1c0d842e1b4b66c18e331b4ad

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f58566a3aa657641ff07fdaba8e2f95a8f4e400bc197c298a429a848

1

Constr 0

0

Constr 0

0

Constr 0

0

#71d7070eef8ccc5e2df088c983ccd852ee9d4a96ec337cdd1327d43a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1000000000

2

Constr 0

0

475217647