SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  <) DL ]/]Stone_Algebras:threads=2elapsed=55.067cpu=89.460gc=3.192factor=1.627zXZִF! =5[]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmVB)i|;S#{h4竳 } 5'{%Ԙ p;]̵5R0I@ډvN ײ#s'Y3C%r9 _ruxκ N_f'mwr&¾9fsxY 7$;Zu>|׳L? VX4 l<O"]O|Bu\{ZcnK2jm!`SY  !)6b[yu]5E_~*oܻWHd 5-F15)#4ueR Hےl!ƌ v*O׋y n=@ ]lAÂT>gib*u" tK-83Hj\?< rej,B@DY4=qPPv9 ) Stone_Algebras  Ūz*}H!]4-cפYЄ|1Hݕ5_vѶƭQ(F{)NKk}:p#l3ZzpKCY-+U0.R h^ u4nSoL@L:fvum z gYZ7zXZִF! D]ŗXiɟ34Z5Oniі1Pc0L#Nen,Gl7I²;-;Gm.ۊS H=1ޓEKT #/j'lJ zp$Ԑf-(aiÉ,Ǩ/a GG8KgyTC,[Iyt-'P6$$s? ;Z4ҜAǂ RTR7L V11SlmlkQSh?-Rhw]?QaB)r)Bs /awLm4P4?~>z3<, rgLnPz1Xqdk~O;^Vq?iYsz(3I5?YgHIdؽyG !r-zA^:wh~|ǰUD$؇IÉb189HZOCWɲ~SPZdyM"+LM [z-xdf=V"U/[ *GcA nTYKdf|Rժ7CBl(xýV93"{s!xݐE" ix޽B;.C<~?:#|<?--Bs1{Yl~K3܁zQ7"'t?h,/BV"۟kS2Z8B\@y;qԷjIY`X|GdpZxj@'ﯯseN GxkpAZH!5;C<.jw)fXpԙ֩`ˌ*׭`k3(4N+?x:Қ=LAJ3rSUS9+GҘA2U1P>9£wc{oGxɕ@t%_ԩWdFZyn \u8ໃaP`f:WЉB ÷ ԝvl FP8'>R'*8.P {1xwc,J,ܠGi'`sNJ$ NG͸dbڟ1j:A}+g##T4*EL3e{Úp+nCAK ~xo:UV3U% z9жX8S64dƋE`f&bR.Zf$U/~ 1dM{ 8X+e\8k"m+ b8̸)9>I̚JWYmq+5bWč~ 2etzˤ"HQmXzp ;fa{)-Yɰ1d7H!ĩաEƫ ԋ '󦟳!LRlf->z l+O&ibб ô'a]hHv(wL9̥d}cp|qsL] EAKXhm| uw<9DFG&/Ğv$۪jfcbp0Y vRpP\%>ȥc=Yrz4@%bŵ?\XIox`F \?:fEFtB+|&* 2kVPfkB7 ):8b5^77 CO,n`&MTǃH2bC!Kkp 쎖hH0廏ԝY!]7{x58כ7hEi^&!g~B7!Y/;g̰L>uea&4"'X{ڌ&.Xr{==&,f6x?.*q`s_`*< 5@E'N OtZЋ%Xi_Ռ#Qm?V:̘pn!Ç*G׻QD$H#{ &ʳ HB9Z}Qz0-/9i}X ld6']L cv3zՓ|}FcX[)b/G1wDx%;joHcS_㍚t7HƓgF=-vkN"_ +.tD /#csq&oj%gr1sёMƋ3neRet  2=D1nRe!g\kM`*tp_rYXI}ÀGbWsS_/﫱^||5`ós?JMXx\tI]8d@0uls4T\l ܴzW~0ik51<a>"_Udx)ӵ22`YLGrEJ;{n 0~!*J7͔jtSL4H"fV7 "3զ iJQ#ľY@%곆VDLdI