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  "!t D ]/ List-Index:threads=4elapsed=1.609cpu=5.436gc=0.068factor=3.387zXZִF! ]ŗXf[&!9sA~2jP;QJfCp+~JmUͻeqVtgSkml}&- ]=Ĝ&5^aJ^vۣ;aUz=^q=>1t2R@*}FJƾͶ (E. &%9gYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵F|l. S%~g,:'_J>\}YZ7zXZִF! ]ŗXi%Bo|;Tv2~Y/PheYLS8/T)vu,SEJr-ҘE]B5 UrM&qJ910 y@Akor 6"J5JUG8y`Ň$i 0LO&zʶmƳӐ%Q7ȝẑKE ML *[lNOsk@U!ંoIWey9hBo߾#OIGiy!| ,N[M&g礀0 ' ,y'^̯('v?N#l2%}ϰ: ]y# 6"{!/cN/2=>VsETVF?De=\۳\1{>]Gͧ)Tܯ[gzN|>df u ,_]mUz~aLu 7KVĪD?UhM!/]!rlY:GOFjS;rl9>ȼC𾒕 Ɔ?b;.v:J7klçe!shx1\\QD7B-gYZ054a8151c8a54edcbbbc3fa04ffb3010db773a92ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022  ! List-Index