Datum

ccce2cba7886df…6370ff4d87

ccce2cba7886df60d1c4d6a3230a75c464302eb5a8eb2af85ec63d6370ff4d87

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#53b30c2a4d3c057d4e3ee80e826bc246f0b2571341e6caa8feca38fa

1

Constr 0

0

Constr 0

0

Constr 0

0

#442357727dc3a0511ddb21eac502242b1e067bcca832ab9b2c28a6ad

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1000000000

2

Constr 0

0

28952574