Datum
dfa4d016d628aa…ef687c7f2c
dfa4d016d628aa59e990ec850162cf2b22f3a5623575332fb7c5a5ef687c7f2c
Datum
Constr 0
0
#407c8f3ea036a4cd4b82bd919acfacb02faf2f3e513513b50120bacf
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}
#""
→ 3000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#9bd1e5fe95284f562fb0e8baa9e2bb9a5e846196d59b1032e6581ef6
1
Constr 0
0
Constr 0
0
Constr 0
0
#a74de3df70e1e114e4be206839b30ae3ffe9b649a34cc905540f75ac
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 9000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#407c8f3ea036a4cd4b82bd919acfacb02faf2f3e513513b50120bacf
1
Constr 0
0
Constr 0
0
Constr 0
0
#acb38dee116dc5dae09b8babe3dcf4fd701752b4898cf2cd9ba6e3ea
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 138000000