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  t t9L\< ]/ Jacobson_Basic_Algebra:threads=4elapsed=44.755cpu=103.228gc=3.328factor=2.317zXZִF! 3]ŗXf1-q恈͐7ӺV l7L!hGfӚV~rȹ\~V;Xgam8GAvz1A=3AWl3q7`L{xETM0IN9Av$vm٦Æe6CG{qk}5FJ r{lH'!5(\3YmF_}ׂR0]ܐm*T -4Xse__i fQq緾m*zG/jBd{/m HeYIye9ȧOFiY}?{N=zDws [ tJAc[|$~9yoR(Ѐk'>FR!]g~^k$n<""<?/ن3;* J3"JSnrť yK//6ʙͬL&[3ABYxTIiG< =Nos~ 5  L+ 9t^TJJ\bؿ5!6= |J>XvZRvĥ*<SYE:LJo@`F,S+3,1m\Ȥx5g * N1/#OȌ&oͷ+>ʋ;! 9 Jacobson_Basic_Algebra  4ߩ摠6ɘd2; Q=k>;rx#U!vhb7{X>@؏?6X/ޏ1BG># +o6[[킛=WQ[Zx$Ԅf0_ZE"~x* Pe'9` f3gYZ7zXZִF! P]ŗXiɟ1˦r!st#?9Obڷ 4=nxƧv,ZSeEK5eTlۑͯXDWzXD(PAYf<~c$3\F8MkTTq+ 'xa[l3D:gYZ7zXZִF! m ]ŗXi%L 0)mUŃoE-: \y1wMY=B$1(k +h/Dd74 R5:d3@Gpha68_htLm*pb3~\lB7v\_di #_e5>s%*Vyl$F[kӪ BӅ0uãD g-9seBݒ ʵb }[؛Xf2nМl+ӮS;k m-Pd{3Bzd񶣫tD\\4'岏I Y`+ҌI&fyh%M'ScJ"K{8, +Q  ,gyD'j0@b' Ŧ*feFj*<<5}fVƓ BL||-H&$HLe\otZٟ"?8?31Bm}-.GW*~n27 (Ogxܫ.jE*э5uQ{:2Y mGr2" PЧ*eؙ}zf;a޹ߞWq .?Ͳ&-7#EyǾCD&DntͦrQ%zlKN<-]$+cWCJ =Pr%5hyXy a&OF`7ɭ ԗfAކ<{ٻt : RAb\G81"Unw/ufQ' c)# RM.3 'Mg1XG2VQpW};2#k:ù܎#":Q:2K,JU+O;& ,^xςVړzRbI0pe׿*˞[)_"K HG+f(.),`m_)iI罣ȕc m 8% I&b. ` $J*1xzd 1'$ǖCmĬuHx6|5yVrG#HpYU\M<[)rLV LGfzg/._\3?qCEv\cLjڧ#NGbFEќ7"9}0[3pY־.CBpUwlK<%٠CMEX^'~Lqi~X#1} b÷]ppts_`J0z)yO`)F{W`I5`}ͫ=R)<[K| s^ϏkSPN" G~&QSP= H?x|p1sd<44qs{;9ลTXFSENwa;B[V4 |ewx݀ʉ/QG^Kڙ^^b"dh P$w,$t腍sBWNk+&k >g>Mk+u_cna2@ P,i1.7hCB>F$nSM'7uGh, 뺑UUPupBo7= Lx]O:~(QdW8=z(K#F<2]?7蘧bd{`E>Fch:uI):Ҩy':(w{KՆ~=`:e`EW1p0$`ڑ@ a;ӣ}4< `R,,|(JatuM:U|/P5Ad$.J"]֪br[&G