Datum
8b7fe0bbfa95e0…78500a0964
8b7fe0bbfa95e0a9c959cfdde00a35f988427de1dfe1d0c268129178500a0964
Datum
Constr 0
0
#d90d94cd7558eb7a119a6be44e034f11f1c08cf83bd598dd4ef539b6
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#24be34526de2b82be64e9035a7dbc33ff27e78a7ea307ce1e2b7e2d8
1
Constr 0
0
Constr 0
0
Constr 0
0
#5dda449d5161ce22466cda0ef6532b0d3e7d466bc7d76a1eb2bee719
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}
#""
→ 4000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#d90d94cd7558eb7a119a6be44e034f11f1c08cf83bd598dd4ef539b6
1
Constr 0
0
Constr 0
0
Constr 0
0
#ae013bfcd80f1f3221a7cf0e41e7f70ed65c430016c67b69856ad748
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 186000000