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   t9 ,\D ]/ Jacobson_Basic_Algebra:threads=4elapsed=44.205cpu=97.500gc=3.112factor=2.217zXZִF! .M]ŗXf1-q恈͐7ӺV l7L!hGfӡ`aj)GTkj [݁̐ -c6ⲕ<ө -A}@(!GF6gC ;w<S-n`kiO:=Zkưb1L !rI|n֑{@Y*gp/N0U`.)!vJWmKϷ=ąQ/F&,t ֘CG,5~DҨA[̮IoNb.JV[Hd%»VCT/mϤ;GdLyѤYǂӕj[&; l/a*Kɢ:oh#rwْێ#/4|19p1KhȦ#RF  GIUΧ6dTa9oM(͂7kx=y?,8W<ߴ XUu{Q=Wbeޤg6vCŔ$͸Fu݈f&;'qηδ'(e XUVP3Ư֩e>䓚8&24Xz*1ǀNըz-ƽQ,+|s>8 D/=5Ս |8xN`b.gr][A0,׼ :&>ap .=$r >rB\:RG.-FcԸsmW螝 ̠ HC$+#wrfޯ ]ǛC¥bx?ʥ )*Puz1Բ 9 Jacobson_Basic_Algebra  %cҖ%W1 UM;Ui-Ol>A;pUP?q^dCL;[7ػժ'N'NDdܧcu]L|BM q"cm،_&hcz=odTRN V wPEť1) 2 o;X,@dnͷ$.U]vOgYZ7zXZִF! P]ŗXiɟ1˦r!st#?9ObڧjxHOT M飵FٍDHyjDO r賵e:A/,9^C8[Ν.bPppd(vu{;=/"3>6r~3a;#Wm:gYZ7zXZִF! t Z]ŗXi%Gh2?G= ģ66an>AK"XOaEnO]Bͽ4}59x/XxVfM<} CtTu9)}i?r;[)fIh~cޛShۚkV:) > ~paY^I)vFa\tĜR=ǮcM4i=xk;l7:SF mVDʭ*hضbȰx 8筽ٓ+,T~PC{&IrOb_'h]7-7(G3 Y,&2U\'RN$v @"EAa*M`ŽYA6&B<0EgM^!~vղU=c3[w rl PTLL-IpU xl)|dQ}0i(AWPM<59Os,;'c)_-G2p,r+9?^YƼ㙣uwkZ^80 )͖t(/ 7 ]Eȑ~CE#ٕTDECC-p ?Zb!gplҾDMT 6ur2dnI?u}@VYawzx i~;uԉIT˱LJ%Q@IJ+Y)9C-I?[ia褓9OEbZ"~= (Coh0v +[IC<n<3H`鯖5fȢ4L8hv34QƑmt"ѩ}g@JTǫڱ#A4-iPb2}%y@[&¹yzʜ76H7(`4̍ L#; <ϗ pѶ 堓P4Q}bwa#Η%mS1xKdԸbVL(js@V=ƒ:EޠIa$`lFT$c+̖y'Ԯ#x\v:jdӃBg&-\g|JK1e?E@+ո= llzdy4w‚N/ } ۰q( |Eq}-C~\-=:,_ <͔_K>9߿:ΩGq`Ah>Yɠoٷ'^<fU|^f?h BW`C3K,_JgmFM)_KRmS3c$.4K$S4?uaj%q})p&E$o 0pJs{zV; y$`DA@H#0JĹ=_ f\|?t$(yVv->%zୟD'8|"nܿgv*AVIvrִOXfxRevL,R3"?@!nB>NyõGzw H禑Q)d*C@ w"9=eHtyb2Ф'ȭ%,8M[Tv]qBY};g|=4u6j\P˅~]H|H22ohרr/!--\sd b&s 3yQ7L-Nm%) <Sz,:vFgC#_7Bv6HDI8ɺ w՝24#jpF7y&"m3L ˚T,]YjEjMh&$_y쬆F/ 11q-m,:KuRK2c̚i/~BfQ栅K %(#T?QRȗ9SYH`ˊZݣ2Fw|#AʌcAg [e" GI H} X I~5ʹި76BǘNn~>v<+ad5[u +It *b^퍱Ctw:y"o"3n8`VF8^G",&1fX̯Z~4YBS›IC[vzCo;M:A~N8uTjz=ny_H BS<^n ot1ѡA#'<3i&~sI_R![Z^lCS"ZD޻ %ߧ1 dnqSzF}7`ܮi@./e[`ݟ{iDh2EkI_׸v]Jآ9 ,l+{M{&=kŔ-lœ'J3qu2v3KrEoe.+]E,}e7TJ学@`CuP@{P}"[eR Dv3Gۏr/㼛Πx(S(FMY&NA DOo%M'p%ͬ_Hܵ ĨM"D=w+-7 D.790O0 hW?[[~u3X>3' ޚ]dTvFEQolOeAIZVLn9$Ok*.ȧ\/.OR{W1rFtA0B`0[rxM4dĤ~`k,0,$q K߱,qpq1[03!a 8|۲S߱+Sd