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]7indexsqlite_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ӺV 8'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_tGP2|Dg<6MWNJ˼A4UH!(iӔŤFzT7 |h`Ԫr}:d]rՊa%[i!rtǫ(HdNA7(yOQ!UrI&Bb 3FP9ݿl؃שiJ ʘ.7ɷ"B0G)NFCbv=啃g().ğ_%5gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLd5ٓ-j5)qӠ_QSGԤMڟ1 XcϮ9Nd]]pp@:KoB;b:'8M}tw|G@gV?d3-VL/Ҷ]DjЩ)\3O}cc}ѯi͘|C9o΂ϲ\<| _ zX gYZ7zXZִF! 7|]ŗXi%GeOn0*8wWRu %zHgM$gTK=Oa"_͢(mpv\];|Ž+gÝD'vY:V5SMϜe#D m}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?