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 `7D4 + Vickrey_Clarke_Groves:threads=2elapsed=100.416cpu=196.168gc=5.268factor=1.957zXZִF! M]ŗXf1-/6vR[7.r"&FD<%s>=A: s5Y dz~Q4)]ޖ> cjSi "cg襎5#T 'xUYHG)lP3|Yee'MZ}q )H.tXr$U[ή$y'bcvUoYI&n=EA|Q9.whPTO2Lk#\ mw <\2 z .Ut*<I>-ⴁ=ӗjSYglt$Y_"l?oB82SQ?C3ɂ׸Xd^L`D^ σoB{_̕:G9@fI:`+߀ZYtqD>Ycbca`#-۲lB* 1bbJŦ'lOJDsEFcVl1oNjQlϾzF|E2SƩ7ܩp鎃)*Hel#X, lak[흦{8i< OR!T>-`h8빾u+y2:d' k3A]&n/wzݕ8<3:1"RTW2< CbD<җQj$;ɲH/PD7Vǽ 2t+ |11Qvj5ȋGۺ{HQ/ uBZ^-Q`!*2$UKns^h[c䳻3B!5 6uz]7֢lkI|B(0])v4޸?z1).B\!TYH@泞~l+Sf1".)gfim8_֤{zȳEM4"@tfTw''KbJBO>MYN1 n`gq,8yKхA(!dt_S}:Ht{8[|U`&Z-4/3v#0ru~%~6&hQO Կpbq'2qtx2v`*b:oȍ*۱I{$V7}(/Q;i\ _gYZ7zXZִF! 'Q]ŗXi%3fp*OF/a`܌va+P98c6ٹJ1D .G"h1̽s$WԞ9[Xcy2_N()eӛ8u+%be~Cޤ/Y97cdT88/R!tJn/i")C.hF ބYr[G-*aMjrI"~bR< FСYRIoV/=4UymDh=Մa='A9 jqϔ,x76i~#ĻIpQjw)`EF5;cOjA: 7 2Y]4H.JI}s,׹YD?e17x@nޞv0.Y ֚nhKDd2}2-4\;3=EQFq,CA)>Yj %W[p)j.7&gO2VCR+bqlXG>3"uIJ5xbWAd0]_MO)z5gu2]/<)p,Lʾ3l:w]5haI7ewLSlG7;ꓪf[L6:uαɊ?8NU ),2пw@jhI/MiG$aѳe}\R57+TCNQhV) RV4&ƴ԰UFUD#/4d!FBp2Kj6P*v[aVRI#FSp;9E-ҧ}3 mup54!-Y\}&hUh]p\#M LuYS.2G~r^`3]I/$%8::LMc'ه[My8K F[CTXq@J/F;S&}Bǖ m\xa|(yL 60{@3y~qSpyN^ٸ;QDk9$0<1Oe!rHN\d'-Pؤ;1U_?S-[\8X;zH|> N>Z>>O_-J쉜6afL䄺kzI)x8$oZ [@K/܌e B6۫7)lC5A+L[f&|:|.+lU ֢#2'|M/ jȾ|q!uޏk gh_ߠ楌xД;AУB("h =вKEd[wXt;Ck ~\Y>#nCQKu)u: =z*rB6d9$^Ha9 ;4 Yo pϋ,W^{͡+{K: 65Yi[e.?4LDoe* Y gT@s_ThAD"ۼd2AN8id*w) _Wh\yp@ `*8z*QVٛ%_@L˩|v`BmRey*3"0l gq(]c&g]m_mI U(&کK͛svʼLlҒ4QQYIEJ&!Yw&sQ-Lmf V?׃njq8W:}:905m9 DL3#1E0iO}Pd)q< b <4oY;aMgl zؘcXv &l,c8Oj[-44 Z-b.j)*leB[в{O[R<H692"<$ԓ:ZKJ& q!yͳY{חsG"f kL^$-L6KFQ%}{!LI7xIԨDd }zl8Ig`6si(ɋByZ Ze{2CeK̕R24b['9/1 $6Z{^#M\WV]|np"Eu؉fZ<3ΡC>+x=]ͅ\-+^U͋A6 s8e8Eu$w UE'01~85= ꌡ:bjȪGZRbKE*/BaM!i9'Hj@Ig?OL}y2w_}g&w|4b[,:i"[~ՙ^ ɀm{ƿk}O#-~HGeĖv'>sCE߉rR^ KQo-),E؊~8%eWc*T 憿G`ٳ9z !.,ұ~_K7?"T{$t?ȄKnynSA|#:OJe^`lvbUz}bg*4{Dv%z{IfˡccG:)C:MbPRYrӾפ{9MlC%9W[+# pV0bh$480HFa(IR4 )Ϯh?_99SZ攃|G8f^Ilǧnx!_`I