Datum
ec256c4fcc0ec2…eaa7e14273
ec256c4fcc0ec2b204c7c81dcbfa8b71dd9f948429b97b528c984feaa7e14273
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#15272ff9aff3eca612c7305f70ff52951368e80cd2325f9b4765a3e5
1
Constr 0
0
Constr 0
0
Constr 0
0
#cd1a644f4672092569a1e46516034325ed004e51b73f8c94e39221e3
1
Constr 0
0
Constr 0
0
#15272ff9aff3eca612c7305f70ff52951368e80cd2325f9b4765a3e5
1
Constr 0
0
Constr 0
0
Constr 0
0
#cd1a644f4672092569a1e46516034325ed004e51b73f8c94e39221e3
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#""
1
#""
1
253355421
4
2000000
5
2000000