SQLite format 3 @ . Y Y Q77Atableisabelle_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, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info s s 7dl / Gauss-Jordan-Elim-Fun:threads=2elapsed=3.014cpu=5.560gc=0.052factor=1.847zXZ ִF ! ] ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3}q6\D|zhluHJc#M.tFc:&(83t-ߨz9&8m("N:Q
?
r*9^4 q?р{_X_7+O]̧ς:fEYdcK)<-EUf*7/z9Q::G
<cзޚ$[SP'θP'XQ,*@R RTk * g YZ7zXZ ִF ! A.] ŗXi%
D>~ݼ/n/W¬) sw#=Yv䅖4^0}}"A[:D9۵E,Ykgy9q8A.p*1mo"jei!ngpb^RC[!@TE.؟4Ua{ W
R]hqwr{"J FRU
i䟂ѧMX
?XI9M{h-2"