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 f $T ] ZF-UNITY:threads=6elapsed=5.989cpu=31.548gc=1.312factor=5.277zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C˿i䈲 y2)ʻń2k޷I(.YEIPC|.j^ɗڗ@'d11J\LKUI&H TUv1_Qe 0Y%ˈ{gtMpEٯ:"'GY* }%|v݆L_eii=W ,K=Vྑ^'b1B% #Ȕ.2lɉ`F2}> !͜iKa7L4)IRhC1Ya!WGaڡd[x~!Ē cL#ZG5ZkQu͌(6C?8Nm跼JD1՚ 9R @3SxlotFy Bߟ!XrԦ)\6\Nh"b5ˮˣ 遂tQƄ|T7FKbo-GhGGƲD,uڣ6D=&9ӵVuw StV[6 dP#.cMT?ԕm,cax6% ͺjhh&-ߔlSC ;ׁ8Mp[eL n7w0QꃻsfxN 3{6“s 4XO,Xj"|G1, Vo}EOs(WZ9Ɵeg48@֤*@E<"o ,k]C`fBx=^D#!(وӯQoLj,/"(y؈J7N̝Tۆ/X 4Q#}q&50v}gE t0gYZ7zXZִF! ;]ŗXi%@ZG^LOof)֛4K`ޅJCwyQ$.!j(04l:dLd#okj[h+wO ݍRۗr,w8f?14mM6qy<3{}X"]mt HHӃɿ{[g喞C-d&)KC(eۊQLZ_?XՠٻvH|$×\[;3PLQa3m䩐_ctGbjZh?L(~!a4;%ʀ1ϥýԥ3}}+cbo9֔ !$Ėʅ)4+CrP$ٌ<(I+ @bė~D_hø]ކMM ڗZHn/p*uR P4/4 $B9sR9WY۲l6ň]HC,cOl03E5J $$^Mzc](e$a|*o<[5~ j:ţ%4$=[eD@^cjbϖϚ-^ /v%wUrTuY.nźLMטwzߜ:#'űgYZe7c5b1a1981f24636b34b0346bdf754115997d397b8f755608c0663a4aab9838687dac5bc4543ba9 ada4bb4d1eb585220c97b6d5433cc2fba8d0f316 3312fb4e691f7e5e580c14edeb05a9f156e2ffc6   ZF-UNITY