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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info bl\ ]]]ZF:threads=6elapsed=12.397cpu=44.308gc=3.164factor=3.577zXZ ִF ! -] ŗXf1-) enȈA"tr-j.ZbNVHDݗqۜMXЅ"oѮet0z:CTe ZX5_ ͥ-SNs ig悻*n셺3iO'!_U,<4fk<vBҫD7҆r@$Z*2<W5^0Vˣ Zi1W. &*Q}/:)b "$#L) ojɧ7sr!ɽ~)'}ymf*׆.~B|W|XJ၄HQ5 Em71ᙖOLKnp.7æXFYjcvlYw[j"bwLC%":Ov wNl(b7sloe _KWEz @x'6BWZPQM5nQc }xăqM]H-v'#C^{k:̚0棺 `9AriCO|6m.@ )*VJY 4m#g YZ7zXZ ִF ! @] ŗXiɟ 1FE`穵%NF5Vn(jTg;Qs3 AAJmwqN["EWXe88oɅ涜@q'1=kTM㑉=-TApwm*2,ڲB3 AfO^eݲ߽U$Q nwA=L\ňG)rWoylVt5 "2)C,?#F.3]? vgPkyj67P'7T:kđ(ٸM-0IKէzNAezDvh$Wģ+J/"mufUkbO _|ڴMk(w\+vMdg:G1 \?E!)Т42+˩9%ZٮVgl뜍\t*0NY'w;:kjqWa(G4Vu/dPS"v9Q[,ĩ/m:bxOx7 dF ~3g YZ7zXZ ִF !