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  Q Q,#L4 ] HOL-TLA-Inc:threads=4elapsed=1.714cpu=4.352gc=0.000factor=2.547zXZִF! ]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G.脋j~H)]3>g0<'{U=zc`m a~a㔀Q/`I *7ꔖ_3+0!~#hgYZ7zXZִF! C::name=HOL-TLA-Inc.Incelapsed=0.710cpu=1.412gc=0.000О=E4\D"9G}YZ7zXZִF! ]ŗXi%L ]^~#UJg]!Y]<')H#FR͙Nl#2c=R(c]+]ϲ! 3_Yqe˄U+*CϟÀp*L>Ѷ aXAJM9Wpz3?9W/}+p5-/窦\(BۂK3EN]"~9{L읉e,6*?0`e t(&c ;"#(M.ˈWj:"ƅDҺ^ П.#C]XҤvUQ`+Ri`=:ۈNYWCGT ЉVGc/\O'j|Q=~ּ}~UcwQQ o #ۓ(~!g|yZYѺN DX 'c6gJ+V%MP+P\v϶ |O/]2aaG+ت j{~02;Oq_ Ffǻ} 1]F1o:{LgYZ8c2a07d6efb5cc845fe9cd18206e9da9955d6b19d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 d9269a76fce3cb4aca22b189fc4a981179a22e5e # HOL-TLA-Inc