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  <\4 ] ZF-UNITY:threads=6elapsed=6.058cpu=31.488gc=1.520factor=5.207zXZִF! E]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8C~Ú)\h. @u;Et7k0H/W;& L4_}#C^?LBe=cR\[/BIq%mfjZRI{qKf`Swh4p{/,}Q1ÂLMHs9hm9¢r"+4XD,+YwnkU WşA>]s]o3M똚g{8A?kʐA'\/]+F1DqPm[b;T+ .Em_Ѝ mqgYZ7zXZִF! {S]ŗXi%@^A Y>8C~M 8}ڍE@prQm5Fn<e rBf+dtJc!\`ڿ~cRl/~iY'_z),c0lPO\ ydN087 `"4=)nc,DAf6!C%>j/ɔG8Dj=Ut MiB(HO^+D$Si;Si73i t7o|\uڭW_vGBdT&9Ñ2({0'}aA.Nk21dɶiJqă8 `C>0À2KZJ_3y0a훧'A}e8቏d,a1u%KQij27MWčTJ)Ҥv^#\z akYFlW=BJ"ۿ55o~]Bl%`W"ζh  ffع3"+ {!? W?X,@S&,9F]t;EU:/wN#X7O*Dzk{]@"p#W0GRǷvJ\w ԧ}d̕miavCt#f'zSW6H 2 < u.b#69]~dIGN4G 78$k ]+9zeV$zxI$=jJj{'M 6E)cDwt5>BIgYZ57a539a1dc02f3b3159eedea47c9eb964dc113a7f695e2210c65e40e35d958c5ecfc154ad0d6ad65 bdaf85e94c54041735ef7f01d9a6b3994a2f9ac9 ac45f380f3491d6763cf12cf377a3cf3b454f7a3   ZF-UNITY