SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 1D$, ] Root_Balanced_Tree:threads=2elapsed=84.615cpu=160.676gc=10.696factor=1.907zXZִF! ?0]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxɺY^Q¾;z4 @R%2%Rhku}p<#bӬtX TϝPB[1!ŕm*w)fp2i)䘬r,+[zM1T@S2~lA-Bdyۮ9ߟYy=̖gs242cu$ʍxYG=8{fcRqc! bL& }ÞT̼& ),Pσ/qllV#IkίXo&c@WXQyPyH֮I 'ۭ-{r ?)Bl+LrJ&Z `b_8<,3r<)쳜;ƊFMS~:ܣ';^o=C(=؟/ _pqO?奠XtyRV!*?Q-4L;GxmCK7ye!t "?F )HH ԛ\E?YNUl mYr|FTYI~y(=CDnk|fVVa&p!?VZ_B-KsO)[HfJ-rm tx ޜĽL1:f젪h"ZPU;X˃G(HcuM j|ksn ?Uwȧsڡ4.33)uٗ t=HqYᡬmQĦG;MBߞCb aC`38ځygD;UOw^=52F!/磏+/"aS4<5@ VmzG>M.'rByA#ŋ -wZ2jNfC,cb!ž d)w/H K$xn!.,p_O\y%Y|FM PFѓ)T zd樊 INj'P.J:=2rpp,ʵ=!Jpe䭼gm`%!q3b?jmG+7+d2ko=Z# W73T𷸷C;¶/22{l:+Aסmx7QJ.;ZՒv;Fdބ9~l~h<|2rŎHWM|)G=jjKb[/:~6WǼ!DWjnܬ*|#N*]~ls[3  ~1gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻=#NۯwO1}u_%wN"wdu?MͨWgi^$ m[|\لgpG- 9 Y`r1_Ǘ/Tc9dYI>~,&:3OLE*[v9aR@ ǙtA4-R8փJ(UOC"yv࠸wR /b`j.i.vۄ Q n_pDˬ/ɬ~kڔp؁{$uS$vha[M;dzcCH4^ư` CmF:^?goMn/"n"5T3~xrh$f7>H 0Bضy4l֧& ^iW[?䵭똗tVkv?\{";!Nb-n 1 Root_Balanced_Treek/f8~1ٲn!%"DѶCWߦT(7aHI *AcAJ!J0BcP|`qYb9ЈBZF2?~Kɾ{$'NU{myx%Bu2a=R6kX)𝓕,y'.ҋeه%1{6>qKx*qt(F(ym͉9%b2QFBqߜK@k_Kh8'3n{}Lfm%qw]wma+hAvu2CZ#U} )0zڔ*wS񟓹 K訽$WBeM%!L0 D׃K([p Uaާ}432ͳ7(G׀'țBvHvw@`-.WG{j'm@5d y^y(W$ΫVš?(ftU6v"R>rUqPӈIuXM]~G"]+puu9Ѯ;JX"a*?uB (v[ev"Hi4@'zJ/${>e ؅oX. pc 7Ew WVuErD,h> j1NP?2{n 'J"pNVS7ax4%% ARąlQl=װwjElg ݬ`-JJF˞׮_/'E[^Ai { _B<@RoeƉ{n5Ҡs|<TnBTsV;k|[yH137x-'⅌f`ܪL-rzɓ! dD1,%3sPMY(3; -L4!L(AAޢ @)c)o$ux̳ߍvgNh_]F'P7cOW;Jy_fuh^򝀃! kc)K+P(\2ic-ej5'33>kh!bFV:4~y_\y@˙HIS;v KeTHJ64U~#9M L=eY#RRqķPsZl*N"ks7cLRr,Z9x[k&ClfeC؄rvQL-W2sѩxQZJQ " /1mZ}ѥ(3w%$P]鍚[S6_]|7 H|'b:6d j>@Ԩ%-6sҠϯYCnU}'Z+'R($?r͇7nfqVi]njިYտ#@|h>V{̃$ʼnpqD'x.I"5VD5t':G }aU"pDX'=+bGJK,ڠ[,'/qnǢ[f,EA<.p@JJBeba@U#Gh,YLRMA04c%:c,5le2ƫG.%7 Y_gh\Dw@z86X=Ù W94[k7e>CG0 .[s{=/naT{+Q>-4_MVx9+:om;}&cU zVxV(3M$&6lyж ''Oe }RIp^cq8PShjשP޹OhsnxVٻpXسV_>h?ɶjMcu9lh=[J;12 [\WQ?S@l N E)L{qJ&_D!>2 vfb9ɝoY@E6cбyѭ"Eot_d4ݒ`uќaQn#rKE`y(f8'\xZC_/p wnV,{,^VQ6AI*1.$?!׎1" bHqEdsAɦ4x)hXa#j- NѪZL %)\g?I`Mf#!fAH%sȱY=hgMl.f{MܜA,ȎsE/VNiQvIaRY]꿦D|APiLA=k#^%u*%Ɵ.a}O7]+=o T4g:iGGk^Y2W1:U#wkK ?w$"$X>%2QnwX΋kr JѮAh8 +eL5::8fLpbw 3 ,[Pr0Z]*B9 .`~^}~9Fn}yEOSڃ\h %~BB5sJ{jʠ}1A\'$%FkY ơiR)>:msY78EThJ0Ĵ3W}R`dQfqlGVV{ XMCf6ؒC N1/{xИ虪}BR{riKqf\Rt`9N}G}0ZyD1B0V ;E*;阇>%^]^w[W/.Ux=ʉK8x-ku h)y [ a6&M{Fh`74CT$z VXif eBfPMA=B<=B46A)KqkYdѠ۲4{>pJOz{Vf?7R3cemʲ$e{e}&YacJBh wcE#z&Ko0Lc긦D{_n 0ue