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 99D3 ,$, ]% Residuated_Lattices:threads=2elapsed=26.215cpu=47.064gc=1.908factor=1.807zXZִF! -$]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>heJU%s&l w-2i]wD^o,=pW>19MImT8ɖ^G> [x2 1E ȴl3tUҜAOV ]tWEs5a}*Z-7dXS ^I*&ɐ(/5 ˋAكmaS=GRC]iƪXsgfx(キTIt0rH[TJ(Og BXS]} o[IX\Iy5!IIC`xOp!rCs: QSGKi4[އJ'&vi{ɗ+Fd`tiW:KMyVRG]ߦ6 J2 f FШ#ַ+@=͌@7?/7ʾw^-p|ϕ21|UkנX'xgl̏ ?lւX)I8N]>֩,QH61 ~ʵ$=A.G>@32i+M5QseF `1,zL϶\Bv:y`=S5'{ĖY&-6оBFz e6VBgMf˂$7/eӢTU@߲~žLm*ϚmԷ]Q?1.~=ċ2dUki%N˱{mΌE^rmhi;Qw F<6עgDng ҃ÖH>ۿ9EpweZmx @rbLq.5,<Zem gYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 9 |t*}8tDڭ"d|jc,D9a$>^3Xx'hvlZ' $ꁂIjfjyWDjBY..HnIџ`b|4 8V㊳Jʶ}*ii|=RYѲ&UxNw/KgYZ7zXZִF!  ]ŗXi%>gt~hT}:KLj;G?w%/ ͓3xG߈M IwƖ7M,'ͳ)q8C(182 m8c:}ō.2 Rj{ G"*t= (.a=~сne$s<o5< v g\s>ײWQQ@h* 1L \H]NCB\ 5b5h2$ҽ\Ǎ~ D 1٘1q-H> v&[n7泡 %2]{c OЧ{4.?tvBt q{gM4[-C_~3i{@^_͸h}[$v+U6|8BT4ÂZm C XGTд̤˦_zf-:1Ӈ_4K!nXa=B3VԒ,Y'B.PIu0<7cMa<E2i*Kh2AJ;(~u$Lz]>Lk2?iͼj̤7w>l+Ȱ927DoHg9^N݁J6gM~.eM!2e62Ktd{op$=QEEY&hjH|ٜf! teS%J oBV:ˎ׋CUH]Q""* {Y1d>p($s v'% MNVRB-M}aFpp \$x/UnF}w &=[X/NM9Wf%yH,;P0]@o,1;I@SR6U-^شNtǪ;$+bDž,v[C(wj#d:rSГffAAij(4i ~/B~<&^*sxHӎz=rѲu B\*cV[>W^b܄LGʨմ?]T<63'$VmKΈ87QpݳTWo=(fTK#,`}xڻRZEm2g=֟BzM6ī96VVd_9/*({VnjVjRm<OgcN"m<<PhzdwEY/FޣQT{tMJ8ynJPi`}fgKW~ ]r!hXΧx/b~l~s.s#+̐ф?$)vqfs/gYZ83547b7eafdbe446f47d6903c6c21a119d4345fc97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 16c07ab52060a1877247247ac947f7478297781e 555396189cde0180108d4971abbd7a233f4ed800 780078155ec86987e2b1d16a8597614ed2a521b6 3 Residuated_Lattices