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 55H% 4T\ ]S Posix-Lexing:threads=4elapsed=14.099cpu=30.060gc=1.264factor=2.137zXZִF! R]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}C:% | Cy,# '.k[*6 "ь@z?HS(U&1u5-h$Ftֵ PE:qm[3]9}gYZ7zXZִF! aZ(]ŗXi%B*J,"u[W!3 y aD^I%WJ1\v :2$%s[" W=_gcqI= }umiI*6 i68B/ COX2LPgI%?>_CU'•v/!yC,`/.||EΌzeg$xc=ox}xu%jeEv p(}Iá|wȺ("OO,`"Ia'D=mQſ'0ThwGpstXRDR/5KQ(=@, ~Gh3RZ-hp(t<S3 (JڻOƫtEܖ$VC|=K]rl bWTaSԦE2Uc0A=+m\}}0%z!E +ބ0* и"C=>?FPP+O(":~;&DnF-&'Y9 GD0ġk& -O_mnТ YǢ~ʼn/},\gWLUNl`p 2?mGRdsn5xYQҪ9dښ'Sٷ~vl M5cXx?\p;\vzZR LeCCeGy9ϊ@ Xi#;=Jl"xُxNqT{"v> U6aĔnd/MP*9 M -'\=d ]g/QE!X0s[TT^dYH[At៏vZ'Ѧ _j|}G<uf.hAƷ{288L8h~ejSj\JFPbFNQSMrJW#zu7ZN J`,mC:E5{F^ξ