Datum
ddb88bab7c79e0…1f10e5fffa
ddb88bab7c79e07ad8684f6a0858cde20eba2d50157d804352bc9d1f10e5fffa
Datum
Constr 0
0
#09df1d36b5a16c8962b4e85d6474a5e23cfd5fc47941510bc5a68772
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#1d852734d89950edde2e3646debe6b462948f5ce1d1fe8c76fe3112a
1
Constr 0
0
Constr 0
0
Constr 0
0
#cdde28892451cacc20cbdc795fe339b29404acce7ae9d2c91ac0b263
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 10000000
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}
#""
→ 8000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#09df1d36b5a16c8962b4e85d6474a5e23cfd5fc47941510bc5a68772
1
Constr 0
0
Constr 0
0
Constr 0
0
#8d793851fad2659c1c1efccad1559cee672dad061de65af4802d8d59
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 382000000