Datum
80b1a48dda0d4a…21eae0dffe
80b1a48dda0d4a53dc82870d09b5b409d8bf7afdff6502baf6253321eae0dffe
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#7af76531a7a427f447fd46c34d71ac7d5bd56a064497a270bbc717b6
1
Constr 0
0
Constr 0
0
Constr 0
0
#4dce018426382d108330c103d4ee660f6eb615d1a58bf0ef0990d141
1
Constr 0
0
Constr 0
0
#7af76531a7a427f447fd46c34d71ac7d5bd56a064497a270bbc717b6
1
Constr 0
0
Constr 0
0
Constr 0
0
#4dce018426382d108330c103d4ee660f6eb615d1a58bf0ef0990d141
2
Constr 1 []
3
Constr 2
0
19573077
4
2000000
5
2000000