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 \74 ] Vickrey_Clarke_Groves:threads=2elapsed=118.046cpu=195.960gc=5.012factor=1.667zXZִF! K]ŗXf1-/6vR[7.r"&FD<%s>=A: s5>:n޲|&ɜpwǺ1A\Tx[ f| ' s`@ +$^w;{>*GkgӉ89tt%! :>CV/dEcw"v9SG',@A|ޗԙNB?tif@$)!5{ DF!A("`[*n4Q7Cy,>_%ᬀLܫiKxgfAHUę8T>jړ 6nӓI֕–'C jD4頂Ox䴒 @;IMUBt)zi]8T>ܳ[$6 ձ*c< Ґku7DVY:-ȼG2onKD-e.C'W#?iNT,y|9Z&Ȣ)0E Xi?nX+oWeJljSM Go}lqukmjfH ~W Fnv,X | bgYZ7zXZִF! 2:]ŗXi%60l÷٫v|HതK@+ ҭx1w,(/*+{Ei}/cG(2` >, ܕdڢ/mڗRԷ\$Nj_MNgLwG1_ qxѽL;+_?h(I$g꟰V(ԘLv~P. ,_7 6r״DUV4ݟe|qYCS݌'b7mdڑQ.i7xjZ5DpˤO=ݿI!0c x1z5U?om#}׺wR@\uӢ +h9ԳPldM{%4~ۢYef3U¡A0pɶ}}[dNj7Ӣ6ffjL53חf/qՓG9;akw^%30W@pmG#58_c;zG#%i_=";YD#t}#Vb AÎfkO5WQSږ\X{93g HPnegL /Uh/BA d^hkV.uo s<(D|y./E#%Sb@,fHSQvdg3xV=<6Zhn@C]In.Qb9.XUb`H,}d6C-rP܆JI>J) SA] D#!/%whhl5jTJXU233v4< rnba38#+rЕ(/?Nh*> k8k`IGs7.N})\' 9pl7 V 4v[WQE jvSsKBĆnmi>ay>_bs;g}rǭK)YЄ179D!ƞ%ɵh]E>t W|Mp/U=nv/kt==yrbMe+}ڤN2]9Jb2F%%4-I$h?SďyJZwXȅ#Рo87ښ5)D4DE"]P4vgPk\U<0FOsr?-8l[rU 8*MAAn{h\"%B*ށ2Kv,ԇ '6CkN?kmiIs&\SZgV\LZTXѫǨOj RDX ! Qx}#RE,4.$TJV:Aq5 7 O<գ'7H\UT">ʚ-C\ tgN# SÓHG(wdYuęmѥ)z/ ; }'Y(!I@JǡR,VO(h^Vģޟҩ<Rz2 i#`G,|sx2rt+L%+ϺiDwWI''jg}y͟f{_C4m fAɳHU mڴ V=M3yQ*><mQ 7 Vickrey_Clarke_GrovesGz tc1-.m@"&_@nσL8~t0aI뿞<#k9DrCȏD5 gNԈ ˪ې6yk^Z=[rC-$f}+竁J]&z!q+kON$.׿ERwȅz"aq hȠ<ԵGR(7^8f̊ް1e3LEU(,BVczaBZBnѺ+ A`F0ZGaX~{C2ٷ!yM4\`o^t ʪs]bc+f4ɍj֗W<04G%7x78,Ge9N5_\gMch«Ʊ\($ݸ!p+@ 0 jpMذ@6 N)i 6 {R(;ˡj [8s]0xhW.&{ɮ'UEq?_ 5<Jā,zא+ HVx9t).1 f'K"PL=Nl0#tyr]d0 N Umzqcy*j&(&l|o:銤'{͠Rq825cחNڀ,8ǩ; ʧ]RVj B"Q_ {{Ϧ9HB"dwo b`j0!0 G[{beeIەspb ϑFjG.p(F.YA}t^ |hbC aXdV|)U&kl~މcΆa&)%_i$hDl~o| Ϻaz5w,i-ߴ٪*v])sV@'G}NIv? w)Uy·F'O#"l&ʔE\Uwɷhջ o7X@*"1}m3M[9'e]d%\ }aκȽDd v?'ǖkbK. @vVHk.Z7}?X0ީvtw€:0m\7ɞ_(sp?Mrɡ4N6= 8 ԆL`ɨc TJBtƽ"7j*|r3P T~U/|9iV?J4ذUǤH.)#Sys)Z혔YG/fD eں*}>~TQt.-tdvDz0p҉@|OU٩>?H.8GNx.𓚹]f[gLPQ1֓L[vdi(D4񝿽e9Y . 2l5Zĵ\bzI捧 /IcJz(j[ A`< u]'v@W7 XVi3p3ymy `)`1*ֻy?q*.LP7b-+FHLۥwE`AUXK[q-#Bş K~z8Pp:YtP-8wx(Usm >oNcf2{Cjp=n6gG0B.i( Kۢr੊qx].Lo"?qeObNN]k?Sy }d 02Nf["^S  D@5]F֑SdKp4 IۣAm3P(JQbSĵ^J:2w-^J{8P d lJ^ƮU+#S@Vn ANZ#0$NQ3 w5q mw :‮ps )VT^f{IӞmW Zz iwkz57JM'86a"i+VĪ^n@Ew&ƪjߘX'uUvg܎0=|15)CT4-`ItcgYZ4f5eb9b4a0be294d43b5e88a9a7ff9ef1618959be3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d