Datum
c0f9c2dddd160e…14b54bcfbc
c0f9c2dddd160e235a4e507b7ad770fe666601a026eeeba4418b0314b54bcfbc
Datum
Constr 0
0
Constr 0
0
#aae0b9018a94c9a9dcf7ff2ac9a3435cbfca3bc958fe5a2724e81419
1
Constr 0
0
Constr 0
0
#aae0b9018a94c9a9dcf7ff2ac9a3435cbfca3bc958fe5a2724e81419
1
Constr 1 []
2
Constr 0 []
3
Constr 0
0
Constr 1
0
#c134d839a64a5dfb9b155869ef3f34280751a622f69958baa8ffd29c
1
Constr 1 []
4
Constr 2
0
#d059cdb7c4f49c11ed961615303453080a5c592c7710d3cc293b589f7b47ec40
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#a939812d08cfb6066e17d2914a7272c6b8c0197acdf68157d02c73649cc3efc0
6
Constr 0
0
Constr 0 []
1
Constr 0
0
490950715
2
2455700824
3
Constr 1 []
7
2000000
8
Constr 1 []