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  ptL| ]]Word_Lib:threads=4elapsed=43.799cpu=105.476gc=3.536factor=2.417zXZִF! ('t]ŗXf[&MH-c*Z'@OD :<Y!?$5&\qF;^rc^XqI=.#=|kHfνZ+./Tzjks9O{Z,N :04qC%_Zi DVi׆`^Hh/ٻYn.f[ 3b⊤&&۫L-Tcـ?  N$tm4- Nͻm$ kb~R(=G'ׁsť;]6w$CrG$=sS+\@Xp',X}f? dv\E6xP@Z+џZu``dLf83qd<I-;rۭgD>N vn"QKЊn8y0v.X cKSWKfTF$vLogX9Eg ϩ'%sI ^.=E~gp_XV>8=۹xAZ>V="/at){_cxf 1bK d ]iZ YTp3n^Fq>G9ueM:rc-\/;DZAZ>@9'jf( ߍְxfڧ}62pKtw)9tAhX*%ةӵj5^4=iLHk)뮤-qcu1;Hfzls F_Acos=Am)2jkܑWOܗ=բyX=} P@7gYZ7zXZִF! s]]ŗXiɟϨ:}(lZnFp}[sWaE󇟇 ~}   Word_Lib  )a W-t"\վ?YUk gE#;tdʲDŽ-y [5kF>hފi͐!u8B vk,? P)s:jҥח ?ݯLZ5w9OGoGF'; *=g% Y\5sjG16^hF|"?Q3g>.-? M`39Pnlra:UU>#ϩ{td;+hqmU2  J˛gYZ7zXZִF! ]ŗXi%Eb⬘Ѐ%HΦxPބ6/˄)HL]퍺tëI}@I {.lmHb )ٶ.g%m-CzH[c_S&o~ AT0[/sۀq]%s#՘@zA;O! {t{G;O1:5F>>k7N]Lx_h/OVL'Vw!w3}^guhEozXs󰣶<OM'ɰQ"**Kf #w%Sh?C8P\$ubr[}1(?XHn:x RR}￉M"!FQ$U'fgE9(dK!AF4ё(MFW"amA[ʥ^HQ!XKv{xnBT:Xiq;GK`pJ3G(?>/K&a5*ތMo}%wkW54`ǧL =UOٵ6X /m}Wll|m7u+D'+UنL=w پU'$k`?Mg_1qZ1{zf,W%Z12_RJ ^S9 Nr#? S1h|xrNA(dxfM楏z++%dz p="7%.}74 v=ub)&ޑjoI,^oѵ 3%IQ\E4[&:˃3NN[`*褬q.ʮT%2rFv@1*"H%DxQDZ㻽Ms# 0fzIYx"DFuo?.@[aH_5Zo}/4^<%50<)P=hq;ꡞ32t1]ٱ랗~| jMQ 47߿XkF "SO=R36xp3yC`yD[5~=#B5ʯMv2V|hmÌp \(XӕK?T6vDDWQLanE<ekcJ8}"V@’SRFU~tz&xvǽ6AhPw;M%lAzXڬZ:} Lr0J4oJ {P78z CڧQ*ȂJd֘ |ś(6c˥jfh/b/<[.ݘ{}ᒕń>|4, &gA_*M\Lא/ddR̛ExG"XٹfWfkDcr`*aO5 ڍ Q`$5e8tjD v7>=SrbwdP#=$[ V={CM?}1딇\?M^n7xEb?HAݿG*HQ͜qPӧQ4r[.\RD8sC Vg>3?b d\#VF줏RSr OwںEa\{ɏ8o?Ƿw495~qh:e-Q^^0hN${{z'\8_ożDET"U{pn a FUP,ԭ<ǫlY)Z3F P aA5') *HV!ۿ,Q0d7v:˸?4ESXFTFWFV$W-j4pF|qB:4G;V _K Ŷ~ZǽshVU)ز_|fόxxsY"R~T1 YO L+_J3tTEgԃt] XPw5@ai&ן72_@spwZ.MT?XtC1uдRWPQ?#yLHpobx`IHR;/%$~l_Tyd>͈RčMy[2ՑFRRʨ:k:Nk|(OZٶh.G=JJ'- =) Lt|>%Yq DgC$rvK4rTŽإ2q^4򑎣Lq뻦I"X6[CoF?"RJל6޹5'}Ψi,+#pCn>8u0J@#ށZŹ7h X L*#)i}J=oKM3`sp"|&tR]݆mjy釤m$(ܵ΅ $Ԉ cgYZf463e6237977d84fcfe505f02451c65c5872f57487d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 e0ec58326210cfc58d91b410e3bdbb9fe9c4c5fc281b1b11a3fdddbb4ec89754e913b32654d2223e