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 p7 \ ] Vickrey_Clarke_Groves:threads=2elapsed=116.138cpu=194.840gc=4.892factor=1.687zXZִF! Kj]ŗXf1-/6vR[7.r"&FD<%s>= Ήpz?Mo@SsQ÷'3mޕnXᙡgzrw& 2D{vᮼ3 >yO>nZm61FغQ=+HaꐵiA]h?πs{ 6E/uN*pﲾeD632V)Y{.(N9%KyWWjK]zğCͼ8Uj|D&O)D.&raSXzf:3lDuc$ @V'* #}R5J[_ܬ1Ő ֢6A {}wzީcnM{ G6[M*q} pΧmEbcǦqi; w:. yk&K5/ 㘰?T)U-fBqV;u1f&_#YF$L+K;s(tM(<0swFATBUnvTAhtլBʷ %4uEj9;]1/C4R:]e'źӁ̝V:ϱ"K7ݹC56},T{ p"3m,% 3CS;OlZҊ\9|xtņ,o~ɝZ-KF*έ֯G`7_(L/d&cP56wP2oG=@  =Б%ljg WU=\NNR9uє_E=?c{ӚK>n V\ʕw8Ro7FDų-&5bkOW ێXI =xK,7rrRE:l u{DY-j%z/}WQGPdJ}~* $ORNLЛ-Q1CY 7dSQZGFuTqxS$dO!~4Q2E7$Č jgFj֧Q!8)JUSzI귁V ⫻6E%Ct{rfS0u\un/dKB{MYx%aoMvB:~?18)#&.;{#>rv{RKߣy$5KG* t3}NTƊ^*Xecg-U' ?40, /-+Z*V3xq ٳݢdKR-؀W;gx<"-_Za*Ge&9 hkLq_XB)'f[?A 8 %so  ͩ6v 6C2ZIs Kr>Xs a9lbLX_N8hUR(%:85O\aWoSѐAA[֑B,g*s&FJ71=^;iBsT0 uIW.q-djd]eM8zDLBZ[}>4qsaM^9;ك5M\@TT 7 Vickrey_Clarke_GrovesޅpAg> -@k1rfn$[䫏f|q,~Me"6/QXVtG(Y2JgS T^=|z%]NzjR }YNivAw#Þx߿=ï ~< {mr^Ed|}, (M=4-e&-!=4,L=ScѰW>_,ryuZ:PeS-^BQ2:GMX} ˾ qZOrDBncc&'2OVu:~7wޔ{@:8ζX)#vG/\:Va.r\IMv7n+2`7w187%%/R΄ y BArXT?kAй%ZdO/HUcI~"j)xb|\2jVe2lf 8بfgX<PD;mXc)x/&Pd!Զ b%Fk#mÓ-DWSo#hGK M~]Ɗ*pFOi< 5CQ-_֣E z@oSVw4H00(KQ.e7 -m*Ԙ.ӫ/W !HK[k$'/rT]&"HrsQ8Pw(-􈽥x s"@tPC@BEw p楔()|o𰸷T-6ܧ6f30D/H9Pk{=yp2,EG펜ɼ\WEd2 P$w&FYNggwV9a:Xm-_mH*مs1"K{ h@궻. m}jޗg}Ep>yS ~wێ7nVȺrW0kX&3iH Hgy; v`V12 m:co?zDt> U NBP};4y knM&""ΩPݐӚlDጊ֋w ,T){,diJHqD*ۦgm! 4ԒZ>T G_:CO˚-=g !=߸ ;R QOBGu۽3bj9"J_{)\$/ۄc'mqul-"Y ިy{+yEdƁv]F,Adʪ`?ur a.xA/p~pm&g|2Aj߇4I!pHGh$2vJJ GwyoӽsQ,bZ̫3O_W\ͯo6 1(G>S0YjY?c{h:j#/ߒ_S?;:lT {&+:z'!ެ2z2Kl.“؁V nU2¯#ò}A ¾Κm:Zހ79%jW{7(ofS=9Cjm(RV*Snِ׏gR?U=u8g|Ļ7OTKizRk4 pYQԯR-1@lo|„ChCNbJ)VEU$;b Zxǡ6 G0N{ḫb$Sد#vQLmЇ@s 0: V'#_yoD (SJдgcvc!UG |e`pTل4M!pgB( ͨIůq`"LK;#å(2?x.ThXWO+WQk^JZȶKcAPWDJ$ȥRJl Ӷ_ijHHbG(4Eoif|1E~0/[٤kqUi_m-z3TvWm]IRU>`ؘ8z+\I``Za.ݰQL^upxI*dZs=G&\90[KsI~. gbnժCU ݑ9Sf`YyPqE˨tr7 >4bQj> ʔH)"zwYbT)hdBmힾҦe.RLm4qY=@^ҝgGPW<Yu Q%:ԋCQ%g4cP5 LIW8R,=o,!US,l S8FWc6cp7i