SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 G%T  UPF_Firewall:threads=2elapsed=134.045cpu=220.444gc=10.444factor=1.647zXZִF! ` d]ŗXf1-/6vR[y,/kⓙW2$XCsYVOڱx0)F(b 2fENr{0Wp[]%'a;EU*ٲr(N2vM/ؗzk CS(Yg|sr͏U+mQw+ 9m{xQf!&ׯU/ƍ\,-=6XD,qGB(C`DsՇ#myK0 7`B*]D T(HWF_ͅ5|GSOxa"nsz'[u,YU%W~5?8̱r yW'@B(jL@ U$OMx{V: b곬?Rb3Gy1sO)Q|jVQk,* _O2~>q7γĠzT%]B9ߏE'%<^CeC|1 , Շ/Y2KmT+ӒIډ_\gH#  ,8ΒBI5- \VoW [Wv0PCV KO3tBBD7l*̑|`lzګ*y ǒg[7.9/nRQAגښ^CfW||}`BŰFze>KhL'֣~K?0Oj`!N3(Dnino]06W-Uw>ɢ54sxSDV"'NO^E_efh:_hhZ>xn,˹:<1//} ~WKqx;N c 708R;IfbLK-um J v=cp|n|"H4:%^W~iAyFE7χh(g~/y4W Z]:.Koz H s$`9& Yg8ͽXbM}BԦ=(.N#SQ\>wo%Yay;ťh(;!N]%J˅}?Z^cҠ2|Iri9!J{Bq(x8C^w Ӵ?-e9GHquT5Ϊr]w&> I KLZ 6Mo̚uò܅w߰wyhw22jj?l=IArܪYAx; b`d.ⵢ,M'4?.DC3rw#Ūi-VYr"-H(d_;7 KY- PJj'j~mKźUH* ʡͶhX2'3kS҂$tr)>zBHuW B1tMUn(Z=Xn9Rt aI6&P?#rŲÐTr iJ?ǔ5:Œ/,Ǹ^_/1?^n^-n|w]6c)VsaqQ=m %..f.$p<t/u,ʟXEz5C Iket$f6bsx}D1 q6:JHqEaEBӻ_ܧ0$S[Knjnd]xh( V vψ/L$egYZ7zXZִF! }]ŗXi%}S oi ѼMI;Ӭl%@ i̱oOh!QSG/ 6Kn$s%xVVv9ST;C_M㥏SzDFH31日-[m:fj,+;-`7!3Ҷ$wKo (f̦TxMng [ ,P-D"m+~*Se!<0?ZXD]FAHkD$<J1e3O72*\MY%`~HMMZ]jЧ1 XX"åHVAx@hcVJƆ;'U7yd`{fΡ^$kv5R$SO>4˞8 ui!U$];*P|ALTwo? B:l>Rp'bt?/,6߯ OˋYߦQۉ73Ɍ1A+LAL{/|';y=B-SU m[&FʎeXJ< {R+|j)6?5M.Dt%%xyѓ( + i} % UPF_Firewalli|ef,Ž{, ~9{Cְk?~^Vw$s5oryrlԱ^}V;~2[nЬl!th,#ِݮ$4lb g EQ{F=zc9Y6KU_]+}C2[p@$E!Ӊ~uӘb,`9p6 !@ڡБz^XhsArS_O+.JZl0$- ȞG9 [.2F^$S7&YP|n? SBVYP 2V47Ʋ½8e" [e !:+7IdǠZ-49Ri"MX7,NvoȊԊq`ÖQ.Rra̕_XcuIVց,Si)ǡj́*5ݙ}=:I&:+^Pk9-I6gFqɑ!=MFOS#eh,V!F`Ȼ# R"s-$ND-x;m^9qIf<ė´7U*y 7ܥsVäH.o7Laɨ4kk0" 05e;6 =` 5SlHٵٹή:ʋDzTGiy ,|Bu/X]ˡF. ޫ:HC+-ryJ!L+!"gPyRaE+U7n_ Ü]ƽՒ^6.v rɟ.lFqKV8 DRU9e}^϶]aK$03O EG!45DJw! Գ}^6z3Ǖ;ZMV & 1`%%D; )QDR3O )c۠<~s[`إ dDvI9;WUܴXm.=^ >9zߴV^䯯uGF5].HC"Gf$ 7,/)i{Ge-6:-%-S?D_tz4$f9{84e&3"xZ 1vb1k)*a.׷J/d1hU^~Q:p`n3\0}C 5*C䤎ZgN"Qt):z!9ݬ/}6O42|$(^# TDG.oG7+kc_YL. O-d?w [~(1whwGeVCEhbĬPaq^`^p \.k=nVP"DYT"4v}!؊]7}֙q@0'i?ZԿ+VS]n]lXB#[rKehqNj4*ܲnPv?/n4n}aGr3=+Qg?a<\ga^]6F]"2g5P<K^p#@2V ׄa}gO^0? 7't  -<|WԈA#dސ&*}m#\?-Kjؤzgz͞SBnVF.*,Тuo  fIgH-A!$&_XŭKw)ASe(:ic-ۿߞbD6v0Yn 8ΉgF \[0DnyȦ.i& Kǿ8ü~~2 J g\OK3~hm/%k!>Μ!FGq8zY30Y,rJO!VL)#Wrt8@><Ýgba;3ٗ[Ca=tkԼ**)8[ NU_LR:7)cħYW`- 873l9ē^lID( r#X鼜8ɼWMLI(nf=nt}"y*~-.i 'yi+́8[u2i1k4_ )Ưs jadPH KppR1?nt >"+.Pτ1ߞQ(|]5oSIUgΚfFMXݥl@cn*+Sw$ %+:_4QEu턌-fnX~tuυ#jxn x効< ?bee\g(M;Ekl E%M"UGw:/(ۤ~S{#>40UU4߃DofrţB*C=@T͏} {X^/ZX5I 6\Jfi%7V:]:}u>ENb4d!F 5M?M]jj ¬]k=tg K"JMޅ 7Ω\ Y X?PČT~wVZN%BA:5^ wuT謸OԤVؠw Qn< cƌn .܇Ki 0&S׫\ZhQw]4&b;1 wPdTz|^)8A Rm*ffG(meXOJ[eTڙ*s)qs rjScR30ܚ3̾Zc7gB.+fo?ÿOBv Q.*ZF!E~'!h-=w5rM+Κ};v95u AL^$ K\oĢɢ3}ϢēnՏx'H{A̐\'[@PwMcTsV vh8nS ?FaX=$J:t gJW3߈:n[Bcqٌoo[j0aLW(M Y(}wf[wFq0P_u@M}VCT>F北*Z \`1&딼LuĄ>G@44)2 xHXߵ S}{6R\&^'t "ځ{́Ý!w18C8 hVVG >ݞ/c\iwq2< `oLUa;4/@6ɜ:|"hߗ&FȖ;Gu+߷9GNrl8f/3+mM{iBXq Hs|e:菴Y (r[f3Jk`bb\t'A[,A RͫQدL *Qoտρe`ͣ: u5%D(˟&ac)F!J#x;Um%fG뭜._L)4o08a/pFW@%Fa~IƮ K #|H}0q+X%.gyqEw8r"6y`i ^ *Sy$}2lqL-0h*Ϗ%OK'-{јN[:HE)7'x绌$+frH4URPTJL1\?/QC CbZf'^B.j r$1,["fLdP H