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 w ,$T ] Trie:threads=4elapsed=20.507cpu=24.152gc=0.812factor=1.187zXZִF! ]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~m 8t'l@?h|% 7{=y1{P4+7͜M bZQ:ElH< "z¨"e (z[eo4IkԗJ(eL u^k)76r0Srj ?,gYZ7zXZִF! |M]ŗXiɟl٢ :}*]Fm Įc x;']V\ “b& ȭ.s-i}Dh }YZ7zXZִF! p]ŗXi%ES3HfqE::hOy3`"{9+vՊꐅ]{-ʨ2XC)e~cm%PFE.סNg+!b`k>TH7Z5\C-|*@`#.Z!GA5*%{}j7G09m'ңmY-R+nٌJo8lq;#TkٻH$N蜐9AAlֶ4bh&dau4"yz9[*Bz#=x; Өm)+ـ8 ,It.JW<˼إx?")1WxyGdKQ>hWz5a2ó.nFW-e =G[+ f`>*"(zIi*! ]%F%xx'I8uui0x32Xc~ewF5NvԼ9iLM]ص[5Z:Xv=b׸ oYar2IiRwx$U LAe^UƶAmr%Z<{g^982x3Ңi%z! ^=zA/R-7Es'TJT ٟV .`vs5f^;:Wl^r^NsՓNՋB>R!Vc)]+NT\ >TN! xOް!]ۭf+XwBy 0O"1ivlơ`ٔZ]IPH {@*(_^ wGSzF@`jOV7;hհX+x'Hev o̼Am dʖ|_]Lghm=0 ќkn4P^,gP\s. !2O܈nRӰ @qjMNG9$p4E<3N?{+r9O[/nޝIz=hi& ࡀt0kEq2I>^pR 4l≶0$l.`tC)K\9KRMtC YY:x_FuG-!ur)XEҽn6=\1c.D+IfJ lGs3sha$VoFp11@"'^mVĂJ&| w2NR*Ds²#qxLpbuZs`ÆKِ* T)-xx-bO* Tw0C4 ts8I獒0.$qE+]b6{$JxRd$E)nk'(/\^KOE3/Q0tO!u$e|flz.܉5+9'>Ư[A+ Z YTLQ.ڀi3xm ֲKّ\ UsIh@Wk:b*D4g-/z SRazb t.YT. KgYZ99284be095f23780163c637034fa03a5b2a2a02576b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403  Trie