# isabelle_session_info

session_name: Gauss-Jordan-Elim-Fun
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
1874a0cc34a6a9879924440656ebf79447d8da6d
553a2ae14632bc956ec0af3527f5022f65f1c8f6
d29a85d398eb7a5dc10b335e118305bde1e2fca7


