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 -dT I% AutoFocus-Stream:threads=2elapsed=67.365cpu=123.432gc=1.940factor=1.837zXZ - AutoFocus-StreamִF! P]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPX5xH@l{0tM  qY=0 B Cƞ@R? tx6j2W5$TokOuV#0aMm|- بU!ڬQ1@Vb;'.˙:]饜A)%佧J X"Q#{C*ݺlLĒ terbKˆ &wD5SQsnf|ԁ59Xw} 9JUwVD8qjFmVRR̃lXeIvcx EtS81ΰ%M>Vw-hR^ŸX]WÆ Ϋ-j>!ɤ] F2TϿ1K]W R$~6a!Pe$O|\!nie5-(u)gsEڋ죶טu>!>Z{,;H*c@5yF#Uj@TM9c;ų* [g3R8vۂr6? wK-M*jU:\⪀iAiގ2n3PDH#.;|S6 f'I|䦡FTk z\Eihl\MnnlQeܫ^adl#AiQ `Lu˶Ѣ֎Si͠W :')8T@kYijlL4)j5^F$CڤF圊ÇN,gMgTx ^5B#L&6Xq~)JS! .oV,?i\bժ>G8|YdE:6 ي'HYtwveԐGMb{Fg #uR MȾ7.~_[Yc@On7En8i/F'` $ 'f5'BZX13R0<~@6&N*V>*i э m䅍["K ㌆; n5!y67v,%B̄!Taf]3F]W^~oX G/f6,AS/\a:c:Fsiz[:@uuO&'<;c"xCl25Us!#qĜLf+Zl c"fiπUδ\e'Q%9O ,.}"ĝyx'^-k|s;Y}\4x36Y_S۳B-1Ԁ,8s5Wv/ܾcs8:Ck|iUEUs?rig~9ǽmT²Lj' A3*2FLdթPq1cj=^6?.Hwc@"fh7L bY Uwkd4/ۗ_|͵` nw5s5 PUls50QpQ"t5p*pUaKFR^Ȩ@=kWx]ǧ?0%v`rӮcąX;$/+įvXOVfk侀j57+og=C/q`QaL@= &{+Nry҈5w#[y62'yva M9-CG7@İ},VnhPAs 3~e9SFa!>G/o]Ie1lOYgb@z*"bGR5s鸑L9pp=n5shˣU{Ғ|G,r!/0`Z?nC ,ւJƅ9TW!u~MKRxҶqk(?ȚjH?O+]}cW@t3;lTt-Ov: t _t0ա>|eK~}̔b{N: (%۾}ֽ[j-$cZ}T߁' rDZqd9ݙ4"^32rgN\B[hªvYpv"y |]@9+B -iH)2#1=w[7ICPOw݌:qmkV|0[9?i?-`5)ړ>|87Dsԙk').ċ<= Gb'!bTa?،蘂z;/6vf3M|!')q0]d5Ǚ@A-"rNVkZߣQZgT ac ›#p!beiJ}y( (h"O"ֻfcXfy@Ԩ0"IaY*[|6]IRVs2׎iGrLb?" ͸AcD!Yq$,:n~O Mp؛aMr/zd  dsUbעjv|[J=o);m`+.!pz|jSAOQl.VLTrw{3 gd/HI s]$ Rm^ &Q1.:4ӲI=8O(/W2tE::^ i#jBh^)(R h8 jîW"G{GSs~tmWc~)#@ȼÓ㪙`G^Pҿ[[#9AY0N<2MS鏅lKhdtv&{ ʫt~jYI9O,>eq+7 p˺oj{+xvE~yՌը){rqåljf瞬`TǑ`#l:CzPnȎUàDgYsg\"Kq~c`wyO3+{O(}8wXGx<֍AVO U+Zo=wqèwO Bư&?)%' ɱTMwoI!Zan#FL̲$oU|QؒYeO Fi7(&['=Jv31j'I&-f"߷KoK(,,u@*dlGP&\7ilJݼz c.=;d&">2@/jрrմT1zske]3&r1Dg…'ԨZ\̓R9ͱ&Yߎx ls M:-P) wYrE22/4#Z%̫.FW1-%ktc7{ttI@1tj Cƭr l?h8%\PR P7t`6VlnE]n9[gShu8:UApa襯QrLs$4lg8D3T} oJ3N7]VAXw͝[lF+`,hJm9ey+oEx)Z7FtmٺZb?(9,S*YQUҿ pNMBmV[x~U[hOb9˰TtܸScK,@XGj-\X:ڕ (NAIwW$ )lc<+]ߦ|͂ނӷ#i(\rV+yÆG92Kj3ZB R-"zbR4^ IPZ{> *wLTyzx'˂vrxoLyD68!v;=Fbș(3н-SE+=\^{'2I:m'`1:oj{6qaXR.#$dQ;@">f(SJ~FfԨ3vIjG_itQafAIfYN3NDJI7Sx}n/ʴDCL>rdk &m-oin5rfZ-FV9W\3r CL!g T:$r{8?>;Bqв-/~pNir Y"wo˷ũ}%wŎ)lg't5#Ȗ߷k_E<>H)v nߒޒna'j[0~)4by]l6s7DSi,t=SgGi_G{~o )U:&FAF 2CQ}$["z2K a'CR(""E#~ZUmKKf t>"97;t$6;=`<~?oLMw Ӌ3 /jl_繺 <M"lm_aYE;މ:[wЂć^;u%S%; R +8*@7*fu_#<;V,;E8tEŊȫ!gGN(Q ` ]=Dn}bG(KOf}eb=LL!h⋞'mo'o lHRK-5๐ܠ֋_ȂsL$O`B%gѺ7Ghbڏs]\Һ#CA7mnm|$C}e:lP`+|aX=xW3i%7fǷ{B8PMO7I |Ln㫥/b- 8ꝇm9.71'hXZw&SBZA69q# Nq^B%|@}f  Ig<6P<ꈳa+& 7. }2IW ski@,ོ#^.p7})gZ 7]h}_f?{4!cU7 ep - 5ZU9mϝl o#PDju?iq.kaaf"6UF[SQ[i1A}ąS̙حk\p>S|f$HBd¦υ2ii+LAyD#[Ëw60Y}0{E1EaZ9a*kiBpfʧs#tEN ֣́i~O Dↄ hj#{F !7Y j]DS%o@d!@Z>gbm/~H:P˨XBMDhL<$tWv%yCii-^9$Ju9.PawvZ)z"LS4'i\ZkwtLt-Dl?L|09rv ù+) @=m޵߷*ajgWYxrCvD'1 5gsao%1TA /慆/FZX|b!5VT?eĎ%/vN-X[~۾6H5c`W*ZI6`ڗFQUmÏ=yDN;xnHy1!.#hIN+e) cJĨH :!_rf(1OvXM炻;wtl|x@GA^0L&%.pb ƹ A~h2N ,_ե~vUl=R74='+D}+K/cRa]tqp33ǵ]ȃnG[ seD՜iff+ H2EaĴt2{B L`WmD0oP_0| 'K .{Jl3 ':UkX.ӎoL1ˊ,=4rxy7k*d'rDꙃY]I&'[T{K 6g=~-ZVu\S($V4XjbaMLʈ.%f|-e$#f0IYvpj>71/Ս+%:{\1=l!oc7hVzaVGq-,tlqkZlC/C(;8 >%׉bn1M }gf[*wCD͍/?۞I qn8qUXW8>͵B њ 3r9%Y9GċP $)D9}Ya 5;1(ǹܔL3?O Z}._j;Y WLׂgA{Ȑvz7s"&qŲd>urJ(+HG'菕̥&cF9dlGB$WyB^1Zsi?v ;X Ictyk2+1l@MEK "OT!+K2LɎDaLQ%3ݢ>zGvwb~WLL)x&}X|߈:ҌGWuޕ-OF"L W!tε6wZDg,`QfBC"BPeWQ_Tǩâ VQgYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a3a976bcd6a3e6cd4b444fa1611a6fbb9d981059 a4ea0b102b5a3f7037347fe0a92c125d8107c9a3d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 258e67b6abd5fc0fa7b6103612d23688cf9c5b44 679a932ad4779d8a47a574a6a622eb027e65484b