Datum

b5ebcdc1c8bf50…5d117dae66

b5ebcdc1c8bf5048edcb4bf19dcd12542bad3c8c28f5bd63d321a45d117dae66

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#334fabbbc93fd11a9716d67cbd2344d2da43be8e67f3a53ddb7d0582

1

Constr 0

0

Constr 0

0

Constr 0

0

#c179d44c7dfec54b91ce19e369ce7dd4d7bc39d79b273ef84ee2d1da

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

17000000000

2

Constr 0

0

36834285