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 qqh) l I/]Stone_Algebras:threads=2elapsed=54.908cpu=92.576gc=3.048factor=1.697zXZִF! ]ŗXf ) Stone_Algebras1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g .B|'W;u,FVѦet('~=L*ϭq,E8/ouVU2Qus{3rΙY(DZip<o#,oTJI( #42q8nJQXSi|d50Me~ǔn%kk%haj}o<+R!&'bL4 :F!?:j,, r $Qb % N!LZ a@ϙX2ݖH@CaV_;Xq XFs `'Lar+=yf;m3fɦ<ʫmB)h 6t7icѠi25kgtUL1/G2 ?4B8sv%8Ȃ3B$KXsp@RBC"LpEtl L#7?M23 X`K&.&Vplh(wBlsHhmQr ʹ.<|ZG^"7 35ִ!K >G'U1WV|qz(C`fʼnvEmʂ ѩ?R7|O/EX5cGq`7a",*e1EUl`W&2[P\ n$Rq&O4dHK~ tgQSB =9| c!4_h>}Bɽ\|xŌfv7rF\U]ͽ/6\1Yʠ ,0Vװмs׼8MڂV7\YM#ܗ 223< 7|r^}H6#g TC~cBݑuZ<¡g_A%$Q|!і0/]M^T.4jw j["Rҟ8bZ:_J^a۽O ʎvV@͛ߝA?c/fyaM 0wqHbZ耍mQt3.|H"\4N5mAB}#Nsp2Z"|H- =}zM;@c]:zd6]§|\^C؝RJu<ũx@.pq_QQLcXfC[9JѢ `D~-!;Fkt)pAf-m`k=q8[VzQYmm=*0*y,7=c,u5LWv2Jb59:jr*Lqgi|Fke{RU7=>$A[^bG^@۲8=Al煀4Hڱ} eJZl+gmZy~0zԹU~Vo (DSGsB@F>{EەI0$@d(9SG~,zjYyW!@3:^qz]UG!/1joa"g7asQ^`νNEGd:CԷ'^$,e5,ʢj x'\zMHC zw _?ɨKh Q[- !b˨U3 sf:faE3⸰7 %7A#ۚ V#t:9WUͨ/FWpPS0GU=KyQRE-=&(IfG0wxF[zn75OG/ "1bX7XS%/S @0BO2 mL1cm̯V+n'ièT@,AbMl`5%+}#LR2f-LyG,ŝ.G-@VXJTUxbnrն G@-(AA(yވq)oyX8V.kul×Եx7K?^~EA l MeOMV< D1$@q-M,ߡ׷,YYcQ:r4Ev-lWuꋦkaaw"Obc2ZgR ѡpwY:|V9Dd_La,հ >ˀkTj4EJ%˄M1S@i0d8T!R_R xⲵ Dǔ Mӵ&+ѥ}9%/ *9Ex2~Z #SaRc]W]e5y{5u x0;w|潒x\FtnAe!YMuT&,%c7v܊qǺ TQH>z?3: auuw.%F :nEJ@鲸yv\L.!--O\jS?.@j'w{lgÆJX-dW}m5E3yS(b#w6U 3j*j h'!*O$$a+8D}K]3@2oJ p}>D^v>[岮yWJ;*+vG(8(Cm8>_3N9)pH lI|y$R@|?>(}͌=ApMB%lrY6 Ĥ̏z$ w=c"ә|0!E:u@&tME{Ub _lӬhw}eƲ,UapȲQ=RSYUAMS&K\?i R&sNSex6#kn#gWJ#]Ypޙ?mջJŌeդMd2K* ?O v*ZcP_$H농!up:WsrhS6'ht鲐1.P xx99.17Q=6xІXIx)7$$hu|LEu;ZH"K7+0v7xaҕ1AЯV `_asJ9OS>u‘RJuޒY\_2R Hd(|C/WٞjJ@vs%i3~y필`&m$=15 ~Q8Į́3ժ> ~hǒ Z$n⤝<R3w2C'c߉β'o嗕s\c#fS5]~;ҕ1 76:LHxŝUDTSվ6">.lj5u.`>R L 0ywwaA[(uWSC`LTCyBm9J, {s*x@Kvtϯ?-H||]Y-}/ $w5STM). vtDw'jRt<[]SW4ja q Z_wg Imu V+G@iZ'9ԁ6" ̜ ;L | $?-퓿:ڙQ>bbۦ:BPQAA8)JH m吏X{aCRػFrV[.-t$PBvM 34)5v&EJ J!}N]:CaOm qI6n-F'p'iky.ZpkGK-aIʒP)o=Ͱ(umcr;m+>vUS}6#? ED<!mAs)W팘7c~q^[V:PP#ɚa/ Ɗu6;`ͤw b8LJD}ijM2lJg,@߱ǿCR e:z1[qp ;2EI!I %w\Qbx_OB74GMP9&{Yt4~А zρd f䯖ՂujJqLOM*;?<ЄMsAN‡n4e}stgub].3Op758:}&;"o఍w)\^5JqUpg(W~Ɂ̺MV/h 7k0 duX_'mKK@^i|kWM[8Wl@(6. 29zd7uGiIbo1~23 2U^xbBIu :fD+ZKiLN0yqfp%qMB鲳wBJ&<_C)KKOQl+nOjϠj2'e : G%[`flȱI;hWF@jV_mIOx')f]PxNLPcˣf^XQ1t^=  ת tnMDB}(wgzE1$*L-eRl|B-@~Ȱ,܆Y#E6WpttдvjY6ymtwOxDe4ThQjq8<4"~q`jT'aA1?Sr_k̤=u  Ԯ1D=>tsx,g.EjER>kpy7^󾝱eQV̈AսC%Oh\Kkgbbx,q!)ѱCFBeI^WTGS(CiW۩=˜EO lDYY~;go\߃RC*M0yIſTl9 GO]EjwAUoBğEn5nFkNx&Vn[g6YMߤj-)ؠ΁˔,E#Z6PM?_>bv0lyM?zAڛ朗g4݉z4+;qMVoYVc>ݤ ;vkѱ/O$}fjb-m{ @M lp}>K[oCb%?_hqo0<sp L`moU\9rȑ.##Pv>!mW3 O!grXէN[T2Aۙt_Ԑr+Y*t'0rxωnr0ڮ@H|FLy[`R-