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  M M0p\ ]/ JEdit:threads=4elapsed=0.500cpu=0.552gc=0.0007zXZִF! ]ŗXiɟH)0%oA\9,XpR p>ny?-=pgEjGś 'g ZXL mM`K cf~nxA;kPϷ W)ma5ux/2 @rm)ýW *ʤ^5?t|3 A8Ar\`G& ^Q Sq#w!=GF.%2sv#ᄞpp{~K2>D~ 6U^=o(H5, ܍&y5N,eO?l 󼥊vb e6:E1<Ҏ_}DSxZ2pv`ZrTJj ;30bވw#TN'~xT#R6/maݶ}iVޠtY#h|.iIj4#i 9fc=3Wjq燲8nsRm07^X!sK }(!TgYZ7zXZִF! ~H]ŗXiɟ8^|cAhVo%KEH ֙= Ms([ᓉU9mS"x. RxNw#9@Awefr/5]AZ`[&\qeg|DGqUT/&$LФ \B||εH2D㿢U^۔ѳnb3| r-e) }[_Q{ke XYmY/})< ܤokaNY;t+d.JQѥS $}M6-)\JTB-)V DŽ`L gYZecf8d67e98dbf62f23c5d23296c04a901e0f96069aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535  JEdit