Datum

e50b625ca45157…94bb0426e9

e50b625ca45157163e9c4a357b7290215ae94a23bf64facbde6bb394bb0426e9

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1a53cee30f3530c2cd39f37ae31fe15123c2cdcbbaa6704f104920fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#df6e48fe1552d13241dbd1ad1d25842495cab1801fcff842d621f41d

1

Constr 0

0

Constr 0

0

#1a53cee30f3530c2cd39f37ae31fe15123c2cdcbbaa6704f104920fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#df6e48fe1552d13241dbd1ad1d25842495cab1801fcff842d621f41d

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000