Datum

3315d82da3e802…5d8f54f159

3315d82da3e80202be03e51138f4a2d046a6a9287e4ae0b090edaa5d8f54f159

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e550db2e6c9dfb72644a5919c5caa984b1d74c6f688d9065cd3ccc7f

1

Constr 0

0

Constr 0

0

Constr 0

0

#9546b4c2feca1d53d8ef140db6e66779b4f19c546636b923903e10aa

1

Constr 0

0

Constr 0

0

#e550db2e6c9dfb72644a5919c5caa984b1d74c6f688d9065cd3ccc7f

1

Constr 0

0

Constr 0

0

Constr 0

0

#9546b4c2feca1d53d8ef140db6e66779b4f19c546636b923903e10aa

2

Constr 1 []

3

Constr 3

0

10680375900

1

9758596596373

4

1999077

5

2000000