# isabelle_session_info

session_name: MSO_Regex_Equivalence
output_heap: 6705bb579a9c2f9c7d78f6d6f5b7c3d324f29502
sources:
08be19446d72f9bcdf2a842a89088d9869228a5e
0b69d8c3f70856201e8c054bc34357b13520292f
11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe
1e3f3b9f42d40107a2af3ebab615eb47af40ca39
2bc18d57ea87da2d3db0a06a6e5558a6dd698150
2ca548f124bf08fde0c7f05baed9105248d232a1
2e8dd58e2ede383cbc7fcbaeff3b051892ade632
33f245ff04a4b617b9bd1dd502c6e158008d8861
37e048eca1afc2c069cebaffb562a02b039bb22c
39e24372458c0987f3d0bdbec288643d15fc5b61
4178d8263ec1affc708587b75c04983d8347c352
62db7c2f912509ab5e52563a32412f6c53622264
6a817a13ea5396c1f21b029eceff23213f20f9a7
7102c8fbd6151cf5569b2dc55155eb20a36b3faf
79f31440868c5686b204e83e4f26f92eb8d94f9b
7fdb4fec52ca3e0a01be6b2d7adba337b9100adb
8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd
8cc6283ec74b19d9a6bd2a74c7cbc59522750437
937f9c9fd64a5f87600ec011fe348a83238dd506
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
a273030280c4fc85ce6bad40db954e7aa16fe6fe
a526ece146642d823be07862c7c8488392c4dd25
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
b6d0a023212be48fff51171cd7accff79761b911
d2bf831b160f6ea48a6f74bceea75324c48877e9
d73f179eaad464b075b683de05552c78791fcc46
d984bd91b3c24af3b069d46db03ceeff6cf25e56
daa5e0248528bca893daa43713bf4e7fcdba0c72
df7d6430a4bcd2af648a3201e1da746191011f8a
f03b13c1e0db20710943bde849744b43bedf3440
f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4
fefcf52cdbc5dd45bda0389fe4a696af8c511c83
ffee0b4350c5faefaf940ad0f98f4d81bab1386d

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


