# isabelle_session_info

session_name: Linear_Inequalities
sources: 47fc2bab14c8904dbf8efb6f266e27fe9d4a09a5
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
8686c2ae035c3f9df08c093ba8385ab4fcc4e84a
68e83567f410544f1ee969efc186135725f681c5
699bdbf258f0abde11384880867d7af53de69489
ea6b1a6a139480adc08628ab562073139ffa3b41
29c786f87cc7e6ea3db97c772a444d7fade7b6f8
6bb86277d62976edd0fca7ba26d83d36d8f1b9b0
16318483a54ddeb3a21ba3629ac0b1131a7161a6
233cf39d9f8600baa827362dfbdbf2c4ce68bbfe
7afa78814e01ddef1f8037f20f39cac9a693a002


