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 7\| + Vickrey_Clarke_Groves:threads=2elapsed=117.008cpu=197.844gc=5.112factor=1.697zXZִF! M(]ŗXf1-/6vR[7.r"&FD<%s>=A: s5Y dz~Q4)]ޖ> cps(6BJMvA67~nT F {ŽT ʶZ_OcJRZ/JP8W''S*1w1WFFmV:klS'XbҼeAR*iŇ*Ll+KdZe bG`):*@qGO),w]Zp<* "9gGNoҿ)#-2\vuDja xm.KHN 7 Vickrey_Clarke_GrovesUE:Tsw4? * 6ّNAm YɵkxI+e$@3|J {Rۡ\}({~ݷ E~LjssWo۹ں4$olC>:W O%>,#(HhPli sH{ljDK[,LYe%?^z&VF ȵ@ydX]F!iPd!SfЀx zxE5I1EKD  '|=WEGAҀwpjeDZ¦kix`~Xx>6UW0\\Jx&Iś*U]End[F݅ٔaC;ؘGȓ.h5ǀ9թ$ RbbvSPv$$,k&4qX^$ٺ lwm^OZQ\Oze jêM]cKy7QCiqBKPkK#"A]1y%d*^hj÷T莋ɶ`qKYH%ϼ|7*;h<ו AWV!Ȗ([ * |<j1y|NXɞ^!<V !R(F`S|c&eH46(˜K6_=CդɂTrK3o%H@J{j]+"oO P6ºV`gYW4ͨ ]o'}KNǛi>> ErpI6GvQ=*( 25 E7?LO^z>V8l?a+Zڜ!}ଡ଼䏝`Ϧmk4J=<DsdP :3%kz ea@~`ֿN<YH9( ڑgYZ7zXZִF! /]ŗXi%6˻fWpHJXÿ?*bA`&'|l?&Vdh֐,{Y<ʺiP5 LI O)@1|4&ztMHiW7{HR4l4wTbʪ3  æ~sM%A"k623ƥnX 4ďGGb:XѾ}3=C|+`~Y : Hꕻek|< MirvCDSlT:<'2$B4?"cU=MfXn%σKIs&tHnC\EW$NwfqVz@4l*19Itd]!*EG꽢I>vT$Z*l^E3jpgrd|Idb5^3zjNtn{C@Q&s%~:]/r2ـG[!ʝbJtMYb*LIe]7n*Q3-{rqJ)IBtnrP5<{V~[AƉs CL?*oM1+sDѤ3E=}Kn{Vn%f tɖ.găT1bo% ۊynԚ66ciF>g,3ID(XsyH+yZ#ށf'e+ánL[~K oASg3(Vue =y_^ȸsP{lY8;wFX?ɰJ¨XJS32q&imع*r]si맧xϐOM<#:nɉ.s' LR 9bF/-tȫ^s_ʄ'W6F, Y7;vbbs1jbbhJ6n1қ;Yk'5&w6E ZlU 6I$2[-GP[e!]c5X/(N{9Yd]+ޜB"yP(ѝ=XH"S=fu /f a!-֫53a+ &)s TvRpY1I5rO]xXw0 B oh8Ca!"o EETHióJ>Ah75vX^rs>#C/,v^-My,Fl3l |ɞYZyà{7"F$?K^@Uci3[h_)˪va9aa w)(Šk1A ޽ahW$7 iuq&jЫUiKLa1\bUrG_CƧ,s }1`_)C<>'~\-v $Z$l|@w+p0*ڼu̡P: P4]GOKe`'`h5Gķ^"$mliv0T%6%B #Ռol0hB3[mwq p*CYV\Q;Rb'JooI.xv_yӒc80ʞ:̴Ĉ!Xt!Fd1YO{!i2g˫ s:^mm,Ej{LpzBtX+@^`sVg'17@~{1ϧ vRcaa#U㾤ђ{e$pG_u9<WaoYIxoXG[6(fJFz 1R:=u&IF 0-Y6hcha!Di7ycKY NQ>mEa@<µjE!vեv &̗eܠ[1沝GS|p#3/ٝ+I|7>I~$ *2^k_r.nn0׮OEUʢH0U'ZK20DI4C_ _<׈h [1\0mr )OOIuad?S`j.L$k?#]mh_sdv<^vȜh؁?BgX#uFLUh[A9)Ar7-!ΥME-fvǁsbٴ&y`IЏN9{j N!dϯ+igc[/3Xt.0ncTӳnSIY%\IUK m Mw.x,d;,p} L 5:V5*v.Nt 45B7T0`M*v 1Hx)-D#yf}qzGSp&W^ǩmL(ݕ߅{&r` kuXi ):"{З*Pf}][f5̜@b.C%'Ry*=¼㺾'WP.VE'6:vNRJq(r4#̱W9iփl? VX]éǻ臋+Fm%Ȗ0  0^USg ˢRwCmyǔb9?$Î=yn9!3%\~yC#b˰G2/P{ˋΨezd(_(cHJ<[= R!x偄utcis_X ۍ8=/H SJ<M,IsHqeUI(vCfb_5h5S+ b"K}tY"9V_Y b̗! mwOZM3v|J2cѦ~).:CWmgvgx&~!QeB`LlwnwpRZ==Tu;@iU!+W{WP; r+gg>8hfֈ*pM|SJa{\zi/yយǸgױ>R[RS6XUH{Ra㤖qH.9.&36#9f@|= nQH|~Ԙ/HB(wB`F^ >uw-Jɩ'-N" m,)K RsH̀`S©7nwCyp2F5/@y|A\5^.GX,$w '_T853ZRIZ"1=AE4Ѓ1<ॻh:AՄD.!Z;Y{ɦoP gcس؍`jU9[oPBibYA޷w;rCbW׈=fPTg.G`yQyAv '9pmcnïj0Fݞ< z֋sR5F(l9|-{]foflB}:iti>C~2WCkYвaH!J{G~J! eJH:$fpQ һv?My8~"0Ӥ5L|i.7