Datum

fdea477e9db612…6cc4ac3fd9

fdea477e9db61233faa467aab7f76faa7798d69fc8d2b8fa48f46c6cc4ac3fd9

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8a235e21187209b4e96af7ce6567fea1537642baa3fb9af652bcd3ce

1

Constr 0

0

Constr 0

0

Constr 0

0

#5467a78e64bbcbf9e568771b5b7a490e01721898b54406163ad37dbc

1

Constr 0

0

Constr 0

0

#8a235e21187209b4e96af7ce6567fea1537642baa3fb9af652bcd3ce

1

Constr 0

0

Constr 0

0

Constr 0

0

#5467a78e64bbcbf9e568771b5b7a490e01721898b54406163ad37dbc

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

196760160

4

2000000

5

2000000