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 //63 , m% Residuated_Lattices:threads=2elapsed=31.323cpu=55.888gc=1.840factor=1.787zXZִF! ]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(a޵)ے7#S{r;=co'bp;AK<ӼQYtƲ󅅆9=2GBb[[óh. iOJaI)oNK`,؛3ێ pD$bp}6~>1ӛs}(Uhz=BqdLpajD-Ų'0ԳnlŤxS#6GPQ)lpŬ!5*u\Z`GהsW0>¬NOv 1L#_ϭ'ՉW㭘V/;n異.\9 $:* 39Ȓ8h"`‚#_&L-"`N ʇS]e&Lb8_b&[U 3 Residuated_Lattices$|{nĹqRsQNjc`@O{ ŧL%e}a2zzNlX:pwUJ엛$kV)ڭg@r8gny[]-\2zcY)n,пFwϋ9oiib]U0TzX|Ag<ء!\Wɂw M _qxx =t[$Gn)ۂ{iSz'֒s_[)Wo-:-⌥أ^e&٘U 3|#*h)a$]Mf!@u;Vo?=mưUh0hjȪ 0!4_+9:y.ã2&>ӑ}~*ue`Q%E S/Q;* z)ߣ*]a7 ]] ?1  JԚix='Y %Lms~тy'D (Ny3`k6SOy'x!Ok0Ii 7pbsͥ;KI?$^z뀏V7enEO9۹-[A"$~,ψj0w`Yy~$|*P*n߰G)rў—bJI{e{q:^o4(9Ohlgjd^n[4҉ޤwxoa~+JCkóڊdwA݄IMIXlJO[k|~y>ZY})m?#2bƱ IS5H{u1B!O^30%KR?Vi PO@/BgPHb?~mi{IV`e2iUu*ĀW%9s4vEGD6DԴ8kE!>6 2S^ۑ2hu?ݜ`SE_AiS ϏF) fo('-SVKR~{=|7_X#jKףԷdCߤrny/}x$$( bS9kXGE+g3!- Ci(U8]搵Q]%;M Eh= +Wz?'s(GA=`4&al ljGY1S׵īOd;$ 9M#eE.ːo}CMD{|֜qz8H%׫*zF+5m$0ַ~/X#Lg*gLXVFu! ZAܑ+"j?8^ĪHxӠ-"KaԾ Q¥ P1WhXKZ 9ӻDM ߥ^jfteph]5 Ȏri?(,0 s)ck*0 c4(ul?aA&.cI 3w?5*gU B7"["- N#GC@XK(U2enLa.ƿj,#;X#9ٴ}!eb= ]JL%\ S AE!g1?F7я4L՝G١F+-,7cʜm1`6 \l2ht dlee^vΩԿ<,0R-XIJ~O`. ȮLIYD9#䙷xbk„j!J5UsqXuv!]ޏ-I_0օ/* vjS4Q"݊S$,mȰi3]0Ad\QN+)ӯ/;/wimh2To Fg"i旓R.FX7c^降~\Gԟ,nNE 4Lh#_Uph B@B>vjnw;p\+ zR&.H%!%WOK&hz+\$.ՍNU틷y+i!6%<|ghl!u=ٵcD +6װTW^%x<UWs夯D[;@v5!:ylp9TgWC?h|q&$|˸T=O6D23<iJ l<3ǿmucK%ʹ& UW/gYZ7zXZִF! I]ŗXi% ώxGhϛa)䍡q\^gz P_wtfl/뵺Pjr 7@v!Ät:FNHEѭpWJ2wT4s\!Wp=#M_ ur4Ɇl3xA6H$(O ΰ$ޏ/. ݿ~Ū%FC~AJy6IحI)Wel+h;HMQX~;/aLv z_u.xgA%-)v[g;3 *,k5PYq"|ht(ٳi8z31nmki]ۺtQjZ]ʭQHp'M$]?npY .ɝKKRݮyVƩeCs+BB)tfQE ܪD:'P9xe[ xL/3;Ӌtw$ֶZ3MsW}ӊb#c^rEg/fU5Kn'jrׁL ݏCT}J{{nw4KTbvz`{r6~oRG41:F(EvY8{>|-Id3hh|ڿh[C(}b".+:VJDg{.7OU6wG ^i'Z^.@Qs|GTuf(77pIi}5q͎ yUN=b`H%$X-d7VZЩdo&՜l>>G fϐp4++91ٰK2=`w'%CG-