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 cc7$| ] Vickrey_Clarke_Groves:threads=2elapsed=113.527cpu=188.028gc=4.932factor=1.667zXZִF! F]ŗXf1-/6vR[7.r"&FD<%s>=A: s5>:n޲|&ɜrru1%1A\7h4RݛS팝>_('Yp~X[q%)߼io|Z0X ziR b$DX1$(4zw'|rx)9)B0RBb\Z'I7QlGԥ"Ŀs9hu]M]qq$dzAhc55yR*1K g> xSAB*m1 }HrhM 9uGMp1%U?ׯ\$LJnL42ʝG"T2bM b!ɴzvYKEn~j 7Z./rG͠fWl~C=_j |zNߥ]7 L ްcCsBlnJ:Ht9,/)вP9_ {J³BjҼMyW-r)4%FcZ}\T 4>e _0 nDڝ"2Cs ^o[/ak3$xJKc؆F^k"]CQd4 7B53+_!3(e3!]+};N!^h9Gjhl8oͧ,Doܒy:a{rqUBH x^b놜+j0a`Y(#ycy:o=cIQ "|иm$f7KAim0ڜ@[_^s$mwyj_ɛV0 .Adܻ]7] ii?07u  42&L1R<8@Nz,$h58`#X1}7FƄ:gWg8/~@%A^>#{ZhL9 ;Ѱu9Ff1GGAmcq'H6A+ Gbk(dg}R!jQ8`L\քrO V3vGpD]s75=LUQT~d<{bxG,)W;zI(M1H;.MOd/Y)@$i%n;Z%1yתi_Jr:V[ 6[d0EROC#=Bg=nv>Ƴi Hݨ&mذT#̓?omIDS Oh2R:tNZl%՗QxX{'KefWp͑BBD]3%< ) bgYZ7zXZִF! &M]ŗXi%ή+'FAw[-[kO2]$9xo{řbԁ)d-8Y˟D JU4NɈ4|~0z;QJ7Z s1rs;BJAXo+ǒjhtPQ>Q0"KPu c5T8hD4Ð?n*C 3BL&JF)mĖ<9%YAU/W[Ll"ծgZ圦7i ~([tQY?Pmw8Kq؉eg1u%gvȫ5[2P4+(2|0k} 'I^bA@jlmsرj#\%(iHJ%#)rXT2P֜l_QrL"ijF uqwTB},UOxmqM%nnEЁR05%tǸ@8܂1 6AGY8E ZC,R- T# w`Vx9Z(٢J BGcuAӗƙ0y6Mp\Y{M*anA\XseaU4ֺC `n}䎑7C ޸JׄO[;X7PV]2**z5M{!,$m?S@Hb)&M!Cװ@`%G++KOcʕɢ).2]O $XᗭArslrWJ).BbȈ˶ J&#Hu>Wj 'eZ#g-C[?;R-&GCK} s1@3krk[r*goňBײ @Wwf, Ms%ȉú!yp6\F }`տ,8vDd[jKÙ9Ew"?&ۂ4YGF/á\~YJ0B`Wa5Y惕HT*!"ve\1KindTOSLr1 ~m4>c,В6X#k<9FǍ@*պ_tG$@'%2W oS 7 Vickrey_Clarke_GrovesQg2ai/^} Nv5S-i0qlF@Y2hm -wUR)@ν6IJ4:%R%c[F["1nQOneukfO)t6y,E2'Fݗh%wU_g|@txfޟ;BcB25Kz1vVj=)C%^4WsDOEn)Wo.b_s73t<͔?Ά ԥJ/h-zf| 97hK9+] 6Fa7@j8ѫM`'Y)+!WEuXh?ي1Z&N?N\吓;Zˌ>uIl 4<*^ja]xKiIMr=k?{XuBcs;4zlHՊu2Zn#:ĎHx ^(~̣yjbM%0tj$R5V_FT QW>2r+bF* 퍩t3ޫ{-7x\|ܴ{" SܱtTʤwZ;VՑQEŰ{ȗ됤`͕5 .)qYe+ 6 3)V@MGsϕ<#̗xb0|S8 :{~: 'IW<WoԡKc&.V eS֓GLߦs&N=Q$y3t):w QV$}m©L]"8t70{ED7l/zk(`hhsJ2^ AiX:¹$%Z)F-P.fp-w SqE <#:$LG~c,emP &M .rc! *"Äp7L0]\[VqwӦ'z0Jy,=%6b/C$\b n؞b/Tԉ%!HU/8ˊ I13+$.`tؼ8?U-#x?'GV8B3IkM`m}<~|%z;b x,8->c !@'0,Ò1(ZEx- #W(B3/4a6R?BŰ 'M~@\&U9-&u+q]P=X :g<6 0jbŒJ"j2%ux䗷ck7^+]i//R[,:K #VI-]=h)BufD?5^^L#C,+'9v=("SqЌ"/7 Z֞tcVG~˭m@I O'=xhMEp.}SU4k7uʄPݤ,1XZfU4YF4kWA*k3qe=pOdKIM$ē};_hz?X1_ _ d=eH֟ƀeˡ[c!ÁS%uBv3aBA˳F?XP[sfӝpvЍ(^7wB@)xCn)w`^2`~Ɛ,':ȀuiQi|R#\4HR,5 :i*ejLA#JezbO;ZHpB#(&ݻwU铉ƐiJ1wEsltBѷR?0?O,c7O>X+7V{3VN(ze~⽲,yOZ'Z;*R,WO]UyQ ݼ7@|F$UW/f-בIf Ŗ"Yb peQe@ ߴYVRtVS>ǟ4%R$KoLPU^vI=8lf~fF i< iͷ8kn2rG<Sl.5]WpJ;@\;w.迮큶bb 3}TxGll8Ps/?X>J^8%sNb"!6[xG0{mqցidCtoqZo#yk m R:[ UɄɝeX5P9E~/y!pg_4v]@ CWnjH槑o_`q>py`%VENKVLqW1ּ:8%M@b恍iݔKve+ ;)++'lhw:`֣W״ BEyЪn1Ӗi>Ieƃx53zi(+r9{(e}axgDš4yMlo; ]8^74z9;<ʵHd{a/ 22_T4˒"\y=D1P ^%YfYJƱ{,jr$dFire5FtI;2Tѱ"v{z,=TTM\t<ŗ*3U~@"ͷyi