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=29.579cpu=56.972gc=1.472factor=1.937zXZִF! ,]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/Dtq `5dHPƮ#)\ 5xHfeYȊybǶ IUK g:rnB~@=2uҨJ&Xa5T/ȮJ7$0#}i7kDd 1ې;zrFʅBњ1OdM+sl@: N<Av䃲!R0t#S4!w9 D)tR:Tv꭛Yۇ M 36`Q!kQT3_ P _cN7YX 3 Residuated_Lattices  @3Ūb{ h??4Mcm= i-/L>@xM_Ŧ3>CwhsyaQlc%87)$,$a4|N>7Y9TlC(mRʚEcOe~0~<IWU<4.B`+ ;mjXJbdj 7Dl}jQS򂊅?Uwv-ŏR'_عn`lh-w]n$`q]Fs扨U@mƊFOt&>:^ssv3Q,i^=l#P$@RB)^u-wFGę^g;%UQ-oTd2P)p+_6x{a>SQ",ïObzX^E^->_NyAm֘TznOXbR[i@ݨek-g:)m 4>H( r\c:h?"'aPF`68}H5@IA`V{ݠje.F93܌~M zXh/*PJ]l.͍q-H4 b$wUlVPE׺ U Ɵ B).3٧߉) 2<(y:&Vߕh4}`ܝH"c-!a(rҮ_p3n%M( .C0dS[FɛZkD |iTVYu#Sl%d􋌠dH/"<+bkevGH wPqG?Q_k 4@0:@PT%Kեg+ܛK itJ6xqS/ Fa5l6f?o4ȁNb\ 9o]v (U:1P^K6O>ǢsTofn# L-KdM^ Veˌ}G)`]o,j3bܩ3IR;gL ĆΛ_j4G7YS錏ЫBd&[ =_!ްz(r}ǥ^ 2s2k:ځ'} no6 Qdqh=KϘe7]6{VE<7Eg3g5f-^b8̋Qh8W ;\¬r,M˧!Qٻ˦bVíg?k \Ihx"lW6yp]%/Pn{X~fH>ob\ 8Ѣ{YbqįVos%\bP! AH+EnECO_VpgaNʈ;֐nl\L-K[ ަgb? Aww99 F"^mR{ y;¶ H(o蘫Ʋ;[bV?l4E|`R~}wJnN m[P0V蚆ȝ kl1Dfɵq)]XK%XGgun ~хC% ŜզزoOR26\r$Pp&1ojP( ؋jtW{ &QX9lnVG-NfXh:0;-qIza .6?gBNcBe#n(¸_4z]u+SUF|qo /\1t+WA-yKM)9-k 8 %w-6 4=#w_xfH08RcѨ6>)Rf}xzvtc]eѩŸjX7]3v-+ %N d0YݵEguCmOӿ3>2iYұd:nrɦChO$MomA,': Jɒug02b|O[+v+=Jrj9jT`F:Z16lP` X%!]rt{&[;''>T_ }O[IQ+I6r38f>vV{ {B՜Yd\oӋL>)q{P5Z bII,E*>* I#qJ|CGg(KoJ; _VU=&6kҨyTEɱVf8vSa'nf$MaNr1%nN%6lV2)p~r~:.Ga[6kWr]a~,^9`z fS;Ya=_C5{W3ӐgYZ6f2c64b20a9a7dab9b5201b3c2d0758b99365e6d76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 43d5ec70b1b9aae7804bf8eddfeef170699f61cc 5c4a1a7fe5d67e2d794e58485f1431cb7c7b968a 4cddaabcba58d082fa6e5b9f688e17c9c3dae42e