Datum

a1b00ac971fffa…723dfe9f2b

a1b00ac971fffa389d9d46c8df16373f88edfb0fca018ec9d5dfc7723dfe9f2b

Datum

Constr 0

0

List [2]

0

Constr 0

0

Constr 0

0

Constr 0

0

#6a20b92d223eddebf7dccd33c9656c528be6eb24173e7f8e6710e011

1

Constr 1 []

1

1000000

1

Constr 0

0

Constr 0

0

Constr 0

0

#906bf0338211cc59dfd5a1801915eafd21d30c8f64c9f018800e7462

1

Constr 0

0

Constr 0

0

Constr 0

0

#74b2deb7361cf9a4192c91f219c4a3ce251c990a487c50976bc5bdf7

1

18000000

1

#906bf0338211cc59dfd5a1801915eafd21d30c8f64c9f018800e7462