# isabelle_session_info

session_name: Linear_Inequalities
sources: f6d7a18174e9b00bd8c79c5a99297a0f0382ea51
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
311da8e30ca66082f8792d0561fac6558e211806
83c4e8ba081665f95eae2cbeb14d01828ca7625e
7ae774d6a8f9b8d8dc51d8c37254a97252de97ea
c11357a14666e2fcbd3f397a7e7cc34b157f8ca0
a94680f8b7fd0b152f964fe4e93b16d7a1c68092
5c381175987358e0288b324f9ee299183d250a2c
dcbc3fd7ac950f6326b4424ae4cf36d8ea73da37
565e53939fe50fef05fe2c0fd5e59d300012d715


