# isabelle_session_info

session_name: Nat-Interval-Logic
output_heap: 0536193ecf21f3f6e957b21237de51b6d1707b9b
sources:
01ab61f64fd5c45a27800acce6b9886e23c498cc
2610bcdcc5de299bcea6d2641080489c64dae616
45ae6f75f5ed99d198dd6591210f767f7f7816aa
5960a95f95a9bb6d8ced45988fccb935e84b0894
f82b4b01dd76df97e79e913d48310d9d32ffee34

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
afe5f7ab0a8c162a9db6b2b9bb45eedbfbd19172


