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 >>?1 |l ]/ Recursion-Theory-I:threads=4elapsed=8.841cpu=31.032gc=1.324factor=3.517zXZִF! ]ŗXf[&&mPPAnɓ0>9C~TopfpNlqGIp'^ugkSInb!݄1{ZMq.j_~\{v%鱨?)Yj`x3 C VOpNޏF?);w{rCh> ع(>( \)7Xgj];[}bG5sjZs !92UM?_WdPO͟=~D5$n13ͽ$R {78>͟1C^~\Ӎ2$?ÞʴwEIgu/3 j38ѷR!𻩳N$-WV 7{Wj޷)vAF[5u/CdYv2,ogYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs]^%yA+f/r#9=É!iA0"Ȕ_]#N2*tG2u{Ng`{!-pZ|lMx/旿]o(VhBLVa4H8!OфLW<U"gYZ7zXZִF! S]ŗXi%G̉SFFX2uf[#rLzAWN𫄥ymq@AY拧7ʽ"2!<6VQ7GMzQNGޗ2_s "$s>iv)amwFkuv=mmQw~qFHv/BԆiȫx6ӷ:x`R=ýM @tg'p= nI<ܿ69wz|s2͸] w:2}*<$X?;Y#̖{„I$1ԽٷkBTbe~%wZ) Ҁ"Q3SAjdP'3%Ql,> ;,]s .[gRQv\pB NAj"\&FZ'4>j-p7+e-|'bG}!Pss7Wj׀ė!4 Yy=P#W$T , .2,JLAM℥pSya [02K "tT5Ǵlko`MS]M2 オ-ĎA{#m&_+OuɻQ<+^ E!QX3"վ~6 +j|2'cԹC W͈ "o.IKJgdqNs7YW_1 Mߔ)p<+r(k2K0|uƤ3&N(|uيXcӨ6#I\)}6M&ۋ8 4Ѓ\?%7bS ;y%€a=%\ruͭNpB"ˡX2rt2ŅPqW1I5PyZ0Ŏr4J_.25{^BJA֞ǗsbFӂLtN@)Ksj<)IuQyo~:gVxw '.P%}n99-3AaĿ}õz&k"j)){LjZ$|2ΚW AgYZa67939908b1696ba529997b1dd9b9c9827ac94a678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 1 Recursion-Theory-I