Datum

b5bace602dd15b…cd78603d63

b5bace602dd15bfc577008f07ed1a202ef83d8a785e29a015a887bcd78603d63

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2f499cd11f9dcdad2c1105e361e7b110088b5dfdf37e4517cf204c77

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c806aa6cd4e8a87586fd5df7b0b066bd5cf2a5678c15d90d1a78ccf

1

Constr 0

0

Constr 0

0

#2f499cd11f9dcdad2c1105e361e7b110088b5dfdf37e4517cf204c77

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c806aa6cd4e8a87586fd5df7b0b066bd5cf2a5678c15d90d1a78ccf

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

960120

4

1864496

5

2000000