SQLite format 3 @ .0: 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 0+ T| ]/ Card_Partitions:threads=4elapsed=6.097cpu=22.300gc=0.524factor=3.667zXZ ִF ! $] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78 od &V-pd>9`ΛSZȡӠRY~ިhl>rW^ÃQMU`xir:^*-bCf+V/gg"-uN{j9Otg&=5e.O8r2qْM59Yv7z`JںhZ շ˄cBru}[-2+1_t GP2|Dg<6MWNJ˼A4UH!(iӔŤFzT7 |h`Ԫr}:d]rՊa%[i!rtǫ(HdNA7(yOQ!UrI&Bb 3FP9ݿlשiJʘ.7ɷ"B0G)NFCbv=啃g(). ğ_ %5g YZ7zXZ ִF ! ] ŗXiɟ1˦rnzx <@0+gMLd 5ٓ-j5) qӠ_QSGԤMڟ1 XcϮ9Nd]]pp@:KoB;b:'8 M}tw|G@gV?d3-VL/Ҷ]DjЩ)\3O}cc}ѯi͘|C9oϲ\<| _ z X g YZ7zXZ ִF ! 7|] ŗXi%GeOn0*8wWRu %zHgM$gT K=Oa"_͢(mpv\];|Ž+gÝD'vY:V5SMϜe#Dm}k]NRrRG%~Cuz>hآmLi/[oQpc s)AõpA ynr&;00|<o_鎘zxAfnuB!F{r@1&L /ڪ*d vyV{A.VpIw8Bn|f9,$mf(?sJR TRl>G7ieXM7.c ގubr9HZ ZfZKǎ;P4KG,т"soH0B,8[p(+lWcRoMkR/[Ƭ}P,? Q I"e7 s%f,dmȿ_cXg8O^,N.bE[vl,: N h#C 7:"8GbG.R-OV H^Ishln_8`_Dj^mQ2*͟mf\žPL y'U/-_Y<.2zV#sz1Fu)lak]$m|![1X?