Datum

a7f128d50118bb…2a1db4fc36

a7f128d50118bb06f81090a40d53875002bc52ae9646256da0984c2a1db4fc36

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d34461cef4d82261545856ca1950833b4c17e9b737c32023cff8943e

1

Constr 0

0

Constr 0

0

Constr 0

0

#e6579933d66ec34d47f4ed92c9021a5adf62a5997ba56636c85ed4bb

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1200000000

2

Constr 0

0

603110571