Datum
e06ca9b314de5a…4ec0f0ad6d
e06ca9b314de5a82a89e0740ee32d06b35b0eb4cc99e78a09d4e184ec0f0ad6d
Datum
Constr 0
0
#0548b72bcb2c5d8765d861c0e641d7c87a23c295f0c6df2501c29f10
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#6fb762636eac7ffbaa76d1c4eb300d2e6516cdc444b32dcbe0202d20
1
Constr 0
0
Constr 0
0
Constr 0
0
#59f6d3f16ea60f3a68a5e0162c7987bfde9add9845c3fb46a5510e65
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 7750000
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}
#""
→ 3100000
2
Constr 0
0
Constr 0
0
Constr 0
0
#0548b72bcb2c5d8765d861c0e641d7c87a23c295f0c6df2501c29f10
1
Constr 0
0
Constr 0
0
Constr 0
0
#b66128db1e62b95d68d8515512f830e7352fd4ac59611970c99a6d3c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 144150000