Datum

0b1074bd5ebf03…643fc07b6e

0b1074bd5ebf03a424d129eeb05c97d7d9a808501f455ecf48211b643fc07b6e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#775565b3ed716f927579b6cb801cf8522b13a56c9ae6b1244d326234

1

Constr 0

0

Constr 0

0

Constr 0

0

#ada6b9f3f6ad1c734282160e8bd5afb0be3da0b903766dffb1d29048

1

Constr 0

0

Constr 0

0

#775565b3ed716f927579b6cb801cf8522b13a56c9ae6b1244d326234

1

Constr 0

0

Constr 0

0

Constr 0

0

#ada6b9f3f6ad1c734282160e8bd5afb0be3da0b903766dffb1d29048

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

569256749

4

2000000

5

2000000