Datum
ba9752f5ed0562…509f99bdb7
ba9752f5ed0562b32f8f48e48fc8e27f1f3a45b4eac6c14afe3a4c509f99bdb7
Datum
Constr 1
0
Constr 0
0
#8b43d1b07d8fae19b9bf73e7eb8728bb5e64790644734fa06135c92b32f8355d
1
126000000000
2
0
3
Constr 0
0
175709489623040051144928824690728315465403848518637885933490103422062287655436833364979535360926533394531648564620308067623909154311445805242399030714152539666580985691236357631167918573659895416500000000
1
55446523215543487671615030161226739909450826360672826529337397455747715665195235114558006669846075664275324215640814850580255310956456299786041931925426245973132171649861839294227568315104225021
4
4923479382726
5
2574276362968258
6
Constr 1 []
7
Constr 0
0
#8c3d0e6235666e0abd81cd3619b3709cc4e9f8c5345648473b481c64eda63697