SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 c1 l, ]/ Recursion-Theory-I:threads=4elapsed=9.397cpu=32.204gc=1.296factor=3.437zXZִF! >]ŗXf[&&mPPAnɓ0>9C~TopfpΆr[ǔ\WhIC4 1B׼~0Z6pKl>1{̀ zZI]jA_'v ?[c(D0qTX݇UZƲ9D o]fW{!-r "NӜFtniF.g;@h L[n~eƺJL/_B7RAeagT:1:||*'4bKgJtbX߉p"!5[GRڄܣNb/߅ɧ cd/II3γ">,.a﷤ b1-% Vs;.O5vTgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^syd2ujHŠe\|dnb@ (-㖊(a =ivQWFD뚧YSٛ_Dע-2pk}s{u4n_%j~qv(QK#XXH2gYZ7zXZִF! V]ŗXi%G?1N6ߚַjd 7p1EՒ.moӏ!ϐu6TqmIX9b na :CZF`9dlti/U>6gBSˋ(KDߑVo/9lG3>(m[٣ km=n[ x!:J"|X`jO5Sh5PwD.#w"D5^7cBm]g)=Ĩg[GB9#Р*^z'_nkVh1[uSeuAE8J'd,_&YzR_Ղ<( M!Ycn^Mv+Mcy)Soi-eqXP ?!oiC96U g.rR&GSF*>@HP.-e:!QDSb]x(I6/sd?DPY^vѨ=SP_}nN0ϰOxZ/~Ā =Y Q?kFi{͡H)X-ȇ=#Pֈ(vK`<۸Ptbv-R:<Ш.vN5,Ĺ~Ä1 40X(d@D&U(RxnB֥7 -C_ > qS"EЮwR/0(&%c6CrU2xݿA,@'̏ ¾6 275!, (V@eH ooѧm+`-(xz_S5l]ȳm@38$,S0->nI{NOb@Ɣ J8&p*<[ -^=]ndHO ʃ(jiR7CG7PvBI+V r]OsE߶HݚN4 ^c73eA|gyEWyC@'?ѕ>~NCt%>Lм6ۨ&EGX [uqY@KqJ!O\辧*iWhPqZb i_gYZ14ce7c18cdec76d584fac522bebd5cf74fdb8a694e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1 Recursion-Theory-I