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  ` `$l ]S IOA-ABP:threads=2elapsed=5.497cpu=9.500gc=0.176factor=1.737zXZִF! , ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09 ;#qdo>əc4d kWD 3]j50O0չȌ(lB|b&߇f~MKOmfvYHVŭD>^Tt)yfW)Ϋiϧ~(]0i4mx;Z(yO 6 |.{-v0b:W7|%έFK=7+~* Am 0PLgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgWPx=yLcK J~Y-!u)PCM!\EuY Țep$X2{\!螅\]^Wlb@vQ{sʹ-ēȮZlaճK5K fP7cpLh{r|=2`5Ҭ6^a GGO/.zR3/S!(n5=9<$gYZf85c24c0ef9e2900c66a2e835f5f8a517e32b6c6c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 6a0495497e4fe29e748a288ba8138e6ef472d52a 2710d2628976f27c1fb4bf51156786327795d1cb   IOA-ABP