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 x7ld  Vickrey_Clarke_Groves:threads=2elapsed=72.003cpu=137.128gc=4.192factor=1.907zXZִF! C ]ŗXf1-/6vR[7.r"&FD<%s>=Rt!hkU}|n$%17?G q-"WHŽ?S ;ZڭɁ-} rhD- }ƥɛU'7 7 Vickrey_Clarke_Groves:a}z2q.v>|XőکwXm$?i2O'z?8p\T'Fim3*v_ ~HD 6b}Jb݅ :mEdvS'zU^oz$:v}5g9 4q<x*O Os&}SHAxmsHGq, F8Ɛrn5&P5x{;^7|ˡ-wVXڇT WǫImeYOAA|N{HlsYueԾZ䨯 wСfimTE!9XE¯W5W$eYOi'Wh; BsgWuvl#e+]Jx7*|t*9a[ [Ty7|O;Κg[>?S(0-I*Or߶9?w_[E!C`+ lle+'á)t R3C(=9HAd:`)sT T=V=X͏XbpAu' ػ8$>x-!k[1PiTZ7O/] ;'M99p?lf7>IEvPgfSDPܹ#):ē/}ȁpBs孱w\4D;3yO#RFx0UMwk|S[E8 DmLU~͌@\zŖ΢Ac]@lI)Fq-p]Qi}5bv,<:,s>邯庣sHBE]T;|^1 l ճX1Y"`,8,s|דyA(BN;6r:t˫*bOJnnA-0At@`r[Y6 CVjL,;BDxptͅhmhoYRPKlӧfH^ϩJ aRϼD2"U)26X=ȽHa=lZOšMrPKK?xtc^P֮Sz oqD\S$팥s8F 1׾z0Qm+"l9qTQΩ4v"?b o[̞]z7uX(D'('|ZQ/LnGC?}ykD^CAF?[6٩~yWm/ }YO"bj2ꑻNAC5x!~]Я{TC':gs0axcT$ 5Uu0%Ž3S'=ѧ"/,cY{u:y+ %9{3+Cm-ȓ5['tٟތ4x2.y%%*{ +4T d( V1ie pFčcVDzi9E8KSɋHFe̗P7t':`f>Bp&j$"taSבֿPTvy#^[NufFDUt09~[l.=ppjˣTY*_ aDDu&D)ܤ m, ͏R|v8HOH}8_Fz02΋Mnv'W)7!iyȶP˙ {n9E-FBU*lS*Si)`}Q+Gő9U9f;/'"'7C_4و'U-ipuQ c13U@6COWoaKpDFPbdH$1 B$@oкuWI7Qz]|-mD`UlwRmڄ5|sQc4Ϊ\{|)-Cz,5+߫QY_.5NS(g%nd3qN2;&P0_*bnMH]*>1sFʝEJ_j;f Xᑜy( `ʧ{EjʅI)N!tMT$e ñb4!+5>ཷ,[vE{MeGRJFCjH>p7b^_%~/&=FqXQ\b~FpKtʰƿa)=G<q/69S݃$Vp/^bn;Jkeo.c4h[9&1 I3\!A,}ѕLeI ~֕ޙ>B] go<6~#o|koO]38݁*ҊB:L;U.HRy &㭹c{hklB*ޅۖv&T ݸU<4,~4 t`y6Q&Aa6'F0 mN? &_* .0ow2v;QMBe; Ș0mij<`up'l6UD4#\kkCp;1Xޭ)p 7!b!A74VVXQ.VK\p W̠`Vٖr?aeQƿ 1)78kƌ21o/dYUuc'NH*^݅b62,`<#4ˏBpo ncE.4OZx/H9H^;C4)8$INJ.3ZpPYF^+ rq77,(p!!>Ƚr;t|FD<R$cW~\t3cص%WM*jV*H}&' D8>OֲU:X:)_Td^mY~SbYpxpEb3HVWQUDHۼ~ŕɨgA]ZG1I&$?j>bZ$wð~} d?RJv4 ܽ ;@al iARdB3V8O 3JGɊ/ ]0zw5;iPXO&BlLCKzk8y}jM-Kk9ڦneX>[ibҪhz˴jIebi5ȿ<7,.g]hyf!oG0l-LS#93iPQ ,(<6cC-\ݖo`O2 s4d%\,ݱ%&A}We PCh@* 2n#髕  >&s]ͅTBP$-#&K¢z ~2}."!n/zitz(T^&$yN FX,/crnV2tt? p}IȀ;| 6+AdrARan`}rTC[(F9r_Md9 _C;nFQyv]$z0K3֋e4F11$ɟ8⥩Uqy 8A hKA2)3 d[z!2&?w ȬT=sX>Hz8GK>J4x>f̪bƂZ(=ʒrTKh(Sʯ<"0$1Q$TQOzBOa$ ݛn)"@M9vڰ3Qn{eAsbx~suHG4'Jz7/9jYa&J Rtp݄ ܦv="c$JLtykjZ#MrjNNzk){_!$ԍ6.S4X%ITsxq9ХN36jWQW;'SB18_8t/3AtVCH7Q(<›" bX!LNOb̞(/"5I|fC_OVP"nFd'9tE~T?Mb5+ `գ沇 izso&#MafToyP D,)mIұgYZ7zXZִF! ]]ŗXi%zxpiQ|u;lHF!ci0lj舩]uQNŐN'$yaCwDxkB4sE:v%Y,7%Aw_>TY;Obw1 Y~|.;V#з4t5!DsDB5ǍfJz{I="V԰x6^i -0w%k5Xum꟥?Gd(tوE`yOz.xJH 7d 1o*PR7'$̦iW*G%f?BfRSGXup:T%cfX8HYCq>@;Bҿu.%cVhsC|.J96/l[9[l:Ev(lL/LhQ؟[ctBZf|h[s$<%YpS=Ilk9JA-?9?֮C yр,v(d6+;sJ310.8<^a6?/T> z%ٻ~u8vxj<g'\`BɃ~RꕯhEwtU-*Ycݤy/¦{+E5--'Q?l~PR}IHeʎø;RW%s9^}.5{ݬǫ[Aa} !+WS*[ C"2-n#F(1c' ~%GbP6}ԶwN\,ŝ@Uy;Վ y9{"[:W:WldEFL4 =H㕱 6J_lV ~Q_B.&}Cb "'0;bMMB}2ut4Eo-%άS0\lR_w4Z>Ľ^qca*x`@6J}q%uϹ|",=Cd<^d[K+U~5Mޠ!2{!tM Rq"R+ B9Iͩ{ޟ5 ,Sqøj-߱cg G!MXV/"B:ŨUD˧vyhiNvakslgDΐ/o zGՍD鯀gN,_em=: *coJgÅB1X;PmpD)8q/;@Ιa근m:%netx'k5rMBxoDu)GmY; o'$D7EVڏ}se쭒a)CYt[:\;V8Jx =ۅȑt)cX𬓝Sd$5s2™6J $iJk)$$mcFe=|H!@$j:]ͩp ;>_}9]lFE~ tSft(B̾LW O؇3+Lꠌ'7k8k؀1 |{yjN* .T~T6Y2e(RO>0=b ,؆dztO@|1;lJ23]^U|#mZ!Mro} A'2(3͘sZJauO~7/?MeZ 7uZ9)W faKz$.b;TTigk>Z?pⶓĉaݛǕi#S R'QQm"I{f4/`H83ad<^lLE!{624IahQj~ozeRjj;nYi_YqgQE^@[MR{]IzWI !#9b왤CSd 0-Ӏ u6ߞK 7M _ڝ' >~x$T5.~EGA\r'RFw0p