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  P P-#\|\ ]S IOA-Storage:threads=2elapsed=1.580cpu=2.352gc=0.000factor=1.497zXZִF! ]ŗXf1-qN50^\z(Q^ bA]#H ȓbW8{#im~uAe8!$H!FZ*c5Z4eWÅ[@ o*,B 2jvUoRH豖X 5gYZ7zXZִF! u]ŗXiɟdNA\1J;?}aڈ yq"j>.@3;/b ίȿyhI6r$#廰h1աdgYZ7zXZִF! m]ŗXi%;Mx{e]lòkwLl3DjmW^&;愼Fji3RE {0>ZC|$O5`̄TF(OvfKtE%Q%͊:-ϡ|T!=LrtbsugYa9wN m-OJ5Lұ4: duFiG pe3jQJ** r_/Ce&,85zLZ֊XD%4~^!Jͧ_A?f}i1(xLSJ:"Ϙ{MI\ WXj 2侦ז5Ugp1vZ- ]j!ltY27/VqC@ta2pH`j{gYZe41d1b237c3b2aef3cab1552003ed3613b6a1652d50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 f3c0eb87b6ea50244ffd6e2056021450d8313ef5 51b5f1b9721d5d25a46ad06a9690a393347e0cc6 # IOA-Storage