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  A?L<4 ]]HOL-Computational_Algebra:threads=6elapsed=33.888cpu=118.664gc=5.808factor=3.507zXZִF! 2X]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~C NyݢM,ᢒM㢦_ ^BJ3E:IO\x aDΟad=^yE8 iW4 ׂ!9O#0-ωA)dWln]OHZ }rJ) <012M2{:qo5A%=Fy'Yg֟q t8:ċ?y5R_Ge\ZڗV5r\'mҽCkdk?u MDU&P.<vtg' ۦh+MiHIJnNmdW׷YLobAZ5uJ%l.KbȩpH Y+gƾ}`E8jK5 ieT45@aL)AOw,u?!޳H%W) 2^@(U(0LYe3~SxeRQWZ&&WsZ r0Oe&`qZH0יym tin<;g+ÇLɖd!'zǞ ? HOL-Computational_Algebra  6޹>(~YtdDG#)&}ȋwi܍i>,4*U4d@zžuiksF#[lZʢyKil]r Kxoם~r*#vψnRPC`q@o,MQsdO=Ed_xHYR,Zp1yKNcdJw5N;̜iBp &dܺPg\74puIfjE-utay>/-fQn=}3Gx%bU5StpuEL=95J~ŒqM@Kƀ 4o"0(ݿFKR?,b +kSOfS-<7ӖʀŏcsF/WHmO6eJf'|kV,Jg.0ߐZ[Nެw|4URA5>sw%8Xruys GTfZEy!ƃ2F@.`WEQ85 S6En "wlMO?:qE2?HƬ-Agʚ d%jgYZ7zXZִF! ]ŗXiɟ1ch+JeqLGx <۩\ECx/ljؒo8}ho(t\7.'l|*A4@".2 x-6bq>7$YpK gYZ7zXZִF! ࢶ ]ŗXi%>B`ʹ\o`},);}wLbΤ wG-l2q_&m*'Dkg}Jy mU5yZoVȺb; ȱ(pX[~g3A28pv3)w&(MWhO8N*/qO6-ð%%_[vN ꞛ/xփG\J)Is/ [}٤|GdUݲ.'ؕng!h@)yryB4mfk_5ܻ! DPT7?/43({@l°nʎJdu;BM.D.a?Rː~$0A88ވtໄ=XdNth "Gާ ?2I[(KZgAN+P`љS5]0WY6/Q$K cϩ)m}VT ^ )ޟ !fp(F _>ڶ$ly;;@%cH*I缤ڽoquV䞓Etg<ڜgQ%zD"l K6YN 9?=s:tLr$dN47-uGuߧp՚6wh[xjlJb= = ; dPKRdG%#n omiXg~O&D6t=-![t%28:ѓMp}t)2bXtq@R^Ɖ9s\lK4wu0fPtLs(;1L]YXkzKU{,w6"bZn1j1LEC:XuG%:$AO fntV' P"I4Ѹ5ұ}l+1 }SY#%< tQq SqE^vsn&? {%} g(c4ȵNMLA1sEpUN&TFebѕaS4͐Ƹ kusS8iXfx~ŊN,a0y"oפҏ"3q)ѵ)o @@Ky).Epe8 #s}qC>!yr;:%ڑ$|B;Kǰ>@C dڬl 1#BDL,m'c68Hj"9KDȝշY;CMeL=zO9,7ք  Kƹo10{ig3v2Dŝ;ߧk+r^ 4heќ/ $g0ЂGM..p^ X BeL" i׭$JPIPVz3wG#_#P ZO1go43 CfkLg\9:i'-sDd}w|׿T-#ߝ.T}g"n".OT?yLDֈSF;t,L10Qw.9.AεM6@v-Cp>xL&we"hoN'u`f$@upy=,e9G{ A4Hh2PhTgYZ81c8e7792632944b6464b5c1e4c3e6d9e994c123c56e6b8d00b62917dc219d0244bddc857daf987a 8454751ea11f5c0dd5919b6257ca06ad8a493bc1 bd6f01ba7e618c19efbdbfe8c99cc9de7eb6f387890af34b5871f6b7869df321d4bbd9fe9e6f7d28