Datum
c128255f17a78f…9fb45c2aa8
c128255f17a78fc7884aaa2e3a411e7a564ca3709de02f9d3a03be9fb45c2aa8
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#85dae62f6a72dc2537a23ec8509f246d4bf1e53f906135d53776aba7
1
Constr 0
0
Constr 0
0
Constr 0
0
#05f8a46a7a0120201b36a08436aa26f50136a55f77846a67312cf0bd
1
Constr 0
0
Constr 0
0
#85dae62f6a72dc2537a23ec8509f246d4bf1e53f906135d53776aba7
1
Constr 0
0
Constr 0
0
Constr 0
0
#05f8a46a7a0120201b36a08436aa26f50136a55f77846a67312cf0bd
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#""
1
#""
1
103828832
4
2000000
5
2000000