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 tl ]/ Recursion-Theory-I:threads=4elapsed=9.611cpu=33.356gc=1.340factor=3.477zXZִF! ]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~BFXh`ـ2Rt-vUgכmY-Um䎌?[ o't41G48a$236ȊAAK9YM0_a.XI'>[޴QAHjFs 3lLx}GaՃ:'Tf[Ԛ{(zʰ5ً@`d 4bѪ\$\/v>Kp zu-(ϓ7.wf6ƪs|5Dwd:=;4| lc/h㝟B. 0¼OIM x1r3„gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^t (ϦR)WmwgdvqJ'"c$mWA_Q&~ +ٴޡ-[BqӦXWC#nDeR0""br!u?MI@^o'FgYZ7zXZִF! V]ŗXi%BžX| e `{-FA/t䝌: j L?ETkoIl~4}[ ajFQ>Ǎ䯬{uX% So ::lNB}Jg$ .Js>3zBߊ0}lAR5 zmQ1>7%vM @4<ҕ7-YӄaS^ϼ Nzz+e: *\;BM)}y[e#!ShYVo ]Mgg85¼2TO.ha(ގ*܎lťO1SvnT !v+D]h.d;9:WFH6`Rl4D_Ƕp4j@z5->XLu̩qs8ʯKFب̈́BTNvwlhzueZ,%lbCd2L59Oj2>Lxӄgn]@Pl´iE_7L'3tJo6t'4$ڥQqQIjӤIFLJyG ȴ~B^q Coz6Sp6eZׁ&@G?tݒ^FӛQ ͱ'%aRd,XsMJ;{x/n7[;o'.!J<[2 lotrE+ r-'e uGTz p+_Bg!}&rLᆊ3WfAJf6 [7MPf'@ ]?#(zMlu9DST7wӤɶJ>t.8n>xaVgjkr休OD.xCY xݬJVg טK3Lc *mKgYZ43434818da16379df99a2268e825321025f1bf943853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 1 Recursion-Theory-I