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 ! \  ] IOA:threads=6elapsed=8.109cpu=35.224gc=1.436factor=4.347zXZִF! %]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K =~l2?kEПI~]vc2y"j8>y:paRaWߨLK"D\C{ >xl^9n35F7ix,Fh-|e,$3bLvd-Yp\g6ukXX2 CQ+&/v ԑjPquEHuk]d|%Ç1}~SpHa>vb~[6,ÉHɟKSKLwP+(ՈKhԧ~k!}+׀Q$֘[M˔L XyI%ɗ8Cr\1><ћ?ҒϹv "|hhX׃eN.XdowKA d18eU""Qg*p]hiĶUv7$lM f`(G,?B#7dA3pC81~[̠O$ +ڕGr%5+93ZO[NP?ԌXC('l JݱgYZ7zXZִF! )]ŗXi%@`lO$t1_149GsMӇn3‘{ _IiOUbo/ќN[eJ"I)ĉm\f;[LGL 󬊁jBe.9mrHsQ` BwwG8`%# DvkF3FR1(TiyDID8^|};yt+ _gҶ?^L~[K3+Z'fB< AxBI5SNbx|a Bo>LNa" MLDoL2.zjhϫ_HƯMjO QߪU̫YDuƹc #e+EF_ zܺAPOCr!/IzwąV^}څYJh&RG'aށUN_ۧ#<hಧE+s'kdKW֬;|WзHnQej ]CD[<[w`eI{h晪b#o\