Datum

d06bb2d0b174e6…66e87b04ff

d06bb2d0b174e6031a2a48039419dfcd7e9087cbbfab2c6d1e127166e87b04ff

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#321adcd200e3ee62cb0d1a5a8dbb76d8b613063db621d2eb3ffb5f9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#2e56b742abc509f2c9b14122b0200b0eb3029a5a5d8d720db94999ce

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

12000000000

2

Constr 0

0

69209513