Datum
047f4eec142caa…2f2440c9c4
047f4eec142caaf8e3d6ae4660d8d057e79f20cee9d88f18c4df092f2440c9c4
Datum
Constr 0
0
#f25897e5a890cccc0b22d0e90413490a6bc111b651f444006f298f5e
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}
#""
→ 12000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#23fe23aef51ec05be4cd8de1766a3d73c7e4013fb225b43766fc1c5a
1
Constr 0
0
Constr 0
0
Constr 0
0
#c0a6cc9458b4ded91885a8e4f0e682102fb2b6141dd9cd202ef538e5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 18000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f25897e5a890cccc0b22d0e90413490a6bc111b651f444006f298f5e
1
Constr 0
0
Constr 0
0
Constr 0
0
#81b5a3e428dde1eb259681365c484ccc2d12da1090a9e6b30441b097
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 570000000