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 N%,Y.[~1%]W–ў[ a2ot]g-ƕuu]F*mGg&9mBH C ?/)ܤ?JP *_V$⥆m0Gx}9],akc.!^zbgF +Ͽ G8<[:L[e "Y~mJf<i A'ż`m%N{-&!rM̜9&NfQNx|q*%sKʛQLN|6H*^#Hsפ^|En0OdbdReE5/*3>x[v 1 qk@D%YI2XQemϢ%2iAt&+Wwt.V Vf\JBafh9+M/Z#U!4#pu7i|C ^"3Ψpn2akەﰢپ_`'Ts9=E|!G gHRM1?;~ !y6hnӤ=5XFHC~QfkIaKͲ.Ju;P +c5G8<&RO)lZ2PBhYv#|VmuDX Ngm _BFUFi}fxfr20%1.U'F -Q)tl?$s0{M)*DbjIDe5jPRJg F kc`nSV$ =kMFn:!/݈‰~𶨣 LJ.qU'?~Ŷ9 5ݎxF, A=t11I5& / ,P}ڏrlnL@P%knʼnURFN ί' ~VŸ-eE^C/ہM([x墍f/g gRe~yKnih<;3z\)ۦMS?~ł1/OB}LzRHW/[#}`ʥ:DoOWgp\N'`ҟwueeA̼S-v8 HFZY‚*Vl,7Qb6xGd' 3 s?Y!6`p:![Wyȗr^R@բW(O$e') P lu4-zCI4%q f\ lUCY@)%)E1t#wƖ“۹`\R4h_ XLngt+;|1*8 cޡp7 $O1 '#Z%:{ V {, Y.w k+IyQkzl>bٍrtjHl+zmB%yMﺳ7 :Ovlc!??w/]ݛQ?ǿ˖*"<9CxK467 % UPF_Firewall  ae\ Pw_xـ].D&~Ͼe}&B<T:OX7 K tMa )w#gÎƘq_fw_*k%sV}r^3 wJx4a"QMKS?Cv[‡gYZ7zXZִF! H]ŗXiɟܤ#ʁ<'\=4x1@Nz]AB3:&;nkpR#=?K(E+ɉ͑]y?ei> ex YX$gM W ΎӔJ"x+D0c~,E;6LR),d˴R/IͰj2>~Fww*镔3//ǁS[HR3]=Z:AXN!"|"ʃ]H(H7ׯ|oDs31 iP@m K:ԉIPB>u̓` .ԣ_m r|R(fVP f.h_ VxuКZ ᎘0;,"O0._-ħWoF$IBgYZ7zXZִF! ?:"]ŗXi%>gZSmÇ ߖFr.rLE9 P8E[Z #KJ/`KA(8~ՔeD\۫P9oBk7z~gBq8ܙ "wNlvqvd` 0ّz)"OaȩtMe"E,jB]lQ;9 m&m}Tc̏nӐgPDJV큻m4eh-1,"0i>[eWnP oyD#'8 v"^mP |>ϕ)c^2۩ny㬸Q$za*7vRlo)^!2Q4T0{ژlw"g<@#{F؛d>rGU]"G8D+!@Ь&~}O.q=_|daBNLaZz6<G%rAM86@R&ԃOנao5Ez' ` t=2G`ҲmWфF$ ;w\H}%y!1A/q@ ,D slg ,u&T3ϭSuS$d묊㑗Ǣ ;k=_pi!4,+J|֪Aj?Ģ^u!.\St.3m66XEyȧyʦ)!=VV'y\ ~1#,h*eěeَCVhG9Ah I> Jan1ʆ_+YWА*RV|j9?SSpdQ{S_CI^"I2mS6a*HSP/be }z'OۃOu JɅ<#t ?*!֥ m'?>iK4Hml ڮgxHdWѠAmP9,B/ZPXI,ˣIEm=Gb(n˗[ [F^a o=RP>Ⱦא Ri*^m piu_ UNj.Nꦷm0ԟ{>]2d= qG)LNÑZjC7AQ0kJC'yF1<dj$s7cRZK* ò9Aǁ\{UwT$ ~!.?F0eÆPRhpTu~YQFW<܄,B^[a|e.elWMgB nMGr}-g픳(lɅ|Y; g[C p*&lso5.Uȳv3)~C7z|<!=D)fdf@U΢p'Z A*|SF0+^ Z?%#7$H_?ܛ)Sm]LEt a~97q&(ӪT̕3JupcĞda3oMʧ 2ePM`L} kbXx?@U\3X1hދ#N&޲;_`WM锛>kځ\#T_d c>DG^lΡxW&ɚO1S IƐMK/)T)|^E3vԭj 94!VS75O Eݼ]5 6;Oc,FyL7ߪ<{Şy+2Q_qz'V8A,aI熔=PP< ]}N hZ X${NWc#2%^©Kv%ސo )=HVsk'u~i~QyU8`D΅b! \;.\g 'Z:y#xztH(zttevFRFg9MI׺q,f=g7\1xEL 6ĽO5IhZmZ rGNw$\OZxQDJȃ&e)/q`;rFS4&Svw@v3=q%od[#uU4JpԷ2'I0ꋾJ,bd9KHcũS:#܅h; LqD9 @vM' Zs HmchT=_AНzy $-_(oEu~~`9͉@toLoDW!VvGGbtxAz[s)!BUrO=[5D#L4ej?ao[ ai&(5)h|I*{1_˳E7^e_n. %zcWh-**ΝRBaC f[_Z]qZoJ :P2`]6 Fm_7 mT[i=wюZ+Iu- wÌ4_̞f&N: x8^&PZoEȻ>2F:b j/5۬ìLoMu[9m 򵬓GXШ9sG-- o70$[2#.絖FfAw.吚pa*eli_ ͯU])o }F߭Y'%(T5y"mIӞAJכ됇YRf׸݌)aS㺙(QԒ'D;aM*'TÈ4$.r`]~ 9(|K#0ucq^3/a G4-mu, RZƔpE[W|8=hbљNhVe1.!A {+T ){俽Q!Y&Gp-R.q˝^;k2xxДH~ ;>HƢqZ"B ,Ul&Q<(L ȼgVL@qxrC93d_VNJa;)#иjkKVWėKM}PEVV_X?LA)m, (V,#FlwcX gųf G00ܣd=mC<rYQ`IJnc 9F~СO۵hmKkпE}-4axQvI)EYg?Nw.#IX0dt$ CĘs1Vt2#=̓ *bL}M*5iQӼ:L{o~oET4Ved  LOjJ q sDvZ4DCU&#y)h1Kc<ҷbc Af(Sqhb ;ԞA  @g6GߞNP{}nKU vdzl$K ˩ ߐ]2-O|ʫrF= ^q}tzf,Y 1ΎhGUxVQvp @2To﬈T"݂Tͱl[Ѷ 1 |%Qdm[/&6}y {+rZJ5dTYZ\^.1+d\Vv/ƪI-?DI*!{cU"2"х{Ew~++a?78A|z4xe/?>'&<f"ƟzCO88 xвC|L*UϦ?SĈ#YkR|6lͯaJƐ}{DxUw\Ìyj` ">^|t/6 xFeDWo_eJ5y>VF?if c̍{YM"kAWKGZ 2&hg8.TʧnռĹ5˺tXkx7]U4G?5 y^? ő2iiI3*z sEf'TDbo-/xj,rN |cqdܩ.;g 2v"2$%bxX̾aCC:*KpJٷ")U"_ t(ߕlwK>}QӮ+e,G_FtmW=-5l8{$?dcKWƻ BAQe]RէU g! h>wԣOhښWi񓹶zjP^u/+6] omVFy ?hwRE:+o ۑAF>#eNL`qƿ]==Tι\!Ե2*M[pb=޷i'3D2˔t~}^Ls|VˠFL?5 4nRttHDҰAMak8R {|3VnJdDtgtH͔7 )Xҳ)$_&|(f\k{$W?Ƣ".xUZDnWꥴ0c k'C7">pƽd9Ӊ ґDP;%2p,S{ƹ>K+P :Y).@B? >?1ɬ;t#h1S"j7v?vKaDY#m_Yjno/xRU`֏q:{mwraBoDw+b׼)P,U~!7ݤazpCWrpCQh絥힅1ˍ5Y53H:(,z)i)Vx&pn2"R5kY< fw7Q5oxJ2:GAWN :j>fp/Z+Q"167c䃤*.~