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 z7|$d ] Vickrey_Clarke_Groves:threads=2elapsed=110.739cpu=183.752gc=4.596factor=1.667zXZִF! F]ŗXf1-/6vR[7.r"&FD<%s>= Ήpz?Mo@SsQ÷'3mޕnXᙡgzrw& 'Z(ѩ!I삏nÝCe Tʐ3!3,!kǤlEmL"]emg"3K`LRmɒKaѫX~6yL<軆W!qm$Sjh$M$;& uvT=X <XF 斈nI>'V(8 64h/3ro + ꔙXI|ʆGO|kNNGP~o/HucuI_KxI8[r`y93KV;c n\;SK7sqGzaa?BF:FA% ݾQlïjAf@,bwjaݓO3ّaM>*FU㇓N >z:ા4uVQl<׹s"Ⱦ@Nj~{/ %!y7AGLwz 8A>j^zPh)PdwYw2ۼUn͍eX8̠L}a BO +{gU`5":@ۈr:my+?v u\¯bm0Dqo G;7g10jQCG`Hkm3mgj~FpXA-vRaV:2,ٻ9y~7#=B(XhF/8SZ) ޑGpe9jKG=%4dWH &EHL֓4j*hYS{Y;D8SP+k]N"ˇ3Tas7zg'W8-WEJY+ؘ73hD.ԾsoVhH+y<(Ap )mՍ#iTꩣ S_tmBbk((t z:$IFp;Z^:pojGFˈ{͚r6 +j+t֋AnR I ڄN+)&zP1F[M~qlN78%\\w-hE6j07;9S:)g-`#\} G[ aJ16%82B;Yua7cC =tM  /{/=P521D}Cdϧ5@r>?Ҷ Q2gYZ7zXZִF! *]ŗXi%9#n>M\*+{A55|`7{҄N :|Z&%Ƽ5tn; bOb ZUdb]yEt@z,G?R(D+Fnʸ9vxI E@ҷ)Ao,XM?*;BٹMxoα+'09+OR7m5~nҝSCNLX=WSЀ{/p2Ͼ&xXӢ+(6<غ%Eh [5C1;^-MX1t\͟6Hc7'}yȄucE~## Z^˓0Ƴi# ՄtZPT~x c&8e^[hsNlvZ+ƞ(8'Mgى?B`FqU1͚+{ + KCag>X!.~~_$NrcBIIHNǃE 4†ۣs%=&ŵτU4Rtq ˇ2,˨@є;š0ѣb._5&͗0 oG=mIO7 +jWÌ}jU_|Eh.GvYwibqs:ُ}kLYfWȅ"yLE^{w݉fzHL Fړ d^Obv򻣈]_ؐNL",Azbf)#R72r$KgO;0#,Lc׫Nq/DdY@M(O{jHs:eVɗ]k V!UHN28ł,N&Ji>\>c sceKyY4&4ܳ/f>`>>70w*:uѮb<ZHefB I?`ܕ^SܸνUnKo倻hҙ|ΔHI)Qd(}X_Hi$A6&子A_HchU=CA4 T2/XaStW>]/5â8]tFU.w QS00aq9joO:B%0 7 Vickrey_Clarke_GrovesrsKLqi$Vq<䥍ˎՙ̊9BvⲖ=VSH2}(4mޥ ð0gJzoL+Š"zͰn ^N9Ї?똾+sدfx86g6 \=$Awa|e1~n1fRWr]>(|DpimGS䌲`xa>3z'M |.u$1YvA"u4GP-9VIәvusaO%.T|]6.e]~%LimsMji>ؙOR$UD= wI/_d$?o?;aj)M'^?UI3hU=[ o=Em\ Y+ ut _*cS](uD,u7f_#5:ǃ2dgΧ$镒ddAUYMp|Xϣhܺ> E(7~' iVW{5"""Bpf1)Ca^#OVfkjpT4;d[Uٚ=?C >K幮nKV;B 8e>/^>Xz@GMՍՎ97-BWwߛ3Ejk6J8f/y[(eGn_TA&E RCWLգZn렗&\4FEFW9߼5!8dO}PkP6AGGM]mojyN9H4de)EUa1Ztthk&ˬvYqI=Cw{C|N) ɞ_:]ԥܦڲ&5.eRL41̭.R`dvȳb( &3: *8$ Sr\ONlkacNA!-7_#TuYuDZ ("[8GPDJa8fr3a=)F Jw!\TMjkxFm+{6:N݆ԡs,z>ҘuU/\U_ 14eL\?o<%_yƃnN!ZNjX,(ղ;,7RJu+qjJz2HAhahu% "bGA]jꞜ+%߭@(Jxɯ̪vg1$v`j T{{ib|VDre>:|0]2^Z )0ET8ߊh(gGDwMA䁟cEpTMr$GFb5LTfHN`E?ǚ[lm^e8M{aEdΞg̈́nJ-7w>"f5.<:h>Dhhemx1o\EY{{Υ@^;z?$jz+Mғ16lK!wG߯'Q1)ru])A"[3Ϛp7<1)brTW hneP$cib1\$yF$**&%f/g3y 7ed&wb&< uyEf&B{Uã)i6ih qSkde" Ӛ^%HM.uL YYؚUXGCJghCֶ;;!!B(R)~@Deb/y9l:Լ U5~J#V*̆ՖcctMQ)H:;ZDpLfd!ñu#{;trR~~EMI¤8x{[x4^]܈j~(bPsz_j*o;dp,Ù+VR@:ւB ^cy9q"uaaOF*a"% ,El;|gYZ5199c670f5c2508ac59758c352593d56070dc5548ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c