Datum
ad2ba07d28c0ef…3e7faf20dc
ad2ba07d28c0efb0e608a72aa3eefd33d5e8b48e21bb8648eb69413e7faf20dc
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#1fd4655bae79ce201fd1a15a654c9d328eba7ccf36009dbf10a6bc46
1
Constr 0
0
Constr 0
0
Constr 0
0
#ccc7b29f859c72aef12e2ad1e25fd0dfb1fa8ab4844d5b662e61ebe0
1
Constr 0
0
Constr 0
0
#1fd4655bae79ce201fd1a15a654c9d328eba7ccf36009dbf10a6bc46
1
Constr 0
0
Constr 0
0
Constr 0
0
#ccc7b29f859c72aef12e2ad1e25fd0dfb1fa8ab4844d5b662e61ebe0
2
Constr 1 []
3
Constr 1
0
Constr 0
0
#2adf188218a66847024664f4f63939577627a56c090f679fe366c5ee
1
#535441424c45"STABLE"
1
100000000
4
2000000
5
2000000