# isabelle_session_info

session_name: MSO_Examples
sources: f33ed8f58bec32c4315258c7a64f5ca9ec74f66f
input_heaps:
1478cd8cbae6c2903ff8b7580a1b47a0f1487a38
aa8d72250be55f6a4c5e37b817be58eab22b8e4e
02698348f26e123a5bec9c90b4042c1830b580c2


