# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
5cb3670927430e83609193d63018786d130d05ba
72cc4942cce77282ce20b0d84008390339bce3b9
865203ed8696a2250b247cfb24cc9020e5305457
b0a80f21b422bcacfce2958e094d48cd6356980c

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303
cf54b34e30444469b3afc37db385a08e9ab8df9e


