Datum

b72cb58330cee2…c06e6b44cf

b72cb58330cee2a2aa5efbf76e982e76dc5197c69ece34186b4ba5c06e6b44cf

Datum

Constr 0

0

#12

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

425000000

2

Constr 0

0

139381868337