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 jj1 ,|l ]/ Recursion-Theory-I:threads=4elapsed=8.853cpu=29.448gc=1.100factor=3.337zXZִF! ]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B诏LfCHde_bAu"2V&`sOd).ea*}6Ыya.m쥛uvN Cm̄TRY6!`)z ~K:>*`p`TmOɜ+YoZ+l\e,?Z3xZCh׿3Ӻ \_߲_*"'T4x +9  C++]:D1ܛP6;Ÿx Wi)? 8/{՜w [%nxִ)*"XBlgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^ILdч\5 zo'O6@ߋZ Q;1 :&ݐW 5IS mэQ @}9-ƃ̬ʆ ѓ`V]}nmpĭbQ4nTN)/Xt<ݾ-Z< :Oa]YkPz;X_PXpu0SX{d]& e.i%-.zHW*b,=qrr6e;[/b%sm~QҼ51u7)vb()58\E%ժ Hum={8V;9Dx"L%@euU9spvr7N6'cL>Fm q %<^/ ^mCnA))S]/F7}+Bp*pQ2ğC.J.7+So3T|pRmN"X>v{~'i,{vo%gI&X'Q {42~4[F0sbWfT& L׼&yPlBh< 4J&,[Ϭ)zJn`&YAd/LrɃ%bOfHZTjm# 0m3-WI~:{/2H` ǂ5DL߶Ʌ Kc3p{lBdRW z,ɳW*w@s5 X*tisx)'gp*7F O=?XWs#;@hӢocsN#\hmy,cO˫#<_gT  P%Ԯ9.'DOQM>473ZٙVgakۢ7s0<+l#W\;Xpf앂v¢a22Z7rJ`g*y,/QSDVFQl%$zcq@ҌV6QGOcH;Qq.>8T%пR^- a>⬹7m@xuleob|74Dc"_*}\RK1nCջuUAY + 1yS?bكx3aۃB) .hcGۢ~ $_ZF"l4& `B ,DKgYZd802ce376d568ab187cd66260863e861068a44b9ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 1 Recursion-Theory-I