SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ^3 ,L\ ] Selection_Heap_Sort:threads=2elapsed=10.469cpu=18.772gc=0.660factor=1.797zXZִF! H]ŗXf1-/6vR[]_ʥ4*M[#lk_(SmI/ !rNa磼ȤFv':bPI:Cy* '2YKQf&#*ŞܦjoUQehm#'FRFߜ6z>ǵ8oݢXʾ1@;9 sJ1'V>hRgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj#XT_RabPo*֢4o;3M$ZõJj4j j?{Ca4!='B%np͖t3aES7FZKb98Z>,NsgYZ7zXZִF! CRf]ŗXi%;+Rb3lTe._qw|]ltl;ٜ6wܗ.t])S%STCFS\2΋ As(蹵(Ru|9Z/& )tH T#i潨 XأUsXdbt!Q(8S?ŸSFUw~xGF$JHdAP7CӋq*$i UC9k9ɅPV'p*&Y4G%8";(C2,o7FI婉t{L={)O:STr9E2IV;ݣNndLUuQ'.^[y8ʇ{P!Eƣ񃊞nVTN$PĿ{ CYʫ ctG{%*XNSj )+ͺh([Ȩy/ޝeZL7KhpW@*{C'p)TtŸ xE.j*/>#zFhWlmP;YDx=@D%ąӪ\.f=jO}}AvO)*!o|Ӌ8P"/cG8Xs؟ >W#6g 0KJ/IXJpUfC")&\^oT'Bq7/L'E|q멍?H6RV ! #O?\.Jʪhu_bc`f]W;6_[G-CGז'3{c?$R{,B1ܱtp.h;]+OMef\(ܶrrtj1]&ݱ]Cxǰ '#wmsMVw<s"vC\Д0c[ U֣Ġ0ǺAgC!LG235lP^<_u ,}rӮ`+ ,\yDp ܥ(xfdHhWtD=fKwr)t^0KCy`w~$ԳIcR44[ M[s]Q6"1DE>u)?%J"' ӆ{CUgYZ5c54a61bf050d2c04177391aeefa631757a76754d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2 3 Selection_Heap_Sort