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 P3 T, ]% Residuated_Lattices:threads=4elapsed=33.471cpu=64.656gc=1.892factor=1.937zXZִF! /!]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/D'Q}CII!nKtc&{Xi.yvj~ 5-Gui:@ޤur4U7 cF#"=a>hra)?QX37ӡ"VoM gVExƬp\*Bz4lєQT(Ӝk|+0Dk%X[Is qWN#Ӧ,mp*Hk(޻xSsAկݝ *ݤ2V̍N@] 3 Residuated_Lattices   b˓^f58ؑ1bxU&Z%^bj479hV+Dmqu|M-Q!4J묙U9OMS`);^YU2ȜLHW}%[?h>`HIm/@,4C!*><+;ی{OrP!<ĀtBޕf_L*vMಶ P#㷔2V*syX= = 6j.^n};<؈ze !sBM8:s"CXE(t-Dmg,hv;נ5xh 2B;L^e[UEyUΈ $_3v+qIJҳ^tXnx;?򢔝KŠZw6H?*K=96Ft@ٹA^>vZؐ!TG`f=Y ޶ E{ko tHfjYbW rjW$]W8o ToGb2Ջ} <GyN(6SahDcR rZH0u1a,UXT1"񅫍xʻwg'^~IcAYk :8(eX;A @+ Ӥ'PKE|$I? b'[ke\*YLBn?#~?rpXU҅AAF:=`b9`ˇ0ROS{^TjJ@-vi347tWb(jgYZ7zXZִF! Q ]ŗXi%GgP{{"oE^] n?O̭E1máL.YukcԆ颶[NJ1%@KÖa%1ӕO M9l^,Vepܛ/{DڰoBL^{}HsTW/z'y~-ԣBށnqۺ& -bHT&JuC.5g \sri'xp4.tY[lLwBө4wJf^#UI,ՠ{<\/Wο4Ozb^$wHc|Q|@ʭGuU30} jҋ͗"J`xwt-HAYG%;1FhicQ֜(9`|Y[4?4`EIŠZXIsPWbЭ1X~*Z?d݁ gk"_Z,@RrR7blÅ;#b0ҊsekI`Z:r}a.eiWgp?7o~%o:mF66mg2jD1ertj @ŖI~J/kE|c*n5#NdsoRkF3co;Ot",٥RSLxń~ < ,/c @p,*i$G,O2Vz_/wrd;'u޿ @Ľj|*DtDbdy*SMx|5Nt-yg\8VG|x&l*b4A:Z6喉}n@H%CSd(UcaPՃJ;_n?||yZ,[d)Qjc=~ln2NDHBM(ze/ZؗfG MB%@l): S:8Fz1- i^?g&~kHabmhz0kӋ2=.q/qC+dRwpz N/ؕ~< j<JE*%UO66Td?V `Je!(BvLg@>$Eo wa#34J_#u <7ܣPlZ"olxO*KˋRRJ6}Ã="S?P vtgpPX$Nȉ->VוD9$/w̦fv$^Ke`IN jMxh41s.d3j|zviU=l/|BҝMxfiiaHSΡߌyd [9rY%#\xfR63GhE9M+ķr`Z%Ip/P&-Z~;񦱑M>tv)`QOKJ\2T˗cDQLɚY*b1BVQ3'\pi/ݬmO]~R>pyFQs_lYS ! _P#"#{#/6H3gv<D[Y7l@s]}z:ZbzE,E>~.ړX`Rܠ BTLF Iq& 2c%fwb8<.Ë w卍Kա̍ 2][d^~cYi{pC_$h.ۨ~qH\ mQ(:ڜc dx:7FI%QRr#>*eLH+MCavCmqű7[*5CFn؁\χ>=T0DΕQ Aϟ+{u#dh:\a9/}\1`9+3G 2Je+"˸=`9o#͢$m}E\3Nw?_*" ՙ8oxI`emo)h2DQNM?[D$r0(drmV=Mٴ½` l&MmHҢ ɱgYZ37361ccf4c4059bddb9679ac4774ae757ba837811795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 8824da5da94930ddfce667ac17b527f6850d0fa6 e02498aa174893e4adef733015ea8f3b3a8cdf64 2e2bf6c8e54b6daab8bd226dcbbc8dd68ee639df