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 ##Z ld ] ZF-UNITY:threads=6elapsed=5.975cpu=31.456gc=1.176factor=5.267zXZִF! m]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb;Z9VM<\BR$Ts&ym(جX:5=s*Ìz@mQ'o5[)2O9Sv1iD ZsZLF=bS;}osݹ^aLV9|X P׏h!ԭhRY>6G@Ħ='\2!=hF!҄u;2UFZ%*Cj3?wl\Qj}*mvP>L6?ZqQRc*}F`}ݣ5]o0hDIbS9bKJf Cv=M=~-V?zp()вبD.ˢ˔ǜ @[d\WE/kRu $2NMCv_4j;'WP< z'h s3V}_"xhs4pEpI@v1z^MV`4+/џJŔ(VԞ i e[;wS~q}HGhA#SL$;e9PkFT#}+GgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP78!aWO{[dب.c8 Q*$ӿev?QD(32L[_].8OH~nx陟T-czG9<)\=qMi6;T?$ՍG xX:Ɉ^84&edxNx:!֞y /s>WQ@01Cy]w뭘IaK_vHoӢDMFΦS1^}f0%[n-G"vнmw`ʅdYqk>RSC #4ڪ5MgO沋G9C?CanX !gYZ7zXZִF! C]ŗXi%@hYR9$:U(},m SZNAL3&_o ö^R L Wgi)G0@io/#Y{cESXzīȘTPaXpb[D~r&cj'Cao3WodHOr!65MxL)`;.(ڴ\ގFnp;UxėИY]/DGIւ ! [;ȰkIZX~E{9 ɝ3Ǧ#E% x!*))dfqӶ[Q˴¼?b]ѐBeP %RHvA5 J/t^p8Pc ԗA:2gYZ58bda0b73a8ac6db1d81b8b87f5ff6d5ab96165f0f207da8fa38a715f9e8aa8a58fd6614f1b93f2d 9cdab3b3d99a28d70b8fa646223685eb2b2d30ff e9a2ad692167d60a26370a7f037f80b2e06596ba   ZF-UNITY