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 ~ tl ]]IOA:threads=2elapsed=15.591cpu=28.880gc=1.200factor=1.857zXZִF! K]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K φ]!Ȃޮ^k 堮76exgm,me/ߒaeSA\]ҭk,:c@("{En+mY4 ءJĔa{^31\%VAVȒʐh;{-8\ZԂ{`J(|MRubgQ7i(ܕZ=/Y䅙Q̫_Q-cW+Ztփ#|RѳqUčN:0 ͒-15pz ?>Iw=PY % J53Ż~GM#YrhY ;gYZ7zXZִF! `m]ŗXiɟdN}BK9汼GJSA6`2S(/"rh${TwD^fKbv?Đɼ~YX0c2V4PL.a·Ԝv6Gd@p HޱgYZ7zXZִF! J]ŗXi%;#p憜博;X 2j"$gyHRܟC6[BgVv^mNgoL_rGhntMWeꭣl؟ٗUdJJ]XB%r7\淘Ҽ)V ݡ7: ˥V'A|FV&A0 _#E$+zBmu%fEAC[{]f% >3 * Jj+o6YrC$PSy%{kt ydp ,ׁ?xTF emգ, 0h3?lfNcIb_LkRR?&]s&S7_0OΎ")xP0ZjY?VvL) <ey,@yksull\u9}=)ciRsYw1:C dp`XxQj{vH}㢎St@0,_ڟҲo#EIJ 2?Eai YX<䖛S{q3\RY0f$dSYCO2;?aK!;q z0CUNa؃Xb8?ÎfsؔZ:ۗROCo)͡2[)+.J"sy:.3؉*#Y-J i]7B!=p+Uv_#{!%0q:i`y ҕx(gYZ7bb93959dd8e93cc906dea9b58422ffc6e98e07dc3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 6a0495497e4fe29e748a288ba8138e6ef472d52a2710d2628976f27c1fb4bf51156786327795d1cb  IOA