SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info d7  Vickrey_Clarke_Groves:threads=2elapsed=74.264cpu=145.268gc=4.112factor=1.967zXZִF! K}B]ŗXf1-/6vR[7.r"&FD<%s>=A: s5Y dz~Q4)]ޖ> bC[6߰HvF]W,`|f'#=L}BOøMFsgtm|kNJJ H}a7,șRC %kt"4M7*J N<0 nHo'>l| : S{^mit p>A.Vj:]CgRk h唪'A!G91Gu0d W8s{jV,ۨ%BkuA?9R"Z580"ވ5TNTЯ 1 _ZukP\sk9S! 1:Jɀ 7 Vickrey_Clarke_Groves*'+^/7 9,RCܜE3\{;7I9 #=1:*Z$<,mӂ7`˗.=nY,>iA?L,gYpA+eSY )WW3~oSY!\F#~Xd}0n;30 p~taFw*vNNǷE,LD ~HlZ`6;ף׽o9IDogqdZ$tŲ8"ut~hfI{~8ں*e_Q!~yG$Η%MY21tw xyhK_h1 SHyBanvJ@|$_K1a]C 4tcQ18 Xq0x|=l3 #Œv7y26kӡYd`}  i[ޱJ!8LZ&vأn>* _;)hFLέZT1 ެg?I.moqw\ IŎ׋}3;vP{ш1hK$@f*xN/bd H1!wZV,mDNūŊG os3jIP %ypNh5H4AE$0)[,Ǻ8!ؤ0"z{b:=Q}nپ}9nN&UD yUh|P RDor^'v⬖wQ$0H c!UUclf"e3~YssLluڽ0,IV e(MF:yoWJ\tcsSˇP_PL-Q_ iHV(ˢU:~=aCGWlQvQjn0Ӻel^nU;7 $yvDkQN /Z>p1,Y*/P5QtP `ZuE:{ ㋣U5\3e\.C?q!-yQkz} ]k4*Y爩1ہL 7Cl: EC`q~:yDY+[bsDx!F߱QSP pFј}2Mv/ 7TanQXD#OZ%\WRtiEOlL;^\Th> ~wnFG^E2 cKanbcՊIi%i[l4+4+sM5o)*`d=C_]3>s@TxvA{֓O=6+ x: t$9S*f0.ۋ9hqJrJ#z7(Y»sE헭+RJX xsl '(oMeaf!  ͖tp9_so&Zlu7VcRB@˲̾9 d.Vm] Da+a~thSqPtgka?BU}6|sn[NӖd@Rftr'~$|6%7sk TMOcHvS+]D22O3C0piV+MSzc&$ ی1{`(y:[@%,DaFE;׀Fgqjo:ZC|3 PD^b?]oU0'h4.+,osSHƸ%$Y=tar:yS*ʄ#dix.BRbEEqɼˁWXu>|s(Wf:=.O$P13mӦMuڈg0͋i;1&L >8{,|vlqq‡m u CTcՋTkp'x4}-kO |{>qǚ_4dq3W{>Q}k0?d28lD FꑼXJf*ʒ;Œ2,rX]9GWbPWwd[% 9 2Eʮq.U0ƛ k/ۓaɻjs{We_îg`d\ՐVhOicY<+!&[bik9U3"Yb U;kg=0} E+als.he>ͬ全3F[:~uJ ?6 ,jGBD4^[$\$}z6nV۵Ѐ_8T_$LSR~|K G@\xr%u;է;ASNz>) 0E61jZt>/˲2fU(`1bNUT~ɹ'yYSJVPE[W/|2Qeqi h:Thpdûw&ˇ@`Ƽ֣s$-@̮epSO"C|:DE($<[Kpe[~IJ/'!~Vj?o A,5YpEJLrĩDZĬLfk]ՙ4L g}IֹnԃhAwn,KP_FzlQa#t֋P@fp임PqZ nP6X̪@6q(BEI/rJG)\ˉ%!baz %fM/wսx^Rmxm϶mj˴peRN 3  sB)}X;|3@KݼV;CثUK݆t=Ħg>1'Ƒ&g&Ab$Lc@z)6[nyY(s숤 ˛ۚk4Kq jB&oӽ:1N j =l/i{rmdo_%Yh (:/,6-7ft(4mJhMa*wW^yXQ^"o?Пe]a[!NCdK3#aDg W 1^cJE7HkY3~r_KSp o9kؖ&TŤ#u/.xgJCM(9ݬYZ@8j[O8T] `y1YMM#!E$]~*"fX-ˏӾĜ3n4$@q$+;{Yx-nܼ\Gpw 'k:9-2 Gjn™nef ZhfBK60Syx`*| ACe<մʱyu㸣b%lLXsJ,{NӪ )@AC9QoW*_Jp n@ury} $ufFA 9&/ȍ߂[ ?3WZr{ 6cc4m҃`x9 ",[1f| :8O\o{6LLJ!) lEK?q QuŇzo:f\zB{vuZd\e9߷LB0G0W *d7O 4W*zWPZ"׬N }c@x^|m';ByQtճ B < ?3r)#oQH+ D2Qd%9jmCX)*_3-0ʦvDn8DuYe` ^IO?-'"j h& {S3h^ܦ=5'JPV"^CZ5wQabHsQ~ae- "Ǚ^6;U;9hEOĐj(!DӪ`C pV qҚ`'jW}r'tQ+EU-`:t+Iz98yíQJK0Tg;tC( TyM%x?r[`"1OU8ąo~2驷ᣭެ#vʷ\2@PoGvG |F C}-geCS^Iv$DU[;ə!cO&˿mn;&>,MII='ln]6W?Cutބi\5{YG-#{\&ܻDgx~KVZ<Ǵ Dc,^ w{ D)˓@<*N,cy 3NhL7< NSMiWaN?f X g)=sA1(+S 0q? ''aR>%V?dw,zNh9> F1\HP!dVܱyM+㰊ybE֋ 9T=#ew|.>k mevQ@GjיڦN$ӧ曑UUĮ=73sDcO!ن4Eß`2D ۩]ƹnV)M/{މ+ %'8=-