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 7$t ] Vickrey_Clarke_Groves:threads=2elapsed=111.330cpu=184.720gc=4.860factor=1.667zXZִF! D]ŗXf1-/6vR[7.r"&FD<%s>=A: s5>:n޲|&ɜDB :d{tOq(*IB"g28.bfjh{z'Vviַ,n?7Ło'ȟuW$BbZ*Mbi gbPJo53n't>> nY D^C: gGS齒u0~ (֥'5>Ozg0:r5xn9/ŠwL(~Xi{xVpֵrik-%lu~t#[gck$%-'k'?PɥQLRҕp$D;@BtMY+StҠ]3`@=]@,ꎉyZJ4K♱Hjh 78dq@ SdIbaVFINNt;/9x)"&FWKP!rH") 2;}셖wJv79&{eO'BYęTPkF`P\v߂Ξ'ȧVp2'c@_;GLKR7 QgI0r FEH6(К[IT R +_a"(@\ๆKOU#Y>?ZQAcpH3no[?qyr0ݫE3銗 y!)Q"EL(dd%N?@G{ 8iӜQbC%/Bc'5-t`ՏlS>3+~Bhq}TLa` kǛ[j8숬AP^шuVyH]Pb1>92> T'ALF54-nӶmɭZD2+j-, }5& c:}np?DsÿL?#'P1$-.]7w~lUꁎagQ,ȍtYڴ6[':oF8qObfuqVqm,Nnmݺ}J Gǂa\BggS;"ѦٵS.CUs0^[1!ߤWH3hQx?+i0H~{z!SK*_;8E9vz($#< WR~s &8=8XmۇJCƼj} Smh1R[A c6ÜJ6TR@]f S.)1&ƷTKtJz٠s ЉMl7agYZ7zXZִF! E]ŗXiɟH$&۬J,A*{+H(qMEӖڭm|J7X)ְT;?OM^zզB5١hzY-ga2Pq*pbyZ:8J'H96JGE)qHݺM?jSeY&E9=Oti ̔lv k\JbgQB&q< TGUjuqN> 33_8xlB'2A䞮3 jV|s-!5i8 ȜnA%+N-{˃L^m< GUgYZ7zXZִF! 2r]ŗXi%qJCR#0|-;FDݞL.- #q!4Tz,ڽmA1Vgݜ.yQ[%{y]UӲU/~bД>0NO8.D3Kv;e.Dwa1|/wҤ#{&}ҺoZٓ#|}cpK0b VT)Ƹk~-_˞o5%}W-E.P*anXA#p LBUZMm_)?C|w ?ĺQk%ڂ X/$xUjL޲B^Gj|i,gI|(aE1h\dg)z˔tU_6`zX0o!;\ -*rh Eګo/وz76eMJ5wΧ^}.*D}j‚ 67i\bΆ+=[dfѶ !w`FZxXGIOJMScm%SMڳ?d!`$yDC |IM÷ = >ۚı/>(Tv0 \ e@v4&Kj[m(cET[{u76is#619GJUt1 0 n,x\(<\c lHlFGcDLu^wgʻvjtdIvBhNf "5V "J&"~ dm@!:Ipd'@DstOJ(XN9m,#Wm,)FV #Z9 ΉO4*kEh;4o)V*~q (vGoӱjwUA@Hv59#&r+0 /z𿏂5N'U+_6 &3w&$ c#f<8uG,Pbѻ 1>&Њٷ<3ݳmKR fCGm|5l,zu@1d|R܅Uwjftx+4l۠rB>;k<5ʚ[VTmV8osAi8x#M^~X\k7nI<H_"OSs*bk$. 3!sÓ=ϡ0?y!v 9#s/W#ƓE,`x\WVpdn BRtϗ'H:UN2 ,8U}C-oڻ`wZWw›Էi."aכ)cҢr$d+R,E W|Nܢ[ J] }aZ5O ,@y,T3I;IMaC_BnҾ elIxfU">j* #`U3,۰+:+>4_y2X7J<4a, OvK 3fPc^ʥhE?h?m5wk w)Vz񂖻)r8!Iqd8 nLx9)-;O"_w=tٯJҬ:8^7n--&>Ӣ\Sg ԱԖVPNh@AŹjeCgoK Hԋ<oVJl̩#NU5,{1c*gF1=+wƷRe83R/S}' 7 Vickrey_Clarke_Grovesm:x{&C6J@.F,ȓjL+M{֤wxyBw}_ApM"~^/$NCtҀ^lMyLp< MLnZon u bǎژ^3Om콳䜍uh@&U'cVfճ e,ӗB^3#$d/(I.k/4Bk&_zbC['0۹S)؂ l9>^RfaHʹf8F|ݙk) {W^,.syhMSnj|K(ln&svNj|ĔyI"%*,~<$Oe.}_B/oFlh+? !g"~IɼRrEӳuUeT( \T۴َm*٢IT*M؍h7\"7iHdIN. z[:n-fI.f3#to)7H%hY 7J5&2+ݶF( _NӃ$N|> ƥ;7),hjZPSQ*%Ijߏ8` wR*5}:跣5Kz|M=}XZ۸0n-x{ƽ Ə0p&mYڹI+]<Kq~$OvIMj91=Ĵitυ)͎j2(䑌C6X$~ ih}>:jSj B$FUL X`3#yFա8Y8 }[`p/V1FNszcFK2z܏#!)Vg/6<.FM32+wX<)bשּׁ׶>Ka|ݟiAVmj-#XEd3:F6x C MQIue +16C 'bеc Ҷ072<ѧh3^ _",yrqf~!te݄gnl"c:TW.h]14skfd!:yjjd9RG'>L/1lGe2X=//-H8^/Ng>\cTehnXA[Ǔ%{rPD%ә;$K! MKp{2t,1$8=*H?E5>Fl/VdVQaІdp!`ç$D _hv/+|KnH:- ~3m0'% :X0BN zۚC\" FNKJ@Ʋ " FG^#9_Q0mS8tup#Rt"^hMÈ<,ԎLhG1[ZPMCzN%޻ =5lzJ3mzQ3K"FB&,S$:$H,̕;Q6-cާGWO_Kl9,cvDM HS 6ee]&l(WM(j҆)g`&kz r34NHͷNhQ4/ n2k&B]X*Xq x9c?|iFt#Ֆz~ /|0L|Od@P1, V-8E{8n]tI!Mi.#C#×G ̬+ߡ|c(ZA5[eD"59pN4S 1蚊eO~*Ruߐ8>6L R C;RtއYNh"N z瞭̒W0HCB1QRdv)KRL`XE 6)kRRs ).byوvP:J\J^Mpd@vYpXg* t2Kg[4 :aǦ́;D n~{HŒ+uವc[O֣F5D:}<'7\  [Rp5JV􍘵g2Z7)&7\fYsAqngf;DF6s*֖ rq~ vRޘmt9M{#8h ,Lm YՅ.њȫ\M6c%Ya#@V\YhK~@xր5+=O?!aܢ4GE~ 5e@*"˔IvQ`9(8¶1 U-me0RYNlAr2yG$֖V)]k>sO~ns!5@t`(N&/bХHh(]D>] L2//m#K\Z\@J󃂺rJzYH]Ǟj/NW!k@lzQ#_K(Sͼ`92? B:tIq4+[5'Wgoe^{e1]Yh J0HIq2&ʓ}ݥlt5JomĸJR`mDM&󴌐Z !7X$=|Vz*?HH$4?ǃ>C·vwI٧^6=ZUOƗ8a