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 9 T4l ]/ LambdaMu:threads=2elapsed=8.554cpu=13.064gc=0.404factor=1.537zXZִF! $]ŗXf[& n@j#>i#V2vG;thc^D9{%zK'PN6N9g>ͥ iRb-TYc]g9B?@ce{!@9Rņ9D0!73\Ipv+JTϷZ+H yN e}gYZ7zXZִF! 9]ŗXi%>g$j;)O[7A<3oѴJy\1k5$a@KIN2vlI{5TMN$J!*!%okϠ"|4|/iI<ڑ'o;D;(ޙl)C-e=$s ^'m`bfm T ,%]9_ r#䯰dZ 멯{٥j$}G=ٵ7]zqN(`:M[)A^ͷJ A;|<@Y9@&UuF3t) kZ<P-fgp7DkQU:vRy>(h, k(lAat |VS%CA<>mCC8dPc]% @w-ˠI O2:sV|s%-xυr)>>5աVӷ L{lqp^YV3ח-b9 bNmq*qA .ŗ_NL6tT^K)"W?! m J2l^)sm<:2h7Ϋ+no:|OQݢQb7z5zOxgzVZlXRBʥdu=ֹ̂l>bDUkH !3tlsRs;7˨4P$K+sKJ4g=3?##6)Dm:2䈙)nP>-۠1=6 uW+s1vM}Ssοw(aspegYZ45d9871704a55a06fcbbc241ea5056a36373d53d0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f   LambdaMu