SQLite format 3@ .;  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 >>?1 D|, ]/ Recursion-Theory-I:threads=4elapsed=9.260cpu=31.364gc=1.224factor=3.397zXZִF! #]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~BRIڕX'3F&aw|PiۑnQ(|Z6[-Cl)x"( 0 S$ _p_pDfөǵBEzDz&XbHfr TnFG~x{8R@G //-wp󜹀dNZvnHbν[깺7W2:*)_;ByI׭>]J!ژ}Sܯ2.5awmR=ΡdAZP.AWM#mj1W>J޻ru/DC,h!/o/@?&Yniݭ%:3|ugy쓹YաC#ah'dsWy6sXTC6)wFǁ2IR2J Fkt/B = k?fQ%xŧ9 7OEv{K@LT )&<noE(jNYT*JO)n|9} :B{_B^W1RADf1Xr=[&YJ# %:\Ȃas++SrlAʺρlf/EFrTtlzvbdgI,hS0{8s_'PLVQȣIUXG67(]ˆ|o!:~\j6[bIp`cxUg67$=1qڴ;=a.t*ƸE.5VSS ET$G6_S5]@Pg§u#T\Gܤ!Ks SSC_^N@tKT;Zo"9x)e;;|v=.ZNLIVe~s.9a̱WʮSx9> jHiϒvC0dX#BB㻣B ϒgnRG3fc_kwE4+P{x5Τr6bFjˑmRjRF& ,QP#; Ƥma w`YDu- }Gh&%W-Y?tvǡyBJA\_Isa!K XuP4.b%9 JI b1+(ҸO^<|VrW:i O6mgYZa57fb96d6f2d87c56c80b22e83962b2c403d44fbd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 1 Recursion-Theory-I