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 x/ TDT ]S]First_Order_Terms:threads=4elapsed=8.800cpu=26.796gc=1.044factor=3.047zXZִF! gb]ŗXf[&Cz!iPAUY]6{uϥ?+;jQz_4YUwvlȦt%@=ȓ<-[S/v( O.M] Wh(؛,//n䊸4t`D]f !zl@{B=*X>t)Z_+CJv{]8'6]l҈<% aDe髅' 5`&jF}( iZ%9ıX ? nʝNڢɔE, ϛ^_e$xo"kDzL]*|UtǶϭJՕvXFdm2]$zoYɄ4?)s="g㘠Skv9W7竅VQiXV#ݴefpl>&s_]BIC b ṵ5d}U;u9)2f$Du$BERI3x/(N`3,&< GC' `m)3;{kDE:(9(j9$5gYZ7zXZִF! ]ŗXiɟ饜وYFh8ꋊg6ɰP85|16c/yCGhͨ%\lF7@TT,M>56Rci!`sڡ:ސ{a^t%1 󫌔py: EGO/1*o'@;ihݍ~cg-9@䱪( ؙ#mT(!`"'S~'BpX+&:ilO3A}uMĖ5;By:Eш:ȼՃmh=\(PdeW,R>yNDG&c<9UZgxO7/-܆1a>]B"DZR7YzW_Ӳς(O,RQI21Qg1m*EyԩMll&b)ݱm(QUDFr) kOA'a9;/W{p\dB.`ގi8KDZ`hLF\V;UIJƥ71BaMKr~ABjy&.O<TvJKXT[,bV~:~, \NyF2OA! @YjPUQ; Z-u 6S]C^8 َt崦b`8(هW*) ·k.rt%gB72HeS %>