Datum

b66454aa735675…383be8654d

b66454aa73567521238b12e0873dd0d39165cb379dc02c501ffd18383be8654d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#42ff40b34c211f48bf5911f11531b86b5b74255348dbe0c79b413c72

1

Constr 0

0

Constr 0

0

Constr 0

0

#a764be086fcfa497eb292e0def84992495847fbbfa0d900166902258

1

Constr 0

0

Constr 0

0

#42ff40b34c211f48bf5911f11531b86b5b74255348dbe0c79b413c72

1

Constr 0

0

Constr 0

0

Constr 0

0

#a764be086fcfa497eb292e0def84992495847fbbfa0d900166902258

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

2028462

4

1997594

5

2000000