# isabelle_session_info

session_name: Stateful_Protocol_Composition_and_Typing
sources: 9767871a83da430de518c02d2476294005a54fd8
output_heap: 50215bf9090c236222fc9e60b1bec332ed9cbc1a
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
190009264d8f4be60695911a09d497c532418360
99165339c845e3c2814bd7c4db340004ab5b4ab7
b5017d336ca9fab36c4305ef5b39e541604bebfa


