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 * l|| ]]]ZF:threads=6elapsed=12.974cpu=45.580gc=3.108factor=3.517zXZִF! m]ŗXf1-) enȈA"tr-j. ZbNVH]~< |.Kmi2]ykφ{]D,)+@^8Hw,yk`*AOlFIݷ}BՉд h =TiȂ**2@Mޟҁ9^\ř~%ޡ"Q i'8G^ >'Z+;v߯g6-{Kle{-b'ҿxۼ:Lr7(-/ NtCCO`,YL|[TKH&S)Zs{2H{ 2%j9*v!ťiյU75(rְurVj7{yPQm4)49Ww"uяR+w xrxw8gYZ7zXZִF! 7]ŗXiɟ 1FE`穵n=QV(ѬTw!XG+X*./eLx]p4&/jO/3<#5S}vһפZ[kYw e-H^޽4>>Kb)f)V̟]ŗXi%@^7mLVeh ˌ6*g=*{fXjIמ +xWԔlg[7KUfr%dI<)WK[tZZӔ]z*}d;s GXW$oz(5ebubDZK 1j?;z'*iZ̽v_ >aՖcW5v ?$=4/10˴rMۓ3Iކ5ᙬd*2w% ZGyx׿b˭WSȎ>|'sO uY`cX֬PT9R/$uysI5/} Cz> * Jǒ[ѦF5HV26jx;sSQ9ѵd*!t]Me%4#Ѭ̲f|ۤ UK :Q:YwP ͙\)= R$>Cެ6gu5`3 /(IBrҦ9 u3.XӯN?r))ѾYA7Q6͝UUĊ? B:lk.Uwdqb+ǶُoGyz.ۡbrC%/.2,Ɓ7/+`ήX̯X#0#ٲ\o*dv:ZγB-pI OAÙ\>w"[7f (oYf KjzmETsUMU c ~y2!] so!ɟop07 `:{gR_& vTS0=0.zRXњ*,rHKR"f׌:Kr?*g,kIQU^^}P! ewˈ >"es+#āؑ!+=1ٱ c,h-4YhsnjV T؎b_4eCksȘu5~疼Uf Kmh9C=U`\F{gq9h!nؠ@[,֒c^YӆԣyE 륑jD|Qw }{gYZe56e9310ac6dbf46f14c172520170472dee5eebcd716f8fb9fa43b4b247aa7bc0e733655554f6562897ba79238fc476fd6317546914e42c8bd8b127f  ZF