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 dlҿLQK?(w q0HrQ3AUo&B 邠Vd \m 0S}Ff9,I,PO>kΤ { +̡VU\k]R'Ї-"tӚTNCpUIt믺{>sH|< *2 "Xi%kC6!JMsS66L8Y%՛˱Atc 6PW}h>mЄP0tkJMy 8XOD!yBSuOT#:G|Yu)Z/PdvH ]?hoB7Fkv$Ff5cfk x7 /x ozٍ?Ghq\\Tpg9^(ZD GSFg,W"~1EN>aCGuwq,[zz'/ ʖ.QZ͚٘H?iƎn( q!v f笑}@PwpW#u=ϊ NENFCXe`qȒoNυ-g3 X@Zئ^ FV\!:h,pn]]0DhАq< W>N~qB,Sax~76+ˬ=??ξ@1nGĆNJ؎: ;}>ZNޖg%Fy}8c`QDk!W\̉m}3fl?$ Q33s+j˭rw={쯸w{w^eqpsE_G^\FXK+J$ku_C{[c4̐v y-ߜQKrd6zn n-:ލc ̈,u^ߣ _[nhW,ya 5ହq:fS ]")+q-= eԸ=d7%Y/fרya*:4֐;<9Wf1vFP_ JW8R=.#Cl0W'gP-;tZhj[xM u|{P:'F8ށ AI~STv).B:oaa?i W0:g?dE{ٴ `"MP~k>cժP!A-vbqfQ)T kWv8gYZ7zXZִF! W]ŗXi%92&joޅ t,dJmvG|>ԦE8F;)g5OBgJeA(I8BJcɀ3|a< 6L ı%⠄!KD?0ĄݡWN?&)eLx2ψ;6W njӶ+hl`(7H'D/MD0wH!MA*6f" er%}VBˆo&Y8ܝ0n 3nޞf=Et7lvNŷ4shݤf6(UZ?!Vx_&׋/[SNg-W#8 A}7mӑyEzƫ^k}Hk$C-U wPeA1Bu=X13{;V nC6 :Vå[>Yҟ<8Y0ҝGv W(fDauKrCf)q䝕ѫ4xCB D6VU_ N<3rZjo%!U:+U(6:/Sy4qfx/I@ɥ^o^w1M5t[~upeS½f鞬/ϕiޟ'R1ȜN)WU眒#@f?ٔw6f!gGFWnP@Ʋᬷ(-SFȻG2Hw/lw1x=CTrdmJ(ͼdѮc^Ҍ2*M"֮y~v9@yc,am<ȫ[geK,<qU.d[eD%j{W6Qq $kq9($ZhT9V4,gct)Gs:H-_+9? D$^_=4Û·] aV3o7lwE(;ߪ%@2V)-3QvVv3Ur" y ^oIUQ_*^!%׳P曔%L^{k2 )4^ - OjD?FWb7@Z'<*|Wd,~6T|0I>ӫʞ>Pc@j}f>*}--9ihlͳx =B?"I!K&QCh_Y᝶猅Lu]p`n`P\{VE Fֶ2(Y"xXt.}Cy{8dBCڝ,ӳ36]50x_W]T.ؗϮW3f7N?;!Ex#Oi+- 1Pbb~&tqX dg i^: =wДӶO9FTK|`wUc$gS>k=bDD~1"i'.uXܗr=웂uo"L{+vϩng ԐqZaӔR)*r?ByT*ck٭D1[Ƙ󅱈z丠aT8G4؀>UxϪ{%NLMn˼A:ڹ:9n*C3"L; R jۦRvQh7N?$dJ_spniu#)H}LҚF_m畵 'Fy]tao-K85\Z5BƺDmg\PPLC~U]=L`"YA75{ ω:7L\4A8n"4R)bڔ [_ |հB=Q'|ϸ` RB#E_ߞ1BZYj'xh"+a_f~} Tk{]+Rtjknw\$ 5򁢕/yΠ54:i0 * n Q~b진/޴~7c'Iئ$U5s.Ƴcb ^6jY/tZz".9h4ю.Rw N-%圢֖K)wpQ7=c\U$Z0[XƚWil 9sI3}vYGehɆl`zqyfqUp)A|RIdҞ;qX9gWp5݋L9vChA}mKo81IWqԮј+bj#@58m)@츉h(f2oY夲&}Hu)iȀvl8#ǮŎeJ)j,8Ħ7D[eC\eA aZ~5C½P58&K= A{|^LKCsEA#x܃<(s6R^"y}X5v=Gf{%n+'@V?\_p7ZUOXtG%6}vN^(LMUy UaHhBEP [gqPu1RΛ!6I‹ Yއ`Ph%}re2^03dx<l361gᕄ wnHh.4dgchS0AO.)Jm0gr ugbIiő+$'Hd Hkoq+K+;Nnz}L O%CrH F.><=L<찌] XV5 xaʣkru*ANepc|>,pZ0#ؾr6)gYZ2b2592d00f31d7a700c50bdae1204f6d3bff9f88a61b507f41a53faf272c6071fcd8d5a7bd20132b 33bfae3d80b5d001fe17b2635b3de728081f0601 780932cbee63133eb07728d450068427595acd7f