Datum
5d3ef38cf416ce…9dc30a9644
5d3ef38cf416cefb6f1da9e115bb58c52eff63868c062a3c91db619dc30a9644
Datum
Constr 1
0
Constr 0
0
#1df38099eb51d5f53ed64e4d3d9f853025e04db3359a7f2a20b1c3e5e25e5e60
1
35000000000000
2
0
3
Constr 0
0
13169524071304259334077612549518605807457274039653968816851341453828541716532473115089515260647071678158006864926546701660036165938877929739319380195312500
1
21999753209198915792782756606318593959446703423554400808731493703485608545612235261174140480502524935205679487015086909221423339837846689315897
4
7797293972434
5
4076870848444196
6
Constr 1 []
7
Constr 0
0
#1e6f7ebf825cbba6d9e5826924009ec4b55cfcd6d77e75c4612078eca48de779