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$< ] Separata:threads=4elapsed=8.724cpu=29.440gc=0.624factor=3.377zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Iʼ<x]ރQUc/1y]OO6|1o5)GϳL&]k?4 $b74_æaSMo>cj LQt>?Lf> w;*W]?D4TGٴh`\r^"ES2r{.WrÜIbtnwqqkx^h0+d\j qsj䎡{ 1T'7@Ո&Q&BP^,"eqw~zm !Bߘ@l>q<*CH."35.joJm8Ko $$jh"<]`aG 7-gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KoO^ߗt7+RJl6C&D])IpB2Ҵ=򗨒isH Z *\M=Ǐ2~NׇP.Q"/a7s gYZ7zXZִF! 9]ŗXi%B4-JSt.1$#Yv^`/F P &eR6__nM~~m{S]6 nRs{_u*\?VQJL I@V-W'|N*AR3BCehكFF*\G㗦 \ZӑIojRW p^ygy $2N@rrюmt #!+xE*֠>5d]*5)r䏩6s>a`2#mI< @!Vi;MruU}f)$vg4B++2ǎT/B&[MI!Pbfgw\ q0ؾD0~+'JT"lWlJPp,6|^aV0$B8m6DžH<㞲&z+Hx-melJr#+l&uT#̞ c9=~e/hEP긵#O&3dCIsѳjiH4EpC4Ht#y# 1C6V h7GfA]ZxC*ڑ }8t n:AT ;J]WLEo^Jggv+lX 39m<;`v8ACW9LLyqx;P;JJx}F|-,J@^j{<3 4`> c $#tWK(܈u>'C-F{Lj1M}X\C ]˾ȴ^\tq@)WKI5~5ryb:[󐮉?FXZ.}չhsR_k=(`zPr8܊jh9sH@gYZ03b7c1a6c8bae9e81b7456d01d3e7a7e80ab52f79cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c   Separata