# isabelle_session_info

session_name: MSO_Examples
sources: 06baaec26c4a8d805dddb731a25217fbca004680
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
3c7dad3cd1da069ed3b1d5c1126d25bba541734c


