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 X7L + Vickrey_Clarke_Groves:threads=2elapsed=116.728cpu=195.100gc=4.440factor=1.677zXZִF! H]ŗXf1-/6vR[7.r"&FD<%s>= Ήpz?Mo@SsQ÷'3mޕnXᙡgzrw& ``pp."?Sڱ^Ƀ^>vj1Q+^qSYtoȽ3 *{ CrM *Ӽ<`%0as)[Cr D{Ct>eAQVV܉o a".0h/KHS;kptkR:+r76H' 7 Vickrey_Clarke_GrovesԯTnLAzD|IEFI'i' R&4޵ \Upzd{傗&MfHvOz<*:u7_AZ QeHIm= R@4ntƣ6+EfR1u V%UVLUjI;2i%7@1,Ts6jZq:y]QžKf-ASdU;YZ_M' C@Ʒx@5xG>d"46v EN] oj5lHDk31%Y`DNxGxmZ =.o z?X+!xkow[+Lj!0pBB%רT/o j5Hn`;ٿtYF3-K䕩sYf Kgf+N(E 4#I uF H qѿmwV"WEZblI!¶Foqؗs̳(f>Yo4V}bRk9eSP3nNx#'c!_3+vHǭSn#q?pb^DT揶 4_ǍFl͙\؅ۦ ёQ"ITꨙ+}X W{*Xm/FDU 1J>{ KcaR9r؏7Le-l"QfLn$K(@aOD9:rcx{{α3}9p}bIS܆81s%TvJfOm_gl32);c= X̚ l4Qux*7ζk=E9:L6Z j[.30 XOp #sg.qYceOv_4m(N}sBBMOoi@P99_lM[[Ǐ$Y'*l4iwK&wuWK,xh[lVPrj=۷H9:uOiA{F Q]>sE o/e] Wvn83m%F#lu0:izv/ mg#^74 8jwXu<ɹ+~i7ހ ?Ź;\s=JNƒ_(y|o&߂i} ~rȹخ= @y1.d t"B!QH8!"[ G[,AXkO Y3M )M#qX_4@%3BK%)HR`p/y4_cojuZr jz:I !-zEb8t˨|+C:)ǬOn5dmw^d'曖 [K$R9_\OrJCu ғ:cOnNePUOʏ}aa~L(D++ۇFW5mc `R a_XT,;i o-g}bTuo]j5C .Syek1QP4D\2^XZuZNNÑ!?@|QvRn^Gݗ"6Fi `*ٍ/V:=T[zPml)ޭ yEPV(R+PDɈȨt|/cYySxly}*¾(S=ŵ]'f> }\Tm 1 R}i튾9ʈY3sV#JbovU;`cs`wTN;=ph&$bgR u&(;C%b IfwcLmM"UCSB+7ݺ-?`iˌMtg_AP.|WLs|W{lZ- #e1\'mulΫ<=Fh!DBl~Mq6AѼ-wg#"X0B?ϟ {Wڣ/2v=;Ĭ3TƖi=, -pܲ$NC ޹j#>f|Ɍ>r:?9K%ML5t΅% [P%quh,e3 留m~kĠJu>ty򐙎ͅax&BSv 40?J+>yakZ/Pd5?`%qSLٵ0v1?iρeq])Yvjn:% $UކsEOgI7h@|nx_%8fY'۰x{1 pLu^@?˦ ΂@ٴ&9p NsDs= *tcf"=uCFJ}iQU ^漵L2 Z gs$\lgzP,`&-=I,ZD]F_Z? H0qwS>(e,^=2*hߔ )>#5䱙ie2i\zkY֯4E"c$}<"E]Tj}7Cq 4OA2єu0˯o@fϺo"F,t.$H<a6,\5 n5o3IŅ`bAC{ Sâb0p!+!fYe`|1n  0y5J*+PQxxL'R=Wᬐuv"F~ GؔM5`sԀ=vӢT[K oat;VOZeA@rt$򤔷[+:q+di?:ru ' 1 M;u2[`U2STejceU PP^$`kꂺk/\V[62 pPD1,G*7{xy/n8nE,>1469?ƤPj$rW6Z7Ö[`t2ur͓(}*+L~jTAbjT<ik[r=j= h%ҲՈ{A vx5a S.$l(/Ot_l~fqZ8s㆗)KkUӉ.u,kQu#u$!S3()D̬FU85)쌇AO1ouuho)(Ɇc󗶘D .gԟ<ƮR6bScLIj( /B 䢮q{ !$Ȓ0.c/EtcGkbcmHcnq2CJ'X#ٛId\Y&5}-.IYA Xe*l<N㋒ڿ"\˰ŮR7KGTv:/NOfk238;+,'4OWJ;F^̪=PG'o|޽jcQdu}kIkb R5`9 yd''$$ r,AP@bKޙ,UЦ!L.D mwC_wZF2L$LVH&jxk>"#H|;bƑÔ||@zXa%95-`]E89DlIjfk@$`UCp7}Ҽx;(LB {eЙr dVkHDʈX>mLZKm0yv5qzb*Iܬވ;-xT Xb&R[Y(X7 >׸"gQTe1R-RV!!{W %jC7M/%PFr.4F-KnV'z5 섋hd ȯKZ.l&E*=6ǁ=|( hhpeisqТ|#*nc469TM\iĐs%_ Dq8Om@C2&Altʱ["o]Ƞm [:5E7*hڭv:_+]\2 Hm eԞ7B2+X0mho(;JK*\ I.Fyp }p~ݞK|8 ϗ+ ءf pcqa2UJj(ٝ/-w~`Zp.żs-b(+x}1S;16!K- Zl]rdh!񝊺Z ݛۋӦ=W{>~@>*6szgB-T;{VإMպz&]S݄>yy<@0.>[ ~㘞QQ5/إv PA#UC!A*R*N`l3'LcѶk>rG,=5 ˓•1o=z8^hBWQ-|~ Z 5-׼gK)M!HVUH|C@)o 7#Gw|\[ -.6gxL8} 7CYpI-[ENA(unN4J`-Gj]w t_U 0UWWv_Y:~ɯ1QF -Լ:0!K~V{aH@?NP_ze"*\[w:ųr滨 ֕i7ISxIz1H];:YEL_jI8jF#NlJ܊Hv`mxhQ_όOTāR\ĈJ[ WT85QE7d0.-FЀL\#h+qtՋg46N.ML DW^%hRm`ʂHEBa#i>ʩ%NPF(fK:E(eSxG ^2w6/OEYˆDvG£}^{~Nͦ< ((_+D*YcS(lz%[owNE]C( XEy 1&ߪV]_-ڄb" _:WaH,XD0&{M%yYh)_m}qe;co,~}}>}ؚ5D0MF ion~ aea} t'El!9HIfv 7W6Hԙ z''n"-