SQLite format 3@ .;  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=9.160cpu=31.528gc=1.352factor=3.447zXZִF! ]ŗXf[&&mPPAnɓ0>9C~Topfp$aU]w*EG)ke8U2_JW!k"V7_i1ʵ`$jtG.uo\<u'WfmP%lLՃ+L}zL ]Jn`OOHeq8:*! ;I7moM h[ ruMlaQUB7ZGPo귖?'7߱B}%lR`-^L+?iI?⦛2ԦgX)Mi\ci@%Jd;σvNTd bt䖁 ꍱgYZ7zXZִF! V]ŗXi%I o7FHFT^/5'}}-3^EJ>6x`iS?xb\B*VQ>gDQsaJC,BwtR/DF~H OuUVt,N8݅ mmBJt(Ew!{$$fA6 >]qʎ4ԊfgQiPו J}]^}|\@1B Qg,,4-Qn֙ ^;[!;O x') CN1Tnsv@`(ϭ\8j3|#9?uM)-I4}5v >b&Kn/ ? x09Q6|/iG3^R!=M}t QRp_%nQ^YuUٔ6 Bv#6ǖ%^MTQ]&6%8υDgvk!zb멏x]V o#} 0 ie{h7_s~Iݴ($2Η UM=Yak 4u&)9A)En^ZvRj*`5FXe?+3ŪZnSf=Ҩf31Gѓ}IӶje#ͪ߭sU[mkW=u}kJ*/`a똙@O҆s,NŌƍ7WRHqL;6YM1k [HL萊 ul^g=1a'X3o"mw.461|n9+DiIt@ʔNːQuf_f[|LٮƁ%,ͳA%p8rc{X2?rX&F4?(y];11Y8M&.Ԏzc\&!-i;.1cahJd1z zm4Z[-81_ `OcpB_x Vu{> Jꏽ cgrT~yZG1ip[i gYZ0201be70951ee1909695725bfeb7eee5bb728ce95a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 1 Recursion-Theory-I