SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O tT c PCF:threads=2elapsed=48.797cpu=93.928gc=2.832factor=1.927zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgr'E_H->mM Dz)Dgj] Wl氮YO!b<4'W}2UU dl& r4DNP(/J 3%!SH^5pPYvV1ik*+a97R@O؁9@B/pP Ȋ8ǝrnpJiH<j.E #kI]m *_^ln8GWK X'\:nr ӈ ż7j^C_:r`N/[?LXIT3vPzx=uܐ ,❹0Vr~/pF ; 7b9 3ay^qP;8J7F(GJ:&Fn{GqVaJZ82(EWtRtOgW>ʫꓕVTm;ֶv jܟ&Lj6~XRDJU'[j%$ͅ0 azaCԒ>sqj<;[ S-pe}t7rWLȋ[y6L8 e>&';fAIg%^tc6mgI=u 'l͕y Ma@;HթNkF+8Lъj[cT=ȆKvvn ,6fB  PCF2-L;ߙĈYRgOKLc n$&ʴ& i.[b" f*$09'u&pzZE͍fZYyBUQ!0QeWUßpbBd.k\l ŽQZ38AXV>JG͢z5<~"DY7z*햑 kevR?5DIڮbV}?[N# k)r?LƏۉ>n,M*< CeZQfKWvAa+-^W}Z})i½ aOllc\dVyAv{ &_*pop9%\ #n;uy{ʠ!e.dZڊ8:!Rc>^BZv0?' _^ͫ'c@d!LE>g(,OТY.@y>x_$pKu/W6= %%KJ \Qf|Ky^FQΝ{|YuKJ+;<;^GBtoە.T rkK\W=zW Xh' !ZU1mk69YѾ^[MaH*l(AS Ht4>k::<',i["qF!s.5[Θ,쉣D>|!ܧ -V|e@yOďK9Vn?_av^~_PZi*#_\$wI[+&Ǧ٠{z~6/M4͎s?tO/;BPŋΧȼF3wD{6tV.3F}<_^suޝ諫ˮ\Ш5\^3 ",(&7dͺ$6oe{kj,.Sih205JӉp" ky1툥a+VGm%q~R:-,-C0I2IqVQ:|= 8wOQ Pl! գ"WR#Q!ȩf*n# Ͳa/%ґn6ɸIK1~95朗=䙽}}d΍!({*[ fnצ|0CGH>=ٌ,nvUܶ=Tv;檧"%+CXi5*62T.yq$xd10OI6bXhTuQCF*Fׂ@ǝ=Ŕ)ׯctAVY|{`+SŻPdr˃Vmj ]ꬨ_ vV;uwYzŷPW~=⭁y)4-<? $q5R@ZT#64Ly"D}GҿubrOnirB yAϑS;1LVRZ'=o'P\iyd 8>2 ׋0~5qnM39f]ob-MKá~1ZJc=3RVe+O#>?h%Y\nY kFIZ:'h{ /3zaDT2!h[`Q(-E ) 5Wb-y EpAKZMJeby1b_&֖sE-w.qӰ_˨i R{V#\6pc7mO+ eBڮ+Rnm!0]%̇:: *HMHk5U`ܵ"Ooš#&9W?qE L39ǑZݹH2?| |99E,0zϙ d@BƼϲVUL7&$??.6RbxG8#Q4Q:<(dm}lx^^vφ<-SV[/,cm hHvq`팉c:nCY7ϣ΁^R|<qz]TOOg;K[JUHy v$GqʢdJNU@&t -Jn#T⧓I)%4Qya@fN^j)AUgNe,fsJ9dhT\u_UT4͈k^Fs͞=ڻ\;(vSS ֡>871SGb,=T0ͣ0}hs"kCGP(F1.1ĐU/&Q(O|uȸ^DdS EχG~*5h?[bWrxKAp(QiT&r"h?K1& &zʴ "cʹ$@8x^R|>>%&dAɕAq*gL?91݈ܰ-e@诹ߕr 2UP,:MsXi[UV?Z# 5UILxE{=*uB ]FsҜ' \Imn` >-߷B䭛`wU;[eMb^q#T^Zjf_ ~J4:2)I+#}ʵMڻ A ÔWVC1zްjH?4D؄M7T&v}eQx_C|JC|x),:Gm]PרiMƢzuF Ry0Un\FRsWiqg8XO`SG8-(w Dz>Kk gt+8bp,0lړ_m 0y5Kt}t ]GL- {ቂ>kF=hTCt˨_Tu?4NIYV@)K h9nʶɞԈJ/UcpkA״Kt`h_5)Gi)> jGoϼCƿZMz"]kR?)L0+{R%L;963 cLALN*S uܐ[ r8I:n/R_&b6ZW_H W!+ݹ c"i/9&Xy+I\$#ټ]6YA5QPX!دEugYZ7zXZִF! d]ŗXi%;tlA. c:ʧN}'-$h);F 2({x Io8;VlUIVmŏr;}EC0Pd1m}Y 9S Ԏ\oǞ[Y-\6dAi~xyH?Uynho\`~'8}Jom~B7Ū`jS&֊Nج2"<\g3֚ߌk@@>+) Η;THp[)؂ׁ \UanRbyGT '毁&"*YmLZvgR]O\$"pӌ|nO?OyЌGݙ*LX#+ %ZwcU˶J̞٨:efwZD3Zo+=&ߠ<1\c&"Oe$e n+Xt# ]vS`{u'7ڂHze^1 ?'Le}m9Öyr|/(Q@xNB6Cqm_^5yƫL1&Mc1ޅ3xAG Y~[-dtLINnFfQM mB v K+!F.֍2̻NJA+n}w΃oJlxXAᬏPanZwJ Ul(1}Zڣ @fy=XaitTt=UQ?l>5Th|m%Ԡ,,$;p@d P`ZZH~Mg!Oy_yq]W],"'ᓬ'LQv/z2~RN;7TT6\H@C~GT+V5faF/ 簃ë́1ClPYZ 'F@mA?]B^/Xdcs9 5*? < %^ݬκ*~.]m CXUHX#Ǥܭh/`C΅\V:Tx:Ay%Uh;s3*W %|S/ѹ8^{ %찓ō2i,tj;#:N/e!Dਟvyi͍R8TDHɞK;`1owJO_4e7 bLlסdF`^FH4띓N,Y|=WH*ԂP K;=NhCin%|VĔͯ6aLf\AZz "dB1^ZE텝=#__vUtBl=~U,`h'r" U[tSļY](x^OUW`졷kP%]7ǵ?>Of|vYczI*I_ s7;hi ΁E~q@x 7PCM> WX9CHk9U] "gc_"^HOn  MwMBpq8KQVLI]27lCwx7"ZsY{FzyB2!~5f~/*Rn+}aX$W= }a{.:յ$B ™-v|vc8^zWbIg ["d>ª *x#Vm*.:B887y")U6lJɛ6s] H>M> OTzl>qkV("t?تyA]<(!s5~Ŭ