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 $4t ]% Residuated_Lattices:threads=4elapsed=34.448cpu=62.144gc=1.924factor=1.807zXZִF! . ]ŗXf[&&i{*‡HiBEkև]?튧uJ ?ʅ5Z~RY+=Vj $.ӆ{"w%D+CѪrJ9)IUD\PpGwDǸT:]J ry;LYw`V:KSNkYSߕ C]QFJxO:k dٖ!6syq|$ wEdurq#Vnϭok^*3=ࣲ8(b.pK}sY55r$^\/6%B Bϱ^ѹdɘȗ} =Ma_Jz_-܇졙fq)bR5#<ۈT=;ץ{/|.0x•$ h@B[c,A=}ԔcI2l|rW.zE/=a-Ls;ȲA)`6쫘A9%&gWhS9 O]gYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9EW#~|<}WSsvOj~^lZ>_2{ rɥ/囲ԅX݃^Fz. " \4}x/(2&bf9ĖK"lѧ}ә]JFՅGP;Ejn3,ՈLXnN8db&@8yՂ[3`0i3TK$l};-%E`ȉ.?)d=͡"vLIVETCԜc(Z/q&|y#]{B,>g9ll8͑ᵤMY۶yK|DMFe6о"Y?>إb`r'ٓ!=Ẍa;&H}$&y<%1R3OjT8aT;[a|D7|Ё_ë-M$&Anl83*!Hgb3' QL_P!?YU$F4IJ۬/X7Bc4d' RQV)5aa`| Ǐ@X$&QFW,Vs5c%r92o% $k<)vKp-|j.gK/"KI(Zˉ3\J7b5Z8ۡ[CSL?l |+E65#}d |+F0@F'n&"5 aWƸb[㶡ΓY;׷]ˋ,I غsXe"`mJ=KqƧb}$QYmG =&:7k6a1ct@[8ۋ@|&]s o~>OTxA/dѮ $4:}\*Jr (eKi-aߑa_IN{{r2+/7_@{SV== Ԅ8s8tIOt0x]U5 4eVt_te:Oa/6e쬉giLoYy'H &mD X34{%2`uOT h^u W(i _8$ u#35,z%5jr[ŽAZ)yؖ 3p2,('O}Z]cNbT?3rTʓį.u;E7QQu5FGf1֫vwЧߞO\a|yoDWma?ROtRБs3h?'"Z}̊ 0 *־ zD ) n-yd9 2PnC;7j)2~2VåiVzePM6ӧN5.(aO[yخٌ߻A:V!xVfiF&3kwLKçސLP "4ԏ J#AE_иh+\z"3k^;o@+ɵiJa$PŠ&~% |i_|x<Հ\":mUA1E#Vt`@6,.9SIsYFSeOGSM^W>QZgYZ7e411a9c62fa398fd25f3cafa7eda3ac93ab74dc9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5f4a2d69164630c372a3b2f4b189eac207dc4312 e268a54d98ab76a390e3f79597526f3c60a7d3f1 42ddad1982f8103945248f4e3b91260ea3a3c23a 3 Residuated_Lattices