Datum
20a684aafd0e20…92cba8a486
20a684aafd0e20728aa71cc75a262d1220b09d760192147ce8ff7792cba8a486
Datum
Constr 0
0
Constr 0
0
#c7a86c9c19def585d674247d860174f22835041153f5d755700ca691
1
Constr 0
0
Constr 0
0
#c7a86c9c19def585d674247d860174f22835041153f5d755700ca691
1
Constr 0
0
Constr 0
0
Constr 0
0
#7cb9ccc25ec077c3591c40d027824a359933c406284661bae0609d31
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#c7a86c9c19def585d674247d860174f22835041153f5d755700ca691
1
Constr 0
0
Constr 0
0
Constr 0
0
#7cb9ccc25ec077c3591c40d027824a359933c406284661bae0609d31
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#9b65707373c4cec488b16151a64d7102dbae16857c500652b5c513650b8d604e
6
Constr 0
0
Constr 1 []
1
Constr 0
0
179387583
2
64935104
3
Constr 0 []
7
2000000
8
Constr 1 []