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 **S D,l ] Tycon:threads=2elapsed=9.938cpu=18.000gc=0.700factor=1.817zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`y뀸ۦ Y0,z-ʬdӴw |(;E (0pzBd$Ӑ5LG8[\trǩ2s>cK(p Lb$u6frwwГ'u霅<7| fp 8> ʶ"0>em_fC1:yQg覜i;YGf֙A㋤i}Hc&0/c~WR; KʡcilIcih4?8G0 v?Tjw}qe,54(FTI M'M7랹 kQ~*mo>{0 €ÝO$ # EgYZ7zXZִF! @]ŗXi%>g <^zYT j8^UY Œ2MO90zj)р)wnzL-pcڰJv'p RJATAPk'r ~ϋz4kâ6RNz"