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   a9$\$ ]/ Jacobson_Basic_Algebra:threads=4elapsed=47.584cpu=105.616gc=3.296factor=2.227zXZִF! 2%]ŗXf1-q恈͐7ӺV l7L!hGfӚV~rȹ\~V;X2ODN1dRxy'w j/HoP;elƧ eUOq|`! h  iY\My *| 43;G*:D^{=xR$gm6 d-n瀖յ/p !?f.c~,\>u3|~rԙfYUV_Z  >oV{NY#A=|=N0WO%Jռ4z ss րDžP[yc2k>0Z5Ņ\`;谙#d!% FCOj֮{h9/p߯S;E/98C+:͞{Ǘݯ,3\~a_5N9W:bsS 4HؐsD܅gC'X2Cڃ$U3`iڼo_vgm{)@n8k!x34b8fFJuˈ)isfYH EHe$Ė" vn:*7 F\߯܇ rtbi*s{i]ySQt VwtZ jeE 6Ւ2S ^=fJ p/' Lq{֙9RAxDC: A_:a}A8"*lJT:?\w#(ao^6z |1CEF+jɾfnEMzk*ԷfƶurV@v|^K_[ CѸ;O;:L Q҉稖lCx:lϳs9,*ۣƚ.FCu 9 Jacobson_Basic_Algebra  h~ojdLs b+—@kS3X dJgYZ7zXZִF! P]ŗXiɟ1˦r!st#?9Obؓm ƼLhy^_ J^d;e_O7Ԏd q &?=LqrFw3L}ET]|-)#KvbIĂ[rLQ V}S3:gYZ7zXZִF!  ]ŗXi%L S'L94\Ws;somd+U KDoAvG&Ԕ"# ֽJJZA8]~jBVŢ{kq%\qfV6O'0OI$KktqgR%.MφĩFӚJvz ;!됫j'_.,ÌC9鑤)wČ2% 5F8G.qcڵtO7y<*P :EQ ے_~Ev5ō3]X@cҫ,~>c`t1*22!&li4NQ$dK3ޮnM\CʱD]RY<}9&TFWL!; ,NM v\ b/LE}嬴#VkӺXfp-"3eC|DZс&~(0X.|&evL3n7V'xYE}MSb^ƙމ+?&`%\Zf SI.ŲE0GTb2wDǓjHj ^P?JڻrPxy,p}.{v̴r VPjΫ}nqGRFoa[)<]s(F_-Q S}^D3g~j(m@l{R k=({aK/$U|aZr4rQՌ=n搈y R+ĶRK`Tz943_Eb%)>qWx"\No [L#jGVuIV^cwx^1/mM`[ ¨'Ѷ6 MNR>͵Z2\Wen#Q4s2jQL27Jr; c21^9[CCS ܋s[]wuW,9Fj(]H˭;pH˖H 1"3 ޕ %x'q~"cT]Z ^3`|eraUᘔb3w::'h3Z-' y1!=Ca#p!|!9ƹ7Ff 4ɅZ]lD!0[Ejm_}C iPֽ[ w.}q3:A%AzbĜ4;BN6+w~ogD'#Ͼe=`:0\ѿb'>ռS晦|-)l;kFy]U $%]"7EwZzwjʟ+M=Wdnk*ɞ gP[\ Ho46/㧝%t)jgzS@u.Ӈ>2݆1+l b=UF`82oS(. ):o4Z  L]",5[>r Ć4"X߫B .S{*EpZSQ2\ӆQ˰ g媾\|-. Xr/`Cp{{U-۪-a@9q*>)+3aYja;3nߝQ٥z*? k_iт 9VYrFf, 5W&={AABALW+ū]'){("PKðNJ'E^pfFRRN7繗͢a\ GUŔ %~mr`'Rޏٜ-|D(طʾv1D.,j~z$Q4iU(r`2f|V& VHꚲ'e én"ѧYDDS)_%Oܠ(vɓ7FHIKRAA9hFqj~@Q3d{d Һ.'_OެCҞ$n|JC;2I#W"2q^ {nhՐ[/ r}tgyF5S|%~/ ۛ+mP q|h䧺w1u,iBKxq32v*:ia0D|?Q4<Ϥd2Og(07`KL%6j_m{̧0#8i;̑*ta cJ(||  Q V򆏾@@՗?-|f|?=w GڙNm_|V6]N16eIBGN@y7;ӭR|c@D<eP>P$cxPf}]Z\j;|B".tRn֠BZ!+rlg)A -)=6 4uP떆`4㏝بPVp]:!|A[i7uN>ޖDNpot dm֍q|@H+Pٿ;,9`ͥn?[WE4zWsQ mHt\OS))^7*#[{d yBu ui/{]JJksa ςJB֍cZaA'}U0v]Ƙ3s O՞x0٥L#{Rd,QG Ow7 ^6i YC/\ _Ҵ:þEs@ ؾ56~Ξ]|z(DqԜc=tZn]yNwi QӷoF* gYZ0eb7807839c062e7b40a1f3272bd804e8bdac712d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20