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 N-,t ] E_Transcendental:threads=2elapsed=137.767cpu=249.312gc=12.600factor=1.817zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZKfgz7k0u脧oiYG@9bs umUS:봋tċ^A9r\?f7/J;A U- 3s ec|G8[DT Jd4ŭ!3M88EVB~'FVjn")jJ _=uo<b:Փ^dE0Px6\,F%UskNmlns*^t O.VVoVY%͛{vZz(OVbh@XTڭl˩t/ǎ +̘v\0t=oP<)J(R ~W(~ RĎ9TI`?l{o?_ۄ:4"zs+Eќ,62< :$C;zsVV >Ts3hš}{x R]_Gӛ)5r3j8C75>#f0aqԷC t#-U/$WUY*&x82oߊuS^55Kw >/SieHZ:9B Gkrw ƒ y}࠰lG*/R t␬i ^)mywY%`g;G*}A ͩx-Zqe]h4Rkzt_/ g7EG gr:ҊOQo{;AxsΦs*f>yꎓ ?.׆eݯWecZXeD~CGX}~FGcF:\ZkKB㢑i`MiXgs-CSi^'hď}D;y20 #[Q6l9L3u/JNH`rfjro[/ u)]ى#' &$Fv`I\R?ݪߝXi@Dl/We3>.-7e~8xle1\уPjp_6d:N},c*Ovo9{Z=dU |w-v1hy&QBo~pR1^vy3NjBR^pgA4ѓdy=W l}N[&` +԰:(LBz+1b}3Y@㾊.ݴFQ K1LǢ5|Q! d_KXM2$2*kӎ$ŝ|bS8鉰(PR9|+p>\7 G8Ck%[d]=V%~ 8*%ᤴP +ȟ8yMǞpO>"9r.7hiH\0F[xhBӷDTqzKODR>;Q<0ȂA=MGAXد'MDR:t="i9EH*BuM+C P'negNi^wnT[uh9' =M3f/m9ĞT*z[Tb|=rQ, "B[X[ 7'u3;=%(n(W!mtL1<lsWqJa@e 8G% %]6ԕlIՇLC‚zR3ACl?}ĉh06ZXo/91 NP|$1'}ӱ#M^FL(iKpyN[H]GΊo!)Y  Ԙ,6 jF~ BA$샱lt#gN@Ck}KYHtب2,5E^,D5S+b*ϊI"JHW'rI3[*T=E=w_P6QW+j]gw LvЦ)}08*dSZA6%.Z(u9m - E_TranscendentalCBz$}|_,ΊiJ̬Y+tUIŻ׃SunVAykm͡v^*ߖgYZ7zXZִF! j]ŗXiɟ1`?#6⪄f]e߬vO|o/xA;P:8{S% 8wj*> &AW?x!skeNkTsa*D%~kh<59Q=:jFlaL;d.qbfV$jw=;bx9c96㌐^= n!qzCx<: \m%{yO}*LK{qp07gq=t\V[>O{KZO͵7a=C@QXwwdՅ^p>gYZ7zXZִF! ?]ŗXi%ڦL_3H?=c3O193(MAX~jG܀T4N0`OjX \! "&Kݲ(IT_T*ͼ_)ryeZUQS>H9 [%:Swie# XW1E $~$ n=t{e=p"r &=O-Zζߨ^Vu@w~Gr Pͦf i:]{:UMRtcRk * Z\!cgf;M[>/Cx x1vF<*r!9qDJ- Tp Apl`^9?#Csnq>hL.3=T# $؂:$ic`bs@=䘝a!m1Z(f$nKlZsɃj~q|_u# 7 \+2͢ja ʵ<ܘK,#'Q`V[Қdڧ  {G8;Z5e<؀+K^EϜ ن[ c?D5 !`'Lꏭ T/A\E ZoTk:[uvW[gӿYX@Ah=Ht.O:IH/W ]bEW eT;3W5eLѥ&ChĐb?~R^B&$HhCt.Ɯ; ~ՠOM`XyI(f#QY{>~px9D>A/9o };{s/?a+Kl? \|k7(fjʘ9axAŊÏ!h5SdO`*gMiϫĜᢒ7%±f,c@.8S{SrQc= 4[ʀfSئq?6,W}DN ?.e'159F"^cg@х6҉jc/輭 Mc}n K"ÌFab``4L&LKmyQ4/oVͧ"="\S)BD.[C}/G +/rf]rDFgvfe vRY^#ll;$V7>AKV^/sH=gskFqbբ{k4˟;@?Ɋazcmi'YpVGGikD@Kj,"ӵtB9e!d}[%qYom&Ye p>g4b{!x|$Ǣ |!#:ˆDq{"$ OJmIq8,b=_PL!s>BoyQ/ړ1F7TOl[* 4b~usrA^HzqD*verʞx[>pFx:yV#'Mz뭂6[\Xý97?aytG"t(Qa :試; sXݯ_AGa$vtxvIIY}*h ȡ--q:G`v4 0$x@ɪnF lqwUDmگk TQٖ[jC bڜjzs\պ(IS\p䭄@ݔ(t"lp'뻲=KlP9 @HמI ܢ{B5,5."4nEm\#b "wۆa13K胴OQ24vz[#qmJYHR)\}ijseֻIG:d/+EP{Mfځ?Ƙ"Fr|;GVfr'HhCKG/חM @+&{ m3좶~]G1ߊCB@(t͛(#cW .ݯV͌VKH rYaW-j| gmh*W?O N!@rݙx^UI91HGUJVu]1{~#[&K:@)R m+D=.X.$)֦d!>Pn wȒ&hK*#N$n5z*JJ1f7QuPw= LxZD@H9}e-XQ .괤 WPۑ[&R73Z!Sc-C/%ROGJU* 6&E#e2Oy rR_yӞC1v}kI#EAK }yoPn^CRW̡|`] 6˶(sF\b2B`d]8uYp>#m()ӌW7: :߫B&9?ӀO'$CCcn8,<'!>\xrjcr@q)^2— v;zR(^hQl-F(oЅ$q*|Q_Lj5emg6f,:27^]>;[fTVT~n~~|ʝF~[Hݧ&ܡ/l20*=ON|"Ժ(-xge뽂jd0cxNm i$Ug]yW Tȹ&)q%T-ag8]ck\q`K\6g8+~9xX91Z>w_sCmÄ" x>)i3uߘ5ʉ`82ƭhW7&41*fL4D-Y#ě6QxmBd9_+}UyNlA')(ndڰX̑qzccizX.$a0:EZfH0䯳}*G16x^ ^'[Tr0c;)7肰M5 AjGK'SM-̵eR&X `xש! ]h쵗|9хdМ)hYU7ɀ5z|2zqPΌ'`-YnB¹v6&ArȘ, Z?]eMfRJAeO9PY-ͤdm6pBb`qF}xvA>->w?+@2sV\ڄۍѯ0Xa$PVH_#PnZ;U%"73;QH?,OﴉlJ p47BI ^`kSȺ d{6YH؟F"I?|5)nSw '%$ K1v %K}G(J⦽cU4,#slr=[fT 0UW-yA'>i!QVft GR#`;Ե yK_FtV*`?Ml&CG2=ۗgwwޤ7e8Pa2cAN;j r;Ρ*U<]Pz=ic?p{%*J(5s;gL8 \͕*k?h3JV XrcsyLZIg|)C6EB|hQk,Ӑ朸v>^Ri d?5Kclcc$u6O mgYQCjM'a^<("ŽSd#" zsTפ̆\[cw.|X2сNԸ>W-&:o?^e& ~v}K_q @f^QD]'Cmvל\՚ڮv 7u!W&!:FXl1 \QUPs0_\7.a Z}[JmBexZxD@XbJvc ɟ/s[ZbV*qh i;(KVI& | @88Ƣ܇ P.?T%ρ a1uUN0M߸dUԼoC䮥mFhS:?t5ѤO|0o:{,RupK[ߘZDQ1hRR\›( f:ޯZ߹e'C1ؚw?EI:TLQ@*;0~N]yi{q,O͛ U7d_ZO(~##|rv˱TAV 1_s(uXz8U=!`=duvoF\!Ҵc;(VWJ2هܐ?a{hf ~G .qߢ6.6`TûC56V8He[|*;܂)'gm Hz4uaމf Wk ?;D6[0R0L9dϯNGQ J%NZ']Lx"c]A~[0(5OX4s +? -!-9),-[Lx4;V000q6V Q.7H,d$֋F)ѝw*썣j@3:/5)j9J\kazw/cr=͎8AIYu}876% {,<r L#~E/2+{e !pla Hv%$+QUZ:ާcP!_X2Ɖdפ\\1-766g>N..ܒ-W>Iw̸;)(6ߝ-fVE􎊱g}w_yaT|Y[vYs4|z*9.5( !K3R6I,?:t`Q4mUBa*fO~Ii2˴T}- S`ԀKVYn$aq!Pބ+ uKd-.vEZP>=5kJLQ;X]SnbNv}/w,#_nWRI?,dS N٤McS^yF2^\;b#=w_û_.AI2A aAe+Dá|B^!(FA{K~nGTS _i8 )ԱgYZa470f1d2e064c926a0dfff0f1ce8a812d7b4567200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6