SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  e%4Tl ] TortoiseHare:threads=2elapsed=5.367cpu=8.816gc=0.224factor=1.647zXZִF! ]ŗXf1-/6vR[kG+j'bf{9lfKY]1M&C R=q+K &t Q] @d>4*6,c\$/im(![{ՠ1ZWhQQZv,0d,v/`ɬb$1ڂX%\H;o:j&HzNv!hJfįfzuL8L٦ש0Wi/z*e_:ҁ"Zة )1Ԯ /B\eL b#gYZ7zXZִF! c]ŗXiɟgbvȂtU v!W烺C/n5˳8at*@"PϼHJvFo"OCfKmI| QͱgYZ7zXZִF! +/]ŗXi%>g񻛽w(6fq>б~,Df[KS .د->6E ]B ӯ-Hi>y㔀 ᢞf(2 l7:;!n6+6_N]2uB\,_p@#XpuKfid<oK[m6xn0fu/sK.rTэuU_qqC}hD6԰bTSM%YFIeH:S6 I!;0ϥVEEeόffqj b*Ψ }IN=%K)qx1+WQ]cFIĔS^:a&Pc1 k}PHU)p&,@vUz'禉o|i/%R%B! n4UA 3\E?UUz_$޾.}=ɶ3_Kw9cMJ1q _pH<>5X0 _0\s=ݶ^`@KFIdYج6пtp,87 9DhW﵁E28|&EIVA6s4[tHEkĎ=2$*m%05~`}Z״ˀgsmI*++āꓜݰ(=\)aLb?T zr_Y>j1^ ]񠇥E2*鰳}Q6B96;*ő).9n[m&;PָR1PVDgYZ9190152539a18fda5ce9194f58e3d05898a17393767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 % TortoiseHare