Datum
c4e237c2e42895…7e8d60483e
c4e237c2e428957f7b1fab16d94d5a178f14b829dee126c67df3e37e8d60483e
Datum
Constr 0
0
#fdc959b5a9d589830ee9a9a6020f0089bf69020dc88c40e4b09e74fd
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#0228a3c16b53035927802bef19f149d59c81ff39b4a462384a222561
1
Constr 0
0
Constr 0
0
Constr 0
0
#0558fd32da1b2b2fc15b6ffe2984e4c979b7f2a3a796f03e9ec20c33
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 30000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#fdc959b5a9d589830ee9a9a6020f0089bf69020dc88c40e4b09e74fd
1
Constr 0
0
Constr 0
0
Constr 0
0
#9b595a8291fea4c9fcd5452d8f5a5e39b86088c2e9c2630e15e5e5d7
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 558000000