# isabelle_session_info

session_name: Iptables_Semantics_Examples_Big
sources: 449e122be06e1f6b24c1ca63d19c0fb7d463374c
input_heaps:
8e317804cc1fbab9a0e9f003ee80317e5adb94d4
0634c582985b1be92fc708eb5be83667c49da2d8
be02216ca4752121ca14e42d01cbf2bb132d5349
9453895f77734e555e382702c0f85435389d993d
786e031d6128391c40ecfd1b9748f7c26e4926ce
7e246d327d0a92669760e0beb4a245b8e24fe991
b8e92fc6e1dbc281b18d0fe4464aaa8b263b6e98
69e2df51663e9f44814e1859416ba048ce19b48d
9165eef8ceef251e7ca53ddc6acc61fb1311a52a


