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 # |  VectorSpace:threads=2elapsed=53.740cpu=98.924gc=3.576factor=1.847zXZִF # VectorSpace! ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T{q\Y@[F ~+I !4Zs.L 2L V$;;|FjŞKnaQԤ1ػ{ D=CrF><\&ȘG`fJK;ӧmSVNt!Ҝ0KG \C+s +:tմIUGU9հ A-qS2@rOy;f(*LH͂y:Ċ6ΛyHc@,Ꜧ7K?C$D!K0GY?8v'<h#spobB,NM6ZcB;)ܫ҉zC>O ־;W 'b[n O!3b:cvomJ[y1j~0gra/|&_&H[C|ʐpƂ"ݸ|*,dz|irW!#ßBGm;f~8cqzWRZMZU >:}|\aT MP1 /, Ͱ٣|ȶv+=ٷAx7{Bl. >*tF|X@ѢϛQdu< 1xGv[WV"X %ƚ%lKFs b-wRҼt:WCJثN;LX2:ڄ< 73?)~/(w"d\khH歃WA)5S^Ӝ٪PoT¬RDPE;IHN"s_v0vw-j]el(VaFFɩgp&JNp[*&S. fZo"tTfO1xK,[;DH ݊ M!T*\)ध SU(Ό#-q7̀w/88k#gMWG[i1C+ <0Be"{?qjaC8E㎚~x\Ȑ0nc*R .5B3tizU%\n^'JOi$Q91{ #vUi+;O>C{wS +nwGLB^]Gq9KYN pꑓ۠~4k7[*nk%ap)e nc "jR@=U(+qQ rɠ\Os4 !kC{V^*T7DzH^_0XȄEL$7F f$w=m!.n|.bPFb5o|%"n( УZ\'c#!6ilǯ7xQj7]}U#6ms~>HC2p^NE^\xVikΜb~4Ts[7Z䓐3%Tb `Jg,W_ UAw{hNip^}8k;D>BrbO\E6u(P)E#/U Tdr[F@x!X@M7-4DitP5RcɒTl&ŰDlsrVZAeLD0lQZ`Pz}TVPb+F1%[,.h*2&Y.ԡӀ-c**'Re(BhK[.sz޿< ڴE""Ub7V!i&-/LD2~Z^ (""%l BSeGae Sӄ4u u+7^$ Z6v+ \0Abbj](_1 h=*_CH?sY|@`ˬ ncJ_{?|t92[LyfX!w(K@LgM2m:;p8% B al2)?Zgg>}O-0֨R>JRHnR Jdۓ_讧b@d,w'm@=V"Y-2!ptěIR>kזUKr%X֫{xj};#{H- @VHX؞LH'(šheF YSmF(Y|ڶffxFt.Il%0Sˢ:|Yܨ ,ڸT*+ci$ug~QOXz'ŠJ29*۠K~ˆ%i&F1zxo:]䥫;pz#P?=NyTnoń2eG`Kڟ " ;W߫ow2nB. O"y6,PmV-NudzĆQ| Hq6/8 Vw[K/;O+@0]L1 A!a.Vet- =QVv)Iΐج PR8↯neB0ხgjfa?;1OV ;F*- 9L-ĽZfeTo ϑAGviiyBql+\R!6^ң/1"#궣7@jE!w;Ope×-A q(:|COB>0w8# ctDHk=jJ g*jg.lkR_Nk? #Y߷ -سRQI[Aн3yLJ,rff7R-W]WF;YRł[zZY˘:4w LeօZ }oEһ*'2-ɀ)TwO>ֶMbҷ@ e ~^?Oॕo/ ?P7ǬL]1ȍy YOUVSqMp1QKLH:ɫIg(EXXN3/ldk)Gć}Q`~ٹ[?.OA]F6*nb.Y>s;f]ҙx;0$s'WGwPO~K[@a M4:Xa` >M٫l 6ǹDoط0xc@%L͕"b}߹ 29>LJVPA$PH?[+9GNmZpt㤮,BV?FĘnLl0J E Yъu爎5]=ߡ_>1qzuCI Jvv2Ęk{Jm"~f:^A>!@#lE;]4 ͩri@yQ>>,hb"5ϻon}`ot\BF Z.h&^Ztqυ @w4.!eaY79#hzAUIYծ9"[l}*+mJ϶eVݐXC{YhF/ilηi|o1CJNסf^C3 YQ =̛Gyg!ܜ*0mJEDnU"m"MǠb:xD܋fWeuFPȒ$/wN) )bNg*-#84hBvVԠF6U}P5 [tkᨤajLI)| 0)^%;+RIJ+pu1qb->l-xICV*%A9e~Y\qSԌP b%XKVDpc/uEA!`@?˸T^I:';๣pB *$sMGRazb7VIl$OKcݬdbq=_DX!3\E@J6e^4ܯ"go&MJI7~ȶ@rR+羯z;}Er5'#_7Y[J.و"]/EKqʀ@<ʡ %9-[.X̷p-=&,())#30 ʜ#L[BY \ a`d4Ws,O[3gIý4+st_ZqJhpj(t4\՘FAcv" F2`FJ=lFYάK -***rqV:bL籤K(+LDD).˴0K񝹃Qdx*\ApmT b8 c'^+Q*IH-1[_]}Ui>#w.pꔡvL4U#U-{{szeuc} 8 vVx M2H_E+ Y胼1b!wDN4k{fjJ57kr֪{ 3VBpLݜWj0r\t25-T|]dtD63gYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d9697df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98