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 $, ]% Residuated_Lattices:threads=4elapsed=33.649cpu=65.176gc=2.008factor=1.947zXZִF! .P ]ŗXf[&&i{*‡HiBEkև],ŻHJD>ki4>C8'K"H.:OzU%Æ \|n l=nS_aalc @whό>ߥ2 _XǙal"9 UJ/>rhk> }sy`ˡA/ty%yQuy h#̀Z1 a9L F=ydSqV(,MOmJ `RU-AC= MayaI}1;c>#A A$ 3 Residuated_Lattices  %[*3YgDנ|Qs9!JY'bO30J"ɁKD*Eg/DD庠ItS^5#=5>Xvo8P !MY'Ǥ(yUNS8^˟4 kULB"8UA7z&1σH͹C\$#[D19Jo65P.Cwx\M .I1RŴ+_c G:J?xӂB`awvP{6^めvޣ)&אpJ\')&Si'\bBp$}yR!j-޺&K6ͼ}òdQ ˜v&C5 OSKr倗B=G,֝Fd#/̸WƯB-X'?Ja =I"fRmLA; 8CAR#%]b!&J]<㼐_k9㠥W/QVjD"6?g\6Nؼl{V~7/(%s1BBmpN\=jp)lht6ۚBh )'jͺs$7ۍѣPv1y1=|`fr$Z\t'݊7Tvqi*HY"\iAgYZ7zXZִF! =]ŗXiɟi5)9ݻs?lҢ 9sbbHJY3]9@+peֿ"./baO;Wg G{4[B\,.HEDq|" 0*vE XX*wEK/ tPJ^ijހc| +Ǔ9NxHF3hu\megYZ7zXZִF! 2 ]ŗXi%GkDOS8,x=8~r <MClH+dnfmUS"n3կ v;DIB@tc9l7k"&On}m-4K[b.+v;h"kLn•ѧ!=XkPxJ"Y J*Gbٳ ;`313YH铀$>X*J-#N^Ji~4^<^d\&u5vuQ<2pݚ +hO7D[.2ua1*ˮd4?_a؜R7!t}LÝ.ƬvvmS%ۘ%\z4z&j”:~Z,pԝdb)E\s~ Jo vXc 5+qZh o9.%27bindOYcdoM X_"(l}^>>eRS硱ݫXL=2ƘVg_Sanv8RKU~, $wpǢKXMJ_Vza1C"kscH0wEg=%ZVl'OVسxb}yʺnS{1Qw<3Sש;W\)Ī:I:9ه/`ZE9kKd"MQhCa/y\<7  ݔz=Za<@eH7ubgzt[-,_]vA]Y`6e\WT$՝p% ܉0=d;Fyf}D=ePZ`HG"jj9KU9T2+_+K)$׽>( /|mІ$ױS( EsP_g^FKu C:QȏÒN%-[ͦ9&tTSiHF S%y\ǔy $t&0/NF8'ی,$u,+ ODeuj%DWw0cFz_lf%~}mPӛA2.[a(i1{N<lә&N[]MIC9iz>*yFmw }7{xfL%YiU  Ƭ@:krtuv+pl6?BmK>XAz9 #t=V2uͦڒB' {Ru ?oPǗr|4 # c Tr3c"fi:Ih (f|VDy'(CwFvvҨF,D tY}e}SK# RZc6%CoS7V_O =bq3J^/ 9U> ,\X7h4/j/ @8 u #[v5n;G̼V~zP?"]NKzVm=6{I`pK]2ꝃ. SFhYaQvD@ 6)EP