Datum
3f054e8eab7c1f…0f7d1850a5
3f054e8eab7c1f3028cc64a12f02b57fea4c7cfa0c32b7cf5fad770f7d1850a5
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#e0bb6d88df25bd7e92de02e69a758feb3a4d0b7de0e115222db6fa41
1
Constr 1 []
1
Constr 0
0
Constr 0
0
#e0bb6d88df25bd7e92de02e69a758feb3a4d0b7de0e115222db6fa41
1
Constr 1 []
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#""
1
#""
1
10245260347
4
2000000
5
2000000