Datum

3cced40052baff…ec33bdaeb4

3cced40052baffc56fa1689579596b24f920300d767fbf48d58c11ec33bdaeb4

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5bf82953b3c91cf45cdb3bd6082372801f87834ca3fa5b2e43b763ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#7cbf33ea9c30559c60203031cfeccb85ac744f66d727a84ccabdf54b

1

Constr 0

0

Constr 0

0

#5bf82953b3c91cf45cdb3bd6082372801f87834ca3fa5b2e43b763ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#7cbf33ea9c30559c60203031cfeccb85ac744f66d727a84ccabdf54b

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

34363559

4

2000000

5

2000000