SQLite format 3@ . BBh77otableisabelle_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 {{z7$$< ] Vickrey_Clarke_Groves:threads=2elapsed=111.621cpu=188.028gc=4.916factor=1.687zXZִF! G]ŗXf1-/6vR[7.r"&FD<%s>= Ήpz?Mo@SsQ÷'3mޕnXᙡgzrw& h500täH@kNaa}Ehk5s2(LLP9 -›c/dV!mf_)p(>ta =1j.˧)D&\Ialt$y{XZN鈁Bon7ˊWT+MI;LF{JΡ>QZP@52vC5<4; H e(FFM*ڄW}fO^^6⢏Kf $w++DUsJQS?1JͩE *t.phczڗuMQF\ˋg?:k'd c>nf `cV*D٢u'=d=hUbr)ԷXHݫd床8U&Ֆe@m3VT-nP4PtWe"j̃oO&Eyo r@"1)(C--=_[yh~ n@c4L{XTeE)&"/,Q-?Ɉ}v?Z2Z׈ Ga#kГ::$;@zyA9DTHG㨋,ϱ^!CUNF0 _O>hJ8b> LWAk˃z87>& ]no4婇SQ6k5u8;PO5.C ڟuS讍MaF'9ЂD1VrUq6|3￀ bzl_#nQ<hq1`׿^&e&GnĿMhɈC GF7v_ Xf(St"lF xp1PJ}4ʼnh22/.'> Vf\&;7%w7gO߅NMCZ:,M~[";ΔuGep7W#3Z8bmmW Z8GWS4tTl9ur ڰ`] [GAU6L o2QȴMLH㣇[WDq|?,g"WB':.xw:GHc!H2w@S`|2#p6Ҷ|AvѧMcƩ 3R?D3.4!8QPNK<ѧ=:S+)x*)4SHr B̹aG",3p낗UITĐec>ՉuHO`*{zSa'B6嵻*,OJ3;h^0 (Wyd[f=0]1K/}RKB>r-(5kW9{Ϟn[Bp9>̂Qؿ/2ōbwGϵAi-b{gb \pu5-G&K.#*8EeP 8˲7y ՞C,E]A~f!ԌxB(kC|)G\(؂z]0^Ј훙d`ٟ(5FzU'O}EzD ^$z4|Qc2A7NnsO_HX}ӞfWyEjPұC_7ΓԔO qFM1ƾ Ӱ/Fg#9ǎgց9\5E2&,SHrtSP{R3λߨ%6GB8 UO82 _I9"&a&턃Uwnغ>lSۭh.y0Ymj 7 Vickrey_Clarke_Groves3bGvsV{(}?aUq N6*D'|JyYb`ր 0Tv ֿ /F9'VU@}@Kjygφ^ -dFIo;-It?p?Q+ r^ .)"b  iJrF0Hp7,U"-$KH"bG|t@V&yu&Ѩ>@鐈<+}GfDp"m|;x=w)?v4= ͯOLzָeG);[3"ZV8Yu`4-xqal"&-O]D׹ZKSՌ @a90I<#{rƻ|F4pKquw *[ۄ~u MG1j &{]W0"B#1gjIfm~:OcуyAdvp1ceVtaחi 9@Ƙ8Vy+J# ,d t@x`Wb0YyNruLBzg6|@eIzf (׶̥ iz8͚d:kB~61S ' Ad6~o֪IB fգ>쭓* z轾TYW U[69%Sd Bu^MBTrڍDZ+#/ErFF7=ݟhyqKjC༈\հi7r"?Twg֩+XCtrpd3~.Tm% q=wr\%XLA3bG*rNfbU9͹`!5;}2PzqW hAWcOu}G EY%"SI-O)^[SeS ǵJ6v)TĻ˗z1zOY[-8wL\C iniS^"S@uf婳?j_I}H Z̷cs= uN$X?4ʣڥt4;D^XMNG͈Z%,B-COO$~H>U룥\DaZ8p>LJד[FL\QVNM,uӰf*[QHvs{uaz/1ˉx0LZO#2vԲpu鎳N64ST s rw ߊÚ`%`=9l_7g$oF2Y7jIu9`4*ϩ09ލ$nn [':C)&ɘ2@'Z)HD. JkV*6H}',Sj!?{KGX@\ \qfVӑd+_ */ۜLIA"᷏ CrzmqW >0BQT^~[`xɭLp Ȝ*龛n&Y[Djtq42Z/a x&-iu[@w|ܷ5v۵L {C"N5 l Fqr.`9_3‡gԗ9@f^EC)aB-|$Xo'!N o$P>\ t|#5m0#SҘ8ۆlY '߰vRRh.s]M]`gS>&ΧL}n=J.Z #1"O!~rr*G| m7 0H;E<@޲rƩ&T'RVM68 G| [grx]R/֤k4E`b_AıY+K/?~ [3`4U^ҫɁ@Mv6: ɮΉrNG? ~J̟D+W4̾3$jBB`y _A/alz^̗WuCKd`4o$h-N>׈0n@xN-wvB^rbxB2gc$[kߊưN03% )H ZqW wXx0 \Ib7. 6L*#P{k:-ZX;ޙXzNr;&ӀN;`0VB@3<#p|`?x֠~Ϝ܊)Ό 6@!¬UNcj*SҦ9={>I],yҞ?'k"jɕH+&I B川 yadH$\bn :YPQ*88-3vA0L q~ l#*#HH%i&ȅf)%C@kf{Z,zk>QnёgwP!n Z.>*\8L ^P ZG]=(.nj鸃mSC2i+"Q@(\Q'35&$9D)iގ w}[=UVeE&ڳic BeıG(}zOQSl~PS]-rlgYZad328ba76969dbf0d88e21b4a9028fbbf10633e72722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af