Datum
ad38ac0d4f132b…cbb60d2207
ad38ac0d4f132bb4fa1d40c9cce6bfa09a9b2f3cbab4c746cb4874cbb60d2207
Datum
Constr 0
0
#2c2dc752adb62a4d1225ce1ac45bb4c58811be0410d1229fd99f86de
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a138280253630a00d47d9baa5c1d4d8ccd94283c04a6e38451ddba66
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 14000000
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}
#""
→ 4000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#2c2dc752adb62a4d1225ce1ac45bb4c58811be0410d1229fd99f86de
1
Constr 0
0
Constr 0
0
Constr 0
0
#d8c3c4d9fe10d9399f8d4f18b4bef5ba5ccddbec13e347595ea0b6f5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 182000000