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 + d$ w LightweightJava:threads=2elapsed=42.364cpu=78.424gc=2.768factor=1.857zXZִF! iA]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Л< ?FO *dŠ}b;8dZA:Q:sk@j&gҮ5At`TnS.zJ'A8 ?I5q [ Տ^1/4@.fdlA6 Eol 5<pT)+M>p}j"pTe)JQb7BrÀ̒S =S3%Mn6!^`nJUFÉ7zOMjψC&ii_8wu ZBt~-\5g -fp49$u#^f_e=pr *V!NHUWa6R%DmIZ8+( BqwɎ[2߉:[])mL: ))CVMDH7"!6 Bz^Q29G 9oQ/Wf1>sXͫ)Ըn0UZy5Ş;tfמ@iRG *qn庱R-] I| `jtZTbDSDvEq1 R!I j.~EO.MfmlLcy+x ʤJ$9+pαjHj{!,wMUϔWiRHi:csjx#>@GZ_!COa ~! !`JvL#YфM>>&PO b@^2&@ \9ǡm9f!͖P/Z4ԛh`.\.t?]j,{m5)w]$o6[7~bͨO("n[4gasXe'~= mHӀ'ZH|)(18W F(t=N#c_.p] )xq[Z{":lA`\B>rڟ6mɳ^"1'Q7?A6N P4`"@1KP&?<>M4䜠sA)ďRdlN?kk<N-z=0FW -y-h2fp \QFT =װ,x8$prƸu5,6?:dz`JYѣV`hꘖv;6Yc as@_h$&׾{ӻ 5ekb3n1mdT08˶t>Ō%ڠ\WBn=̤ph:ŋ}_] S;eaVp0债F ס ||yD:~m^\kցH@?F"NVusmg?FeEe0qMif8ͯ$8uH%mb)~o ͮ[.Ia[)1zm XbnK6hqq-"Mt,}C{)mLJ6%rz UncOZ+hJ#a{|Vd:σ5Y3xr3ڹMaZ,txy*e`*0W9/8`$ C+K=-:7m0}+ta1HqS(z`/̎cE$ꀓ ؇8!qG95Hrlimcy ۚ ExxIc`٩Qfmd۰F('?ZB%^6_^ZA/?ٲ}kֆZ QƶHTbx0")/՝s &OSCZhI=yNu#bvP)&h¨!>@C!"P.l#."AI/.o  lc7~M&2@ui׹h`1h8$wA~Hq HO*J'MS 5 4Pd́s0N KvG.XNjZ>3c8HEWrFE> ݃ ǫ׆MA'PHe!S܆NJ֠U8aWIZPBl.ܟS !, y90O1BWF磁y&?db&AL)Q1乺Gso0S o)d5[{ΟY$C][tH,sHi9<$Eu< :xe2qg8[(O"nB~BhԌ۟*uB0%WҒV fWSIX'ԵG?KK}SnʑK66af f:.XKC٧5`2"8 7|Ǯ"A@d\e u;W9뿰YF-aIwrⶊNf0l Z{= `o&o^encYmv˘{ +*2? aWdI:LjY\90?!b@tV⻾?=5RbO 5_:y7%y5bb3$T&KI + LightweightJavaaCL =ŖX7׆GG1E.AŏE $'o9'0 h]~mwwmɄAUB 2['\\źl;\yv GOod*|ܘlfVpT]b js1{ϑ5cdh)c\q໕*] Akƃ Lƴ}!< x3jӎ57IJ[VcMG\N^oßH`%ldp i;nSB͟/Ob.Y Nȩ3Q9Ui|B/O0f6UJ!Alagx$v> MTKй@O[UM 'q{JG0!|RU'E_/whqB{`HN92bz;?TD1b{AH=d@8:!eq߽/f&$TMi839 +D;ˏ^g iHL(o ؅nĢl3 Af IƄ8X5Q B, yPɻ2I$5mAU=C룊n:*EcYy0u@+He%~{`"8w9rw yy_vH6Bj?3=v=C<՚"(yz&Uꉍ"L:4LAɦck?h`-TJi^<(< vW[Aֲ-BPextbm^DC>ӘAtl@vaw0쾻h^k ,֣Ds .o"yՓ>a rv,\b'KXKDOՊlyGݮBR[ONMUV'D-<|_iX~rXEٸ'qohSx0#:)lc܅HA15s Ec71 M3r*\a0X1GӡXVt 7 "NnD\V]c?Z&}LU&gYZ7zXZִF! Y ]ŗXi% ǂ]5P Z[]dmA4:ԳwI(MN䩔"ݚۆ?{~HS:,1blrlEDp$r/n 9+C*kUI֢g 4Ylx(m&" L묔/$~C?,eqn!IPR| rLp= fh9~h|p;fkKxF|gⲥ9\=kBKyGlpA$Q@Roe@G qVv;!H@_uUe e[n@rnb1Vh<+Џ0a T` 5QvouVvjgO~+l;[Ag?PrkgE}ՌRoדEGp]z5ݲћw:.^FR͵uO?&aڮf4fD㾤*$( (\4k?45Zy4YvyE 7jt)P n(oA,sHEf̿r\{I5!;N/?/`:Ԇe|\O` 纜h"JL-y 2ZdNAwN  +v7RuXv$kSz/0SiLrlXh~~ɱHU9S;k<0 '0;߳Z?B\7-$l;?z-ˡ`L4wI8&oa+iŠN-@M^G#U U6ڰ#2j- UR_> +{9T2ifa\( BۺDy{O$GSojd &ߒIuf>E:Wkcb{ 'PNTWNRj<L{Z߃|;i L;uL -`\}%Nhڮ]AҴgT꓆8?t>cQz@\ZΛgw %{^dufYۈ~塮*+UdD*N ;`+D7OF䑁?֑p?g^RZ4 xt$gbat $¬?O7bƑ#ޅ/C APhue3E8n6gDι hp4"ƚ\nΝtjM0}{`½ڔwgYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3e728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c