# isabelle_session_info

session_name: Native_Word
sources:
062caabaea189c63bc2a6c963fc6efbdf3b6f7be
06330dd1e501db9997e2caa23daba4bce9f0fa7b
0b07eb584402993bb758c3835d68128d587e61c3
14dc507f95f71d1b8d6debf7f859f7eeaf2aacbe
1a7116ccb10fb2adca2f2c72ac75eff210b62526
1b8b8af14f70d0ba859f85ff619a8e5970f1ab69
28cb57953ab91740217665d4aa86d31f827d8dcf
2c780f0242fb7f4866d0702d4e4671b18813f173
30941d4f5b5daeae7057441cd55175ad1661a238
31755525071793d62f6b61cf93fb27d5793a7c4e
3c017b81cb054473e485fcae7406f59fd4938821
44baec093d30bec4af6ab8a6da185f226cfd552e
53b7efe2b7e5e03364f5bff534d75ee845562f8d
620b9792e1453cc7ec2884b0a1cddb34dcf9a1be
7afbf3f3c4c47a37a421f2647aa3266a3fed1212
8070ede980bcaa591ef6feb6db5231b8cf658745
87d60a8cde79d1da78432f8c75736aa52ceceeb0
959e721d7dfb61be72261b1be170497fdcf735b3
a6a608e8a2758914b324f32c16b43ac033b6aa11
b7009528bb950f6286395efc5045805409e32271
b84ecd2fe9696967075d575cc67eba882da87740
c27c812b0495298284e7dfa3ca3ea8b858be5151
c69a716a6cbbda4c0516253ac401bb96631dc395
c71ed2d24a3b1cf3c477a333bc32ebea05e61cec
d15ce4fcf6dcd2236bee2ba06f6e1d09d70aca3f
efbd1234d2b7490175356c08c872d88130c3e193
f0fce7eeae1ffa41a6f0691e21062958b47031cc
f2bcb660b07ab5b901769c4a82133b4cc66b55f6
f4d842e067de95fdae671ad03ce727eb4c399684
fb2ac9bb1d8310161643c4c2a0e58381f4ab2444

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
5437d1a7c3bfebcca8a8b15a1301b451ef013d21


