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 --D74 + Vickrey_Clarke_Groves:threads=2elapsed=100.920cpu=191.436gc=4.916factor=1.907zXZִF! Y`]ŗXf1-/6vR[7.r"&FD<%s>=Rt!hkU}|n$%17?G q-"ụ7u ; BEqĊqfnfϏZ$ $Cm7SODE>ƦL:F׌#eQG U0MͶ %1Ao $ͺYB)a9W}1uZr.H)qAuG|Ko-q |-qF@]zfNL0ĺ ٴxN'O֛bioJRMe9Z4+`v滸ƞ`cXmWF5L,F 6WDMF'€kZґ[L,30BFi2b!/=ZQ mQ* ":UЪşt|!jc^셄 :ַCNZu'a+:^;WwNP-9,cyWsGHf}5zH^wTP>5 }?s+4:Wn@J/0=:'(|k C~?QDk\5[H9ٜK@\N'C&bAph&HNJb>UVL>לmn.*3"f@;eLs+VI;ϳMl*5[= Xԙ7O_B! ?Ū|Uڸx㦏 Ms.9\O$)asF,d5s;[X* xchktVCD-|l:Ů"¬"~q=]2ono%u%= ."Ԡ*Bpt!+`#PTg_h2= ."~nU$< T3@ֿ籑f9m}MUpS'P)UH_BYraHpcL]s ;9c8 N1J!T ;Z#☗ZX$n V?e O44Biؓ}GP~zA$$4b]i][wua4TL}$JuhoM5X*ђ{ ߡ﬉SwYl廗Fr x_FWJAqT- xt0Կ}Á˰K[[800&"NYFv{=KwP>_`nTlR<3.[vB5]yΞcjqn;u? gm>J6+n4P I.*:3R!Rg(-f N M]vrhZF{S =׍(k {'ؙ? `6Phڛo0<*a4`,%6 WQZ>RƎd63ED !'kZˇ.͙MQR^)!~[KNSFl)tGNqFz\:ŀV; g Jz8y7 hFlɫX2 y =)tx1SPf(#'e" "j(wdS$8J@8J{Z Upđ@aoD 715ݙyT,h|/گujZ\ƛrg."Dc~ wӸ]xsq҄@h,A'=wBo͘lbծ6vQQ( _[x&O˶ԷU+3(ɸڭ}?@wg=p8RDJu /RO>0lI+=00Br޿w2sz zQ7Qkm>V қ%H:>}ީzj e0!Fea6=|Au# ϻ=:Itzu^0{ra&޺fH *N̪Lx}+s=Ͱk0`2jiX,h_+ WꔥE1n> 15@Ү i7ZPd2o~DH>g*rr*;ݫب' MZ$ jCH("0,iZtw| ,OJD|So@t?Pto%PT2̣9rD|QK]jj: 酏sg A$"(C|gVZPplb^i "s?`1p ;*.:\UrAxSa0-"%.VڤQt )&#˘:zr&a. 䄦#:2+)Y q?Z5Jg\rhxsQJQP9ҵ{' |6.iDRW6ȭ9zcȹ~uĕҾu;f!n#%kPͣPdF%;fv.sOcgke"ޛk YEfuUk{c_Kpg24]Sj 7 Vickrey_Clarke_Groves} $ 6h9uš̡EIb.*wQIq_)e-[l7p0`b!ۍQZjB9啸~fW!iacs>kI`CjO1 o5c~i!y~Î*cN $ϊ|=W TT2cLL~}5m q,-.q DkIKf3=y^+NE58b;j0.0kȖ? Q\sNZP ;׫9t Ai-K,-8ڱΒV0%@S~[lt0 C1ڄ5gG>D{2ӷJ$B1alO%wÑ_x#cِ찫^)W`TWZֻQ,%.]8N+-@O~գaDpR߈McA7 $J[_ߞgOQOCľIӁm'MWƽ/N- l'Ȍ>DAN GNz5C6qP=݌j(1-JwmHۘ13\㚸a0[>WUX5q4q m*P'|yvc:|mʌ$ǿ((]j(%>€kW"svr2p;ټ#N S H5MЌsighNc/Tꐵuȋ4?ar4.Jm36ϲS06xi{(^sSaN Lzqʮ8^Y?o i;(tc -+䷕3"rihr^uP_&hG2sF膝 m/ mt%NlmkCe e[5duGgw>m_}Dq1Ffu>ഫB4 oyͅx즹"j?|\0(tpy~2G;y H'ALݝ`>|z45y{V ,샬TVѬ.v$>HSn& WG0G0^_pW+smv('p$ma^㢵]ĖL? ،;P»]Qxdj!oTWM@DRXaՌxs,숷gYZ7zXZִF! y]ŗXi%skY<z\j[F>vy{: -fM0%\¦4'23u%ZyiGTƆxt_yughat&‘ FJ-RIs|%g3gV{nxuO1.12#-G5fRb̍"  w JJ讨!RɛE?[n87 a7KYgWr|3K/#GUE;8h+6Joشs~"fjȡm,BCqjly1n[nW<"3}w@I/ZlZaT ;!|\HCOuOሏJ$Gi` Ğ]u&S`cxՓI;YWOUu|] M\b^WD =载fYe$-xZ9|P$LeK6Muߧ#ѬQƦB 5^y!$.lJ%pa}/=ЦO>8Ϛay"s2C Խ# {Ǡ\DO$qKڪ&r4B6mdz9g8ԧWy>'䜵 <4M8$ pB[74mE@ &E%ANhߏDC عɶi9(Du63 ;*خhOh5T>%Qym!evś) ߲Ưֶby z/OKXA MXVhck5/88rR$bR?'d&< K*ۃ%fPXӅ셳(Y¶4T% &߮| ?hA7@gع mPg){)(:Gm6$ eT> t>͉*mC?i%}@##hp؎?vdJd}7{#A7㷃b pէ|9+/)< ;! ^Y8{£X;D883qmhR6 Z"i \lj:gf <ȇNlT0kQ%z{*{&9˒:b[]PxӞ=44fCiKY`oMkW{ix5ufҍ˄49c )}3+82&P$TJߧAq#/ˑ8 # ƿ |V)7) ]@b.q)'^q&.%Lh>//]^q)HV+?A @ C%s6pǢ &c"$:uL2CKts*q3GWn/=yMh  4xޒ#`lJ7H p pi;vWqq"sQB?Ϸ%ЙSPJ"[Q ս.,[^$Z]J0ۆ,Aqč0Fo{E5KלZy;>B7't,|]^&qt_&-NG!W"<1?rp  H,Gk(Tl> 6E>8YjI޺B@P8"t+4v {|LF~«. ̤ͨ$H1{bglITMT T%ԓC…2?t'@  4]0c3MhkP̳b l( O=2VV rIp3O7n}B1z@D-shY2d%.q8[Yf^;Ԇv{pK@8S̈́c<|ϩI5L]K}-Rd]3EKOSgB%kbjOp[הEO5I>p/ۮG`3vәt40-Lew7 {dY #{oYo|${ Eߦcʃ<Ñ&۸Wi+w%"'*Jm^% :L{)6o`I%E4 h)3*~ՎT[ B+f`inܧ;@AҤfO-t_Hd o\F>dз0V q0KxЈ'IVxT!вsպ5G+6|n6ךT3eMA3zSJfW ;M-|qn %D?yb&|?à(SCjNH9CP(4kž"PK/М%%^#w.8`I*sd&Z }Jv2p@xt&ȡMEdǰ<Ӣ$`vU#b+r1uzcsDppi7и7GMĬ}lX{Rw>:h/MADe\ՙnWbwkVz"iM^r'NRTrA)rNx;)2qnB= ml kHP:uSk{U+_r>'}E(Gs6IVNM-$}(hI Ż78~WPb^iK^zj'!4ʗ.Gw'[SS@~(ʄEpq@h$S\?e?3 @t0Ldx!`&T ֩ A!s7: I6-BTq&w3 a}O*AVe殛i9mZdjRJ笥>lȗ;RBm4nZV DqƟ=w*؜w|ע>Zƣb.( fUM$eN9sD~w֣KB/\v{Uț.W) ul;ǀ#:9<;@D^ґjH\/mo4ŸɓT^ଞBk"K?jLxmژwQg43J:]Y4teoZӉر' D?.H)v)qȁOhk|`QL,je7B,lLJ3(ld_f3eş&߽֙53̿)vN@o*F'!\n0<ԊZqSn$cЇ-@ӜuAAHQ|>1BnaR ۫6H2i+OwH=Ba$;ۤEXYA 2ΟS84b/2X9sb Yfw B;EM<[0V9Mei>Ћ5uxJoӚ2@o){YtFӖ`Qs6F=i-FCi-gJǹI0MT^G2ymMgVΛLjp:q)Bk- .ֿ%v 6Ų zTvWrj_ 3 b{3$ "n 1t1;m@W ׎WJub ߷լsSjLn?+c’wƣ\ʁI[SgZGEo@#xހ輡43B]jm}=/w&ߐ}^V%Y/Y< s|ltٳ͓͢,a"L,ZN><}ɹk%jwD,yE&٦5W{k2N0)mg/~}nԚ쉘ᰬY#: \{Y'y_sBmͳ RV])_5l@%A#ɿ,L K # vU!KęW;}4DԪA_E< cCNn_lHD:ϔ;.ú#$d8G@/n43Z 4˹]`C sO`B<w{$aLz1|y^ZLb|)EΗ){2?P&1-mƶN)CN:^`rt42|"_uXr"Ͼ,ֵ{`ao(R(UC}2;B;SR* Ս=! |ڊ2,@Q$N*-\(9N w&38,9ټIlx-Um']ݐ\i&̷ˆ9YӚ!!GõtTte> Gs*d}^!r;7ybb>&b=Γ"`=șg2遹6Iw?g*tnI%qEy .֐o޵@?8^ao;8 UV|=j?W1gfHpGNO/{pi'"h0W9\l:qGX/m} ]FF?֒:i9csE<[ 5aidozGSjkV"Ŀp#iI /8