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  }9\\$ ]/ Jacobson_Basic_Algebra:threads=4elapsed=49.042cpu=104.136gc=3.224factor=2.127zXZִF! 2]ŗXf1-q恈͐7ӺV l7L!hGfӚV~rȹ\~V;XȔh/aiQ(UdzJ1zkWL=Q _[-˴sdPҤ _fv8 Mt[}j ׫0O~j|)'%x^Urm+|_+nNj[b 2>.ltXh\w&S| = L$/:z/'&tu6l胓u] f[=بo28 R3( vv]@MNސC(.&P)XI.Y/k?0Eف{tGj𜴯wی?6GKT8ȭFϬCoа{@,n|6׿Lܨ"QpYൺ'6 ioG˚olҶR SH r9Nf-p$jfe! D8[Dl_=Jpzq?St7N)sښ/͌}v>nUxw5bd9@~xAQ-#_t2';D=D== 5u6Y򝯦{԰T.hΌCz:Eb UtvVHmtgGcJn/T/$D3/f]~y[d^>Jb3[{ϗLq8 Jtsn+b[c bZV+H#Ok]{8]M:'=KΏ":ņɍLN[Ԁ0Ps_4c,˞7+ d6"!*غw\juP3;ב-i2Aضey94p[?$efsczV%qοuxGQ*g;W,z'Z3qěٻ5O.#Sz󐋫Q{7aS 9 Jacobson_Basic_Algebra  xo#Qg~#ڑV*(gny_ JVnI = e~gYZ7zXZִF! P]ŗXiɟ1˦r!st#?9Obb iz Y2IъŨ4&M&?QZfj'MPR/* $-GW hi%Bs{g?_ba%Q*Lb}}K8:gYZ7zXZִF! (` ]ŗXi%I oġRmoyd%P^tIc oRŽcGo=QKE{U5-≻o[b?0Y掑τ~.pl&ZV;EYj썁IE*>0n`x0tS,KwEU,\-y]Zш1nx푗G:?O=ۉ*D*}VXQ 43ן$fcf8w1;s1'h ()wr>-VRwS[1׷$85,œ}5AF."*2+Z)3R4)&@X^E[MWW9LU!YaŭAsFI'Uo~rwktbe k3Wڝ ?H=.@n|^6wt2(rWk*^Gݹi/N_)<@-Zfΰ~qշM'Vv / C/_m\"PΤӊpb%dRD H:SbGou#u)X[ɟ et8ݮv9W$!&L2Ft\>?tCM<D tW]?k%t`_ًE3DR H%E2\t)_165ȣ0u:0q_0غXKȜ3\w7F1tVㄢ~b;~m*4ݤ/SbZ0W>EGXi@{EbǷx ^z7MMxԌEi 3cymKK쭮O>rQUiΰ#KUaǎ|ؖi3uxg-_/M5f_cQ~G 9] r XHM.G۲/ڕ3VZbWppj|>cԈ9߃!Zq9Io&vF[AD< c. G2̮(\&Ueë:L`>KymczҔuO%S7+Ѥ`Ôϟ*s#"h n|0 3i8ۇmLhM$ kXw#M TSÞf"'He]soZ6GBb5-G5#ku5Ƹny 戥0`bJ;Ɯ) Gfg^1~1CBdBPdlPڟ/qH`mh mmztQi5&$8Ֆ4(_㬻VP$;'{Ȉ]1j\-4`a՝YG'%xvp2R*u{U>a{|˴5'i!A=Y@Fj[GM6Y<lmoHޮ\ [oS7OGA`%n?oH9$X z&*ez}f6T vV6qj7"U9]]Z {봱_EjX1/\hyC';`HLiPp"ul ,oH%^meO>ax~Q,ѕa]gsJ / 27߷ԚCȿk4@$h6//j^xfw'b.6L|2 Ctj?w XM$uVlo$Ê99u{ŋ*"P@9kNkؚD+&#}Nc[Tŵ,@b5(=Ǽs tIQ6aơt9rK B iXn4(%4~ |Ead2&$T1e4>Gk V⒭\0)JV6cbsј $>}F6iѬj> vlP*zdO[Ml*QgTB(gwµ]..;ىBMm.s:Ezz^Qp0f jz}k(a"umhHܻH hҢ⡠pm!/7k*՚9[Ѡ#Tyn)f^l/&O;59OTΝ7$黀U#,7-sC;/(k"[R?O Zz{pF+G@%|NqH>^W K̾yɪ@'vx"I TjhbuqPPf%4uyՌ1TRZq/nTW"(ӝt`5)衔~>=2hIB.B<0Yx }Gu^/z6|ᬑ%wO䭂4ĭwiGt*KihJ5LSN}kr*bǫЙTm\i.'10tѼfn/Yz)qŚbYͳo;Jm:2T'g{[, \ž)M8a s_L]fcc}!.w@}=PגGTIQ?o+QSa94Nr{!\F %̌1ƫw5rE4=4@nkAU~n7FT,ަZPO. a gI{__? BFfojLcR=ftgs}aC%~I}.yWv15jg$l 氽^ZTYaf v~FVU7r!:cl< -3Z; xJ怒]̋_% Y