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 | ]/ Recursion-Theory-I:threads=4elapsed=8.490cpu=28.176gc=1.148factor=3.327zXZִF! p}]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~Byf|-Q}@:qlx*H=|] l`9[=RM8#b:RWJkg 5` y|&W7Q[D^oWquCLcK4t=V=x ]ՔaFS dΔ#!U;,۱Xo't%j G)=v[˾^n( VbqӰŨqbw~˼XjXa//͒)RɄ~*|G^^Lzw"࡙RbyTRf>[Ok5nTsM6ލ:,K⺗Z}|%x EZz@e /Ll_q<8Kd(]?=FFŁ:+BsB&[q*iYvkjof~ ]]L粆W lg&҉sZZ #^tksQ»yAy$DXBhҒm;7#%('!cS 6 \E7olҕ''=v# L!Rd`q[2jsɃ6<5 PD@Ϫ.rk_8q$cYmk51[m\hp6/nru\XJ3bJ*xnI^51?rI)ޢOZT±'LFqqc ]AڍZ{AĐ'`+S<=Ĝam&j*N PFnH˨BNŕaqв+0oN^ph.U!*<29* @S Emn:쵵-1qrŷR,na!$S(eGjg\Qͣr?,@׉U Mf"x^i,R!*Ady{r*.:=z~f-p0IE_I $#-/꩙>ML4vl:ΰU.{c{N]0ϩU -79#V#eJRM 1 gYZ2e9c5877dc4c536b0a95224e0b8639ce2142be0876b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 1 Recursion-Theory-I