SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 s1 $ $ ]/ Recursion-Theory-I:threads=8elapsed=6.565cpu=31.873gc=1.561factor=4.857zXZִF! h]ŗXf[&&mPPAnɓ0>9C1ߙs 7G NT]4+'rzŘ }xIƨ4~HpJ.i40A2Z3yT)AKQdxy] EyNy|x#?M4v1=T!*GP*h2?b|՞nܲ&YW0g$FhtsFVEE8m4[D=`3ulx1og5(G^{+j.Gf=94gYZ7zXZִF! .]ŗXiɟi /-v!NىR!`vsY|Gs^pAHiyTӬ6NAX1H&g/փ,,#d`s@Ȅ/ \`%R@u=,`ݴڙVwKnfk/DL _UAFācDž{FXufic_gYZ7zXZִF! ?]ŗXi%>t}midOޛ.YF7!kFPf /o{`$ ñ0ԓ"XEl(}TuX@OwO;0}/^*i/J&82SpL@⼎ Z3 AL|h}rw1[z< ~+By84E̶KTTT D'{ *BwfL",xogI- (B ? a3uǶy5$;XIfy 1`m|hbd."R#ޱ= j6g .lD(n<പ=BKZafd(>//WUl#AM.GH7|q9f:33ИefY|JMNQ3$.6x%d0X"@GOQxs00= PBoW=vyr7Ed4y_]j6>Xl0>j勁K„%dӒ+|^/? |8NS)4~lE%PZ' [%w-遃sC9rްqUZv{ hA?+ѷp NlA:d&1e- XObAiLƈO<*QELSoO":c#\IWeLW:v+람&H4롗xhWϟݶP)/KqAdsU0Z@@U 95pJ5.Eumt\|G/xֲH_@p" X4PӮMrl1!i܎bZѓ,BKU݆y2:Vp%VaN~Xt;YS5ȌX1уBzz[7R fVR.N|z+% V^SJwA.!2e]. ݏCƃ 8%\6-΁plu6485QJBj~90G=&xdeSP?EW?b0VȜ5V2lnȧӔ#ěNl{HYq:O64\ 6]UU$ %ĿGk3u@F `5gYZdbd23b0ae44ed971fb608d20e7db81ecf3fa263fc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 1 Recursion-Theory-I