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 ddy+ l w LightweightJava:threads=2elapsed=44.453cpu=80.704gc=3.060factor=1.827zXZִF! l]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Лp,R. : fnyY_e?q/ 뵨qcP0z^trYp gJQv Zho&;}}0X\iφ y$XWz GbްH=A]f)=쒱.k*ГGR艞q)OciͲcK:Or#7X,z"c[9B46W;$Qf + LightweightJava4r.; +ڡ3AX,fBIZw(X4=8Ÿ"Qҿn}iN5h˛VGXs H}fFtF11̶'[P"ВnaJr)iS"Jme-H-t.lh BFߞE+LrW?xއ-J y{oĈTmtIEɖò wVq j~;@^l'? ?d[}3Rƿp]W>`Yh~H5PGbC- #:D֋7¤IdSN;W۱"4Nd>E҅]]W5ҨX(1\xMhےxeDxYȮXSa8QTX$hi72r!b/0Z"62ȸv U"Ê@kb f68B5ؕ1֥oً0ʧ.T2V{Tfʉpz20S4YQpSR|R\eohU[=*ۛ6n3[`j_. c): u-rndg嫻c4tf]*sJj#;q s笧T6Tըs4Xrbo?!^ x&;'!,D{,#Y e&"D.͕7ZN[6nGF Ƕͽ< 1pC'S9 sWn$9^^+yTAH 5ɈsՈ"=U!aPcPQ0vy΢.⬬EoWEJ&)AAdu(/©&q? yH*HzeECOd#/gfaL'MgRM-'cHNHPw/fQ . ) xi{tEA4[Hs%i xTDΡ_(<\oX@(mK4܎xƉ`;/ZJ2Z~F(?>eؚFo#NF:P[ٙ& #hv7Soɠ4*P)"1;\/k Ά!rvٙ%aIu ta4Mg<φao_;O\-dR_>?EqϞ:0ugK|*ҷ-.]#ds*m7PB+'hZP'qq%~'/ <^'͙}). ٵ78s}%8㷀%_G[_:gV٥H/1sbZ IDĶu+o= ][rhץNa\d=®1CW0wD3Z[ | UvҊό{AɄ= dh~pCߔ$=/FEzkj[ tӣ|)}%1xVXG>!SRP6Iǒ$^B'Gcb?Wʟk7W}q?+"p^ո&/!GĆ*\LWq57Lgbf-W[ɜM+t՛ɓfuv Iڑ/n:p"Kͬ,L hEĎݒ2P:ռR/`S\EScU /, d\?fB(S?.TL')LؗmROȀ6̶y#p36,̔7j9L7&5]ty2׏\hυRxJ'>E2`AOosPtj΁\aǴRj *̵Ƕ] @nu-5'*AhGcscʹ,J)|qLV"KGP|/ f{3w: )$+0S08cKsi[2MF͠jгRUto>)t5hޙK;cF2WW l=+";`2K} G 91;2({I͇AUa̪ iy@Ҋ:PA);G!Cy + Zu蹻kkZR&bQ$ l:7Jmrqi3$o?QسhcccU\Xݯѧ[fvAyԯ piDpTk?Cy},RhӃXkpIOny?)렢"(c$L̓xh?\3`@I)D˷ѡ(;wNbόMS!w3e?&uvYQ`|9)*Ǭ_왟.hrF˱~7/Vb/(S<SiDrx33`N,fD|Sap0 '3z 6ON^S] S2ܪogw`^6R:MXh8 q\L sͲ{2yΐL GjˀؐfC P*DA?jE0'jKsKFpE# (= GiCy)au{<`X frto!"X&u~jܞHF _jHV6AK.e$Met2I9v@Zs-,ub,a6e/:_#k}UQDcN]`Z˗2 ݇U(+6qj NY_ף8Yb2[(q/"lAj^*Z 4& -C/^Au%p4a%}k$f,L ۄ9Wͧ(mA[gĻ}+h.& _WGQi$ [f%@pyO[%"ncMg|iAw4z+va6-`Ѷ6VLdV)eKCcشt}M(_ ڣuZ~fS1%%uJK|B≃o:⍳A 6xR;479h`UWS@%T:.ᗺr$Doݛڡ̩\1%C8!Rg!Eo-0Rzz|Ýe"_^7qWHYd{t xg̮m]MZ)K3˖@oFZIr&dg YZ7zXZִF!  <]ŗXi%Q|L{l};/fĸY+y^oZwPSƏ^n;dQSڅ0Abі)3lD 6}Cp1艆Y:}0312xKGyLFF#kx4DGG:n24(ެ 5}N2M7r({V}G ^eJ̳.vّ>Eཫ]B!z?Lw?U]2bhHX R+#yjU໋G3+6L ƜyDEY Ec/z a~kAGASq _WYr!|/bhEd c~HnX`%>ګ%*f#Y=xuH5%{@O}~h9^U.;2 }UB94~,4 ]M~]̡ 5J7H<2^J0ȑkv\`ym{F͊e\ϏHmp07dI\KXYl14Yü.n|Ҿa֏۔:V)qק .sAQ!0_p[Q'9eIcD&SOCC!i FI̵zË!]k^_tI/^7oTO1L&<3.u±50* F++bg,p\U#;kLguQhW}Ƅ&D:ԍ6H4_=UygBYJc+Br6įD6 D^ڄC/`ZؗFTj֌W"Ak .Ո?ֳopvju-Xϓ #|ddfl;† Eջ|W3ʣ Tr׷|NwstI8g4jE؁x t13C\z2⻩E݂ L4kb.Q]iiw#`@*JJPX'[ ax? [3Փr8wP 6, pkc)STۆu/rej:=ۗby/;W*P[['yGKB;,Yf|%۴˝~FZ:aK22 PGrf[]TWᤰy\XAU;3?{w';T\j-f@l>t띬ķsںNg/wPٍCAhϞv@S7܈?qRd(Yŝ)^^Z:hNn߁~.ϑC&ak }}aGEN?|yXM ;2,3.zt}EdȔ w]5/$xT8|CTйE\u q?B͡?KqYm&79 ^9^q2ڟG< &=-[;Ӵ\hܩ C ~ Ck6:QK(Y7|a c}3'5 L"PQpw[;OAyi;iJ\fHD~j|"b2<˱gYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3e80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c