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   ` ]S PCF:threads=4elapsed=45.561cpu=121.152gc=2.980factor=2.667zXZִF! &]ŗXf1-q恈͐7ӺV ),Jxx2br7-hb(a7Ey+&k.[*˶ f'QL+ u.!|PԪ݀pqyN^=JʐS@x0}D832a\oOP# _{i "Z\g>YLq}8 Y7Vmn^DdJ7U<q+3@+@k3t"[xvn7ʁѡE"0PW%봮]:n& £dOw#`yȌ3~ +a)SfNָ}W#(EPU rF*H|]9nzH uTƝ|(O,G91?bf&y @ˊK# FMƪG '齶HIl*`3[vDol|R>T2  (_Li,4Jr[;®ӿ.}ū\586w4&rC7O]͙ {H1aSD'Օ> Cʣ-Z3\Ex3WMyo>rg=8Vl0akYp,{H*o8ꁊr6-P@ _c aʺz?O4yX5'tU^ҹW̿eϪV.!`e*HAKjU[T>+|uQC?͌tt 5" ["5f/'cwP$`a"*#4RU&,+{O/%ьx%ǀ?]r6R MF!gYZ7zXZִF! l]ŗXiɟ1˦r*E$O @zֲ_}@uDӫBzaߦ*d5𷊐f|ǛB[nhR5e>}0M3_NqsXTw3LGLڇtЦ ZScɲOɇ\!NehdWKr8|ES>.>\U!0fuC JO>)Q[ ["fV+N"kzꚱgYZ7zXZִF! nH]ŗXi%B 㚿4*Âa炜:O8n\  PCF  _=bgqt7ᱥ%|V=no4OrR3'g"#[&mQ&0d^+*X8(t˾k=gZ"?!C Z sݯ6U*Xϒ"FH*IɮHА^»AIb .2Hk{w'FPa^mґU;}ckfR4|̰Q'͠l7S}Q w?] ZA"YB] ZYҔU$ra0:\.[dR=V}$7ѓUZS0;P* )]Ck#Xh"E XzuUҿA=9*ndoe3uQ@ke3?8n*]?VngG0_/}^a$u0LL@ >Ljx/H8By,rmT~{(u:3m4h2Pt0:ߓ0GO/`Ṉֳt)ŝwRT7B&G{/G!;T =>*1寁CJ=]G7JW(}>;@pLР8A1;>@* }`PD>k@|cKB>/e> ; ҪV6fhijV3on1:jigeM_c[A]Іĭ >itFh*(۳`f*ִdASmg0%jk1 g.T,@0Rթ:,#IdxμCTC=)SE")[NSZO6VuEjL$0ѽ7#O{fՏh<C@= vׂYAc(ʾ- 7[9iU:`Fcs{e8J!)n;{jP\"@pg4'^rV/{q!F{ ֗jhj1}@XYs3wqX2lzP_kE s<~Vb^32Qbk=<&O&H9;A,̥&{qabCcJN̼J,(XU*d:#&fѻo/p: WOk%/~d'nvHZZ^pvܵe&KbŌ\TӳWSxō!ER^z1cSʺcw_>f:ьL8,%ǎ|{ww-Y6_곙( T7# DjpOvS\KщQ͙cjn5o1"W@dߤdpRSNjG%9/#dƆhXyT(k+,$;云 4g \[n6>.ا Lj@!bMK|8"W2 Hy{Mt>_ Q.rruMCfp+Tu1җOf]* %+朊oUr`X-F׵-_[^j)Ǵ؄S75{dۻ@PMkI|!'ߜOl^2KZYYX9$<$ʷ$6NܞC#d_ggOI]FOG%$l}񿭔F^qCOrZdiBKUE1 \2#Bo& dpw_©z;LK#7 ~l#]&ֲb7s@r!aRm9晜p0a[ TаCKf90,a8Jq6Z͑AW E(W sM[~%+o$⫔_"/$OohX5 oBp~cE=MHQrmŊֲ&atJuށ?]G'Щt藱rAʫ-Z <2<3)g&d9vUJ'9%>c