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  ?d14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Cg iVZ$33>-zۓgh0_|t~%{twh ~04oڿjWiB$ m04q:i7^Gs,gs:,]HbuxϘ)/m5qALRhJ#Lu ]L{1Q&63`Qr/Y!'ET:I5\yP[٨Z}/hA7_xh.괺E:y鱺 ?lph0ibU(48$QAMXCP-~g@_˕@{E3+:jŅFĺTR4 &DPt ? HOL-Computational_Algebra  yL*Ieg%& 2_9e yBc|7m ;+{-<8kxR|5W1 !^kDVcΘf<^(O. :R^z^uϮMŌIn\߅L ^BiwL/do/rD6]ݶ켄^(\|%' *=_qxU?N TC1!WJԮs9k}gD9x{{ڻnύC^3 Ub֩L;d6}K$JI:VՊ_3UWDۖXn&wtO*ʌcW,tC]H %>K%^׶P^=.DP ̖ wŌWb,ڤV}U psagYZ7zXZִF! ]ŗXiɟ1yLދJ^ UQӘή+:$S@56`$W.?|U@OfK۹I(紹ꒆ)5 !8I-8 1>'S`;Tyؕ@,r=vقJMﰊ$R8]Ibcg+G6c*9ʗO5'TfzG(p4?)Q#FhzK#uEǭrHm"!VZqO0.+u޷3M5[m : r\wba -xgYZ7zXZִF!  ]ŗXi%@`hɓErw]keõB'0N m?r޳_pG1fa11x|011 ԝ/l'e0TE `j<vqY~$&;lgJc^rh$uL^Wg,3Jy HM[P絝0!OBUiQ!L^k'| ){+"9e2&Z3ezEA4* &HE/ONYxhMa)s0,;I{ *fd2V:z {lΣ P^VKHe"xZO"*kW<ԄV OOJ͊r] ;Pqޠ*i봽#v tϦҕ<<|Il7Ȗ00mMb] W1+y$WmUsb'HiR(["͏B=aƵn?t*Z_{BKD.q^\]nd]_XȺ95 !qrtiI $F|bu]&(=(HD?1Ge=^'x[0^ʒ/5 TbЪw%ܣZT 4a4g\O>@(E`:MR P-}2N}: z39@%p!t 7&Fi "#`)6@IѠKRZ_1 FΤS 8^5*_P X93E|ovܚ/3ouSpّMtDrYP GO}Sgn*Fs;9HFse\Sܖ"{^^q2,1g'#~:''s؎ :2h:L(LM9e.bTyS_P{ժ$uAsgefu]~n%6G&uj͞ˑ\Q޵6FeƢ~·M_<*f!rපu!sPre[}޹2xOykx:TD!@thBVl"sUdទQ޲_-ϵ âhbk|[.(]b/+ c_?&ejDI`;\2ojn"% qmA}Q[(9CJF.qh`,vܱ;S3~-іd([{͹h"/ztn[`wdf7l1{/)"oi[B4Fl\LcHpV$,ld+R)>0DH8jz\hM? 3c9b`t6-Պ;VZ 1 x26[d/V$mVKix?geW;C3!!ЕhA}/#->xHe.]cUs & w-.i9+XT+&JYm?յN눔81y4VPݜygvv̈́`酲`^/V7c/,0cyƲ ԓ0g]wqx"sF´.!C'4Vל ՌqToeip )7a̮qwl/EU(&_=t,?irXFcO{F)L;n&쯶VVz *0˂-ٌ!Y5xV ٜ;JHF7(KgCL%?'iy@jvWyX_VT܎g`W$zJeBD,Z%r@W"+C۴Ed~gYZ89ad593fc50883299a6a803e52ec7500b1d9a0fea3c406ce68cf4d9866a541e48db976c61e0e5644 6f001823600a7b7a26170a48ef13bd1808146348 1fcbced66af35848b4211b53d0e75e682d09e06aafdf054337de93900a42aade12ea0448a3288c5d