# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
72cc4942cce77282ce20b0d84008390339bce3b9
9dfcca80f8cefcbf701a66f3ce019773806c8d96
b0a80f21b422bcacfce2958e094d48cd6356980c
f68dd2ebd26fd0bde22ea7c3a48a88d9580a8fb5
f83abfa96c2346ecc68d747c8f1846d73e577b2e

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
0421e1d9e7fe672cb0ddc4007aa564f9dff1312a


