Datum
80ce7f2eaf3092…d144812dbb
80ce7f2eaf309233c4d52214f93beee6464e2e35bc4cf8e1eac166d144812dbb
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#0eee32e1280a861ecd4e7d4e98a1a7098302592d387a93a60cbbd1b8
1
Constr 0
0
Constr 0
0
Constr 0
0
#e667177e911cce1d32a7b58cebfacbaec70f984290d6d3d42da886a4
1
Constr 0
0
Constr 0
0
#0eee32e1280a861ecd4e7d4e98a1a7098302592d387a93a60cbbd1b8
1
Constr 0
0
Constr 0
0
Constr 0
0
#e667177e911cce1d32a7b58cebfacbaec70f984290d6d3d42da886a4
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#""
1
#""
1
68568497
4
2000000
5
2000000