SQLite format 3@  - .77{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 R  c]]ZF:threads=6elapsed=9.922cpu=34.800gc=2.200factor=3.517zXZִF! c ]ŗXf1-) enȈA T"%zav{D2 m ȔU9{mا? >͠"rj.}L9] !8ߩW(i $y>i YP 4!h|f : F)P_`%- >cھuAO5dUkLf 9@O»KՀC"$BȲ`;,ZK kSjn5mpQ_0J zToh[${.>Gr95I+ $ q]ۯxt  ZFzJbu4MP4mYA֎ (tt~3-֛lLm5mi^9yxBy6I(-8Ҕ`mhGWM,-G7)]S:g_*q]EhdKvX4|F h,dց#C=M>XY:.#ș8wL=Ŏ~[>cK3wO9 87.;@ckF9ԄӆaG\9 djnu\[l%8HK/ /R3nk"O.Lhg P JִY [0AψΉ$.DΚ x@CKqȎ"oMZMYnǶfS Hl+" >O{8Z< }X.( F ؙVp5UyekTtHY`[([+0L*U\_1W,j.`L 9) 2bߴB|tُJ%zj]R*;A9pQ *!FC~Yn00;|)be4"DS'ѓTdE0^.A hjxm"E+ؙ˧# ^]닠zN#ߠB{L9l&?$w;k̤,%A 87gIQsd yu{èsҤ yWx_s:ՆWϘRToZ"rTMe>h| Z7ý\hy @DPJJӪҍ‡jȋ- L EˁiChbsҍP:P@zϓt!MPSE+:!H#M E~=uNQiт~يRVTY&Hzx:bWVRPQ42{Z_.੷̉u9dnk-4L R1t1f491OH>֍?I2N Z\N./phc&-\/vs`4a[ЎAf-8$ZV}՝13:0Q].-kmCqEM"WTe{>\K[* iIR3> e7a3eٰܒ ʳ \+WeHa1_o~みv&;{  B*ⲉ_O/)k{skóoUR>pRlP:R_5c== ec_0L"884 9%QV| ED;>A}ؠ倷ߎG>!ڢa꼶GT6'7V iz\@uWW\B'.R6eMd{uR5՝ߒb?{:Uoraw2LWH=r㈢h8X9&X*m?ysa2qTk @E.N- $w{xh$7;Y]ft%%#Ɇnʳ|AP7b[N")_Bι'Rz1ch?u82yn6EdwNw)*Lmeɨdp yJ,ddiNpJ64Z<5kt;⇎0&ّԳ> <)cL Qz5%PxH|KA_~ΦTTs%,GN;ồgYZ7zXZִF! /?]ŗXi% MuW1\lP3{|-_xj(B^C9QC,}g÷@ДV€},#Tjv0=Q>O/+j(ۅ`67=SŹ\,tly!*mlPz~>܎ZPkү $Q~!ֿϠhf#4hQD(v+dn ^ NUd$)AlELEu^ LO 0o֌ɍ^ O-scݬ]A%r Jꅘt 79lL[I*6lE儢\2=. :ye8J8P %1aNrĂz67𷀩>i(GgxC<`NQZj E˞tnӋY4