Datum
6d81bbb963dc2b…7a78b1c2ab
6d81bbb963dc2bde4313ff9a721eccd9e3f8eb0bf2eeb59d37a67a7a78b1c2ab
Datum
Constr 1
0
Constr 0
0
#8a23d7ce5b5e809f0ef2a4a1b8ab9c825840b35e097dd14ac444d607f7911e21
1
404900000000
2
0
3
Constr 0
0
10629367778627907329322891964710577813810702439448887316091904078149693751201592552479045836937346233227686561905708558569143172208015445721978081757078950000000
1
1360823973420559947890473773544227312270194590462910960773357735179680656770839838306449821741698520661735730156881109220491194086495299379760438990077
4
5763579085946
5
3013528493509073
6
Constr 1 []
7
Constr 0
0
#8b43d1b07d8fae19b9bf73e7eb8728bb5e64790644734fa06135c92b32f8355d