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 00M 4 ] IOA:threads=6elapsed=7.584cpu=33.128gc=1.432factor=4.377zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Lto֓a[.+gzYnk6LD*" >PkF'tje&/Vu je@R-Ox.X,rD!BKBǠDHٽnAiGsUgojX&-5 $@)jZw#6 @4Wa!nKtYi6B jdˡr|FK!z2قnT\ מhBfm,+`'x9݆Y2h[LTbhŊAg%\je+q#_9%" =|(;x޹–&|.^T!pA%R9d]GN쿩:6v$)WvdxmJ/LcN}:~??rUs(zL yUI:FrgYZ7zXZִF! `{]ŗXiɟdN'LvH۹$Ods,mIN2d5Vj uR'K)[ %֢8|V;ؚF&qљ% •6h!+䯣0PhYILO 2odW 31~eVids0SBksWWbJiˁ!*.s斐uCbR&0DT-̭sVV%](&23@i!ovȆ u'N~K $X:g) F5‰@dmМO^)f^’B_ =.C6;1A \bpj*Dί }+gYZ7zXZִF! &]ŗXi%@Zz3ꊋ|Yџy߲aA}%G+0}B>VjՂϔ${ur72Ȃ\ ^ \坉*ۿ$ ]Hߕ&3|Aq%Ρ&!ӯƶ e$LJ,[떰aISv鈕ӑ}X )+k~lm0=*e1,})$c>SZаc΍+ꟲY1-fmQ-6}>;0}I{ m:zjkQ;}ngtSO0""va{z/ M.^gYZc971319cfb9f304555fe3474eb8a1b19db0bf882e216e8eaf6a375ec18ca24b2ce78310b303039d8 9fe695dd2fac74756be62bf1a9c01ff965a54e63 f0b65e4aa4539dc4d45668ba3d8fb818a5c99ce3  IOA