Datum
f02842f9b440eb…3320fbc0bb
f02842f9b440ebf29203ce1a1d30795e8166d35e2d0722dadf19a53320fbc0bb
Datum
Constr 0
0
#ac23ba2f6c350706a42cdda6de57f026df30e57ae44df4462e86802a
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#8f3a31e7e965f85dea0269ae61662f866b4eb7f355953a2ddefa63f1
1
Constr 0
0
Constr 0
0
Constr 0
0
#2047573cfce35afe0ec41f2b3a2264001dd5fef8bd89d840e2257a6c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 7475000
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}
#""
→ 5980000
2
Constr 0
0
Constr 0
0
Constr 0
0
#ac23ba2f6c350706a42cdda6de57f026df30e57ae44df4462e86802a
1
Constr 0
0
Constr 0
0
Constr 0
0
#edb482a17c5ce62bcb44a80bce9df24895741ce4592e838936bb78e1
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 285545000