SQLite format 3@ .  YYQ77Atableisabelle_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, "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 \7L Oc Algebraic_Numbers_Lib:threads=2elapsed=103.485cpu=182.976gc=7.148factor=1.777zXZִF! +]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GEQ{3qi,)'c\CچͨWۤn*XQv}0D~FW eAԜٓ~ˆpl^B 7!аlO* ?_g3vp*<5~Rh2n[[AM@28_vnn .62~è&)aqx mVuHyg*MjdZ# ݳt w, $[hQJ5M=|QV1q"C}5y3wm*ܔ~*-?X% 9|pJUX"6I6)X&}ȆcPxYvUzt 2y($"*)8ܼIk$hߦc} -5YwQWxBL6m|;"߅ufhw@o=g?}ϋ ei"ա#WrҞU$&c[)m} Hum,|SDd{5mV_u-Iɴ&Y\8W]qg:Zݳݽ hb<&Z )8ɾɸJr޲z|8Gst.Bl 9e:(wrw$rw) ]9Qi7 i;_ e"*ѵ6|ŋ1;L*tW~#V$iꡝw! wܡ^)ծу҇anj0 &PXUFy$un/,29UH zX2&!'?scg OZ̸>ni%=cuKZj7݄$v`+V| fzhg9;1 #z([•V&U}C=ѵ!FhZf,hIg2àډ-, ry9.tب^"M?.,:S~aLX9ӻ)jo14 "#{ wI0v3 2LӺŲJiDR mDгVܑjAADQWc蒐c2Ss1rT˹hA+N~aP3j񕸞t5{$V~f0F0t!e)ƥ bboh\i67NV,opp&q_kJU pAM*g%xul-9*=y?KX:N.ɴ %3~ ߀3[ێ>(ʳV]Ըe V}Z‘┎ h\ iT,Me?SGLZ_`u3pmo8p|ȡ]ws9qoJD'Pc]z\j/g }T1dOJԚKKųGwaaVwQ3JQEyM14%S^XѦ'>taN1(?L#>٦RM"_rOYZs;oO8x0&gMs7c!MCdr6z|7ZYʝ d*va\t(J}KSx[`#^Tte6=@^f5o/լbE}D2{~$.5ľ 7 Algebraic_Numbers_Lib5K >23f0phBX .hu1G3 `k7݂[r(K_ZG_H˹e"wv ڶ^yh3sKogs|Gj{/`x,B@Iu02T-Wʟ RbGh --)'9|j瀄RrX h䔱ό̅!vbFlݫ nPV,@50mE]bBZA$拓2rڶXb$*{KxdQӳϝ{Ǽ1axį*^؀8avekK:iE1'z^ly>%XeD)KAc(|CFUqi@8 yC)K>+&Œ˹G ?[M^\Z GW/۾C$ի);;uǍ#+9Mf2DaI%Vp*\w(JG_PYWTl@ az{1S6.~}fWIjXH2˩&C3Z=;,%GE\%$f: rQms8cք(IH@Zx ?6^^nIyT7y6/fsmtYd>|Pkܖ )TO%^dZ Jq,2@ WqA:;xC19)LqR|9X:)YDr*IkŲ!/sRx3i1[hX8n(UDo/GչDkC<N|V5GNsas oEOJG!rB!e%]Jn#­XeV"݋[U~rxCnK먑hXՐ -o 5f(kڀn\_|uy%LBn~mv3ǜo`a#NM+\`PƓ?t$GiصB9_9 *`: (?%k9!hX&P.}ƶ;wh'Zc0Lv:Kt󔆝m9x8)  ʁ>O Dq_?VRqUf0)[]e3y12@E^ rrH*XyYcls6sG/4uH'inEZs+Mĭ 3['%2S(JSвJ9nzV*1_ts]yҪ{ݐ~3@|oGO RG,U_VPq nl툪*N; `{ 2 csi; i0V#P (an%|vG-4[kh\aH\juE桻95e-&ScbƣA=g¬VC* ] Q'TyH\ǻ6H5T2wN%'i' Y %V o/ex!\ ۆb %t+p0wiGq<xN i]ZR{Hi[|KcC@(S79&^n͘D:JPfjg8!Rhg`1#O5A!+ .E+]{GI7R{LT垤| s/NvW. gYö@ T %5NlD<6ŦHr; JpʕK1U$0^9$<ȑxʇ8J`NᅣM74yGb>J,6/yeYĘ7J.Hj5‚3k T^E n+%;OS| S "$u9ω&Hfp~o|}$&y1K>0Ud'hVL×kWLZ3eHQTC+1DZF@_,srZ/ʘʾf򚨫vI>tAmENP.VA82)e%e$tjSdx*W L,zɓf _4 &V_BRuj[޺S!m$ ֺv8"zSo0-|n{шvזOGhNPJode.4˅\ΈCWHKڵ惆SW6F\M{0VvI+:ZNɺHR0wF^H[yM72 1-sfgͿutpLa-H2W mMx]z#ol#(,c(_ѡuL(vbqڒ(sz/PǘC<ϑc2츋*d&kՊ2!?[ AžY;p hoxDp测*pAA3bTb??[n&:;O\1H:޴ܚ@lϘb_7Ll֪+ z*/_nO Nؔ]':e>cIc`\si]MzyP#jZ\ LA_OrA>G6W ?xQ,E[Q!StM])j#s}Y6Ε 0IJ],1A{JmuVFz@.D9_cK (^:ڠWEɅ7upbVHJfI^Džڳfoq=wܰ/6?Xj$"_xb M9?%vB=ɼ"kbВp{s;FbKblYSJ5Ϊ83xV,J7T+:Aa q3ϽT%E""=$ys}wu+O c*}As$Ff+ |?KnzN.p}IDo T;lFM!Η0%NU' i?1ϋ|*jn)u~1!NdH>8ZJjDnFSo\r-l2np55w1%ِ"1t!VpajiEۀ` ;i`6>I:x0\$vҌ"K-5} QmdCXC[: ~A0;H,+նE|4 kr?o:CԨdPn/ e7u8'd."X|P04Vm1h_ipܖھAjc""oɂKsJPqI: ل?Aq~z۪&ě#G҄Kݧ@2nުS&H@폫% +L{gݻ+ȷpHNO{ލ7Gą%nˌ#ԦcaQ&QU>ºrb9}8R9.|qTzK F?'IͯwSD0|JLp??ɁLlL_-0=wQi&ojdtgijϊHkL{J(oo,sk|JX;Pgu.^AtDoa\_W |~%lG#Q0'lFk* c$ p59>Cph6gP-U +[@til3qHE[B>HcMuyHк̷3cA16|n}*}q\9ի 'KjA]e<8 恒BIU6?Ljw^ۥ!+CFo)*sv8G !&l s 4UXN` *}a 6Z(a H].*%_U-:snn ܄פMw E4?caD{xَa%W@&t#hE5:j?:3G'`g_qTzS}#ˊblda&Ys&.3n 6IJ<ΏAc(:flM.Waz@7)TlcޢoCltV3+F&+I8Y}U(𐄓4OK(fCeHT^ H?\1t*$Y;'Ys粽'R{0)ExjU 晤 i/yºYD 9pDL_[^S}ʧhrВ2.$P}3FK\nbN^.:<'/]+PE~7.$P~I̤;\&;3|]G[#2Ql5Ȥ&@;HYp󅰪dMQs{vKze>$Q{XW>m.x/xӖ^Y~eBo[87nžDW cZD30. Ǎ~U bqW׃dE˻_ٜ3_q97=g8sVc 퓓{d~8 IWeO6wi9p-|4ՈP{\cMws:^H0ܸP7h0<ӼxSӍT_;. MGS__sͼ]#mM9nWZ/=tCv]bfRz˄/矠 e#a%$}-AzasTJVr@$ޛɼ/:[skge!.4(鲡Wsdܸ̈vдL()5HКfx-?P_*QTY*7#mm𢋡朴RHߒDV 훇-J$.LtR++[d,+a ės[s摍C@߭ ],V#= 0 eexyEERPDNqoI7-,EH6#D]^N6C5t %-Z*:%)F> |һ 5{64@nlf~^ 7?R%T [B-Ag-3 08gq_IXl$*h1 +mifݪv9~7{Q8;dRfyk7\g3"Hww`htk/ a8Q2դBٽ^L2`N"~{ S.LGʝ<@ H:@P{6]Zqx+_{W8W@ǡV:!MN,xECdqx^\㯘įPm=ڏR:n_:v2]1mi2d̞קr;jtp7z)Pkn r"}O I籘q3$LpgM%SR쏷}9n%_HH˲]f˼wN @?2 &hj`#b!߃q#^H|Gn{3ZX}Ⱥv̈l-4e\u/4F'c.ytWLo+e:K~Z 3d)/ey}uJ̅'A zP蒈-R$ "=]]pRoQy0='%+ ]+#T`IJRU+yW=v({D$/An+^޹"rOt1%_: ?tl!򔣢ė;9ZTcO$urϫř>#?ʸfwsk:@%_B [[_r q{Am =<ݰ%]|JNo(^I$fWkm5J/&3ů0_ qs35UJO8H;բR\8Q.s4APrK0"4b4HN&e]NBPcU+L8Z%Ni_1^,ˉT0eV  HP+ : 5ݮn(q`k{6O/T;ġ7kTآ3{ez} 00S;cFԮhԉ8t5DJmcS;=^ak߹u!YEրY痓3T2pՑ{DS IH-9e@6{&0g V@s*qQx[!s;.fP=R[ 6,aok%';l*(bx=Ƙ-5m хY|T?ԝ .` 2+2/oG (_+ %\V\.Ɂ0)˰Tg^Fr-0r׸׳Au6wy3b`@SVĒ}ș(QQ9ܑנ%$C8ۡ o4||0ӭ|\dj q|w5]&W2YXd%eW'kN ПVi~==lڙucWؔR=oT<v0'>2O8F͔{GͣwE9|C2ݿLATE/BoԀaaKtI-Rm¶B(kY~}}d ~)gӕ_Y$FZs=sHzG=O@3: !dղMvG7ߵ&L,m=.M3EI*1"ˇ.Hb3nPl_;!\i89z|2&bj4m _o+C !])Hek*l]Ԩ9 XuW$ *@ ~j-m:Ə oaiGUX8yjw8 =m[` [bπ#xtBE؃$҅TQr'?CEJj-+F|RW:|#$/ ;T2=G|_o:B *rSR)Zd2Z+PadJ渗]RK#2WHl4m[w3IPk$t\Yc7ٚΣǩq$ SynmTJ 6twj7TrIW YgYZ7zXZִF! ]ŗXi%qW6*.۬B:8ņa/:F )D"wN+ҋ (A)ڴ!U3֣܌s,'oB HMa+m89<2noaM]K.nùKGPUQ[H -o`\ e?,2&RvA]-bRں @Љ 4k~?}͑KbHզtnlR%V`)qp=q xpSi9jB5X_^wElj g?AIz'dž»c ʋQhHkbn6@B.@S |Ž_[,Jf02w@xe Z$s}#oLW!X+R&ZaP;`bFjBъ:۫`%ӧbDCJ=[ϻϾ8d|ɰlڪiWl&M/_z+P¶bhlIjD~ ݎY* Uw vmY-,,T~4AmAL/b;ٕ>#O4P6`_֊&wŨԔy+ }eMZznւHswOEx$ gG_ #jnEayč&2zZm U v6﬜Fg+ gn-w[y0]E<2-lT1j53蹓O ̝w<TQO>0c̳ٚ"QZs41~ƒ{ޠD\6>2tTwM 4 xQAqv kQ8x։JFLy~QswۓR]`sπR221K5靡%6$׺R]2ݸaú}@bJDpox՟c:qޒqpҮ:eAa0K-=OD_ ,͍Sf"+H[j So60Ƥ3wP313H*%T)o%&g_7g=m:ih_1TrE7@5WRo"ЭӶL 2 z4;ϚOv&k;F?]\,HJvgv\ՕTSJ=W3 ~P$u'{HIhyo+" e2Ș ѕn.`%ʛ"4?9b|^/hE?zx* FS:h~R @/=(kw[BWh8OTyV_~`L T`p s샴0 5S'߱eqVhVphU"3kFr#lj ݦJ*vob'TXpӖ ζޝt 6C2:W%Q̶^/Ó ZsbOZܶ~ITA@9LZepy$M0KezaA :VeQ u\ J 7{ʀ$d?(F=!vj2]p׃~ 0K\e:yl#+ӺoeNW;fIǢ]y n^iy,oƫ>`9$#5I9l vuD01\`]4nv6f cNCR+i'T$kS*^1aпgt;%o6Vo3~"b:NRɚzfbǹ6̜Z3'7/I0!̷ t%M=ݳxRwfk=t] Cl\zLA sU[HYq^/L;hdFc5 @Qz,vr_b) Eba$]D݋mvg-a]OT;A& [I *@h`I/\^0TWEh-']7|cs.,䪿0㰘hv ALwZ=h$/x :I͑"iv_0DqQItm=h締L8ڌZ51{`NmC*9u |{o~6" Og$a.Yz'?))[@||ce7`^E%.IW}R6))R'q2LFii֣g`$vNDaTcg޼QOobk5mcP<V;nԗr3I+jL]4~0cql5yBl]AO%ZknCB6cĘA!1ٱDjp0mWaS0_h;hO6α9^ZHNj?"DrO*1Qz_ƥM)h5nms#뷤ˉpI;"4ӗE~ZeT֝-X@ƌZtFr.^єỏ7goCAi*]E% [.p!G3wS\ _ۮ 6Zfb( YbD>\B+Gs@5lsҨ?ٺGQSЅ]ܰK%S/DFRs$5҆U 8,«t}1c((b_0LZljHGȩk۝KgN = CZ0p=x_ZVrENC0zn^eqZF7[g"ųUaȲZR]/E aG-]%hp#H"j>!'0'Kè@_ǥSlS{%}+ř# ׵ &(92WM={#٤f{j+(2^I,w se]-iE[/ٗ%g{ ԁŚkdI@8u@ui1#tAKKxTr(Փy$\oilTh%6:Tܒ^ u2CD٣ hk ~b ;͎s J =48>?(C=y;nPA-vCds]Bg T/]oX)GP =㦛w]t+#ɢbC5PP+iCn0X-J`)Z5,Ϡ*ROO"!K/.S霬;)8$nƕlPRz!q4$ߗZ)vo6x>sbQF%7%J(7&Kfxqn3rNL[x˖ҧAJ<="@wv8= s-|_0u>Z({ySMnЛ1rŋYvzVC=*j3cӪ vyM!!^=5^1 PI0>pH&w/pK˾}2Ԝ~яZ%s˸4 Y݈%r~s4_΁ η EW G&Ɖ~f<]ݘ\̖SGx(3$oIX?&lሜ|I>nl&K1AT,2={Y)Rcw@~Gxw[k+]&Et2lwL֢=Mb/Rֱ Ǒ?DNsGނƠJ;O@xuuenk1}bK[V4Zˣd E_`%,+JWGn%[dm<'>m12IE2nvXfb̑o:2xv~RT(Kc  ?Q)_?k’ÁiOz4k* {G Zbu!CMt? 6:wܣywW&qhGC9-,Ц)/Vjga_@툷#U16 Uxa3h?0$f9({ԌZ [RT{p'uinN>C10Kӊ!"ŝIO])ĔqP&qU~,/@%e^T葲I$_>M+H݌H|GBo ]-Oړp հ?vZθRhB\| *xT8xs*rXH:#(m pܚbuTM{ߋ'F;a:R"w729>sʔTJLqDgaGBF!w"l, NgWVݕs7