Datum
545c90adf685a7…2c9d940edb
545c90adf685a769514dfd2dc1c8d67cf9538694ff0862d8b33aa62c9d940edb
Datum
Constr 0
0
#45a6d1de9056c579df149f31bf84ef29317721dcabb0be25fef93533
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#14dc7c4d1c43deddc281ba062c8b06ab4cf7feb2c0be8b367a25f12a
1
Constr 0
0
Constr 0
0
Constr 0
0
#8734112826a1004e05c339e8cfdf25458aaeb5d5c8be198c9c5a276f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 7750000
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}
#""
→ 3100000
2
Constr 0
0
Constr 0
0
Constr 0
0
#45a6d1de9056c579df149f31bf84ef29317721dcabb0be25fef93533
1
Constr 0
0
Constr 0
0
Constr 0
0
#7d3fdc0409223a837035afb1b60d40be67b114b858cb64a998e868ec
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 144150000