# isabelle_session_info

session_name: IOA
sources: 8dd5f4189f7fe6f08c9b54e11091dede06f02357
input_heaps:
25555504e46b569cf22a309b1f721af8629de804
fb16144b26eb6a6115fa228e166dbf6a378a7734
094fedde857b6bed3ce2e3104f151d97763fcec1


