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  %%ld ] UPF_Firewall:threads=2elapsed=109.933cpu=184.424gc=9.440factor=1.687zXZִF! + m]ŗXf1-/6vR[y,/kⓙW25?t`7ȏb*_sM`Mi%oԩ{q.%% T:̪Ɖj5!5PR l %@QU2^ xn*'*Hjщp5Ғ4/ {O/9D5o_H( !r-kxb:0-SN%R|g3&]A E)^{5ν͌N 3_An)V4[vʵC#Fː9I" j"KNd0wN|b;ׄDe^oRYJZpOi 2$Yázq6D _16q([ tAv4A^+p]Vܱp^ol)I1}*'b>b;fZLm@%\:.;4}pٱOؼe7V 4F5k$4홭j)kmcN6X:I+ YwU?Ӌ#3/絎ov-t99!ds;=VT|R}Tځ?tG̫~l.)?L}*gu0M;VA%m2SbMƱ(F "d]֠, '&yhlX`5̈i <%dhetzh{ŷ2$@f6;"2AʉGx -Ml8 xd,7^59^PQU$6 0LLgWZ3PI_2 Ŵn؋+[?jVms"Ĭ_Ei$&gYZ7zXZִF! H]ŗXiɟܤ#ʁ<'\=4x1@Nz]AB$2mxTFD㖔`=`\71 Z^"Ea[J!V ABxs^*lBwVd9 r+G2yP+Y2[!N rYR'VUWC[ U'X\J.vC &KԂL-}&*4%q1R*lJSgd%v3ߝڢ泂./?5-JA2M<ۥ/̍jk񑞞T#uv&]f`2}C ⑑TƳYHٴ8)(?~c[3TD!~Ch 쟳ϭ -"+`a:./:*4uZ :wOba:Z4Yx<%4*# w[BcYV'6FJa &2G>,'.-3Q0B!!/tʞȹ Rkwdy;ID+UJ5Cýe45yMKri@@)?8ڹ J[x 3>۠~ڨm͇rPa AO0]pgAQ~ Z 4fA#̮#= d'}ω3h|*~y~U(*nkDijpɸ=336"h_\ ,h=ހ|sYQF[:DWfYCcW%e%Yl|oKV0:am8h?P-?))-1x_@tDO3GhD˕vԼo*4( y-?NS (fv:`DM],E!*ॉ",<y[4EW&n, ardS?+cTD;~% ~v+g7`#lA0|@)xpF<6mϳC"8Ed"j(0 G Zi עqtoK8߮^2v?Z+"0.v/1YtJOKU.SƦm*٦ X5 "zf3UByhϝ4\y%"NہWV̄=c heټ(N>lM,_YkU쒂C7aѩbś%ཡqD+v ' w'&\lqb4F'YV }wpAەES|)8J "h@:#W*. ¯&hW8Σkܠ-dn[@d;Q%?3ށe5mV]y|WkдwC߫{A; ԡ{49l6%#*޷khXr9xX2[ 0I`zCa0 $ ,ccmRV~Q6nƀ:LVcUY,Ѫݕ:b!?F2>b̥U u>y+EY~@Ț>>`[3hBhBG񔑱Fae~v,BP+ k3{M DJqef~z-dctkmsg@HpC,iM1l"i@]հe2.=iq;3g0DIЃWL>Bؖ } sODVp -NH|s̃}VmzUV{I]nȕG%sN/=e>.g?''@lͤc`A=93qF+/a&]kO"FxYk#Vks9n|a5D]cp$#G*I\ך,xJvTFsxAd9tG(3PXnvI,vf{xkّPMWt ƫR9D@⸆k̜xThCa[K9\O羸lnS*( SK=O^n@eMoI K}/> y?&_4, `[$H(@M\Sm"W!ABʭ-?x[wB 7F[ۊ]L/}1PH3#UT@ȭ:rꊶjvBŒR9`)9zTX@:7pxc7lڱ&?3ၡIX٣] #""@cm벛`78jGԦbeW࿐Ƕ~^(" '<62~E?6%r-L[U{錏4 ӝZ'ڲ2K`SP'eӞ<Ο"X3DCEXGwjW!2jgmRM*On'[ %ShI e mZW9*K>cwj+ Cek$43%yhp8KVlti0"%4p(C UB "rm%BMtAݒLwCM,]>c ©*BqfNJ0O܃-̛=f~sGjOprLPX]d H<"dĦ:nY@1,:s"K5JH<C INc8sO槂]Ek+P"{NtEݶsl^ Zdh8C7oFZEH25(\*^u @BYcw}Z$nZ(zq04(S͡%ؖP09BvC@鈃O-4~|}zmX*˭Џv-Z vGd<~{WVi5޲D ħ2y~p;676k1єf3!t\w(O<]yٽ␪p2|cs_JǸoAu%'YO"m:Y-U:5n 왺LgIDϔSq&*b;ǤgOug #v옱6qa#~>"✨!_Kmi-aȘ)_ cC=xFQ=?mq@0yܰq:4%W#3X:MƋS^VN#m%v,Pa OF3^Lz(5ܷ.pټA%K3,DW'/У4o9(P$i%]~kI=yME)#H]Ur"&g.&پԻ_!mC xNӟ&4\\5qbv 'I^( EzI;Agk+guYɢ 0k #c*A19h77КSn?M{;8$sH|x1Zؑ .rCEP<<2L 8ocܸ* QG$V >Z Yj[3pP܉pJ+LUgM ;QD7oxvrJÙa AY~4C4KՑI̲>KuQW*TE$ԓ>'Jdyh0ze¼n~|$(w38c/MBv@BLfs/h HGY X%@rYNRڈXWc-(=lPi<7yJP>B!j H"\4vl-*Q`7\ʗɆwŨ6h S$QoF`|TN/RSo]da#܉5Uu65gM7 sZ?^Kyxi8Nli&NܯQ`hPk2]Gi>PKtD@_*RM ĺ8YbVDu=,$cDymxQcoȋg?S l55jeE۾k_z/|q[ V?ٵX񝺗<`̗n&N,Jɻ^]}9&p46],Y/A nk@j)IWstH}Fe*U;!v( ֩,?Nk/wr-=5C:T]Nwp?(,0oBf}y -$~LҼѓPy;j)a]ҳǕ蟓 LU6Y ̭2=x;qRsO؞8ׇ'Sh'<e,/LrKTJk$ÇG 3dЌ᪷*4mTc+?-фQ3m] S=~4B$#!cp?PH""6ü8 U&LCm,jP[,9G qJoW9Qa^&+t(AR]W芒 Mu*=iO9:r>%Ӆy—#M|ױ0\R4.1qS"[[Nch\MJXy1@.n$gYZ5b8ce7aba80c0d5a0fdc7fab78c6d579354d07998ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 595693497216e4b5f588bb0be419d990a502f6f4