Datum

df3bceaf39b5ad…90d90c67a0

df3bceaf39b5add332354df5e2fb06e447dd90e440a611a6ffcf3d90d90c67a0

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#fee9bb295d7afaa0fe46da00976b406427cddabe217ec55e23e942b2

1

Constr 0

0

Constr 0

0

Constr 0

0

#cce6d5b139da856b12e15c5e4c298051bf55c1a494a845a1a28d8441

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

774561411