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 : DD s/]HOL-Word:threads=6elapsed=8.751cpu=37.780gc=1.268factor=4.327zXZִF!   HOL-Word ]]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃pAޤgNgjӴuR.bhP `aAIT@S _u; ]>-#S+*ُZ~׹/vA(yYˇq5I6Y3N y.e>Ԃ1'i|Ӳ6AB R#5900&\6Z 7=]q^Yy׈HUi(br&{hKV>\j7ON%pQ(8~O=p j߇˄iʇ28 0_ضɒ, .XN4©D>Z#P`v&B^=5!˗Z$gJoU^vl^Ί6D8٢IYe J 0egfr)pv9-{ P|}Sgw8Ȏ=5p1LMB  |wŔ[4Ƞ_.>ml$ Ϳ'{Q.zB=: /_]zֆxh>g̯b@5\̔q2\+Im"dg+#n!gKF9v #0b]=c{dC[2ثٗ: &6 ޏ /E s0CCǶG ^y6;.K!`ޣ&1hٗWEVv2ʶ /lyZƁ_Tg40R5\_`x߭m4{`a`g2"$ᖩ5;AŜ4eI [GD-#z .B.71e7_-I)Yq˙& wleJ!.^WD$jG JKiaVSZrZ'Dip~LkdW<и :,P N_Ñapt,Ih};rQzǴC(%Y=8;uu(${YKd$wo56%T[%: B(I8.BqjMz ⽎u]U+{S橦wOt7E2wk5@m%pU`НU] 5oB!ey&654(` k=PK(.Wlz'ҿ=?/rӒ_9f~bW# Ъkдa`Hܲ )+]اz<ۧ_pW8z].3<4b6ffar۠E3vV]kUZo)ڀ [W$CI'Z!fjډBS+t17+(%+&5DAnnB-rNUh%KtcF~.P*nkA˼#ܬ?O8(|Bx1L됑yc9sRnҲzIm֤\Pށ B%GMœS%Su4`CfR',_m?.E}c$alzpMq"?dEEW-Ly{ I;)oۗHbY]aWޯ~{S-}s#pڮX^ T|^ h ?\}7~T~zՇ%YgX2vsS5·4RdW˛`^i7{n矂xߟ#oVXb,Dd%xfY{Nkj=2qGF_7:P_/oy܉+UVr2O ݾ_P%_Askɡ7n~`E 0o?zy$zU{׊k>_+2D 0.K f1;<͢oC6}еn[Oʦnj@XNlzb{ t>.ֺ,G:<n" &Oz;:=_l>{֮Xt~GQ7t)#¥Qq`jf#}\JtդcO"g[#n]0gcCr"vq|"1D2˓x'-̶q#ri6uAAP3ɿ%W hro- >r#bV,&R4oc<< #oINT6A-/*LR)Vhgl圛vfn6c/EI=4rho}D5%Kgdkт HoHP Pi795U1K0+f֒!^ 1~D5TCΟlZ+[̬kܠUclD~"}gN$g%THMSەM5=JE Bp-|TCG~O,WS9"K U3.[; מ }E[Q.0PYb\k!;(+zWR嶥?IQ]8 T*|*JAxLu H#M]qBP=-S):gLQ.v&o貐k G|ɡ >l*Q/#2WNJ $+&2h+EqGc91Ul^_>`r3L(WcqךEVZIإ$06aй;)gʤ-i&' 9B/`}Acvu̚~_:mgg4UA<㾁}J_[""Ť0zcNԘ\kRqKUͫZNNtByWZ=,Lk-ȾCα[{A#׽9/gH#~LO`01NH_LL-MhUOsdhw -6A 3bj'T鏥LF1r#FKTwP8ƌ {/D-d}, /tQPCM[謡 6@%\ssgCMiM03|ˁ?p5fCMbGbwaOW3c]0aPXuXB<Qi@WxyZ}̛C'8P^pe-qTQusO sO,--E$'lpsf3z}@u4JYr-&җXnbd+Z^{S0IEC9Mkwߕ=B"+x`c 3Dʡ}p餇obR _NNjC(8h!H%WO݉g.ݿ|Hɛp/H" *F{ ~2)&izxuQ/#hua