# isabelle_session_info

session_name: Native_Word
sources:
02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07
0547056aac604c3195ce13f90753f7ac29fe759d
062caabaea189c63bc2a6c963fc6efbdf3b6f7be
0784b55c129fa11b1348b422a2f1c7d317b9eed0
14dc507f95f71d1b8d6debf7f859f7eeaf2aacbe
1ef6e88ebf45a7172376119385b6f067010b0dde
228567b730aff0977dc236c9d7d51c49baf7082f
28e5ea99fe16f2ec4f89588a978d4fd5bc848808
2bcfbde291c15161acb065f76ceef557debb591b
2c780f0242fb7f4866d0702d4e4671b18813f173
30941d4f5b5daeae7057441cd55175ad1661a238
34b9f8d4f8ebe07fd098877604ee5351f86af958
3997ad1247c599ff5ca5a09326a165d755ba9b8b
5117119a178eac69d137fb85243808da2d667eaf
548b099ddc06e5e3e38f92c617039f6cd97673de
5be39ddfc5384834ac83dd89ecd9a651bd28f4a4
5f7632be04cca3952c1cf14c3f7e2a6de647cb2b
69b4d87e9cab0b856337e17afce32c08395ac7ff
6d8bc215284f2e584f7e4a6f81151c2844a3e465
74822b1b4c5669c1d08cb9812ec97260d3c2d096
7bb2894bf6b2b1879e224f67e577c429b34466a5
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
9dd81b82b65cf975baff0da4e33115674c4f56e9
a288f78433f65171f691627d0151015731104d9c
a6a608e8a2758914b324f32c16b43ac033b6aa11
b1e49181062ab90b1cb0007b283de448b7ce8a0a
b84ecd2fe9696967075d575cc67eba882da87740
ba7acd6aa07660647700a2cf187fc4c9fac1b521
bf30007e6c21b1b5ccfbff893cf1bc087fc17a4f
c08c0d5d4601fb33f1b6cf9f7f814c612221dae7
c27c812b0495298284e7dfa3ca3ea8b858be5151
c71ed2d24a3b1cf3c477a333bc32ebea05e61cec
c8886146453f6e9c0a151b09cd8783dda9941c4f
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ccf76f9fb34684fa9272e37fe3518a1f7abeaf46
d2519387fff027d76df4710a860b234dcc8207f6
d3db8421df183f778daf5223ff7e83c92f3a8c1b
e2356506b685b0fdd2f000430d2c9d32c94ecbc6
f0fce7eeae1ffa41a6f0691e21062958b47031cc
f6951764595262c8012b2de671a41957c7876377
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
fa1f07b4b58798f52cf2b797ee64feb4bb2c0805
fb2ac9bb1d8310161643c4c2a0e58381f4ab2444
fbe4fa3ca1c1955969275a21f0541a0bea163313

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
63276d11c9b06d2bcc64fc1b4ca336b68701f2c4


