SQLite format 3@ .0:  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,4 ]% Residuated_Lattices:threads=4elapsed=32.712cpu=62.268gc=1.876factor=1.907zXZִF! ,]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/DdM/#^Qbe+IDgm0P_VU !{ Z:]wWc h -gRyĀ3/]Sh)pmnӫ7 IWk-[pϐq1a/j@z%MrFDX]M:VUeQM*3H\?Y·5yD8?ZV$*ثC;]W,z"$1pԔt>\\` $ F_ZVԢ\oEzo<\ 3 Residuated_Lattices  O2w"8!H&N!%//Kž͂lh*BL"z%W]msm); cvޗ.<8DLاNVCOC!uIL_Pbp2b9 &H7/h9 j+)1E&x%ge"30hxEpO$x@S~+ Y N@J2>[mn]uJ3:<گ/;OuDة.e+ CE8r>*==5b*_Y 14=? wy"= kwg`č4isREZŸ+r}׶8lI` /en\ u(KsV)p^Gۙ}`h!r70co< VOl,NӸ#mޜQȿϐXEq&:DgOi5{S!S&ѨGk}G1T]5Uߤ25' knMY`HOgYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9} 﫾M^u  O\z,zu V_\<4n> U\.Bs~JMF=,G7o )ُpޯ7oLA56@3^\h;P(Op@7%œQ˴dj0( L } ӓ!1uߚ۩zF ʂ| .0۱p[e5QvY-mu_@zqAIM]Ք֝4|+g[%vdhF`<0 sL!2%mF|Z;S6I:%hۜ_rL}#!63uMN-xzX'gZgu9{ ). GG:Mޡ\R{k86Al``uok7ByR*~q&ork#*&OzėCRw(.Xp5hQcFY3}TF戸.$TsT)Lٚ3/֢`R.FPH r l5x^( P1zз='L@ ڿ5PDYE'ptzԀ*i&k3d./;:W@ mvyn)`w b愅Դy7K)m)+Ha/>c]c+hh~E.Rg1TgMhX [B]-ZݺYxK3t)DOSǞKFoڔO!3;|t!+!.㻃i{}LVOHw>*OLb{4B1^,Blfp@f,M5Qj=6-a9m7>^.W b-5Ecξ"&Vcq3TɈl ɀ%KE} 8)\ MtYzwG/"yditfL e=EsTi3`7[a Hj=8ܥ5O;N ӄLs2Қԁ!1^>}ΫGyI;p?wXeq5BO.Sj '9ϗh?jiջ R+k5>!v[xs:\|-_<&-OL3OECWTİDw*/.3E 3"ԬeBEF9WKԑmpX|e̷mo]y%e; zS9tGH`YC0 X_ejb/}%f!j$0Ǐ([gUpGq9',/ 8?¬"ޯ6pqrYKn DŽlnW䖵x0@㊝rx状ßᩣ.8%$h6>=L_ Cn4n4`NQLO lirx } e׬+I6vU{6Շ ߦ,z9AAs`ٳU|TMx[.kYC"FPg‘G#ncl< E}ŎqF x[0pn K/{gىpa7HNiC-l ĞzuC [@Rߧ_a)LYI{OI PW<έ$wu[LS u1^cZ*Cd=J0V z#v2P_X:q⍽#퀹)cax:y".:=&ƩCFXg{^NRrCX() 3t( A؂v*o>+Zy9w.)Ѱ+ T'+4d3eeU#Cρ=mMIn<4ߕwY廄?wpJ\u% ӹc>)ϟ[fk݌D8{O{BcfcV>#T.s\ciHsL#ʏn6 9-PB Èr7IytE4h@/9UbJU_kaYRk_J3Ig(v=sЯF1G%D !ogYZ83801adfc813dce121c80fdae3a25124e9a78d6e4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1d00560d07daf982585a36b41feb94620a9a595f f4fdccc90c861b3447b8dac61f040405506c1639 73da5cdafa54a94921769fd252ad6e5f4ef11118