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 44I l T ] IOA:threads=6elapsed=7.803cpu=33.244gc=1.252factor=4.267zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K e8b勳JͤdU/`"!K[%USl06՟P3%~CM#(T͆SݜC;+Q@>x'}f%DŒ*"=4i}B'' 3@G:RqT3s`7S-ބɜ/ %rLŇdk>Fg;Q#u_P@#q-_7q5o.Gv(rnlQ՜HCS4LЬc" ƧS𗇙d[\X$O1BZzKsgV]Ƕ4C$h^cW3zyr1UōpJ9&Z@J; p1!xf-BM7= .MݏgYZ7zXZִF! `~]ŗXiɟdN'LvH۹)f]?eo]+صV$I[hybWӼ W&Ne9DA+XYi΃M+xZ&cF%^<8:DvEͼ9K_`iTj sۀVs4aZz$YSܚiN) BԚpBտPKuEH[F_PQ:Ns&垐*p؂1_F˽ʓxzQPJ~*k5<ܼ$feN v2"nVT2Ds/ׄϤ+FaBgE{T+N0 8\[gYZ7zXZִF! &]ŗXi%@`jB?zB04@_h[HcApﰺ@(ZY ˞s{F8dlE/+?~/פ ,Ξ}n5Kg8xS3H%k,s*w'ȇmn"j'٩ƃ)akȰ!=+f8ߧ:dh&VªPrT3ó"4TH Y8'p/5;8 aƑvg(XwG|ʪ;GM>jИB~ nLYu:ߤQ9 G/i,x;\ "gm72Vf]K]+o5y`[w=/hC[ D9A%҇"Ok4gG#dh4y;á'ꃉJucɼ~ 8hG&>V}0/G T(/wq ?W&e!8"ؐϨ NS*`t[[{c )uyIְVJ52ݔ[c 6c>IymN7XL. ]d`Xֿ87l\P^OM;T=T׋#5R{η޽%uJF,P_RֆO6}%V0y,(7[@d^{2 @(^j3h˜./Ub,9-WX IVI"| m\O+9"nY\؇10_-|ݝLyLo+BE#nQ$6oO'M# A$)Y:[0tU棃aE.ec dD.1wM}@EgYZe36e783912d08c69665a1576d9aa7e58e17cdf7d0a23064c34709125a075cd68ce8f561e647f6953 6850f216aafc89fdeddfe90aae02e1cda8df6a36 e897a6acbe8eeca22e7f8589619e9ce1d0f45992  IOA