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 ~C <t ]S Comparison_Sort_Lower_Bound:threads=4elapsed=6.592cpu=17.688gc=0.456factor=2.687zXZִF! r]ŗXf[&!9sA~2jP;QJ&[]xa\K!piǏn%;}D0}VjwaO/z4 IS9bBіSmxOk[P:O8t&kԞd*Yo'2j>=2OFTo֏!yX)dnV7|K;h[@{wXG)=3+;j3rU ph^+Yݮl"[Cj l|뀔v}j}aC g%Ŋ"A/#?=rHS)`O smI* A=Uj}a>:4F鿯d {jZEB_P]JړgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۾4^ᝉǛYi Qqz=6dUpF C ԚԂ.AՖ֞ޡ@-t;-M1dpgR_UU+d%FW ǺVD-d!3j;L>y30%ԡT|gYZ7zXZִF! 0&3]ŗXi%@b^vBXkM@ԝ;7 C|g*E8-YU~@'W|!>T5CVj7[B#݊:++~_s͆\gcbi2B) 2 ^?tA1pcy490ax9B쁉S< đcIE|fd²| [  m_aNGtYj߷dy?Z&{t&kLY kD>/T1-L9*wg$ZӱOwc&N #cB_ Hyc 4n b a%J? ']ʭrD'Ȣo:k:FMIq8% -5p%!3*H&ĔB{&KfePקKV(Rnk\ :SP8YME9X >T $' qld:0cahMQrký*jI øetn+.׍R}jxrd-rhtMAPI S&+?M԰r%=|Eb\}6O˝J L p `\l^yfYW63ᕀ TrKtkhDd'iALg[(k]4fbxoI}Uo9a2o.)ZQVGv_=8~O0x_͟VTJ49q; d zBZ1;ō5&*̡䫋F lI{`g4gYZ5cae5c3ea9b9ce5e28c2d3027ba5e3561bd6d53a9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5bff1fe22e9b540c1fdfa44011b452f73533aabc 49c76252e6b5a3ec1377592d20e634a1afbebd9e C Comparison_Sort_Lower_Bound