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  | |y9 \l ]/ Jacobson_Basic_Algebra:threads=4elapsed=48.561cpu=111.568gc=3.224factor=2.307zXZִF! 48]ŗXf1-q恈͐7ӺV l7L!hGfӡ`aj)GTkj [݁̐ -c5K# b]_&VnQ!]*Qb *p/N=`D*ra S&y3i19n3I Jt/Ϥ!F1l2?>Go!e7LJwrhd3AgVx⧧3wӞ,T 0ZY(7qڄ6ävmsX[-zHD^*`~ق!W#c@0jSQ oDɽ"ڷIU)}p OIg|y ODOHtC\?\~NMi_-#Gj) uM'BS9C^xB&KxH ח%ˠRYg3TfZ:S@s FhQX^I3Y:bDΈkO!@S-LTݶc;YM*<13[Ai&6ݶ#.]yt3O?ˀx.~Pھ9o9.}! Y3VF;Nt@-丛:]>@qDL?jvL~rAtUGt2 ŇLs{f`ڥq+:gYZ7zXZִF! %m]ŗXi%G̉S EVF8Nі <ѩ7%Í6Ty,Y^D+0X>?Is~V)K~yLoG,0š|=4a{}Ǯ[Y5?ʼ(7f86Aea !crڹZ95m =T޾\O_}bϑ&X.Pby+cU Q)"ՙhuVJ7GeR7jr7$с'_SUY:-fKPH3{_y4e6fOpo {VwGSF{pQVGM,d:Gj(͗?ۆJni W7HFG-Ǘ %]ϖfQ IetISkyF>=?~mNxM}K@[OWnf*s7^W]!r9D쩇?_rj,ˌjo1c@+Ċ,$u:TSi^$-ث%p(ɨBY\ژ[ptBgݸu hD=%f8lEɇIdHԯR~-ު,#T)XᎹxmwBT}@1hs\&uzo(r擁_Y1k (rܸ 8Y+p8*PDowZ__h[.&zv*шŚmI4` tH;Z b%PӬ=S4Hm:k|3D8X.aX0clh 6lz*_F H?PUW@\EeBƞyֿQ&8U۳+ثɢC`g 'aJPXT(=\o-殽ݚ+p$ŷ_ysT:*n7 Wڈ>nSq` 9Nn ˨4~ea%H RN1ʎ">Cw$ٸB6!2]<'4kj1rXʲlя|ꨟ^֧GQ!, gXҡ<8k{&S:Er`ArDX!{@lMD"(`Cƾ>ƴ!o6lfF2h,%#Xt]QJ>UKDnnM Ɂ{D.* ^ZmrjMgz40)h O媥~**.IׅU f~NT.v60B=N-W^$1:<~ǽD'fؘ .҈U&XL3vaVUɋQ}_&r!Ԟ^<+qaq2WGg6&yzva)F;b" ۿ{\h7WZz{Б$ `Yv>o}phh 7#ڇ}nmϝ^9ʊ(➾;R%=dd1"[Im[Iyڪ{ Oux :$<ȡ, $Dµ5>*QFי n0yD(R8>XV[(eh< `3z_A=yށ! g"bKyf+YeOvaW[4>&_[ Osɨ7 oP'5/eLdqb-|rÑK~̘o{P~/pplPE\؊}c2{2J4lr.$BS gFdl6@4\XdqXԙ|K0fPI UBIW7=[Bq†NAO*|-tdb=SUon9x8f5#r㴝 5}zcn)dBDniym&\RS;W1oT7L\μt½ [i+qMz k-GȋF;٩00UljSZ$ A[X,'kkw5[¬9n ӷ^20 ,e?ٔȦ⼔l~ V'tT` tO~"nԐVZx(*OL) b .LKUGRQG}8Ϭ 0M]PaG* qKՄ{L$'p~WDV<loh tg=Gp.^(bڢnYQ7R7UuBo9/9m'(/ ei)9`Ͷ~{L֝QXlj/&N94F:0:dOtr=7Г6^RDЖwDA0b鈋y\ G"gi7e#QЎaPƖqH &%r!%y`^e438Yӎ+ջ8%ӟ`:N7CB/^h]+txiȻ<Fh"Tfo\Вܼuv@wAꖠ :K$8åLc0.^;YtDg7@[%W|8xc]odE>3|<Ą7eTbك+r'*Dْ}kCʂ=C]VZw IaS Eܞ/ O;ȝE_H0׍p4{CBAˆŴ-RIL<¨ۦ{s*m^lWz'|-txOUpY?ry6X@xUhsyQ |0y@ `[ =6;sې^3M@]FiauY"$^J[)C׻b;! O.N\UȒϜhsf${1dedb>oȨTcV{3 |a 0Ai?@h>H;U w@1޹P?}wAЬ[Dy 'pd}oLj3nO$z!w,F] ^_|",q\֜M$m6gYZ6fc6b9ca3c78b074e2b7e7db16a5162216ef06d778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59