Datum

4f58393fe7983b…88d9bff7cd

4f58393fe7983b0f1b8375aa396f20d17cbf6f63fbf81d110cf48988d9bff7cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f950b5f152253797278c0dc2b7001c2f846da2b8afa97a760044f195

1

Constr 0

0

Constr 0

0

Constr 0

0

#ab9a2be8c5c7edb99bf5b0aaa1242c9fdbbc8653352f10846abf46ac

1

Constr 0

0

Constr 0

0

#f950b5f152253797278c0dc2b7001c2f846da2b8afa97a760044f195

1

Constr 0

0

Constr 0

0

Constr 0

0

#ab9a2be8c5c7edb99bf5b0aaa1242c9fdbbc8653352f10846abf46ac

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

15796579

4

1738777

5

2000000