Datum

40d4be078e4b06…a7f97ea7b9

40d4be078e4b06eccd56c4de6b6c33e7e5818b9982ce6f2cfcb3c4a7f97ea7b9

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b4aff1e128f7c62f2d0651e590fddbb546c1546e32858b260b4a81b1

1

Constr 0

0

Constr 0

0

Constr 0

0

#2f50902ee1608857e3d59678e90952519256fceb6c7ddb55f6e4c61f

1

Constr 0

0

Constr 0

0

#b4aff1e128f7c62f2d0651e590fddbb546c1546e32858b260b4a81b1

1

Constr 0

0

Constr 0

0

Constr 0

0

#2f50902ee1608857e3d59678e90952519256fceb6c7ddb55f6e4c61f

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000