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  }) $Dd ]S Dynamic_Tables:threads=2elapsed=6.924cpu=13.328gc=0.352factor=1.927zXZִF! I]ŗXf1-/6vRZaK Zf 0kߵDڞӯl.t>PV6 j:x[CwܠIn S ~aF?<ܫ6TaÜj̄#r[`9oD!L8 pT7]VR/ 8o՛}:('VaDNx+t3;#b&l7tg ,@k{r)ljmnx8v3wHEWq2U51`] 9P$ۄܹ45)&~kN$' $dI:xpl:a:k u xIVgYZ7zXZִF! []ŗXiɟ:4+m.a9o;<mj}2/@Vhbb}^*|X(5ڼ:D<`orqw`mXDgYZ7zXZִF! 0l]ŗXi%>g!f?՝}۶*%Y'㽊,3LNkqY/C(vQG4,OϾʹOb=#~l\]CflpR)0>OFsʘ应OҖ'9uj bYh8\6Vo0 Os vG)ӬolI/ &{'u^F/c4sj6l JL=jZePRUFw1 #` @XSD,A:7"f@v8'.YK. &/K#SO RҎO-qVƣ+rHm{aH6`H/v^ Sv4ήS5$h1Id^˟`TgYZ8e1f1f8ea486d761d6d6f0a1fe0463d219f8a677a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 46a7f0a1ec933b51e3ec28150406bba31054dad0 ) Dynamic_Tables