SQLite format 3@ .  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  l l 1 LD ] HOL-Imperative_HOL:threads=6elapsed=34.267cpu=70.716gc=2.176factor=2.067zXZִF! .K]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ8 qN{ n\ޡlĖ'{}h`^ʹ`m+ GZkB(<38l1b;J| U#{Zw J8o5_t"&Q#pE~iAs&, cuk\^[G{g ~,T6I ij@wi!|^#yf<`~6_QrSL J*P$6g:k瘥 n[kAq܃zu0w=c.Y^rbG0 uJE* ҧnN|&U'"w*wBWt:Sm!*A~I \ݶV]F,1^Hu9L U3"xgTyT8]hqn.[=+Rx1tHNهy{;XP>RQ蘈 o7pF8oTW~X *,acMiWi3ۯӟw=R9JAY+8M1cAK#&MZ88,8@P,SMT1HDzmf@w>ʌ Ld 6'FI}(+ \),gYZ7zXZִF! E]ŗXiɟ1nhЦx"n_8N]( eOtd>q5ruB tjfG)P h,>+`ϲq+Z=Nı\uAWHx{S<+'`/? y rlTΛ]_whZ*dRlZ=d+ϙ́6r khWd rn7(wv(>BV{'6x$[ɴ4v@Ar>4?ydk͢bc(X%>4$M$(q ֱgYZ7zXZִF! ]ŗXi%B BD"X_3"iAupP3%dNOG7)ҶO|Q34G:շ~ٲ}Pr7,H 0W Zde<%KPo\)LbΎ" ^S ,l 9 N%"cU^'S?#_DȗvY2mĻ#ߵAݬ,.$=_qLp}\4m  ME'K_ǥ"jyvDjk&Iɵן3@k;bt?u lSoPE,TBlpdW@XIy_SߵަZ~*Qni5X ^ʛٚ /u.ގxh~f>Y¹|Iu35hv|8a=cwg#x1sɜ2<@!qxsAeRaX g­4HIufYwLkutt9x/479xLf6lAIR$hxiֆ6tEZG*^4M.mo}&egJ&`׵q0(.Ӯ#JnCWnn 5{WȠ>3ͱ7$`˔ qy̡=؋d3)fo㍅{7Q~d:)eʠw]P4NB& DꝬmV) J1c>Yvb-TZ߱ C}r QTV!^MѪ?ӁF2'mJ=!1׉@SrCuXd}s4LMgԣZ4m{J ^3mJ^c^-#,˩6'nX;ur2*,!"(^+iC DK oIy~T0p%cQnSX#G>7>R!{Nuj[S Z|_b}[QG<35H7a'h^-~1VcA{#8u\:Ak->frELVacx,M[y gr_Wiecˠ r1&$+y^P 1=5à0z( 6=ʋ& Lf\^x1BC H;vT1 =MiiHe] [lɍ=agC/oVp4hApiTD戅떁8/{ q 0rp7Y#*/2LU sqiwormF-vn|`҄d_9kkesCn, L/$( >uY2.NdB+{ 29iy P`2%Ig>sΑ ҆z>l*p A8Ojjay:\>^8:՜4Y꟝>Kv 6%pa+c!(@j͠y~z?c #pa{kSb$. jIS#)Iărwq)& 8Egs05xcZ%=0s PJYA>{,oO(jFaj041uݡ4.[F4ǔ*ъMNDk=܁