Datum
32d20d669ec901…3aaae31e2f
32d20d669ec901bd2c432fb28868908b3473d051985f32d844c8343aaae31e2f
Datum
Constr 0
0
#1c01980d2feed9322d692df5fa1883d9932e5b55dd2522d6deda644f
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#1e0b35d09bb6d341ecd94a8d35ecbb97ae48f98772935f9ba3f270df
1
Constr 0
0
Constr 0
0
Constr 0
0
#ef9539de073f22abc6937bb23e9ae0a2c0876c7fc27342529686ea4a
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
#1c01980d2feed9322d692df5fa1883d9932e5b55dd2522d6deda644f
1
Constr 0
0
Constr 0
0
Constr 0
0
#ebc03f876a86ff1deedd4d4378f41717369e5ddaf4757e0f5be5d504
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 465000000