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 z1 td ]c]Linear_Recurrences:threads=2elapsed=16.701cpu=32.128gc=1.872factor=1.927zXZִF! -y]ŗXf1-/6vRZ̭|GVu>e5\Of] -Z֩aPV[v@!yfS=4ڤg2IKMN9)IJ,rͽɽ8YJjbUE~eSSh9$_.%k($8=8.Qh=N8ڿNp*̚ `=S.2lK!r< %UOiNf%^"8Um $W\ԱgYZ7zXZִF!  2]ŗXiɟYW׿5-3x^jxͼʳ`O.cbxG$=uNĮcoWf:(xv%hd&rUO,O6PY/GEgVͭvd?-hRC&oFp~kqY{Z#x$]&BSŭuy|\hi[xNPLUf:/Rܶ"qnKLθZT6'F)Je)Nq01ɕ0a2zՐsWJtbuVn,{6aRgHΕLKgVSͣJ15gJu[qc+hN7B '.MrU~* WsHVa)ΓX嘆@9+LPk x? Pb\aV08hm0!48Fgy%t[Edu.V ΥN<˜t00 k[J$S VT.2ۧidXޞKڔ8^MȩOǫY + 'PY|#v2AoGs6N*w05-V(2{[:$uX#SmOKD)?s%/Zl6H7=>+f2Sν7UuqS-Q{#)*5 PdKְ0tp