SQLite format 3@ . BBh77otableisabelle_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 EE81 4t4 ]/ Recursion-Theory-I:threads=2elapsed=15.271cpu=27.040gc=1.156factor=1.777zXZִF! {S]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[IICub_Բ;Sr4~Ì86OKΧp}?!?ҒZĭ+;sйt8m haۇ%*|pȒ^a*kuA$N]x850XI9C daRH'6fWS=&fYbJ'q2|c1 4.6Fn^iҰ Q._m Q,ˍyUS\4gyebQgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs]VY/^~:=r) bYYP=bcE Ou@/hc@DUmCII]%xL:FFO FDZ`}/ON%C6gYZ7zXZִF! []ŗXi%9#qt%b$Mh#&aƟ|%RrftХۍnjO`/4/1`.mgW,_l~8Rh?"E1ͦvG4Ѫ(Ү'{ s*afEk'3t!Gu/:='{]jbm9ڀ#F;M2c ݼ;2rp 븥][Y\(~J'Ŏ%^h9;McFLFhy=x^) ~ɅM;8>KP`=V^$&I= SɁ+GZA f#l70wp_ꓳLw Vc4BoZД3ףg3PwLr܈o{T7D ?ޗ% fdM)pC8"L"W^JdĬ*0c]^b`qB$ 14#Nx VME憦U $NxlAf$n\ԨC3W(_m9$zx"tS\yۍr{{B V8iCi)yyC]#D%U:K]IL /tXZY3^nytlZs ɷļxgYZ13266118b10d4d2dd9b55fcd022b24f71a04fa2c8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 1 Recursion-Theory-I