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 u 4t / Heard_Of:threads=2elapsed=37.458cpu=68.984gc=2.524factor=1.847zXZִF! S]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S$Xֵi4zi1wU`\^Pw]~ ` -'@ (J8Ún k[ P   Heard_Of8UA3n>kGXѻ0^FW/㘓O7/!/<Dtῼ\g\g|7!l\AfЦyB-%2WkRl;aq)\s::g"+Q<,ԟf7m3"":ҧ~JO1C;I{ꝋ34BU<4X7hANL"lpX׍ Cl"~rWhc?f&}lf Um M |u:\,=O`x.pYKm9 >~9`-m I)p)Xe}fz_}:]Ym~z|Ip>TjM|XD:Pޫ[}j#ŲMw_p)g$? O,H/y.(btcV)(¤툆%k_Vj5t>aLOiIis$>?h&ͨN{o2 _s*]t" >7FZ?Vy^1mPu?78,YԾhwjlYz}Rʰ<>bj>9TLX`|ϖ: |ZA5"j#ٓ4Z#e.A̹E@YLOud~V@n?=֞_xjH-g yb Y\ѿhh/SsC d@|ȣuNBيts<+ h93z)}t<۳o瘈1<l'w,'~B.SWڐ%v Iru 4w?\eTdOeC2;~qqB?s_izC]mq,XV-)ϠZgIꆧ㤅I)gǀV{Y6fMָz$i2¿( 9΋om>&ݭAed J;˜T͗vDwf!:-JyhRm,D 3$F"6 U }:M8&?5-X&Memugc"TGB-`Ri5F\rO~G8:?kRXB 1%m}Lj) `|ivA">fʢ!(h֕u}n'5 )QO̱~d7_Tl kI~- oo^[;H3]r '=w1hE_?s?v! frams̍fTSUBjxmq ^gmzM"ѷ=i ȥ5u:{UScaɁ<$t|RSkd0٪eL:HC.Db{#5˷8p@T*Ȏ; O!CA Jq{Ә*)׌cTгЖ=4jA։l2@(S9m |bljz>ٟbVEl4KSTz}$K\YARz~,EA' /N qyx.醠iftfUڱI9-Z6d3gVw+PbTT{b{jՃaj D4tZd1luޓV7=־Iu\eJ\4$ h%Gr} "zf+.5% |(A[rC o7k ^w%1Djx#i%Q)*WO3M|qQi]&6 "lB++,+0e.?G[{Z9~ؑLP^^D*M xLKة ZIڄn-<NFR2E1bPgsxlp ,H慰M9'S%BĸۢqZʷ SV$+N={kHkk I7#^nJY@5 c)o󟻦? 帅a+7K͍jfW]Ux;V2"aes4[kbq'lI]e}-M;@)@< f&I1( lFt5z7:ӍPaRGŝ/^>k[݇!)1]{;`Վ:q_=:)IZ5 <p *"b|:@> (P{_XQ{ Ld%"{p& tO[n\i>nMYBۄ*`%S\O&#6O>OX3ex 6QV~C| 5FB\WJMbe[ iq?x NS=p=.lh9q ZB穧UW׹Ͳ#?ULЛ"T3#t `7'}&0ćߗ1}MZA |[cjQl2訏gx|-瑮J+俟T~Nxc@@{[vXɥweq6[:XmT5L$D[;G_Ślº֫މl 4x??zG"DF;Xy1bES{;ofiĦ枚m.# , ~V퇓5VA7gX wm)(gTmnθrBjN?X! 3r3)^﹛7 ?A HRŤȾ Mche\( LbzӦ:t Хm]obP$=C tPxKd-NBZ# _<*˄|Ά}]|lv'ScցIFj K20@'ъEC*t7C#ʫȫ!6fmHAIH L*).ar`/[fy74moT'[PMà:kme"y/ŝVhGfń" }n9pTͰȼw \*Nډzѳs퓆9Iˉ09E=nmb((8mtJM?\~c f!>;/PQKCB[43lV#쯬5Z 0n:{v/x-|yw͊΅/vAڊQA1_>#݋nYyvIKcl$vIgYZ7zXZִF! > ]ŗXi%B׆6P82y.Z D| sc,"Uw{KͿ8 ΂ |< hUZ']DqeLJ j,{w$fKhBqԜ=32;z$\>IP M({|CoO | j#U63`=o)^8O5-_,42z=]|DCmLW&.k^0>XYJ5k>>HS|(s^tBP4G ?\{]f$T~82!k쐽$1p~Q8-Ņ;pTm̑YoIDtM_l[]A+)G0$WS_ ./hJ֙_X@ҮPI2,WF] 4y =`q䀖s@.snh5sQu D+p<XgHŸo'\#Zt9 / $e^@u{#@Y:1e$3CYcp_tbbf"g@[TL:,vd-Kvԍț:z^+Ns 5=9w癰B0t1Cq.ID}4`0rǨkS7W_}_r*FO.VYƖ<*; b G8d5"a$XK-hj !]{dS%ŴR,ph+]9gO)}؂E8a,`pPOKN 8!rsvytEU&}YkWXkySe3tHt<*R3fIX"6 DeKF mQ RckpX:g 3'GmiA 0iG.@f |A$Q7H Tw̲7ydG ?OՄ{z*`75ܔև CIp Xʏ(v\I1lgN`$- ]lb ?(΋yx l.aaLd(J*'f5>2B,ۙ Ar2C= C ɇF CxX),k10 Y.&MGNcd3d86I5!5S7*Y梵`:Q56TR67]A'T~Y&1bDJ!iv;zL'z3ܚ}hBrED DAzq,,lsPk? _2gSoh?ҺG^f|/]t|@iG٦JADw}A]q~ecf[ǩ@#e`/k?Fۅ~{5.Gn.ݤ`US %{AoV^bJtcuw xZyh%Q^Qg+2# @*9; Iy !875%(E6L <_f/D60Fz#+ ~H!hl"$FF\ʿQ{)# )PO jp;D9V}JDWt\I{$7ƚ-lzE v6ڶc[o.lYφ{ Dtn"4/mU%ИO{l:pq{\C)7R)/*i#ߓ aSK N+Ъ)ͨ RY :mi3@~HuIɼe3h\A+N`(