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 %<<< ] UPF_Firewall:threads=4elapsed=96.590cpu=252.068gc=9.272factor=2.617zXZִF! _ ]ŗXf[&Rh,G4"ŐUKG, <{}wt-A3%rtUi=rRj n4u_@]4\GmZ ћ3WX;tgxSХHx#PLsaW x;Hr s2!9vzPN'd^l2 pSzɮǰKˬGqZ_MMYKO| 甊{ 0aL NNY)5x:Zf S$!5?92Ճ*tJG" Y1q-70^IՠU+A'Lt=[PDzÈdD?5Br -1J<= a u4,DŽ4jͿkKѢ%*;ڋs||- w ,t4B؜o(7FMVvA\c?;14g]y>g]{͑0ǛȐV2xp8UwESjlSf.Cc)~XҼɛ`Oqy4;sJ¸vA=<v܌.q<Քs(cO4Br-yi7 3Qa$t@XDQ4zei͔A5MboIvT 喙 73yeҀކ?3㶇8Wz)>~ekN Bd^lJ_yA0`Trsѱy!fW(jũ=VHW9#=I-0`G%3"KxZ0r9kf/W+t2֍eoN+ʗ b=10诎e0")8;\r 0<B,* f,$ȕt [T-;VB.8+scB-ũ4`5#GͽM\!AyPu9ΓՈiך2R;=r?9S&! <–C[9B =qlёUFDn6a6'1 f[4DN= g=b 8_ A}rt$JĩoehNl+&\jê޼~,%FzB(=#LHShBq⽨9g3hQXwi/NyԆC4ɝńɿY]0VR5l+dK8+r<7[AZmEID"z0p+#+#*8sP~r-AQe,MA_o,wZZ_JT_zi.`l wܡLe*6}dCؗ*tAʯW+B%S %r {oYxm XՌPn'|y6&DrNpTmqi@R ⓒ**jQeal>suI0f&݁F_K誀f9Tc}WF;P#BtwnyCJՇ s^ϊq!PJYNxF.)3J.pU3BӓQ"S.˘ 7P*TU-݅Qɘl%z61B­ujl V)?AM|]v$Қ@%e)Eٟ`E n˩wH.aRXM  'ȥz8~IJ[TEֻU^fgc1 " % UPF_Firewall  QmF>Mm"smPPxorNXufP*6yUg>_@CK/l G%@Ry7vև:*X/>e…C ŀEZ >`eizfPSr LMwuDە\aRa@  a6g ]sU,Pg9T`\e/&j*X'ezoU-tSYǹotBJJ1qam3,q=INaeЭz>$5/x$tS9ָκ1H*<º-|@`?ѽ{A8@1.R{z$k(D)pI}9F(ێ/W=4e=LFR~vv(uAOR dktkPW BEƋ\ !Nݺ%8@qI;wjwTL,Zvv/RCJ Ke[4bd*dwji 'V.=Zh6DFPZH,;I4R!U煈dv1TNN}7phK\\_#{1 BBAvMa+xil{&jpOa$) ?2#빔MR#D-./y˲҅{TFf.F~)߇Z`<މ1[ϔ,gYZ7zXZִF! J]ŗXiɟܤ#ʁ<'\=ʀ0tf`1ƻ_e (x(/ ?u!⪏e\bC>?Q2R*lOMz0C/& WuA˘t;fj'KCO!OUjTWvLd& {d4؈g[0F 3gM'_Zgd((";,Ce$Pjm2q]hi$].W{"Q*̘iqaC,!Zꂤ1F>о%1! @= J$e̍4敒B3/=Hj*xe`9`^Tf)+_|Eɟ>jN-c,r3HGY9)+x T 3SPCa|`-iiV8pbUW/'sIs:=8"-T]]PGտ}I:B \ػx*u9 TokTT K;c@R2p[V>!\A*ePBsA 6z"@[ cڄ;-!ٚnj%,amkQ{& er\4))"Id|.9,Oves4zcKI{w{OK5gYZ7zXZִF! {X]ŗXi%B4!Zz&f;jYB=f64IS&V̖n)j9;ICV[,#_XbCNK<:ؒs!몝,X 4 E\(<€$HNzuXiZ?$!6D@!;\|c 7b ]M$^֍3|\;Kz\ˆ^}k^94ߍZ97DumziuLvsg&A5vp/,?)7=JzJbg`KfH#!B..NڏNX~ꐞI{GĦfUHkA*6AhPW;˗MǛL:*clu@*(]jXn p+B(yD{48`7}t$.ǟRyc͝/{?jISlrԔꪁ(C\TC]Lر}Z7hզ2:]ZCDj'Wx,*U#8SZ +Qr}d'Q$ G?=S;hs{$Weɕ: Ur6?kW3Y^ݰz1) PΑ8nP:".ҝ/6uELλn8-< M%h+n1Ӯtkvȟ#g5*{X(#-1kO/ $.5WYZ] I7V_W澜@ iGpR(#):L.U c(GB. $YL2Mֽy-tҊp?Wcail}i*q|K <*VCs`"bOs !s.N%&6m/9*:9|FI%k|QA~"cBpѲ\K@I\&/i!\C1|#[Ķd$Ѫna ח?aRJ#g~JHDkx]S䶭#^Ҡ:ZS/ro4qd5A202̮K}@Ӄ霼 t yҳ15Z_pG&{ zc$lcCfR9E6sAǕB TA}=鬰Se\{Hb2l- g (E2-xT}!$(94dmXv+ qBs8.~);4cAOQ, yQ¼v Tb ݭ@r?ŤB&ЮT.0v. 3OzuMnI"͇8<(+ySp=OᅝCf=Mt%4gBw<6X*)kE1R.dTb\+Z@C4KvRRk?Ie8@' G?DfEQvgZTsՍFNSժP/.V 8JLDs D:tb!qcD0 ;1&{W~^g\\ C/-a^v]BwLVbS䶝 tLGh O.*⟴1l3׀K95] ;ތ4#qf/,Ml&~PVo4jJh4ZӛIXs%c< |D`٢j_tAU, Erބ#;TI"z&jf7N`<5WlץXsOXDWarǓk&Kd,pFEsw=6e$+Mz _B?jhІ }qV0*,K|>?r_Vp_U1ڂq/=ѨP`( ^!QqVE{CO9`6hߔ7l rCmH">r,,Bm2EJ'̞ 7ѳo)Sqdj菪u&|qH^363i7&:\*V#$:X1A5Ryҽڒ,9ZaS ?Gޯ/A7 AڢC4P2M$E0ُ ~v_Xns,G6}ll@(hMxԽNPߟOr'Lk׭"߶ hCѐu&¸ teO0(Pd3cgt@`EҌmSlEoAeYW"S * }CNITidnf ] Q@}EsɠSsZ n=of*st[b7z]UCȄzǸDI{^p\GS)YS`( Jz"f)* ?p7„4)mHE!%I'酴j^IT*'۾#IJJB@bTv~FS4` 2N['[uh Ip9$X>[Lc9`L{do[f숋Hժd -;(a _UL{ ϰ:EoQY C]pu.#jĊ{*P9f4^JJ l{*G @r$ܝ`ī^Cϗyһy$Xi,68:u;_[V@Iᯂnwa V+Dҹ"TDF2Ь`Y$ZӉ)aT+ܡ]g3 ( zވ0bp%d+ے T`wl$m,p9![7!S*DIO+|Lbv8:fP/G:f}7Ysw~Zܺm'AfcR33ĒE3"gAhGtz8cXR̤$@-|.[p8o