Datum
9d93d4f04f0c0c…b9cba1a334
9d93d4f04f0c0c8b093ee028bd626aa79622ff49e2bf1731f0ef8ab9cba1a334
Datum
Constr 0
0
#adfbf24d7894da45f2de7a33b77ec40fce89a69ee2cd5363ef76fbcd
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#32a28e912b81c1ea3a424a54ba691da40e3a10ad16cd5499d87df091
1
Constr 0
0
Constr 0
0
Constr 0
0
#59f6d3f16ea60f3a68a5e0162c7987bfde9add9845c3fb46a5510e65
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 25000000
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}
#""
→ 10000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#adfbf24d7894da45f2de7a33b77ec40fce89a69ee2cd5363ef76fbcd
1
Constr 0
0
Constr 0
0
Constr 0
0
#4d09b0962f3a6bd2787005745521d5a0afbb4c4e305ba7af6d185f94
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 465000000