SQLite format 3@ . YYQ77Atableisabelle_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, "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  L ]]Word_Lib:threads=2elapsed=69.102cpu=130.992gc=2.836factor=1.907zXZִF! g`]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-=A{9zZ(e]pz\E2'8f?h.+,~v󊫅0z~bFz\o0cv>\GKf$ΐȮ\fx*W?<`D#5^}lt}4,B,'RӲ-fa %"k{TGno䂚"F'?ioԞ/F8牯^aZ`!dJIϰ4Tm!,42KJU#,/G1'¦ .o ؔ[*,DeԧIm+9`>裕72r1ey9}C!(VljU]fM~sfOXjϺ?V6W:*kRGAM[&EO}/ ~a8P/Wݗ`v_!es-9] åӿbsָ^ah]OYr?GRP`;-0QohK!կ)PQ[ďkoF(8)BS19jJ L@t #FU,_ktko;}# Lng .fu,36v3!xy4 DK8RW)ޭn-m֛w` S޺(u]n@~A(e 6cGvд I 4.&fJQsh҅3XZ@õyu>@sNZafd\>~J͚\X9if%4t­#)Me>'GI%{DbP9ZNI`g&+,C'GKkdDnCH9.˻O<b5כ#k-j%0E%}o `.5:r[̛[R'? [sqXidyg OnwrjIٓg+ZAuQ$kfZ~dF%*2Qfd@mN.'c/mUlUZ{v#RTgWr7ۧF)цBM n!je&Sh_+LsPBc(l^D=aUoHB[nxNiEh,J식;%Þya0MAIݪof1N~6wىeIb>^MHճ"`=J3@?oV#Ћf&[r0+gdU!+f4Yx%µ :ȱZΜ3_[ aHhF ٸȫ㝞N.WV7CL[ȭi6G`F"0.TQAy { BW/j `5`kBi0f8WN S)O6fUl.לx֣Z:Ӧ t#y|:U 7 I9wk ǭO+C`+ Nɖ.Y~膬1A9by +vd64~q-/_]D{u`Z3{լh r{7q}O5_d Aΐc@Q^6emq'{XCB%fk؇]YJ0 ,d{%&Q ]jjw_o]M,:ւ$ 97{JOx_`*μh;+[vGn?tM_s8% iOG!5)쉧/ B@OK3֩҃pN=*뜄KK[1օEOjTOp&)Y~_Vs-dyW@ vj+pL0B- U2AkŬ1|9q{Oj,1A~֋I۶W*Pu'fz{ N C Hbl:+w[Ԙ6z]th̼¸ksae$.NFX/ĿK/sdK)paܦ5nI|YEk<څ񀿞!}) Q v֓Vw=HD2x_7`L쮏NYoӄ.ranU ҮVa0aH"rP8%ܰDofj݆_*٠m"TH>A+B̑7z^KJ'۾Z8k+T' NuԤ#Fmuns>ʏy͠Hc1U Z=-(:"MwQ;nKre|/G76Va*.`CE{r <}i1./MgjZlvyU139wž-Q1ah3e}w^l9M'2FS߬f߮SKOG-[Ƚ^q5:J4YYYҦ_j U!Fnt,Rlco-! _}!wDH6ԁ''r NϝSAJM$\]c3CSz8z͋)[۩-[MrAx\*tu6,WcҹKĨb?Q^6P{Fm2]D],Ś&K>C[ 9^`CGo ty ~tDa+$N 2me&V<ݛUG065Iӕ'a90}XWsm*~՚]j,!9@bQXX_[%q$x'm[Xʐ{ vo-]% hV5Fv?oP4 91_ᕿIBCݲC[5W Vlyn]=iV`>r{$b:긞HU rĸn0 ReUD3UøCcz'_Yq~vW97E翜|'PJ %g W%&v;CEy߽TԤc$6[s/#LJFZFQ?0aLɇA@it}zAҜ+,&~r.3s8_ɛDoֵT7uqj?ԍMCȶ}[Žj:<uʘ(A J::V nzahMzs^6Ce9y4>1w^2PH4κ;4JVΝvJVl }{`(E&r3̥!gYZ6eecfbd51957735b8a303cef1a092fd015c36e0ce3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 e96024a6b39b1328aeb0b590a3739cbe6a92590ee48418f43178fa2ef68d444b87768093ead9dff3