Datum

820958c3c4bb6d…c588a3d53b

820958c3c4bb6dc17c4dfe6e63def697773bbb666d4643c86b2ae4c588a3d53b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0c2da5a7bd96974c7f5a6a42336198a3a03bd92ae4c97b6aa24e02bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#b4ea2ec275199cb0954808fbe69e3d58149e48d88e5a221d334b9b65

1

Constr 0

0

Constr 0

0

#0c2da5a7bd96974c7f5a6a42336198a3a03bd92ae4c97b6aa24e02bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#b4ea2ec275199cb0954808fbe69e3d58149e48d88e5a221d334b9b65

2

Constr 1 []

3

Constr 3

0

241973963

1

41188

4

2000000

5

2000000