SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 L$$ ]% Residuated_Lattices:threads=4elapsed=31.838cpu=60.900gc=1.868factor=1.917zXZִF! ,]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/DF`QxE|r.XV"m꽎dfM26nB8I{)82mvlk3 <|6(5J ThtPMudXy;MaE*0 CD̾+j,gwbɷ]F~vmJ LVV~C080ujn녰5#^aq8 [U2~nmzG8ÔĈ Ӯ  {>G!j;_*"H%c0W8?ŕ 3 Residuated_Lattices  %v* T }2OwѼXx\_Dp (^6K_b\%rr* ԏjM^1 Qs`Or{uzVV_i%|O9 I:"" 1ZvM@k{>2 b,rao; st}ta5z0I ;F frD^YzIm"jpVOGA8i^:]oE.;"{Ʌ<@KZ[>IyG#?gʚ.řį`.W59'j R>5<&=!ڗj Xop:~BLRz*|O6S_ڿj@Ĥ/$ c)y8<'x ˽˸/@UyRl {l+݌-oωw5j\3.Jn~G. Xa1Etð9;#:W q&LZ| vp4L4mT4ٴ@jrdemO!8SۥX96 -}O&R\YĞ2gYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9sJ;\?  a4T^M~6L Vhak[B9/?&Ђ">1+p#兌%&HrwKLuE'pI5= `|dǎ"+)cyaKo&_v&IPgYZ7zXZִF! y ]ŗXi%L RTOL2RPSSv  %\ B̅J7i?Dcm#DvK%$GugK(qu S+ϟПwx˰!*bGӏh}4AEM ԩGlް.x3i>kا]:0>ӁѵL0>^D. @ҟrʌda-lVIV -Cl,*`8m!lQ;Oׄ:4s_t-bRW._s5Eu <-Zm pƌ~dsa%.l1}bF8 "HTId9"]˭l2a^8Hu˶D=" e9e3~ѩCRiFF1T6KkMu[zښP*p.g\$$4/YǢ{ 0#(Wmfp#YHY3Tvɕj0YXIH\Y%zT!KtZ6Km h̆XK{Eo$OZ u21!nAe * YQ7^4#DN ӵ)1/Iٸ\C-j irM 3Þ]>M59Ǯi6< /iXz7V!jl K$߂F`H=O;bw ͓|jm6[ueT}&  rvkyVh8괥pnl3ne Q̀rZ6YgM.̈́m b ]W7e,j[~JEvmH7Et_v*\79x%y?Ub3xD8fN MBnZ\ҪP h˱>;!M^l!o'RPnE?3a!5TK[0/3km,(D2KGBiLa=1%MK{Ijp+XUSY˅CGG\Xrb*m)*%"V͜`(ɻlr64ϾUWB,iDC2ItV+ܹ=r>7rŦQft#n[Yr3^6@ "c0(7AYALq_IǚbnAbC(Svaa0zS[pG|~:Uy$9-XUVND^sy0c):Q":#_.BwVТD84=85 g2UYgw ã(p=ҟ$CူR[}v ɨ;L.r_PsD6U:j-8Y_JRU2aB|q[*ʬO 8gzcуgҲxB'^~7| !eWv\m{%Ds!XMUFk7`=C)MD [ ]VgYZe4e3de1eeba82a2b584bc806f738593d3b5ea3b3d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 0b9c642baf939d258dfd45d0549daedc3df6d63e f2ec9f25db4526777609edee75f7497a593423be c04de43f2a80996dbe9a506e7d98dd1c703fe927