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 a l| ] IOA:threads=6elapsed=6.973cpu=31.912gc=1.384factor=4.587zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KqY(Ug!Nٙl} dQ'ڿ3v:oNy*J]fCЉO]/IJ4|7QcpШ9YgGll徶LLm-0GHнz. OJ\Bݦ誅l2>Dۧ8-)Y 癗_52s $3j/je? \gYZ7zXZִF! `m]ŗXiɟdN'LvH۹C<qWYzu3\;3~6 L  YY~wA&fr/u S&tpi䲝\Y1~h!e:--cXhҽMM#4@'OO[?#݌I5usmMFB]&$m; HޱgYZ7zXZִF! &7]ŗXi%IS<wQ0d/vMFrAr!XRNn("MJܲDdUi oK$d:Rw)} يT^ 2RBa| 14|0 ]#~PWK*o^R έgc[>uXW*Ǫ|%@Tf2D_Cng,OK{y#"'рުY.R돤[iAhXz5@_N*'</Hw+ X_2a` HX-0yhO-_ ᴚ ?/dt k,b-%y8߼M`63+S59{!EPnJpb_QS|9P$6q2(=Ej^sMH#{Ú6o 媼~g= uT؎X:oW~zpY2,iI`0eН x׃ l Il+"xv!Y^3|y=C% Mj8Nojp5-W>\;|QYջPvGQi; +=frbQn6Ѧ\[ǙJ䰶.*?,nglߢ^,Df2x?کbEhwBU_]`|N~~U|u*6L1~;#.~tihڎº_C?ɤuF9z~8ICΨ`7lzba`IX!rlc|E:^R\r\;޴0[L懽ߘ3 Je>ʕW<=ܹLW .y-޳$j;dJ>a6Wӟ^N#6JǭbN׃TnﮐH2RF"!5fifZ zX(O,:T>AްċY:u2w3'9d0:R[jg2/-c"MGVgYZ79cb2a56c1290b4353b1473ba713c2ff7381ba0be61d7bad19c83358620faa4245e89410bb30de9a c410e6eaade7b07b89b00f412d8d8aa51c2217ba b074aaba0ef8de1d1024c2641f37408e29a131bf  IOA