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 EE8 dDt ] Datatypes:threads=2elapsed=48.995cpu=69.420gc=5.260factor=1.427zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$s=!hӖ# iPڭp}>5hJߛX洒8m&W┦:=s%Fy(ߋTa7[aɻXP.+8̯;v{7% jduCڻ֓muiePsH?37c D [8)Cߐl#ox 3o뺣u`m%& l@b?m?7%iئ1d^Ms4z@SeN%Ep,|nuG4OYfA͗;S?7,|ۖLPbDAo*R^~ zˏE곎-G@+ 12cy4@~tA82}&ĿZ FFP Oڋh!-V BWFӎTA*tom_XQ qRO'1L2`7k)g(9Sqڦ$)BÐ\YUn=CDd])fc =xZID)5"krIhP[[~1jkg}}@oxDuQdhNu^9:Z~Z@aP{0@ޗ[jqg@h:/ 8।6+hJC9vƣw;^, b&ZڄFՆzBCmKTyʮ?gU)˴:h 1g$S[buE*ƧNk1J(_ )%,"2cw앾)WB/XV6< κ/ s5Pc5ȚQp!:]r㾳]{v(3;Z\s%=h[c@=ln,z^vn>No= m;>w[\1OŎF!㾛<{$Q!us-7"k'PTʣaB& ͅZb(FvgTK3=zy]f@L{fw9Y58 zߕUdg &޺֛@-1;`Tu6t y3&(["%J;78yD{} r 'm2@ q?Aծ6YW"cu.!\ۺ5P[BHCǘҟ҆L<ݗo j[F :w<򒽃MAԛMKuHt9'B݌99 ݐ[ ]ep1Yt:1 g*Gv= mqk=8M3S?'b1A\Zq-$e,6$AG()+RSF32D/C!Y:TL5!eg?Iއ |qD2B̽$s( k_äzEL>#-^)[_4F(nB+KG"X.kgkZ8Y%4Q|I;i?uϪ?MZMYs7]PN}&C-W{mxյQ@$+V 4S ROo<Oʑ0gĸE]@Akf13;2sH,&^A ԺzH&Hz("|քZ`»[q W^A1뫢kKQqT+ϳ3fYS@_(jy EsZJE[jTfv#7 xAPʽ,kLwOxzMzxʧeWE¡6f2Ԍf3(^&y4Ov7z9{x#ƱgYZ7fea81eab61eaa884269b625574eb69e1678b6d361532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 8f4ec66b19b03b756b2e7c2505a372d748ca1c2d   Datatypes