Datum
538c095bed68f5…95a360cd67
538c095bed68f5d8289f9c332593995fdee8bdfdff1158e3da93c295a360cd67
Datum
Constr 0
0
Map {2} → →
Constr 0
0
Constr 0
0
#ec284de5a469ef7c93198a5ed59b3782d53a763d19011b76dde257e9446d5889
1
0
Map {2}
#""
→ Map {1}
#""
→ 1000000
#dda5fdb1002f7389b33e036b6afee82a8189becb6cba852e8b79b4fb
→ Map {1}
#0014df1047454e53
→ 20000000
Constr 0
0
Constr 0
0
#74eec565a41d246082cec8d6dddbd66dd79b2c773cf4d55b27bbd1fd25837b56
1
1
Map {1}
#""
→ Map {1}
#""
→ 10417236
1
Map {0}
2
Constr 1 []