Datum

aba10f89226548…dcf256d5fd

aba10f8922654849a7230ccaa4c850cc834591a21895279c1907cedcf256d5fd

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#3bad3d77dbb0036285f4849ed969bae9787197556a3e59290d0af7ce

1

Constr 0

0

Constr 0

0

Constr 0

0

#8ac954e78402784e0af4330cdb85be11e664e4349325ad298624212e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

400

2

Constr 0

0

5840000000