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 o1 4 ]% Stream_Fusion_Code:threads=4elapsed=13.004cpu=37.600gc=1.260factor=2.897zXZִF! $mQ]ŗXf[&R g0Fw[e0OcN|٧{Y<J,KCD3 i2nC4{)Ss*=:tٗDf 8y% [d_kUwV孿u!H5 [k;ZU^6yY֫?f:-9rCcy j2 "a! !#353dbR҂=dI_>skfژE t *b `̯5Ws0̖y&]-u8#uYK&>`R5[V1 ՒD}7YRP5o__6 INhY|d{Sֳ I ~W+p2 ĭ`﹟W[Uӊ͹ǁmn䘇:6m2BJ˪L[>'8|U_qɋcD[8ъAэz7%o^F!5=G$2Y,1W0yT!﹕@OJ i:^<µ!g?1kF%'BZ/xGe/8-IRCfQ\ ~1a>BAΐ}$e'ɑ\RNcpL>w֊#*aϔ}Zp*e@O򴡲RT shaFòqomY8jǰLžCHO7-*ާ~K;F3qFɄε}]H=TO#^Z^f*4pALFƃj IHR殱gYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+>$Gc2 S*, rv=][?(+md]*yAP覼UF?%O-כf#[Z _6OgYZ7zXZִF! T]ŗXi%B4ȃ礠FUlFyVFr,L?Ԭ ~ v`#uUH/GnDSFR/V CƫrS`wFn{Z62! 9LϿ<3iRvB ܄}yr>#XS|x@^udw큜vfTt´S*˰$? ƅڴ6B% _sYT'NYCx~KuHYv@Yᾨp]8cèMUndHnr5iJz{LD^wKGJ;uy[| 톘 kw)/3G&EpW!o/!ݹr$O`z}?Bt+M_?5uxvz?3,M˲'n9``ވ,tWsI12L:DN#w$[a;MV;k50{}Mzb&Ǥ0ppy:DM|nݺ+;6PaEcy1܈7#"̑Վ1gáV,tB}:"H.TZ!xpIeДKކJQ~ A{Z&1ބ u ?hږP >ɍb!Ň0jIм`eT0|xޔ4tmU[GX{@_d1Kvi&̡D'P HS^iYWY'vKr# BJ拱gYZ58d66039c51dd089b1c225c438d47e197fde8bfa9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c f83d9d1b992c26af0df3bcb095b2e78e488da3d4 bf181d6cfe96fb45d846b938c8c9cf740c8be514 1 Stream_Fusion_Code