SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info m7DT / Gauss-Jordan-Elim-Fun:threads=2elapsed=2.839cpu=5.384gc=0.052factor=1.907zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc"} dǸږĬS*ɶiۧVLFUAJ5Е4l}{&#h+Ȋ`[ϦƉ$ٸL]ꏸl Ow\$%6lzdӛ)O23nn]Pg 7 Gauss-Jordan-Elim-FunC|ԍ+9!д (;Jp.\@;sOD9]IzdVB<[MH*2=4=4[r=E}}<݌:&)~Y?|mM%T*xin<1h K>tv z)SnϱgYZ7zXZִF! =$]ŗXi%B׆f%w03i`ŹZ]{߫ w)z@مa56}^.AbcVXCrZyOF}7t{84UbM;*2? Ucfx6adv70KE4{Tr+\R)+ֺ8mG{w.>CgYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 d29a85d398eb7a5dc10b335e118305bde1e2fca7d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295