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  B1T ]/ Discrete_Summation:threads=2elapsed=3.941cpu=7.340gc=0.116factor=1.867zXZִF! g;]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:)yVjݓ>lSd$7шNz鯰4Zh^duƂIJ%nH"B~.A9Vȭ::|r-ַfߏJ5\=|φQܱ$ϰDk퇱e [py:%"T1B;lM(;51~Zgn1\?`7Qoz-Lߣ6+B.V KA 0@=gYZ7zXZִF! ]ŗXiɟֳ5n,)e m$P-SW^O]b lNdhsS[~Q{/mWgf eU7Uykpbe<& ka ^%3ôaz%!w#I$9.f ";c&$S+=gYZ7zXZִF! !p]ŗXi%>gP/R\SΆP*)9O'GCz;s}&%dL¬|&Ryҷ;nȁ1dhuҌ"1C#?|s"_wYXI(ߜƋ,9.rā 틂bkIݦƓGDD@.]Iau2u'?7;l XT>~PX Xmή*l|!QҔ,i~oA ֋{x",SvGr'߶:4[Kas.h634VtH7;ȋ0$7{;A} 7''~\z%Nّ{֚.ߛu`fP6rAؽn!Gu 7|dZ8Z[5\N.F_* !uRc^1.0OQ!mCbA3|{OMXr 3/X!j֑ܿw?5yAh >*^c[[ EcށZ5Y SgFʉKveW*AA, f#PUyui"RDA[ww%hf|nYP/Ni4@L^~j?2pK"