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 9 ,L ?/ Locally-Nameless-Sigma:threads=2elapsed=38.234cpu=75.412gc=2.988factor=1.977zXZִF! }]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂL]w1F1gLj ºc4dm334z}m䍒`ߤՋ8 T1gRՂKlAy8+"k̟U;!u/e3y!_xys  J"P[asbUH3s2#ng8PƼJ|'"_|2T`315u/fQ7%FDtkփY"l=d| $,2B!l|~Ĉ9DYv#c *K.8'Ilp OnSoP} |<Ʃ".(viH8ˇS_&@wHzMsdkXU .VZ #b$ue`60?|}PV=:- ڮ-7JД̜@1~!|\mbk(BL 3uB| Hj/FKi1vy$0H7s#`),5#Dļ\W,&biz|$>$0@m*D~@!~54.*@.D2 @Y-[6,&b4z DI4Wdqo:š*# 0ܑnB  TPWVҁ\Wܵې^X*8)q"5$OHC6K@}0$r՟(v:[Zҋ.Ȑw-Y;sljrf"o8Qhc1l5qAV[vFj:K՞{4˳|+"+*Hmw")a RVu"ȉA`d c.N؟|22A>?ǀO ~ӆ Hc1 x &yCNǦa\xbCD;dE#)Ii+ /+D(RAhA_5?So2'YE9-"@8U!׷.XJ+G+qGg曁Φ$DH,Dž&soGTQO4+>F'v>.2U'@$[BL-P4ѿyhS{\˔Y$q{mF <5eyxI :7R!ت1ÛW̝R X&p&} t\JS%q*ۄ[uXVquH#i!CA"8+;/*mjf GC${`CVߞџf% ׿Hp9\;NU6…Εz(J[;O|F6{IWm_b~h;'5"#I7c7ʏC?E:jcEw -1\r~,P{Ш`4I[yL `]!jPq[ԓ6;Tw< Vf0jE=&/ Ta2C݉:ƬYCvsشQ%B!pvq4 i.s}܍Hӄiw8Wtg\rSx)T@M"lq3&|4 f:<,9]V"^fՆo~?美El4<sE6%X{t.fBisSGE5:qDJ0U Y8 ÁQ~U&Ip#TnK"_$kҞb,&GPa16,I&fI?(RK /w)5 a%DKYPz>: %H .״\Kk܅@RҚɴ О:N yPx4R2He LnXsZ #l#ըFNL"zG36_Ҍ HjknfZ1 M(| :pC_/+OrÇxpwlM!²>ރkm[͡膁K 8@@I칦5 x8ʜWy.xcWGġMAAriH =I}.;F+|+QS!O!@trLqgoףѨr]< \ɓ^59Y<!zn3 [u=)" t}tƃY9/H 9\KO^^rhvA+lAUmsFb7f{i깊ws~e G^I1zt Lu"4#"OS4E}?$7~U$j~9(m+19'^cu GL:kpU;-( ?uƒ%#' b4SV88J_Wgm-/me(u`7{ꅕsNcS}< ei|Л5N#yz9S)['H ?_dfk]˺B>b9p2F̓yG1twߏA~PƃtD-^J-qA|=<٬+7Zw8+&k@w6,|FQ; 7N{tyP4(ij6}ߴcޮ1nhT&H P^x0D<a찣i.sq BWAZ ?.mևgB.ni{hS"2ϱܱ=#[Ƅ}z%p(LE8ޤW'Dt;)@#F}9ATeϴ / ` Tp]=)҇oIx@dl!]cIa{eYTg͑^X8YЃ?E XTH 1phhk?< +aZ!)bh|ߔž x FuS7sdyjg"Z_h|Wvc4Z'G㵲؉鹘s` 0Jͬ?7/ndvd[|Ύ#=.(O)S2ϢܸOʛP`G26A@V;T'*߼ہ$q Q7ZPʮyyt[/fOz^Nd .kA 'fB~ʓ0En] x>|Rc.aH_7o ]7al\sybo{ +yXG#5υ8h cTTS z/g_ 9%8Zxx}q$s9sŝ”V2c&ː*ʼbS8_N(dsL 6'&.cUno]Vnʱr~|`ܕi٨¸rV&A lѨ96e9X(ڑ=8OE]9G8V%h3L%޺4Z|Sd +uGP"2gYZ7zXZִF! ]ŗXi%DQ)P?'E2%[ җzL9ѻc  jX. qjI~{h$R\|P-f񵐚 K1CɂTQG!j`3,H3ɆkAudgc*K,%ޕ{.XTJ`!727A}9Lc0="9D- mnŞ-1ֱM'}@Rx[2hsmmMT@;T2y1ŚC.%[XMm!l 1~smIyБ'JWئ]1srA)r+q(:]rC&)Ti<֎_}CnCYp:N֠!Wyl3|TNǹk0wvާ5lqD@[qH$ZK6JQ|uQM+҇'S~UJ=_9>tBGif>iBx*QCǰdXoMOv:JR ,>&A^sls^eS; rѨF}"_$t;ZÜDZ][Q]B UoY*%ѵ-s+f&E9B xMj~A%;,Z9.ٜa|_1})Ž*!XCtdX(#ua+_>FK>4}}mիԿ)J7mzpTʞ&X-GsfK$u#\f8]4~잛Pċ^ ?- ?b9Č?Ub+`e~φUtHnXbW>xd7DF~\Y YH #@:5JH 헀s #J\[\CmrnCSՙG}g3%QM΀@E]\}4[!("04 E +BVBQ'H Q<ٗF5_]y!>( 3||?h}fg`xn?0ڣ#2i)i&q4EhRx,9 1 - ׆*/H!}>7s&[ Jx1D^ d=QzlAN92Ty4I옡22:#t,N9l$/$D];)3o.#}vbI;s?B[#+H>z=ٷOuQ/~|д4w~%>Թ H/]ޏl`0ɀ})~sKc>`zqƝ [yx# |槮W sGL- rX >Ǫ}+lN )~qԈEFc֞z̒$,ƒLV9G6([Rj;18p/?9蛎 \T2Xt}& sT !wҜW~m3 c0lƬt*jGŎ\C&ִا6䮦wiԴU]12731/_9ݽ]k1bCdS7h t\\w19 *$Tk| 0QȻz9L)J N=R'H؄Dm_9a_0 JchrZ/B.@жF\R|_'PBcUzJ<5 #gUܿ3phT/=6c?:̓V9 PS/+``.5j\F>ŭ~XNiNS.CH;"^!& \:s'^Qr%M0''a> lbi+ib IvL6af:& vQnp< Vy~SٸE@{; _dބbZd5xrׇj gYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c449280f95183e55dec9ea91e7bf8f1f5ba47820 d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f1457df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56