Datum

b665920238eb03…2f670dcc80

b665920238eb03e9a75eb4539c41b64c13d07e34758c3447ec7f2b2f670dcc80

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0f415542fb15e52f4271a9b059596d4fd1b8b8a24d096b0929b275db

1

Constr 0

0

Constr 0

0

Constr 0

0

#48dc29a04c899922cb804ef9fe5050310ec26688318cc45448ec9898

1

Constr 0

0

Constr 0

0

#0f415542fb15e52f4271a9b059596d4fd1b8b8a24d096b0929b275db

1

Constr 0

0

Constr 0

0

Constr 0

0

#48dc29a04c899922cb804ef9fe5050310ec26688318cc45448ec9898

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

255786977

4

2000000

5

2000000