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 r+ lt w LightweightJava:threads=2elapsed=51.740cpu=78.692gc=2.944factor=1.527zXZִF! Gm]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Л~*m&&r{EغnSwHjq+?ڎiL+D΃gk%qD׼MH=ȓS gBR@]!t`wpz'&N7R!i4J4mcXYxz&+GRoϮŻ8%mk֞Ԉ,^G 3#h*P>zEg0̛)9& fgJxL~cV-OL;z~&wF + LightweightJavaeh.A=Oc /C)<0΢KbOydM$ղ嘄iV<uU B<oi# zGbD HYџ¾u0ߛ|x߲k&uG P{LԗSʇ5UtQT|tB+ώ\pmӸ=4L41e'c;ղ^wvT/ӚW%Lf碌F3F6qJ|h/{&K)`@G"~$CsB*c!4)A6P7! :$AYbu7;/ʜc!<wcv◷? f|r.PQ%mL TiXw8-'YG 8 gYZ7zXZִF! $ ]ŗXi%}P51[~>?*1ϻ{M:LG&qt5U(LkM٧PlM xaʭYqPIj w3V`ym\)piE y&F36=ݞj?Kn{Ziua+1vGmϹR2Cv.v >a6&8U)LWMhR$ōg˨g:ϔAVkcU܃8/ſ,uA8%w=|maG!:@0`.l .]llgꉅU,Y7ƨHQZ8}\)f zinB) tD!6=9\7%֎^9 q`8+@#GXc':=uw$ESDlf[@UOIeqT18(|eALgFyՖ;C8=5cԅrggP!sԯRk,/Qp6w9tc;$ qV':1*/n c0dfJB˟+#23C!nzKۆk8gmcީ9f'cDž5x=ЙDJGz :A97+ٹLWFV 'ݗ\RZϽ&VvS),ӏ!Sԓ;I'Eqf)Ҕؗ֗Yh蘪?}CkJP]6*A:g1i~=tڼ"viB*\U$Iᬭ00gПnJ^DŽ+eS,`)Y>C-QFCKbKm쿸iz]޳"H*Qi렀wcnH,\'Ӕ$1,Pq:Z[6'& K؝;9pC'qnD㲙p[~y"Y{p#r|/Hm@քahQIk`5ԭEx-]t~l`RH2zoSAy]{dF& b*S/zYn%c\I tVx}xn4#RG뵻(GYm%M2EVϐZT.yJ؈SqC`-}z,,ZX^gYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382