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 22#'| Im Subresultants:threads=2elapsed=90.378cpu=129.828gc=2.180factor=1.447zXZִF! 6]ŗXf1-/6vR[]ߘ%Aj.`@傼|ٟ(iv 0K03+l“R ƋKyDuAT6>Xq`ØƕMeW#CO6VvjsOĒ?e燎x_t"l1H^3DaCkzj}>Ɠ$c.1ӸE"Z) [jTݵ;4n|HiӦ*#h!w4]x>8Ji`i$jLǯbNz~fJkt#(C}lN%t8(@"aL ONǁ>G_O͔ZSu{I:F_I7ڧ(2M5x<yn?k'3wSb8>uC)!kEdS"-!u'Kx>yQ@ڵSKe rԦ,1PP> 5Bʒz(' ' Subresultants%? Fe[r1|_;gpw]I|N ʰۤ30UY^GtE0$k+2(Wr؟JTubS^E>+xjfb0 ֐2Plơle`ą%,7y׃4"OVD` 4'M[ti URu0druk-)/*t_Ϝ=%U4}W;| w_ zp- E:> fHlN*_ 4rZZm.`:[+t孛5)x/3R#YQrKSvwuߣSf(=W&ꩍS7P8ljTWVK:r`d${C9*/Ibyn;x|*|Sӵ,51]LCT 2ޢ U ćHsK1z#5JKI TykX" sO@),$cOSoMR,R|zJ bF\ZSkȞT5W[B.`9B5A7o5s20HKO˽SfWl?]M#Z?ݥF> gTV ^ dCWE [eGiLjIrjS^K#~wqE0ԁ:iz Eꬍ9^3 EBMGgH:Y`k>A mW} -ax/~͖Se$)x܅<6&hc'py 4VAWMA]郘|X-%e2\]ĺ""eqU7‰.ݽ4Oq)P-YZqyؚ6wBg#`ƑfɌ'O9sBYR-IeӒ6ڈ}w1@le9U+Bi%˙xM?A:$ۯR^FկNdZұ!gjw^ūr]$d<'bwɏ,)2h@ c8ԱBo@lдX6.u4,$g;{.e8=cgCdV RO)x'LM /]i>QqAuX9l}9 fu&3Sf+^*UtZfŮyo4aȈbdJbJ['ɢ;k/-'JL>F4BH^>xl1k._d +TiJnS`Mֲcû_c KT1ȴ+p2-A{",=#W7';dxKn;KܷPHAH}%p[xdrjTrUp ;f55oB 2 ̝ãHk+OC1]e?GpQQ`̋%jOGẈV ;=3^Pk=Ө";K$FMt/4|sK^-:,{GKcCY>}:<ֽي YHJ^*%/'nu?5 ܳdY3_GxR_iUm6v+B搚mUH{ qiޯs\n@4$(3ebx@&unH~:5D4?N\7(b)#ZC`$`%@6jvAs.ңRѓƴLBA}frVZc~*O$!xWY+";'-[ܔY,LMkdg"e$_/΋D[$zX(\DTIRg/xt`z})$w\o]rsuC"X}yZYJ`>3l[N ;ĕ:aqWhWT@ogԅ*Sܸa˻svL %0[\ުw;loD\g@݀E,x+[tyA81s ;,{ekW*mBpdž]*2a]t(4bkn ?*T*aסrPs_IyFeơ_}MܴCYHmGW Y5#|"ߩRk.4t!2an#>"ReS>{C96PYkUWGJִ=e MJh;ki|u*k :or #rO1˖&jg< Ǒ4E0E$ݤ _4}a8Ak46C&Ʃ$zT9.ӴgO{4wg\ѶA rMWB` F %EFFMRj)b #t;`I<<_ʓ=Ec<,fF9X O@:BsaլD$![jxߜBx[G*x`h) UߘdALVKMR3T)Sr8h||@}>"\Гy箮sL$;V]JaPHs YTt><8⑾ްr%_2DCB{;>3-ޑva(Z5n)AtSI"ĒD;WF#,Sjc&N#m gݢTf.^g6s'ɋ6芫R5"9W'0ED/%c&O!:{a`S(CSfKsJU8TMD |w%AŃKi爵="OtM2Xd V EHce|5h]{SN/Rs?3L pͭYDR.:gx$4;m/T1!RUp!梪uwJz= w}F>j_.zoA!|쵷5O*9b$#)K#o]Ā8\-pכsSZB^{t*tU5si!ּP<?ve]I{_ UU2OtazJhIid`;DfD7wiLin (MS$"gYZ7zXZִF! ᴬ]ŗXi%HO (Qvk^KxI=nŸZ-ՠ5h9= `>uNonvd,DpwP05%e bL#pEm@Y7#NzM$F^P9tɪ860 \ ֓b+d~SK"pRR߰_w_l? c/1xRC;~9g&a˒ҚdȤaaImn\[8&?D13d{Gյ3d_nRbCoV^ILMٕ-?M&)M^/rr[w_>{`2Ou%uiQ-H s%c`.tIz`:G53dY{0[Ƣ\] 2-j  tS'X"]Óg o&;0LT(C(:k 8"2Sa8خ0\~Esw^:ۿ@>}9nvHSUU )L^"xz?Hm* цt{؂&wGZYɅT@^#rs響 a6Ỳ޷mvn +y_HmRbfi 1x[9-4.tƹ Hӛ4}qa'qe&R cV杚cVO86c7Ƴ [5ޖ K-IsǚZ[~)X6$`b mf[N JǩDaDF+Yx>S̙(z#5;nZ:9"VQ 9)6Zٕ&R V Gޥiݥ F̾!>̃Ϧ6 - eZ|ZE e.y~_i4mrˑ ERLf_I{ E},;-Ӥ@:H2UMuׇN0ЖXB.+FxTD !L=n 3x1sm'@4m $ 2!T=:+^Jhb鹥| 3+U.%Moa0.9PI3Bkkd&T>i2SR0PZ[I3_;N%qO| 1 %'Ҍ5%!d"`%3&68czb\ВNp2ḥ#A<'_ê>ެmubs1^$SpN0?|-dR^WLb!^̯?. 1~>fVA)ǟS//;*xw,3iW3˃}R{oI$+|}-oiE`V=:=_cu8>^;ǛhYV? =V?Cl|QJޥ# QLBϯ%{< B279_3tK.C4m-zm7YWڶX%5)(hf4x[KF;=IV>?EvGLo  g0Wu7.t[&|6p_:@r>bA/@8ҷKeGh,[:hO{4z%Ж3%?K225'p"0pqy 3lf;g0}TG7 bAlp};b92Y.RIݸ7嵠ג($1.F*krC-N^ɊNH-]$ i~U`눈>!Hyu ^4Q ş}gZ$ 3~l * ~}uЦKKxN¨tW< E̊M_:\+p$ByІK ]%@,x6#ݣ0K R Z1]ugzճc:QɊoz졨΂W瓜TB\nXJ7Vw[2I3&4r {)jAj|(3yGTvM;`>m[T_]2@\ ukqr0L#/I?< 9(Xdp] [%1 6 ?nq P)%d w~uY }#(Q#]M#_rv1 y~h!əHm EM J5~~Ke5w8A<aD@\rF7$Ԕ2)OG$H|US$m%Cg\f0*Gp1 Mrez) +>2u %Zj f͚J qx)0fEq1j s6|2y<}++$$jfvK`({I3CW 'ٜТbt*˰Dܩ5j x=O>Hk0!B:ۙ%Ћ~?(S6Y8ȢMr_ô:Wdf8ٯi=H[F u/U4qg]L7j Haޡ, T~<;Xv"V.SRk$qf M.n UXf"=&iENj{am) m)bu^`sz۠F{GŒ$3YDz3:jۏhF;`l%1H ]D22h^ k*<  ! yz0ѭU)Sy˄CАE#etqGDh}9ywȵHe෨~KZu#x :&źPxyNʛ& Q'XݶQy+rP2EiCcx$j DtlLB/eo$,Γl\ݚ j4% "y]4y͈vRaL(2}xγ{kjw@L0-#8i>0X$1X :'w=YPn KˆY$sQj6.)RIfׇĬA1*\Uܨvǝ"{\zt6t̊AoOXIWwIHYDMU'i:OƊ"Ft|>cy ?SmZ:SF ᅝ=JeY@X,A?\' 8:\B6_c*)QگO5,$:!Cf BEdKYW6uK]!:2zC>Qr*7;#}mK;a=b_KTş:)=զ$n߈-%[TU&WKW:E$y.DdT%  F #wŗK]CRmY:tJF'Ʉզ!ݮ`C)y;[ $Z'E=[J#o-d<=Ӽ^ݬ|\9xus6[/av$ Y5 +v.H')ҺPtL]T.}sECC\N%Q{& }36 [3Uw7e'g$a }ua?G5&pgo=Aإ"