SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !!07D|  Vickrey_Clarke_Groves:threads=2elapsed=72.072cpu=136.636gc=3.964factor=1.907zXZִF! Ct]ŗXf1-/6vR[7.r"&FD<%s>=Rt!hkU}|n$%17?G  7 Vickrey_Clarke_Grovesq-"ù~O+k"KePRUpZRA\MKRB99Eᶱr/{1ju-GwlN"]8O`E;YgJЇe!2veoXOހx8dƬYR/k838GC6]Ntpqd*8j ;V2SN `Pct[K$96HtmɘIyWmDtH8H(5v9A [*py~DH!N.wŠ Z~'mF.E%HA&UrtTx4" аrA< Ԏ߾iL5*4G7nm>"5>'aL`7@S(1җ|tw{5~<7[n3t## 4w;p3;|uy!yR9vcHދ8WLER@Kk2ߴv/2eMsV`eSCĕ4T_$8Ȱ Zm|AR~qY/xVp38{1980e`QþSZYs=5< w&xNɥdz W-:/Py8 b,Vנ/S6 5Q4(P5<Na+)Yx.d*@7JDq;ӡPi8^I TV_}$@R8e蝸 r @ ?lUN:L݉cmg (RY&dɵ[8Mh62ȃq,zпqY+)q^ {6f ڌ{9"J~xV2Q3N M-dsHg&%(̾Ũw3ET[D$Shm$dd'4sPAwb>L)~S\Y*(Ɓe:#5{?%N|ʐQ)[3jA\Vm&OB6@C}\,m j–T :%Ѽ "RPe B,2*[R΍gWdNWkq(~ӑE4P|߆ƚt39F(M!`G8wA}=yF*$EI$ _[ z E0Ν:ţLqut_ln뼈 @SC2Q%RԊPDfYx ;!g0h!?uu,tFO 9@p]huE+5]1,P Fv>hXnh!$F]sS ΋ g%ru,ԪYeoeRnXfP0G@J 0:D~6;3F>3Z{9."rmOD<"NPH;Dq@vrf53 +)6=A*-{?s?R,q\r+>hC2^s-8pV,;(d2ڦ. 'p|#@S /PÊnZB"~7bkgpyMaXJ,敃c+Ҽ4qDE]p] N`տ )԰fAm:a2+TR<ΤA b2Ln. ('4$DO:!='mqa/;e1'ല&YתMj]s(Z"f()5@=9RxFn `%6d TaX%Spu.}z=FL˪B{`Q<&.I-<\B̻LBޡ77:D\C[n;"G7e+()xo E.h*YU6Y2$Ph0&+0Wk(3X ic^TT 9ſ+n4ys LtS{ѡXNd&JJFf18˾YݵenU%*~F5.8s0ށ).zA.U>akr02Jڋ<u85anFbMG*ôa>:63%a~oxmY=Npj]^YB0B} [ԁxiV˷]7q{ыbYksL,r?J0gv0 hbK.aJGvys!Rᎇ9h7]DڽQ].0Jbՠv|X8eY?e3w: W5 ˳+ w LM _S O|?M4]-h=`bT ƽf8sLVρC-Bx&86~)t_"32iyX)w4?wtV\#٘z/g2"; ωBP#@82dYQCmZz6`YEKB2e;x=osYI:ie.:E (=jDU:E+$Z`˂8y2Lmv̤0>?$-uSҎ :&l|j&ۆQ6hU`IZ2 NSd65!a1%,rXmqb {`hU[PX[LQv&iL߈u]+Tь"ƱBB4).Z1r'TGtiOTi٢b.KK]nC]HބFAЏza/sa%Ib/bWr| |p`1Lrr_DޤՋboe?bؾbN@]p/b/eC2eҟ]9# v$1Lz7dO@xErO{ssp3H…\ʒ0̆ _vL>`_ZZ`^5#F]x$:|q].gP}[Ej5K;^aCݍs(~z<: 5f}y *:bx.? ulfwD^ <>808ί?N|)3(ݙrIcH U$q7P-W)R}jбgYZ7zXZִF! ]v]ŗXi%DQ{eAkN>\ЁGa>MJg@xД)Zy_,,LM,(hHoBw6!bkEmoZ41QO vYd_ X>2 6C&ΥWw[#T `:O>}-(V y c;k֖S{aYZ47CSEi!.rꙂE2q ݊ 3ua{TpwN:Wy}`ܚH,;A6:ԝi؈nK5_gP n VD)hfut#]r}W It=֨]DYt6X qLCޗ6cJCTyx<%+A8#r!<a"u4yStp]b2~rdh.aAf˰{Lp~L+!ԁV5]GH/-LJJ և KrJ^UͰ>!, QXz sn_捱ka%gb0+ML Qҕe de #C2OgurRYq# y 砽/(7wT9j=Po|V'Md]'@3}1Q/[ 6k,FIX*3`Ù]LʨGPL:v9h̗8s{&i+b4azA|}©6N`XWzɜѿÐPw  Yuk2ivluF\rİ_XAhP8}qjiM|21P?ttV@PJH1O' ]k_d<>B*L駈3r%u/EY7|KQ5ajT"w ~fq\vZ7e`T JDJTfӯIHGdplMV 5Gl.а:Jr1Hÿ 둚A'ק4OElO ;뢂ޮ<3lru&tD;,u˪VӮ ܘAY%/ؓN 6$īx"}n^n'\*zQ[z@edN-q&F}df*L20G{=87$9&]N羭ٶゾw h<9 8: zUeئ+y]Bale=O$2*?Ze{$q4f HU%Qqi 88ZK!#D(P[k\|=e? GMfUVe!?Mh>H< m_:-w5rذkU:>jcxWۅK *A`w([g;hҀP^=Qk wmaJ|k:22ykS#I萡-Xjl^ԁ3EZNqDO64¼dMz> G4rndsC-(|ke^+q F V&k}eDnw<:Gr*6zRJ~>;<1n=7Op6@# SE"-p+5jc&O?kTTZ5몤ψ~#ڍ3,ʕ< tKM5ljx8AF8LUڟudzXL?#e5e_,( ؗ?ΏU8r2c#Mc4YCޚvH9i(|*;+KZ*rujej @Y4V xZ'q B_x-B*yV6p~*/5oКF'u G͙ n0JiU#C+[/LdU/~(b]+),/W~hB \2 f zߖ$WI<N*W8NkKFd{hYJ<_.XLakѽˡ_㸅,Q%&D ҇'X!*%PfVG)ߟijŹLqZ(nDy~%#N _v7*=o$c.,fH|7hf!䕝Q2~#XS:~.# Ta!?qp ]&^7dl?!٭¯˫y4!kF#@x`jcĵ|1C`2'u ]O}J<7iCc)0GL +U޳Ei ᚚr̸_ۮup rUE´h+`u^s]YE1TBtG_2hHVwk僈)(n@,U[B.wŻAP0J$TePejHjv#ϲ[uĆ^Lق@5z-Am9)Q·bAѡtkKh|"Zi6#|Bn&8 ܓW)_!ۗenKֆDݓ6 Slo/x̙21*ڲƁ!~]Y: 6[wu,ͩ^QVğe#,.NGnB hߌ%l @墊4#([23}6q./!?69v},+\W(G Nwj.Gg; ɬʱgYZ09a56a4c4a64772588092d2622a3f44f90355e11 104701e0b8170de33ceff5b84a3a1cd18d6c8cd3 153f37b66549b8770019703027fdd197a8970fc1 1ae56a5039e03d41834099610012cca5afce0f4c 5b6a0423a233b3ff23f6312247aad859ff59dfc7 649a7e4dcf0db653d29c8dd3450715e7b7d101d8 79a31ce21aa5095095da096bcee11995d05a50c3 8ae3e8a2636d5abf8509cf07e9ab2959c18e0f17 a5632cb34a80e685f4660c34baab8d9356834a0d bbca03a883fadd20a426f4b3d7c73ab81cacecbd cf76834a34a9c40441bded842c03859ea0ebdb2e d42fbcf83a8eb98f539a52c034c529e080213ca8 e5835bf6362eefa613c07394edb18d0d7996a922 f1b8a05db98e0cd088b94b172d8eb57e9f2e55987df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f