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.081cpu=59.352gc=1.768factor=1.917zXZִF! ,u]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/D4ɐi lv2;ԶEjV_۫6%@ߐ[]: umW_jf_?W$ؔ$r3^z)CfGeTHS<;NcPk =8Q:Og Y`PqNg㹦LؾJ9> 3 Residuated_Lattices  J=r޳8+p@yv^eKhv(} x/<-|'>_͕\ aUNAL@IҒ{җ op %TrD '%!OVl{cɎFz!V!.?T8TqK(I/bѝ^qJ^T XwۇexA%Bo?*,L?foO:iIߏx6h ˀeA?v}^i}ԭH/X S#rwҿ>Eʛe*eiSr rEFqgNk[}{iݍZpDKsL&vjܻZXўgYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9|Dh)V>Z!"^VRRZ a֚6tr($*3zKa XoyGՑqqJU%1Qd| u#S Gyr$ w[pE=S27OegYZ7zXZִF!  ]ŗXi%I oĢQV\ y䊳!eeZ'F􏙵خksv⪶:N92 ;9bXY&.nzkQ 0mO~!/e`IVK6`{.oLz(S}MxD=ۗޱk{\IXIHtR%1Ggu2D 4{˝ Z]MB0ϣʤ+ gBߣ*EϏ3;v 5pD$0X8~g|F7ۛG,{^A\mѫ&x`5W9mM"YꯤԏF͇k(ZSQsewJ=rfɬ#1NL= mk/  _HWsV}yK9z,LEZ@`u~Z40RQB܉"zfW|ν,yS B}RkŲ9jҰrЭ0Pyqym#-o /=f 番CXyQ*E(z l|cOS8vd2\#?lư`"dwƬ@CNaѯxPzH~X~i90n?ݲsFO \gffoGp?o(0AH/OAhîTI&t%jq+,S(K-maql^vjoTm|:!}$zĒaaĻ29=nVZx_~/Zб!`]˿i-\S*ꝴJHpGJ|R0M])0&2%I"]R\b[SdaZqɀ&T+qiwSrE1K`C RL`ZdMI3gHݰv>8`Itnk|Md U*y 4C#cBPtELG/FTn3r ^WhD$_]HTٮ(ĿA&$OPb"~#m>GOK+SqGKW3>Uپ>Nb:R 'i}wzZPkOө~PDPArJ/Rub$ e&u@,T{#Ӡ3B%&YW(k@6{%8镼ɵ9guzVDO|E$2ORs$'6K1B_㈶{{U9W3MB@HϵNmPMd&P%" ] jGkXb&=` ůl`dB7䀄H~<@J!.43** IOa:~BZRlኧtZ]2np=V)fѩ6sIr\ߗ5!vC,z;J&C;UmX0j ЦbB[a8Fu3سV`ujGIl76(noy'T8:VFf{5kZOE/S'm}OwL1;Q#kޓt&I"sNSK@]٩hHpusEi[`m+2GdFdJA#IE6}hyQif=nYTjoǠ~l%퇷عLxO6