SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  _ _\ S/]Marriage:threads=2elapsed=2.920cpu=5.012gc=0.064factor=1.727zXZִF!  ]ŗXf1-/6vR[Cx# U<Y dCNhtvaYgEoVwyKiphs2/+o(i!/> A GQ|OFSTW1 of$BUgYZ7zXZִF! I&]ŗXi%wK ;XUWʫ>'ZBid"&L겙lk\O1bwgjsIH ; a5v%A&" LvK3)٘+F (;ȖaƘX4_O^=gQ*ip_hUKv𵿠14B/j@N8Wvdo7*TIiMs>$'ﺖWx pӽc\Ь2Ҁnx:.*Ds9E*ʟHՔvb"+rԟ!hH e5BJ!W]VA"I3t|Ǔ;?kMKBN