Datum

0b0b65df93a64a…a21f733bbd

0b0b65df93a64a23dde64668ae899aa2f3bcee4c048d4d814556bea21f733bbd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#34c2b5c0ab4198c99965974466dfaa0e5bfc470541ae41b67422743a

1

Constr 0

0

Constr 0

0

Constr 0

0

#444ef84f995be6897555a77fa83d15be9dc1aa27a44a2b162ca9a8c7

1

Constr 0

0

Constr 0

0

#34c2b5c0ab4198c99965974466dfaa0e5bfc470541ae41b67422743a

1

Constr 0

0

Constr 0

0

Constr 0

0

#444ef84f995be6897555a77fa83d15be9dc1aa27a44a2b162ca9a8c7

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

205526120

4

2000000

5

2000000