SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 F74 4 ]% Containers-Benchmarks:threads=2elapsed=193.541cpu=364.240gc=36.472factor=1.887zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Svs,SpXWXK.9]Β Ջ!7:̺ӿo3f] Lؗ/1<y@uCWF_fCu;\_-4(.ْV*.|G7,Q2,g!%ml\h݋gmQ~tazzo$_іC)` RmC϶iV S{>v̳ӌmR<߯ւN "0$W7 vA-G=x!W C`rQ'tVtrcny-0q?D"Kʡ.Pl! p 1T⒕+F8RnVJTMFH<VKtVp#Dܹ0glR8]ꎷZtm_~~Yo6nܖ%b]eE1}!_‹{o JoC@ko*0axǸ cpbdDqw4:|3|VˋWCn6eOl괤c:KNVs1AG"wI?uh.4Um!R-\=h6t=wiXg+0r:d̦B~mVay)OzιնW+o%(ЃE9 gzUV-yMxZ;V$Qd^w"*J1n[.S@`.h Nﬗ8t.) H?gZ[:Wk-$}? d9f0/J;[U2BLh*wI_#B5_=# GÌYetecq5- PB3wEj#i 2yWFc$]PhǩdIkә27spGq3li촥Riחt CW Q]h8Y3{}tR_S4_r;`9To3X:DnzOi)wf*޶y)}Tw.>+i֭nzxrYP+/S<]\X^XGJ7O:Q@k;^vka»D|weBHQW!6T _"IUz X~< {pm@+|8r] Ap2dn,)i0TX!B*3ʸ]~*}^V^5kh!6 uw*M@=TrH`jB 6l Ce.,3*KOp_iVH56de !q>@ek8~Q]7]^C95y!ik5$wah٧^HKf9@Wn` K-D#0o4:w_c?,4- +ۖV'϶\KJP`fsP|uy9k130xꐖ~$_ZO`H=~1+9].^&*YvGrŽ!ZA3W*4FlV=\b#NxnS>g:t_], ;t XKte^hϰh$^qBVD<>KZwYKT 4QRL4;@Ԝ I{*߲ C`MuҼ% d'E^d}H_{u*C\A2ꥨ/1蒍~9>{>1/T5NO=rE3(F& Wm`6DD%Y)>)6J{i19IN5+7å ֡z`<#!#y)JB&+Vmg\cw ^uV`ޱ ̩&$׏_I.& ҔȮD,KDy1R+$h1nO@o|ilӱ}~Fz?d ')sv+na hC 4_Zi1Xh(f(ޏP)Fhk\U5"Щ;Tps õA# DDJҾ^q= +N޲jq>^~ݗ/ ,CdaU 7 Containers-Benchmarks  #MkR#Je^ 8s[$l )$Y}VNjWb͍iXR:;G-0ZE١95:B֢) ]_=eF'#'GJ5ɼЫ9h: +Gѧ ȻFֻYDkL<9Z, &%^|Ult,^]^~T}i*Y/z< DjTd'sS:Q8NU04v78OB"lA9':<2iMÝ/54QR'jDrMDSeD*kPbm `<$"GX)1`K>*-.iHݭUamū\xbHvƼIi[JgEm97 lWy}V }R(ok:M1⎾ڱS YC/3BӰR$K#欁N Ĺ 9°ڻaK#:&[6#Ċs?|Շ!w/^Aog/mL?ؾ \s {]wyܨZYh֨Y$Z爅X5>ъ*S4?AAjVG9rg?oُ /L FPy:XdBm GF>g٨-e*rOSa4oA=Iy퐀Ȭ Gџ{%rHJ;k*>.Ic4yP;oǡ슕4Z:gcK$ d:t#яsWQ,r?:x2) ''_,!:|-O[(~})\f0g"xtۀ|1+7K\r+mwb-$gQ])Ï,mp"| S2Gx,]iERgg4pV%UO>q7",=BW7D|{mTh 2ݵoAϞk $~"i@pWc%Dd6"udnx j `COH^.d8]jauق;͔ev8Q~j 3zF!%A:Z!Q (Si񳭳b*k)I&EsO6)p:q gsqL;Ϻ nә$;,"}*ύ$=ujhF H酢%4`xNOP8|8:x'[s mɳ5̀qw0Wsyh~$J{bwTU`>xi'K5d5NK#z6-k)&ɛ3RIMY*T^9y22)1U*uγ^'"Id26 /c k$bgw_LSVM=0ڽ^0D ڇAsuٔuB3*PW\ëD^U+p{Cե"u~$AִHO|C1jjT]~:diLV[IïcWiuvFb pA hc*UJJ" s[ -Twu`ꞸĜԘI%*4 Z2%Cn⸳nnTae+ 슎0>/1*3E'dlv F&cs(QfeEh0!Xa Wzvmyb5aKN]a \'7cq?FcA& %l^? εq.e2i{2pd$KXȍO(M ҙ^ٲWr}u`YT.7 XF'2r%7UP7b%4!2sRwm@'5٘ZrqVD'@q,3ҪbE i soWNe히oN r6=P)aыn .(KTSy~;5%lRDaPwc܁]+QWsnN{Ԯ fm2c)5ZmT8*ڎqe}Ibf^Vx:X!)k!=  :?-FS>OX\ F&Kè~c59˄ٴGGvc Il5.g+_y~y1ya%B&|V1sgY$ % M_9 fh*;vkYhRuJH~|[ƒn#^'Dk0U!PŒCn9h99_xՁ<Ȕ*:v3u5 kp):3e>WN+-+kgYZ7zXZִF! +?]ŗXiɟ*#; )zhWfLծYw z70+Zw笂5 ĞW4es;AE7/w/6*'3?cFi^vp9D55l%t(;wD~eYɈS$/L ,e%hŅ$vMkFXuZ f:8A!ЋQ/MrTlEߛeL jZ II <6* C (wH|=ƽgm$z'\*N*JymvRw%Q"Uc{Z94v<Pҿ\)vHlOBA&ppd_,RaN=W 5nKs8iw #hZze WEWFuI}}٪Ts[@hƷO .Нl6қH]1J@B.J>}N7U-)CޥnJLzOvuZǛ'GXBf=֋u4Y;P(g;=}HG=OX׃s*WѼoB5딥ÞqJ,~p 7N:R9GNQݩVh͕E3Z;&Puɳߕ\#.q9Ŕи 9^kb8w,ll;3j)]x!{dl#V%b5 FҶ!t呥YWQSmwJտBlD%Qjީ\HK t8GI8Y\ K;}W<#':ύ6ޜ,.z+>NgX-S] 駅~8(x; KDGphM[Y%>.[er*otޠ~2c ER[;m i4YSxJ\xx#F-tfncFGe/ t|> GD W@z-g<15,I{J2o|΅F$2'7U*dҤaeh܊;cf{Е$vվ5%7:ŝkDt\H\Ԥa!JOZ|T!ؗN ot5` {1ٸ(`q;\0HaվP-B5ľUF~y-$gOˢwv ʷGͮpiI}@JyjU@B={,o*^?Axl Ҋ/ƟS;VJInJjx=}vMlW`v51"#mZYۗ#U37"N8ORfU4>u 쀐XG4&V6"?" yKK0"\ۈ>:6RFs.MM{dQ'D́酃U~*\1]|)*iʦnL2LJql{֞yuF| ~ʎЈ ϟE=!D nL-X BuL#7J,1&y=2Ⱦ}"qP "rXQ2gV̹~pz1B«BS?I}8a]66ݬ"7Ԅ$~ achJb ;2Fkfʘy 13LFQ&TwwrtR0~ڕY hD nQK\R\uTeׯ ,k%ka㮗Ҧ4aVˍRɼ}/e_ /~aǓh5gLpQڡ.P@R9Hq$U v%|aʩۄ=Erpg3~4,T"+5M.0'ZD]y_Y#V3 zyu$ 9xV8f:23`W궄бgYZ7zXZִF! ^*]ŗXi%;* Źog#-$N(@5bpDUVa)^}K<_gCvLҹ R7ʢ::,EG1G`|"@ xL93ٸ($D4lm} JcrȻ8ίB܉pkjAM6J8? f:G\I3ih%fv,?^^qP Pïo58[iwC[;0~ Q-`<i`5Z}ߐxLD:P-C5;F&:' uO>άZݠDkjw4kz-kTS>(q"fx; ҕ~)Vwܒn 6ZI{ "c+xr9#n}٫Xgǡ۶vռjʇC1txeX!M[)?֐5oe\θCwvZfn}U35ڢq09 B{:/JoW&%‚srk();<:wfI!u{ \c9n:Z .IT6э+FLAPGXxࡕpR,^iB<1 ӥ#qsb(nm] {DEм"7&F-:GA3@Gv-Q#zԼ~楛]8Fvf l;7=wƅ8'1QY" BƋ~HJ\>M<R6A4,ɸtGcޡz\a.4"o|w~Kw5X713l;pϮIy3qX'3>4ܸL /U$׹b!Ly`_CmYm ;:5 $jĻ ϐQr]qV}N-kc>bӒz#)Hg;X#IJ]e;n6Āуh'YKojGJ9 }u>lg\%{xR'Ǥ3+`aY.喠묤>[iO828(T0z_WԟUJ\ L9˒{+G3# y͘c_4Y@cTL=0$8k^ |zHQ2(IߗrT@Hm7j*7C(q:a=w(`uy;s+ :oZTcS yw?W4]"kV"~)'%¿?InQz/SsiwuF;v^k@ Hg}UX—9`S*7*k^b>^FB@o$=}!QL|;C:0ց8%nO5a9! PѣFЫEplbΉM/d)p-Y[3]z2 &'#pYq7;h.5wQ򍗲 I%}]rt6iw1_sncY[luuh, ^f?|CIQk ϴ3qa ̹^t4}l~iK.專m ZIDkۍ2NYk~Ĥ4[&L1F[3͘4kFb TB'yBbOww>)dߧag[f<UIeǙZu;۔i?sZxI[ >ƪ/t}r֡*a|mP!sN/2preEUWfAi\D+MkSb fvJՒIef?xd<zՅs\:t/?o{b EΨ< 4G2:cޅ_tEOyӫfx/! n<{[HD aJ&d,ervYgs"#2>kJ]ݎLǭ>RD@"ac~ANJ̇7 KbT|+nn8 %Hֽ'?j!i_$yg9$CWALM`ݭxyҝ sUgutTW/ n#F}9{j5v6q߾?kK G AqpE˭1.0t62 Ɛsl6 CHHoLDԚPc+qՌ*wG GW#SܻW4ʠ#JxJ8:g5?d_+*O&՚/ېmCw,)|+0Hk3WNHώJ1/`qP<>`+)it anЭwO E$-CΥrBxCѭh 8Lפּ0d_kpXdyٍv Xb7|Yg98g@2 ـCg~"}>k̨ePߜݔI* (;M,pR/J 3?. *"mq%Y@GY1g{]bGhf^“>y w.Sw<z$Ȏ>u~jyS ؖeN`t4L vh-p& L\!?籇H[;lEE2K{?\F!AN nI4 <0dPԉiaQLDI+X8h}XeVcJ^Kö5_ӕZ@# bwJ,5-0=85ܮr~z>bx6pŰ~`(!yH#HQͫi }ЋkPw=Y%TcZH,Js" 4}=hNKዣd?ި|`(<{J2U7upTy,cl= ӓO3Hȡr@&a 5ʸRቱ6ࢮy7' /Ӕ9_+] Fc xt!k^׮O%s2`kS~H!|]v /P7iЈM^䑗 @Z"xI.Nz+߬">{21p4>T n.fkvs\GUiy @a0DА<>H.-c.|k,ϩߛLS(;_erClXn23"ѿ߬*lŸz}QCң G.ҷYTY^ni ٧Jý !ʃϜ)TBauNDxpnxCaHA8OŖ-P`ANp(HUe@N:N4wL31b#]n0* `5j#׉ 'H` :˕'m'&]0'خ@h4'@]RQnxR sHs Q>#l2'riԑ?U3~8n@_t։%8\Q,IL+&$H!,9(y㔱TgVoo7ϜnތկJãif`=1:v !d6g_`45*!8W. N`eUnh#oSEnA^p0~5 `Hף**/gm|/VC.7XkYx@/bd!Z3հ(qFYnLMlKSya\3VJ5ky ^ NMbǺ@X^q(H_>5e5/f 9^t}`Gzˉ y$iZ6%K# -Dh!A[ﴖy(se jxv wt7^4yTgjz?GeAŒAl٭=~`Ð+SƽːZܤC`ܑ/O:X)4e7Ӯ1B_NQ ցv.m5< [`3#+- `*k93N210)T5_OWNp6 7Ua㭌q=pHcwO{0 T'i+ {["%y)9 @8@K.kTup#DvV:`Řk;P {^0~58M՞>$nJ/!IջI5a2]Խm^]oW//$U-ˑ( KNzG\O\ФD˱ Sb4W |HO,h^."ݦźR.eD_ ;g*-QhC4OO?3Ad38hARHR2D6,١EOũ{OKP ivS;Az$7Y! U=d1<ȟ6M#ew4"=S&*tO9\L^@ w"JOq~!LUi4^ddZA)eqռi%>;?k"gM%u &E6q?K=R~+zy!&\tOxLx\Oՠ'ȵʾ5k4E6v7(knPH8M#aAݡY Ja4?)%'X,(G!SU˨%Nӌad5 :I%.m nPHGz^UWD4b4)m=$ (БN*]r%w? zsq-)QT.G`u k|FH0GyJ!S]L~U.!.@[>o"A8FD/ה^'?SER.R(I`?uB (P])wE#[ '5M >>vtz$<y޸'u8Ք( iKv/8 w.6.ug۵ } 7p[+L|wQBDP2oKGf,SݕԱuy:Ͷ*|fyurc%z JM͛k57TiA|@٨; zI1J%D@tF"P@`毖{ VZIP$6F\{E)8E_iڃ a/Mye]Պp.I=9û^V':.O{/0}3l!%*(ۖSYZ>>oRG- l_NH=@f)gmz%ܔD j/=1 tIY-a$}xJKPlVCZ@Y`>R^Qp,.Zx$8$bi [^ۃ ,߈ v#3ú1ρE.6cCS\#wgVAz-aWZRzjX'<EjT cT"#M$Z\6$=}O)Y}X!=X_$ VxK04&Ȃ?Af\xc`•ߡ3zՒU dp( /ےKiU0L9nQ0RPoE/6Hjg ʴs\1V3h~fto~/\pV~o3}uЋe)F+8A1| OOOre9ak_ׅ&