Datum
c02b5bfcb05b6d…4d87e9228a
c02b5bfcb05b6dfcdfbb1e500bd5f5e22cdc5c998ba99b2c1b995c4d87e9228a
Datum
Constr 0
0
#1974143ad63e74d2c0b54965f24a992e42202c2041b3ee7bab4101cc
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}
#""
→ 4180000
1
Constr 0
0
Constr 0
0
Constr 1
0
#0e881efbf35e703b1ec6159d34a26ccd42f2c60cb8c5d0c1e865ad17
1
Constr 0
0
Constr 0
0
Constr 1
0
#0e881efbf35e703b1ec6159d34a26ccd42f2c60cb8c5d0c1e865ad17
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 6270000
2
Constr 0
0
Constr 0
0
Constr 0
0
#1974143ad63e74d2c0b54965f24a992e42202c2041b3ee7bab4101cc
1
Constr 0
0
Constr 0
0
Constr 0
0
#49c74e92db1fbd6ed6d019c5f6aca5b40527c630f59bf60ea059593f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 198550000