SQLite format 3@ .0:  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 v $T$ ] ZF-UNITY:threads=6elapsed=6.331cpu=32.768gc=1.436factor=5.187zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b :ޝ/ KWB5[=} }lAxYOOdjy4udL9ΰ| o5S{{~пs>jJ@Һ! uH\2gHs3˼+S>)SI'QHM7wi_{tSEE9\G+b0/ØPسYD<zr/Jl<K˼SL.ȳi ouFFN E1fN-c܁%:s_<Їګ,*8bǩRY$[C=l HTTH'^&,xmPr' {75Bz'"BAM=ZhHyTFp -;^}, 7K#7 Gr["ѫ "yH q%Uv0߁o{n-[V;HGJ6]*cC)O􈱣%Kb/)~ֱ# UH-'*%0r=_ڶazXGIj/yլaC/2_0e,Ju'o%F?4g!m&HJ o+J-=gYZ7zXZִF! ha]ŗXiɟ9 i:4V;}A<<ګMP7i_1e[kxfDt'Ra4AEk a@-tz O'#7z<[DDțX۞))>r3ƛn4 J."g˂:GppM=Ҧc n#{GA#$=oC :j5cU5e\ZdK78R% jT֑Q[x':+3zZYO' ygYZ7zXZִF! $^ ]ŗXi%G˜5t>gx;w"?%Xv~ Le[`OM=#1[0 >'TtzѬbe ɖ|[c LrX Z廃^&\3^ayv4T`B`Noy}x_.sKsLF$//1WGf<F(rU>F*3DyPUXùOI1ie> CÅ1d.ꁳQD0֔^8ΈFJs|؞i[o4nz̫酽WIÏ{C^>Ѥzrh5?j{x6s(#i[# P7Ԭ0 rk|nQMWk-5C}%Qn׬RG#Ȏ!->$=8{5JvnsGKٲkoe A< Q. t-KAĜ_̟] $`{3?x!k\pKr"m\ [үm ZEPrO(mŐvz|wALHU]ncH *EFj'u"uҎ@i~KGGŊ\ EϜVʂ3ZWٞ ]t^hUDe gd]Z[]7:d&E5pX8or@[PFGў ,*%alImcxdf`;X}B{cdHS"[gASRm5CEt3!8NK1taò/N9≅ML5hэx ?nT1הVYDI@g)-+"ShI d2F r{S? >P>ڞ]4``yӓUjJql, i3TyzMD:6v