Datum

5352e710d4c713…dbeadbe592

5352e710d4c713ddad2d7a6b17fbd70a730d827d8893e9efecbcecdbeadbe592

Datum

Constr 0

0

#fe

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#19ac8df86569348f39d1f9190225e6efebc9975a59e29bc6541e8624

1

Constr 0

0

Constr 0

0

Constr 0

0

#4243aecd45650a0f9eaae8d1c4b324cad7ac5ec318a27e33653ff963

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

15000000

2

Constr 0

0

1018