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 \' \ $ ]]ConcurrentIMP:threads=8elapsed=15.114cpu=39.776gc=2.357factor=2.637zXZִF! ']ŗXf1-/6vRZy-`}$=O]a0_(0hzbn0>LaQRIԅ4qƧ)hcML vַbK˅s [?w@qɐ@\h 21ng0xUht"GO@myuZQX@ו DU?>3uB(ݶʪ K*'o[SJ~Qɓd|3*L2ClBX8lpGS8'B٠MH B=Hvj}ĝAPW޵p!|r6=il-mܢO_;D|MZݹ?Z3auѨ-<>Z +vP͝7R IecE~y%E97Y{v%)zS-]fa0z<1  l(??R):My}MS6S nQ~~X-lj;n褁ETK H oq[]#Al>gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wH*YX J;l28ONпZ>W &vv綿>K~ɗ5 n5pfx ~\ϮGtwQ& ."%׎Kzynۙ`3#` ֘fX^%ݦn. D*DU\,SIgYZ7zXZִF! h]ŗXi%Ed}xzjq6W`ءK VK R)σdx6<sʗ$}D2O?$Csj*lW߄(4+<wxhd;J|{`0'2$QJxDziD)wE>X=g‰@Vr^Y[1"rS+g]ᰲ) k3d DʌHꍔ-ƖۍS[x\` һs*Zl@XM d5vYRc Ko.}qhybCT"z`8BZ>L.."j[h2w[g n[SҵR?\Tc!@՗_QV A)weU:j3@c 椋>_AXjX0VxW/Kvr?a޾Oz" 4؇)?#@o痞 Q " ;5CL\7m/:p 4'Dy5QwZă9a :=pyE,6ZWĢ%G+O`M6z/ӢEU+d׊*׽Kx J% [$/m|wemg }Iتyck61}?_3O̤ Y44[j'6uC4y8k mc/ggn2fdgՓK:إcvkfժny v9+ޞb{D H%<߉16> _50[jS3]1MKb[nlO{Vl3=CN!,i *i:Vp qlt2귾p@!BNd+)y:]?%Tz ( 3~S/1 Lr@Xݔ*-Tf2B?L)grJB}1+ǯ [.^̺'JT15㿌$U4 pփ062"ӊ ]h#MM02齔B)a˵ YLF&btͪ[Ցm vfz$ۍGNDcKHnZWx.Hs9$AZ̳k+[3ao_N&p2o'.|F&cjn2;g)* ?y:2k򀳪yd55 x5Q.F~Wájq*~CJc)ifvdt!Mdއy,ȋ- )vru*f'j&҃H)a65$ 5,R9P'"1X0|inN o"4??LI n+4KW @z/U*i>my,&&5v8'8>ɟ/!hL