Datum
2aa80a129e5815…a2bc54391c
2aa80a129e58157d6a567a74d09db982bd7855f7f7628aa50ee764a2bc54391c
Datum
Constr 0
0
#a1dd554a4ed8930a3b12c161e870a4e448df7eadcad2b1722559f926
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#3a5018fcef95e8924adb3128fb89d541f9cbf4ed510056cca75ea97b
1
Constr 0
0
Constr 0
0
Constr 0
0
#3d699c5b201b7341ee87cc3c07c50dd6b814aa9bb65a46ee44bb8592
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
#a1dd554a4ed8930a3b12c161e870a4e448df7eadcad2b1722559f926
1
Constr 0
0
Constr 0
0
Constr 0
0
#2c55bc82e12a25feb594a2b679cf81546eb20ed01772beef1aff6075
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 186000000