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  3,$ ]/ Classes:threads=4elapsed=1.705cpu=1.928gc=0.000factor=1.137zXZִF! ]ŗXf1-`Ǣ"R._[9r,dT#q$+lYb{W_ Tg.r9?G )pGb#AV/^{FתN]j(Ѧ<oto gVdRTgYZ7zXZִF! O]ŗXiɟYmSb!! o;nSr?cYV'#O?a ,ﴀjaj`m RRxk |'gYZ7zXZִF! ]ŗXi%B)iS`UTnI'(x )KssX*|u"V+F RנyS ^U *:\Ղ}?mͫZ_tc?l*wp)'{ag4Uc*tR͓Ogێa(W^"5]g9n] V$їܫ=SCAe^68J~q5sy`C |{i{ &L8ݟk8gx`3,|!H:n۪\.b~C[5hVsD8up a}Iyk;= \n/8DLx ec^BwPXL{Bp+7Ek,u ߄᝚)gT:\9|`}ZGQwt=Q@цQ៵gYZaf30cd9e39c5849a1627015a4010cafb1fd73ac676b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1   Classes