Datum
11e53b08da0c74…545ff3a809
11e53b08da0c74bd08cad41416f837a880cdebde84a96131ed3eb0545ff3a809
Datum
Constr 1
0
Constr 0
0
#27fc8b1ad92c627cf1615f7a6b9613bfeebbedf58377e998cc1ee841748c1f63
1
35000000000000
2
0
3
Constr 0
0
13169524071304259334077612549518605807457274039653968816851341453828541716532473115089515260647071678158006864926546701660036165938877929739319380195312500
1
21999753209198915792782756606318593959446703423554400808731493703485608545612235261174140480502524935205679487015086909221423339837846689315897
4
7797293972434
5
4076870848444196
6
Constr 1 []
7
Constr 0
0
#28754c6d9c0025460d9f172d79243211684dfeef11b3f9f22d486223e1f73d2a