SQLite format 3@ .0:  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  y y#, ] HOL-TLA-Inc:threads=4elapsed=1.566cpu=3.704gc=0.000factor=2.377zXZִF! ]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G.7u$tG9'F-ii!1P !-$0  RVf{b>D¤fZ[VgYZ7zXZִF! C::name=HOL-TLA-Inc.Incelapsed=0.658cpu=1.244gc=0.000=PW\\D"9G}YZ7zXZִF! ]ŗXi%Gg=y" fg+~}ޫA9w7dioaA]EN͞T"G!x8oѭ`?=્j˿C 0Z@v5~٨zbKYL}h~̉h{+ ?+!CTSŹh%stm)2gˀ;tzVRUNV,M`t yXcXՎ4M\75kZiN!7ȈÇ 1 !5Iձo*4ǁ5ðzxQֿ >\gÝ7WuS_ZD9βo/N86OBTކ #:ڦo)X^5M.6ixh=%Zsg ;7,_n(AMgwfu:P.%5xb+r CC"Z8Ow0坯cWx]+f 1/B0N! Uzr RA_SgYZa7c5a62c5f8231dddbc8364955378bcc3c2036d61795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b e075de8a9af8a447e56c57aee03c3c46d0690d77 # HOL-TLA-Inc