Datum
2c672e73a2715d…ecbfb2cb82
2c672e73a2715df3fbc7c209689bb5a3a14c7530649236d5e5cc6decbfb2cb82
Datum
Constr 0
0
#fd6fed2e50dce757240ec790f443b02ca5b9d5a82a9a991093768262
1
List [2]
0
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}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#fd6fed2e50dce757240ec790f443b02ca5b9d5a82a9a991093768262
1
Constr 0
0
Constr 0
0
Constr 0
0
#b351c132922ca3d8a127a1b678f770dd6eeeea2f8472e0920b1347dc
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 18000000