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 R \T$ ] HOL-Unix:threads=4elapsed=5.856cpu=11.276gc=0.436factor=1.937zXZִF!  (]ŗXf1-q恈>HAHIq"”a;E HvGl Jo ګk92Z a݀1qnQpo4ܫo̊ð 4XreKzX8~"0tѹEH۹r9\VMW?xu/A/7il҆ m/N%wTK,v*}sKtW"a {^ybQ!;%olJrVͅn.[IP\t;1ltw%!c`l!ąq7T֬OZtfbn|Es1R׾bϗ5n[EfUFxV&e^6s-e>k1 @VسH?~DQXÀU= 9"Dߩ9~e| 3rrZ#t2YN%kS0 7>fKd+rf+ yIxH GbWh"0(N~\~G&w:3ٙ?D38@; c=zӝS5jݵ`v~ze[8U|>Cm^ꛝ91Y!+r hmmkvPVK#s@Md-E2F,AOr|4(7|l<)~E`.i_8v SN Ʉ9K1!bIZׯ{Am[%{~,G`ƊmȈ($U}bKZN*b >ģs_G?QiRgYZba383aab167a460b2e04c03d488acaa13f0ebb72c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c   HOL-Unix