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 ''V tl| ] ZF-UNITY:threads=6elapsed=5.704cpu=30.380gc=1.492factor=5.337zXZִF! r]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8C~Ão g?(F_RkUW_Ql,uD AKaE[NxŘ2]/(~̦y6|hБRMs9{Il PPM@PiH^P ~9u) !P^VXx= _LC)LuĢ]S|~ : o9w8 U{VH  B|)pD_V`\TV4P}m<8n$&Z`Y#x{l$5QTkDػ{i8JSGS9Hq#dAb̛st?dMfm xqo'U5|_Rn{hL \/ȉm?Tg[.bەu:ZmŎoY*3H?#Q 7{7aQR $r% MC,C1M5/ucթĭ4)@/j 8^EEA!,;3ЎFCp۠a[a9VLj5P̫,ID"^\F#lZEbbu4fQ|0󩼎 VUI@N+Oy'g>ħdlo} eH-g86usqϒ1|" ]wx]¹faE*iI|zmX%06NxGM]fM~[ވ1Eg<)"{gn B>];*Oh(@HЙ\J=_Q@BHBsk }ADz"NPEoKXܩrk^?Q2$@̔[G({Qhv8y'_sN1k]h 5q;f\jCGwKMoh&]2yĂ3xےϠr+T1{U8%s>Q}YT{*׳at\!}K6`[XmM-xz>wC4a[pLb~I9f/6qrૂ"Y4[όa$_K"sڮ0)m