SQLite format 3@ . BBh77otableisabelle_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 {'l|, ] HOL-MicroJava:threads=2elapsed=147.155cpu=258.624gc=10.980factor=1.767zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S|/~GM[J4#җ}U55 ]FnLpwӕ~`7wB5(X2l) ֓o(Y$7N nQ t,eM .0D҇t9hYa7^/ު+'`{ʛclݏ4TyalF-qf'Dax\ݍüUK( ?GMp=\.6$YS}4~2_i#ϣ"Z.pO鎀 a!y/!64*d?q QzO"żob}eXd#GnBD|w5Zov&Uy~~:<9 &=4C-%VPrM*율]V5C⵪*"1&xM(i,֔"GL:^R|ϡh0nBьZksL&toj@iK6iT;MŴf1o?C?鑲>϶ҿ[Z Wޓs߈JĢ/" |$F_mNߟF آ,? Zܢlι0zg@ +?rX iN3xգi%A kl4yv7O麎.WF"VMuj[聗Nq8>',s#)rLbq9Vlf6+<\SOe;ihV,6H=RϠ6W0/JjWu&]1eֿTa8;~q _阈σ:pD6= kL]QA^] 7ҿ)9$wա9E L]QM}[kKsM(Էpa S*'|إ$Uh 7#DP "&NGzN/HYU߅IhOCIi1[)\/AKE0wFD +냥y$8 G"(;bA0oឱ%uAm{R8˕};)dq8Ym!40wI5^ŝb/ \Θ; Xެ(hgYZ7zXZִF! x]ŗXiɟ1%c\aE>A}hNAZ8 ).ff\ -L{E?b4yxim#Z}C1ob3G3EAi9t 8 M5IH:]Mk^(EC!u }&*;^1zUPMW|] .[6t!,˟Rjr>]CkL+8Cpqz |+eNPGO˜ίEg2d5TS2>N5z#ρ)pbV%ybĞP 5R3T*A밷nRwpW[! W(!O'*!6.}d@|F" 3 *[5SEv|y.j %"kȗ0xt{K+ƅ.wWՉq$19N" #sX"u2ҎvgX!OL0P矰s7k/6/;xC7.n8*u=0%x^&G#Z9J𱂅RHϒ5n{u>X}Ӂd/u[i)pВ;:&} |k eYKSd;['6,Ru v*" :Eeo0עRk. l2^;+ђcwq SVK^8 o1!* "{`^&%=!\\5}o7Ԃ#9o _ 'y;x2]jPH< \JVj銮nByW$KXgYZ7zXZִF! % ]ŗXi%;Ű?[6Nc^4vWrbSw?Y/@d`:(?%>ʒo ?~1z@& ν.;QOh$>k ٜي,x}kw⍌ VdE.CU@MQS6oy$:WqM5AYyߑt/J5+GDuɜN3 {d`R=H·]s驂,Ӥ<:TRpMRM[ӟC_":‰lik !̕~6@l>)"}ض̕Н4f3^vS(fnD2<2ͳN` z ĕa|4hJƃ񻶩D@n_0u1+p]HI/σ C W^^Qer&U(L0Tߺ|rU5Bb#B 9qn)@katV9 \ER K*F͊N-A^Lgrc"륊>Nk.'J=զrԞ^C3CASn/ '%.?t$9rO)kA6]T+֮W>V#ozwrrlBZ4ѦPCyZ$%n>,.Hhu`Vu`.A) "bT Cd4-;˹v\]3۶ M~~XeuUW]l<@;@ . tMM%_<6ʝo J^0:QoGDiOaf^k>)P qw]\a(G^(1/qnBϺ$xzŽm5\0sE:g /)ڢ \xdܒ C52:蛴ㅤøW-#N]]4#+$`$T$Sv2!+FR74h1!޲dc2l!tu ^ɨBjijWgi7{G4smjh R^ߺR{ֵt*SIoyÌ (`k5RyMٶZ*qԄ=w~ax+c|A>ѡ^kNDB.&ouŌTٔ~}1mߋl}&Ы }wn="nX,Iq†\q0#H@q`~*T@Y.w 9N:^; *_B4Z27ޚ`XD4.$3*Ѷa@0]7jZv]APy8x/+YڱE> gZzl5qCt( yhCc B7ʝ?с`v@n4iª|PK$"<;UkAyw5`Z;)6<]%p,v#R Xj$pE񹨹a}Y*>"+EEBfvW@g_'@^B((/G@BZȲ,գ#o(s~%}%'IW^ǻ@@ ^#1fH*g۹l *vn16Ȁޞ{x09 oa ikBR-tEgQ%2iX񖌰E'E %d2_}FܒH %ea1A_b{j/0 ќ[Yr-<d(a*uFU7pY(igkoUKI@VPdH|Z5GJFF<fMiw0B` QpD;ADkRȮ*5,YM IB*&VHo߯|'V lԍ *~rYGMruQCƿgOE}O'Y-';?|Z.K]Lј`vҋP5=ZmKNn:RHX m}kZXIv_-OH-9^PoT Rphk;UЊNԦd -EȨGx벷u$E]q욨,[ )p qv5@gi[[!׻,^ƙ‘Yfيh{  -l؇f9{QyN'fS8A@տĢ5B*Hnȸ)_4 tʁ47cDijrʴ/D[4HڼZրns#,dvJuX@X{&-Zt_(FWBJ1Ft%2<(IMVTyŜDRۦKl NŇ~u2ADA^#B*S8CtFhĒ_40v6enԨgg3dM-QI1If#ѵ u{.k`#}j'v"B9)-XD70`S O͑YN R *aKĜSDpyU- EZ&8:oʁ/@ڥ=\W !Tl wS|` /#X#B&D$Ht([kPH(5ѫ̧˴R,?ɲcr_6v>g PE\>Q o;)v4w/ǬN뵯dDÀ%J+# j^wKU(U{ҵxu%C$ǦeQcT,z& T^J|p=՟l.EH 5#@*xWiE)8YQ`f .mjπj , Կ*)(6dJX+ӳzWyJIȢur` $$_QGc%Z k GEY_ӗ aͰ,MKL ބx_1Wr3pKS`&A\l .pĉzY}jJP߷,ʳ yp@}zLN>묱GNNuUHuQ qtbs,g9ջoٚ\A!]:2<9۪Z>Lv7EBU\HC/M1p27*v& {Ųy`nl!}`'qutȽ'y50:L:ţg$sv6VlMIQT &<¤680LjZ˨3dY#|%NʄHb67恧4MiM칮x8+u](P:!G8mP Jh1H&QC~bxgMzm&fD4 aɦ`L[g &JPZVڙo-ڜtB҉UNp fS8 𭸞qx(1vr`̲$WZ~D/<=€lTG&d}*~dIw!>Ys{- j!B,A:#z & F(5]lqJ./& P$zYl)@Ase֊߃&De=I)ͽknfCAqps_T8̰{yJ"AHK>soDf1C,mV3NJT$d&V>s; :BEEs3|]&_mY#vڥ===^u%0"CʡVed 4*Sn AVv9Y 35<7/KE1F: oX*?:rHhar:Ft(ߖt@W5~Oeq*}!)/AzߝF@]: ~Pt_\=4ʃNHmHp;GuG(',BLR+6ً~^陋tgO|yrP?_tbesU؄jYw־7(tA5,L)~V,n~j>MAiRm* _XXHVG_-b@2ץRGSyk9iRHfP cɒT<<{2)lYۺpŌ!W Pkˋ kT;F).ő?+̞0Oydع glSi-wSLOwQt_"`E~T^[,1FyFԓ*,ClՃ:JQE~{M0.DV;Cs2`%L\* kW0wΪ9#6ѧ#nAk:A aZ.XU95=|sbj{Tҫκ v"u2oOC]EVtw\'#XR9@sCޚa[kQIΓdZYNf!(jp_ðH@Us >1IqNι0h^6iPL(+`:1#&OK2yo(sjJ X6~4=(/`$@E0;kGdk; @|7 tne!q >U:f56QA8Jxޱeo=ȼpd?R''GܯUAX#\hp]KEl~>eygV ٵJ1 :{O]pٛJ{hLOfO(:Q&Y$sہX\veWCY KIUQ< ~Un[D[Â^| |