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 VV'1 ,| ]/ Recursion-Theory-I:threads=4elapsed=8.829cpu=28.924gc=1.040factor=3.287zXZִF! ]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~B诏üTvk wn=['_ӥj4<餘{-Ss, r5HM|(y垑6iR}:TtR(#ow>R(pYkZC_(:#fx|#nvD Q,|fY9HfT'Cyê!jb<ɞ`9E,kf)t}W(,dX6w5gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^o|Ί7[3#M`fDMInY^87RlNji*.uw"NMk"ؤrc]F"5@s3oKS)bARYv--~7l ꍱgYZ7zXZִF! VH]ŗXi%ES3 ksf~b+|G!Ǹ&]e6 03P*<}^_!ăQa7BQ,Rfyu@ER=Rհ㕰>cF~^RNDR x晟c)= I|I#+]` e!L:Jϧ)si ޖS#{ٰi.z3wͦJU{D7B)?~g:[5*5I"&B.` ӂAւEwc-Ea83Z<sTFsY\,vRTW@77a]\[Pp uI^%i``1Z:{ZOH=) 0y=#7G ~; :S@J۽]1&[|V}Z}3jBxюHlOV"5EnSd^+Yq?Jݭw{ORP~Hqm|;oXIz$e'Hza}4o'"[Ų6j?Es03n:,TVW-Steݡw,4~h<:N:OQi}!_'kNwn1BRd 񏻏WAkY,)ly$)zwhfAY &輓#zN;0M߾0kA '*kWiG !lBe-!M`phVgn$h#K;o~yG]һd1ߘG:uNŌXxlO%ٕ{z Lf ωq8O.|A;A!|0F R\C5.wNNCVBΞ~wՃAOA*I &qm޲U Ñ2Pf#2@g2"tgd[[nٸ=ڎbE<ƙ ɬѕgYZ073de56cdb30e9ebb83e61a3e7ec23cadc7c3b2176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 1 Recursion-Theory-I