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  1 d| SS HOL-Probability-ex:threads=2elapsed=36.356cpu=57.340gc=1.084factor=1.587zXZ 1 HOL-Probability-exִF! \k]ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~Jü)uQ ~z cW[|4౔* BE!5,]͵3 My2Z#;j _b%u)Vh7D2%6ЮdnD>l ^МYԆ_8Ȅb4B~&xv^cӞ#IbQ ,e89C9 &ef7Ƣ~׹Pm(;yhaqR5چrMd۩E1H`T; ~jn_xz~4+fZk)zdu4o{jj(Yl4n!VsgaJІSŕ#L ѣ-0TtD":.H[v /\Br;.W}kk;>\ܣ ]0)́!a 0jۋTG;)완Α[qqn۞D/ېԗ]Ҋ1Y Kܯ ğ'+^BuBC~7}8ѭS' 6|;vBc跌vPoo}0-No3޴bfm3O./H/,r3'%]:. Mp8ȱ&_5"l76L: aneFu$ڐ[=ܱ7r^GT?i`炄) &(`;G+1Dm<0$muL'mSŶ,J  󔊣LnQ@әb=Ϩz}pRaB\A=uq&a9#k3~(؈vb:*#?\9WXY?p_r |Q]M2=fl.m8.+9%T70qd;J_upF Od0v 0x9hn xޖ70q8 4u,BL̥;~ZpaD= VX{cW>. R}]}ϻvƏN*nEP=%̺=Q ?)7*1, MRK5/P5 p V8%5Z<`wE"/Az*ow03'HI~,vS0cw4P} 9~cGۄȵ)ЫWCIZ+25yI/iu$Yu0O)3H\ fb,ΌWpW.O-̋GYR7\*vhPȠ*clo٫f͏!t:_o bF}3F!"fv3 $[V1g߷Gӟ~Kmȸ}K<,WZIԍGY,i߷JV]?jgjnzq?,]n)_J j w8cggy0*3|$@j/A+_-BX\J͆{"LdL?w,H{F#o$e5_bG&V  e;DML=,R`[Æo:ӏz#^2bl3 gτ5E:t,$:Vc,ä*I oTЉ6[0$EKl {Qg`ZUI ;g5+!D+B6&F9AΕϖŀˮ%Y*sJ#fԀDĉ? _/LJBh>T) Ńe%Z3*M IPB :q9$&ʬOp^ՠ~LTKxAxE5qm ^B0bpXg{Ǹ'/(+ !o% l̄! )H3>F9~9J[hDxv|)jTŁQɄ~NZ"bm5wRrbd7ĨUAC_!Qݠ[S;/(po' xCŚY;tS_SZo.njzhL~"CV˾ܱϭm|91*cHPWCžJY(Dk&-%j}·Xބ[H*7^* IZ=j>f ? 7UYzޱI3HbK@k /^:-xX\ЮX̭!G橹.eEK@m{$ ?1Z EsVmx@D ۍ- 1]wOB!{U7pm,ŋ»sHYF:!v (^ >0B-l<*ihϢZ@6(0JU/^i$p%)M1G1;4!v6Jp4?:,'͇&U', xeX_SݳNdASWM,\kѸ]16AŇq>CQSDqSQMYN+]/}Ŀ_a&@*nWbVZ$]YQ*1LN}jrcmQ Ԇa݈gYZ0a873baaf1ddec0c839a440ec3104d92761a8ab3 7b4015c4242dfc15d6e866e03a6bc8dbdf2cf6e7 b57c256a97cb4ff7e944b705a85655fa33c33cf4 dbbef11a8f2df92cac2d86aaf7e461937091853c0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 f8770a37931a23069df1af49c196a864d44af020 cc144c3688b5b707e6dd3f734a82a92745aec6c4