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 mmd#T\  PseudoHoops:threads=2elapsed=100.326cpu=131.856gc=3.976factor=1.317zXZִF! 1$]ŗXf1-/6vR[3£ˎF""TB[dkn*eTX{)cTt&U@`6"gEk!F=lQDnŮ{ٺ]= O0Uq8#; Na>(H /} ZK dž]ߓOB(9I̙?lOz:xO DTYQ \|Rj˜|` pI7 JCxHX1 # PseudoHoops 8!$ ub5>*к{!|޻ߎubC `F}=\0; b=;[QnW*8ʋiD1Z$|] S#Ɲ[יȋ}Zzڄ5/J?ԆazD#Y#jR`@jqVFF̊%@]29= :FP}y7;hG^MD育 L̉J9LND|=@K*;Qz}_Tu=g64 L~јuۄfY||o61H!Od`R.dst, *oC}=mTPtWZD|Q[+i&%f7LD$ŀlS_ܲo dHR#"vɤm+qWOlWu]/' DQ,d8l,#^MDW#%|ғ#W/%[X@PTȽ@I鋛v!QxBŞ-$QEl$ߣmV;<!]J;=uBxf$v552{lk:%Td Pq<OM)% lkPi=,K3rJ}Kc6@hͨ0 !^S $@>8J}XSK*9arNBv@}\i׈3FfWRVr"`|MQJ+rS Ϳdʑ3sUCRle DNS٫S~)WϠ2JU"wF=^I) p.TJS Ge0p "]Y`I_Tޚ7\sPZ.(w)%T5#?_4rgv"ZئNZDܻ7߸Ք ReIJbx b2Ce,vQ&YK2К6^3kI5j)/yyK]Rc$D [iVK&4vmH]> 63̵Ԣ(֙q#3۝l5A(@1E3X7/bHx:8V GYfvWtca >6=-h{!,_sw_!tċ$y3$F.VHFaG9eV[wFoĪ I1u*vcR!|-Nv@WCIZ`VNw"?Ս!A1RSt'5bO GtHk/e5K>.[Ò=//&-& Jiܔ>F>ȋHoH#Wٕ |gtCO1S h3?ց h 7'$+M^V$Db?Q`CJT `kaFZy[d8VwLyp>P$$2mjG@2g~!Ru4^GE0 ZK=tjYN:ɧE5@SaE %C׸JWh{cmP73<" $X@twXzc*CUpQ3w A"1+>HJCeC},~%C/)I}{_JW@ Or9zEo:Tѵ䘘t_։S+dJ\r} JXDVHB?ӌ(ڎw31y_iʦ;/b(t &qd@r/a3wmZ}f(DWZ9 Fm4i)Kn#4!V{].;k4\T IE^hiԤ2/a^=7n Lm矕vW܍YBaI4x*yă$֍9wZX@jZ7$iCs6Bb9qg { 1,·H֋Q%c6I7ir6z@aSĸս_~CXwWmԧ%f6 ^{byCV,;Hx&$ [hrȾ*:.!aDRXZM(1ثa'ggԕqfI_!!dff@ O!: .Z4UJ==ENj r!27#EWT,}t]bs Òo^e@+ Ke ,D sVE ͕xLLN$u̼V+ ժ/mZ97ώsJ{;!9sY&>+JŖr9*Ѭg={[So{5n$N}CZOZa'Pww i" t@8:/Yi5r~G˵Md1y"naOl| ; ߳.^|z}l10GK9([7*:UvLTzVhAFrT.b٩T =jVQHr3}'&& TP51+Q9e7Vna$Q2*%*6tEn$O[:"V ;ףavZcABOcaL{ ʥM;.s??h><),dYqs1kS5:WcTًψ=mw+Y\9%]LTu)iC<^n&i%@dؤa8'b$)aJx%K`$WҰ lJqg_"ygjʣbp?O @=]6{ޯ{L}=O+\d^OvDOwW/y f{V]S6"xGO# G2j'&:wgYZ7zXZִF! ']ŗXi%DQ#7`'??Z@גAب` mkEXJ)3*$أxFcv{6uFu/&G?cJCGRZLc= cc WCD +?c{!0; :psvɽEB !ZBZv7D٣m:ӈMzBLTgԘY7|F6jM'tt(J?V_; 5ɂ.'׺Ţ[p/ZO"F jB 7pO8Z_m?mц6|F[ϟ$6:G]mU3cN7] tU֟Kmo-ǷӎWXg&F>4x!@euf}Iyb] Xjidi8 ݥtLӴ N!ױ{<̼j?b*F+|ϼCQǹ:_3{aOB5JKfR17DRE3FOn gMN8D!E6*ߠt2:?o%-H ^$Ù֯sUx)U4> ]+\==Rnq. xeڏԖ 3s ū bGՋEi,Kh8?Yj{>hQkEYsM#QHenu&I? ؇#~uúlAN )D*ӣl;P1Q?̐0Ž7O [a.3?azRü7^)s75򮿇߽[( KR*G_'iT; 8'w5U4'{[C2 Q^2c-mIhe‰26fsCѶbS3V.E'uW杲iz.UU /%<ecpYe![(`?lj{TIҪM@9v*}rE>m)ʝ)zoޕ8z; =^ĒS0wt2Ae|e@Jo2li" lO),bKh1O#}!Z͵A5 'jӋ,e3A I "nej><w>W{8&`V"W%؏nc(4H gdC>t@\h~t䴍qx%xD>bn܃ΒkCvFg|&L`>P){െoK~@UMX~$\rŸw+TSɰcB,{҆l%.ae*ddќx#S|M$vw3ٵQNSMaZJIq>>{]!0㌮[ YhZ07}}$_X t!ǰ"n0W /$w^ϪvK/#Z#C;鋕yKa[,zf™F`::o(dh Y75*+H(YZOfj$iR 3~T4-#̔tl"? +0˲Ż\)RoM BDиw5:Gɣ|ֱ,y #ɥ/V@iCsN^4NdJ>"D3 $un |`u]}&:lJTt ڠeZ-A2ou4֡{EJ1yUWHΝrvGZ%%坵u >Y|"m|=|K_,3dV,a9SDn2VpP 2>E<{4 sFkr-k\=o5;t)AF̩fYx+$gΐ Ԙ3$론x2qշ5'wDbP_gB)z]ce!ԚHn@r2;>BVksEɸY/e(3Q?%ώ)tZU_uYTZޥd#r/`EČSzR!Yz 0'>SFJf7I/_'-m8Ŭ*yFϤ[`F2ʛ߷ѓڙ~\=fRK r^*ng=ɞXK+i~kh{xsCM VBP7ۑi!nul]0oV.4tVsC #aPJ"ӣV&dmLG|퉊M|,MT)Y xt||U·?E1x(Sʭ`>o: _p}yb-. OREs" ` 0uɕip Eg$% Qi7_bٻWklچI^ņi`$f:P#q;ZH\|^S̈́8,3ElΥvu7z6uW;}]BY*G}-wX FleךYɭIENdn]LnZ.kZ[˜ϥ-S'LJRH۲g[[eg˝[oə*>i^aܽڊß;UJMsqƲ韉؇]/$TNm_e*)0{ W3ohINq)p DۏꉻMA+] wj+6S \v9Plko+wixٝ3F@͠34CDS^ |6}A+B?tMNՎ`j 8\+:b)?ʤdk{{%j!\ &87nkvgvTjdG߯_-oI0aF5ƒ.f/YH/r\3QhW&5*9ʫ+3h99!كV[Ar gRnؽel޶0sYf/A;U&)gYZ024dad8fe898cc373584ca421d2f6ac517f6757a 24854fc6e0ba1abb1268fbcdf897fbcdbc016dd8 32b284596db1e83dc0ec305f42b3f193753b8d67 4e9168a4953045453908bad16f1b01e3adce7bef 51b459fc9c5aa7d5f68f1754d795fb09ea644e53 76e3c3c83413865d1c0249cc34717434bf9ee7b7 7b9c3934743e11d84bbdabd78c336dd8d4ab626b 941eadf4dae631ccd39fc9af15e74202932b7172 9a4a85368546387a79f5ba733f177705e96b7af8 a1c79c9d16563cf2a9e51ec07c9b698fbbb351b5 f647347d3fe7669dbde6bd5d5cd06822bb8fb7cd7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 6c1432c9dfe37247a1aa1ab2dc5cf6e256be362d