SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 b \TD ] ZF-UNITY:threads=6elapsed=5.959cpu=31.696gc=1.364factor=5.327zXZִF! 7]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ʲd!Ʌ]I9itNq/( >P >W|ypH > ָFiðN0WAmh5cV igj{f}N!!7n*v?Z ^6yB~q;,;;w E-MAFi5DZB#Z-7ۇ"W_}S}z}vl+!)1Ĝb+QL61 o8<_ih~OA lQ6+7;Y_ZszkG̣T٧cQMfr4I Dl , (?gYZ7zXZִF! hd]ŗXiɟ9 i:4V;}A<<ګMP7i_1e[kxfDt'Ra4AETP ,;q0bA֯Ŵ;/}Fx!u˲뎰+1UICYbZ T Nt"!-2zB @ԈKrK ,ęJK3g{8RM e>T^ac-s%!]O(yCgrᚗ)p`9r*?W SoK 1 4pFEVbܹNd:Ng-^-$PznPEЀcs$JޚկӬLiu[MG<,\(xEs>F{\oh6w'v:V܆(v)* !20B YI+'oYfl|_:Ν)kG#=zCvK`[ $d+,PlP&y04L/LPhZ1PT4ӄD!]xYsc61#EiܾIɣ= 'iodP{q?(bM1"j4-I YM$ᣩALhpY{è0п$4T!=|tsuIr"ȉj{CLGbRM] qPHvgYZb74e156cfc6d7c117277195f9aa2f9d685cccd5f9601253344229b35f7145f2143ac6522b5caf531 bf36a65040a8aafe8c84dac2f1bd0ffc0bbf12cb 028d1c7cfee930dc4a48eacbe993489231218239   ZF-UNITY