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   Y9L\l ]/ Jacobson_Basic_Algebra:threads=4elapsed=46.134cpu=106.592gc=3.500factor=2.317zXZִF! 3]ŗXf1-q恈͐7ӺV l7L!hGfӡ`aj)GTkj [݁̐ -c5GXJ *<쿝-E&wB+Գ&/&BavQqOl0$y3f=GݲQ>@eBDXoҘȢ.0 E=(鸩ڞȝasGt;qǨp;X! ./Ú 1ޝvΒI>/iEC_}p0 %eWSIP٭?;δ˘85Ά.jP. 6W6QNbyzQZرG%<8HL3a(r`2Hiٓu9ZlWgˎ1.Sܼ[\m;s#(&͒-V#H=q/͂e剾=˃EQCT찺2ւ:f2yX #QD\CB~5 afIv֢! V1noW~)YN\hzf'+Qm9`VMߏ^ pm8zLA>ѵⅫ<@E[w`TW|t;_Dt $[#좴Հ(SQy\ON]Y5pW*Ʌg#'.4!i 9 Jacobson_Basic_Algebra  Q}/_Cn Rzm8*f=Cpm0v97'`*O`F Rff#GV g-LgYZ7zXZִF! P]ŗXiɟ1˦r!st#?9Obک ڹ>? I$Xr8?$96/bER.<; 7~ ;B]$M- d9)1WgGGItnnWZ`'es+ό`♸~uXd@7v[ĕz~}Zn֖G4m Ue0<=jcq\sn0#l\& 1ZQbhf}㮡dɧ c&p9؋#A*MS5컔BaC~:!3@ AJ)~'xd'fRn3x́mZ>|8#-ہEP0z%qe~(E+[9C9h4F4OR_M_8${8ANCKD]׽u ۟Do j /T{1lwj4nwm80?Gq ?AW .Ni}9֛Ύ h"NYf|&),/7T,rDzl8XP&@۴I0BڵCb<6qDއMZdE"-d:c_)+_+nKi\HAAM0jHǮ NE>er(|Ͷf.;VH{T9业Xkɩ}:_%b0h/!9xhajzr8X [9??Pk>66 ]X wz.k;Jz)X*2zE\Re7|rQ}=Z2@Q(ͻ]ںZy[މAR"8/u#7"oZR%dhFOpmvC;:kpI|E ǂ/HUM X V M8Ϧs^&j$9]Hn~St%vD]m+3~#Jn#w}dp]4( Q'tDit>XsR5nt_$AحBl>֙eXnwMoȏN)slU8_*gtlr9;@Ne=b=r{]F9~vF->wzoSDDb vǼ;$3@m/{Ja>>6σkYru0[tg&v>@MSb M;y>N<>XH+j _vH7.J6O3SQy#m 5؀ _~uch+6}~`*( :%$^nɬTs^zV:|h<ۯ8:w#Yz ]qx5ySƒ]޸\y@p%7G{uIANSM_3\4 ?Kjv` gGV?xGgSWhp1KZZyNSrv|4U8nՓȝ>eP,5(>2~1=z'DMB_l B?I?234hOHm*d'BeXǷÞX%5 m~[DrĐxQ%8xϰr9EP4㹂=w!` 9C_hS:w?6ŷNƨxJHҲ[dnה(aN;v]!Ud-Pc$Xqn=hJr!,%0wiTh@:*C@}# o`i9$@sKep'UÝq$m{g v6qM&\Q[W5 $p!JE2l}`?: MFפ;h_Qev$?Pv82ߞEUCc8߈3MsR{m(|>2W7=~Yo~8ڏ 䲲Е[g,4P z(sS%ৎ.΋tB|O?pu(2o߈DMڻ!r5jq%zZcܵ%{uiM"3ԯaIMwNIwk_>"ʞkle>\J\9qWҍ:(Qs7. e:eOO&_ׄ2{b?GW6x <_$AxRё"KT2/Ƙӝ(R**U%AE ͥvu D|V^;PJ!': Oq3Yn~3k I/W̻mAlxnМP^00FVRu9t:O]lD@`[:DzkA#r{!%Ņ *}h #ͧJt2M]r^;jKHdbHFM\LEB3|\_,2ܫh?0Z]q Ұ` _Ī#hJybmC32c .V 7dnzPޏ:Pl\}ZlGڠWQ.QQP*xoWETQq/%vE"NF@NK3(M:e[&UAf 5rX5#*-Yh W__AoU*ݢ I,>O2ֺ0'6%ư:ԉwy0]վ8΢۶ݔ{+yl.Y?M)VaƩn"qxq7JT&lNI˝@2*o" :xo+29=A`_;63N@8e`(±gYZe1d795a93811f6b86a9671ad15e4b328d2dc679a4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2