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 ||| ]/ ZF-AC:threads=4elapsed=3.308cpu=11.200gc=0.228factor=3.397zXZִF! ]ŗXf1-W'UTxlFO` -b7O'W{(eJ0DClQZ u  `#{^aWE?_~1K&^NGț2@KEƉ4]S;Muk>(MX.̬".*MǑٺ[JgK.vRrS/%Oץ1&%\˵g`x5'>38ky[TD O }4PqQ KTgYZ7zXZִF! ]ŗXiɟ98c tؠL\yv1OH(:MYTGv9b/sHa Y'aMWX"rW,'\{ 3ul cAx*9⹔$i:2ym>G&CJœdѕ¥-!"9`_H>(;&g3k+V{:%r]`.HR*L[FgYZ7zXZִF! )x]ŗXi%G]>S?fQv;)xC~DdT\F[Ü!sf\)Lem4fl>=0#bhe|tIbgSh˯KRU+ ٝfcI?Ӊӏ#?!$=^l Ef ~(PB2Wy>ps"!64fWo5-)4sN)f(i6g#×MSl nr4,$w8{'.0)׹ (I3kHu"e,5ubyyF_|@(zbSI| $4̒A`$Jz]Qf\Cp=bh}&" 9kD'3朰j51 E-fȞVkG7@a @W=`) x''ک|T Q@aB5\b`se{|>ZB`wEMJ%2IRC;?){(;PGk7Y`Mk3rPFd%|ɀ8+Z2" c-J#LzU!}rj|4E ZҐ\EyMxq1&~ O[E,!J?v!/-FR}?Q9txp&,SF [8D9p"S,u1j !/]@ͧҐh?:)RU~+<_4Ta8ں Pڦ(e;#CͿ2G6"r*|fRąxjXuc!a&xPјKSBgYZ40e9e3f9e275f1a5c2cd317474f033363c4f21964e13432f40f7b1835a151e11bc124aeab3c9b529 1ff482a381da2b97c350b0b7af8e7b20f87f71ab  ZF-AC