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 }}1 |l ]/ Recursion-Theory-I:threads=2elapsed=16.562cpu=29.572gc=1.352factor=1.797zXZִF! w]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[Bs9DAZuG 邏s ?Ƃ%j,-2GЇwtrQКFW^BH xb֥f[]#r0p!ʠw=$+ˇ6x(ڥEH=|ks<~I^Gp+Sh(,P}fb-@AdGYۍ5"4FO31v2nSlD4"#~PLE2/$I` nM{Cm xW˝q,;A+DnO'Lq8dODgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^Zxjg0zHΠs ,YI5'7z,y#nm*&PLG'4πX 3X hF4ÈWT61n.o54&{͍^[ 86w*p˱3-Z%Aj''Nu&W"Ў ~5} N, se[hXՉYr a&wRGeB*N*0 AaPƨ\g hAN:߼1iF K9D ,̑:pnq/GSr 06,N V#'솿 8%,MXJ]zvR"{*L ɱgYZ061e232d95baf179936ba82923231109db468bff767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 1 Recursion-Theory-I