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 u $ w]LTL:threads=2elapsed=36.558cpu=63.056gc=2.372factor=1.727zXZִF! @E ]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boPfJt4D! eELl4X.zerDiY\S65 Au[K? >IH떾ݚ!"L~gKħh@!5wp߄C"|KեK<)Lt1ZuHW'aHl9*< S=m/uH:@\,<kMBG{/%|ꁑ\(IGR( mM6 _ܡEApCߺKa>`-fkX# 4!w+,Vu߷t#pQ#Q!Y]6}X2>l 'xۅr9~j94=\qZo4= Ww6 U&׉6߾}`vF޵E&wgQ$]8 #ҥZ2F|pgYl3-|A{sާj]C[e^w:I ^Vᶿ7{vuUO+rF;ї B{+c uϰ)N~& n7^3ҍ)a)C6:JE"Sp2"|ZؐMsYaF[֘WEhn):!JZn M j7JxDUmzצ(RQ$ǭ+׈&Dg q8 ,btΨsaK.]&9%^ ~rpj/znI3}1D֪Y<*tt_z%7T Vrxt)YI ۍ`–OB7I|uP[abpq},wR:ڃEܭhdq0RNb{=A?wR0hsEsCSnj6aʣ;;/~Tl[j.dk v:q&sf&9dSb|>fft:= T+B|I@Z \  OXhQRa$/2Bu(j$۶ܶznǗ ƀD1XgYZ7zXZִF! }]ŗXi% ~NxUl@)9^R]B-zu.%<_^2^f!F xg-> j?#JnùA [󦦥T&Oh`$r.\ C@" n1-p={G5C%g\%!|=P$(0In:+4w2_KH@!JnNAPh,Ũj#yLw'ʩ[x <c}ZQs3-n2T >W*{+6(jE2ŝQF.S^w՜ *<oK++  RgogJWAZh3_S,/T ~5_2tdxq%2 3Pڀ(C&JQevVvBz03>"1+ŏqC,s ujl H0 Lm3ΰpdi@ɨxD|s$ օ*Ԧ́55~BzfC\Jk\j9t&7JJF,p;I9O_JM6ɛm楓=ng_ͯ8EB1EhU^9)QrzrTG`S \s-is@Nw0bOمpsR-$ۯ:4/[@ib Bi[4˘diە'Zڼ G0Nd%*}E$,km Q1TSL6bTyPf}fB{?d3pߐ@3LEnG`.u׳55d8L#d\5kɞw3 ƭA&C)nDA멖ܘC@^Gu\I]R(#kF]=L+y14EGG'8`dhE)ǫkt@3@$Lu|wzӑ.2H.Vь>Ȥ uHH*J4wv MJY",=2Tx,@۳h3(fCBg W!w1AVzsRUW<K j(@0BSjkHzn87C:,"zWJJp)}U.$!ɬ-s63pma|$’җ$'Gc(A%?>rizjBƐCҖ>'`>hPw.=*jeAt5՛= Abμ C #-F