SQLite format 3@ .;  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 E#d| ]S IOA-Storage:threads=4elapsed=1.371cpu=2.048gc=0.000factor=1.497zXZִF! ]ŗXiɟH)0%osׇ2I6e g~&k4 QɊfܽcݚQH5-YHpFe 2ULW:1< gmۘ"it~h~dmRׁ>_f =@p}5 L+B'4*[UŢH57wY#&2Z!qlffU%[ϭer2ԴIzx |UfFL~&SC2eá'XsBytx7-CzXfҾJۍ&oɹ`Cd6#۠8%:\֍ z9X>\-!NT2nObp\}%F5q!gYZ7zXZִF! u]ŗXiɟdNA\1J;?}Wu;-jc/ڋFXDgM wS_ a;y!.W{.ƤWjnt"eZ$wDg %աdgYZ7zXZִF! ]ŗXi%L!l2;L)cTعw6嶝u6v ZqHXMzR]^mtVuz>w.H( yh$?86U(\5׾C^2tZ˟"9J5Dv̰mQ^8D3&S`P;3 a(nqZ@uJ%DB)ddsTϠ8-$2W0;SBٙ=҆WjLuS=emHO]*ø4t 4TB҇/tDSEfs6eiU Vp'|' _HY≳Eyry%/>FӍM%_믱FG=R;%ÁqDe'g CNrxLDvldm.4?Vq$'uJ~_1 TgYZ50c51de8833b6a26aa8f5a027e70d38bd0d0ec668215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 9917c2bc07c4d4ecbb979dab9a399298f5853246 3f6b92c3f5f3dae94c0f1ba92fe5a09b68c3b086 # IOA-Storage