SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 `3 <$T ]% Residuated_Lattices:threads=2elapsed=28.067cpu=48.680gc=1.912factor=1.737zXZִF! -]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>hdӮLw\ Q$V?aq)!J HTX$awN>h(o|Kyv14'uj=I!ŧŞD5P&:7Yխ0ylByGN x4wtcbq=ł/vY(@aHf{Hh(k=ժ/M[#}"MN?yҠu2}p+4ׇPByVC vm`-W حhe1^N5^0YԜ6M_3فJw=&"Ajoo J{@_./}rph:Mϟz)?`,[TRA3F$a"ኲ/ ;} _xQ[rg8b sZA$76YB_Ld,haنGv7PKAy{7:F ZQ=p[ҎA]Ñ$V"؂uug+rϓzIJrjULDX#:Ro1.';Yкo<0]A_zd$?66բ_ [$-/{¼~Zy!66n#zO+TF?Cfba+'j( 2G`4q]8z u+%6fEV̑!W5Q }HGP> qaȍI@U3"lr Md`;OA3=ݘRJ^jm[uWU\J상u[/gYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 9WA&ݷ gQVe"AA>IQ <{K^b&`B[(YpA0OV&H<~@NAHkF?Ѭr \ﺪ_\O8"2+J3ΆQ"JEuвgYZ7zXZִF! ]ŗXi%;C஡Q~pS167a-$bC]OMV1I|UM;ބCԭ2ODf"D֪]fz1#,P NoЅ:BB&m,;@:>W}ۂ59lY%i䮭Q}Y]ؚj`E^,9kYK$U cE@r~ O.ɕsȬh'Ǡlė|Ӈ>-֐TSrFyVV{ q'oHB$wg`f~FiaG17 V<oSf u> ,ZY8' #h"2ehƳ=g="ȭ#C'?h(YI9Cz0umu1 'u]xn-ڑmidFFto;i0ь+~ eU61g .UYN*[KQot)3"L *]+V5t؆' !Arc8`5ZT ۪Udc$i HQoB%*$\r m8jv rDX=_>:+4G۶!`=Ɣ-(P']uK"'A{;nAr8SKv1ndyϱ6pJ/ $e?[ynGbCDR]wnG x/8h6O!CdOよ`|a{_#&OCsu6H!\pS" D*VG|/8y7qPU.y$#@zn hq2Y(\ eEZ<, N}@!xeYeUZ[gBiO/ӃK_,d ><9]۝_`b6EoGBITy+m?ֿ\%4L m4j XӶ$'r1C-vٳ9MFMϱxzBWɕM|"B_DVrzʐOmU:^T̨wqy7*gh sm4 xyMG})p7!7Իn|Iy$ֈޒzIհͅfl"|+Æ 8ZCu,²:s:uX&[pCwseba@!_3 x(oe|H-[r"ou y%\F*Vg.s ds;,YqV; Ș\9[AgʯHr[^ETZJVK!n16?uDs M1c`fNW䵦5T]#/'vy3MOJڑNRʞ0\ _R,՝>^ 3 8yWBǃxU.@3Yc9qIs{1YY-HYmz03(#_rI)UZZ-@qQ&XzZ+7OHc? SɆ`/gbl?w:7Ugj:'8PO *LњC]N=/@lVF#E:1,M 4;:gaI}[*t}YgJoJWWbME~HsI"h,Ss/ӯ@8*GׯXlƾI!hdLb!`t"rX6r 1D*(cԣRFF]yWCH TagYZ50a72d730542ec29b730f461da1ddd7429ecb49fa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 cf38246f5bea3b1de08f60df65911ef59f972a2e 1623be1dfd4e6c64fa96153383ffb03133d36d70 d5605c2a3ff5575549bb99c7a881b2d6a8099b3e 3 Residuated_Lattices