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 | s/ JiveDataStoreModel:threads=2elapsed=14.254cpu=25.024gc=1.240factor=1.767zXZִF! CT]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ %~Ll$"&n6RޢY,>tofM~`_zFń$bFXHxޝ( *׎CniH1/eqr<]{tZcǥ ڇ#̝t?i /:=l䉒4A"Wâk̮A(^Ҷťڮ^+).\%c'8" [$Vks5 yLMFDsB_ex}CuUӔF~gl6 w8 ܕ6r[:V XZvd Bo/{NI_p6Կ.c1N p꼖$E!fdN+ޭM\=vP@NŒ덺=~! ;PʜA<~H1M7ߋ9 P*qsv4}Rmt~8Nٳ ;)OkP8ھputm4qFݙ}=.gOnZ ]2ޖW*:ս풸84KKvʠHT"K Q;o]_'(w?UY<v "\uȿENl4A (;e]&rt8R|6':̘ư<ýF=HTt4 2]Ţ;r³ n=y-)ujJ;t ED@B%/x7.An 9&X\07buJ.i3.yX-1}?r &^\YaZ'D\qNoLPa{vz&` nכKQ' T`@YyTZ%bp Tg5+e%   Ն/^gYZ7zXZִF! O]ŗXi%HVȡt->MK-YYmn#[.xKA'/ٱ'q;S:vM2mA.eSP(%q6a$5?K]B?{~) sbga4T6ޙDM(OXj*,%#.XL^mO"0`6CgE(G)aW Mu") iUT*7Mly":_\"rgP@:#Z=4z)Qw[P'Ѿy<p=[qd朤G:,~?|{L[,-::%{)Q)LÀ5pwlK |&# DTxVM>S(/@,aUWᆵu({~oJjцKW--aτ#`yoĶ[=T7ԉn}Yv)cyɐBU:v ]k $A-RA+ s5H+Gж0b(1iǑYMwar'ݕ1c+)6VV SS/-_F%E Lܼ`<|\#p64rc9x, Rĥ ޸/Id[n mKUEJĜd}OFj/oGquGI*6tb,evYUݫ/XrXyTi.4%5IfNeqV^~}i }W7_ܧ㵠F:7JjOSƹj]] ĸ*fx;g:+QL fAlhJ~xeHN{o_S(TK쾸v;I2