Datum

d5b95ae7e57e7b…7ef65e87f1

d5b95ae7e57e7b100d70c2cc4c919a8c9ca4b1f543750e9cf666e27ef65e87f1

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f33d65cbeae273a90b41ceb16e322e4bd88af33fefa1920fe541eccd

1

Constr 0

0

Constr 0

0

Constr 0

0

#28ff88f4b87017effdbcffe815c49feda3239b8e50973e1d5f7bf2f5

1

Constr 0

0

Constr 0

0

#f33d65cbeae273a90b41ceb16e322e4bd88af33fefa1920fe541eccd

1

Constr 0

0

Constr 0

0

Constr 0

0

#28ff88f4b87017effdbcffe815c49feda3239b8e50973e1d5f7bf2f5

2

Constr 1 []

3

Constr 3

0

106425476

1

354869976

4

2000000

5

2000000