Datum
65292c9d01bd2d…eb8f61eb32
65292c9d01bd2d393e4ce9194bc28084eb13fa8c7700136c1fc3f2eb8f61eb32
Datum
Constr 0
0
#3814e4d3041cab560c26a8ae67c5fca968bb953cc530fc744f82cabb
1
List [3]
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
#f8904837ee439102e5b871127f5e10cc03c00d784d0724cddc809084
1
Constr 0
0
Constr 0
0
Constr 0
0
#c4b591e4d6320ba97ce041d7b8a9c30e14533fe384a978e7b5caea8d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5200000
2
Constr 0
0
Constr 0
0
Constr 0
0
#3814e4d3041cab560c26a8ae67c5fca968bb953cc530fc744f82cabb
1
Constr 0
0
Constr 0
0
Constr 0
0
#a240dc9d60bf9895f4e91c45e2ff0c8e5aa0a5eddf34fbf032f2fd63
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 33800000