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  @ @='\4 ]/]HOL-Mirabelle:threads=2elapsed=0.619cpu=0.720gc=0.000factor=1.167zXZִF! f]ŗXf1-q恈2Ov<E\:$P:.dus66 h9 7b2R7Cըٓ<؂O oR(K>؈δCgYZ7zXZִF! S]ŗXiɟ1%" jr&,-/۸m̯>䂠f5n ??D$C60?O6coݫgYZ7zXZִF! C]ŗXi%;GRlaw.}Ӟ7T"OCvߦ܍2|y$}0„i$UBuUlX@>Z lK2pHe #ߕ*@QJ 9j黤=k&97Un%1;| @9 UE,P9j:hyﯱj ( u_F2:uƜ;P.q@37n̒s3'_w(6O 58C*-ܰ3#3cx̏qw#94u|%ҭvw'{G~` ̌FϱgYZ3d696091ed86d83c37449cffc396fa48919cc63c071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff291d9be3ec57919280f8d95a73e75c21fda33ed268 ' HOL-Mirabelle