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 HH 9lS}F, )pZaQ&aM= 6bˢ|^m]6XpId{ɯ(mCa*5b$\R8 I<{ p3CֹkkBnĵ;ϷGt&&~ eCZs}yU=шDxk{.\޻*L$[d> >|PXL| [{ +yw}i'k e\~2ƦǍLAqxڧ3/O0Z117[RЭX^䧨#޵::CTKY@m,2vef j2iҡ$ECu]uzQ}(>Y1ﷷVdE"l=ưu?U7l=Fm/6&QUo:*~U(>տFui/Yp4?rќZ\܏U#H>h'xK HDU\@*Xx䞗m2L%e9CB6=RkzQİNRX~n6ĉݶ9yseվ@j,_Ռ+SEâEss_ 5^,&>MNącs!NAs|/^1K;ϢZ.L`XEGϟ PUpx(_.'t{,Vd6 ΘA|q%\ OnYɥ>Zu\w%H>n/~:e,Țg܈ ,e| *k gFe[Q (qX!& kb#^ny $S,qq|p1,: ݌l8h"2$$`d ?%G:V܏_rZL]3.M DTh6޻;Pf˘MzwE >Ѱ|XKE\HNIX/Z9u%OVb|wj9v ^F+a\ kYE`y@|G6XȪP]orתbK@ڿk F*̺]:f{.%uTT9"鲡g@~kJvlj.>:(wF۲4D " Z_|~c'wX%.jdK}Ѷ % Pwq {ir>]i1"٨,avZb|x8PRk~YD$2yWT|g#-gĨH.~_]W3Fu(5t$\6Μ1ٕF<8ߢ6.9 B}:2?nzh7n$PX;f(uG*ڥи8>7钓 ̦ E8f4]/zh!cEPn|!cok /НJL˖@")7*q."NM,.keEsM5P[ Ƿjz-3ȇjw˔9e!#‡ݖBw'KFW u[/^>XB aK`a3P o]eŰG,BzUZɏ-ک^{`۟q~ >YotX=bmksHo+bZ+!{c /[0p'=$mԙɢ @,Gvؐc*~1NwpuݡOq[) ЉZǟܫEGOWzzR8bs6xR`ʊZg㣥qy^ #~{D",_lиfCB&7Q@ a_"&a9WvOOΏJj‹zDz莞+?-ؿtو dOoPH&<bcۗjk2)5A[ sV^Jݠu-_PۏO|݌AJ[-Lق"ڂC\R0'~,sǕiz +wX*ji.pe%{jGuSjag;ZXs'N4~vF(-$)fo%DkLfPXç$ qTy^J=NES#cz"*pH$(Ƅ@)R![B3~mOZQn^: A-Q~ǜc1-'٠0^=DŢɲbȀ%Nxd#oNߖO-'!z ?nɮΎ#[;/`aQ?j9C;)*FAg1{b@A=/-yrwcJR?yc)q='ms_w0fXg m"eê/t-b"sm Ă ^ g`gaYoKUfչu|3h P1l!|Rz4`5i ;G:D-uUZP'ԓ.B@G@TOՠq9 UUBR?u.[都NzSP[q]zi1u8M./(# )ېێ,ӳf7ӥb1'g8QY8!䩀Gky3՝)=c҄7m~+x'^ 265 w&[ᶱ |`_=]Fq@V(=,LXmϛ䞄9Bdx4EX Nא n5&\4]] ŗXi%HjUT4P3i?㊅WP{Y1T5+B@,XiۃȌI ƀp PhqN[HnK83(4Fm|W 4p{i(clҊQ]Ӳsm7@ׁsۙ1~0Q`o WK/}N8}D\o'9;;ܘO#A[s/Ti`2gx]y|ݲۢ\݉P+ ds++Ζ?VbҎw>1rɤ<|I=)\6:n>^Жwnϓr{hz4P#$76yn71 Өw7Y a$}ZV`6u EG|v9ԓ5U1Ț~}Yxt&|mē1QяÕˠ @6M̴䆾p#^,z:@i*3垓Mm԰歩`YDCA*pW[:2K*o]g`˰];F?ؖ$a?$ee`C! ޷yfGLiɮ:,Aj*gׯm2 (%sB`pv&Ҳy#7 ;/7wD .̽21YY4J5e$: <D`?WRcbP,,nn/TCӯ6 !p-jfUd?ٖ(ƞdL,*oڮBs*{,BZbfy$L؎ck>k>^X& ,]YULՖSjKFX7Pst읏:4NQcGp^rxS̹O2cFJ H3*B D`_[pR%큚6(?߮Wk\׌E*pk=SҨDa)? : Ƥò!ۓYj|"bgr!\YPgL2;X7׭6Q8Ä ^F}IE1>#Vϔvp9oYqnJ y/APߺ]_n)ci8 ~rd%z꿔OOQ~xυS'AdBsܬu$p /\a8cpR !I s1;?"O_Kܬ߀~"W"n,H) <ǟՀ"qSK9"c}_OKSX;Y=m#uvlMe^P5 .ؽ ~5P0BhբEXo kIIg W&|?T}d ,#2TȨ s#c9=NHܴt0a/k(g5G@D ~eƾ=%H5C '̋&(uvp#-7yZG4OxQ{-5uj&Y'.-V< CE][sAUi a[/O\n]t_qTs4!I 1-ܯUMBZ4-_%D,e]M=] qcC\s9ZA;,{ ,2)Af=ybao`tcFԿxCEF#!c{Z6rϹqst#jR`,jwyDz0kESL~.\[ܥ(]hQD^J~8ƩgbMDV 4~z }k2D2xWԋΣv)mggYZ59a246e8f4a2d633069da9a9a62bb18e3f28eaea 8900af9c034e7ff79ce9e32e4d21102171e5c842 930492491a4b0b1c7314e237eb94d8f340df1c0a 93e227a9855587547e75d057aeb77af630802c1a a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2 c746d8f3b023815ca954041999a9ab7822f4ed5c8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 ee247f61b3b45a1c1f9c584bc81c9ef0ab30e4f5