# isabelle_session_info

session_name: Gauss-Jordan-Elim-Fun
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
1874a0cc34a6a9879924440656ebf79447d8da6d
553a2ae14632bc956ec0af3527f5022f65f1c8f6
85907c10632df3455d62bd7010848435e3642104


