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  [ ["< ]]]FOLP:threads=2elapsed=1.141cpu=1.156gc=0.000factor=1.017zXZִF! W]ŗXf1-) ^XOb86W;D|irK[ƽ0{/I=pzB?){8w{sUigYZ7zXZִF! rB]ŗXiɟ 2 :S~ žCm$|]b* omu` +:WY[j2^sw}YZ7zXZִF! %}]ŗXi%;9q#S:C xey)1AS⼶~eks5B[ϵ$nq[4WŖ)n' G,b$O~}_Oz:WXV;i~_{ƤK$ \Fܷ7p*[8YFjw?)5!T0h3WA,b)>?%\ KuR sТ*ELK%B%aVZ+SJqfY5!)iѬ*3QXY"9^i`;ơEH}8|DXIymefjǦL'm7P\2D6{BnA>ɱgYZ00bb6d252af3df4702c773b7a14a4248c522a5a93d2535d0e4bd099c4cd2accf026f19c1b93bdee5df958a538452b0a26405efd32d1555b1a1a740aa  FOLP