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  7 6E0Y#gTo\fxPȊDVvst3;c}/ɿ;d59*nrw):Ck&(ȗM?SkJO<^⇼=/vT !Y.|G)9e/۱l" w˼Qj#sC<a,x`JiFiBd%pnRdgJ6}j{mBq?SA13{\wbn8p;RXRّgwq s,{禉mφAHg+Z'VGd FƄlVl4 eں;wwTpfZDSӊ|{7- EߚX^9Vc lw:R02 au$P0d5{G‚Uvyu=zh[3}6MD!!R 1{BgZ0 QՏyQ XX8DKدS\M3%恏-i3znZeBJhJp6s%?\b|^ a+%t7Ĵ,ط}]t4[;h.,5`>0yJ@eM)OYP|iP\ZgYZ7zXZִF! 3T]ŗXi%sT31NHs"MdWËm_dXFnka~ʟ?sxx,\ E AUPl; `xfu n!X|>ؓEeWU3p(b) Q`;࣏=wP ,B+62y@ .A\Q͵y3N$RAͤ:HXA_5xn4yfN.9tAH;zYpy[YnG٧,̊: ?Ji`Z y(N\HIksH^V/)̹G}?e=Ѩ5KHnJY9^Dݲ>x7qKm|ĝ Ry{Qǐx+ UKQSH-R!jzpVw:8fvXhvt߼) U0 ;3kV40]lnkF8KJ#*Lg6 \Y|]zlaZ;P[%W&H*,JjG~=YU-ҵ*Ht/}h:hńXбLL޺#qTNdnҷ"S\Ku&'r xӘ81 ^#ܬ|r#A,9 UEi K?ԁn@tRm0@ǕbD|i?DjE0x;If:U`ǧvZ֊7MJ4>g&N(3ۏ'o^NTwsoR B]鳫i33OW3ao]ŠRBϓ*^`!D986?fTW9DZgYZ1e5050dffe7321848fffec6eae4cee576fab8185 271ff21afb294fcb60b3e0f95e8deadfd318f7b5 5da4f1f8a066e90a66f3844d13a77db517e4322b 7588c0b45fb01d27d5a16b2316079bda32c46d12 90db2371874ef554aa90d55a5ef6d85fcf492382 c1d3f35c68c0eaf79f01eac4a7c70fb00860dc82 de1b4bfd7aac57e4ba66bc495845eb5c501df06f fc4ae0b9e83eb5cff2f8eee603452f00d118e8e79711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567ac85a28fedf17b3d3ba59afb480b2079d6d7b15c 7 Abstract_Completeness