Datum
670397fa22b1ff…38149ef544
670397fa22b1ff8a3c1ce4b0f0bb0e6fdb9a1830f421add1bdaeb738149ef544
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#26ff1cf57150d2e7cb186e92e33b4ba721548f5ebedbbf58fea69694
1
Constr 0
0
Constr 0
0
Constr 0
0
#3bfed32bef22ecafea1304bdf68e08ae13b89ad243c721d54ccfc856
1
Constr 0
0
Constr 0
0
#26ff1cf57150d2e7cb186e92e33b4ba721548f5ebedbbf58fea69694
1
Constr 0
0
Constr 0
0
Constr 0
0
#3bfed32bef22ecafea1304bdf68e08ae13b89ad243c721d54ccfc856
2
Constr 1 []
3
Constr 1
0
Constr 0
0
#""
1
#""
1
1000000000
4
1999458
5
2000000