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  M M$7,T + Vickrey_Clarke_Groves:threads=2elapsed=128.279cpu=214.256gc=5.516factor=1.677zXZִF! Li]ŗXf1-/6vR[7.r"&FD<%s>= Ήpz?Mo@SsQ÷'3mޕnXᙡgzrw& H9ͩ r:R}@`Y^_9I]jvB(KsGn[EB_J>P&xTyItϢ4:*\}^)B`)?L/ EG?&O@hsWosCQ,p- \wr%.݆H1@1qfEmz_|O+z`=V2 Y{E.'cpYN5i!e%tqs:nvk&!jp{fDcTHF61?OEʞCpj79HÞv ;q1!N\[ )x 83XEB < dBu'"t;-P@D7Ik$9aΣm aUQ8CC*nyVU/gzLG`ٗHXCҶ 7 Vickrey_Clarke_GrovesP&X1bX*hUTl^tt]N߶}PޢuwV2`D\ڿ2qCcskZK2`tkEH5# DIxSb=*Y919y^[W.Ih7n(׾:~sjtih5 wz 5hcfGP"%:2 k|p5*Jv~GYO*j~ k"Z XL<^Zvuc.K )YT y%8d=_LhDޮRw_EJC!ӗHЅ8dH4`ogqhp V2wkLX)8{0D~vX"e %/G,8ރKMRմhHz5jqbn@xm, {IU9eNxvZ2 ,ٚ8'&ti',&vJ`0 Xٷ/),aJ1u\jܫD O6j'pac|ί^@2*h-}n\\>Ft qJ典7-X8ս1߹6W6B6(0J՝DmvGʕ2x4R5GfM@HH#XV OvHhRU+&njj=˽l{ o1~yFfM˗ *hzף0H3-1_ڰf ;] *yUl//Z'3K|;Bȼʱ^л9K>!) l3!=I.r)=a'f@4񯿓3( 3T }9液̯]̮dr"{liUgDD)LlKGPt~rkKio`e Lz,7Bn1[Cv븻FZ.iF! Xq DR%@2ߧS@/x{C9\A5IDnQu0: ୀߧCnK# %$6Z_[-=|^Sm!eT("ýHC]#e~/P}Ig3N_$ G](rUow mKS޻9e"y͞(;L]C l T e.&`rx{]˺~SIhI&I6Źz$wcQ uGJč& *=bLZa Jo&6յY6TK7bDf\Zii pT[> i?9g$WRTsMf]1soNs12]+rAi=+]2D !YeݯL \ gD |Lh>tX1&YmޅbY|' ɾR*dr:HrWkR궵ɝr xhڛkX43mmk:Y$7FD<"5Sqcț@\)<>) P|.*K@񠋶^uĿIFVQմ=&id8ꬺ8dYҎzLح}~dBoj5Ӟ iwضn2{GfmU-iSYqOuWtLqFU !pՏsA]K6:4`ɱC( ѧS4Xp0ד" ҃J%7NKS/3Ƨ[OH'Jb2aIu$l~',Aۡ}Vy}/"vhQh_? sFgzOdr Jy%Nv۝A@eZޙT*u c ;8hGh T7һ P\򙯵w@s:'@)v"Bc9h=c,y%mB:|OțUl\JzMho؉ۣ-]̈xo=LEr ت2pY&Njbc!)]KN*:9:VY/Go//>0-lVc@ࣕW^rI)Eܪ+6NG}T:A+V Hwk*Aw]fkL!,MW/G~ n/ tcch?,$22;pۻ*2OAqXg2|"jCL&"B!+c[@sDլ&J)-үw*l@-x\5p I9ATOi^ NhzǸz "@#UXjSOB}4C:_սFK ܰ4B t9l gcN]`)%MM!2Rk͜L-ȏ )j%Γ&0>T~[nO0#`VlAFm9>C~8ÐT}DFF8#\N܂{<ɊO{3u^G`r\w﫢ci/~K \mV;0H, 2xJ\R+<4w`pL_S}GQQ +n>t2I\')=B +E":5]+}W֖tܵ$VJ=E]bkhwAG'"+7>רy]ݤr?rԖR?LUx*hIxjhշ*Kvf><鉇c .?,SV*vYv3Bٜ6Nk  ѸӬU/夺:K]] ^ӑj ܺi*.A>Cl&떠]pWʻ[j,b NJ5"DCWub@JiNB5N9ZS!,Ol8ҹ l L -!Aڵr$e]$ Tó8]Tܔs\*=u[)Z.uۤm`&녧K']>so$+3TD ]Sxh`be %4W\=ـzmsjXuX*Ȇf{I a,ovcA(oxJCO1!x#U+YWMq_(Cٙ-@4oYSC1gNw6ƧU {o2TـQFZڲ_\)<8?d hޅlEtv'm>1U"[a 4o݇#sbmvat*#mzc[ y޾0N񄤱[ՍwM^U|hP::]S쵦ʨ:˺Ji#2t*9p]I<3t[cۗp`\P/V3y¥*<}$;SH89~W9 n-N%N4.;<ƄA٘}ot55 b[gauF I[YMa5Brus sj6Xi3h}FMu쿌%e\i4J0پ>~$.=Ceja6V3'qzM"9s" \HfI4 mF-x=kaF) m}\-&0b嶄E: .g.xA.GL#{'&=Pt+/FKS}^.O,62#0'x^+JHم:.?m Y5!5- ݀_|Ցg|T͜,y?Y8"LjU^ 0NJպFXRɫ6+pb$Yk9'syYm'Kĭ#!Wؙb\ޙrF-^JC]چ`?&\Wǃ]Kk bξSC͆?tiXe}gd0_dAeCr~fEeN܍c8:MK_zZ|Cxn:O?}Jtqb'ΰOSyZ9ogzruS=8b:h{ɾ{ЙOJV%3h^X*gF8l6ٛ҅ ϽMLs []RyLgloA:HG0^jH%:W_~FMF5GG+ZVIz!ED8fM}fU" 锞F3jwuxs؄%đ,:T**hXĭU#(wY#1thATPJ;V%pNvO|KӻD%L )"!IymL׈L嘜!4}#3^Q 0ZmY9s1 fF[Il+˕%zԖfcQ:}0Pr!qhc(e4|i h\ ;g\6DZ#TFyǖ^/L1 ɱgYZ09a56a4c4a64772588092d2622a3f44f90355e11 104701e0b8170de33ceff5b84a3a1cd18d6c8cd3 1ae56a5039e03d41834099610012cca5afce0f4c 1ca4d5b77e29a1cf8a8aed79b6a493ba7db73c2f 364542bf3713aed24ff20724ed545dd4b95cd215 518620b683ccf5eedbdf8370e613029d8bd51ddd 649a7e4dcf0db653d29c8dd3450715e7b7d101d8 663f375206544d3eac3e8ee96e76afccb5dbb6e1 9f79f69765d9d3b508a83feb69b4949254d847a3 b810e72d9eeebe5eea939f4d6f5373c68e720d78 bbca03a883fadd20a426f4b3d7c73ab81cacecbd cf76834a34a9c40441bded842c03859ea0ebdb2e d42fbcf83a8eb98f539a52c034c529e080213ca8 d5b64fa054ca8ccc27a152e231927d824c8ac45e fb12862744b1e685e229768c02603b2f3f491bb6 ff2e3c58a670d3a8854e2f2752c7139c764e0e9f238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3