SQLite format 3@ .;  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 % <l ]/ VolpanoSmith:threads=4elapsed=7.186cpu=16.376gc=0.556factor=2.287zXZִF! 3W]ŗXf[&4Pb<h"֞y[b45Uܵ`v ހ8rd~CuA4$M es>*ؔJӗy6Z1Q74 "+ P+Ϙ^;mEZ~S9J9 ^"aEY:~Хx\M~`-arAՄyjNa 27~!1eݏOr1x@dLWxEDx^Bn1뺳X\-&9u|>6q¡0^9 4 |y*܄"=%zT :K5ivgYZ7zXZִF! z]ŗXiɟS+;̕*A!@l@?UVfpr7$S;eB0gWgH{F7u&6qB#_xi\ h` f`|%iO{CgYZ7zXZִF! <]ŗXi%I o9\7Ο 0t(Vf\$fZ,Zޣ>ꨇ鑣8fظrр&wT?F3V#ZrZĝ)ODPfkNRѧ۷g:D+DWCYfgqR<ۦHy$}(c=/0!ʟv%E.Ӷ,cuX?2z)k {슌lF'/1H9T$vCg))jC//OW Vґ0rMn3sLpW#2V[[a5*$aT0(q!z{m@2[HJ'2fFe~kk_-/NAi4vti-JG&&6+޼ mdبuŔ6 x*b/4kRVedB"R1xo([f%͠pzC}mtJ"D:tv80:֥ Wuh*,|F_ be'% LB׾@ O1frlgf{& 'Sb+b=CJ!] yjϱgYZbbe8cad875517ea6ea145f72f78cfdfb1cb291c65a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 % VolpanoSmith