Datum

89b07bd507b8d3…abeb65fdf9

89b07bd507b8d30bd360fee88ae3a3d81c2666d3aeeabc794c8d64abeb65fdf9

Datum

Constr 0

0

#2c

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ad829c7e397c152e2092e9175f852b7de44caa0d39c4e99955499cbf

1

Constr 0

0

Constr 0

0

Constr 0

0

#b0b867aaf0910917824fefcaee49bce3adaf2d7adeab3bfd3c46d716

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

670000000

2

Constr 0

0

255447293