Datum
bad7fa16ec420f…15eb2b7946
bad7fa16ec420f01aa41ca7c3f76f62b30f6b850d0d08876b56ed815eb2b7946
Datum
Constr 0
0
#2b107816a58245617b1f5c2a5ba140b330f5e6b1011ffc2badf2b713
1
List [2]
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}
#""
→ 4980000
1
Constr 0
0
Constr 0
0
Constr 0
0
#2b107816a58245617b1f5c2a5ba140b330f5e6b1011ffc2badf2b713
1
Constr 0
0
Constr 0
0
Constr 0
0
#8a554dba6fa502a38d6bb2a42fe081967f4e00139708860004d7e844
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 244020000