Datum

c64f53362f4156…01302d7a9b

c64f53362f4156db55e7732882fb2ae5e6a6c20e2af5feb4f8b99701302d7a9b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d9b6f1e6753a64015aa991a3c1b4932ccadeeb9bdf63c918004773c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#5dac8f30f7df3f8b7a0fa94cd386bb91fc5c7b712b6203302dcbfb21

1

Constr 0

0

Constr 0

0

#d9b6f1e6753a64015aa991a3c1b4932ccadeeb9bdf63c918004773c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#5dac8f30f7df3f8b7a0fa94cd386bb91fc5c7b712b6203302dcbfb21

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

6072270

4

2000000

5

2000000