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 lD ]]]ZF:threads=6elapsed=12.071cpu=45.496gc=2.964factor=3.777zXZִF! >]ŗXf1-) enȈA XR„z5ZdwkzӄmR.?hF1j4>Q/Z;̢ a" vͱk-XXA=Ws+|{gySC&!u9W^LPq)}KY*mFDZݳ!}V|0b{~ۿ(ݱgϽK?r~ ~+}8l+ nIр)='EV5P@bkZW풙e`gYZ7zXZִF! C>Z]ŗXi%Ed{Ǒ@E.qN]\˼oc:-hK~? k~k៞6?|Ft@\KDJ7!Z'0WSlȄfΝ.ZЁ\. o>{fP+VDžFf?D8 eHZbt_hmuXZPb婚0GnyNS b{JWs3wГXV,x;"氭LpRB=o1m>5\E,=HpMOM!dW "D'k|rIR}@apڹG | UȈWaEo۔ D DE)@xcCF3s^ ?iZZPZujDx|٣a 'Q;Or/u[./ +kOr2cز`g!bj^:fpzsԨQ-F(Zdpb<,6iGڽni`PӵĝxrM=3 AΥ`Vh]8q6"u;HSkPLF849@VU .$Ƿ$VoL9ƴLrnYIE٘[l': dy:9[̄MAlu:l({{=5V9:oI.a)Q@2i90?}'uΡgg+*ݾS13eUg0teͣMezY%d2C׸a 8js˰foOחe[hCvxұ:eaq3]( g8/H|<]:+H9۹Ɍ;6[liM6Q(VYRcsC)jBWLK./6 bH)o|6BQHְg`5]q\reA.x[ m%Q>Uy%&MAǼ/+7TUhVOF&8P7LDVL?j,AS9ͿfJwXRu&p[ n{N;2I$R|gŦݹ?-aOTt g|gYZ9439cc6d8a575a5fce1d9dc416b4f4b71ada072cae1b5b2dbbc392659df742a008f6c67116d9ebfd47eac1435ac20bae32eeb292858fda94df3193da  ZF