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  L L)?LD| ]]HOL-Computational_Algebra:threads=6elapsed=35.469cpu=122.920gc=5.544factor=3.477zXZִF! 5(`]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Cc{΁$- .(,owf;0OlQv``%jYd<'ytLh༯EaR'Ñ.] r!w>$uRFH  jg gYZ7zXZִF! ]ŗXiɟ1'G0fq0'pz)ҹ}6InT)%#[يm]' (egYZ7zXZִF! ]ŗXi%@^2ΖgOiT8p/ 7Ί}·ԛ${= Jok?hܝ.쵎m* utT M- 045v{|R^r,+{W-Ƒ ~bX3K-#K D}OdfI([̢Mo_t4u^o-JC/\iBؗf9445ݧF6khqᐈY!iɺ*# 67`"ʏcq4n$Iy4jTco fsIo]Rqc5w0Nv>Hlp!Y_Ƶ2WK`N1^WxYew/B~XڎI2[5INpnBF`v `_:<Y݆Ux#u L%p~nqNo{ʧ"%!!YߏPGeKQ9R640 D^i%"bZAA~cd$d%!r'qoQ_K A,mvSޛ$8xP=u-M63̋?FsBvk,응ۨңYy: NIdK [9 ĴE3ĉIE B^A#Dp/K12DbV;TfB'Z|XJzkL$!~)iOs_8e7lw}qEۘ\П&3[sfC"GON1Ov>ɞ"@i79+K3n#6h@Ar 7OsVƨ2p"T-Id 5 C _0& SܨVn8ey*酽Θ.LBO)<mGԸYe}ԋg2d# 6(6@!DZcu[DhDY=;;\Ċ횏AJ4PTgZJ$k׸1(EO6zWqQu>l,Sc\h7j=ߗY^E(KS2CBCycƸ-ّL W78\k@p,_vH&\l&0rحP,c/ ޮL g_Fod[HSh)j}Qi>1DI]]rfnΑ+*_0m1ζ0!}/+gc%Idj", Tx ۵Ŭ \^PEKϒ珙 Swޢǁŋ ar=!%c S DB5h*POrMv9tݸ |F4jܓc&9]*%*fwoL)1B7{|ˡoʜ"i]@"BG'ׯ }Zz},*$H\;<ܧ^RJپZ9'RJt*zj~mGPăKkc =Dy 8-Y25@37>SsEasC;otc{r_1BC a _dLl{?Zx&ʺɾGʯavUJ9xZ(PWB0q?4/*kl5 ]t"Mպ"u; on  wl0VPرGIr:nb8OMyahmGDzgVZj Dq by}6trwAҋξ^xS 3uk6hB47Jg,!s>7Xa)ADeWwש. QL#B@YN, 81@MQ ~L-'(ұ{oIВQQU[*מ2KS*(~Y=_M<@