SQLite format 3@ - .77{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 8= Tt iS]HOL-Nonstandard_Analysis:threads=6elapsed=11.153cpu=29.556gc=1.008factor=2.657zXZִF! x]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%W&Vp_D&9Igt|*e7@ :ͺ̗ŸT騈\3e^h͍,C`*N癱|) s]脩bx:ME@[߶}Km"4}KIpvɤLXd/,( ̧qSGRjwko:e`hI^&k *!@ | N[p~ yk7z0Z4;ʃ9\\Qq%Qi .6ZmTXS PNCrVId = HOL-Nonstandard_AnalysisjK\سu.3yFﱫ+/,3GQg+Lor"=5aR)E? m_ⷀ`XYVA5TB9,XxtM`6IEZi`XռIԎ\(1ܒjSwfO0!wNT2 Ve9 ~tD%QAAgIYKZa\oA(oTq7J ԉdWaDʺ9K&B; ţ =o D\G9zFFv*@R13t6mG<@;(TAv ǰullV:RتlTB܁5]V\[WJtX+HsVVwgqor-Um#8LRb@rvɬax1ւ8yDy}N] [\ qLb͢0^?(Bhad_blo@# ɥ$ 6(i&?۟KJhY4xFlF+>rH?=դאpCk%,"nMT_F9 5edG$TaPtAyl8`!9gH` leXf"M]$dSxidG/M ",՟mhE/m.q'H?OpşTsiˉVnz/qn賃\<'NHŒM/1| k`ٝ?(^V80lT{@f1k_@a5ůQ,ً3oB|7vMOuydti9#y~ :S$=ޖnɼ`` -0x1@ ?X^W#i<5ɢ|ӥ\L~_ F ,-ڂDŸ ^sGcx1C Ƃl2O(ʦJ=k?x_MXL:8ܮ<8`wF@KUs|a Sd5ϾRsc,Q0 h!O);%Q+f; jCt`(I.5Eb=c`o-'G.D&6 TTuİ]q^Zۅ#g g2ONwK WM ,9}f4[Ì'QJT[V ,l⳿f(Z{}@yߗN0 xY!6Dgm8Nq+[hΠŠRx-]ð k'(l\9qQ@U >u픲Nq,IyF̕Nso~4 l(6jV`T\? vnW8/~tZ[5C֐.ML&.:R^ U(q{U[%-)%EgCzskpti˂$+ntU;]ju &q ?)5w>i9Z!D x@ 7AΥt@gYZ7zXZִF! 6.]ŗXi% ʲFG~gEM 6W^.&k<:ly?-cq†Ե| s )g6 leHY8M.ojϘyaId%SjuoX&Zr>;ܖĶVm/q<{|L&g*."g>1҆YMۍ*R-;bv860_u>wvwL!)'u`dJ_@7l.L*L-$JVc9vF)|eq+70ncO 81]/jw/ؘ3lyh,?;,=-KzD냳7~ fYYhmsSS(ƶm>f? $lZRaR)V5OĽmv*zXȹpQRڥ!"M% H, u4ϜFҫq}͚ ԫ׺k{s&\%X&oWtE9'l',v;:i\7И5+^PcͺgtɐNo =܆%I^Ze*D 0k[tEĢ