Datum

e62efe6e0fc82d…b3deed4c06

e62efe6e0fc82d1489adb1c75ffc6c3fad569fc93e9370efdb4ca9b3deed4c06

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4cc1b6d590cce20cabc2acaae2226cbd5c3cf08b14136e00e43baf4e

1

Constr 0

0

Constr 0

0

Constr 0

0

#48b7dfdc5a1659a4bece5d54d611b5ee0ae78f33fee04e6d59782ee9

1

Constr 0

0

Constr 0

0

#4cc1b6d590cce20cabc2acaae2226cbd5c3cf08b14136e00e43baf4e

1

Constr 0

0

Constr 0

0

Constr 0

0

#48b7dfdc5a1659a4bece5d54d611b5ee0ae78f33fee04e6d59782ee9

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

53921565

4

2000000

5

2000000