Datum

052d12def9db07…042f34d77b

052d12def9db07e1b3a6ac15a0e61929ddbc75a6ede13a2d97dceb042f34d77b

Datum

Constr 0

0

#1f

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a498a4e599fe049a2d78ad051c5b5f6a914b4781d519df7600664386

1

Constr 0

0

Constr 0

0

Constr 0

0

#e3579758115fc76526424dc1cee215823b678aa29f3916331efeb35b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

8088

2

Constr 0

0

484432620