SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  , ,Q7,D ]/ Gauss-Jordan-Elim-Fun:threads=2elapsed=3.231cpu=5.056gc=0.052factor=1.567zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=BoX3>+uol\)QBu GdV9GKks!"#CBGcԊ)db2h=O#T/R3L{)BFkkxtK&}  y)8gYZ7zXZִF! _Q]ŗXiɟPߋSꇮ&StaF X_d_0V{n(86b\}&RCʽF_Q'aGSR<^?PutP%A*Ʒ @m^+M霮&-Mg 'XJHN\3s4; %y7j+9$D#TqݨIvTg 5ǖ@0[/4ꩽ GB;WnRXpD6Hd8xBex7( J6(}ҝag;, #.M,(7gYZ5a8b9579e135a9763b2a0f9349a7c1431c43b44d2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 7 Gauss-Jordan-Elim-Fun