Datum

28cfae7f4c6cf7…cd9ac605cd

28cfae7f4c6cf78ea5493f4cc2f808d45fcdb6cdbcae1c35d02e4acd9ac605cd

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#85815a6f4aade8d20ed14acb992dbbef931ca3c99f471e6f6a19776b

1

Constr 0

0

Constr 0

0

Constr 0

0

#fb436a342adaca74ba158d8ec15441f56604d29c60336a4b574ed36e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

20000000

2

Constr 0

0

20734788