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 ff1 d|< ]/ Recursion-Theory-I:threads=4elapsed=9.026cpu=30.216gc=1.076factor=3.357zXZִF! 4]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B诊@ŞN]!86o7fO=:p aVo -ڋafx|R \ft2.B/3v6VW\$cwXf7=k5esRW+i pkF—Bf7օa#!'S:Sǎ"farHy$={ fa;2]T: C= 9{RWPU=FCϔ~7h,z/G3ꤩb``ɇoBBg17ꉺ 2L1ٵYHU}#5gakA&3U[2CqgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs]^$k6$Swt ٸdf6pR!].dwlxްRJhO|/Gv&æDA l(`usi:j{KD_?)׃LxS[gS* k) %ao]~ gYZ7zXZִF! S]ŗXi%B:g؝2'MaU ' sbImZJ.LKb/+{:HhU Yx%KP6ۻgj P L.rm)DH;h<+6M?8yvN&d hPDo}~3jO\gm92c ~C/47Q ]wz)mީz]Ղ%Y\RuMw&[J&mm} );XrSi<n랋bKWazhRo#u&޴iΎ4~ Df٨&sxr``GdРSkG^f6~ 0랷5szЏf{֔p\6&" O"܉LK$aѓl_&}=yw"3DE2PVZl 1Íܓo\42imV?6lUe p Rmgǁ0%1e*g|Pr~mAm#ˑpм4^>jJNqH\ >]&Vv?=[&&#&~,-*Qïnl(_ =}lGyB> 1~u S5.̗\K9fw?ٶW':ZUSK,^^bov7{ Cӈ73qb&ߔF'p M^y&uLXW^t(2-@S 1$얝u{hZ%"iVv+9Ef!J9\ ޖu}z/|I7DW nW9-mfQ9~C#ó]fL̹f. âj|J|HeRU@R/Ւ, ySH]e,5@p-|ƫCEDL)r\ͩ4vJ8:5eDؐ%9!$F}].P 樱gYZe27ab44d56f7b613074d51dd46e49ab32cd1cfd513f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 1 Recursion-Theory-I