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 SS* ld ]]]ZF:threads=6elapsed=12.234cpu=43.696gc=2.568factor=3.577zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^CߕZ7SOg zVS3KIUd{+<@؞)?Cm {p e=|/(`T$q:I^8q * ď׃ތz5_7sA{yܘ>ؤNlm#([d6:,o\`r%oS"ͅ lX OZJtEgS0tB AaP,~Y4IQJA6]4x^(0漩 h;}3Lwuomº * m.Af@c,a{amA-HǮ7A%6HXKJxu͸>r'j`t xNg %nvLX> ƒeZ1}RI!{IrW/P)pY :L6ӆz$$4ٶi,Zq/UР \w:K5I~%Ow"$GY5ARE5ǻCԼ jKq0࠘or"P)"0x 8ނu{qS _S. %b|y?OT-\{f.уr:>d>40gYZ7zXZִF! <]ŗXi%>p㦣GA2l=$HڂK!"Hl+%UWxd 5h "VYm(R*MwyLMpCh !~fNA+H8T7 /[/o÷6:Ra)|6I p9Vp- QoTI߹\{~(*@my _4̆V̟HSm6=([h&zv$ r r}%Dcg J۵i,d\qpԶ4O8.fK({e.'8|Ұ[><KUt8wOؐ!7Pi!Nw p"wb}%3եhh"}/7Po(D!+SXF ^ْg"SpU_L4 jҐ p8 $ `mLN rI!D3O<#L+%}Yě9u?X Wfc+j| He|eE묕B:/i 3 +VۙΏNvY:ZJ!"A?PO+=㭅: $pq]aVHgnc7s}U%yr#T~մ* XJJhA/tZi5vyg`_8rohZ9`e;<5:i% 9tIiP9Tk}U5c=$lB j>oF[e x!Fn xR$ש1@ N"`_AETok㚕CM] 8䳚(?cVG:umL'vV0ɘ?#22AMb7m