# isabelle_session_info

session_name: Native_Word
sources:
062caabaea189c63bc2a6c963fc6efbdf3b6f7be
0b07eb584402993bb758c3835d68128d587e61c3
14dc507f95f71d1b8d6debf7f859f7eeaf2aacbe
1b8b8af14f70d0ba859f85ff619a8e5970f1ab69
1ef6e88ebf45a7172376119385b6f067010b0dde
2bcfbde291c15161acb065f76ceef557debb591b
2c780f0242fb7f4866d0702d4e4671b18813f173
30941d4f5b5daeae7057441cd55175ad1661a238
3c017b81cb054473e485fcae7406f59fd4938821
548b099ddc06e5e3e38f92c617039f6cd97673de
5f7632be04cca3952c1cf14c3f7e2a6de647cb2b
620b9792e1453cc7ec2884b0a1cddb34dcf9a1be
6d8bc215284f2e584f7e4a6f81151c2844a3e465
6da0727a7d5cb9ecadc19cee59cc438f7b617dac
738148ace6504cea0546297f8d2ee8fd3fa5e914
74822b1b4c5669c1d08cb9812ec97260d3c2d096
a288f78433f65171f691627d0151015731104d9c
a6a608e8a2758914b324f32c16b43ac033b6aa11
b84ecd2fe9696967075d575cc67eba882da87740
c08c0d5d4601fb33f1b6cf9f7f814c612221dae7
c27c812b0495298284e7dfa3ca3ea8b858be5151
c69a716a6cbbda4c0516253ac401bb96631dc395
c71ed2d24a3b1cf3c477a333bc32ebea05e61cec
ccf76f9fb34684fa9272e37fe3518a1f7abeaf46
dcc72ebf727505a4d8e319ce93101238fd2409d0
e2356506b685b0fdd2f000430d2c9d32c94ecbc6
e8d275e9b31f35901749c0639f733c71a8e36a9e
f0fce7eeae1ffa41a6f0691e21062958b47031cc
f2bcb660b07ab5b901769c4a82133b4cc66b55f6
fb2ac9bb1d8310161643c4c2a0e58381f4ab2444

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
267c81e809c61c1a4a25e6188a1ae0cdd20e3e0f


