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 d$l ]% Residuated_Lattices:threads=4elapsed=31.093cpu=59.816gc=1.896factor=1.927zXZִF! ,]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/DsRux] g7ny,hU J 'eϚ ޱq s9xRXYn}'\>jW4ƴ~pkP6H;g㿐+BS+"wjUV8k%kZ;H 3 Residuated_Lattices  N-\P)F {qSq0I:pX翨y(Ll 8+}SACX]=[˚WᏗbd}sd9*Y&: “T";`x ػ_mRoqewI1?x"LE.!Zd73T|~ck8ȏբK~b5e]k-I(KJ ܒU3ᏻbOM"9:^b9Ć5ȝdҐ&j KK 44W01o7,\퀜ɬb4Y=$X a~O Ye - W*Ϛ!`qx4;5 'V=q0z1 s#P&w/?,"GhkfRݢ?ހw;$\6)礗@ :Ķm.* 617g=@-Ԛ['DVP "憁=ZO?InR8Ɓd;>_R2mmA>$3!~LQI@#g!溕Dw/K(!}SH%0y_[|ia:2Y W; 2$}U'{ɂ\X(gYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9sa|쨿)~1Ho|(  +* |!]rkZ 95{J]\<ώl/jڛD+iB|w]bꮨ5Pm1[%-#T0-uEqz u)p&.]&$0egYZ7zXZִF! 4 /]ŗXi%L 0D4co,Ma-6 ԨU0yu,4r-*ћEQBi'Ƽq%*&jw&pE?p0cuiW) m߅!*qo'.׼EU $iНg̿iŌj•\X:&s=` RȽlS~O=t'BPG3AbI{!4Ϙ# ]: { |z'E=)UEArGwiW˚,aB ׿]v_X X^69 BBy_:Qu9_t.Lj+K!2ݓ8-6ޠVQ>bPwGiVWijM &y$2uF[!gDPV.NR<AgPd"ˎ:1$|5 D:07@DMYl{a RrL^B*$,ߵ{u<|V#Іoi蒒sf<|3*Gwf$Le%ḙ[{QT-ۖ ~F+Cm,t_HTj3z>.EdTp)o+1蜑ATh4pGܱi IׅfOX*"5n+^~9Dg;̟nءRW8z]dK ^EQdzD)pnJ ƚV?79[lg@Pw9aFb" jK,4ҌAn.̈́:sZEqHm1Xi+c 2SG/KSGpImYn@a=9nrnh2lDOn6oE鰓04*e!+ j},nn޵#Y"O?Y5T]_yVt_- 7\j;MjǴy@:hľT#V}q $-1=-n^?OceWm_hdFw9za ǒt;HPxfLjgf|R1HKZfFe4)ӽ'U~y11͒%: 4&>R1.W”o :kL@[kjs)E/'B"~_t"6C9S0J/p먩t 6Cõuo CRgn$ TfN/o3I(5PBi Nz> 5ذ;Mڹ@dN }CJNrpK;2C3uw036Ǒ]h4!cVRToc3 JN>ދ.b$YB]{.T`%ߌ!=) D/,A7=#K_6W.6o쨕lbZI3!LRסB9FZ|h+i1wWcӮk]ǧ"'΀~((j|3*g!EGluF Ubf\0|y)eO$#ɱgYZ6b00ab99414bc45d9554423df3f428eb359bb4add3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 220bdf17d54f55aa3930e6babf5204226c781772 a16961f1256242b69befb0574d59ae55859e2ea6 42f5e24942bbd23b7973c3c5ecc56a6e96cd4004