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  s3 $ m% Residuated_Lattices:threads=2elapsed=28.652cpu=50.856gc=1.512factor=1.777zXZִF! E]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(a޵)ے7#S{r;=5(=SHWʭ*@8^#o?V멻{^ %ҵdpfgܹT@e _x&U0lxVO3jԂ;?δ/CG G)cvh❃IpW%< Bڲ!H7ލ8+xx "T ffE KX+K ;_[GdhК+j6yWG rF2Pu9iB6-ّp+ə !|x_j5m__ ju`_;h$Lno1J5h=ò+BY3x}y3WH0zI$  3 Residuated_Latticesu=RJw _3p dYO DOl&pnU=W:9O#K`4m`[p+}X}MBu<GYG4;Bc xS\oতUD\G> %&ze`P4tBs-(?E'<#b0|{~9JE!t!rAK I7s0nh=0+K;+-#l~do- r`V D{;eɾ8qT[]9h`ֲ†Hc#Lޥ4>71zό{΋7"{M 8!jT͌HHCSˆʸ97 kMLcM_ a1f३獂1]iO V))J|Ex]儴R '"Ԁ)Uf:$殱@+6 ѐ=1a^AHF}!ɤB Ő'ǜ*yDI*}M / 0NG?iwE[IkRDh5>7`YS?Zj]I@M94:I-hVq>=IdF?&r$}r#p=}1D˦I HA JSȕkBrr_H4~"쳺 jltD&W8N~7:j0)!Oൾ /\Ƞ!li"1$-#pHP.ٳ➡&2bW67qm(C;9g{~Rb}&3i@.VFsIf>m7WZSR'/_M;kC `>.i[tZsƫQRkZjV;uMHD^SOQv@7I; CefuGM,q P~@C,lnpF3o] gV^=6ؕ]N\ih" > I'Qt0t"TPȗݩG)*$-_,gYZ7zXZִF!  ]ŗXi% ǃ7<'~'p<Jkޣt3#6Px#ŏO,p$j?{9&,f)pr .ǵɎN+ B bV]p8-Y< ~ZJ퓇:+ ;m_|r(T0*UeWǧ`҄;vT&O (Y]V0yaׁXҨ-hǿDs扪E>,/!ER#v)>"qeޥʏlcqpc`ߴ;(&jIc!OJ yJL&Uk {VK&z 'wI'PMN1E 53KM`ZÃR{\ʁ E fdl:RMePTzI JH(]z{hiۧ : a2Yw~lQ%*J<$L#OQЮZɈ^;bD6Mg(Nӑy:̵@5ڸG$TiA`yky}s; g$*گf(H0_A7pc Cg\ P]jf6mACzC%'P}vW){U |Zܺ bdIX_k].H,~*,r|(4#^+e&b9*cxR ;%ReܼO52.;1-pzWw/00-z2/.: 7v9f_h]y0뀶eGTzX r`$-R+2Jt A%X3 4XԚ!?ϋ5E[u̵uA|?0~9-hqJYaɠ%\V(\BB2 aBɅ*n ᇀ3wBGU'Lx%h|Fj#ij( %pѠ%d3Q9HU}@#hf5=,[MSo]~Ԩ( <'3YIf=A>삄 D]a'TA߄eHh2T($%" bd٫.KcԴUaъ^q3 ʨ{JYWv$ΕpTڛNcЇ qK-%מ &=}ʪ qͱ5~É ;gw2^P[O/4HD$ƶ 6Q.GlY@r!$!@œ^j\L}jy]OQ4CVmS[is[f ~p">T@VT*(ԡkH6+ǂO*#uľA yCG L\! jؒL M:*=R |ɡ'TrlF@`@AG]ҙ Ws~+ ?c+3_z82[3a6:8Y M_Y2ZR=Ю/2Չ, C0ғ")N;/Q-ԟNRS!&C