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   dTt ]/ GenClock:threads=4elapsed=2.276cpu=6.856gc=0.064factor=3.017zXZִF! x]ŗXf[&CJUN`e30: vi?ŴD=ٛq mi.z M ւuvaObQ&RwK݊ثs(s?ߖ@٨pN-_Y؂gYZ7zXZִF! E>]ŗXiɟX/LO18#jS:t;$iTDQw$ZFPm}YZ7zXZִF! s]ŗXi%B4ܗyFП@"׎ci[y"^V)C&ʓ"_T|x )%0,K4̀).0M )fJ*W ,}vj__0* 9V 6w[ر\wMc1˔LOF52Z<#/{‚gjܴ¬"$WC6jsJԂ2q\xS̼[o1;\@v$s1Uf9j 5-j# u> Gu+8~xe7K_\ҬbH [.RQ4䎒ogbzq3tm D43(HTtϷv<ryFSma7kI7WzuNd;o :J$^;'oNhrH0`鄟U aVN%g ѝ(T:SD]D|^D{ǔ*NM!Dutnx\v"d !~/~жseR=X`P .'t<\m>0F*p=|@(ߤS#9ཽF 89TȱgYZc2028e3d11e57fa4662fa188fc3ceb98208dd0949cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d   GenClock