Datum
bb90fa01a3f3fc…7171df132d
bb90fa01a3f3fcefea51688bce0a7779d6a644bf09a07ff89e73047171df132d
Datum
Constr 0
0
#b4a9aa307e2945cd2ab2e570c25bf793970308a12feedc3050ef4989
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#0949d3eeb8267ba21e62e0f6dfbeb75ab38e47c94baed0ae7fa3701c
1
Constr 0
0
Constr 0
0
Constr 0
0
#79e488d2649c4cf3c4902e8b6144bcbc9b10348ae8b6b20a2fba99ab
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2640000
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}
#""
→ 990000
2
Constr 0
0
Constr 0
0
Constr 0
0
#b4a9aa307e2945cd2ab2e570c25bf793970308a12feedc3050ef4989
1
Constr 0
0
Constr 0
0
Constr 0
0
#7fc5f40cf79d343179b351c4d7ee19e48cb4094d026e924332a8b0bb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 29370000