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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info q q s#tT ]S]KAT_and_DRA:threads=4elapsed=31.047cpu=96.964gc=3.2167zXZ ִF ! Ib] ŗXiɟH)0%o
Ge e&o}_\N]|xR`k0>d^O^ Y0Znjzݫ?PUxP %Zr2Jܣ3{ʿ|il09l_tCa ;JFm 憵|cf-fy=K%2ο9Ei*H7eF5?N 1|iUWaiw]dzkowmp>X1I VIƎUۓ\:M\1'ZV#)ajpNɲǬl(c;=s}{4i9]Z8/0ZS9 ,iKbW߮Vл腿_6z$'ƫ\s^O plvl9ROٙvWV 5>"#Ū^"R}Y<߂*3؍_%`VYfc>~kkz%!NkǛt`V4 1EMCdKbXRzdB|UF91&vqE.8:T@[^\ aE:䴡[9O)ߒi wBӌo`\Ѽ+~._%gۆ4G݊ЁzIj EI@'c܆{Zخ>|܀ vUpн7حqndum: \|&<^%k&yQ͟ٺ ]Gv;Cň>:rjS]ȟST,(kJ{~fUwUA>ttF:owY!f+4(;8Wp44$ZlV\VA2Ԍw bXPYx$Nʼ(`q;{1bbSXf˪B ^~"J>O ICk@G8HT%ة*lfu\r#WkbQr!t|55e_UX{A}Vkl5x!*ϿnG1*H_wҷUAD*yU