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 ,T ]% Residuated_Lattices:threads=4elapsed=31.329cpu=60.872gc=1.480factor=1.947zXZִF! / ]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/D"#ǛWTJ`|ƿBY.;*` SuE;~%s6=*Jj3Lx{?0 Dl l}÷7 3"ÁYY}p[";,#\nڝg;A,~?&z>fA5!L[y׸g˝[pg"TЙP9~.ݪvfޮ~ hS!ާȓWjۙC:%$Iw 7f4`,W 3 Residuated_Lattices  |<8/Z#|75+ ^q; W#_XaYepQ{ lPjr0T jNW%F%Qfz_ƈ F=փ 6 rTo ƿ\|С'Dd=i&gTZCUzE${1o'm7@˸R LT@D r3:qeK[[7awqg'I<ƈͬ1:妞S ~p~-Ѧ;)Yu`|k*DZȕYċߩܚR2XUhhTXp&3&}à.nn=v1cFmxI#͇"<BřW'XĆι RpfHuz%tX/9z;Oi%>e3FU8($\C^0C\]8!`**)V(x#^_a;&A ƮXhNrqDMΘi7Q6H4Mِ ;vЛqMnsTV&|/8P史^[Tz;.@U Z͉T^d-gYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9[ee|$)+Hg UܝazjuuT\',iP#&LN-_`ommOI}l]AV+Gq~jG.x 7.s[^W %P@&E6a3P&@Ѿ7IgYZ7zXZִF! "]ŗXi%ES3l' #[?z8c6f za;DkX Vy?hh9/hɹQyaB_tzCۺC)}y E' OO3 - Tn2~hUhķŹ ;cz^eSL +^3"tsvYsRGQj2\Ÿ hsӘe 7>0I;&[1PoVb,!V}LfK % 27_Xz ZRH=Q Zd*62+NW?\Frq9L19\6+WCrgUk7zQfֹRg=>(kW-=8Î ~htI Dnj[FĆJCגB_\ʚtbQ%N%J7?KkBj[4 V؍ÒūL5<}}EH p/[[tB.~+hqBШezѨ,$wq[hoXVN1Uq~d(^jO}9!RPT q(s>lMV$>+7|<< s箁H"I>kD@W >SnR&4e;kߨcmw'C GҔ*H)1,$w.k  ?$CMm)uiӚ )mv}¸׫.C\2Q+r;X8E!&-m@s_DL;Pb %@zwʕ0Ü"{3#g1 9<ҟN 2rU?Σse&*9)Yd:m )5r e;+ҖK=qoqqNw\U.=da"D|]a; #-h͂$5/4p^*MX5HT{[!C_a]1̭Vo3H@55 gr97̬Gw_&/I^h+5/[*ZEv\[]JJ ,S :@hgf|s_l{ _64­3Wb@-3Uܨ5s>jPn`\ ZR(VO1/⅌C %_,׊mn#8ꐐEX>23ݬ{c4b=ce΢'zt[Y|?TVWe엂#@C^`6dTQ~Ӡv9.߳Ǚp1ẎureY+][f|߫*VAzn_OCJA wumn : ?'TЕsuT)2&؄%1i!$-tӷvLn,N!|yǷڕU =l0[ҐW64&zOߊN2شm`I2]>n B4Ǖx >(/O2nbnBAiGEJH_x+*?NgK,-BE!n>%qGtM@$>geSKTi B£FK >Z_o+=ܫGt :2vr{c82N69>'EV&|0Z ku$4|g$/ī1 dD*M==.,B}몜d m -Gg ߨf}E5 0%U^Zđ^a}6WU A;*.t0 FךrkÑvWűgYZ2f79d2f1f69edd60a5bd519d5209d1877e4bc5f176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 eceb96f25f951fcb080d5ed4a865d467b7a66839 456530952ddcceb58c189137c489e6e85cb26821 5420ce69705c3f37a49c0e469002c3abf8d860e0