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 (7,\ + Vickrey_Clarke_Groves:threads=2elapsed=118.543cpu=199.396gc=5.236factor=1.687zXZִF! J\ ]ŗXf1-/6vR[7.r"&FD<%s>=Rt!hkU}|n$%17?G q-"G@6E:>"!-TŹ`TW jJ - ކZA!FwYr]|r>5 \uK)JfNDE|{]K=x?J_uakEIP^7%9z]Mv۴(jX5ؽEr;LUK۷ݨӉL}nnflk!)s*ka%!g/+7Ye 7 Vickrey_Clarke_GrovesP,Sm"q(ݒ@.#C]7:\H4/ - ra˛;TmoE 4Ot9K _Ś,C0L8NO%ľm˷v+c@Mi25hgZ_Zc2/B 936yFhcD|T 2wa:6`am{A(U-#뼜Rgs(u1C?ʍ:&UWH7N8ÍX@W*FZo0Qlh!vBgֻ@!e8i#9P6Yezǵ#&Dl"ϦaxLIJJg;Z;O~-K}=X2:E[OX jMlzxyy*!H1\z5,N$g{RuY.xIB\Y]7Yзdb0agU JQyn5XD`!|UcʲEFNlWL01h;jF8:c(}D&~j~ k&5|%hƀaK8j{#e~Ʒ/1 AE+eѠ Yc;p}7;jSLyl`rϠdeiG MGϚ!¨ 0Q >3׵ ]RwOm xRI #ܘ\Ds[Rk86E p1E(FvfJ`}cZld𹱈ǜEHXE^z4 Óy&> u>v к cu6L$(tWD|fr`v B2;3$.L= rs^'Hߞ+>:¤ҹbtmy,@ lbQպpՐ:^f/%&NҢLM8aUZ~`M?f@лyH,E$WeeGX+*Qj +4QT|RyhFUT#>e?R҂PTj&T9ڒe@jnn¹%KJc9.&4Zn}]whWXĸQCN}5SV.OY*v~k+% M_,?MoC4.kض{R7e҂яdrD?-Jnr\ Hlnd2r(/vf8\Tw( KTzl TP-0s9-Q]R*$ e P=\.䦻qR 0zώ_9tI+*6q@T?3Z9 '^b+뢏f4je,߼^#$Jιe;CX&#yCQ誐?1V^'l]ޱ^{vo6Jֳqm{P\L=όtRΚP tK1hL ӘH*+jY,0媢؀T`X(1hشUPЃE 0[+,)' #Ohu ҆W6UnƢIbfOR}=U<ɠ۫'[yOŗ{){q8KNK(71iDx~j #.sLRNcq9 38\4î_~s5بgV.Oe)SF5DɌ~BD'eD~N봐lw5;˄?3m1[byĵ-A=Ak=Dphx6jhF/sFD7qݛ. !L (v/_ nTZ{NJ]YPJ2|&ۚ,\[yԟ4Aŵ me*Hxv俈>Ai)d-VQҸL wDsYta2 ؉FQt; 8D0Laux][}ZvAqgh7f(۔,MXh 827J"ppBT%%֊ u{9B(n -0v|7em![ nlq\:"ȏmX6Tڮ_I5m7ĥ?ڿxG2kL(%;wɪ"wo[|IXC8ƫ [¹ *f[o5`R"qNk'IL=R b3ckq9b[ќ-Y7+U䳽1~ҋb )v ~4F*,zjbO䋧^{f-9: ?NXRd)z'3D5򭝪(YzJ5U|t6W~M-9;Z/EF^>/1m~.Т)21u_SJDtoKr%\K2CE-p'Z BuCa\V}bUU-A;Q?SءVtQ+!_?1o81fA^;!Xk/͔QN??_=pZc@E 7svQ^d冷?@1&QF/Lr{W cg8S7{#.Wv3+x9}P խ+7"+'A,oGꈧƾ}^^U*mrfai♼̢"@R@d0tcjF=?Ҙ2Ŭ "4}|+nVT6@l!>/@f% )'9=DNF$0,Z҂ZW$=4f]/>='3xa0m|jL (>f <!(?Tqc)RdT|̦luGjhx!t4^7G dw^ْ8gL*xSM^H]|*Gݥ( m:5 c*N>n Qq>"4%{JaHJѺfMCUJ9 1?g5w "%&)@-j*W;In. : <tVPw8=SwhNr'Z%qPɼSxu?-  TM7MfQU,nT_(.R֛ugYZ09a56a4c4a64772588092d2622a3f44f90355e11 104701e0b8170de33ceff5b84a3a1cd18d6c8cd3 1ae56a5039e03d41834099610012cca5afce0f4c 518620b683ccf5eedbdf8370e613029d8bd51ddd 5b6a0423a233b3ff23f6312247aad859ff59dfc7 649a7e4dcf0db653d29c8dd3450715e7b7d101d8 79a31ce21aa5095095da096bcee11995d05a50c3 8ae3e8a2636d5abf8509cf07e9ab2959c18e0f17 98fe36493d38fdfc0bf0b80c00c79f7df5df3e52 9f79f69765d9d3b508a83feb69b4949254d847a3 a5632cb34a80e685f4660c34baab8d9356834a0d bbca03a883fadd20a426f4b3d7c73ab81cacecbd cf76834a34a9c40441bded842c03859ea0ebdb2e d42fbcf83a8eb98f539a52c034c529e080213ca8 e5835bf6362eefa613c07394edb18d0d7996a922 f1b8a05db98e0cd088b94b172d8eb57e9f2e55980ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382