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  | |y94TL ]/ Jacobson_Basic_Algebra:threads=4elapsed=50.266cpu=108.780gc=3.456factor=2.167zXZִF! 1]ŗXf1-q恈͐7ӺV l7L!hGfӡ`aj)GTkj [݁̐ -c5Lf^;HiiC ^kCwk۶<?&籱y<8ImnHW)e #.Rqrb7Ւy6\2=/5N3ɗ?g`[PH$ vuw ;{i=ڪDxjhkm#zO|pF0F2[bhΦkݒ8따ŕ(e޿+ vV>-E`rWHV1 ƶb(R\:=AC-:6wfl-i>Ġ/*KFmpȓRbqqlo}:ռ9ZB (@kyHV XۥEg|C^ F&D|yAT1`z@]J1LK$aq8+ oIwՔA6Z^P{%y{v%./p::_[ ZZƐUmQdW!M5N cztI0%J#vΚUqTKߍ.LiAUe[Rmˁ "`6Rׁ(Nk$iS@X{keB--<Ϝ 0Zb=ǃ-ٯ2ɪ4V`2R!TH "mg\I@*GO$_B TR=l'(sBBU?yU<#WPG,D5 !&8f hp|@q&c(_#R .GE?39zLUHT+$lc;yE~~l=bzNmaoU:8 &j 4- 5\-IFM30E?ęqVmq\R$E8@q-tZJ[FLdOf8Pus%k1ǒf`wĹ]Z L9V%AD!XGxq/ c~gYZ7zXZִF! P]ŗXiɟ1˦r!st 9 Jacobson_Basic_Algebra  #?9ObؕE M_b8W'Z6aO'm!#R͖JT&|'AbC-h7g>`dGQQ^<enIxcԲji|2dɻ0^T-%`ckYD ER;2,宜'ÌqIJd>^!b܄*,K鉶 >åoRkrY#1nFF rE}l-J0"٧> dE t@ 7MjtUPr>.V?OLw}: @A'kۣH9Z@ 9|ƈ¬ ir#Zm v7ٗL5`gmcY{?\^$.*XÂ)ix4L[RQo1Iq[JH<[LaM'f88AV986`3[ ]nLb [,H9-,]7eD2X"`tWr4sRB̆#eDhʘil\[ )jϼCJ@צh!CfQ_#/3idT0د4LJ5Ej;;eu<0napO#>r$Gӛ9zL0@ƽ @w=T)Tc!W^#|8nxRCuo*+غXs8({']IvG<>.Z }j1Zj<66ӢvQ>AGׇ~=*`&vj*|ƶn=& {ݛ;LǕgjGE?~rJx fCLVPeW-'o; *t9@o/ J eCyG`:ֽŚMB`RgؼKCC#(d΁T* ^8 )َ2/Ş˳{o0[%\gg!n%axoW4OU%a< d͒X:Nw͡p6pVzC],Mx<|eXhAEt?LHEٙ{7k<E<r=Ct6),7 TQZVKhDS=i,NvZ^0,Y*T tx]+dw(Z w  ;^J=7Mj/PV.XUZF~=xTqE-7FW7P~!е sd8Yn!+Mo{̓հy(n{9Msݹ*_1Cmր0BȢQ9(̦in4?i ; 򭦥r=|]d_՜Z#ZSC3z,%p% =:|[lUCcfz$*mbLǏy@^EꢜGѻvhJjlwU&D=x4#7Q9DSz:am۰L62˚lBJ3 [.Er6:bY}6!_+/̶qr +%O CO ۲#ɣ`-l3,ÓT4O&'w}aE'%N@s:ϰ5o#Q ͫ%nn3=j0i:caXi j6ț_t!>[-V~sIrbzm?QA?) :uL,cfDHpR[{?2*0d(׊)a߫Kls%Ȼ%*o4F7m톘7ux5>έ57 <}BK1t(5:) ݅we+p:࠙.|@ $؋)ݏ("`ptb2 |9~Vlj0Bqi4h<}la XWң># ;mkGR|e~(k:AE"uO^ 2)^[205D"eKhY5siI;rfI6 駺RNJ&cL9]0#gh(&HQtc-xq!>z<{G?jenB;->]*9w,ܴx UW4'Q,_B%|ֻ~%*ZShEzrU