Datum

924e30ae601c2a…7459fe2ded

924e30ae601c2ac3d4cc29a5df220bea1516ccf43a59bc1d18cd5c7459fe2ded

Datum

Constr 0

0

#52

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#22e6821719c22154aaee70e9c53fc7fa49bd6d3dfddce092661489fa

1

Constr 0

0

Constr 0

0

Constr 0

0

#90bcf91b7b8f72d638ca13bc5bab115c24274bcf5e700df3897e63f4

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

19584

2

Constr 0

0

20778283