# isabelle_session_info

session_name: Iptables_Semantics
sources: e576554546254207de2edd16c1e52b3cd8982b2d
output_heap: 3639c71b339eb4383f8d60347eff159416b4af11
input_heaps:
325386da1460dc38f32089d1221024ec932a2181
06bff5eb73bee75606e14d28e9b646bebba8f569
102d99e3f55936a8de903efcfef2f8a4fd518734
2afdbe8c846633e929fb475c80963c3e9df6c3c6
a7f2e9a151b4b2f6bb3e2ad8d8a6fb5c80bf3e40
93f266003880ba299f8ed245554583f66c66542f
2943a50e30d9fb004e774cd14c5574f52a15defd


