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 j5\ '% Collections_Examples:threads=2elapsed=117.039cpu=196.240gc=6.908factor=1.687 5 Collections_ExampleszXZִF! ']ŗXf1-/6vRZyغgЕgQ+m$Q#3?#.5.Rx4 %G5Fi;"fEL@wKz)jk [6S) ]~Nꊋnk*XBur]otΠ"^@ֲRdj5ѷMMhSKT??y^Z@ 3YmW+yOi)$Vo`v]+OϧjI {XͅT}Wmŝ&FCgXr_)ߴB+fI LbvO sF(s*Ư{NrhQ>WK\kI2P懂GV*_*3LĮ5Œk%fN!P?1jΘjWOM].pEFxRfp2>xs//pŁ?:-鄟WY[vhIŁ% .FSW,м=\ő6Do|%,~DLtVp#6MiVi{ɒޤkPnc-&rP>π( Tu@ )[`MUl^.g`E82 21̻تjݦ^me:zSaGJ[Dx -V4Uhx)*s; ,< @0PsU]5%ߋ]=m?SP  Jg%VƍCDh(P[_WΙ@~"ҡTGQ :Aͤ'y[9X`q/T9Jt5x`k-%*r@c /H- 5*ڷd~#ݩv@ e},z_){tmZKIKm1ocҟ9rrO=Cm]cqQxo?>w蠓&m9Pum9WŏT969 1sTh"φmo|hU̯)+̾']W58}C "՚1cs}p#/'v_qHq :ܼ vA*& $/@L뵵Cv(RǗ(˃M |.ߴ3M5B}j:0 mMF(H-JhRu?1wF0^$ݚԊs7{C5|sQ4uSu1_$wԱ9PȋA ieݍ)BҏlW_ɻ3o%+0N@s )>Ep4vX>EuYݖeΐ "y xᏟ:{ l;đ [H> ¾-MX?X՜U7y5M|, W Ep}ta p.oX F ]—K0A_ )IOKapxbp)?tzYgGo#;k"AL#) ;Lm0qxEUոq{$: ґ޴[3@KnZ,N.íbSxm,¼ꜭd$ fG t0!yMJ >дSiiFuBe9|e m kj0^([+9TN^5* E#ɻC(^ni㎽)HcN-^NΏ w'4H?(NTl|cpe]{m,VT7e|(!zvb`w^rewt ( זg/.۵4G4=}fT1{d}'pZшY:2+`J$lŊQǩwSk.)- 0Q-^e2_C)75wyvh-0|]x ٓq(el(փ2.&9Np1X{MZ 8"+*o(9p#y0zSh3pW7!æ]<\ZȀѵ684VQ gsCg Őт/1Z0 e 1l퐷Dflsڑt1erp˜[nQ'%j c5lɳkAX ;KLָZ9~Euئ!œXhϽJOћ`qȜ?7D8q1grD@%C[ɧ#lmЭkp`/5m{ n[xDd%0pbAАn $_7F䣱Vohb2 bHsL3FoL ӌ/9ufߊz_M_ KJ2 Kh/Lz0}kn>Ĥ(9hºHw6 р.Rbt?盹F[w|=:'?AvG6*=%725\ )&"C< 튅O1XbʧR`N*DJo7@2g@&!GsU\rci:\ W "/QafW9pQ19m֚6$bCd%?,:̅N:q!EUួdqIFiiM7F۲Jd 2cw?KaQnO$+W,|yṤqsWo׮U!͚\CL@Z%&^kW_y%lBȬ6t4^m4eRW#:B ɂǼRo>vEJDT `pܾ0]t=XŒaDz\DP2ꥸ Qg뢾Uܡӡ{b\Vȁ 6xg&,[h2?m6s7 5f2$ &øucg[:$L FuEwf92HYB; 0/GNLJj-H/Xu} ߂$>o6`hmoFlc51pG K -YAYfy{\:q&G??8[`P].?ͽ}ƽjT$ kӍxD3T4Pe2x[,`+S5U~/oݲ%X9mM/H2悕U@&1tZ]#ޡ/PG`K0G'zPiC^T!n| Qo%UQZ|8}%T~.1T1mĩY1EؙiGE2 ҐsPzD]iX I"yq-xLЭJ }3ɁSm(&&ʦ s,3Ml7WoW8 D'F'^g[[ʶ%b(%:-NElnytJ_Ԧ\l HcvE^hyV(>2UoFTBXӎ{T>L;D\ŸSO;%ժesutJ 3% 䛒4ްv=1uOigUX)W3LvC[G(+ҸО]՝HH.XtD+Í=X"`효L#²QXe^u̅/,U+)نݵTiOM=MJ"7UB/)&5!މZ݉09vTЦ5ANw':tl`+̥։&{ƈ/5\wl)6 VZ:8bͽP`Y& 3K-g\ߣ><\X}N5o m( z$un>ZOttSZy̚ɀ7XfE9GqrW ~-7k̝搢hq>ƣ@Ӕ(İ%7K5_C Xjf1Ya<'eൺؓjL4=:nΌ(d @A[s!pGf ȪEa#UтF$U} ? 8KELADc̬~nˤc@zɻU ⱼ{gG%es^F:Q\;$PHLф08nX]c^ =} ;?ڈy\zMg!2G.&39fyhoSAi0=sAӇ堈*\QR[:2/*9X@4oT+~k$$pZHA sfYC  M1)(mvZȓǝJf7D¢اNaTe&X5 FШ8]œ W2- ]{#ZyS`N–[;[UV/%ob 6 _R}&҃p\erQ! 5X(z5h'ڔ\*G&S˙*GKHMRpͳ3U&b/"ZX#3e q5V90xI,l,O6(t*b4z>l-q(wf%¸Fx٭X㢦2&FA0__Oّͷ[8rgByk]䩼6m]B4z"\tyJ_}ϔX0Ş+F#8ӓ/$u1ht#B`BB`j{ְ (ۅpyWڈy:xR &ODe0U)7⋖Cy> a.tU'+x+0<jzg}]e^8-)`ͷOR<lT(Ĉ C"Lԝ+us:XF [eDc %_,Ӊ9t.m|!nz8#spT:%vTWԾbkPoRѲDdPJ]O[q 1PD¹3F_6.ro|w!Vt$ 깡PKcM5MD dvv΂#6Sq =Rfě}Oq \ ҥC9aU'&۬ZHB;}i ׯ^V4{UF(XA:(P0E7 cAW~Til\{NǀLvO6/t(7̧ɷB<NJu)Z;\TIpnW{g1^fėuUhRH!SH8 um&7RO_Uط0"&4H#Wf:+ߺ%|@ݸ2 xU,FYP,w"8m]2zh윮Y9:e[vIK}yd2)oJ#\PȪLt`&`GQQH!3kj*X*RQCʷBiO8Eh 7}㤕q[ 8H+kAkcϒFpo658/MdS<)`]9 ugbޘ<5?cJ|WQBp NQ_ӧjNzGl4LL[*#DiT"-(Md P`(($>, aJ30A9"Ɋ:y P $&9&rQT]$nӚU!eBb" Z#¼w DL~*B~ų7} /H|Ѹ>QeHJs?oOiH3^ Q/ol= 2{p{l٭Q/TO–ˑ꯱I&Ro ɏaSF>d$[)wSLP׌<_{/.r}Ag'mFe)RdR1oizx4h>HsэbWp@)T kW9ӕtW& :# uu03Of3z}YB,%AA'BGu.IN2gCa͡)ySDBhn K$o {I& EnpVBvf'?\B2Ax-ҷv'Q@~נ#3 Cm<rlT? 5/vrlkg!Ӗa1 ~8Y& MZa5WL#