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 ;;:744 ] Vickrey_Clarke_Groves:threads=2elapsed=110.667cpu=184.888gc=4.948factor=1.677zXZִF! E]ŗXf1-/6vR[7.r"&FD<%s>= Ήpz?Mo@SsQ÷'3mޕnXᙡgzrw& *d_7 CM,[ff-gT)YMlʋB#+u(,;Sßo#=@\iשDz0_Fc7W OSAs;|)o\lk}w3*)V螺˹f_9 X%|+fd6I$ũTY4>'zWgW.Ai Jc$!fIH]Kji,8D~U|{/[)O,æc vM}IVH).y HTDr"?6CT\!07~PO6q}@? <`4lEQ?;1s} ƥN> ϑ)/Ww;>䎦lV)a dbU&q7+KcN> P8d˗ 6x灚˰kh:& lƄl A&eBPj.5cWᚴǃK~IݤKksofH"> 2k9!j ~.XjA}и/WEWz4cw^yM5]G`tb gQn=b1U,z?GBn7ضQ3V!:g[\&H[Vf/1mn"(OᬌD7KUioQ( ɊM<9X:N`R;OvIN ϭOEց;6I;tRdXײeȯ8\:{1E:)R$+B-QY-u jFT[j1@{99@\9HEڍBxj p"6YvTGPąwNxV}tYE!qtatX,T= ;)T{=[fY `5gYZ7zXZִF! H]ŗXiɟH$&۬J,A*{+H(qMEӖڭm\C/u?xj_]%nC߁O[spRimH5׏4-T1lLwf#qC>YْSAw+d]Jn$#j6N?~M#b_;7iU\M:T~,pԧqN.݁>pK\JJbŭeUcźI3x[R756b kgYZ7zXZִF! ]ŗXi%Ϡjӓ4|d=n._=<~| EhO6fZ\A_.+^#dBMtX{v8//Hˆld>g LPU{4uNYpCթ#z.YM0x^_MFs@dp#ܟ8,ų$',1O6Zɗ5U ؇U%v"^xE3,JoHgUUjJ w]#NA6}ĆH71d,R=( EFjˠ.xL<i^ @fȶ_:vޠE: 6e s3+:`~Z| }; c0qխ|>DQ_HM=/ -IQn\%}ҙFP1[3R3YRٹ ;kmN:=0<~"svaE9 ]W~~4uL6YMeMy@9m™$<᩿'L?TZ"A]^ZΤ~m.tP LVB~"AH{F84AOI']'x6$8苌NoDj^rL/r_^gkY x54|j:_;FrOĝf'ka١>yt`l`P g V*S%BJ:dYR1 v:تwJ͐ٳy({rLjcZ*/8Q ù8 9|3 P<) Q\6{3nMM6k-52s\fzaVyVv´]nWTy@ sjwPtAI=bH_xV.t (g8gXm"?nQ X-} ibe v,h.Aj_}c&IX:՗SZRΚur{ Of( pBŸ\Xu иN,'lZ R@R|;L)f> o!) HDJ%q?4cƽB0q_ V o.'S:XU_>ԾKs.fGV2!!NEzbi4Dp[|8cXȊQR0 7 Vickrey_Clarke_Groves&6}rȣ1b;hY(Q (GE:7;X.EDD(,RhI)}iZ&٦َNIy.Ȥ Y ;?C<^'!!Ik/uC$B(,]@ROvK05ke?x`wq@;z8cX..(Uf_;^Dlݲ3`wՋLb1;Z@>)Fw_9d(۪Wn˸{q6Cx^qwvJf2 K?v7_`V<0? zC 60yY;;Mo[:|k,A\>_"r-d.DװUt qT ,k:(a`$ K\#.7%iٸE,x$X&Nb8$G`,cfT)ZuAxb$=L` ?=SfT2PH ޝP`I ldGA]O($M0-}5; hͶmVb:k0dz|ZiH3_1u#]:(͈ fP۾wR'TSMq$g*a뾿XMP4$ Y4åqM<&И]kKr앗435WX3%>`tYAV&l 鐁rV(Ţu/9ɫ1a[TL`Pҿr,EZt&~|Jm\ZJȥ{X \Jʶ[SŪgLA_4$9<ݵC &w*vzrIHzvz9]zcPYX3A{ ci<:I߆xofQ,3.. 4Q@ٹxm^kI.pM1r|$xFܑo~0{0ORxVkXh]jQO09~A*'͵7V6UZ"둌ӻ(U_q_cofF |7NcEZ$)8ȜzDOc9"p#Xʃk{Rh~̊1?^1-OOc1#,d<!*־8¼}$sf+e$I.z Q\-j~- ŁFpYt>Ɏ<:Ո B&u%9gV̕0&7# ?#ı/ʀ2.o&΂(Mj\8kaֽ_Σ" -޽; SbiW<%hކ_)߄ XEhZ|- I.[=ˣ7I/ +7^'x6HMԖbN|=؎Eg~U0j⟲sdpCvP 6xZMUs;aq^;I[mjrZt#Xea >єW^TvN{aJ2olt/1+D-A0ÿuҿ. <b liIJW|S@I C옡CV5g7K]lXKlEmAhx;yERṊw|(QXf(Y1)"{Os;G zOZ gr~gA-RCUd).9ȕ#;m:xIWEl:7&0ᖘ.~0-EͦhiR$ڌU`=bBJ1壾&۲矄ﭬRHwbrf _}}ra"[ma78ټ t%S3:7YϐX[8]' $B CPGWa,=[u i\s$Yee?џө y~=]#:0/WCEglE$4MDexaT;Ue6Rnk32 [+*6MWH DX~9+ -sFhC w[ m' l LNJ*ЗW> f&6ڂ6bbԱTqϬTwRHX+cݥWq ĎӁ4a;7y@ꀎ[!%7`压O0օ0QNsL"|I^SΒ͟ p.2_%nucMz+3A-lHWmo9(K 2 1CW-4P>|>]|c?`Ç ¼H0rE-ډ NETUPԄO e4i_[6sOUi ?n}IuѰ0J6k?ֵ$g ozL% XU p+MX>+S([tOI%>pRר:v#*Cʀ|34urp%/Nˤ^,SσJ*j&D+ 90 ll,AAi M5's3Ȭ@VGYE[Q]UAZQg}znilJ"!dݏx]jZ˻*7\BugBy\L#L"cKUۡy䷿/rm Tɺn<n:i95{**f $àlŎ@$aO ږJbI硰N2P"k -b@2 E4`QN:P]-OIPf.[K4'v/@0")\I2̖j:*^kxPx{qv]&Zh܉Zt Cv-I{zb~?dLfXvH^@bq-w € TRRph@92!#s dw; 0]mB:JNCxK J!N{\74 =k7dB`̟uSg%ݠՃ@K lKNGռ/q̎ЕLI݃_bOM1(Myih;=xD$W~<4B~7JN/ern ]P\V(7vNGe5