Datum
f516858e64ca50…5d9452a9cf
f516858e64ca504ffd29d80c86e243a382fa3ab19d8e61a4eb184e5d9452a9cf
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#1c12f1ad26d8cc82a257ead305821249eaef86dab6ddbb0642eba148
1
Constr 0
0
Constr 0
0
Constr 0
0
#4f21390b55f17916ebd7be30e3fd29779bc1be7a23e3c46da0ad7909
1
Constr 0
0
Constr 0
0
#1c12f1ad26d8cc82a257ead305821249eaef86dab6ddbb0642eba148
1
Constr 0
0
Constr 0
0
Constr 0
0
#4f21390b55f17916ebd7be30e3fd29779bc1be7a23e3c46da0ad7909
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#6947eccc74ebf8c1716339b97af768bfbc70d330a743b79bbc5ccdeb
1
#544554"TET"
1
1
4
2000000
5
2000000