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 ""? \4 s/]HOL-Word:threads=2elapsed=21.393cpu=41.548gc=1.664factor=1.947zXZִF! ']ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α;|1}9a9a;qNFdr9ux\Q#׵TL!A"K=MjZi%>׊.X:9&ݒiIԂ)4S whozM›]D0$3Uo"SDM񾎡uGvHnX[_5rϊ&VA*Ҋw:w&a-i^lp/hRGkP/X8ND-Ϧ'$g@7u:)-!u6b=SW<*. Y YJRu+lnpaBiϘWE~W'\v'ӰTFdO l(nnX/>RX`R(8%$&,[ǯC"Jt*!ֲ*$Y7'җ1<֪w+(jl≼֯x'zb¦2$ѵ :R[GX5! $,rlT}qrk0^_"U57)pz6-V0318~Mc5'FTR 9lsVߌxZ)nm ~Zx)t2Mn(V+gU\Z5kI#I)641^,}o3psNL)8(sdVNKlkbA`S2;RqOݸ(FP>jiU\vu(5*ſE-h ]Q? 仃[}lM 8 15IHk7kVp8~Sjl׌pi$1rZ Eg h{ -r68vNѤNHZayIY80pOhtr2nn= e 3~o/_MUoJ}m!7/Zl?^fHǸZq)0\2ۃ!112o ?LE{|F`-Y ѥ4-%\YwY/QRc@A|[`Qg,_,|3Ϗ1A;!7`=Pm > =(r)\8(~{`܁JqI`4ܩH!02HA]ozE+\?QQӓ=ؘz<삩 ;kc4xV ,DkO\k* r5Pjalpa{ED *7W(Ujl\ 6kn8µf." +T%J zp'z8h huLcO.o?I tOl4mOQN3k?UU6hB`!(LUQ^ %/üBE=U3cJ1 J8MOill1of]ơv2m;aC-xh~+x2/_"Il)siIriO>*#8K! *g,2;Z82aDj?/1KIy0G+R҅pȥ0ry=  dMK9`NraL>0ܢHerkc+a A E'4ЅDS5GSR8)29΂& 5e $GaBA{@n!_%bnyq?uE&=0ffjq'g n={x郩uIqh4Y!hͭLD M֎vHD)r $MPM, 46ʘZOƶTO?.--QS4NLZO3*r$ؼD!Tg{|0S`q $YqldܶUSi3.:.WE1oB9 e7qGÉn*'ĽN_ 3yJTԽIE)gDocEoF]h&33s}K\˂@V/0\ExX$X"a%p=~n{5WW{'[Q0[X 3)?j54o4_s5e?\^4> h.i^++ ;P>ꩁ])eQF?d_T-?"ܵkgYZ7zXZִF! u]ŗXi%BqD:E `K< cNǴc)(m,;tY} 3Pi-&'ȾDYsDxr4hXԪ/Eݴ/{؅X}?$t5"*۫orۭd~v%"EKڏS)Io#{;\wE){d<>2-!·%<]KɘWB=[s{nt*z@>ύD˃Li0-Y`;D9K; |c0 ޟ8B]3 fgLGQr=wV:՘W@ƅt[PݼN^*> ;Q*˫<']]uW%=$`ovtO2/_c_k JRov|ܼhrS@:Z%Y5fJ4`͠< U4<;DI'ATߧ ЗV:]God^pC{/0I.rA_Qɣ+ѵ߷"*}溙7P {nBpuV! *d#h_UJgYu 9&&q\ XCHO< T*3|GMd| c~.iS'Q9Ġ4GZJ>;<'sjz07lٗE0n&T"MQ:?:PCWN?WHv:Z,ZzJ*SY6Uj*S=c6-E8i-Ai}HȱlI~qd0qZLyYNңnM%Hex#-+G61]uD}9ҜY3~Wo@p!:Wg(;[Gl?lJ̺K׬L43+=6@FprJa^Bo#w&,!8V c2^ Lj O]X#Ub'0%ۊ\ urć1c,U 0f< 5gqXjB3;HQ^%NOh %Xÿ뻝haE;-]{W)Ku}$I?MZ%1:?7g8ӋM{xO@+%1W%Mt:hznsaDg@QōYP_IW47ënt)A<#͖n:_^j/Dīeel*^ 3P&yV܈w(f>?B+ 1v o %L _,gaaaS.Y>O` ᅱgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 128cc24b82810453973062ee332065b4bfb07491 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467e0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e5690336d99a8fa33c9059415b6e666ebdf0547ef968cd