Datum

e3fcd2f5ceb14b…3bcc86d375

e3fcd2f5ceb14be4e40c67f21c3ff808c68364c19330c9160c6ff43bcc86d375

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#961cd943e0c5fd617ca6999673e0568ad8787a48efd12cfe101d42ec

1

Constr 0

0

Constr 0

0

Constr 0

0

#cdbae8b5ee6abd6e3bc1f4f32c448e7bb67d5596c77d6d4f7ff2a4cf

1

Constr 0

0

Constr 0

0

#961cd943e0c5fd617ca6999673e0568ad8787a48efd12cfe101d42ec

1

Constr 0

0

Constr 0

0

Constr 0

0

#cdbae8b5ee6abd6e3bc1f4f32c448e7bb67d5596c77d6d4f7ff2a4cf

2

Constr 1 []

3

Constr 2

0

471625103

4

2000000

5

2000000