Datum

2e31ffa85fbfd0…ccdc6de65f

2e31ffa85fbfd0683409923ca17697c824dac8dd2154530b39fff2ccdc6de65f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0a92f28027041b648bf879c41dda82352702a32a8d37cf3df546efb1

1

Constr 0

0

Constr 0

0

Constr 0

0

#aeb4d0248e5ac88b128f1a5b0113687db846abcbd4ec8a1149f47f41

1

Constr 0

0

Constr 0

0

#0a92f28027041b648bf879c41dda82352702a32a8d37cf3df546efb1

1

Constr 0

0

Constr 0

0

Constr 0

0

#aeb4d0248e5ac88b128f1a5b0113687db846abcbd4ec8a1149f47f41

2

Constr 1 []

3

Constr 3

0

687197411

1

48794481903

4

2000000

5

2000000