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 ;) Ll 5 Jordan_Hoelder:threads=2elapsed=19.916cpu=36.216gc=1.328factor=1.827zXZ ) Jordan_HoelderF! ]]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃`دǿ#&_XYɹR\=\lL=Y4)](UɩMh36,/fSR#C'nj^}Uz&+Mv%zCyo:<[R0a9r¤*6ky"EltQZ5`/{cC>?zn\`ҮϷDÖɉ %ʼ/@RQ2_Џ*YZvv}E|qIþ AjcƬHW2A+R:oF5T|SӰQbP;NgB2İbKɗ/ecs2:T[q:#+ĵ3L1qUmӸ+ 9^g*w  ʨ-}7ʨ~s"#"fnqhOۊЦ䟔F Tq$UvȄԶB[pѝ<v$sh!nʙ:w1MrWRhVc4^/nO hK҂K# dZ;aiukoRߝxi0N쏳sxԡ浲OmSch{O$`@0UЗr;y0UQ3h[{ Msw 򄉚CYڦ)ZQ462]XػChj%[P5oz^0f[f Kiv1B$01ϛ/ &&+Z^؁n,<QC%f鍗jlWMƙj]S/ 4~>$:pi?-nf\R] }qdBw!262`pLq/Yb-,i2_&t.cw&&]bA`uGyn31%?jpӔ=r@@B/$G#}ݜ[Rɚ(^Z.;0<ڂ 3g rFiZ_4W TL a,pB /xX{#4tWY>qm$Ot<@*)N;:w+C]7ΟHf;L tOoe][#Ds]:8)s^l3'{R&Țκ)Hds<4uF^RdiȈ{Zԝ}=:u{rKe=h׻oᮙ4_Pza TAIjw]Y*g2S0BÖ_E-Ր8 ȓ!*w}oѦR> c38($tks>ŸV*PhB;ļv.]gdM ==m:Q0G0l\ DptΛC щersz\|iao7h+rr^URnn,-!R'iZqͯFh[yV ZT^mÂap_u(2qGIaߓRqٺjmE!\v'T%[\$Atiq8 ALCV:8}_`4hV݊ [W{,&xQzZk|QI8T%QDڢ?uu$#7$bI61.)N@HBU$]m<߻ Mćf-Hґ>VaecxEྥvZ!tĆII R28tOj/%='}|&q {76 ۅv ;tfA5$M@"p""W3!D4tеdm؄xFT!HD7ԝh.h 5u# 1N}̣}^Yh6y/JK>CAfYFP}j(;K;&Ö^斷u*2N9^;u#& '1ݨ Thiwݞh9$1dOk@4:*YiWzJ Tp5{F<~1>FI; :l 5a0FO&Un߱E/@srS߭yljgʨ 94KS Q['[&Q;w`ThBE_ u>4)1wj`sc>Rʪ~LVq^ ~b:6u3 EBE &6HǛžObȗCO@ 9jXCu]Vvut+[Am~BJC_(c߾@@ѯU9T/e0alL'$a{rUk+It]VQFHX"Nb8uOcE8YݣVs`qkƪt:Nho\0\CE ~q/2>~G4c:{%y?FmT=W7Ìzq=o0F(GxkaoA%5+9w5X*fr/kEI'`)_C\Bd< cVJd5{nFnT cdETBvu358L)3{Bv'Qjm[m 'd@cXJAJ[c.V/Mz~w5V|<4-=`q(5mPD_}37m~8,E m;OQ x&+*ba\1G*Af7}bb-'Q\DI psď8Qq|HZ>!9 ѪƄ 'w)gc#]O/ҪnSUm#+HtwTrs=3X567Чg_yXO /T7T 6Q$q-xZ yRDB;ōő<~"qB / Eq崄Bwܚ>)aDY8|N:j8C}(xNpvctƪY4C5e}od؂2$h7>1GKl"VG{@6g0ו&--^Hm%֢[;)`YeU #I!J@фO`o3R +ds6\xpޥ̰Ymjpq|4P_ Y^1Mb=+CҊï"wV(΁yI;UvTXfPE/K9hzuli$D-gYZ7zXZִF! in]ŗXi%B׆)sGYٻ\Ρ1 _1:2zƢN  %~4M]U)JsكB`^PL+w|Pjp,&9wXqY5b_TA)P*ip>@XF$H 1s|P/׋L(C r1z=?2ࠔ'X[Sz^oIk8t*Q%uɫo^ /sM3T[A0#HH"tka }cNSFtK|Z4Ge8QigM>+='aڧ֮Jj WJJCzjk0&_iL[ t |R_ݣA_h$Osն/_z GSNiirx# "YI}f /7JlfS}M[=D,lrШJYlk;>jy~Akm~O)Yrh|x?]`rӸo+AZMv\*Kl_`i|Ց=7);Qrhn.OM98XE51;ڳxlCeMtl%]tBF%)o7';y˟RەgO\G{v@Ul'iE*.s:2 ,x+Q b1;H6@Ҹa* cuMQX,ġ&IݱRݑ+ҭn sG xn{{f$wR "bo.RoK0z`L6?CAH?q#&'Gq&bu,w cC~92. S?6s]׀h^j" _)^X 3=t_ir,r{1Wf[C:9n}=GxS/sM$&2]OCh+64QI/$82cK'c<> ʱ |=f<6e=oD|o\kfCbeE VOJN8U6vn`B=y?cBY|t7aR *'rKЄwDl.!G1W