# isabelle_session_info

session_name: Iptables_Semantics
sources: a2fc28eabd656ce91732179dec006916bb93a846
output_heap: 5a136d211b53b6356ed9bbd8d58c336e1b48aa3a
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
d0b2fe50fc0f701f7662f4730cd7e9295831c7fa
0e7234a415409952ce190418f83cd5e2b78a8575
9f78c19aa38362e2c985588c9e3e3a0d7025eca8
ae71e2a02d111daa563cae0f29217348ce9ae870


