# isabelle_session_info

session_name: Refine_Monadic
sources: 70914ec26afaaa18143555ca4e3eba1173ee258a
output_heap: de7c938c1cb86b01c0651104dc0ca753c5878626
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
2ddeff9c6ac654e4a0066e2a4eed2e24a610c057


