# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
ed19ebff2bda66faaaa6c617bbdff53e5aef76e1


