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  S S*DLL ]/ ZF-IMP:threads=4elapsed=1.011cpu=1.188gc=0.000factor=1.177zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwY|G/}ܯ 2o=h3,]KS!pWi[L;u ""U qhlq*L9w9fַ#|7ݠ}Zs_# wC6tn;ښ[+$Eg-Es*Xj#Ggim@+~7XNea7QnyltG$ѮZA % Η{#tCqIB{|&Ó`Ρ)H%ʜ/?cR,MGGTu o;k%hA D봸^켜ӭMB o%S 5$^"5,DtUgβh)}.`A9ZQgIl+7{G'vCA( ;dl*ZUߒf21.]_XZUiUgzߜ)ߧ;-m